Skip to main content

Explore the foundations and current research.

Follow the published construction into its registered claims, then explore reviewed research questions, attempts and the connections that remain open.

Reviewed results

519 matching reviewed results

Established in scope

One marked generator forces E8 without extra sector or minimality choices

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Complete classification within connected local unitary SAME-CONFORMAL extensions. Corrects the overstrong remark in THEOREMS.txt Section5: merely containing the four sectors already suffices under these remaining hypotheses. A tensor spectator changes the conformal vector. The two E8 classes distinguish fixed U embeddings and become isomorphic after allowing A3 diagram reversal. No derivation of this local realization from primitive P1 or physical completion.

Read the exact result, assumptions and evidence

Result

Regularity of U and common L0 make W automatically a finite U module. Its connected separable algebra object B has simple regular B module. Every invertible M_a tensor B is simple, so free-module adjunction forces n_a=dim Hom_B(M_a tensor B,B) in{0,1}. Support S is the stabilizer subgroup of B and is isotropic by trivial twist. M_h in W yields H subset S subset Hperp=H, hence exactly four sectors once and the unique marked E8 extension with vacuum and conformal data. Before specifying the generator there are exactly four local conformal extension classes over fixed U: U, V_D8 and the two oriented V_E8 embeddings.

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.

  • Local conformal compiler extension containing one marked generator

    U=V_D5 tensor V_A3 has its fixed unitary conformal structure and marked discriminant chart. W is a connected local unitary VOA extension sharing its conformal vector and finite dimensional weight spaces; isomorphisms fix U. The marked module M_h for h=(1,1) occurs. Exact sector support, multiplicities, finite extension index, holomorphicity and an additional minimality rule are not assumed. Membership of primitive P1 in this realization is not claimed.

Original evidence

  • SIMPLIFICATION.txt lines 1–169

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/SIMPLIFICATION.txt

    51bb029fdaa33e327d2d24d98b47972a19bacf6a5987452a1ea3010be7130dab

finding:marked-generator-forces-e8-without-support-multiplicity-or-minimality-input

Established in scope

Canonical vacuum and L0 select no E6 corner and differ from internal clock

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Exactly the existing marked associated E8 object and its standard conformal vacuum realization. No general physical time no-go, base/deck/fibre identification or additional state marking.

Read the exact result, assumptions and evidence

Result

Every original lattice-field lift fixes the canonical vacuum and Sugawara vector and commutes with every L_n. Thus the existing d field lifts126/127 remain automorphisms after including these canonical data and still fix no E6 corner. Internal Jhat has eigenvalues+i and-i four times each on the eight weight1 Cartan currents; exp(i theta L0) is scalar there. Hence Jhat is not a conformal time rotation for any theta. The joint cover construction and nonsplit transition carries remain functorial.

Required assumptions

  • Exact local reconstruction class of the marked C4 glue

    Mathematical object class Ext_H(U): U=V_D5 tensor V_A3 with fixed embedding and sector chart, H=<(s,f)>=C4. Objects are connected local unitary conformal VOA extensions with the same conformal vector and underlying labelled U module exactly the sum of M_h for h in H, each once. Isomorphisms fix U and sector labels. This is an explicit mathematical reconstruction class; membership of primitive P1 is neither assumed nor derived.

  • 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.

  • 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.

Original evidence

  • THEOREMS.txt lines 387–448

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/THEOREMS.txt

    5c0d7328c583cdbc0a8c358445b57821d5b5722540ca372c1d28052b900eb584

  • SELECTION.txt lines 1–110

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-joint-source-20261023/SELECTION.txt

    eaf46bcdc3ae40faded8b33bb100e5a6625cc3f71bdc07a4d696e49bd6705e7d

finding:canonical-vacuum-clock-preserves-e6-nonselection

Established in scope

Marked C4 glue determines one complete local E8 vacuum source

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Complete conditional mathematical reconstruction for the specified U module and local unitary conformal extension. No derivation of primitive P1 membership or physical time/state/spacetime identification. H3(C4,U1) is not asserted zero; the original nonsplit G31 character extension is not replaced by scalar coefficients.

Read the exact result, assumptions and evidence

Result

