Established in scope
Explicit conjugation for the existing sheet pairing
In the question: Which partner actually belongs to the original seam?
Representation with metric/orientation; J_C is not yet the actual boundary/OS conjugation. Two carrier labels are not two vacua.
Read the exact result, assumptions and evidence
Result
J_C=∏(epsilon_i+iota_i)K is antiunitary, exchanges S± and reverses Y. Exactly Lambda0 and Lambda5 have Y=0. J_C dGamma(h) J_C^-1=tr(h)I−dGamma(h). It is fully Spin(10)-equivariant. Reuse CAR.PAIR.01's bilinear pairing; CAR.PAIR.02's Hermitian selection inference has been corrected and is not evidence.
Required assumptions
- Original oriented exterior carrier
Given E=C5=E3⊕E2, a Hermitian metric, volume orientation, S± and Y=(-1/3)^3⊕(1/2)^2. Internal carrier labels are not physical vacua; geometric seam reflection is not identified with carrier conjugation.
Original evidence
- PROOF.txt lines 116–152
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-partner-original-action-20261015/PROOF.txt
ff7c8dff8939e8380509bff5a34145f935407344a07bda1d65b7b25489a2677c
- PROOF.txt lines 39–78
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-conjugation-20261015/PROOF.txt
bbea15f5ebb1dff698f1ecdfd8a18e724089c8fe9880dea684a5f9fd45cb1c8a
finding:partner-original-carrier-cross-sheet-conjugation