Remedy Reinstatement Bond Lens / 救济重开担保 Lens

This lens observes whether 救济重开担保线 and 救济重开担保机制 correctly price a late remedy after 救济失权线 has been rebutted, narrowed, or reopened.

The strongest current gap is the seam after successful challenge. Existing content prevents service, receipts, callbacks, substitutes, capacity notices, counterparty reliance, and recovery states from becoming universal clean closure. But when a barred remedy is restored, the game still needs to prove which finite broadcast surface bonds the delay.

A passing implementation cannot choose between remedy blocked forever and remedy reopened for free. It must show source preclusion, restored remedy, late-cost reason, capacity source, displaced reader or explicit absence, bond actor, collateral, proof, scope, and future reader effect.

This lens observes:

It is observed through:

Observable promise

When a barred remedy is restored late, the game must show:

  • source preclusion row;
  • source preclusion state;
  • claimant to reinstate;
  • remedy to reinstate;
  • actual opportunity proof or explicit absence;
  • late-cost reason;
  • capacity source;
  • capacity state before;
  • displaced reader or explicit absence;
  • bond actor or explicit absence;
  • collateral or explicit absence;
  • proof or explicit absence;
  • bond scope;
  • bond state after;
  • source service state after;
  • future reader or route effect.

The lens fails if the result is only remedy reopened, appeal allowed, callback restored, public addendum posted, lawful annex filed, sponsor paid, archive escrowed, route asset returned, or claimant satisfied.

Entry oracle

A valid implementation opens only from live state pressure:

entry_state_required:
  trigger_kind: state_pressure
  source_preclusion_row_present: true
  source_preclusion_state_any:
    - preclusion_rebutted
    - remedy_reopened
    - public_addendum_required
    - lawful_appeal_required
    - substitute_or_callback_rework
    - quarantined
    - false_precluded
    - recovery_only
  claimant_to_reinstate_visible: true
  remedy_to_reinstate_visible: true
  late_cost_reason_visible: true
  future_reader_or_route_consumes_reinstatement_state: true
  player_can_bond_public_lawful_sponsor_escrow_refuse_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_claim_count_trigger: true
  no_raw_notice_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry comes from fixed turn count, day/week interval, chapter quota, raw claim count, raw notice count, dashboard state, lens health, generic appeal cleanup, or generic aftercare without source preclusion and a named restored remedy.

Docket oracle

救济重开担保案卷 or equivalent must record:

docket_required:
  source_preclusion:
    source_preclusion_row_id: <stable preclusion row or explicit_absence>
    source_preclusion_state: preclusion_rebutted | remedy_reopened | public_addendum_required | lawful_appeal_required | substitute_or_callback_rework | quarantined | false_precluded | recovery_only | equivalent
    claimant_to_reinstate: <claimant or reader>
    remedy_to_reinstate: callback | correction | refund | counterreceipt | lawful_appeal | public_addendum | route_delay | capacity_reserve | witness_protection | substitute_fit_review | equivalent
    actual_opportunity_proof_or_absence: <proof or explicit_absence>
    late_cost_reason: schedule_already_spent | public_truth_already_aired | sponsor_package_already_sold | archive_copy_already_released | route_asset_already_moved | worker_already_exposed | oxygen_queue_already_cut | equivalent
  reinstatement_capacity:
    capacity_source: correction_slot | public_addendum_slot | fan_oxygen_reserve | lawful_annex_window | sponsor_makegood_frame | archive_escrow | route_asset_collateral | handler_recovery_budget | broadcast_credit | explicit_absence | equivalent
    capacity_state_before: free | borrowed_forward | pledged | captured | contested | escrowed | absent | equivalent
    displaced_reader_or_absence: <reader or explicit_absence>
  bond:
    bond_actor: producer | sponsor | archive | lawful_reader | public_table | route_claimant | fan_delegate | handler | worker_carrier | explicit_absence | equivalent
    collateral_or_absence: money | slot_time | route_asset | archive_copy | edit_checksum | fan_oxygen_reserve | public_receipt | lawful_seal | producer_license_encumbrance | explicit_absence | equivalent
    proof_or_absence: receipt | annex | escrow_stamp | public_bulletin | checksum | oath | countercopy | explicit_absence | equivalent
    bond_scope: public_only | lawful_only | sponsor_only | archive_only | route_only | named_claimant_only | split_required | explicit_absence | equivalent
  state_after:
    bond_state_after: unbonded | scoped_bonded | public_bonded | lawful_bonded | sponsor_bonded | escrowed | refused | quarantined | false_reinstated | recovery_only | contradiction_pending
    source_service_state_after: preserved_for_named_scope | narrowed | challenged | quarantined | defaulted | false_clean | equivalent
    future_reader_or_route_effect: reinstated_with_cost | callback_required | addendum_required | lawful_annex_required | public_audit_required | sponsor_capture | route_delay | blocked | hostile | recovery_only | contradiction_pending

