Chapter 12 · 2026-10-19 → 10-24
A second ruler (bench v0.4)
A fairer exam is written and sealed; the submitted app has sat it, and the grade waits for the author (as of 24 October 2026, 20:34).
In this chapter · 12
- ruler (bench v0.4)concept
- U-totalconcept
- DECLINE2STAGEconcept
- FACT-AVAIL (information-available split)concept
- ORACLE-REALexperiment
- DECLINE2STAGEexperiment
- RULER-FINALexperiment
- Build a public rulerdecision
- RULING R1: judge = judge.v1 unchanged +…decision
- Final ruler run frozendecision
- RULER-FINAL U-total of BoarLite b4ef94f3…finding
- RULER-FINAL information-available split…finding