Program Note Errata Afteruse Receipt Lens / 节目单勘误后用回执 Lens

This lens verifies that a printed program-note errata receipt for one live booklet and cast line cannot be reused as clean credit authority for a later streaming card, sponsor recap, or route asset without a fresh bridge.

Entry oracle

entry_state:
  trigger_kind: state_pressure
  source_program_errata_receipt_visible: true
  source_booklet_and_cast_line_visible: true
  requested_afteruse_visible: true
  target_credit_surface_visible: true
  changed_credit_claim_visible: true
  proof_bridge_or_explicit_absence_visible: true
  harmed_performer_or_explicit_absence_visible: true
  future_reader_consumes_program_note_state: true
  player_can_certify_attach_split_notice_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_program_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

Docket oracle

The docket must name the source errata receipt, exact booklet issue, corrected line, requested later use, target credit surface, changed credit claim, bridge or explicit absence, harmed performer, selected posture, future route effect, and counter deltas.

Branch divergence oracle

Required branch families:

• certify_current_credit_window;
• attach_scoped_errata_afteruse_receipt;
• split_booklet_and_stream_credit;
• publish_credit_change_notice;
• false_program_note_errata_default.

The default must arm a later event rather than silently treating errata as universal credit clearance.

Authority oracle

Every runtime object must assert local authority only, preserve source and target credit identity, preserve the harmed performer or explicit absence, and deny universal credit clearance, casting consent, sponsor immunity, archive ownership, continuity rewrite authority, and performer likeness/voice consent.

Runtime and replay oracle

The executable surface must include five exact starter cards, one five-branch state-pressure rite, one priority-13098 default event with three durable outcomes, a focused Jest contract, and a gameplay-CLI replay from a lens-scoped durable save.