- 2026-10-30 P0: contract written.
- 2026-10-30 P1: data audited, no issues.
- 2026-10-30 P2: baseline = independent-sum simulation (prop. B), KS 0.002.
- 2026-10-30 P3: decision: counterexample Y = S·X with Rademacher S (atom of mass 1/2 at 0 gives KS ≥ 0.25, clearly visible at n=1e5). Seeded rng draws X then S then baseline.
- 2026-10-30 P4: reproducibility and consistency checks passed; gate run.
- 2026-10-30 P5: report, claims written; final gate run.