✅ Demon not in lane map stays
| Category | Interaction |
| Status | Passing |
| Test | tests/test_abilities_complex.py::TestCrocellTopologicalReduction::test_demon_not_in_lane_map_stays |
PRECONDITIONS:
Action
- Topological Reduction on Lane 1
Expected Postconditions
-
Demon A: moves per lane_map
-
Demon B: stays in Lane 1 (not in lane_map)
Assertions
assert b_after.lane == 1, "Demon B (not in lane_map) should stay in Lane 1"