A registered result in its source context
Original ledger classification: Bandwidth search [E]/[C]/[O] (forced set-level structure sum=128=spinor/product=|W|/exponents=totatives; subchain flagged; per-degree matches declined; no new physical hit; reconciles v66+v354)
Recorded statement: A DISCIPLINED BANDWIDTH SEARCH OF THE UNMAPPED E8 REGION (2026-06-22, the next step after v354). The natural follow-up -- 'search that region for hits and structures we overlooked' -- is itself the numerology temptation v354 warns about: a…
Statement, assumptions and sources
Paper context: Red-team audit
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
E8.UNMAPPED.BANDWIDTH.01
Original ledger classification: Bandwidth search [E]/[C]/[O] (forced set-level structure sum=128=spinor/product=|W|/exponents=totatives; subchain flagged; per-degree matches declined; no new physical hit; reconciles v66+v354)
Original claim text
A DISCIPLINED BANDWIDTH SEARCH OF THE UNMAPPED E8 REGION (2026-06-22, the next step after v354). The natural follow-up -- 'search that region for hits and structures we overlooked' -- is itself the numerology temptation v354 warns about: a rich object like E8 yields a numerical match for almost anything. So this scan uses a STRICT discriminator: a candidate is real ONLY if it is a FORCED identity (a theorem about E8), never a coincidence. It also RECONCILES v66 (the 8 degrees coincide with TFPT's load-bearing integers) with v354 (only 2,8,30 are primary readouts). [E] FORCED SET-LEVEL (the genuinely overlooked structure, collective not per-number): sum(degrees)=128=dim S^+ the SPINOR half of 248=120+128 (theorem: sum of degrees=#pos roots+rank=120+8; v66 saw 2^7, the spinor reading is deeper -- the invariant budget equals the fermion content the carrier reads); sum(exponents)=120=#pos roots; product(degrees)=|W(E8)|=696729600; exponents={1,7,11,13,17,19,23,29}=the phi(30)=8 totatives of 30 (v223), so the unmapped degrees' exponents {11,13,17,19,23} are part of the forced totative set; max(degree)=30=h(E8). [C] SUGGESTIVE, NOT A THEOREM (the discriminator at work): 12=h(E6),18=h(E7),30=h(E8) are all degrees of E8 (the 2T/2O/2I McKay ladder, v219), but 'deg(E8) contains its subalgebras' Coxeter numbers' is not a general theorem, so the pattern is flagged, not claimed. [O] DECLINED (the numerology temptation): the per-degree atom matches 14=dim G2, 20=det L, 24=|W(A3)|=4!, 12=|R(A3)|, 18=p4(a)=2+2^4 (v66, which already flagged 12,18 as fittable) each admit >=2 readings from the frozen atoms with no forced selector, and the extra prime 7 in |W(E8)|=2^14 3^5 5^2 7 '=' the scalaron exponent g+n-1 is one of many readings of 7 -- all declined. [E] RECONCILIATION + HONEST CONCLUSION: the unmapped region yields NO new forced physical readout; its genuine content is collective (set-level, already in v66/v223) plus the Coxeter number, and the per-degree atom coincidences are unforced -- so v66 and v354 are both right once forced set/subchain structure is separated from unforced per-degree matches. The disciplined decline IS the anti-numerology result.
Original classification detail
[E] the set-level forced identities and the reconciliation; [C] the subchain Coxeter pattern; [O] the explicit declines. A self-critical search whose main finding is that there is nothing forced left to find per-number -- the correct outcome of an honest reverse audit; sharpens v354 (no PRIMARY readout, not 'unmapped'), reconciles v66.
Dependencies as recorded
E8.REVERSE.AUDIT.01; v354; v66; v223; v219; v305
Open the original ledger source, row 95Location 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.
- Red-team audit
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.
- 2026-06-22 (bandwidth search of the unmapped [formula in source] region, with a strict forced-identity discriminator: the genuine overlooked structure is COLLECTIVE ( [formula in source] , [formula in source] , exponents [formula in source] totatives of [formula in source] ); the per-degree atom matches are unforced and DECLINED; no new physical hit – reconciling v66 and v354: v355)Research changelog; TFPT — Introduction and reading guide
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.
- 2026-07-14 (III) ( v484 — the two open analytic targets MERGE: the shared `` [formula in source] per boundary insertion'' rule of ALPHA.QUILLEN.EXACT.01 and HYP.PHI0.PUNCTURE.01 is the KMS seam unit [formula in source] with [formula in source] , derived on the seam circle for the finite cycle sector — no gate closes, no marker moves)Research changelog; TFPT — Introduction and reading guide
- 2026-06-29 (discoverability — an SEO/GEO pass on the public website: a generated /llms.txt, explicit AI-crawler robots.txt, query-targeted metadata, and the first real backlinks from the README and the Zenodo deposit)Research changelog; TFPT — Introduction and reading guide
- 2026-07-15 ( v486 — generator hunt: the FULL transfer spectrum [formula in source] from ONE forced local rule — the unique lazy [formula in source] -pair walk [formula in source] ; the previously generator-less [formula in source] mode gets its origin; v327's uniform rule superseded as full-spectrum generator — no gate closes, no marker moves)Research changelog; TFPT — Introduction and reading guide
- Neutrinostfpt 2 standard model
- 2026-07-13 ( v478 — first computable steps on the two remaining legs of the entropic-action bridge: the state-side modular data flows to the CHM/Bisognano–Wichmann geometric form (Calabrese–Cardy [formula in source] , CHM parabola, even bands exactly zero) — the bridge's modular side meets TFPT's Einstein-derivation input; and the measure condition reduced to one exact KMS time [formula in source] with the [formula in source] near-miss explicitly declined; both legs stay , no status moves)Research changelog; TFPT — Introduction and reading guide
- NeutrinosStandard Model and flavor structure
- OutcomeRed-team audit
- 2026-06-22 (the REVERSE numerology audit, and what the golden ratio means: of [formula in source] 's 8 Casimir invariants only [formula in source] feed a primary readout and [formula in source] are hull overhead; the golden ratio is UNMAPPED structure, so it cannot be numerology: v354)Research changelog; TFPT — Introduction and reading guide
All 20 linked sections
- Research Contract 2 — [formula in source]
- Front matter / support
- Front matter / support
- 2026-06-23 (Track 2 — perturbative graviton unitarity sector-by-sector: the Barnes–Rivers spin decomposition localises the Stelle ghost in the spin-2 sector, cured by the entire KMS form factor; the spin-0 mode by the GHP contour ( v370))
- 2026-06-23 (Direction 5, the matter–gravity backreaction: the carrier's gravitational anomaly is forced [formula in source] , and the matter vacuum-energy backreaction is finite ( [formula in source] the forced [formula in source] from [formula in source] , not [formula in source] ) — the loop closes; no new SM-quantum-number read-out (declined): v361)
- 2026-06-27 ( v431, v432 — the ``unmapped'' [formula in source] degrees are forced spine [formula in source] flavor structure; the unconditional over-determination floor)
- 2026-06-23 (Direction 2, the disciplined result: the gap-induced GR correction is the known [formula in source] scalaron — already falsifiable via [formula in source] ; a new forced near-term deviation does NOT survive the discriminator and is declined: v360)
- 2026-07-14 (II) ( v482– v483 — the deep-dive round: the [formula in source] -scale decision computation EXECUTED (the integer [formula in source] -rung excluded unstructured, the [formula in source] -proximate structure escape recorded and declined) and the [formula in source] puncture target HALVED (the geometric side proven exact: all twisted pillowcase heat traces are [formula in source] -independent rationals, so the [formula in source] must sit in the per-mark coupling weight) — no gate closes, no marker moves)
- 2026-07-14 ( v479– v481 — the bird's-eye ``overlooked tools'' round: R3's graph [formula in source] geometry bridge discharged to Kronheimer 1989; the four [formula in source] marks realised as the exactly solvable four-interval multilocal modular geometry with [formula in source] manifest; and the absolute [formula in source] -scale collapsed to a one-parameter, PS-window-bracketed candidate under the carrier normalisation [formula in source] — no gate closes, no marker moves)
- Research Contract 2 — [formula in source]
- Full quantum gravity — induced from the boundary kernel
- 2026-06-27 ( v430 — the seam's ``other side'' is forced-disjoint from [formula in source] 's unmapped Casimir degrees)
Registered verification modules
- v355_e8_unmapped_bandwidth.pyRegistered verification module · registry
Read the description recorded in the module registry
A disciplined bandwidth search of the unmapped E8 region (next step after v354), run with a STRICT discriminator: a candidate counts only if it is a FORCED identity (a theorem about E8), never a numerical coincidence -- because mining a rich object for matches is the numerology temptation. [E] FORCED SET-LEVEL (the real collective content): sum(degrees)=128=dim S+ the spinor half of 248=120+128; sum(exponents)=120=#pos roots; product(degrees)=|W(E8)|; exponents = the phi(30)=8 totatives of 30 (v223); max(degree)=30=h(E8). [C] SUGGESTIVE not forced: 12=h(E6),18=h(E7),30=h(E8) (the McKay ladder v219), but 'deg(E8) contains subalgebra Coxeter numbers' is not a theorem -- flagged. [O] DECLINED: the per-degree atom matches (14=dim G2, 20=det L, 24=|W(A3)|, 12=|R(A3)|, 18=p4(a); v66 flagged 12,18 fittable) each admit multiple readings, and the |W| prime 7='scalaron exponent' is one of many -- declined. [E] RECONCILES v66 (degrees=atoms) and v354 (only 2,8,30 primary): NO new forced physical hit; the disciplined decline IS the anti-numerology result.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.