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: true

The 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: required

2. 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: 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 interpreter-relay afteruse becomes executable in the game-content rollup.