- 2026-10-30 P0 passed: contract written.
- 2026-10-30 P1 passed: audit + exclusions written; 5 anomalies logged.
- 2026-10-30 P2 passed: baseline (title+year) flags R3.
- 2026-10-30 P3 passed: analysis.py written; result unverifiable=[R3], n_verified=4.
- 2026-10-30 P4 passed: re-run identical, checks.md; gate run (P5 files pending).
- 2026-10-30 P5: report and claims written; final gate run.
- 2026-10-30 P5 passed: final gate PASSED (20261030T051927.908763Z).