Original ledger status
E8.TRANSITIONBUS.01
The transition-bus structure theorem (35/35 checks, ~2 s; discovery probe e8_transition_bus_probe.py TRANSITION-BUS-TORSOR, 2026-08-05). The 240 roots of the unimodular hermitian Gaussian E8 lattice are 15 disjoint coordinate 8-frames (cross-polytopes) over the class map V = L/(1+i)L; on L/2L the quadratic form q(y) = <y,y>/4 mod 2 is well defined and the 120 root PAIRS are exactly the 120 q = 1 points of the plus-type quadratic space; the 8 pair-images of class v form a coset of (1+i) v_perp inside the 16-element fiber of L/2L -> V -- a canonical TORSOR under v_perp (an affine F2^3 with no distinguished origin); the deck J acts on each pair fiber as translation by v and -1 = J^2 acts trivially on L/2L. THE OBSTRUCTION CENSUS IS PROOF-GRADE: -1 acts freely on the 240 roots but trivially on V x (V minus 0), and J acts on each 16-root fiber with cycle type 4+4+4+4 while any torsor translation has order <= 2 -- hence NO bijection R(E8) -> V x (V minus 0) can be equivariant under the deployed deck symmetries; the honest structured object is the pair-level torsor plus an unoriented sign (the strict 16-state labeling, if written down, is pure bookkeeping). THE FROZEN PREDICATE (trained on a frozen 3-class-pair set, hashed, then verified): with the basepoint rule rho_v = lex-min pair image and C(v,v') = q(rho_v + rho_v'), the symplectic dictionary reproduces ALL 57600 ordered inner products, with the SIGN LAW part of the claim (the central -1 is invisible at every mod-(1+i)^2 level; every realized key carries the sign-symmetric value set) and the h-refinement ((q-bit, hbar) -> h value classes). SPREAD LAYER: 240 = 5 x 3 x 16 (context x family direction x state) via the certified isotropic spreads with the arf-certified q* selector. A15 COMPARISON QUANTIFIED: A15's 240 roots are LITERALLY the transitions of 16 states (a strict bus with a canonical start state); E8 preserves the count, the fibration, the frame and the translation involution but DOUBLES the cross-class non-orthogonality (26880 vs 13440 ordered pairs) and provably has NO start state. Controls C1-C3 fire (the C3 control-design correction disclosed: the original label transposition was vacuous, corrected to a class-assignment scramble; frozen spec untouched). ROOTCLASS-MIXED (v775) unaffected: no matter assignment. No marker move, NO RH claim. NOTE (2026-08-06, v800 -- marker UNCHANGED): the torsor structure acquires its canonical CHARACTER reading -- the 120 projective Fourier rays of the origin-free fibers are canonical (an origin shift is a global sign), orthogonal (Gram = 16 I), deck/Pauli-diagonal and G31-monomial through Sp(4,2); the 8 R-fibers' 64 rays factorize as (1+5+10) x (1+3) under W(D5) x W(A3) -- the carrier Pascal at character level, with the weight basis exactly mutually unbiased (ROOTCLASS-MIXED intact). See E8.TORSOR.FOURIER.01.
Recorded status: Exact [E] finite structure theorem (torsor + predicate + obstruction census) behind the interpretation fence ('transition bus / instruction set' language stays interpretation); no marker move (Python-only per GATE.WOLFRAM.02).
Dependencies, status detail and source
Canonical status: TRANSITION-BUS-TORSOR: 15 coordinate 8-frames; pair fibers = canonical v_perp-torsors; NO deck-equivariant V x (V-0) labeling exists (proof-grade obstruction); the frozen symplectic predicate reproduces all 57600 inner products incl. the sign law; 240 = 5 x 3 x 16 spread layer; A15 comparison quantified; controls fire; no RH statement.
Dependencies: v752; v689; ARF.SPINORCOMPILER.01; ARF.ROOTCLASS.01
Scripts: v782_e8_transition_bus.py
Location: tfpt_1;tfpt_3
Original CSV, line 685Original ledger status
E8.TORSOR.FOURIER.01
the projective Fourier modes of the 15 Gaussian root torsors -- carrier-block purity at CHARACTER level with the mutually-unbiased honest cap (30/30 checks, ~60 s; discovery probe e8_torsor_fourier_probe.py, 2026-08-06, verdict TORSOR-FOURIER-PARTIAL; FROZEN_SPEC SHA-hashed before any root data). THE CONSTRUCTION: because the v782 class fibers are torsors WITHOUT origin, their character data is canonical where their point data is not -- 120 = 15 x 8 projective Fourier rays m(v, u) with coefficients (-1)^{hbar(u, x(r))} on the 16-root fiber; PHASE LAW EXACT on all 960 origin shifts (a shift by t multiplies by the GLOBAL sign (-1)^{hbar(u,t)}: the rays are canonical); orthogonal ray basis of the (-1)-symmetric 120-dim pair space (integer Gram = 16 I; the antisymmetric half receives NO canonical mode -- the v782 sign theorem). EQUIVARIANCE: deck J diagonal with eigenvalue (-1)^{hbar(u,v)} (60 even + 60 odd, 4 + 4 per fiber); ALL 16 Pauli translations diagonal by characters (15 x 15 x 8 exact); G31 MONOMIAL (7200 generator matches; label action closes to Sp(4,2), order 720, kernel 64 = mu4 x Pauli16; label orbits {15 uniform, 45 deck-even, 60 deck-odd}); Burnside exact (transitive on pairs and on lines); sigma (Z3) multiplicities integral. THE CARRIER BLOCK CLEAN AT CHARACTER LEVEL (P1a/P1b/P2): the spinor sector = EXACTLY the 8 R-fibers (split-independent), so M_S = the span of their 64 whole Fourier rays -- a Fourier-ALIGNED invariant block (impossible at point level per v775); M_S factorizes as a W(D5) x W(A3)-set as 16 x 4 (W(D5)/W(A3) rebuilt by BFS from the certified v775 split, 1920/24), W(D5) transitive of permutation rank 3 on the 16 half-spinor weight pairs with the folded-5-cube/CLEBSCH charpoly (x-5)(x-1)^10(x+3)^5 EXACT => isotypic dimensions 1 + 5 + 10 -- the carrier Pascal AT CHARACTER LEVEL -- and the tetrad is S4-NATURAL (faithful, transitive, stabilizer S3, permutation rep 1 + standard 3) with sigma = the family 3-CYCLE + fixed anchor; W(A3)-tables exact (the 20 D5-adjoint pairs family-invariant; M_S = (1+5+10) x (1+3)); W(D5) Burnside on the spinor pairs: 4 orbits (the tetrad), sum m_i^2 = 48. P3 FAILS AS PREDECLARED (the honest cap): every mode has full 16-root support and |<pair|mode>|^2 = 1/8 EXACTLY on every cell -- the D5-weight basis and the character basis are MUTUALLY UNBIASED on each carrier fiber; no weight axis is a Fourier ray; the pointwise code -> matter reading stays dead (ROOTCLASS-MIXED v775 intact, re-confirmed). OVERLAP CENSUS: every certified stabilizer ray expands exactly in the 4 deck-even modes of its fiber (squared overlap 1/4 each; deck-odd and foreign fibers orthogonal -- the deck-odd half is a pure phase register invisible to stabilizer rays); the 45 nontrivial deck-even modes ARE, under the certified chart U, the 45 (context, Pauli) incidences (each nonzero Pauli covered exactly 3x; uniform modes -> identity, Sum z z^dag = 4I) -- a canonical G31-equivariant operator dictionary, noted (report only) as exactly the SHAPE the v791 carrier-intertwiner demand asks for on the finite register. CONTROLS: fiber scramble destroys deck equivariance; the wrong character group F2^4 = V collides 2:1 (rank 8 < 16); seeded random sign systems fail the certificates. Everything exact integer/Fraction/Z[i]/F2 (sympy gated to two charpolys). No marker move, NO RH claim. Python-only per GATE.WOLFRAM.02.
Recorded status: Exact [E] integer/cyclotomic character theory (canonical rays, exact Clebsch spectrum, exact overlap census) with the predeclared P3 failure typed -- the weight and character gradings mutually unbiased; ROOTCLASS-MIXED (v775) intact and re-confirmed; no marker move (Python-only per GATE.WOLFRAM.02).
Dependencies, status detail and source
Canonical status: TORSOR-FOURIER-PARTIAL: 120 canonical projective Fourier rays (phase law exact on 960 shifts, Gram = 16 I); deck/Pauli diagonal, G31 monomial through Sp(4,2); the carrier block = the 8 R-fibers' 64 rays = (1+5+10) x (1+3) under W(D5) x W(A3) with sigma = family 3-cycle + anchor -- the carrier Pascal at character level, impossible at point level (v775); weight/character bases exactly mutually unbiased (the honest cap); the 45 deck-even modes = the 45 context Pauli observables under the certified chart; no RH statement.
Dependencies: E8.TRANSITIONBUS.01; E8.CLIFFORD2Q.01; ARF.ROOTCLASS.01; PRIME.POSITIVE_DESCENT.01; v782; v783; v775; v752; v791
Scripts: v800_e8_torsor_fourier.py
Location: tfpt_1;tfpt_3
Original CSV, line 692