Preflight (A0): 2026-07-10 21:47 โ load1 2.88/32c (steady) ยท no heavy nasimubd jobs ยท 35 GiB avail, si/soโ0 ยท all four services active โ ALL PASS. Sync: main up-to-date, worktree 0 behind. One capped run (0.36 min), readonly=2 loader, circular shifts of real values (03c).
| Leg | Reading | Ruling |
| E1 โ procedure identities + twin | Step-up rule == brute-force set ยท BY โ BH ยท ฮฑ-monotone ยท twin p == duration p bit-exactly (4.1ร10โปยฒยฒ, maximally significant as it must be) | PASS โ implementation exactly correct |
| E2 โ the control claim (THE KILL): all-true-nulls design (within-window circular shift of the target) | BY at ฮฑ=0.05 rejected โฅ1 feature in 43.4% of K=99 replicates (bound: 9.4%) ยท plain BH: 61.6% โ the correction IS binding, and still drowns | FAIL |
| Attribution | The rot is upstream: HAC-asymptotic p-values (derived NW lag) understate long-run variance on this persistent substrate โ invalid marginal inputs; no FDR procedure launders garbage | INPUT INVALIDITY |
| E3 โ non-vacuity (real panel) | 61 BY / 71 BH rejections โ now revealed as partly inflated by the same mechanism | PASS (caveated) |
| Verdict (row 99) | EXCLUDE(input invalidity โ the declaration backbone cannot stand on anti-conservative HAC-t p-values) โ KILL #28, BONEYARD #43 ยท AUTO-RE-ENTRY on a certified p-source |
Iteration 88 ยท 2026-07-10 ยท VERDICT (row 99) โ EXCLUDE ยท kill #28 ยท boneyard #43 ยท capped (0.36 min) ยท readonly=2 ยท zero generated values ยท append-only ยท evidence: by_exam.py ยท by_exam_results.json