Storyteller Wiki

Prop-Room Key Afteruse Receipt Lens

1 min read

Prop-Room Key Afteruse Receipt Lens

This lens checks that an old prop-room key cannot be consumed as clean backstage access, archive custody, or consent proof after the lock, holder, prop inventory, or future route has changed.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_key_row_visible: true
  keyed_room_or_explicit_absence_visible: true
  original_holder_or_explicit_absence_visible: true
  lock_version_visible: true
  requested_afteruse_visible: true
  future_reader_consumes_key_state: true
  lock_or_holder_change_or_explicit_absence_visible: true
  proof_bridge_or_explicit_absence_visible: true
  harmed_performer_or_stagehand_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_key_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by fixed turn, day/week cadence, raw key count, dashboard state, lens health, or a key row no future route is trying to consume.

Checks

1. Docket Separates Key Possession From Current Authority

prop_room_key_docket:
  source_key_row: required
  keyed_room_or_absence: required
  original_holder_or_absence: required
  lock_version: required
  requested_afteruse: required
  future_reader_or_route: required
  lock_or_holder_change_or_absence: required
  proof_bridge_or_absence: required
  harmed_performer_or_stagehand: required
  selected_key_posture: required
  key_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

  • certify_key_scope;
  • restrict_key_reader;
  • attach_locksmith_bridge;
  • reopen_harmed_stagehand;
  • split_access_from_custody_consent;
  • quarantine_key_afteruse;
  • false_key_default;
  • future_effect_any.

3. Default Mutates Future Play

false_prop_room_key_default:
  false_clean_key: true
  source_key_row_or_absence: required
  hidden_or_stale_lock_basis: required
  capturing_reader_or_route: required
  harmed_performer_or_stagehand: required
  key_afteruse_state_after: required
  future_reader_effect: required
  counter_deltas_min: 3
  durable_mutation: true

Graph View