Settlement Discharge Receipt Lens / 和解清偿回执 Lens

This lens observes whether Settlement Discharge Receipt prevents a settled aftershock row from becoming universal clean closure when a later reader consumes it.

Design Intent

Storyteller should let a settlement debt be discharged, but only as a scoped receipt with visible payer/authority, excluded claimant, spent scar, and future reader effect. The lens fails if aftershock_discharged becomes a clean boolean.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_settlement_aftershock_row_present: true
  discharge_claim_visible: true
  payer_or_discharge_authority_visible: true
  excluded_claimant_or_explicit_absence_visible: true
  spent_resource_or_scar_visible: true
  future_reader_consumes_discharge_state: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

Oracle Assertions

1. The lens has bound markdown, an executable TypeScript sibling, a storyline, a mechanism, a card, a review rite, and a default event.
2. Entry is state pressure from a visible settlement-aftershock row and a future reader, not fixed turn/day/raw count/dashboard/lens health.
3. The receipt separates source settlement row, discharge claim, payer/authority, excluded claimant, spent scar, discharge state after, and future reader effect.
4. The review branches diverge across scoped, public, lawful, sponsor, split, quarantine, and false-discharge default outcomes.
5. The default records false clean discharge, hidden inputs, capturing reader, discharge state after, future reader effect, and at least three counter deltas.

Evidence Shape

lens_id: storyteller.lens.settlement_discharge_receipt.v1
storyline: storyteller.storyline.settlement_discharge_receipt.v1
entry:
  trigger_kind: state_pressure
  source_settlement_aftershock_row_present: true
  discharge_claim_visible: true
  future_reader_consumes_discharge_state: true
offered:
  card: storyteller.card.settlement_discharge_receipt.v1
  rite: storyteller.rite.settlement_discharge_review.v1
branches:
  constructive:
    selected_posture: issue_scoped_discharge_receipt | public_restitution_discharge | lawful_archive_discharge | sponsor_private_discharge | split_discharge_escrow | refuse_or_quarantine_discharge
    relief: []
    cost: []
    future_effect_any: []
  default:
    selected_posture: false_settlement_discharge_default
    event_seen_or_armed: storyteller.event.false_settlement_discharge_default.v1
assertions:
  no_universal_clean_discharge: true
  payer_excluded_claimant_scar_visible: true

Non-goals

Not a replacement for Settlement Aftershock Ledger, Recourse Collection Release, or Management Compression Desk. It observes the discharge receipt between them.