Matured Claim Retirement Afteruse Receipt

Matured Claim Retirement Afteruse Receipt makes a retired or otherwise closed matured claim reusable only through named afteruse scope.

The mechanism exists when a Matured Claim Queue row is still true but a later reader wants to spend its retirement in another context. A retired_with_scar row does not prove clean ending eligibility. A deferred_with_collateral row does not satisfy a public recap. A public_only row does not clear a lawful annex. A management report cannot treat claim retired as universal waiver unless the source row, source surface, closure scope, scar, harmed claimant, selected posture, and future effect remain visible.

Entry Contract

matured_claim_retirement_afteruse_receipt:
  trigger_kind: state_pressure
  source_matured_claim_row_visible: true
  source_surface_visible: true
  source_row_state_visible: true
  retirement_or_closure_scope_visible: true
  retirement_scar_or_explicit_absence_visible: true
  requested_afteruse_visible: true
  future_reader_consumes_retirement_state: true
  harmed_or_omitted_claimant_visible_or_explicit_absence: true
  proof_or_collateral_bridge_visible_or_explicit_absence: true
  player_can_certify_restrict_bridge_reopen_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_claim_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

Afteruse States

matured_claim_retirement_afteruse_states:
  - unspent_retirement_receipt
  - afteruse_requested
  - retirement_scope_certified
  - reader_restricted
  - bridge_attached
  - retired_claimant_reopened
  - split_afteruse_required
  - afteruse_quarantined
  - false_clean_afteruse
  - captured_by_reader
  - hostile_claimant
  - recovery_only

The implementation fails if a retired row collapses into a generic claim closed, scar not relevant, settlement clean, ending ready, archive clean, or route safe flag.

Branch Contract

Every non-default branch must record:

matured_claim_retirement_afteruse_resolution:
  source_matured_claim_row: <matured claim row id or explicit_absence>
  source_surface: dormant_claim_resurfacing | correction_slot | archive_enforcement | stabilization_handoff | ending_scar | handler_burden | route_asset | production_triage | equivalent
  source_row_state: retired_with_scar | deferred_with_collateral | split | public_only | lawful_only | sponsor_only | route_restricted | recovery_only | equivalent
  retirement_or_closure_scope: claimant_closed | proof_closed | carrier_closed | route_asset_closed | public_only | lawful_only | sponsor_only | ending_scar | recovery_only | equivalent
  retirement_scar_or_absence: scar_preserved | route_restriction | future_cost_retained | claimant_hostility | public_note | lawful_hold | explicit_absence | equivalent
  requested_afteruse: sponsor_package | archive_release | lawful_annex | ending_gate | management_report | route_asset_clearance | production_triage | public_recap | broadcast_reality_claim | recovery_lane | equivalent
  future_reader_or_route: sponsor_reader | archive_reader | lawful_reader | ending | management_reader | route_asset_reader | production_lane | public_reader | broadcast_reality | recovery_lane | equivalent
  benefited_claimant_or_absence: claimant | sponsor | archive | public | lawful_reader | route_asset_holder | carrier | explicit_absence
  harmed_or_omitted_claimant: claimant | public_reader | lawful_reader | archive_reader | sponsor_counterparty | route_asset_holder | carrier | explicit_absence
  proof_or_collateral_bridge_or_explicit_absence: claim_queue_note | public_receipt | lawful_annex | archive_addendum | sponsor_escrow | route_asset_custody_note | production_lane_scar | explicit_absence
  selected_afteruse_posture: certify_retirement_scope | restrict_retirement_afteruse_reader | attach_claim_queue_or_public_bridge | reopen_retired_claimant | split_matured_claim_retirement_afteruse | quarantine_matured_claim_retirement_afteruse
  matured_claim_afteruse_state_after: <state>
  relief_any: []
  cost_any: []
  future_effect_any: []

Failure Cases

The mechanism must fail if:

• an ending gate treats retired_with_scar as clean closure with no scar readback;
• a lawful annex consumes a public-only retirement as lawful proof;
• an archive release cites a deferred row without collateral or source surface;
• a sponsor package treats a harmed claimant’s retirement as sponsor waiver;
• a route asset is cleared while its retired claimant or custody restriction is hidden;
• a future route effect changes only notification text, mood, or a generic branch counter.

Default Contract

The default is False Matured Claim Retirement Afteruse Default. It must record false-clean matured-claim retirement afteruse, source row or explicit absence, hidden or overbroad retirement scope, capturing reader, harmed claimant, proof or collateral bridge, after-state, future reader effect, at least three counter deltas, and durable mutation.