Remedy Preclusion Lens / 救济失权 Lens

This lens observes whether 救济失权线 and 救济失权机制 correctly prevent a served row from becoming universal waiver against a later remedy.

The current mesh already has strong local service guarantees: 容量告知送达队列线 can show service state, 回叫承载撞车线 can arbitrate shared carriers, 被排除者反回执挑战线 can contest receipt finality, and 替代承载征调线 can fit-test a substitute. The remaining aftershock is preclusion laundering: service happened, therefore sponsor, lawful reader, public table, archive, route claimant, management report, or broadcast reality treats the next remedy as barred.

A passing implementation must prove that service remains real history, but only bars remedies it actually gave the barred claimant a real opportunity to answer.

Primary observation link

This lens observes:

• 救济失权线;
• 救济失权机制;
• 救济失权案卷;
• 救济失权听证;
• 虚假失权默认;
• 容量告知送达队列线;
• 读者反驳通知线;
• 回叫承载撞车线;
• 被排除者反回执挑战线;
• 替代承载征调线;
• 播出容量责任级联线;
• Broadcast Reality;
• Route Assets and Custody.

It is observed through:

• 救济失权案卷;
• 救济失权听证;
• 虚假失权默认.

Observable promise

When a future reader tries to consume a served row as waiver, the game must show:

• source service row;
• source surface;
• service state before;
• served reader or claimant;
• omitted or deferred reader or explicit absence;
• claimant trying to bar;
• barred claimant or reader;
• remedy at risk;
• false clean or waiver claim;
• proof of actual opportunity or explicit absence;
• handler or explicit absence;
• selected preclusion posture;
• preclusion state after;
• barred claimant state after;
• source service state after;
• future reader or route effect.

The lens fails if the result is only notice served, callback completed, receipt accepted, substitute assigned, capacity row closed, claim waived, sponsor acknowledged, public notified, or lawful annex filed.

Entry oracle

A valid implementation opens only from live state pressure.

entry_state_required:
  trigger_kind: state_pressure
  source_service_row_present: true
  source_surface_any:
    - capacity_notice_service
    - reader_rebuttal_notice
    - callback_carrier_collision
    - excluded_counterreceipt_challenge
    - substitute_carrier_requisition
    - broadcast_capacity_liability
  source_service_state_visible: true
  served_reader_or_claimant_visible_or_explicit_absence: true
  omitted_or_deferred_reader_visible_or_explicit_absence: true
  future_claimant_or_reader_attempts_remedy: true
  preclusion_claim_present: true
  remedy_at_risk_visible: true
  proof_of_actual_opportunity_or_absence_visible: true
  future_reader_or_route_consumes_preclusion_state: true
  player_can_accept_rebut_reopen_appeal_addendum_rework_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_notice_or_service_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens must fail if entry comes from fixed turn number, day/week interval, chapter quota, raw service count, raw notice count, raw callback count, dashboard state, lens health, generic legal cleanup, or generic aftershock without a source service row and a named remedy at risk.

Docket oracle

救济失权案卷 or equivalent must record source service and attempted preclusion separately.

