Established in scope
Intrinsic square curves and transported E7 reductions
In the question: Active mathematical program: marked seam monodromies and lattice lifts
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.
Original evidence
- PROOF.txt lines 177–230
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-quarter-clock-20261023/PROOF.txt
ac3e95975adb14c82815731b3d8aa0f6e1caf72d25fb749250a5b1bbcd269884
- checker.py lines 1–200
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-quarter-clock-20261023/checker.py
31e9fcf230273955bbf69536c6594255e3c0c53034a87e13ca1d3c56815b0562
finding:e-series-square-cover-family-and-quarter-descent