Audience Correction Afteruse Receipt Lens

This lens checks that a completed audience correction row cannot later be spent as clean universal audience stability unless the source correction row, original mistake or explicit absence, corrected reader, omitted or harmed reader, proof bridge, scar, and future route effect remain visible.

It observes Audience Correction Afteruse Receipt and its bound runtime-backed card, rite, event, and replay evidence. The lens is satisfied only if the wiki packet, game-content objects, and replay agree on the same afteruse contract.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_correction_row_visible: true
  original_misread_or_absence_visible: true
  corrected_reader_visible: true
  correction_scope_visible: true
  requested_afteruse_visible: true
  future_reader_consumes_correction_state: true
  harmed_or_omitted_reader_visible_or_explicit_absence: true
  player_can_certify_limit_split_reopen_reissue_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_correction_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by fixed turn, fixed day/week, raw correction count, raw audience count, dashboard state, or lens-health state.

Checks

1. Docket Preserves Correction Source And Afteruse

audience_correction_afteruse_docket:
  source_correction_row: required
  original_misread_or_absence: required
  corrected_reader: required
  correction_scope: required
  requested_afteruse: required
  future_reader_or_route: required
  harmed_or_omitted_reader: required
  proof_bridge_or_explicit_absence: required
  selected_afteruse_posture: required
  correction_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

• certify_scoped_correction;
• limit_afteruse_to_corrected_reader;
• split_correction_by_reader;
• reopen_original_misread;
• reissue_public_correction_receipt;
• quarantine_correction_afteruse;
• false_audience_correction_afteruse_default;
• future_effect_any.

Every branch must preserve the source correction row, carry relief and cost arrays or equivalent branch metadata, move at least three counters, and produce a future reader or route effect.

3. Default Mutates Future Play

false_audience_correction_afteruse_default:
  false_clean_correction_afteruse: true
  source_correction_row_or_absence: required
  hidden_or_overbroad_correction_scope: required
  capturing_reader_or_route: required
  harmed_or_omitted_reader: required
  correction_state_after: required
  future_reader_effect: required
  counter_deltas_min: 3
  durable_mutation: true

4. Runtime Evidence

This packet is bound to source-backed card/rite/event content and a lens-scoped durable replay export.

Required runtime addresses:

game_content:
  card: game-content/storyteller/cards/audience-correction-afteruse-docket.json5
  rite: game-content/storyteller/rites/audience-correction-afteruse-review.json5
  event: game-content/storyteller/events/false-audience-correction-afteruse-default.json5
replay:
  path: lens/replays/audience-correction-afteruse-receipt.replay.json
  must_resolve: storyteller.rite.audience_correction_afteruse_review.v1
  expected_counter: scoped_correction_certified

Failure Signals

• The lens has no sibling TypeScript binding.
• The storyline page is missing type: storyline.
• The docket omits source correction row, original misread, corrected reader, correction scope, future reader, harmed reader, proof bridge, posture, after-state, or future effect.
• The rite is fixed-turn, fixed-week, raw-count, dashboard, or lens-health triggered.
• The default event does not mutate future play.
• The replay never resolves storyteller.rite.audience_correction_afteruse_review.v1.