Greenroom Visitor Badge Afteruse Receipt Lens
This lens checks that a temporary greenroom visitor badge issued for escorted backstage access cannot later be spent as witness authority, sponsor clearance, archive release, performer consent, or route ownership after the escort, room, timebox, and access policy have changed.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_badge_row_visible: true
access_window_or_explicit_absence_visible: true
escort_or_explicit_absence_visible: true
access_policy_version_visible: true
requested_afteruse_visible: true
future_reader_consumes_badge_state: true
room_or_holder_change_or_explicit_absence_visible: true
proof_bridge_or_explicit_absence_visible: true
harmed_guest_or_performer_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_tag_count_trigger: true
no_dashboard_or_lens_health_trigger: trueThe lens fails if entry is driven by a fixed turn/day, raw count, dashboard health, or a visitor-badge row with no future reader and no harmed or explicitly absent claimant.
Checks
1. Docket Preserves Badge Access And Afteruse State
greenroom_visitor_badge_docket:
source_badge_row: required
access_window_or_absence: required
escort_or_absence: required
access_policy_version: required
requested_afteruse: required
future_reader_or_route: required
room_or_holder_change_or_absence: required
proof_bridge_or_explicit_absence: required
harmed_guest_or_performer: required
selected_badge_posture: required
badge_afteruse_state_after: required
future_reader_or_route_effect: required
counter_deltas: required
universal_clean_badge: false2. Review Branches Diverge
Required branch families:
certify_badge_scope;restrict_badge_reader;attach_escort_bridge;reopen_harmed_guest;split_access_from_witness_authority;quarantine_badge_afteruse;false_badge_default;future_effect_any.
3. Default Mutates Future Play
false_greenroom_visitor_badge_default:
false_clean_badge: true
source_badge_row_or_absence: required
hidden_or_stale_access_basis: required
capturing_reader_or_route: required
harmed_guest_or_performer: required
badge_afteruse_state_after: false_clean_default
future_reader_effect: recovery_only
counter_deltas_min: 3
durable_mutation: true4. Runtime Evidence
A lens-scoped durable replay must show the review selected a scoped badge branch and moved named counters without treating the visitor badge as universal proof.