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