fix(parser): port the phrasing-gap restriction families into the shared condition grammar (P02-U3b)

[matthewevans]

The restriction-only fallback held four parser families that the shared
static-condition grammar could already have expressed — it just did not SPELL
their phrasings. Teach parse_inner_condition the five surfaces and delete the
fallback parsers; the shared grammar runs first, so each phrase now converts
through the ordinary QuantityComparison vocabulary that every static ability
with the same words already uses.

Ported (population 35,396 faces; instrument: full-pool dual export, whole-face
structural diff over ALL channels):

• CR 508.1a "you attacked with [N or more creatures | a ][ this turn]"
  -> AttackedThisTurn { scope, filter }. The trailing " this turn" is OPTIONAL:
  a full-pool reachability probe showed Thaumaton Torpedo reaching the fallback
  WITHOUT it (an upstream duration parser peels it), so requiring the suffix
  would have silently dropped that face.
• CR 201.2 + CR 109.3 "you control N or more lands with the same name"
  -> ObjectCountBySharedQuality { quality: Name, aggregate: Max }. The
  same-quality mirror of the existing with different names arm; Max is what
  makes it "some ONE name is shared by N lands" and not "you control N lands".
• CR 102.2 + CR 608.2h "an opponent had [N] enter the battlefield under
  their control this turn" -> BattlefieldEntriesThisTurn { player: Opponent{Max} }.
• CR 701.23a "an opponent [has] searched their library this turn"
  -> PlayerActionsThisTurn { player: Opponent{Max}, action: SearchedLibrary }.
• CR 402.1 + CR 608.2c "you have exactly N or M cards in hand" -> Or over
  HandSize EQ leaves. "zero" needs its own tag: parse_number's English table
  starts at "one".

MULTIPLAYER SEMANTIC FIX (Whiplash Trap, Lavaball Trap). The fallback encoded the
opponent INSIDE the TargetFilter (controller: Opponent), so the runtime SUMMED
battlefield entries across ALL opponents. Two DIFFERENT opponents with one creature
each therefore satisfied "an opponent had TWO OR MORE creatures enter" — but no
single opponent had two. "An opponent" binds one player and "their control" binds
the count to that same player, so the threshold is per-opponent: Opponent { Max }.
The two readings coincide at two players and only diverge at three or more, which is
why the runtime witness needs three seats.

Retained, with honest justifications — the (c) phrasing-gap class is now EMPTY and
PINNED_RETAINED_FAMILIES drops 6 -> 4. Everything left is (a) a restriction-context
referent or (b) a real vocabulary gap:

• parse_spell_targets_filter: CR 601.3d in-flight-spell referent. Permanent.
• parse_source_condition: ParsedCondition has no filter-carrying source predicate,
  so StaticCondition::SourceMatchesFilter cannot be converted. Teaching the shared
  grammar a source phrasing today would make the shared parse SUCCEED and the
  conversion then REJECT it — a NET LOSS of restriction support.
• parse_event_condition: BeenAttackedThisStep has no per-STEP counterpart at all
  (StaticCondition's attack history is per-TURN), plus the ETB surface that elides
  "the battlefield".
• parse_hand_condition: "you have no cards in hand" is an OWNER-relative count
  in a HIDDEN zone. ZoneCoreTypeCardCountAtLeast reads player_zone_ids(player, Hand);
  the shared ObjectCount path discriminates by CONTROLLER and TargetFilter has NO owner
  axis. Converting it would not re-spell the phrase, it would ask a different question.

Proven-dead code deleted, not ported: the shared parse_hand_size_predicate already
spelled "no cards in hand", "one or fewer", "exactly N", and "more cards in hand than
each opponent". A full-pool reachability probe (nonvacuous — it registered hits on
every leaf kept) showed ZERO faces reaching those leaves across all 35,396.

Evidence: red-first — the six new shared_grammar_owns_* tests were watched FAILING on
a pristine worktree at this commit's base, each with "NoMatch (fell to restriction-only
grammar)". The whole-face full-pool diff caught a regression this change first
introduced (The Biblioplex, supported -> Unimplemented, because "zero" did not parse)
and it is fixed here.

[gemini-code-assist]

Warning

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

[github-actions]

Parse changes introduced by this PR

✓ No card-parse changes detected.