docket_required:
  source_service:
    source_row_id: <notice callback counterreceipt carrier or capacity row id>
    source_surface: capacity_notice_service | reader_rebuttal_notice | callback_carrier_collision | excluded_counterreceipt | substitute_carrier | broadcast_capacity_liability | equivalent
    service_state_before: served | split_served | proxy_served | lawful_served | public_served | sponsor_served | callback_required | substituted | quarantined | false_served | unserved | equivalent
    served_reader_or_claimant: <reader claimant or explicit_absence>
    omitted_or_deferred_reader: <reader claimant or explicit_absence>
    service_carrier_or_absence: <carrier or explicit_absence>
    proof_or_absence: <proof receipt seal checksum notice oath relay or explicit_absence>
  preclusion_claim:
    claimant_trying_to_bar: sponsor | management_table | archive | lawful_reader | public_table | route_claimant | broadcast_reality | equivalent
    barred_claimant_or_reader: fan_public | access_caption_reader | refund_claimant | oxygen_creditor | route_asset_holder | worker | lawful_reader | sponsor | archive | public_reader | equivalent
    remedy_at_risk: callback | correction | refund | counterreceipt | lawful_appeal | public_addendum | route_delay | capacity_reserve | witness_protection | substitute_fit_review | equivalent
    false_clean_claim: notice_waived_all | callback_exhausted_all | counterreceipt_precluded | substitute_served_all | capacity_service_closed_all | public_notice_as_lawful_waiver | lawful_notice_as_public_waiver | sponsor_copy_as_consent | equivalent
    proof_of_actual_opportunity_or_absence: <hearing window reply path callback slot public addendum lawful appeal or explicit_absence>
    hidden_harm_or_scope: <harm scope or explicit_absence>
  state_after:
    preclusion_state: scoped_preclusion | preclusion_rebutted | remedy_reopened | lawful_only | public_only | sponsor_only | quarantined | false_precluded | recovery_only | contradiction_pending
    barred_claimant_state_after: protected | delayed | hostile | lawful_only | public_only | bought_off | blocked | recovery_only | equivalent
    source_service_state_after: preserved_for_named_scope | narrowed | challenged | quarantined | defaulted | false_clean | equivalent
    future_reader_or_route_effect: addendum_required | callback_required | costlier | audit_required | route_delay | public_only | lawful_only | sponsor_capture | blocked | hostile | recovery_only | contradiction_pending

The lens fails if source service row, served reader, omitted reader, remedy at risk, actual opportunity proof, state after, or future consumer is absent without explicit absence.

Hearing assignment oracle

救济失权听证 or equivalent must require explicit assignment.

assignment_required:
  docket: storyteller.card.remedy_preclusion_docket.v1
  selected_preclusion_row: <row id>
  source_service_row: <source row id>
  source_surface: <source surface>
  service_state_before: <state>
  served_reader_or_claimant: <reader or explicit_absence>
  omitted_or_deferred_reader: <reader or explicit_absence>
  claimant_trying_to_bar: <actor>
  barred_claimant_or_reader: <reader>
  remedy_at_risk: callback | correction | refund | counterreceipt | lawful_appeal | public_addendum | route_delay | capacity_reserve | witness_protection | substitute_fit_review | equivalent
  false_clean_claim: <claim>
  proof_of_actual_opportunity_or_absence: <proof or explicit_absence>
  handler_or_absence: producer | shen_luo | yu_lan | han_yanshuang | baiya | ai_sheng | fan_delegate | lawful_clerk | access_operator | explicit_absence | equivalent
  selected_posture: accept_scoped_preclusion | rebut_preclusion | reopen_remedy | lawful_appeal | public_addendum | substitute_or_callback_rework | quarantine_service | false_preclusion_default
  accepted_cost_surface_or_absence: <cost scar or explicit_absence>
  future_reader_or_route: <reader route package proof window or broadcast reality surface>

The lens fails if sponsor stamp, lawful seal, public mood, archive copy, famous handler, edit checksum, management urgency, or broadcast reality resolves preclusion without these slots.

Branch divergence oracle

A satisfying implementation must prove all branch families as playable or explicitly blocked with state reasons.

Branch family	Required relief	Required cost	Required future state
Accept scoped preclusion	old service remains final for served scope	omitted reader scar and proof upkeep	protected, public-only, lawful-only, sponsor-only, costlier
Rebut preclusion	false waiver is blocked	sponsor, archive, lawful, management, or inspection pressure	addendum-required, callback-required, audit-required
Reopen remedy	barred reader gets reply path, callback, or correction access	capacity debt, handler burden, schedule pressure	callback-required, route-delay, costlier
Lawful appeal	appeal proof survives	lawful-only routing, public delay, bureau debt	lawful-only, annex-required, public-addendum-required
Public addendum	public readers see service did not waive all remedies	sponsor retaliation, confusion, inspection heat	public-only, contradiction-pending, costlier
Substitute or callback rework	wrong carrier or inadequate callback is corrected	payroll, fit review, carrier exposure	split-required, callback-required, recovery-only
Quarantine service	unsafe preclusion is blocked	route delay, archive debt, schedule pressure	blocked, quarantine-required, recovery-only
False preclusion default	fastest desk gets temporary closure	hidden remedy hardens into scar	hostile, blocked, sponsor-capture, recovery-only

