The Irencrag ability change trigger — multiple issues

[matthewevans]

Bug Report

Source: Discord / Engine analysis
Discord thread: The Irencrag bug

Cards

The Irencrag

Actual Behavior

Two related bugs:

1. When the trigger fires, The Irencrag loses its abilities but does not gain Equip and +3/+3 bonus.
2. The ability-change trigger fires as mandatory when it should be optional (player should choose).

Expected Behavior

1. The triggered "become a Equipment" mode should correctly apply both Equip and the +3/+3 bonus.
2. The trigger should be optional — the player should be able to decline the transformation.

Parser Status

has_gaps — continuous effect application and optionality of the trigger are both not parsed correctly.

[matthewevans]

Parser verification (2026-05-04):

The trigger IS parsed with correct structure:

• mode: ChangesZone (legendary creature you control enters)
• optional: true ✓ (the "you may" is captured)
• Sub-ability has IfYouDo condition ✓
• Grants Equip {3} ✓
• Grants "Equipped creature gets +3/+3" ✓

Parser gap: The primary "become" effect is Unimplemented — the engine has no Become effect type to transform a permanent's types/name/characteristics. This blocks:

• Changing the card's name to "Everflame, Heroes' Legacy"
• Changing types to "legendary Equipment artifact"
• The "loses all other abilities" clause

The trigger optionality (issue point 2) appears correctly parsed. The missing behavior (issue point 1: no equip/+3/+3 granted) is caused by the Unimplemented become effect blocking the sub-ability chain.

[matthewevans]

Fixed in 7905066 (Fix Irencrag trigger parsing). Evidence: added parser regressions for the direct causative effect and the production trigger path; verified with CARGO_TARGET_DIR=/tmp/forge-rs-target-153 cargo test -p engine trigger_may_have_self_become_named_equipment_if_you_do -- --nocapture and CARGO_TARGET_DIR=/tmp/forge-rs-target-153 cargo test -p engine have_card_name_become_named_equipment_and_lose_other_abilities -- --nocapture. Export check now emits the primary effect as GenericEffect on SelfRef with SetName(Everflame, Heroes' Legacy), AddType(Artifact), AddSubtype(Equipment), and the IfYouDo follow-up grants/removes abilities on SelfRef.

[matthewevans]

Fixed in 7905066.