Front-of-House Radio Key Afteruse Receipt Lens

This lens checks that an old front-of-house radio key checkout cannot be consumed as clean current authority after the channel map, usher team, queue route, or harmed audience context changes.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_radio_key_visible: true
  original_foh_shift_visible: true
  foh_supervisor_visible_or_explicit_absence: true
  key_text_visible: true
  requested_afteruse_visible: true
  changed_channel_or_queue_route_visible: true
  harmed_audience_queue_visible: true
  future_route_consumes_key_state: true
  player_can_certify_attach_split_reopen_notice_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_foh_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

Checks

• The docket separates the source key, original FOH shift, supervisor signature, requested afteruse, changed channel/queue route, proof bridge, harmed queue, after-state, future effect, and counters.
• The review exposes certify_key_scope, attach_headset_log_bridge, split_crowd_route_from_archive_escort, reopen_harmed_queue, publish_channel_change_notice, quarantine_key_afteruse, false_key_default, and future_effect_any.
• The false default records stale radio-key authority, harmed queue, recovery-only future route effect, at least three counter deltas, and durable mutation.
• The replay evidence must come from a lens-scoped durable save and assign real FOH radio-key cards, not virtual slots.