Substitute Carrier Afteruse Receipt

This mechanism keeps substitute-carrier service from turning into universal carrier authority.

Substitute Carrier Requisition decides whether a replacement carrier can satisfy one owed service. Substitute Carrier Afteruse Receipt starts later, when a route, package, proof window, public receipt, lawful annex, sponsor gate, or broadcast-reality row tries to cite that substitute result as clean proof.

State Contract

substitute_carrier_afteruse_state:
  source_requisition_row: <stable row id>
  original_service_row: <source service row or explicit_absence>
  original_carrier_or_absence: <carrier or explicit_absence>
  substitute_carrier: <carrier or explicit_absence>
  substitute_authority_surface: public_receipt | lawful_annex | sponsor_proxy | editor_mask | pirate_relay | worker_oath | route_asset_hold | explicit_absence | equivalent
  completed_service_scope: public_only | lawful_only | sponsor_only | archive_only | route_only | named_scope | blocked | recovery_only | equivalent
  later_afteruse_claim: clean_capacity | same_signature | same_public_service | same_lawful_service | original_carrier_released | substitute_as_route_key | equivalent
  later_reader_or_route: <reader route package proof window or explicit_absence>
  owed_or_harmed_reader_or_absence: <reader or explicit_absence>
  selected_afteruse_posture: certify_named_scope_receipt | restrict_afteruse_reader | release_original_carrier_scar | convert_to_callback_or_recourse | quarantine_substitute_afteruse | publicize_substitute_debt | false_clean_substitute_afteruse_default
  substitute_state_after: <state>
  original_scar_state_after: <state>
  future_route_effect: <effect>
  counter_deltas: {}

The row fails if it stores only substitute accepted, service done, carrier replaced, or route can proceed.

Entry Rules

entry_state:
  trigger_kind: state_pressure
  source_requisition_row_present: true
  substitute_carrier_service_completed_or_claimed: true
  original_carrier_scar_visible_or_explicit_absence: true
  substitute_scope_visible: true
  later_reader_or_route_consumes_substitute_state: true
  player_can_receipt_restrict_release_convert_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_carrier_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

Branch Contract

Certify Named Scope Receipt

The substitute service is accepted only inside its named scope. Relief can include route acceptance, reader clarity, or carrier fit. Cost must keep old-carrier scar, substitute protection, payment, lawful annex, public receipt, or handler burden visible.

Restrict Afteruse Reader

The later reader asks for a scope the substitute cannot carry. The player narrows the reader, adds a conversion, or blocks afteruse. Future state becomes public-only, lawful-only, sponsor-only, route-only, addendum-required, or recovery-only.

Release Original Carrier Scar

The prior carrier can be released from this later use only with an explicit receipt. The release must name the surface it closes and the surface it does not close.

Convert To Callback Or Recourse

The substitute afteruse can proceed only by moving the unresolved duty into callback, indemnity, or recourse. The owed reader remains visible.

Quarantine Substitute Afteruse

The substitute authority is unsafe for current consumption. The route blocks, narrows, or becomes recovery-only until stronger proof, service, or consent exists.

Publicize Substitute Debt

The debt is published so the harmed reader can answer. This can improve public legitimacy but raises sponsor, lawful, handler, or route pressure.

False Clean Substitute Afteruse Default

If a later reader spends the substitute while hiding source row, old scar, substitute scope, or harmed reader, False Substitute Carrier Afteruse Default fires or arms.

Counter Contract

Every branch must mutate at least three durable surfaces:

• one relief surface: substitute_scope_integrity, route_acceptance, reader_clarity, or old_carrier_release;
• one cost surface: handler_burden, public_receipt_distrust, lawful_annex_debt, sponsor_stop_loss_pressure, witness_retaliation_risk, or route_asset_pressure;
• one future state: accepted_with_scope, callback_required, recourse_opened, addendum_required, blocked, hostile, contradiction_pending, or recovery_only.

Non-Goals

Not a replacement for substitute requisition, witness-carrier discharge, callback-carrier collision, relief callback obligation, or route-asset maintenance. This mechanism observes later afteruse of an already-selected substitute carrier.