✅ Reveal faster wins

Category	Regression
Status	Passing
Test	tests/test_turn_sequence.py::test_reveal_faster_wins

P1 contracts Fast demon (speed=1). P2 contracts Slow demon (speed=3). P1 wins.

Preconditions

• contracted_demons = {P1: "001" (Fast=1), P2: "004" (Slow=3)}.

Action

• reveal_contract_demons(state)

Expected Postconditions

• _contract_faster_side = Side.PLAYER_1 (speed 1 < 3).

• _contract_speed_tie = False.

• Note (confusion #14): Speed only determines who CHOOSES main phase order, not when demons enter play.

Assertions

assert result._contract_faster_side == Side.PLAYER_1
assert result._contract_speed_tie is False