2685 — Actuator Lifts Form a Torsor over Protected-Kernel Shears
If (RB_0=S), all actuator lifts are (B_0+N) with (RN=0). They form an affine torsor over maps into (\ker R). Residual cancellation does not preserve a protected record (L); the independent condition is (LBH=0). The exact family (B_t=(1,t)^T) cancels one residual for every (t), while only (t=0) avoids logical shear.
- Packet:
research/kitaev/actuator-lifts-form-a-torsor-over-protected-kernel-shears.md - Checker:
research/kitaev/checkers/check_actuator_lift_torsor.py - Results:
research/kitaev/results/actuator-lift-torsor.json - Sequence:
seqclaim-035a8c7bf849f8decc84dc8d
No commit or push was authorized.