Broadcast Insolvency Discharge Receipt Lens

This lens checks that a broadcast insolvency row cannot later become clean capacity merely because someone says it was paid, released, converted, sealed, split, or discharged.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_broadcast_insolvency_row_present: true
  source_row_state_visible: true
  discharge_claim_visible: true
  payer_or_discharge_authority_visible: true
  creditor_visible: true
  excluded_claimant_or_explicit_absence_visible: true
  spent_resource_or_scar_visible: true
  future_reader_consumes_discharge_state: true
  player_can_receipt_pay_convert_seal_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_debt_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

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

Checks

1. Docket Preserves Source Row, Creditor, And Future Effect

broadcast_insolvency_discharge_docket:
  source_insolvency_row: required
  source_row_state_before: required
  discharge_claim: required
  payer_or_discharge_authority: required
  creditor: required
  harmed_or_excluded_claimant: required
  spent_resource_or_scar: required
  proof_bridge_or_absence: required
  selected_discharge_posture: required
  insolvency_discharge_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

• issue_scoped_discharge_receipt;
• pay_named_creditor;
• convert_to_public_restitution;
• attach_lawful_archive_seal;
• split_competing_claimants;
• quarantine_or_recovery_lock;
• false_insolvency_discharge_default;
• future_effect_any.

3. Default Mutates Future Play

false_insolvency_discharge_default:
  false_discharge_claim: true
  source_insolvency_row_or_absence: required
  hidden_or_invalid_discharge_scope: required
  capturing_reader: required
  harmed_or_excluded_claimant: required
  insolvency_discharge_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 the insolvency discharge lane becomes executable in the game-content rollup.