Green Room Guest Lanyard Afteruse Receipt Lens
This lens checks that a returned green-room guest lanyard cannot later be consumed as universal blanket backstage access, voice custody, sponsor immunity, archive clearance, or memorial witness authority unless the game preserves the source guest lanyard, lock map or explicit absence, sign-out sheet, missing-key tag, requested afteruse, future reader, selected posture, after-state, and future route effect.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_lanyard_visible: true
access_list_or_explicit_absence_visible: true
escort_log_visible: true
unreturned_badge_note_visible: true
requested_afteruse_visible: true
future_reader_consumes_key_state: true
player_can_certify_bind_reopen_split_quarantine_or_default: true
no_fixed_turn_trigger: true
no_fixed_day_or_week_trigger: true
no_raw_key_ring_count_trigger: true
no_dashboard_or_lens_health_trigger: trueChecks
1. Docket Preserves Access Provenance
green_room_guest_lanyard_docket:
source_lanyard: required
access_list_or_absence: required
escort_log: required
unreturned_badge_note: required
requested_afteruse: required
future_reader_or_route: required
selected_lanyard_posture: required
lanyard_afteruse_state_after: required
future_reader_or_route_effect: required
counter_deltas: required
universal_backstage_access: false2. Review Branches Diverge
Required branch families:
certify_guest_scope;bind_escort_consent;reopen_unreturned_badge_trace;split_backstage_from_voice_custody;quarantine_lanyard_afteruse;false_all_access_lanyard_default;future_effect_any.
Each branch must name relief, cost, counters, and future route effects.
3. Default Mutates Future Play
false_green_room_guest_lanyard_default:
false_all_access_lanyard: true
source_lanyard_or_absence: required
hidden_or_overbroad_backstage_scope: required
capturing_reader_or_route: required
unreturned_badge_note_or_absence: required
lanyard_afteruse_state_after: false_all_access_lanyard_default
future_reader_effect: recovery_only
counter_deltas_min: 3
durable_mutation: trueProgress Metric
Satisfied when the sibling TypeScript binding, focused card/rite/event content, runtime Jest assertions, and a lens-scoped durable replay show one selected branch changing named counters and future route state without treating the green-room guest lanyard as universal blanket backstage access, voice custody, sponsor immunity, archive clearance, or memorial witness authority.