TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/canonical-seam-fermionization-20261025/LATTICE-AND-SOURCE-FRAME.txt
Original file SHA-256: 77e0687412cb79bf1d51d079946484b6e8be337adf8a72a85bf2e6079b045ae7
Inclusive original lines: 401-452
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.

000401 | that construction is M(D8_CAR), not the canonical compiler intermediate
000402 | O(D8_halfway).  Therefore its labels v,c,v+c cannot be read as canonical
000403 | compiler labels by identity.
000404 | 
000405 | An E8 Weyl automorphism can of course conjugate isomorphic D8 subsystems.
000406 | Existence of such a conjugacy is not the requested marked equality and does
000407 | not preserve the O/M dictionary automatically.  Selecting one from P1 or
000408 | from the original seam data remains open.
000409 | 
000410 | 6. Reproduction and sources
000411 | ----------------------------
000412 | 
000413 | Run
000414 | 
000415 |   python3 -B -OO \
000416 |     experiments/theory-contracts/canonical-seam-fermionization-20261025/check_lattice_source_frame.py
000417 | 
000418 | The checker uses Fraction and SymPy exact arithmetic.  It reconstructs O
000419 | from the original simple-root matrices, reads the existing M without
000420 | modification, compares all roots and both quarter vectors, and writes
000421 | nothing.
000422 | 
000423 | Original repository sources:
000424 | 
000425 |   tfpt_explorer/cartan_source.py:58-83,157-184,560-587,651-743
000426 |     original Gaussian roots, O frame and marked halfway character;
000427 | 
000428 |   experiments/theory-contracts/v16-operator-pullback-20261014/
000429 |     fold-results.json, field explicit_Weyl_matrix
000430 |     FOLD-AUDIT.md:88-122,125-207;
000431 | 
000432 |   experiments/theory-contracts/mixed-current-origin-20261014/
000433 |     checker.py:80-122
000434 |     ODD-SECTOR-REFIELDING-AND-NAHT.txt:1-167
000435 |     Atlas source research-source:580a1d0a402fe8b1b494ffd7.
000436 | 
000437 |   experiments/theory-contracts/joint-native-algebra-selection-20261016/
000438 |     FOLD-COVARIANCE-TO-NATIVE-FIELD-RESPONSE.txt:53-152
000439 |     Atlas source research-source:1a8c7c3f539e779301a7377d
000440 |     previous statement of the equal-energy e1+e4 target root.
000441 | 
000442 | Literature used for the abstract lattice step:
000443 | 
000444 |   V. V. Nikulin, Integral symmetric bilinear forms and some applications,
000445 |   Mathematics of the USSR-Izvestiya 14 (1980), 103-167, especially the
000446 |   discriminant-form description of finite-index even overlattices.
000447 | 
000448 | The literature theorem classifies possible overlattices.  The negative
000449 | marked-frame result (6), the character table (9) and the time comparison
000450 | (13) are exact calculations with the repository's actual O and M.
000451 | 
000452 | No Atlas, ledger, contract index or existing source was changed.