TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/e-series-joint-source-20261023/COMPILER-CLOSURE.txt
Original file SHA-256: de73510dc40b968940c68662ab07252995f96a98363e6cb1e9436937ecf62b3c
Inclusive original lines: 201-242
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.

000201 | original fixed D5+A3 chart are marks. They are not selected by either closure.
000202 | In particular H does not centralize J. Equations (1.1) describe allowed
000203 | mathematical transitions between transported marked flags, not an assertion
000204 | that every group element preserves the original fully marked compiler object.
000205 | 
000206 | No physical preparation, P1 event rule, state, or measurement is derived.
000207 | The result removes the arbitrary chiral choice from the ratio identity and
000208 | classifies the exact finite closure. It does not choose which transported mark
000209 | is physically instantiated.
000210 | 
000211 | 7. Reproducibility and sources
000212 | 
000213 | Run
000214 | 
000215 |   python3 -B experiments/theory-contracts/e-series-joint-source-20261023/compiler_closure.py
000216 | 
000217 | Expected first line
000218 | 
000219 |   MATH.SEAM.ESERIES.JOINT.05 PASS
000220 | 
000221 | The checker performs only root, cut, frame, and projector sized orbit closures.
000222 | It does not enumerate W(D8) or W(E8).
000223 | 
000224 | Native sources extracted literally:
000225 | 
000226 |   verification/v1_e8_glue.py
000227 |   SHA256 1978d66a85974e5fa189cf4dec507f9be4c4dcc113e90eb1b33a9aae9259a0d7
000228 | 
000229 |   verification/v634_st31_structure.py
000230 |   SHA256 5ff53ed031ca03103187ac22edf723aabce88bee3df1085c52486ecb0044d37c
000231 | 
000232 | Prior exact contracts used as established inputs:
000233 | 
000234 |   experiments/theory-contracts/e-series-compiler-closure-20261023/CUTS.txt
000235 |   SHA256 e4eb9b53f944d411e887deb1783ff2d12e6a949e7550f9e6ebdd0cf77cd1ef21
000236 | 
000237 |   experiments/theory-contracts/e-series-quarter-clock-20261023/PROOF.txt
000238 |   SHA256 ac3e95975adb14c82815731b3d8aa0f6e1caf72d25fb749250a5b1bbcd269884
000239 | 
000240 | The script independently reconstructs the native 240 roots and J, the 224 and
000241 | 1120 A2 counts, all projector ranks and covariance, the exact G31 mixing
000242 | witness, the 1120 cut orbit, the 7560 frame orbit, and the incidence 27.