- 2026-10-30 P0 passed: contract written.
- 2026-10-30 P1 passed: design audited, no issues. Decision: formula n = 30 (series length); n-1 sensitivity in diagnostics.json.
- 2026-10-30 P2/P3 passed: analysis.py run; bias_mc=-0.1237 vs analytical -0.1133.
- 2026-10-30 P4 passed: deterministic re-run, all checks pass.
- 2026-10-30 P5 passed: report and claims written.