Locks the loop invariant: after the first cycle the phase resets to AfterReady, so the next player TurnEnd matches the same case arm and produces the same two-frame burst.
Locks the loop invariant: after the first cycle the phase resets to AfterReady, so the next player TurnEnd matches the same case arm and produces the same two-frame burst.