   12: **"Current ordering"** (near the end, just before the verification protocol) or in `README.md`
   22:   same `LEAN_PATH`; see "Verification protocol" at the end) exiting 0, no `axiom`, no
   32: * **Build cost: take `AGENTS.md`'s figures.**  An earlier revision of this file said "~3 m 50 s for
