Exclusion Rider Scope Readback Lens / 除外批单范围回读 Lens

This lens observes whether Exclusion Rider Scope Readback and Exclusion Rider Adjustment prevent a posted guarantee from becoming clean universal permission when a later reader consumes it.

The character lens for Rao Zhun Exclusion Adjuster proves the worker route. This lens proves the system contract: coverage scope must expose source row, covered claim, excluded claim or explicit absence, future reader, support or absence, selected posture, rider state after, default pressure, and future route effect even when the adjuster is absent.

Observable promise

A passing implementation must show:

• source surface and preserved source row;
• covered version or route promise;
• future reader requesting consumption;
• covered claim;
• excluded claim and excluded claimant, or explicit absence;
• adjuster state or explicit absence;
• support proof, route asset, or explicit absence;
• selected scope posture;
• rider scope after;
• future reader or route effect;
• durable blanket-coverage default when scope is hidden, false, suppressed, captured, or universalized.

The lens fails if implementation stores only cover_posted, covered: true, handled, lawful seal, sponsor paid, production held, adjuster present, or route can proceed.

Entry oracle

entry_state_required:
  trigger_kind: state_pressure
  source_guarantee_or_explicit_absence_present: true
  source_surface_present: true
  source_row_preserved_or_explicit_absence: 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
  rider_scope_visible_or_explicit_absence: 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

The lens fails if entry comes from a fixed turn, fixed day, weekly cadence, raw number of claims, generic office visit, dashboard state, lens-health status, or Rao Zhun recruitment checklist.

Docket oracle

Exclusion Rider Docket must keep source, consumption, support, posture, and future locks separate.

exclusion_rider_docket_required:
  source:
    source_surface: <underwriting | handoff | readback | callback | recovery_inventory | lawful_annex | sponsor_cover | production_hold | equivalent>
    source_row_id: <stable row or explicit_absence>
    source_guarantee_state: cover_posted | cover_split | cover_absent | cover_called | cover_fraud_flagged | equivalent
  consumption:
    covered_version: <route promise or proof object>
    future_reader: <reader>
    covered_claim: <claim>
    excluded_claim: <claim or explicit_absence>
    excluded_claimant: <reader or explicit_absence>
  support:
    adjuster_state: unseen | visible | protected | recruited | retained | captured | suppressed | hostile | missed | explicit_absence
    proof_or_support: <public_receipt | lawful_seal | edit_checksum | sponsor_contract | handler_time | route_asset | explicit_absence>
  posture:
    selected_scope_posture: narrow_rider | public_challenge | lawful_annex | edit_salvage | sponsor_carveout | production_hold | adjuster_explicit_absence | suppress_rider | blanket_default
    rider_scope_after: narrow | public_challenge | lawful_annex | edit_salvage | sponsor_carveout | production_hold | false_blanket | recovery_only
  result:
    future_reader_or_route: <reader or route>
    future_route_effect: scoped | public_only | lawful_only | sponsor_only | production_only | costlier | blocked | hostile | captured | recovery_only | rehearing_required

The docket fails if it records cover without source row, future reader, excluded claim or explicit absence, support proof or explicit absence, and future effect.

Hearing oracle

Exclusion Rider Hearing must expose these branch families:

• narrow_rider
• public_challenge
• lawful_annex
• edit_salvage
• sponsor_carveout
• production_hold
• adjuster_explicit_absence
• suppress_rider
• blanket_default

Each branch must include relief, cost, and future_reader or future_route_effect. No branch may make one guarantee satisfy public, lawful, sponsor, editor, production, fan, archive, route-asset, and recovery readers cleanly.

Default oracle

Blanket Coverage Default must record:

event_payload:
  event_id: storyteller.event.blanket_coverage_default.v1
  source_surface: <underwriting | handoff | readback | callback | recovery_inventory | equivalent>
  source_row_id: <stable row or explicit_absence>
  filing_actor: sponsor | lawful_reader | archive | public_table | editor | production | route_claimant | management | explicit_absence | equivalent
  false_blanket_claim: <claim treated as universal>
  covered_reader: <reader>
  excluded_claim: <claim or explicit_absence>
  excluded_claimant: <reader or explicit_absence>
  adjuster_state: captured | suppressed | hostile | missed | explicit_absence | equivalent
  reason_defaulted: rider_missing | scope_hidden | excluded_claim_hidden | adjuster_unavailable | sponsor_filed_first | lawful_filed_first | production_suppressed | edit_salvaged_as_truth | equivalent
  future_route_effect: blocked | hostile | captured | costlier | public_only | lawful_only | sponsor_only | recovery_only | rider_rehearing_required | equivalent
  counter_deltas:
    blanket_coverage_false: +1
    excluded_claimant_hostility: +1
    future_claim_cost: +1

The default fails if it is only heat, delay, legal cost, or claimant mood without filing actor, false blanket claim, excluded claimant, adjuster state or explicit absence, future effect, and counter deltas.

Progress metric

exclusionRiderScopeReadbackProgress = 0..8:

• 0: no source guarantee or explicit absence is visible.
• 1: source surface and source row are visible or explicitly absent.
• 2: future reader and covered version are visible.
• 3: covered claim and excluded claim or explicit absence are visible.
• 4: adjuster state and support proof are visible or explicitly absent.
• 5: Exclusion Rider Docket separates source, consumption, support, posture, and future locks.
• 6: hearing resolves a branch with relief, cost, and future effect.
• 7: downstream reader consumes scoped rider state.
• 8: hidden, false, suppressed, captured, or universalized coverage arms a durable default with recovery scar.

Non-goals

• Not Rao Zhun’s recruit/miss/hostile character lens.
• Not first-order liability underwriting.
• Not a generic legal filing lens.
• Not a clean finance or sponsor-cover lens.
• Not valid if a guarantee can travel without source row, excluded claim, future reader, support or absence, cost, and future mutation.