In exactly Ext_H(U) there is one VOA and normalized local Q system class over U, represented by V_E8. q_D5(s)=5/8 and q_A3(f)=3/8 make H Lagrangian; the full abelian associator/braiding class trivializes only on H. H2(C4,C*)=H2(C4,U1)=0 gives uniqueness, with residual automorphisms Hom(C4,U1)=C4. The actual weight1 branching is60+64+60+64=248. Lattice vacuum, Sugawara vector, L0=N+Norm(alpha)/2, all vacuum correlators, unitary structure over U and associated local conformal net are determined in this class.

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.

  • Exact local reconstruction class of the marked C4 glue

    Mathematical object class Ext_H(U): U=V_D5 tensor V_A3 with fixed embedding and sector chart, H=<(s,f)>=C4. Objects are connected local unitary conformal VOA extensions with the same conformal vector and underlying labelled U module exactly the sum of M_h for h in H, each once. Isomorphisms fix U and sector labels. This is an explicit mathematical reconstruction class; membership of primitive P1 is neither assumed nor derived.

Original evidence

  • THEOREMS.txt lines 1–196

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/THEOREMS.txt

    5c0d7328c583cdbc0a8c358445b57821d5b5722540ca372c1d28052b900eb584

  • THEOREMS.txt lines 197–386

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/THEOREMS.txt

    5c0d7328c583cdbc0a8c358445b57821d5b5722540ca372c1d28052b900eb584

  • THEOREMS.txt lines 503–517

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/THEOREMS.txt

    5c0d7328c583cdbc0a8c358445b57821d5b5722540ca372c1d28052b900eb584

finding:marked-c4-glue-unique-local-e8-vacuum-source

Established in scope

No E6 vertex selection even with full clock-field phases

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Complete stabilizer test inside H preserving root factors setwise, with fixed J/compiler field lifts, Y and covariant quartic/erasure maps. No pointwise freezing of every individual quartic vector or separately chosen charged state. The full transported family is the exact object.

Read the exact result, assumptions and evidence

Result

C_H(J) has order64 and cyclic4 image on the four E6 vertices. Its Y stabilizer is{I,d}, d=diag(1,1,1,1,1,1,-1,-1), acting by two transpositions without a fixed vertex. d preserves sigma,c and the actual quartic/erasure diagram. With fixed full Jhat and chat=S_c D31, exactly four d field lifts126,127,128,129 commute with both;126 and127 are involutions. Thus genuine automorphisms of the same full associated object fix no E6 vertex. Character-gauge conjugation transfers this to all four cyclic lifts. The supplied field phases therefore select no vertex.

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.

  • 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.

  • 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.

Original evidence

  • SELECTION.txt lines 1–110

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-joint-source-20261023/SELECTION.txt

    eaf46bcdc3ae40faded8b33bb100e5a6625cc3f71bdc07a4d696e49bd6705e7d

finding:e6-vertex-nonselection-survives-full-field-clock-phases

Established in scope

Relative clock-Hom transport forces exactly the existing C12

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Comparison of native and explicitly cover-induced Burau local systems. No independently geometric Gauss-Manin H1 family, forced carrier equality or extra line twist erasing carry. The earlier clock dictionary remains valid but is not a parallel peripheral dictionary.

Read the exact result, assumptions and evidence

Result

On the actual common Phi12 lattices, Hom_clock=Q[A12] has dimension4 and integral Hom=Z[zeta12], with integral isomorphisms a unit torsor. Native periphery is A12^9; the Burau periphery induced from the existing mu3 cover deck module is A12^4. Relative Hom transport is therefore H->A12^7 H, with exactly0 parallel clock intertwiners. Every nonzero relative orbit has order12. Exponent vector(7,7,7,7,8) has exactly the original winding kernel modulo12, so the existing C12 is the minimal trivialization.

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.

  • 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.

Original evidence

  • RELATIVE-TRANSPORT.txt lines 1–118

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-joint-source-20261023/RELATIVE-TRANSPORT.txt

    cfe6ed1c5d80ceba8cb84ea73c162b9664cc134b9a8f08b2f5741be24e6606ed

finding:relative-native-burau-clock-hom-faithful12-transport

Established in scope

One complete cyclic field-lift class and joint associated clock

In the question: Active mathematical program: marked seam monodromies and lattice lifts

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.

Original evidence

  • JOINT-CLOCK.txt lines 1–190

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-joint-source-20261023/JOINT-CLOCK.txt

    02a15050dc0d8f7ad69ad1d867318d7a9abfa4bee274e14f1f06a12cf16c9628

  • JOINT-CLOCK.txt lines 191–281

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-joint-source-20261023/JOINT-CLOCK.txt

    02a15050dc0d8f7ad69ad1d867318d7a9abfa4bee274e14f1f06a12cf16c9628

