Storyteller Wiki

Proof Window Reopen Receipt Lens

1 min read

Proof Window Reopen Receipt Lens

This lens checks that an expired proof window cannot be reused as clean closure after the custody basis changes. The player must see the old proof row, the changed basis, the requested reopen use, the current actor relying on closure, and the harmed reader/route before choosing a posture.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  expired_proof_row_visible: true
  original_window_close_reason_visible: true
  changed_custody_basis_visible: true
  requested_reopen_use_visible: true
  current_reader_or_sponsor_visible: true
  harmed_or_excluded_reader_visible_or_explicit_absence: true
  proof_bridge_or_explicit_absence_visible: true
  future_reader_consumes_window_state: true
  player_can_certify_reopen_split_attach_notice_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_proof_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

Checks

1. Docket Separates Closure From Changed Basis

proof_window_reopen_docket:
  expired_proof_row: required
  original_window_close_reason: required
  changed_custody_basis: required
  requested_reopen_use: required
  current_reader_or_sponsor: required
  harmed_or_excluded_reader: required
  proof_bridge_or_absence: required
  selected_reopen_posture: required
  proof_window_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

  • certify_original_window_still_controls;
  • reopen_on_changed_custody_basis;
  • split_old_denial_from_new_basis;
  • attach_reopen_receipt;
  • publish_basis_change_notice;
  • quarantine_expired_window_afteruse;
  • false_window_closure_default;
  • future_effect_any.

3. Default Mutates Future Play

false_window_closure_default:
  false_clean_window_claim: true
  expired_proof_row_or_absence: required
  hidden_or_changed_custody_basis: required
  capturing_reader_or_sponsor: required
  harmed_or_excluded_reader: required
  proof_window_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 when proof-window reopen review becomes executable in the game-content rollup.

Graph View