A registered result in its source context
Original ledger classification: Exact [E] ring/module/extension structure theorems (integer/F2/Z[i] arithmetic, exhaustive censuses) behind the interpretation fence; the reconstruction-chain reading typed [H neu]; carries E8.AFFINE.NSR.01
Recorded statement: E8.RAMIFIED.JETCODE.01 (+ E8.AFFINE.NSR.01): the jet-code normal form of the Gaussian E8 compiler + the NS/R bit as an affine 8-point geometry, ONE module from two probes (18/18 + 15/15 checks, ~3 s; discovery probes…
Statement, assumptions and sources
Paper context: tfpt research contracts
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.RAMIFIED.JETCODE.01
Original ledger classification: Exact [E] ring/module/extension structure theorems (integer/F2/Z[i] arithmetic, exhaustive censuses) behind the interpretation fence; the reconstruction-chain reading typed [H neu]; carries E8.AFFINE.NSR.01
Original claim text
E8.RAMIFIED.JETCODE.01 (+ E8.AFFINE.NSR.01): the jet-code normal form of the Gaussian E8 compiler + the NS/R bit as an affine 8-point geometry, ONE module from two probes (18/18 + 15/15 checks, ~3 s; discovery probes e8_ramified_jetcode_probe.py JETCODE-EXACT and e8_affine_nsr_probe.py AFFINE-NSR-EXACT, both 2026-08-06, FROZEN_SPEC SHA-hashed before any root data). PART 1, THE JET CODE (all [E neu], machine-certified): Z[i]/(2) = F2[eps]/(eps^2) with eps = 1 + i and 2 = -i(1+i)^2 (2 RAMIFIES; the ring iso is UNIQUE -- the only nonzero nilpotent is 1+i -- and the wrong split ring F2 x F2 is NOT isomorphic: all 24 bijections fail, control C1); W = L/2L is FREE of rank 4 over the dual numbers (explicit Z[i]-basis by Hermite reduction over the Euclidean domain Z[i], covolume-certified index 1; the 4^4 = 256 dual-number combinations enumerate W bijectively); 0 -> eps W -> W -> V -> 0 is an exact SELF-extension with V = eps W canonically and ker(eps) = im(eps) -- the self-dual differential code; the deck IS the jet unit J = 1 + eps, whence the certified v782 transition-bus torsor translation rho(Jr) = rho(r) + iota(v) on ALL 240 roots (the full 15-row fiber-translation table re-derived from ring algebra); the extension admits ZERO mu4-equivariant splittings among all 65536 = 16^4 linear sections (-1 = +1 mod 2 makes mu4-equivariance = J-equivariance) -- the no-canonical-origin obstruction IS non-splitness; the 120 root pairs are EXACTLY the q = 1 unit shell of the plus-type quadratic form (census 120/136, Arf 0, polarization b = <x,y>/2 mod 2 with trivial radical), so every root is canonically the triple (address v, admissible error jet in the affine v_perp coset, orientation +-): 240 = 15 x 8 x 2. PART 2, THE AFFINE NS/R GEOMETRY (A1-A6 [E neu], chain reading [H neu]): V \ {0} = (7 NS classes = ker chi_NSR \ 0) u (8 R classes = the affine F2^3-torsor A = chi^{-1}(1)); the 7 NS classes carry EXACTLY the 112 D8 roots and the 8 R classes the 128 Ramond spinor roots -- 248 = (112 + 8) + 128 anchored in v148/v227/v301; Stab_GL(4,2)(chi_NSR) has order 1344 = 20160/15 and EQUALS -- as a permutation group with its natural 8-point action -- AGL(3,2) = Aut(H8) (brute force over all 40320 coordinate permutations; the chart composition is the explicit iso of actions); the evaluation code of affine functions on the 8 points of A is the [8,4,4] code RM(1,3) = H8 with EXACTLY 1344 equivalence permutations; the deployed Sp(4,2) stabilizes chi in an order-48 subgroup acting INSIDE AGL(3,2) (the kill does not fire). HONEST TYPING: the reconstruction chain NS/R bit -> affine 8-point space -> H8 SHARPENS the ARF.BOUNDARY.CODE.01 attack surface but the route to V still passes through Gaussian E8 -- an exact internal reconstruction, NOT a P2 removal. Controls fire in both parts (wrong ring, seeded scrambles, unique parity functional 14/14, flipped code bit). No matter semantics (v775 ROOTCLASS-MIXED cited). No marker move, NO RH claim. Python-only per GATE.WOLFRAM.02.
Original classification detail
JETCODE-EXACT + AFFINE-NSR-EXACT: Z[i]/(2) = F2[eps]/(eps^2) unique iso; W = L/2L free rank 4 (Hermite-certified); exact self-extension with ker eps = im eps; J = 1 + eps reproduces the v782 torsor on all 240 roots; 0/65536 mu4-equivariant splittings -- non-splitness IS the no-origin obstruction; 240 roots = oriented q = 1 unit jets (15 x 8 x 2); Stab(chi_NSR) = AGL(3,2) order 1344 = Aut(H8), same natural 8-point action; affine functions = RM(1,3) = H8 (1344 equivalences); typed internal reconstruction, no P2 removal; no matter semantics.
Dependencies as recorded
E8.TRANSITIONBUS.01; ARF.BOUNDARY.CODE.01; v752; v689; v782; v776; v646; v148; v227; v301
Open the original ledger source, row 694Location 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.
- Front matter / supportE8 audit and bootstrap
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Research Contract 2 — [formula in source]tfpt research contracts
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Research Contract 2 — [formula in source]tfpt research contracts
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
- The two probesE8 and the Gaussian code
- Front matter / supportArchitecture, E8 and the electromagnetic fixed point
- How to read this documenttfpt 1 architecture e8
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Front matter / supportE8 audit and bootstrap
- 2026-10-18: Project separation and retained physics historyResearch changelog; TFPT — Introduction and reading guide
Registered verification modules
- v803_e8_jetcode_affine_nsr.pyRegistered verification module · core
Read the description recorded in the module registry
E8.RAMIFIED.JETCODE.01 (+ E8.AFFINE.NSR.01): die Jet-Code-Normalform des Gauss-E8-Compilers + das NS/R-Bit als affine 8-Punkt-Geometrie — **JETCODE-EXACT + AFFINE-NSR-EXACT (18/18 + 15/15): Z[i]/(2) = F2[eps]/(eps²) mit eps = 1+i (2 VERZWEIGT; Iso eindeutig, der falsche Split-Ring F2×F2 scheitert an allen 24 Bijektionen); W = L/2L FREI vom Rang 4 über den dualen Zahlen (explizite Z[i]-Basis via Hermite-Reduktion, Kovolumen-zertifiziert); 0 → eps W → W → V → 0 exakte SELBST-Erweiterung mit ker(eps) = im(eps); das Deck IST die Jet-Einheit J = 1 + eps und reproduziert den v782-Torsor auf allen 240 Wurzeln; NULL μ₄-äquivariante Splittings unter allen 65536 linearen Schnitten — die Kein-Ursprung-Obstruktion IST die Nicht-Spaltbarkeit; die 120 Wurzelpaare = die q = 1-Einheitsschale (Plus-Typ, 240 = 15 × 8 × 2: Wurzel = (Adresse, Fehler-Jet, Orientierung)). TEIL 2: V \ {0} = 7 NS + affiner 8-Punkt-Torsor; 112 D8-Wurzeln (NS) + 128 Ramond-Spinor (R), 248 = (112+8)+128; Stab(χ_NSR) = AGL(3,2) Ordnung 1344 = Aut(H8) mit DERSELBEN natürlichen 8-Punkt-Wirkung (Brute-Force 40320); affine Funktionen auf dem Torsor rekonstruieren RM(1,3) = H8 mit exakt 1344 Äquivalenzen; Sp(4,2)-Stabilisator (Ordnung 48) wirkt INNERHALB von AGL(3,2). Getypt: interne Rekonstruktion, KEINE P2-Entfernung; keine Materie-Semantik (ROOTCLASS-MIXED)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.