[Card Bug] Jeleva, Nephalia's Scourge — ETB exiles 1 not X with permanent target prompt; attack trigger lets opponent cast my exiled creature; cast creature still enters under my control

[matthewevans]

Card

Jeleva, Nephalia's Scourge

Oracle text (verified from client/public/card-data.json)

Flying
When Jeleva enters, each player exiles the top X cards of their library, where X is the amount of mana spent to cast Jeleva.
Whenever Jeleva attacks, you may cast an instant or sorcery spell from among cards exiled with Jeleva without paying its mana cost.

Reported behavior (multiple subbugs)

Both of Jeleva's triggers are broken.
On ETB, it seems each player exiled 1 card from top of library, rather than X. The game also showed me a whole bunch of cards to pick from. The chosen card was exiled.
Actually, it appears to exile the target on attack, with the AI choosing whether to cast that card from exile or not.
Wait hold on, a completely different player somehow had the option of casting my exiled creature????
And it still entered under my control.

(Discord thread: Jeleva, Nephalia's Scourge very bugged, 2026-05-11)

Parser status (verified — multiple bugs)

ETB trigger:

trigger.execute: ChangeZone {
  destination: Exile,
  target: Typed[Card, InZone: Library],   // <-- wrong: any-library-card targeting prompt; should be top-N
  ...
}
trigger.execute.player_scope: All

Two parser bugs in the ETB:

1. Missing count — there's no count: X referencing the mana-spent-to-cast quantity. ChangeZone defaults to a single object. The phrase "exile the top X cards of their library, where X is the amount of mana spent to cast Jeleva" needs to compose a typed quantity ref (likely QuantityRef::ManaSpentToCast { scope: SelfObject, metric: Total }, similar to the Painful Truths Converge fix [Card Bug] Painful Truths — Converge X parsed as ObjectCount with empty filter (counts whole battlefield) #307) and a "from top of library" iteration.
2. Wrong target shape — target: Typed[Card, InZone: Library] lets the runtime offer any library card. Should be a typed LibraryTopN shape that auto-selects top-N cards without a prompt.

Attack trigger: needs separate inspection but the user reports it appears to exile a target on attack (when the Oracle text is actually a permission to cast from already-exiled cards) and the cast goes to an opponent who then casts under their control.

Class scope

This is the same family as the closed from among cards exiled with this card work (#316/parser-bundle d04aab782/#25). Jeleva is the canonical Commander-format card for this pattern. The ETB count bug is the sibling Converge-style class to #307. The attack trigger should reuse the TargetFilter::ExiledBySource + CastingPermission::PlayFromExile machinery shipped in the parser bundle and #886ff47fd.

Source

Discord thread: "Jeleva, Nephalia's Scourge very bugged" (2026-05-11)

[matthewevans]

Fixed in 95de92a0c. All 5 subbugs addressed:

Subbug 1 (ETB exiled 1 not X): parser fix in parse_exile_ast recognizes each player's library / their library patterns and substitutes the where X is the amount of mana spent to cast Jeleva quantity reference using the existing ManaSpentToCast { scope, metric } typed quantity from #307.

Subbug 2 (target prompt for any library card): auto-resolved — ExileTop is a non-targeting top-N batch move.

Subbug 3 (attack-trigger wrong target shape): new branch in try_parse_cast_effect for from among cards exiled with [self-ref], plus parse_cast_type_disjunction helper for an instant or sorcery spell disjunction. Emits And[Typed, ExiledBySource].

Subbugs 4 & 5 (cross-player control bugs): added granted_to: Option<PlayerId> to CastingPermission::ExileWithAltCost and ExileWithAltAbilityCost, threaded through cast_from_zone::resolve, grant_permission::resolve, Discover, Cascade, has_exile_cast_permission, spell_objects_available_to_cast, prepare_spell_cast_with_variant_override, and both alt-cost cost readers. Cast surface now correctly gates by grantee.

Latent multiplayer bug surfaced by audit: the missing granted_to axis affected the entire "from among them" cross-player class. Cards positively affected: Jeleva (full ETB + attack flow), Etali (Primal Storm / Primal Conqueror), Apex of Power, Improvisation Capstone, Silent-Blade Oni, Mizzix's Mastery, Riku of Two Reflections — all now correctly scope cast permissions to the resolving ability's controller.

Follow-up tracked: parse_subject_exile_top_count (explicit-subject sibling arm) doesn't yet support the where X is … suffix — out of scope for #326, queued separately for parity.