✅ Judas aura not different lane

Category	Ability
Status	Passing
Test	tests/test_abilities_passive.py::test_judas_aura_not_different_lane

Judas's aura is Local — allies in other lanes are NOT affected.

Preconditions

• Lane 0: P1's Judas Iscariot (#029) — READIED

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

Action

• Query get_effective_def(state, duban)

result = get_effective_def(state, duban_on_field)

Expected Postconditions

• Returns 5 (Duban's own DEF; Judas aura doesn't reach lane 1)

Assertions

assert result == 5, f"Expected DEF=5 (Judas aura local only), got {result}"