Interpreter Relay Afteruse Receipt Lens
This lens checks that an old interpreter relay cannot be consumed as current clean comprehension after the interpreter, language bridge, audience, proof surface, sponsor pressure, or harmed reader has changed.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_relay_row_visible: true
original_interpreter_or_explicit_absence_visible: true
original_language_bridge_visible: true
original_audience_group_visible: true
requested_afteruse_visible: true
current_consumer_visible: true
language_or_audience_change_or_explicit_absence_visible: true
proof_bridge_or_explicit_absence_visible: true
harmed_or_excluded_reader_visible_or_explicit_absence: true
future_reader_consumes_relay_state: true
player_can_certify_attach_split_reopen_notice_quarantine_or_default: true
no_fixed_turn_trigger: true
no_fixed_day_or_week_trigger: true
no_raw_translation_count_trigger: true
no_dashboard_or_lens_health_trigger: trueThe lens fails if entry is driven by fixed turn, fixed day/week cadence, raw translation count, dashboard state, lens health, or a relay row that no future reader is trying to consume.
Checks
1. Docket Separates Old Relay From Current Proof
interpreter_relay_afteruse_docket:
source_relay_row: required
original_interpreter_or_absence: required
original_language_bridge: required
original_audience_group: required
relay_scope_before: required
requested_afteruse: required
current_consumer: required
language_or_audience_change_or_absence: required
proof_bridge_or_absence: required
harmed_or_excluded_reader: required
selected_afteruse_posture: required
relay_afteruse_state_after: required
future_reader_or_route_effect: required
counter_deltas: required2. Review Branches Diverge
Required branch families:
certify_relay_still_current;attach_interpreter_afteruse_receipt;split_old_and_current_audiences;reopen_interpretation_review;publish_language_change_notice;quarantine_relay_afteruse_claim;false_relay_afteruse_default;future_effect_any.
3. Default Mutates Future Play
false_relay_afteruse_default:
false_clean_relay_claim: true
source_relay_row_or_absence: required
hidden_or_stale_language_basis: required
capturing_reader_or_sponsor: required
harmed_or_excluded_reader: required
relay_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 interpreter-relay afteruse becomes executable in the game-content rollup.