Log
- 2026-10-30 P0: contract written.
- 2026-10-30 P1: audit done; good1 aggregate mismatch (14 recorded vs 12 summed) -> use 12.
- 2026-10-30 P2/P3: analysis.py written; p=0.875 closed-form and numerical.
- 2026-10-30 P4: reproducibility and consistency checks passed (checks.md).
- 2026-10-30 P5: report and claims written; all phases passed.