From Falsification to Minus Thirty-Seven Percent
The best research instrumentation gets built to test hypotheses that turn out wrong.
warp-types¶
The Bug That Wasn't There
A one-line soundness hole that zero tests caught and zero users triggered.
What the Type Erases To
A type system that compiles to nothing is not overhead you tolerate — it is proof the compiler can verify and then discard.