The lens fails if source preclusion, restored remedy, late-cost reason, capacity source, displaced reader, bond actor, collateral, proof, scope, state after, or future effect is absent without explicit absence.

Hearing assignment oracle

救济重开担保听证 or equivalent must require explicit assignments:

assignment_required:
  docket: storyteller.card.remedy_reinstatement_bond_docket.v1
  selected_bond_row: <row id>
  source_preclusion_row_id: <preclusion row>
  source_preclusion_state: <state>
  claimant_to_reinstate: <claimant or reader>
  remedy_to_reinstate: <remedy>
  late_cost_reason: <reason>
  capacity_source: <capacity source>
  displaced_reader_or_absence: <reader or explicit_absence>
  bond_actor_or_absence: <actor or explicit_absence>
  collateral_or_absence: <collateral or explicit_absence>
  proof_or_absence: <proof or explicit_absence>
  selected_posture: producer_bonds_late_remedy | sponsor_bond_with_capture | public_addendum_bond | lawful_annex_bond | archive_or_route_escrow | handler_or_worker_bond | refuse_or_quarantine_reinstatement | false_reinstatement_default
  accepted_cost_surface_or_absence: <cost or explicit_absence>
  future_reader_or_route: <reader route package proof window or broadcast reality surface>

The lens fails if sponsor money, legal seal, public apology, archive copy, edit checksum, route asset return, famous handler, or management urgency restores the remedy without these fields.

Branch divergence oracle

A satisfying implementation must expose at least six branch families, including one refusal, quarantine, or default branch.

Branch familyRequired reliefRequired costRequired future state
Producer bonds late remedyremedy access restored for named claimantproducer license encumbrance, schedule scar, handler burdenreinstated-with-cost, callback-required, costlier
Sponsor bond with captureimmediate capacity pressure fallssponsor capture, public distrust, future unwind risksponsor-only, sponsor-capture, audit-required
Public addendum bondpublic remedy becomes legiblesponsor retaliation, confusion, inspection heatpublic-only, addendum-required, costlier
Lawful annex bondappeal or proof window surviveslawful-only routing, bureau debt, public delaylawful-only, annex-required, costlier
Archive or route escrowunsafe clean reinstatement is blockedarchive debt, route delay, collateral riskescrowed, blocked, recovery-only
Handler or worker bondclaimant gets a human carrier or protectionpayroll, exposure, worker hostility, safety costcallback-required, protected, costlier
Refuse or quarantine reinstatementfalse clean cure is blockedclaimant hostility, route delay, recovery costblocked, quarantine-required, recovery-only
False reinstatement defaultdesk gets temporary closurehidden displaced reader or unpaid bond hardenshostile, contradiction-pending, recovery-only

Every constructive success must preserve prior source history, restore only the named remedy scope, and add visible cost plus future reader effect.

No branch may make reinstatement clean across public, lawful, sponsor, archive, fan oxygen, route asset, worker, management, and broadcast reality readers.

Default oracle

虚假重开默认 must fire or be armed when:

  • a reopened remedy lacks bond docket;
  • source preclusion row is hidden;
  • claimant or remedy is hidden;
  • late-cost reason is hidden;
  • capacity source is hidden or generic;
  • displaced reader is hidden without explicit absence;
  • bond actor, collateral, or proof is missing without explicit absence;
  • sponsor payment is treated as public consent;
  • public addendum is treated as lawful appeal;
  • lawful annex is treated as fan-public remedy;
  • archive escrow is treated as route-asset return;
  • route asset collateral is released clean;
  • future route consumes reinstatement without reading bond state.

Required default payload:

