TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/e-series-compiler-closure-20261023/COVERS.txt
Original file SHA-256: cdd04f5f38819b60ddd8488eb1c3c316c6849829387205e78ec5e4bf767f80bf
Inclusive original lines: 401-432
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 | exterior6, quartic5, erasure20 and rationalized Burau matrices; proves every
000402 | displayed characteristic and minimal polynomial; verifies the saturated
000403 | Phi_12 bases and the J/plain and sigma/deck intertwining; retains both
000404 | integral alternating forms; and compares the complete 240-root and 48-site
000405 | permutation characters.
000406 | 
000407 | Original sources retained without alteration
000408 | 
000409 |   experiments/theory-contracts/e-series-quarter-clock-20261023/PROOF.txt:177-228
000410 |   verification/v597_mu4_cover_model.py:1-19,94-132
000411 |   verification/v617_seam_cover_forcing.py:22-41
000412 |   verification/v623_covered_seam.py:28-34,156-182
000413 |   verification/v634_st31_structure.py:105-126,721-737
000414 |   verification/v610_curve_landscape.py:1-29,154-168
000415 |   verification/v613_canonical_periods.py:1-31,83-102,201-241
000416 |   verification/v654_st31_degree8.py:44,850-894
000417 |   experiments/theory-contracts/marked-seam-monodromy-20261023/THEORY.txt:287-303
000418 |   tfpt_explorer/process.py:242-260
000419 |   experiments/theory-contracts/joint-native-algebra-selection-20261016/
000420 |     ERASURE-AND-JOINT-25-MULTILOCAL-SUPPORT.txt:1-18
000421 |   documents/tfpt_1_architecture_e8/sections/001-source.tex:182-225
000422 | 
000423 | Verdict
000424 | 
000425 | PASS, established only in the declared pure mathematical marked-cover scope.
000426 | C_6 is the minimal parity/mu3 common cover.  C_12 is the minimal full
000427 | C4-kernel/mu3 common cover.  The original compiler and covered-seam clocks
000428 | have an exact marked generator dictionary.  The actual real8 carrier and the
000429 | retained Burau/H1 model share exactly one canonical rational Phi_12 summand,
000430 | with the explicit integral intertwiner (7.2); their remaining cyclotomic
000431 | components and retained invariant integral forms obstruct a full carrier
000432 | identification.