Scoped exclusion
No phase hit realizes the unchanged source
In the question: Constructive seam search: operators, state and source compatibility
Only the named unchanged CAR/QWZ representation with the same time. No TFPT no-go; choosing a state removes no added zero vector.
Read the exact result, assumptions and evidence
Result
All four hits add the same half-integer Cartan sectors and second K-zero vector. The already known integer-Cartan/ground-space obstruction therefore excludes equivalence to the unchanged source; positive algebraic extension remains possible.
Required assumptions
- Fixed CAR source and adjoined half sector
Ordered eight-channel cocycle, s=(1/2)^8, Q, quarter phase and K_alpha=N+|p|²/2+delta_alpha.p are supplied; alpha=1/4,3/4. Parity equivalence is in the global operator envelope without a separately marked physical X. Neither source nor extension is derived from P1/P2.
- Unchanged specified CAR/QWZ source
Compare the known quarter-CAR source or full mass=1, ny=8 QWZ operator with the identical Hilbert representation, Cartan action and physical time. Preserve its previously proved unique ground state and spectral gap. This does not compare all P1/P2 realizations.
Original evidence
- PROOF.txt lines 85–197
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/quotient-locality-e8-20261014/PROOF.txt
dfa4b094f660d47bc28cf2729e1c12eb29ae0b79cdfda36e72cb40f9406f5714
- SYNTHESIS.md lines 76–96
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/SYNTHESIS.md
d112d0054cd1558c0a64f8aebfaa98c942beab9e5688cc9704d31b15cdacb252
finding:constructive-all-phases-fail-unchanged-source