default_required:
  event: storyteller.event.false_reinstatement_default.v1
  source_preclusion:
    source_preclusion_row_id: <row id or explicit_absence>
    source_preclusion_state: <state or explicit_absence>
    false_preclusion_claim_or_absence: <claim or explicit_absence>
  reinstatement:
    claimant_to_reinstate: <claimant or explicit_absence>
    remedy_to_reinstate: <remedy or explicit_absence>
    late_cost_reason: <reason or explicit_absence>
    capacity_source_or_absence: <capacity source or explicit_absence>
    displaced_reader_or_absence: <reader or explicit_absence>
  missing_bond:
    bond_actor_or_absence: <actor or explicit_absence>
    collateral_or_absence: <collateral or explicit_absence>
    proof_or_absence: <proof or explicit_absence>
    false_reinstatement_claim: remedy_reopened_clean | sponsor_bond_as_public_consent | public_addendum_as_lawful_appeal | lawful_annex_as_public_remedy | archive_escrow_as_route_return | route_asset_released_clean | absence_as_bond | equivalent
    default_narrator: sponsor | management_table | archive | lawful_reader | public_table | route_claimant | fan_delegate | broadcast_reality | producer_license | equivalent
  aftermath:
    bond_state_after: false_reinstated | unbonded | captured | quarantined | recovery_only | contradiction_pending | equivalent
    claimant_state_after: delayed | hostile | bought_off | public_only | lawful_only | sponsor_captured | blocked | recovery_only | equivalent
    displaced_reader_state_after: hidden | hostile | delayed | captured | public_only | lawful_only | sponsor_only | route_delayed | explicit_absence | equivalent
    future_reader_or_route_effect: addendum_required | lawful_annex_required | callback_required | public_audit_required | sponsor_unwind_required | route_delay | blocked | hostile | recovery_only | contradiction_pending
    counter_deltas_min: 3

A default that changes only mood, budget, reputation, or generic pressure fails.

Downstream consumption oracle

At least one later reader must consume bond_state_after before treating the remedy as restored.

Valid consumers include:

If the bond row is written but no future reader changes route availability, cost, custody, public receipt, lawful status, sponsor gate, worker protection, or broadcast reality, the lens is incomplete.

Progress metric

remedyReinstatementBondProgress = 0..8:

  • 0: preclusion is rebutted but no late remedy bond surface exists.
  • 1: source preclusion row, claimant, and restored remedy are visible.
  • 2: late-cost reason is visible.
  • 3: capacity source and displaced reader or explicit absence are visible.
  • 4: 救济重开担保案卷 enters play.
  • 5: 救济重开担保听证 exposes assignment slots.
  • 6: selected branch mutates relief, cost, and future effect.
  • 7: 虚假重开默认 fires or arms when reinstatement is clean-filed.
  • 8: downstream reader consumes bond state and proves no universal clean reinstatement.

Replay evidence expectation

lens_id: storyteller.lens.remedy_reinstatement_bond.v1
session_id: lens-remedy-reinstatement-bond-v1-<timestamp>
seed: <deterministic-seed>
entry_state:
  trigger_kind: state_pressure
  source_preclusion_row_present: true
  claimant_to_reinstate_visible: true
  remedy_to_reinstate_visible: true
  late_cost_reason_visible: true
  future_reader_or_route_consumes_reinstatement_state: true
  no_fixed_turn_trigger: true
docket:
  card: storyteller.card.remedy_reinstatement_bond_docket.v1
  source_preclusion_row_id: <row id>
  remedy_to_reinstate: <remedy>
  capacity_source: <source>
  displaced_reader_or_absence: <reader or explicit_absence>
  bond_actor_or_absence: <actor or explicit_absence>
  collateral_or_absence: <collateral or explicit_absence>
  proof_or_absence: <proof or explicit_absence>
hearing:
  rite: storyteller.rite.remedy_reinstatement_bond_hearing.v1
  selected_posture: producer_bonds_late_remedy | sponsor_bond_with_capture | public_addendum_bond | lawful_annex_bond | archive_or_route_escrow | handler_or_worker_bond | refuse_or_quarantine_reinstatement | false_reinstatement_default
branch_result:
  bond_state_after: <state>
  claimant_state_after: <state>
  displaced_reader_state_after: <state>
  source_service_state_after: <state>
  future_reader_or_route_effect: <effect>
  counter_deltas:
    relief: []
    cost: []
    future: []
default_branch:
  event_seen_or_armed: storyteller.event.false_reinstatement_default.v1 | explicit_absence
assertions:
  - primary_links_exist
  - entry_is_state_triggered
  - source_preclusion_claimant_restored_remedy_and_late_cost_reason_are_visible
  - capacity_source_displaced_reader_bond_actor_collateral_and_proof_are_visible_or_explicit_absent
  - hearing_assignment_slots_are_explicit
  - every_success_has_visible_cost_and_future_reader_effect
  - false_reinstatement_default_records_unpaid_bond_and_hidden_displaced_reader
  - reinstatement_is_not_universal_clean_undo
  - downstream_reader_consumes_bond_state
  - no_fixed_turn_day_week_raw_count_dashboard_or_lens_health_trigger

Non-goals

  • Not a duplicate of remedy preclusion.
  • Not a retry system.
  • Not a generic appeal system.
  • Not a finance minigame.
  • Not raw count expansion.
  • Not valid unless future play consumes the bond state.