Stage Door Replay Afteruse Receipt Lens

This lens checks that a stage-door replay sign-in cannot later be spent as clean attendance, consent, or route proof unless the source replay, source door state, signer, replay scope, requested afteruse, harmed claimant, and future route effect stay visible.

The pressure is about a fan, runner, or sponsor trying to turn an old stage-door replay into a new route asset. It should feel like broadcast reality laundering memory: if the replay is accepted too broadly, the game records who was overwritten and what future access became unsafe.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_stage_door_replay_visible: true
  source_door_state_visible: true
  replay_signer_visible_or_explicit_absence: true
  replay_scope_visible: true
  requested_afteruse_visible: true
  future_reader_consumes_stage_door_replay: true
  harmed_or_omitted_claimant_visible_or_explicit_absence: true
  route_asset_state_visible_or_explicit_absence: true
  player_can_certify_restrict_bridge_reopen_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_slot_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by fixed turn, fixed day/week, raw slot count, dashboard state, lens health, or a replay receipt with no future reader trying to consume it.

Checks

1. Docket Preserves Replay, Door State, Scope, And Afteruse

stage_door_replay_afteruse_docket:
  source_stage_door_replay: required
  source_door_state: required
  replay_signer_or_absence: required
  replay_scope: required
  requested_afteruse: required
  future_reader_or_route: required
  harmed_or_omitted_claimant: required
  route_asset_state_or_explicit_absence: required
  proof_bridge_or_explicit_absence: required
  selected_afteruse_posture: required
  stage_door_replay_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

  • certify_replay_scope;
  • restrict_replay_afteruse_reader;
  • attach_stage_door_or_public_bridge;
  • reopen_signer_or_claimant;
  • split_replay_afteruse;
  • quarantine_stage_door_replay_afteruse;
  • false_stage_door_replay_afteruse_default;
  • future_effect_any.

3. Default Mutates Future Play

false_stage_door_replay_afteruse_default:
  false_clean_stage_door_replay_afteruse: true
  source_stage_door_replay_or_absence: required
  hidden_or_overbroad_replay_scope: required
  capturing_reader_or_route: required
  harmed_or_omitted_claimant: required
  route_asset_state_or_absence: required
  stage_door_replay_afteruse_state_after: required
  future_reader_effect: required
  counter_deltas_min: 3
  durable_mutation: true

4. Runtime Rollup Status Is Explicit

This is a direct-wiki contract bound to an evaluator entry. Runtime source objects and durable replay can be added later if stage-door replay afteruse becomes executable in the game-content rollup.