A registered result in its source context
Original ledger classification: Exact [E] budget census + MC quantification + executed re-types (read-only meta-module; Python-only per GATE.WOLFRAM.02).
Recorded statement: 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…
Statement, assumptions and sources
Paper context: input 5 tfpt 3 e8 audit bootstrap
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
META.LOOKELSEWHERE.01
Original ledger classification: Exact [E] budget census + MC quantification + executed re-types (read-only meta-module; Python-only per GATE.WOLFRAM.02).
Original claim text
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).
Original classification detail
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 as recorded
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
Open the original ledger source, row 658Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- E8 audit and bootstrap
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- Front matter / supportE8 audit and bootstrap
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-10-18: Project separation and retained physics historyResearch changelog; TFPT — Introduction and reading guide
Registered verification modules
- v664_look_elsewhere.pyRegistered verification module · frontier
Read the description recorded in the module registry
META.LOOKELSEWHERE.01: das Look-Elsewhere-Audit — das Bingo-Budget der getypten [C]-Koinzidenzen, quantifiziert — **N = 42 STRUKTUR-SLOTS, K = 19 TREFFER, 6 KILLS ALS 0-TREFFER-TRIALS IM BUDGET; GLOBAL p = 5.08e−3 IM KONSERVATIVSTEN VON DREI NULL-MODELLEN (das Ensemble überlebt die ehrliche Korrektur), PSEUDO-THEORIE-KONTROLLE: nur 0.2 %/0.3 % von 2000 größengematchten Listen erreichen Trefferzahl/p — ABER KEINE EINZELBEOBACHTUNG IST FÜR SICH SIGNIFIKANT**: suggestiv (0.01…0.1) nur 60 = D_start, 12 = Marks, G31-Grade, 48 = Ω_adm; unauffällig (p > 0.1): 6 = p₂(a) (p = 0.169) und die CODESEM-Zahlen-Batterie (p = 0.593 — der v646-Befund quantifiziert); 14/16 FORCED (ihr Wert ist das Theorem, nicht die Zahl); **Re-Typisierungen als datierte Ledger-Notes AUSGEFÜHRT (EXTREV.LATTICE.01, E8.CODESEM.01, E8.CODE.01)**; Seed 20260802, 100k MC, exakte Poisson-Binomial-Tails (14 checks, ~2 s)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.