No branch may make service a universal waiver across sponsor, public, lawful, archive, fan oxygen, access caption, recovery, route asset, management report, and broadcast reality readers.

Default oracle

虚假失权默认 must fire or be armed when:

• a served row is consumed as full waiver without naming remedy at risk;
• omitted or deferred reader disappears after service;
• proof of actual reply opportunity is absent without explicit absence;
• sponsor countercopy is used as public or lawful waiver;
• lawful service is used as fan-public consent;
• public notice is used as lawful appeal waiver;
• substitute carrier service bars fit review;
• callback served one reader but bars another reader’s callback;
• future route or broadcast reality consumes preclusion without reading the docket.

Required default payload:

default_required:
  event: storyteller.event.false_preclusion_default.v1
  preclusion_row_or_absence: <row id or explicit_absence>
  source_service:
    source_row_id: <row id or explicit_absence>
    source_surface: <surface or explicit_absence>
    service_state_before: <state or explicit_absence>
    served_reader_or_claimant: <reader or explicit_absence>
    omitted_or_deferred_reader: <reader or explicit_absence>
    proof_or_absence: <proof or explicit_absence>
  false_preclusion:
    claimant_trying_to_bar: sponsor | management_table | archive | lawful_reader | public_table | route_claimant | broadcast_reality | equivalent
    barred_claimant_or_reader: <reader or explicit_absence>
    remedy_at_risk: <remedy or explicit_absence>
    false_clean_claim: notice_waived_all | callback_exhausted_all | counterreceipt_precluded | substitute_served_all | capacity_service_closed_all | public_notice_as_lawful_waiver | lawful_notice_as_public_waiver | sponsor_copy_as_consent | equivalent
    hidden_harm_or_scope: <harm scope or explicit_absence>
  result:
    preclusion_state_after: false_precluded | contested | quarantined | sponsor_only | lawful_only | public_only | recovery_only | contradiction_pending
    barred_claimant_state_after: hostile | blocked | delayed | public_only | lawful_only | bought_off | recovery_only | equivalent
    source_service_state_after: preserved_for_named_scope | narrowed | challenged | quarantined | defaulted | false_clean | equivalent
    future_reader_or_route_effect: addendum_required | callback_required | costlier | audit_required | route_delay | blocked | hostile | recovery_only | contradiction_pending
    counter_deltas_min: 3

A default that changes only mood, budget, reputation, fan anger, or workload fails.

Counter contract

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

counter_deltas_required:
  relief: at_least_one
  cost: at_least_one
  future_reader_or_route_effect: at_least_one

Relevant surfaces:

• preclusion_legitimacy
• remedy_access
• barred_claimant_hostility
• public_receipt_distrust
• fan_oxygen_resentment
• access_caption_pressure
• sponsor_stop_loss_pressure
• lawful_annex_debt
• archive_debt
• handler_burden
• route_asset_pressure
• broadcast_reality_drift

Downstream consumption oracle

At least one downstream surface must consume preclusion state:

• future route accepts source service only for a named scope;
• barred claimant receives callback, addendum, appeal, rework, quarantine, or recovery-only scar;
• route asset becomes delayed, costlier, blocked, or split-required;
• broadcast reality records false preclusion as contestable rather than clean truth;
• sponsor, lawful reader, archive, public table, or management report must cite the scoped state instead of service equals waiver.

If future play never reads the preclusion result, the lens is incomplete.

Progress metric

remedyPreclusionProgress = 0..8:

