Rao Zhun Exclusion Adjuster Lens / 饶准除外批改员 Lens

Primary observation link

This lens observes 饶准除外批改员线, Exclusion Adjuster, 除外批单批改机制, 派系责任承保, 稳定化责任交接线, 播出合约回读线, 回叫消费证明线, and Route Assets and Custody.

It is observed through 除外批单案卷, 除外批单听证, and 万能承保默认.

Observable promise

Storyteller must not allow a posted guarantee, scoped readback, callback-bearing relief, lawful seal, sponsor escrow, edit reserve, production carry, or route asset hold to become blanket cover by accident.

A valid implementation must make the coverage boundary playable through a docket, an assignable hearing, 饶准’s person-state, branch divergence, and a durable default if the rider is missed or suppressed.

Bound executable contract

The current playable surface is deliberately narrower than the wider design vocabulary. It uses exactly seven source: storyteller starter cards:

Required slot	Exact starter card
docket	card.storyteller.exclusion_rider_docket.v1
source_guarantee	card.storyteller.rao_zhun_source_guarantee.v1
future_reader	card.storyteller.rao_zhun_future_reader.v1
covered_claim	card.storyteller.rao_zhun_covered_claim.v1
excluded_claim	card.storyteller.rao_zhun_excluded_claim.v1
adjuster_state	card.storyteller.rao_zhun_exclusion_adjuster.v1
support_and_cost	card.storyteller.rao_zhun_support_cost.v1

All seven cards must be in hand and assigned to their matching slots. Every slot is required and accepts only its listed card. The lens fails on tag-only matches, equivalent or explicit-absence substitutes, virtual assignments, omitted slots, cross-slot substitutions, missing hand cards, or resolution without a selected choice.

The hearing exposes exactly eight stable choices in this order:

Choice	Stable option id	Runtime result
0	narrow_rider	named narrow coverage and an excluded-claim cost
1	public_challenge	public challenge and audit pressure
2	lawful_annex	lawful-only coverage and institutional debt
3	edit_salvage	scoped continuity salvage and later source challenge
4	sponsor_carveout	sponsor-only coverage and public correction cost
5	production_hold	production custody and handler/route pressure
6	recruit_or_protect_adjuster	recruited 饶准 and the only route-asset unlock
7	suppress_or_blanket_default	false blanket state and exact pending triple

Only choice 6 may grant route_asset.rao_zhun_exclusion_adjuster. Choices 0 through 5 preserve scoped cover without recruitment. Choice 7 must not grant or retain the route asset; it arms exactly:

• rao_zhun.default_pending;
• event.blanket_coverage_default.armed;
• future_route.rao_zhun_recovery_pending.

万能承保默认 then exposes exactly four terminal outcomes:

• record_sponsor_blanket_capture;
• record_lawful_exclusion_challenge;
• record_editor_scope_correction;
• record_hostile_adjuster_recovery_only.

Every terminal outcome clears all three pending flags and records a durable adjuster state, rider state, excluded reader, future route, and counter movement. A fifth flavor choice, a missing terminal choice, or a clean universal-coverage repair fails this lens.

Scope

This lens covers:

• post-underwriting and post-handoff cover;
• future readers trying to consume covered versions;
• covered claim and excluded claim visibility;
• 饶准 as visible, protected, recruited, retained, captured, suppressed, hostile, missed, or explicit absence;
• rider scope states: narrow, public challenge, lawful annex, edit salvage, sponsor carveout, production hold, false blanket, and recovery-only;
• default event when coverage is universalized;
• downstream route, slot, proof, custody, callback, public, lawful, sponsor, edit, fan, or route-asset effects.

This lens does not cover generic finance, generic legal filing, or first-order underwriting unless a later reader is consuming a guarantee and coverage scope matters.

State pressure entry oracle

A valid replay or game-state inspection must open from state pressure, not fixed timing.

Minimum entry evidence:

entry_state:
  trigger_kind: state_pressure
  source_guarantee_or_explicit_absence_present: true
  source_surface_present: true
  covered_version_or_route_promise_present: true
  future_reader_request_present: true
  covered_claim_candidate_present: true
  excluded_claim_candidate_or_explicit_absence_present: true
  adjuster_state_or_explicit_absence_present: true
  default_if_unworked_present: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

