Audience Stability Regrade Receipt Lens

This lens checks that an old audience stability grade cannot later be spent as current clean proof without a regrade receipt.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_audience_stability_index_visible: true
  source_floor_branch_visible_or_explicit_absence: true
  cited_grade_before_visible: true
  changed_receipt_or_gap_visible: true
  future_reader_or_route_cites_grade: true
  harmed_or_omitted_reader_visible_or_explicit_absence: true
  player_can_certify_regrade_attach_charge_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_audience_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

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

Checks

1. Docket Preserves Source Grade And Future Reader

audience_stability_regrade_docket:
  source_audience_stability_index: required
  source_floor_branch_or_absence: required
  cited_grade_before: required
  changed_receipt_or_gap: required
  future_reader_or_route: required
  harmed_or_omitted_reader_or_absence: required
  selected_regrade_posture: required
  grade_state_after: required
  reader_scope_after: required
  future_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

• certify_bounded_grade;
• regrade_with_public_receipt;
• attach_applause_escrow;
• charge_silence_surcharge;
• split_grade_by_reader;
• quarantine_regrade;
• false_clean_regrade_default;
• future_effect_any.

3. Default Mutates Future Play

false_audience_stability_regrade_default:
  false_clean_regrade_claim: true
  source_audience_stability_index: required
  cited_grade_before: required
  hidden_changed_receipt_or_gap: required
  default_narrator: required
  omitted_reader_or_absence: 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 the audience-stability regrade lane becomes executable in the game-content rollup.