Storyteller Wiki

Program Insert Errata Afteruse Receipt Lens / 节目单夹页勘误后用回执 Lens

2 min read

Program Insert Errata Afteruse Receipt Lens

This lens checks that a small program-insert errata slip correcting a credit, sponsor line, seat note, or archive title cannot later be spent as universal consent to rewrite performer custody, broadcast reality, memorial voice, or route ownership.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_errata_row_visible: true
  program_editor_visible_or_explicit_absence: true
  printing_context_visible: true
  cited_program_scope_visible: true
  requested_afteruse_visible: true
  harmed_claimant_visible_or_explicit_absence: true
  proof_bridge_or_explicit_absence_visible: true
  future_reader_consumes_errata_state: true
  player_can_certify_restrict_attach_reopen_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_insert_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by a fixed turn/day, raw insert count, dashboard health, or an errata row with no future reader and no harmed or explicitly absent claimant.

Checks

1. Docket Preserves Errata Scope And Afteruse State

program_insert_errata_docket:
  source_errata_row: required
  program_editor_or_absence: required
  printing_context: required
  cited_program_scope: required
  requested_afteruse: required
  future_reader_or_route: required
  harmed_claimant_or_absence: required
  proof_bridge_or_explicit_absence: required
  selected_errata_posture: required
  errata_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required
  universal_clean_errata: false

2. Review Branches Diverge

Required branch families:

  • certify_errata_scope;
  • restrict_errata_reader;
  • attach_program_editor_bridge;
  • reopen_harmed_errata_claimant;
  • split_print_correction_from_custody_authority;
  • quarantine_errata_afteruse;
  • false_errata_default;
  • future_effect_any.

3. Default Mutates Future Play

false_program_insert_errata_default:
  false_clean_errata: true
  source_errata_row_or_absence: required
  hidden_or_overbroad_program_scope: true
  capturing_reader_or_route: required
  harmed_claimant_or_absence: required
  errata_afteruse_state_after: falsely_clean
  future_reader_effect: recovery_only
  counter_deltas_min: 3
  durable_mutation: true

4. Runtime Evidence

runtime_evidence:
  durable_session_id: pending-game-cli-export
  seed: program-insert-errata-afteruse-20260710t2030z
  replay: lens/replays/program-insert-errata-afteruse-receipt.certify-scope.replay.json
  expected_rite: storyteller.rite.program_insert_errata_afteruse_review.v1
  expected_choice: 0
  branch: certify_errata_scope

The replay must come from a lens-scoped durable gameplay session and include an end_turn action for the program-insert errata afteruse review. Generic wiki-contract checks or unrelated durable play are not enough for runtime satisfaction.

Graph View