finding:complete-fixed-jhat-cyclic-field-lift-and-associated-clock

Established in scope

Complete covariant compiler closure on the same lattice-field source

In the question: Active mathematical program: marked seam monodromies and lattice lifts

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.

Original evidence

  • COMPILER-CLOSURE.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-joint-source-20261023/COMPILER-CLOSURE.txt

    de73510dc40b968940c68662ab07252995f96a98363e6cb1e9436937ecf62b3c

  • COMPILER-CLOSURE.txt lines 201–242

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-joint-source-20261023/COMPILER-CLOSURE.txt

    de73510dc40b968940c68662ab07252995f96a98363e6cb1e9436937ecf62b3c

  • THEOREMS.txt lines 65–104

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-joint-source-20261023/THEOREMS.txt

    9ea22e7fa3b640f7b014287adccd49d1ed3605547ac076a43d719458ec501932

finding:complete-covariant-compiler-voa-source-and-weyl-closure

Established in scope

Four E6 projectors connect48,4/3 and5/4 in the same representation

In the question: Active mathematical program: marked seam monodromies and lattice lifts

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.

Original evidence

  • CUTS.txt lines 219–324

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-compiler-closure-20261023/CUTS.txt

    e4eb9b53f944d411e887deb1783ff2d12e6a949e7550f9e6ebdd0cf77cd1ef21

  • THEOREMS.txt lines 99–127

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-compiler-closure-20261023/THEOREMS.txt

    361450df688c5dc8fa3b8c69ff6a8d0f35156772bee5ec0acab494eb32d3587f

finding:native-four-cut-projectors-unify48-fourthirds-fivequarters

Established in scope

Common covers and maximal actual integral clock intertwiner

In the question: Active mathematical program: marked seam monodromies and lattice lifts

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.

Original evidence

  • COVERS.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-compiler-closure-20261023/COVERS.txt

    cdd04f5f38819b60ddd8488eb1c3c316c6849829387205e78ec5e4bf767f80bf

  • COVERS.txt lines 201–400

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-compiler-closure-20261023/COVERS.txt

    cdd04f5f38819b60ddd8488eb1c3c316c6849829387205e78ec5e4bf767f80bf

  • COVERS.txt lines 401–432

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-compiler-closure-20261023/COVERS.txt

    cdd04f5f38819b60ddd8488eb1c3c316c6849829387205e78ec5e4bf767f80bf

finding:common-cover-clock-and-maximal-integral-phi12-intertwiner

Established in scope

Complete E6/E7 dictionary for the original D5+A3 split

In the question: Active mathematical program: marked seam monodromies and lattice lifts

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.

Original evidence

  • CUTS.txt lines 1–155

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-compiler-closure-20261023/CUTS.txt

    e4eb9b53f944d411e887deb1783ff2d12e6a949e7550f9e6ebdd0cf77cd1ef21

  • CUTS.txt lines 156–252

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-compiler-closure-20261023/CUTS.txt

    e4eb9b53f944d411e887deb1783ff2d12e6a949e7550f9e6ebdd0cf77cd1ef21

finding:e-series-complete-native-compiler-cut-dictionary

Established in scope

E7 pairs on all lattice fields and complete correction torsor

In the question: Active mathematical program: marked seam monodromies and lattice lifts

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.

Original evidence

  • FIELDS.txt lines 1–133

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-compiler-closure-20261023/FIELDS.txt

    1ad4bbda485ff2e703a5fe5db9de09ce463103d5791933e9bf24dfa68d2d3b50

  • THEOREMS.txt lines 20–49

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-compiler-closure-20261023/THEOREMS.txt

    361450df688c5dc8fa3b8c69ff6a8d0f35156772bee5ec0acab494eb32d3587f

finding:e7-pair-full-lattice-field-character-torsor

Established in scope

Complete census of original17character-valued monodromy lifts

In the question: Active mathematical program: marked seam monodromies and lattice lifts

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.

Original evidence

  • THEOREMS.txt lines 203–296

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/THEOREMS.txt

    a5db41f218483476fe623f0fc7353df5bfabf5f79af4a3eda58d7e05e0715fc0

  • ORDINARY_LIFTS.tsv lines 1–18

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/ORDINARY_LIFTS.tsv

    60a856059f4f230996d674543eb3122764ee67203c8361f603aba8fcbbd1d6af

finding:all17-original-character-monodromy-lifts-complete