Call-Sheet Margin Note Afteruse Receipt Lens

This lens checks that a handwritten call-sheet margin note cannot be consumed as clean current authority after the route, date block, performer, or proof bridge changes.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_call_sheet_row_visible: true
  original_performance_block_visible: true
  original_stage_manager_visible_or_explicit_absence: true
  handwritten_note_visible: true
  requested_afteruse_visible: true
  changed_route_or_date_block_visible: true
  harmed_performer_visible: true
  future_route_consumes_note_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_call_sheet_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

Checks

  • The docket separates the source row, original block, note, requested afteruse, changed route, proof bridge, harmed performer, after-state, future effect, and counters.
  • The review exposes certify_note_scope, attach_witness_bridge, split_casting_from_broadcast_consent, reopen_harmed_swing, publish_route_change_notice, quarantine_note_afteruse, false_note_default, and future_effect_any.
  • The false default records stale note authority, harmed performer, recovery-only future route effect, at least three counter deltas, and durable mutation.
  • The replay evidence must come from a lens-scoped durable save and assign real call-sheet cards, not virtual slots.