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: true

The 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: required

2. 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