Ghost Seat Hold Release Receipt Lens

This lens checks that a reserved audience seat held by a ghost claimant, memorial queue, or stale sponsor hold cannot be released into a later route as clean capacity unless the game exposes who held the seat, who is displaced, what proof or absence exists, and what future broadcast route inherits the scar.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_seat_hold_visible: true
  ghost_or_absent_holder_visible_or_explicit_absence: true
  release_authority_visible_or_explicit_absence: true
  displaced_waiting_reader_visible_or_explicit_absence: true
  requested_future_use_visible: true
  future_reader_consumes_hold_state: true
  player_can_release_memorialize_split_convert_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_seat_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

Checks

1. Docket preserves the hold chain

ghost_seat_hold_docket:
  source_seat_hold: required
  ghost_or_absent_holder: required
  release_authority_or_absence: required
  displaced_waiting_reader: required
  requested_future_use: required
  proof_bridge_or_explicit_absence: required
  selected_hold_posture: required
  hold_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Release branches diverge

Required branch families:

  • release_to_waiting_queue;
  • certify_memorial_hold;
  • split_hold_credit;
  • convert_to_access_seat;
  • quarantine_ghost_claim;
  • false_ghost_hold_default;
  • future_effect_any.

3. Default mutates future play

false_ghost_seat_hold_default:
  false_clean_ghost_hold: true
  source_seat_hold_or_absence: required
  hidden_or_invalid_holder: required
  capturing_reader_or_route: required
  displaced_waiting_reader: required
  hold_state_after: required
  future_reader_effect: required
  counter_deltas_min: 3
  durable_mutation: true

Progress Metric

Satisfied when the sibling TypeScript binding, focused card/rite/event content, and a lens-scoped durable replay show one selected branch changing named counters and future route state without treating the ghost hold as universal clean capacity.