Courtesy Seat Transfer Afteruse Receipt Lens

This lens checks that a courtesy seat-transfer slip cannot later be treated as clean consent for likeness capture, sponsor hospitality, or archive seating authority unless the game preserves the original transfer row, patron or explicit absence, seat-change context, cited access scope, requested afteruse, harmed claimant, proof bridge, selected posture, after-state, and future route effect.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_transfer_row_visible: true
  patron_visible_or_explicit_absence: true
  seat_change_context_visible: true
  cited_access_scope_visible: true
  requested_afteruse_visible: true
  harmed_claimant_visible_or_explicit_absence: true
  proof_bridge_or_explicit_absence_visible: true
  future_reader_consumes_transfer_state: true
  player_can_certify_restrict_bridge_reopen_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_transfer_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by a fixed day, seat-volume quota, dashboard health, or a transfer slip with no named later reader trying to consume it.

Checks

1. Docket Preserves Transfer Custody And Afteruse

courtesy_seat_transfer_docket:
  source_transfer_row: required
  patron_or_absence: required
  seat_change_context: required
  cited_access_scope: required
  requested_afteruse: required
  future_reader_or_route: required
  harmed_claimant_or_absence: required
  proof_bridge_or_explicit_absence: required
  selected_transfer_posture: required
  transfer_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required
  universal_clean_transfer: false

2. Review Branches Diverge

Required branch families:

  • certify_transfer_scope;
  • restrict_transfer_reader;
  • attach_patron_bridge;
  • reopen_harmed_transfer_claimant;
  • split_seat_access_from_likeness_custody;
  • quarantine_transfer_afteruse;
  • false_transfer_default;
  • future_effect_any.

3. Default Mutates Future Play

false_courtesy_seat_transfer_default:
  false_clean_transfer: true
  source_transfer_row_or_absence: required
  hidden_or_overbroad_access_scope: required
  capturing_reader_or_route: required
  harmed_claimant_or_absence: required
  transfer_afteruse_state_after: falsely_clean
  future_reader_effect: required
  counter_deltas_min: 3
  durable_mutation: true

Progress Metric

Satisfied when the sibling TypeScript binding, focused wiki card/rite/event contract, and a lens-scoped durable replay show one selected branch changing named counters and future route state without treating a courtesy seat transfer as universal likeness or access consent.