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

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

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

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