✅ Advance main cycle3 to cycle4
| Category | Ability |
| Status | Passing |
| Test | tests/test_turn_sequence.py::test_advance_main_cycle3_to_cycle4 |
advance_phase from second MAIN at cycle=3 → cycle=4, CONTRACT.
Preconditions
- cycle = 3, current_player = P2 (second), main_phase_order = [P1, P2].
Action
- advance_phase(state)
Expected Postconditions
- cycle = 4, phase = Phase.CONTRACT.
Assertions
assert result.cycle == 4
assert result.phase == Phase.CONTRACT