Accepted source surfaces include liability underwriting, stabilization liability handoff, broadcast contract readback, callback consumption, recovery inventory, broadcast reality drift correction, sponsor makegood, public receipt bond, lawful seal, edit reserve, production carry, or route asset custody.

Required observable content

Docket card

除外批单案卷 or equivalent must record:

• source surface;
• source row or explicit absence;
• source guarantee state;
• covered version;
• future reader;
• covered claim;
• excluded claim or explicit absence;
• excluded claimant or explicit absence;
• 饶准 state or explicit absence;
• rider scope before and after;
• support/proof or explicit absence;
• default if unworked;
• future route effect;
• at least three counter deltas.

Assignable rite

除外批单听证 or equivalent must offer assignment slots for:

• docket;
• source guarantee;
• future reader;
• covered claim;
• excluded claim;
• 饶准 adjuster-state card;
• combined support-and-cost card.

These are exactly seven executable slots. Branch posture is selected by the rite choice and future route consumption is recorded by the selected option; neither is a virtual eighth slot. A generic meeting, payment, sponsor favor, legal stamp, page existence, or explicit-absence placeholder cannot satisfy the executable rite.

Default event

万能承保默认 or equivalent must fire or arm when:

• rider scope is hidden;
• excluded claim or claimant is hidden;
• 饶准 is missed, suppressed, hostile, captured, or absent;
• a desk files the guarantee as universal;
• a future reader consumes cover without scope.

The event must name filing actor, false blanket claim, excluded claim/claimant or explicit absence, adjuster state, and future route effect.

Required route states

A satisfying implementation must expose durable states equivalent to at least seven of:

• rider_scope.draft
• rider_scope.narrow
• rider_scope.public_challenge
• rider_scope.lawful_annex
• rider_scope.edit_salvage
• rider_scope.sponsor_carveout
• rider_scope.production_hold
• rider_scope.false_blanket
• rider_scope.recovery_only
• rao_zhun.visible
• rao_zhun.protected
• rao_zhun.recruited
• rao_zhun.retained
• rao_zhun.captured
• rao_zhun.suppressed
• rao_zhun.hostile
• rao_zhun.missed
• rao_zhun.explicit_absence

Branch divergence oracle

Branch A — Narrow rider

Expected evidence:

• selected posture is narrow rider or equivalent;
• covered claim and excluded claim are both named or explicit absence is recorded;
• covered reader can proceed or becomes more legible;
• excluded claimant hostility, future claim cost, or rehearing pressure rises;
• future route effect is scoped, not clean universal.

Branch B — Public rider challenge

Expected evidence:

• selected support is public receipt, fan oxygen, historian, witness, pirate relay, or equivalent;
• public legitimacy or false-blanket resistance improves;
• sponsor, witness, fan, inspection, or route pressure worsens;
• private clean route is blocked or public audit is required.

Branch C — Lawful annex

Expected evidence:

• selected support is lawful seal, archive escrow, white-glove review, inspection annex, or equivalent;
• admissibility, archive clarity, or coverage legibility improves;
• inspection heat, bureau debt, schedule pressure, or excluded-claimant pressure worsens;
• route becomes lawful-only, appeal-with-debt, or equivalent.

Branch D — Edit salvage

Expected evidence:

• selected support is checksum, cutroom capacity, black-box fragment, final-cut reserve, or equivalent;
• continuity or slot legibility improves;
• edit debt, source ambiguity, reality drift, or future fraud cost worsens;
• later source challenge becomes costlier.

Branch E — Sponsor carveout

Expected evidence:

• selected support is stop-loss language, sponsor release, sponsor escrow, naming-rights clause, or equivalent;
• sponsor or slot pressure improves;
• public distrust, fan resentment, contract capture, or correction cost worsens;
• route becomes sponsor-only or public correction becomes costlier.

Branch F — Production hold

Expected evidence:

• selected support is handler time, lane reserve, room custody, route asset hold, producer reserve, or equivalent;
• route control or faction-capture resistance improves;
• handler fatigue, lane scar, blackout pressure, or route asset pressure worsens;
• production triage or costlier route is armed.

Branch G — Recruit / protect adjuster

Expected evidence:

