- 2026-10-30 P0 passed: contract written.
- 2026-10-30 P1 passed: data clean, no exclusions.
- 2026-10-30 Decision: undercover rule uses binomial SE at nominal p=0.95 (also robust at p-hat).
- 2026-10-30 P2/P3 passed: seed 20261030; cov_conv 0.844, cov_hc1 0.902.
- 2026-10-30 P4 passed: deterministic rerun, cross-checks in checks.md.
- 2026-10-30 P5 passed: report and claims written. Task complete.