TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/e-series-quarter-clock-20261023/PROOF.txt
Original file SHA-256: ac3e95975adb14c82815731b3d8aa0f6e1caf72d25fb749250a5b1bbcd269884
Inclusive original lines: 189-200
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000189 | and needs no added unique-chart axiom.
000190 | 
000191 | Now separately SUPPLY the existing base model X=CP1 minus mu4 and its
000192 | rho(gamma_i)=J representation. Its C2 parity character has a connected
000193 | degree2 cover Y:y^2=x^4-1, with the four branch points removed. The
000194 | compactification has genus1 by Riemann-Hurwitz and j1728 from harmonic
000195 | cross ratio. Its restricted fibre holonomy is{I,-I}. Every CHOSEN real
000196 | E7 or E6 root subsystem is invariant under that remaining holonomy.
000197 | On X the chosen E7 descends as the unordered pair of exchanged slices;
000198 | Y orders the pair, and the common D6 already descends individually.
000199 | This repairs any inference that lack of a fixed J-sector forbids a
000200 | transported reduction. It does NOT make real rank7 into a complex subspace.