Executive summary
Four verified claims and one literal falsification, 12/12 scientific gates, paired deterministic replay, pinned paper bytes and official code commit 370fcd19199313c53da310d861a1a9fbd73b731d. The overparameterized deterministic-equivalent gap is 0.007789; the released experiment improves optimal risk by 0.005630.