Storyteller Wiki

Lighting Booth Keycard Afteruse Receipt Lens / 灯控间门卡后用回执 Lens

2 min read

Lighting Booth Keycard Afteruse Receipt Lens / 灯控间门卡后用回执 Lens

This lens checks that an old lighting-booth keycard cannot be reused as clean current access once booth custody, cue authority, or harmed reader exposure has changed. The card may become a route asset, but only with an afteruse receipt that names the source card, original booth lock, current access claim, key holder, proof bridge, excluded reader, and future consumer.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_lighting_keycard_visible: true
  original_booth_lock_visible: true
  requested_access_afteruse_visible: true
  claimed_holder_or_explicit_absence_visible: true
  beneficiary_of_clean_access_visible: true
  excluded_or_harmed_reader_visible_or_explicit_absence: true
  future_reader_consumes_keycard_state: true
  player_can_certify_split_annotate_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_keycard_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by fixed turn, fixed day/week, raw keycard count, dashboard state, lens health, or an old access swipe with no future reader trying to consume it.

Checks

1. Docket Separates Prior Access From Current Authority

lighting_booth_keycard_afteruse_docket:
  source_lighting_keycard: required
  original_booth_lock: required
  access_afteruse_claim: required
  claimed_holder_or_absence: required
  beneficiary_of_clean_access: required
  excluded_or_harmed_reader: required
  proof_or_absence: required
  selected_keycard_posture: required
  keycard_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

  • certify_keycard_scope;
  • split_keycard_from_booth_access;
  • attach_lock_provenance_note;
  • notify_excluded_light_reader;
  • convert_to_route_access_annotation;
  • quarantine_uncited_keycard_copy;
  • false_clean_keycard_default;
  • future_effect_any.

3. Default Mutates Future Play

false_lighting_booth_keycard_default:
  false_clean_keycard: true
  source_keycard_or_absence: required
  hidden_or_invalid_access_scope: true
  capturing_reader: required
  harmed_or_excluded_reader: required
  keycard_state_after: required
  future_reader_effect: required
  counter_deltas_min: 3
  durable_mutation: true

4. Runtime Evidence

This lens is bound to runtime cards, a playable review rite, a false-clean default event, and a lens-scoped durable replay that resolves the scoped keycard certification branch.

Graph View