Green-Room Wristband Afteruse Receipt Lens
This lens checks that a wristband issued for one green-room access window cannot later be spent as clean performer consent, archive custody, sponsor access authority, or backstage safety clearance after the room roster, holder, or access window has changed.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_wristband_row_visible: true
permitted_room_or_explicit_absence_visible: true
original_holder_or_explicit_absence_visible: true
access_window_visible: true
requested_afteruse_visible: true
future_reader_consumes_wristband_state: true
room_or_holder_change_or_explicit_absence_visible: true
proof_bridge_or_explicit_absence_visible: true
harmed_performer_or_guest_visible_or_explicit_absence: 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_wristband_count_trigger: true
no_dashboard_or_lens_health_trigger: trueThe lens fails if entry is driven by fixed turn, day/week cadence, raw wristband count, dashboard state, lens health, or a wristband row no future route is trying to consume.
Checks
1. Docket Separates Wristband Possession From Current Authority
green_room_wristband_docket:
source_wristband_row: required
permitted_room_or_absence: required
original_holder_or_absence: required
access_window: required
requested_afteruse: required
future_reader_or_route: required
room_or_holder_change_or_absence: required
proof_bridge_or_absence: required
harmed_performer_or_guest: required
selected_wristband_posture: required
wristband_afteruse_state_after: required
future_reader_or_route_effect: required
counter_deltas: required2. Review Branches Diverge
Required branch families:
certify_wristband_scope;restrict_wristband_reader;attach_stagehand_bridge;reopen_harmed_guest;split_access_from_consent_custody;quarantine_wristband_afteruse;false_wristband_default;future_effect_any.
3. Default Mutates Future Play
false_green_room_wristband_default:
false_clean_wristband: true
source_wristband_row_or_absence: required
hidden_or_stale_access_basis: required
capturing_reader_or_route: required
harmed_performer_or_guest: required
wristband_afteruse_state_after: required
future_reader_effect: required
counter_deltas_min: 3
durable_mutation: true