Log
- 2026-10-30 P0 passed: contract written.
- 2026-10-30 P1 passed: audit done, no issues, no exclusions.
- 2026-10-30 P2 passed: baseline (independent-sum KS for B) in results.json baseline_* keys. P3 passed: analysis.py written, construction Y=S*X chosen (Y=-X rejected: degenerate sum counts as normal). P4 passed: rerun identical, checks.md.
- 2026-10-30 P5 passed: report, claims, argument written; all phases passed.