Field Notes
Building Ranex in the Open: What Gating My Own Code Actually Caught
Ranex gates Ranex. Here are the real failures that came out of pointing a verification kernel at its own test suite — including the ones that had already passed human review.