Remedy Reinstatement Bond Release Dispute / 救济重开担保解除争议机制

Remedy Reinstatement Bond Release Dispute governs the state after 救济重开担保线 has created a bond and a later reader tries to release, seize, roll forward, or ignore that bond.

The mechanism exists because a successful reinstatement bond can become a new false-clean artifact. If the bonded remedy is performed for one scope, sponsor, archive, lawful reader, public table, route claimant, management report, or broadcast reality may try to consume bond released as if every claimant, displaced reader, witness carrier, worker, and route asset is now settled.

State machine

bond_release_state:
  source_bond_state_before: scoped_bonded | public_bonded | lawful_bonded | sponsor_bonded | escrowed | refused | quarantined | false_reinstated | recovery_only | contradiction_pending | equivalent
  remedy_performance_state: performed_for_scope | partially_performed | failed | abandoned | displaced | consumed_by_future_reader | defaulted | quarantined | explicit_absence | equivalent
  release_claim_state: unfiled | filed_for_scope | overbroad | contested | notice_missing | surety_hidden | witness_or_worker_hidden | release_ready | default_ready
  bond_release_state_after: released_for_scope | forfeited_to_claimant | converted_to_recourse | rolled_forward | public_restitution_release | lawful_release_only | sponsor_capture_release | witness_or_worker_held | quarantined | false_clean_release | recovery_only | contradiction_pending

Entry rules

The mechanism opens only when all conditions are visible:

entry_state_required:
  trigger_kind: state_pressure
  source_bond_row_present: true
  source_bond_state_visible: true
  restored_claimant_and_remedy_visible: true
  bond_scope_visible_or_explicit_absence: true
  remedy_performance_or_explicit_absence_visible: true
  release_actor_and_target_visible: true
  claimant_or_surety_notice_required_or_explicit_absence_visible: true
  unresolved_reader_or_explicit_absence_visible: true
  displaced_capacity_or_explicit_absence_visible: true
  future_reader_or_route_consumes_release_state: true
  player_can_release_forfeit_convert_roll_forward_public_lawful_sponsor_hold_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_bond_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The mechanism fails if it opens from fixed turn number, day/week interval, chapter quota, raw bond count, raw claimant count, dashboard state, lens health, generic appeal cleanup, or generic financial settlement.

Hard rules

• Release requires source bond history.
• Release requires performance or explicit absence.
• Release must name who is still unresolved, or explicitly record absence.
• Release target must be concrete: license encumbrance, collateral, addendum slot, annex window, escrow, route asset, fan oxygen reserve, handler/worker bond, witness protection, or broadcast credit.
• Witness and worker protection cannot be freed as generic capacity without discharge or explicit absence.
• A public release cannot satisfy lawful closure.
• A lawful release cannot satisfy fan/public restitution.
• Sponsor capture cannot satisfy public consent.
• Archive escrow closure cannot equal route asset return unless route custody reads it with cost.
• Every constructive branch must mutate relief, cost, and future reader or route effect.

Branch resolver

branch_resolver:
  release_for_named_scope:
    requires:
      - performance_proof_or_absence_visible
      - scope_named
      - unresolved_reader_or_absence_visible
    produces:
      bond_release_state_after: released_for_scope
      future_effect_any: [clean_for_named_scope, callback_required, costlier]
  forfeit_to_claimant:
    requires:
      - breach_or_nonperformance_visible
      - claimant_to_receive_value_visible
    produces:
      bond_release_state_after: forfeited_to_claimant
      future_effect_any: [recourse_required, public_audit_required, costlier]
  convert_to_recourse:
    requires:
      - payer_or_debtor_visible
      - recourse_target_visible
    produces:
      bond_release_state_after: converted_to_recourse
      future_effect_any: [recourse_required, split_required, contradiction_pending]
  roll_forward_to_unresolved_reader:
    requires:
      - unresolved_reader_visible
      - future_capacity_or_callback_visible
    produces:
      bond_release_state_after: rolled_forward
      future_effect_any: [addendum_required, callback_required, route_delay]
  public_restitution_release:
    requires:
      - public_or_fan_reader_visible
      - public_notice_or_receipt_visible
    produces:
      bond_release_state_after: public_restitution_release
      future_effect_any: [public_only, audit_required, costlier]
  lawful_release_only:
    requires:
      - lawful_proof_visible
    produces:
      bond_release_state_after: lawful_release_only
      future_effect_any: [lawful_only, public_addendum_required]
  sponsor_capture_release:
    requires:
      - sponsor_basis_visible
    produces:
      bond_release_state_after: sponsor_capture_release
      future_effect_any: [sponsor_only, sponsor_unwind_required, hostile]
  hold_for_witness_or_worker_discharge:
    requires:
      - witness_or_worker_bond_visible
      - discharge_missing_or_contested
    produces:
      bond_release_state_after: witness_or_worker_held
      future_effect_any: [witness_discharge_required, blocked, recovery_only]
  quarantine_release:
    requires:
      - unsafe_clean_release_visible
    produces:
      bond_release_state_after: quarantined
      future_effect_any: [blocked, quarantine_required, recovery_only]
  clean_release_default:
    emits: storyteller.event.clean_bond_release_default.v1
    produces:
      bond_release_state_after: false_clean_release
      future_effect_any: [hostile, blocked, recovery_only, contradiction_pending]

Replay evidence

session_id: lens-remedy-reinstatement-bond-release-dispute-v1-<timestamp>
seed: <deterministic-seed>
entry_state:
  trigger_kind: state_pressure
  source_bond_row_present: true
  restored_claimant_and_remedy_visible: true
  remedy_performance_or_explicit_absence_visible: true
  release_actor_and_target_visible: true
  future_reader_or_route_consumes_release_state: true
  no_fixed_turn_trigger: true
offered:
  card: storyteller.card.remedy_reinstatement_bond_release_docket.v1
  rite: storyteller.rite.remedy_reinstatement_bond_release_hearing.v1
branch_runs:
  constructive:
    selected_posture: release_for_named_scope | forfeit_to_claimant | convert_to_recourse | roll_forward_to_unresolved_reader | public_restitution_release | lawful_release_only | sponsor_capture_release | hold_for_witness_or_worker_discharge | quarantine_release
    bond_release_state_after: <state>
    collateral_state_after: <state>
    future_reader_or_route_effect: <effect>
    counter_deltas:
      relief: []
      cost: []
      future: []
  default:
    selected_posture: clean_release_default
    event_seen_or_armed: storyteller.event.clean_bond_release_default.v1
    future_reader_or_route_effect: <effect>
assertions:
  - entry_is_state_triggered
  - source_bond_and_restored_remedy_are_visible
  - performance_and_release_claim_are_visible
  - unresolved_reader_and_displaced_capacity_are_visible_or_explicit_absent
  - branch_outcomes_diverge
  - every_success_has_relief_cost_and_future_effect
  - false_release_default_is_durable
  - downstream_reader_consumes_release_state
  - no_universal_clean_bond_release
  - no_fixed_turn_day_week_raw_count_dashboard_or_lens_health_trigger

Non-goals

• Not a finance minigame.
• Not a duplicate of remedy reinstatement.
• Not a generic appeals cleanup phase.
• Not a staff rest loop.
• Not raw count expansion.
• Not valid unless future playable acceptance changes.