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: trueThe 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: required2. 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: true4. 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.