Backchannel Applause Afteruse Receipt Lens

This lens checks that a completed backchannel applause escrow row cannot later be spent as clean universal stability unless the afteruse scope, reader, harmed or omitted reader, proof bridge, scar, and future effect remain visible.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_escrow_row_visible: true
  source_applause_receipt_or_explicit_absence_visible: true
  escrow_holder_or_explicit_absence_visible: true
  source_escrow_posture_visible: true
  requested_afteruse_visible: true
  future_reader_consumes_applause_state: true
  harmed_or_omitted_reader_visible_or_explicit_absence: true
  player_can_certify_restrict_bridge_unwind_reissue_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_applause_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

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

Checks

1. Docket Preserves Escrow Row, Reader, And Afteruse

backchannel_applause_afteruse_docket:
  source_escrow_row: required
  source_applause_receipt_or_absence: required
  source_counted_surface: required
  escrow_holder_or_absence: required
  source_escrow_posture: required
  requested_afteruse: required
  future_reader_or_route: required
  harmed_or_omitted_reader: required
  proof_bridge_or_explicit_absence: required
  selected_afteruse_posture: required
  applause_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

• certify_public_receipt_scope;
• restrict_afteruse_reader;
• attach_public_or_archive_bridge;
• unwind_sponsor_makegood_capture;
• reissue_applause_receipt;
• quarantine_applause_afteruse;
• false_applause_afteruse_default;
• future_effect_any.

3. Default Mutates Future Play

false_backchannel_applause_afteruse_default:
  false_clean_applause_afteruse: true
  source_escrow_row_or_absence: required
  hidden_or_overbroad_applause_scope: required
  capturing_reader_or_route: required
  harmed_or_omitted_reader: required
  applause_afteruse_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 if backchannel applause afteruse becomes executable in the game-content rollup.