• 0: no source service row and no attempted remedy bar.
• 1: source service row, served reader, and omitted/deferred reader are visible.
• 2: preclusion claim and remedy at risk are named.
• 3: proof of actual opportunity or explicit absence is visible.
• 4: 救济失权案卷 enters play with future reader or route.
• 5: 救济失权听证 offers explicit assignment slots.
• 6: selected branch mutates relief, cost, and future route effect.
• 7: 虚假失权默认 fires or arms when service is consumed as universal waiver.
• 8: replay proves one constructive branch and one default or quarantine branch with downstream consumption.

Replay evidence shape

lens_id: storyteller.lens.remedy_preclusion.v1
session_id: lens-remedy-preclusion-v1-<timestamp>
seed: <deterministic-seed>
entry_state:
  trigger_kind: state_pressure
  source_service_row_present: true
  future_claimant_or_reader_attempts_remedy: true
  preclusion_claim_present: true
  remedy_at_risk_visible: true
  proof_of_actual_opportunity_or_absence_visible: true
  future_reader_or_route_consumes_preclusion_state: true
  no_fixed_turn_trigger: true
source_service:
  source_row_id: <row id>
  source_surface: <surface>
  service_state_before: <state>
  served_reader_or_claimant: <reader or explicit_absence>
  omitted_or_deferred_reader: <reader or explicit_absence>
preclusion_claim:
  claimant_trying_to_bar: <actor>
  barred_claimant_or_reader: <reader>
  remedy_at_risk: <remedy>
  false_clean_claim: <claim>
  proof_of_actual_opportunity_or_absence: <proof or explicit_absence>
offered:
  card: storyteller.card.remedy_preclusion_docket.v1
  rite: storyteller.rite.remedy_preclusion_hearing.v1
branch_runs:
  valid_branch:
    selected_posture: accept_scoped_preclusion | rebut_preclusion | reopen_remedy | lawful_appeal | public_addendum | substitute_or_callback_rework | quarantine_service
    preclusion_state_after: <state>
    source_service_state_after: <state>
    barred_claimant_state_after: <state>
    future_reader_or_route_effect: <effect>
    counter_deltas:
      relief: []
      cost: []
      future: []
  default_branch:
    event_seen_or_armed: storyteller.event.false_preclusion_default.v1
    false_clean_claim: <claim>
    hidden_remedy_or_scope: <remedy or scope>
    omitted_or_deferred_reader: <reader or explicit_absence>
    future_reader_or_route_effect: <effect>
assertions:
  - entry_is_state_triggered_by_source_service_and_attempted_remedy_bar
  - source_service_row_and_preclusion_claim_are_separate
  - remedy_at_risk_is_named
  - proof_of_actual_opportunity_is_visible_or_explicit_absent
  - omitted_or_deferred_reader_survives
  - success_preserves_prior_service_only_for_named_scope
  - success_has_relief_cost_and_future_effect
  - service_is_not_universal_waiver
  - future_reader_consumes_preclusion_state
  - no_fixed_turn_day_week_raw_count_dashboard_or_lens_health_trigger

Failure cases

The lens must fail if any of these are true:

• entry is fixed-turn, fixed-day, chapter quota, raw notice count, raw service count, dashboard, or lens health;
• no source service row exists;
• the remedy at risk is unnamed;
• service and waiver are stored as the same fact;
• omitted or deferred reader is hidden;
• actual opportunity proof is missing without explicit absence;
• public notice bars lawful appeal;
• lawful service bars fan-public remedy;
• sponsor countercopy bars public or lawful remedy;
• callback to one reader bars another reader’s callback;
• substitute service bars substitute fit review;
• default changes only mood, money, workload, or reputation;
• future route does not consume the preclusion state.

Non-goals

• Not a duplicate service validation lens.
• Not generic legal governance.
• Not raw content-count expansion.
• Not a fixed cleanup phase.
• Not valid unless a future reader or route consumes the scoped preclusion, reopened remedy, quarantine, or false-preclusion scar.