Skip to content

docs(parser): correct CR 609.3 -> CR 603.5 on trigger optionality#5483

Merged
matthewevans merged 1 commit into
mainfrom
ship/cr-603-5-trigger-optionality
Jul 10, 2026
Merged

docs(parser): correct CR 609.3 -> CR 603.5 on trigger optionality#5483
matthewevans merged 1 commit into
mainfrom
ship/cr-603-5-trigger-optionality

Conversation

@matthewevans

Copy link
Copy Markdown
Member

CR 609.3 (docs/MagicCompRules.txt:2847) is "If an effect attempts to do
something impossible, it does only as much as possible" -- unrelated to
optionality. The rule governing "may" triggers is CR 603.5 (:2595):

603.5. Some triggered abilities' effects are optional (they contain
"may," as in "At the beginning of your upkeep, you may draw a card").
These abilities go on the stack when they trigger, regardless of
whether their controller intends to exercise the ability's option or
not. The choice is made when the ability resolves.

Fixes both sites that annotate trigger optionality:

  • oracle_ir/trigger.rs:53 TriggerModifiers.optional
  • oracle_trigger.rs:1289 propagation onto the execute ability

Also corrects a stale comment naming Grenzo, Havoc Raiser as the
canonical inline-modal-trigger card. Grenzo uses bullet-line modes
(raw_modes.len() == 1) and cannot reach that branch; no printed card
currently does.

Comment-only. No behavior change.

CR 609.3 (docs/MagicCompRules.txt:2847) is "If an effect attempts to do
something impossible, it does only as much as possible" -- unrelated to
optionality. The rule governing "may" triggers is CR 603.5 (:2595):

  603.5. Some triggered abilities' effects are optional (they contain
  "may," as in "At the beginning of your upkeep, you may draw a card").
  These abilities go on the stack when they trigger, regardless of
  whether their controller intends to exercise the ability's option or
  not. The choice is made when the ability resolves.

Fixes both sites that annotate trigger optionality:
  - oracle_ir/trigger.rs:53   TriggerModifiers.optional
  - oracle_trigger.rs:1289    propagation onto the execute ability

Also corrects a stale comment naming Grenzo, Havoc Raiser as the
canonical inline-modal-trigger card. Grenzo uses bullet-line modes
(raw_modes.len() == 1) and cannot reach that branch; no printed card
currently does.

Comment-only. No behavior change.
@matthewevans
matthewevans enabled auto-merge July 10, 2026 05:44
@gemini-code-assist

Copy link
Copy Markdown
Contributor

Warning

You have reached your daily quota limit. Please wait up to 24 hours and I will start processing your requests again!

@matthewevans
matthewevans added this pull request to the merge queue Jul 10, 2026
@github-actions

Copy link
Copy Markdown

Parse changes introduced by this PR

✓ No card-parse changes detected.

Merged via the queue into main with commit 590a179 Jul 10, 2026
13 checks passed
@matthewevans
matthewevans deleted the ship/cr-603-5-trigger-optionality branch July 10, 2026 06:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant