A registered result in its source context
Original ledger classification: Exact [E] lattice/discriminant-form census results and an exact [E] group-theoretic kill, both behind explicit fences; the c_3 link stays typed INTERPRETATION (no P1 derivation); no marker move (Python-only per GATE.WOLFRAM.02).
Recorded statement: The d = 4 forcing census + the 60-line clock synchronization kill, one module from two probes (21/21 + 23/23 checks, ~5 s; discovery probes one_object_reduction_probe.py ONE-OBJECT-PARTIAL and clock_fiber_product_probe.py CLOCK-FIBER-DEAD,…
Statement, assumptions and sources
Paper context: TFPT Gesamtsynthese 2026-09-28
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.ONEOBJECT.01
Original ledger classification: Exact [E] lattice/discriminant-form census results and an exact [E] group-theoretic kill, both behind explicit fences; the c_3 link stays typed INTERPRETATION (no P1 derivation); no marker move (Python-only per GATE.WOLFRAM.02).
Original claim text
The d = 4 forcing census + the 60-line clock synchronization kill, one module from two probes (21/21 + 23/23 checks, ~5 s; discovery probes one_object_reduction_probe.py ONE-OBJECT-PARTIAL and clock_fiber_product_probe.py CLOCK-FIBER-DEAD, both 2026-08-05). THE FORCING CENSUS (exact Fraction arithmetic, d = 2..12): the TFPT glue pattern (cyclic isotropic glue, evenness q = 0 mod 2Z, unimodularity |H|^2 = 4d) admits an even unimodular DIAGONAL glue of A_{d-1} (+) D_{d+1} iff d = 4 -- at d = 4 the census reproduces v92 EXACTLY (precisely two even Lagrangian glues, the graphs of the anti-isometries k -> k and k -> 3k), the explicit glued lattice is E8 (Gram det 1, exactly 240 norm-2 vectors, all integral over the glued basis), d = 9 (the only other perfect-square candidate from |H|^2 = 4d) dies at isotropy (0 even Lagrangians in Z9 (+) Z2 x Z2), and both relaxation controls fire (dropping evenness opens d != 4; dropping unimodularity opens d != 4). COROLLARIES AT THE FORCED d (verified arithmetic): g_car = d+1 = 5, N_fam = d-1 = 3, rank = 2d = 8, glue index sqrt(4d) = 4 = d = |mu4| -- the boundary object with four marked points reads P2 and the family count as the two functor readouts of ONE object. HONESTY GATE (binding): c_3 = 1/(2 pi d)|_{d=4} = 1/(8 pi) is a corpus-legitimate REWRITING (c_3 = 1/(2 e_1(a) pi) with e_1(a) = 4 = |mu4|, tfpt_1 anchor-first refinement / v23), NOT a corpus derivation of P1 -- ONE-OBJECT-FORCED was predeclared unreachable and P1 stays a primitive postulate. THE CLOCK KILL (part 2): the hypothesized fiber-product action L_60 = Z12 x_{Z6} Z30 of the seam clock (order 12, c = J o sigma, v629/v634) and the Coxeter clock (order 30, Kostant census {30: 8}, w^15 = -1) on the 60 Gaussian lines is DEAD at three levels -- the Coxeter clock does not preserve the line partition; the FULL line-compatible group (the 11520 line-reflection image extended by conjugation) has order 23040 with maximum element order 12, so line orders 15/30/60 are absent for EVERY realization of the clocks; and the fiber product itself is cyclic Z60 (exact SNF arithmetic; the full product Z12 x Z30 has invariant factors (6,60)) which cannot embed. All three census controls fire (the CC2 sampler-widening correction disclosed and carried). ROOTCLASS-MIXED (v775) binding in both parts: no line/code -> matter semantics. No marker move, NO RH claim. NOTE (2026-08-06, v807 -- marker UNCHANGED): the BOUNDARY.NULLSELECTOR addendum -- a second, independent d = 4 selector on the same invariant: the functor vector v_d = (d+1, -(d-1), d) (honest RR/Serre arithmetic) has |v_d|^2_L = det M(v_d) = d(4-d), null/rank-one iff d = 4, with M_4 = 2(1,2)^T(1,2) the certified spinor square and g^2 - N^2 = 4d = |H|^2 identically -- null <=> glue index = d; the glue census forces {4} via evenness/unimodularity, the null selector via 4d = d^2: independent inputs, same output; the missing premise (why the boundary reading carries the functor vector) is typed OPEN in v807. Scope note (Prime Front separation): v807 supplies only its original S1 RR/Serre/null-spinor algebra here; no prime-window hypothesis or additional physical selector follows.
Original classification detail
ONE-OBJECT-PARTIAL + CLOCK-FIBER-DEAD: even unimodular diagonal glue of A_{d-1}+D_{d+1} iff d = 4 (census 2..12, v92 reproduced, E8 certificate); g_car = 5 / N_fam = 3 / |mu4| = 4 as one-object corollaries; c3 = 1/(2 pi d)|_{d=4} typed corpus-legitimate rewriting, NOT a P1 derivation; the Z12 x_{Z6} Z30 clock action on the 60 lines dead at three levels (group order 23040, max element order 12); controls fire; no RH statement.
Dependencies as recorded
v1; v23; v53; v92; v623; v629; v633; v634; ARF.ROOTCLASS.01
Open the original ledger source, row 684Location 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.
- Architecture, E8 and the electromagnetic fixed point
- 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.
- Die gesamte Abschlussklasse ist unendlich – ein globaler SatzTFPT Gesamtsynthese 2026-09-28
- Front matter / supportE8 audit and bootstrap
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Front matter / supportE8 audit and 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.
- How to read this documenttfpt 1 architecture e8
- Front matter / supportArchitecture, E8 and the electromagnetic fixed point
- How to read this documenttfpt 1 architecture e8
- Research Contract 2 — [formula in source]tfpt research contracts
- Research Contract 2 — [formula in source]tfpt research contracts
- 2026-10-18: Project separation and retained physics historyResearch changelog; TFPT — Introduction and reading guide
Registered verification modules
- v781_one_object_clock_census.pyRegistered verification module · core
Read the description recorded in the module registry
E8.ONEOBJECT.01: der d = 4-Forcing-Zensus + der 60-Linien-Uhren-Kill, EIN Modul aus zwei Probes — **ONE-OBJECT-PARTIAL + CLOCK-FIBER-DEAD (21/21 + 23/23): das TFPT-Glue-Muster (zyklische isotrope Verklebung, Geradheit q = 0 mod 2Z, Unimodularität |H|² = 4d) lässt eine gerade unimodulare DIAGONALE Verklebung von A_{d−1} ⊕ D_{d+1} GENAU für d = 4 zu (Zensus d = 2..12, exakte Brüche; bei d = 4 exakt die zwei v92-Lagrangians k -> k und k -> 3k; explizites E8-Zertifikat mit 240 Norm-2-Vektoren; d = 9 stirbt an der Isotropie; beide Relaxations-Kontrollen feuern) — Korollare am erzwungenen d: g_car = d+1 = 5, N_fam = d−1 = 3, Rang 2d = 8, Index 4 = d = |mu4|; EHRLICHKEITS-GATE: c3 = 1/(2πd)|_{d=4} = 1/(8π) ist eine korpus-legitime UMSCHREIBUNG (v23-Anker), KEINE neue P1-Ableitung. DER UHREN-KILL: die Faserprodukt-Wirkung Z12 ×_{Z6} Z30 auf den 60 Gauß-Linien ist auf DREI Ebenen tot — die Coxeter-Uhr erhält die Linien-Partition nicht; die VOLLE linien-kompatible Gruppe hat Ordnung 23040 mit maximaler Elementordnung 12 (Ordnungen 15/30/60 fehlen für JEDE Realisierung); das Faserprodukt selbst ist zyklisch Z60 (exakte SNF-Arithmetik); alle drei Kontrollen feuern (CC2-Sampler-Korrektur offengelegt)
- v807_lorentz_nullselector.pyRegistered verification module · core
Read the description recorded in the module registry
Original v807 S1 RR/Serre and null-spinor algebra: d(4-d), d=4 rank one, conditional on stated functor assignment; E8.ONEOBJECT.01 addendum.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.