Skip to main content

✅ Exile demon arrives exhausted

CategoryRegression
StatusPassing
Testtests/test_operations.py::test_exile_demon_arrives_exhausted

Regression: Confusion #17 — Judas Exile exhaustion lock.

Preconditions​

  • Lane 1: P1's Duban (#001) — READIED

  • P2 has no demons on the field

Action​

  • exile_demon(state, duban, target_side=PLAYER_2, lane=0)

Expected Postconditions​

  • Duban.owner = PLAYER_2 (ownership transferred)

  • Duban.lane = 0

  • Duban.state = EXHAUSTED (CRITICAL — cannot march or act until readied)

  • Duban is still on the field

Assertions​

assert exiled.owner == Side.PLAYER_2
    assert exiled.lane == 0
    assert exiled.state == DemonState.EXHAUSTED