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: trueThe 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: false2. 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: true4. 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.