TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/seam-source-character-search-20261015/PROOF.txt
Original file SHA-256: b0c7f7a36eb394c9aa44babac821221201c4baa5640d6acb11669a7b94b281d9
Inclusive original lines: 146-180
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.

000146 | 6. Joint sheet action and a check on the real fields
000147 | 
000148 | The previous source calculation proves O d_a=d_(1-a) and Oq=-q. Here
000149 | 
000150 |  O t=t+r/2=t+q/4
000151 | 
000152 | holds as an exact vector equality. Therefore the sheet map sends W_a to
000153 | W_(1-a) Z_q, with Z_q=exp(i pi Q/2), rather than to the same fixed marked
000154 | subspace. Its square restores the marking. No new fixed-time repair is sought.
000155 | 
000156 | Pulling each of the four successful characters back with M^T gives on the
000157 | eight original complex fermions two copies of each phase 1,i,-1,-i. This is
000158 | not a five-plus-three split of those elementary fermions. Indeed their
000159 | neutral bilinear roots have only 20 elements: four A1 connected components
000160 | with 2 roots each and one A3 component with 12 roots, with one extra Cartan
000161 | direction. The four A1 components group into two phase blocks D2=A1+A1.
000162 | The larger
000163 | 40+12 fixed system uses the stipulated spinor extension. Thus an E8 root
000164 | success cannot automatically be counted as a physical P2 carrier success.
000165 | 
000166 | 7. State and event obligations remain attached to every candidate
000167 | 
000168 | The search does not vary K, the sea covariance or the actual CAR ground
000169 | state to improve its score. The existing source comparison is reused:
000170 | the full even E8 lattice with this K has ground charges 0 and p*, whereas
000171 | the retained original quarter CAR source has a unique ground. Their equality
000172 | as unchanged full source Hilbert spaces was excluded in seam-joint-ward-state.
000173 | Changing a torus character cannot change this spectral obstruction.
000174 | 
000175 | This is NOT a universal exclusion of E8, of a sector-valued extension, of
000176 | an actual new P1-selected source, or of an interacting theory. Those changes
000177 | require their own field, state and time map; the program cannot silently
000178 | insert one. No candidate in this run proves the complete physical target.
000179 | Finite algebra, a chosen positive state and a clock do not by themselves
000180 | select an instrument or an event/record law.