Original ledger status
META.LOOKELSEWHERE.01
META.LOOKELSEWHERE.01
The look-elsewhere audit -- the bingo budget of the typed [C] numeric coincidences, quantified (one module, 14 checks, ~2 s; discovery probe look_elsewhere_probe.py 14/14, verdict LOOKELSEWHERE-QUANTIFIED; seed 20260802, 100k MC, exact Poisson-binomial tails). THE BUDGET [E]: N = 42 structure slots, K = 19 hits against the compiler target list FROZEN before the computation; the 6 killed readings enter as 0-hit trials. GLOBAL [E]: family-corrected p = 5.08e-3 in the most conservative of three null models (uniform 7.5e-13, divisor-weighted 8.4e-13, size-windowed 5.08e-3); empirical control: 0.2%/0.3% of 2000 size-matched pseudo-target lists reach the real hit count / the real p. THE TRIAGE [E, the point]: NO single observation is significant on its own -- suggestive (0.01..0.1): 60 = D_start, 12 sigma-fixed roots = 12 marks, the G31 degrees, 48 = 240/5 = Omega_adm; unremarkable (p > 0.1): 6 = p_2(a) (p = 0.169) and the CODESEM number battery (p = 0.593); FORCED: 14 = A_4, 16 = |C| (their value is the theorem, not the number). RE-TYPES executed as dated ledger notes (EXTREV.LATTICE.01, E8.CODESEM.01, E8.CODE.01). The substance of the rounds lies in the [E] structure theorems, not in the number bingos; kills confirm the discipline (6 of 12 readings killed).
Recorded status: Exact [E] budget census + MC quantification + executed re-types (read-only meta-module; Python-only per GATE.WOLFRAM.02).
Dependencies, status detail and source
Canonical status: LOOKELSEWHERE-QUANTIFIED: 42 slots / 19 hits / 6 kills, global p = 5.08e-3 conservative (ensemble significant), pseudo-theory control 0.2%/0.3%, NO single observation significant; re-types executed (6 = p_2(a) p = 0.169; CODESEM battery p = 0.593; 14/16 FORCED); the substance is the [E] theorems.
Dependencies: META.DISCIPLINE.01; EXTREV.LATTICE.01; E8.CODE.01; E8.CODESEM.01; E8.INCIDENCE.01; E8.ST31.01; v100; v624; v626; v629; v633; v634; v638; v646; v647
Scripts: v664_look_elsewhere.py
Location: tfpt_3
Original CSV, line 658