- 2026-10-30 P0 passed: contract written.
- 2026-10-30 P1 passed: hashes verified, audit written, no exclusions. Decision: source-internal inconsistencies are logged as data_issues; finding check uses the table the citation quotes (Table 6 for R1).
- 2026-10-30 P2 passed (naive number-match baseline in baseline_naive_number_match); P3 passed (analysis.py); P4 checks recorded, running gate.
- 2026-10-30 P4 passed (gate receipt 20261030T051633: only ledger non-terminal); P5 report/claims written; final gate run.
- 2026-10-30 Final gate 20261030T051652 passed; all phases passed.