Orchestra Pit Pass Afteruse Receipt Lens

This lens checks that an old orchestra-pit pass cannot be reused as universal access, musician custody, or proof of safe route entry after the holder, pit scope, rehearsal use, or harmed claimant has changed.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_pit_pass_row_visible: true
  original_holder_visible_or_explicit_absence: true
  pit_scope_visible: true
  cited_rehearsal_or_show_visible: true
  requested_afteruse_visible: true
  harmed_claimant_visible_or_explicit_absence: true
  proof_bridge_or_explicit_absence_visible: true
  future_reader_consumes_pass_state: true
  player_can_certify_restrict_attach_reopen_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_pass_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by fixed turn, day/week cadence, raw pass count, dashboard state, lens health, or a pass row that no future reader is trying to consume.

Checks

1. Docket Separates Pit Pass From Current Authority

orchestra_pit_pass_docket:
  source_pass_row: required
  original_holder_or_absence: required
  pit_scope: required
  cited_rehearsal_or_show: required
  requested_afteruse: required
  future_reader_or_route: required
  harmed_claimant_or_absence: required
  proof_bridge_or_explicit_absence: required
  selected_pass_posture: required
  pass_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required
  universal_clean_access: false

2. Review Branches Diverge

Required branch families:

  • certify_pit_pass_scope;
  • restrict_to_music_reader;
  • attach_holder_bridge;
  • reopen_harmed_claimant_queue;
  • split_pass_from_musician_custody;
  • quarantine_pit_pass_afteruse;
  • false_pit_pass_default;
  • relief / cost / future route effects.

3. Default Mutates Future Play

false_pit_pass_default:
  false_clean_pass_claim: true
  source_pass_row_or_absence: required
  hidden_or_overbroad_pit_scope: required
  capturing_reader_or_route: required
  harmed_claimant_or_absence: required
  pass_afteruse_state_after: falsely_clean
  future_reader_effect: recovery_only
  counter_deltas_min: 3
  durable_mutation: true

4. Runtime Rollup Status Is Explicit

This direct-wiki contract has focused runtime source objects under game-content/storyteller. Durable replay can follow once the pit-pass branch is selected by a lens-scoped session.