2673 — Minimal Seam Rank Equals Moving-Residual Quotient Rank
For (K=\ker Q), uniform repair first requires (K\cap\ker H\subseteq\ker R). Hence (R|_K) factors through (H|_K) and the seam rank is at least (\operatorname{rank}(R|_K)). One scalar row cannot repair two independent moving residual directions.
- Packet:
research/kitaev/minimal-seam-rank-equals-moving-residual-quotient-rank.md - Checker:
research/kitaev/checkers/check_minimal_seam_rank.py - Results:
research/kitaev/results/minimal-seam-rank.json - Sequence:
seqclaim-d6012de8b45ac2e0cf3d03bd
No commit or push was authorized.