以互模拟为身份判据；有限情形可经 Paige–Tarjan 分划细化判定。

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