• choice 6, recruit_or_protect_adjuster, is selected;
• 饶准 state changes durably to recruited;
• covered and excluded claims are named before route consumption;
• this is the only branch that unlocks route_asset.rao_zhun_exclusion_adjuster;
• protection costs support, heat, retaliation, or burden;
• the route asset remains limited to pre-reading one named scoped dispute and cannot universalize cover.

Branch H — Capture / suppress / hostile / miss

Expected evidence:

• choice 7, suppress_or_blanket_default, is selected;
• the exact three pending flags are armed;
• short-term burden may drop for one desk;
• false blanket cover, denial distrust, excluded claimant hostility, future claim cost, or route asset pressure worsens;
• 万能承保默认 resolves one of its four stable terminal outcomes and clears all pending flags;
• 饶准 becomes exactly captured, lawful_challenger, protected_recovery_witness, or hostile_missed;
• rider scope becomes exactly sponsor_blanket, lawful_challenge, edit_correction, or recovery_only;
• future route becomes exactly sponsor_correction_required, lawful_rehearing_required, scope_correction_required, or recovery_only.

Oracle assertions

A binding check should fail unless all assertions below are true.

1. Primary links exist — the lens has populated observes and observed_through arrays pointing to concrete Storyteller pages.
2. State entry is non-sequential — the surface opens from source guarantee and future reader pressure, not fixed turn/day/week/count/dashboard/lens health.
3. Coverage is not blanket — a guarantee cannot travel without rider scope.
4. Covered and excluded claims are visible — covered claim and excluded claim or explicit absence must be recorded.
5. Adjuster state is playable — 饶准 must be visible as person-state or explicit absence, not flavor text.
6. Rite assignment exists — all seven exact in-hand cards fill all seven exact slots and one of eight choices is selected.
7. All eight branch families are playable — narrow rider, public challenge, lawful annex, edit salvage, sponsor carveout, production hold, adjuster route, and default all diverge.
8. Recruitment is bounded — 饶准 as route asset can pre-read scoped disputes only; he cannot make cover universal or erase excluded claimant challenge.
9. Every success has cost — any branch that improves cover, route access, sponsor pressure, admissibility, continuity, public legitimacy, or route control must worsen another surface.
10. Default is durable — false blanket cover must mutate future route state, not just emit flavor.
11. Future route consumes rider state — at least one downstream route, slot, proof, custody, callback, public, lawful, sponsor, edit, fan, or route asset state must read the result.
12. Replay provenance exists — passing evidence includes session id, seed, entry state, offered choices, selected assignments, branch outcomes, event/default state, counter deltas, and future route effect.

Progress metric

raoZhunExclusionAdjusterProgress = 0..9:

• 0: no source guarantee or no future reader pressure.
• 1: source guarantee/source surface and covered version are present.
• 2: future reader, covered claim, and excluded claim or explicit absence are present.
• 3: 饶准 state or explicit absence is visible.
• 4: 除外批单案卷 or equivalent enters play.
• 5: all seven exact cards are in hand and fill the seven exact rite slots.
• 6: choices 0 through 5 expose six scoped non-recruit branches with relief, cost, and future effects.
• 7: choice 6 proves the sole bounded route-asset recruitment.
• 8: choice 7 arms the exact pending triple and a terminal event clears it.
• 9: both recruit and hostile-default replay artifacts verify against their lens-scoped sessions.

Evidence shape

lens_id: storyteller.lens.character_rao_zhun_exclusion_adjuster.v1
session_id: lens-storyteller-lens-character-rao-zhun-exclusion-adjuster-v1-<timestamp>
seed: <deterministic-seed>
entry_state:
  trigger_kind: state_pressure
  source_guarantee_or_explicit_absence_present: true
  source_surface: <underwriting | handoff | readback | callback | recovery_inventory | drift | equivalent>
  covered_version_or_route_promise: <id>
  future_reader_request: <reader>
  covered_claim_candidate: <claim>
  excluded_claim_candidate_or_explicit_absence: <claim or explicit_absence>
  adjuster_state_or_explicit_absence: <state>
  default_if_unworked_present: true
  no_fixed_turn_trigger: true
