One identity. Then proof.

1. Card Written before any number exists.
2. Admission Clock, costs, no silent gaps.
3. Signal One formula. One identity.
4. Harness Walk-forward, then a second run.
5. Referee Can only veto. Cannot open.
6. Judge Never sizes. Never executes.