All256 character candidates over the fixed cyclic compiler group; all-field equality from eight generators and unchanged cocycle, with all240 roots checked directly. No full G31/Weyl splitting or identification of different cover automorphisms.
Read the exact result, assumptions and evidence
Result
With original fixed Jhat=S_J, the ninth-power equation has F2 rank6. Exactly four compiler lifts S_c D_a with a=31,62,151,182 have ninth power Jhat; their sigmahat masks are63,30,183,150. The16 Jhat-preserving character gauges give one orbit with stabilizer4. No solution retains both separately generator-normalized J and sigma sections. On Vper=(C12 x V_L)/((Delta12 p,v)~(p,Jhat v)), Chat[p,v]=[R12 p,chat v] satisfies Chat4=sigmahat, Chat12=I and Jcomp=Chat9=Q12 Jper. The two J roles share the same fibre lift while retaining different base components.
Required assumptions
Full original G31action and inherited lattice sign extension
The60actual original complex reflections act on the same original even E8lattice. Study exactly their full preimage in the automorphism group of the lattice group defined by unchanged eps_e8. Kernel A=Hom(E8,Z2), with g.a=a composed g^-1. No scalar replacement, enlarged coefficients or extra square relation for lifted puncture meridians.
Existing marked cyclic covers and Burau lattice model
On B=P1 minus(mu4 union infinity), Cn:un^n=x^4-1 for n=2,3,4 are the existing marked covers with positive finite exponent1. Fix the mu3 deck orientation omega. Use the original J and sigma with c=J sigma, actual reduced Burau matrices at omega and their retained Z[omega]^3 basis and invariant Hermitian form. Do not identify this integral model and trace form with independently constructed geometric cycles or their intersection form.
Joint category of original compiler flags and cover actions
Retain original E8 lattice VOA products, J/sigma/c/Y, D5+A3 root factors and quartic/erasure diagram. Transitions transport all marks through actual lifts in the original sign extension; they are not fixed-J stabilizers. The Burau peripheral comparison uses the associated local system induced from the existing marked C3 cover and its retained deck module. No independent geometric Gauss-Manin identification, added line correction or selected E6 vertex.
Minimal generated transition closure, not a fixed-J/fixed-D5+A3 symmetry claim.128 is fixed only under D8 and transported under the full action. Organizes the given lattice VOA and covers; no physical-origin derivation or freely chosen helper model.
Read the exact result, assumptions and evidence
Result
H=W(D5)xW(D3) with actual J generates exactly W(D8):224 E6 cuts in56 tetrahedral frames. Each frame resolves the entire128 half-root block into four rank32 projectors; complements have rank96 and128/96=4/3, retaining squared norms5/4 and3/4. Original E7-pair operations enlarge closure to W(E8):1120 E6 cuts,7560 A3 frames,27 through each cut. The full original sign extension over W(E8) acts on the existing VOA source. F_ghat[p,v]=[p,ghat v] transports all marks and fibre holonomy and composes exactly, retaining the nonsplit character carry.
Required assumptions
Original D5+A3 compiler split and established seed
Retain the established P1/P2 compiler with cyclic C4 glue to E8, D5 on the first5 and A3=D3 on the last3 standard coordinates, c3=1/(8pi) and phi_base=(4/3)c3=1/(6pi). No replacement by an optional E7 readout. Cut equivalence is the actual W(D5)xW(A3) action in the fixed chart, without conjugating J.
Full original G31action and inherited lattice sign extension
The60actual original complex reflections act on the same original even E8lattice. Study exactly their full preimage in the automorphism group of the lattice group defined by unchanged eps_e8. Kernel A=Hom(E8,Z2), with g.a=a composed g^-1. No scalar replacement, enlarged coefficients or extra square relation for lifted puncture meridians.
Joint category of original compiler flags and cover actions
Retain original E8 lattice VOA products, J/sigma/c/Y, D5+A3 root factors and quartic/erasure diagram. Transitions transport all marks through actual lifts in the original sign extension; they are not fixed-J stabilizers. The Burau peripheral comparison uses the associated local system induced from the existing marked C3 cover and its retained deck module. No independent geometric Gauss-Manin identification, added line correction or selected E6 vertex.
Canonical unordered S4 projector family on the original root-current block. Exact representation interpretation of the existing seed ratio, without an additional readout law or selection of a tetrahedral vertex.
Read the exact result, assumptions and evidence
Result
In the original half-root block B=(16,4), the four D5-containing E6 cuts yield literal rank16 projectors P_t, with P_t P_u=delta_tu P_t and sum P_t=I64. Q_t=I-P_t has rank48 and carries exactly(16,3), with checked D5 and A2 root action. Every cut gives Tr(I64)/Tr(Q_t)=64/48=4/3=phi_base/c3. Every weight of the same block has squared D5 projection5/4 and A3 projection3/4. The same48 lies in(27,3)=(16,3)_1+(10,3)_-2+(1,3)_4, hence81=48+30+3. The E7 missing48 instead carries(12,2,2), whose actual Y character rejects identification with three D5 spinors.
Required assumptions
Original D5+A3 compiler split and established seed
Retain the established P1/P2 compiler with cyclic C4 glue to E8, D5 on the first5 and A3=D3 on the last3 standard coordinates, c3=1/(8pi) and phi_base=(4/3)c3=1/(6pi). No replacement by an optional E7 readout. Cut equivalence is the actual W(D5)xW(A3) action in the fixed chart, without conjugating J.
Existing even E8 lattice, Gaussian J and sign lifts
Given existing even unimodular E8 with actual J(x0,x1,...)=(-x1,x0,...) and J²=-I, and the original ordered sign lattice cocycle. Sign automorphisms have kernel Hom(L,F2). Retain original integral ordered basis and generator phases; no enlargement to U1 characters except explicitly defined scalar pushouts.
Fixed deck orientation, actual matrices and saturated integral Phi12 sublattices. The displayed intertwiner is an explicit certificate, not a uniquely selected identification. Trace form and basis belong to the retained Burau lattice model, without an independent geometric cycle identification. Quartic5, exterior6, erasure20 and permutation characters remain distinct and are completely compared.
Read the exact result, assumptions and evidence
Result
C6 and C12 are the minimal marked common covers of C2/C3 and C4/C3, of genera7 and15. J<->Q, sigma<->deck and c=J sigma<->R=Q deck preserve c⁹=J and c⁴=sigma. The unique lift with this full marking is Qn Delta_n^4. Actual real8 has character Phi4² Phi12; the retained rational Burau rank6 model has Phi6 Phi12. Their canonical Phi12 kernels admit an explicit integral Z[C12] intertwiner also transporting J and sigma. Different complementary spectra obstruct full equality; retained alternating forms of types(1,3) and(1,2) obstruct any form-preserving unimodular intertwiner. Peripheral J is deck on C4 while compiler J=c⁹ rotates the base; no phase choice merges these roles.
Required assumptions
Existing marked cyclic covers and Burau lattice model
On B=P1 minus(mu4 union infinity), Cn:un^n=x^4-1 for n=2,3,4 are the existing marked covers with positive finite exponent1. Fix the mu3 deck orientation omega. Use the original J and sigma with c=J sigma, actual reduced Burau matrices at omega and their retained Z[omega]^3 basis and invariant Hermitian form. Do not identify this integral model and trace form with independently constructed geometric cycles or their intersection form.
Actual clock/complex-reflection subgroup and native quartic space
R=diag(-1,1,1,1) on Gaussian C4 is the complex reflection of root line(1+i)e0; G0=<J,R>=C4×C2. P5 is the existing five-dimensional symmetric quartic subspace in Sym4(V4), W6=exterior²V4. R is not a real codim1 E8 Weyl reflection; P5 is not the full fourth tensor power.
Complete finite classification of regular root cuts under the fixed compiler Weyl group, with stabilizers and actual actions. No classification of arbitrary Lie algebra embeddings; retain the original clock.
Read the exact result, assumptions and evidence
Result
The120 E7 cuts form four W(D5)xW(A3) orbits of sizes20,6,30,64, with exactly six containing the original D5. The1120 regular E6 cuts form seven orbits of sizes40,120,320,60,480,4,96. Their560 J pairs intersect320 times in A2+A2 and240 times in D4. Exactly four E6 cuts contain D5, a canonical unordered S4 tetrahedral family with actual weightwise E8/D5/A3/E6/A2 branchings. J sends all four outside this family with common first-four-coordinate D4. The3+2 marking fixes the family but selects no cut.
Required assumptions
Original D5+A3 compiler split and established seed
Retain the established P1/P2 compiler with cyclic C4 glue to E8, D5 on the first5 and A3=D3 on the last3 standard coordinates, c3=1/(8pi) and phi_base=(4/3)c3=1/(6pi). No replacement by an optional E7 readout. Cut equivalence is the actual W(D5)xW(A3) action in the fixed chart, without conjugating J.
Existing even E8 lattice, Gaussian J and sign lifts
Given existing even unimodular E8 with actual J(x0,x1,...)=(-x1,x0,...) and J²=-I, and the original ordered sign lattice cocycle. Sign automorphisms have kernel Hom(L,F2). Retain original integral ordered basis and generator phases; no enlargement to U1 characters except explicitly defined scalar pushouts.
Unchanged eps_e8, ordered integral basis and original lattice VOA. All-lattice equality follows from the character lemma and eight generators; all240 roots and13680 nonzero brackets per line checked separately. Individual lifts do not provide a global group section.
Read the exact result, assumptions and evidence
Result
For all60 native Gaussian root lines, r=s_alpha s_Jalpha is the original complex reflection. Its actual Tits lift T=n_alpha n_Jalpha has T²=D_k, k(lambda)=<alpha+Jalpha,lambda>mod2, negative on128 roots. T=S_r D_chi holds on every lattice field with explicit input character. Exactly eight corrections per line are involutive and commute with the fixed J lift, a torsor under three-dimensional A^{<r,J>}. They agree on the actual neutral4/5/20 diagram and differ on charged sectors. The full G31 extension remains nonsplit.
Required assumptions
Full original G31action and inherited lattice sign extension
The60actual original complex reflections act on the same original even E8lattice. Study exactly their full preimage in the automorphism group of the lattice group defined by unchanged eps_e8. Kernel A=Hom(E8,Z2), with g.a=a composed g^-1. No scalar replacement, enlarged coefficients or extra square relation for lifted puncture meridians.
Actual clock/complex-reflection subgroup and native quartic space
R=diag(-1,1,1,1) on Gaussian C4 is the complex reflection of root line(1+i)e0; G0=<J,R>=C4×C2. P5 is the existing five-dimensional symmetric quartic subspace in Sym4(V4), W6=exterior²V4. R is not a real codim1 E8 Weyl reflection; P5 is not the full fourth tensor power.
F3representations, ordered punctures, full lift conjugation. Census and normal-form criterion; no stored835456-representative list.
Read the exact result, assumptions and evidence
Result
Full conjugation over the17original reflection quadruple classes gives835456character-valued monodromy lift classes, with a complete affine normal-form criterion. V4embeddings with and without integral Z2torsion give26128and42240classes per ordered orbit.
Required assumptions
Full original G31action and inherited lattice sign extension
The60actual original complex reflections act on the same original even E8lattice. Study exactly their full preimage in the automorphism group of the lattice group defined by unchanged eps_e8. Kernel A=Hom(E8,Z2), with g.a=a composed g^-1. No scalar replacement, enlarged coefficients or extra square relation for lifted puncture meridians.
Ordered G31reflection quadruples and chosen quarterclock
U=P1minusmu4, four ordered positive meridians in the60reflection class with product1. Chosen clocks have exact order4and conjugate meridians cyclically. Equivalence is simultaneous inner conjugation; central relaxations are separately defined relation contracts.
Ordered punctures, clock order4, full lift conjugation. No extra meridian square relation; distinct from central Z4extension.
Read the exact result, assumptions and evidence
Result
All62original clock objects admit strict C4*C4 lifts into the inherited lattice extension. Full conjugation gives11356classes=6856+4272+228. Every normal form and automorphism order is stored; independent Burnside verifies all62counts. Clocks0/3and0/5 give212and176classes.
Required assumptions
Full original G31action and inherited lattice sign extension
The60actual original complex reflections act on the same original even E8lattice. Study exactly their full preimage in the automorphism group of the lattice group defined by unchanged eps_e8. Kernel A=Hom(E8,Z2), with g.a=a composed g^-1. No scalar replacement, enlarged coefficients or extra square relation for lifted puncture meridians.
Ordered G31reflection quadruples and chosen quarterclock
U=P1minusmu4, four ordered positive meridians in the60reflection class with product1. Chosen clocks have exact order4and conjugate meridians cyclically. Equivalence is simultaneous inner conjugation; central relaxations are separately defined relation contracts.
Original cocycle and actual G31module. H is inclusion-minimal; no claim of minimum order among all witnesses.
Read the exact result, assumptions and evidence
Result
The original A=Hom(E8,Z2) extension is nonsplit over all G31, with order-two H2 class. Seven original relation equations give0=1 on an order16 subgroup H, while all22proper subgroups split. The exact order512 lattice quotient encodes the same lift problem.
Required assumptions
Existing even E8 lattice, Gaussian J and sign lifts
Given existing even unimodular E8 with actual J(x0,x1,...)=(-x1,x0,...) and J²=-I, and the original ordered sign lattice cocycle. Sign automorphisms have kernel Hom(L,F2). Retain original integral ordered basis and generator phases; no enlargement to U1 characters except explicitly defined scalar pushouts.
Full original G31action and inherited lattice sign extension
The60actual original complex reflections act on the same original even E8lattice. Study exactly their full preimage in the automorphism group of the lattice group defined by unchanged eps_e8. Kernel A=Hom(E8,Z2), with g.a=a composed g^-1. No scalar replacement, enlarged coefficients or extra square relation for lifted puncture meridians.
Exact lattice quotients and non-identifiability of an extra normalization map. No identification of original modular index I with m in each projection, no selection of a law or E7 coupling/scale prediction. The historical7pi window is no independent measurement. The established P1/P2→D5+A3→E8 construction and phi_base=(4/3)c3 remain intact. This comparison concerns only an additionally proposed E7 continuation and is not a missing step in the existing compiler.
Read the exact result, assumptions and evidence
Result
The native E8 quotients for D6+A1+A1, E7+A1, E6+A2 and D5+A3 are C2²,C2,C3,C4. The E7-pair index4 is not cyclic C4 glue. Conditional continuations1/(pi*r) and1/(2pi*m), with selected exceptional rank r and lattice extension index m, agree at E6/E8 but differ at E7:1/(7pi) versus1/(4pi). The anchors do not determine the continuation. Complete conformal windows retain total rank and central charge8.
Required assumptions
Active purely mathematical marked-seam program
Within the stated mathematical scope, marked pairs, lattice transport systems, reflections, clocks and cohomology are independent mathematical objects. Earlier origin/completion tasks are historical, not active. Distinguish new definitions, derived theorems and optional markings.
Existing even E8 lattice, Gaussian J and sign lifts
Given existing even unimodular E8 with actual J(x0,x1,...)=(-x1,x0,...) and J²=-I, and the original ordered sign lattice cocycle. Sign automorphisms have kernel Hom(L,F2). Retain original integral ordered basis and generator phases; no enlargement to U1 characters except explicitly defined scalar pushouts.
Fibre holonomy at4 removed branch points remains-I; no ordinary flat extension to the compact elliptic curve. The intrinsic family does not yet identify the original seam/peripheral data. No necessary selection of an individual chart.
Read the exact result, assumptions and evidence
Result
Each of60 Gaussian root lines gives a representative-independent square marking and w²=(v/alpha)^4-1 with elliptic compactification j1728. For the separately supplied all-J representation on CP1 minus mu4, the parity double cover has ±I holonomy and permits chosen parallel real E6/E7 root reductions. E7 descends as an unordered pair. The parity character has8 C4 lifts; cyclic marking symmetry leaves2 uniform orientations. Deck, base rotation and fibre J are different maps. The loop around all4 finite marks is trivial here but not in the existing uniform mu3 cover.
Required assumptions
Active purely mathematical marked-seam program
Within the stated mathematical scope, marked pairs, lattice transport systems, reflections, clocks and cohomology are independent mathematical objects. Earlier origin/completion tasks are historical, not active. Distinguish new definitions, derived theorems and optional markings.
Existing even E8 lattice, Gaussian J and sign lifts
Given existing even unimodular E8 with actual J(x0,x1,...)=(-x1,x0,...) and J²=-I, and the original ordered sign lattice cocycle. Sign automorphisms have kernel Hom(L,F2). Retain original integral ordered basis and generator phases; no enlargement to U1 characters except explicitly defined scalar pushouts.
The discriminant proof covers all E6 root subsystems. The finite census covers the specified regular A2 complements. No claim about arbitrary non-root Lie subalgebras or physical scales. This does not forbid transported real E6/E7 reductions on the parity double cover with remaining ±I holonomy.
Read the exact result, assumptions and evidence
Result
No E6 root subsystem is preserved by J: its induced action on K*/K=Z3 would square both to identity and, from J²=-I, to nontrivial inversion. The same argument applies to A2. All1120 regular A2 complements form560 J pairs; their E6 intersections have12 roots in640 and24 roots in480 subsystem cases. An explicitly marked D5<E6<E7<E8 chain with40/72/126/240 roots exists but is not J invariant.
Required assumptions
Active purely mathematical marked-seam program
Within the stated mathematical scope, marked pairs, lattice transport systems, reflections, clocks and cohomology are independent mathematical objects. Earlier origin/completion tasks are historical, not active. Distinguish new definitions, derived theorems and optional markings.
Existing even E8 lattice, Gaussian J and sign lifts
Given existing even unimodular E8 with actual J(x0,x1,...)=(-x1,x0,...) and J²=-I, and the original ordered sign lattice cocycle. Sign automorphisms have kernel Hom(L,F2). Retain original integral ordered basis and generator phases; no enlargement to U1 characters except explicitly defined scalar pushouts.