完整 32 态旋机胞（相位＋老少耦合）的转移半群可解，群部件为 ℤ₈；S₈ 反例划出可解性边界。

旋机矢列演算 RSC₀ 健全且完备。