Settlement Discharge Receipt / 和解清偿回执机制

Settlement Discharge Receipt is the mechanism for turning aftershock_discharged, debt_paid, release_after_cost, or equivalent closure into a scoped route object.

It exists because Settlement Aftershock Ledger can correctly leave relief plus debt, while Management Compression Desk can later over-count that relief. This mechanism prevents the middle step from being too clean: discharge is useful only when payer, excluded claimant, scar, and future reader are visible.

Entry Contract

Open only from state pressure:

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

State Machine

State	Meaning	Future rule
discharge_unread	a row claims closure but no future reader has checked it	offer receipt/review
scoped_discharge_receipted	one reader can consume the discharge with scar	future use must match scope
public_restitution_discharge	public/fan surface sees the paid cost	public route can proceed with cost
lawful_archive_discharge	formal proof exists but public acceptance may not	lawful/archive use only
sponsor_private_discharge	sponsor pays or holds the cost	sponsor gate and public distrust remain
split_discharge_escrowed	discharge is split between readers	later reconciliation required
discharge_quarantined	closure is refused as unsafe	recovery-only or costlier route
false_clean_discharge	discharge is filed without required locks	default event mutates future play

Branch Contract

Every constructive branch must expose:

• source settlement row;
• discharge claim;
• payer, authority, or explicit absence;
• excluded claimant or explicit absence;
• spent resource or scar;
• selected posture;
• future reader or route effect.

Every branch must mutate one relief, one cost, and one future reader state.

Counters And Surfaces

Valid surfaces include public_receipt_legitimacy, public_receipt_distrust, sponsor_stop_loss_pressure, contract_capture, inspection_heat, bureau_favor_debt, archive_debt, edit_debt, route_asset_pressure, future_recovery_cost, claimant_hostility, and management_false_clean.

Failure Rule

If discharge is consumed without payer/authority, excluded claimant, spent scar, and future reader effect, False Settlement Discharge Default fires or arms. The default must not be a reputation penalty; it must change route access, reader trust, claimant hostility, or recovery cost.

Integration

• With settlement-aftershock-ledger, this mechanism consumes aftershock_discharged and keeps its scar visible.
• With recourse-collection-release, a discharge can release a target only for the reader named by the receipt.
• With management-compression-desk, a discharge receipt is the proof that management may count one metric while leaving another scarred.