In the last article, I argued that the safety contract should move out of the LLM critic and into deterministic gates. The critic can vary. The gates should hold.
This one is about the failure mode I did not see coming: what happens when a gate stops working and nobody notices because the metrics look better.
The Problem That Was Hiding Inside the Solution
By v0.2.2, the blocker counts were dominated by structural families:
unsafe_sequencing: 226 blockers






