Established in scope
Finite search closed, actual winding and parity equivalence
In the question: Constructive seam search: operators, state and source compatibility
Global crossed operators; no local field equivalence or physical selection.
Read the exact result, assumptions and evidence
Result
262144 candidates on two H200: four universally Lean-checked presentations. X_plus=Pi X_minus preserves source,Q,K,quarter marker and canonical state; two marked P classes remain. Full T1 and Ward are checked. Graded C lifts realize both P signs; scalar X covariance does not follow from the integer endpoint.
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.
Original evidence
- SYNTHESIS.md lines 8–37
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/SYNTHESIS.md
d112d0054cd1558c0a64f8aebfaa98c942beab9e5688cc9704d31b15cdacb252
finding:constructive-phase-class-and-full-winding