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: 165-175
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.

000165 | of that bracket from two abstract E7 algebras with unspecified attachment.
000166 | 
000167 | 7. Full integral glue comparison
000168 | 
000169 | Let K=D6+A1+A1 in the pair chart. det K=4*2*2=16, so[E8:K]=4.
000170 | Its discriminant group has exponent2, hence E8/K is C2 times C2.
000171 | The exact Smith forms in the native E8 basis give invariant factors
000172 |   D6+A1+A1:2,2; E7+A1:2; E6+A2:3; D5+A3:4.
000173 | Therefore the index4 of the common E7-pair split is NOT the original
000174 | cyclic index4 glue of D5+A3. The nonsplit holonomy sequence
000175 | 1->C2->C4->C2->1 below is another object again, not this lattice quotient.