active_objects:
  character: storyteller.character.rao_zhun_exclusion_adjuster.v1
  mechanic: storyteller.mechanic.exclusion_rider_adjustment.v1
  starter_cards:
    - card.storyteller.exclusion_rider_docket.v1
    - card.storyteller.rao_zhun_source_guarantee.v1
    - card.storyteller.rao_zhun_future_reader.v1
    - card.storyteller.rao_zhun_covered_claim.v1
    - card.storyteller.rao_zhun_excluded_claim.v1
    - card.storyteller.rao_zhun_exclusion_adjuster.v1
    - card.storyteller.rao_zhun_support_cost.v1
  rite: rite.storyteller.exclusion_rider_hearing.v1
offered_choices:
  - narrow_rider
  - public_challenge
  - lawful_annex
  - edit_salvage
  - sponsor_carveout
  - production_hold
  - recruit_or_protect_adjuster
  - suppress_or_blanket_default
branch_runs:
  narrow_rider:
    rider_scope_after: narrow
    covered_reader_state_after: proceeds_with_scope
    excluded_reader_state_after: hostile_or_rehearing
    counter_deltas:
      relief: [coverage_legibility_up]
      cost: [excluded_claimant_hostility_up]
      future: [future_claim_cost_up]
  public_challenge:
    rider_scope_after: public_challenge
    counter_deltas:
      relief: [public_receipt_legitimacy_up]
      cost: [sponsor_pressure_up]
      future: [public_audit_required]
  lawful_annex:
    rider_scope_after: lawful_annex
    counter_deltas:
      relief: [admissibility_up]
      cost: [inspection_heat_up]
      future: [lawful_only_coverage]
  edit_or_sponsor_or_production_branch:
    selected_posture: edit_salvage | sponsor_carveout | production_hold
    rider_scope_after: <scope>
    counter_deltas:
      relief: []
      cost: []
      future: []
  adjuster_branch:
    choice: 6
    selected_posture: recruit_or_protect_adjuster
    rao_zhun_state_after: recruited
    route_asset_unlock: route_asset.rao_zhun_exclusion_adjuster
    limits_recorded: true
    counter_deltas:
      relief: []
      cost: []
      future: []
  default_branch:
    choice: 7
    selected_posture: suppress_or_blanket_default
    pending_flags:
      - rao_zhun.default_pending
      - event.blanket_coverage_default.armed
      - future_route.rao_zhun_recovery_pending
    event_seen_or_armed: event.storyteller.blanket_coverage_default.v1
    terminal_option: record_sponsor_blanket_capture | record_lawful_exclusion_challenge | record_editor_scope_correction | record_hostile_adjuster_recovery_only
    filing_actor: <actor>
    false_blanket_claim: <claim>
    excluded_claimant: <reader or explicit_absence>
    rao_zhun_state_after: captured | lawful_challenger | protected_recovery_witness | hostile_missed
    rider_scope_after: sponsor_blanket | lawful_challenge | edit_correction | recovery_only
    future_route_effect: sponsor_correction_required | lawful_rehearing_required | scope_correction_required | recovery_only
assertions:
  - state_pressure_entry
  - source_guarantee_is_not_blanket
  - covered_and_excluded_claims_named_or_explicit_absence
  - adjuster_state_visible
  - assignment_slots_exist
  - recruit_miss_hostile_diverge
  - successes_have_cost
  - blanket_default_is_durable
  - future_route_consumes_rider_state
  - no_fixed_turn_trigger

Durable replay evidence

Only these two artifacts satisfy the character-lens replay requirement:

• lens/replays/rao-zhun-exclusion-adjuster.recruit.replay.json selects choice 6 and proves the sole bounded route-asset unlock with visible costs;
• lens/replays/rao-zhun-exclusion-adjuster.hostile-default.replay.json selects choice 7, arms the exact pending triple, resolves one of the four terminal default outcomes, clears the triple, and retains no clean Rao Zhun route asset.

Both session ids must begin with lens-storyteller-lens-character-rao-zhun-exclusion-adjuster-v1-, use source: storyteller, exercise rite.storyteller.exclusion_rider_hearing.v1, and pass current replay verification.

Non-goals

• Not a raw lens-count page.
• Not a governance/process methodology page.
• Not a generic insurance simulator.
• Not a clean reward for underwriting.
• Not a fixed sequence or turn-count trigger.
• Not valid if cover_posted can be read later as blanket permission without rider scope, excluded claimant, 饶准 state, counter deltas, and future route effect.