Cross-Desk Precedent Recall Lens / 跨台前例召回 Lens

This lens observes whether 跨台前例召回线 and 跨台前例召回机制 correctly turn institutional memory into branchy, scoped play.

The lens exists because the current corpus is already strong at local afterlife: oxygen foreclosure, sponsor afteruse, appeal residue, reader collision, scar convergence, provenance afterlife, live-floor capacity, and management compression all preserve scars. The next failure mode is not another local scar. It is the institution remembering a scoped result and filing it as policy for a new case.

A passing implementation proves that a prior local success cannot become universal doctrine unless the original facts, source scar, boundary, changed current facts, excluded reader, and future policy cost remain visible.

This lens observes:

It is observed through:

Observable promise

Institutional memory is useful, but it is not automatically binding doctrine.

When a later desk cites a preserved scoped result, the game must prove:

  • which source precedent exists or why it is explicitly absent;
  • which desk issued it;
  • which original fact pattern made it valid;
  • which ruling, exception, stay, split, collar, quarantine, or default was created;
  • which reader was protected or explicitly absent;
  • which scar or cost remains;
  • which boundary made the source non-universal;
  • which desk is recalling it now;
  • what current case is being affected;
  • what policy use is requested;
  • what fact has changed or is explicitly absent;
  • which reader is bound and which reader is excluded or harmed;
  • which future route, reader, license, desk, or broadcast-reality surface consumes the precedent state.

The lens fails if the result is only precedent exists, policy approved, old ruling applies, inspection accepts, sponsor cites, management reports, archive says so, or route unlocked.

Entry oracle

A valid implementation opens only from live state pressure:

entry_state_required:
  trigger_kind: state_pressure
  source_precedent_present: true
  source_precedent_has_scope_or_scar: true
  recalling_desk_present: true
  current_case_present: true
  requested_policy_use_present: true
  claimed_match_basis_present: true
  changed_fact_or_explicit_absence_visible: true
  bound_reader_present_or_explicit_absence: true
  excluded_or_harmed_reader_present_or_explicit_absence: true
  future_policy_effect_possible: true
  player_can_bind_bulletin_variance_port_retire_quarantine_accept_or_default: 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 must fail if entry comes from fixed turn count, day/week interval, chapter quota, raw precedent count, raw scar count, dashboard state, lens health, generic bureaucracy, generic late-game escalation, or a clean policy phase without a source precedent and recall attempt.

Docket oracle

前例召回案卷 or equivalent must record:

docket_required:
  source_precedent:
    source_id: <stable id or explicit_absence>
    source_surface: oxygen_clawback | sponsor_afteruse | appeal_residue | reader_collision | scar_convergence | management_compression | provenance_afterlife | live_floor | archive_enforcement | equivalent
    issuing_desk: archive | sponsor | management | inspection | public_table | route_asset | edit_room | floor_crew | lawful_reader | broadcast_reality | equivalent
    original_fact_pattern: <facts>
    original_ruling_or_exception: <result>
    original_protected_reader: <reader or explicit_absence>
    source_scar_or_cost: <scar or explicit_absence>
    nonbinding_boundary: same_facts_only | reader_limited | desk_limited | expiry_on_new_proof | public_notice_required | lawful_seal_required | explicit_absence | equivalent
  recall_attempt:
    recalling_desk: archive | sponsor | management | inspection | schedule | public_table | route_asset | edit_room | floor_crew | pirate_relay | equivalent
    current_case_id: <route rite card event asset or docket id>
    requested_policy_use: auto_accept | auto_block | auto_reprice | auto_foreclose | auto_quarantine | auto_greenlight | auto_route_unlock | auto_metric | equivalent
    claimed_match_basis: same_reader | same_asset | same_sponsor | same_public_wording | same_license | same_floor_lane | same_broadcast_copy | same_liability | weak_match | equivalent
    changed_fact_or_absence: <new fact or explicit_absence>
  scope_table:
    bound_reader: <reader or explicit_absence>
    excluded_or_harmed_reader: <reader or explicit_absence>
    current_reader_minimum_surface: notice | addendum | variance | public_bulletin | lawful_review | route_asset_release | crew_captain_signoff | quarantine | explicit_absence | equivalent
    overreach_risk: false_policy | desk_capture | public_laundering | sponsor_laundering | inspection_shortcut | route_asset_false_owner | crew_silence | broadcast_reality_drift | equivalent
  precedent_state: noticed | narrowly_bound | public_bulletin | variance_granted | ported_with_addendum | retired | quarantined | overreached | defaulted
  future_effect: accepted_with_scope | policy_costlier | variance_required | bulletin_required | lawful_only | public_only | sponsor_only | desk_hostile | blocked | recovery_only | false_universal_policy

The lens fails if the docket lacks source facts, protected reader, boundary, changed fact, excluded reader, overreach risk, or future effect.

Scope hearing oracle

前例范围听证 or equivalent must require explicit assignments:

assignment_required:
  docket: storyteller.card.precedent_recall_docket.v1
  source_precedent: <source id or explicit_absence>
  issuing_desk: <desk>
  original_fact_pattern: <facts>
  original_ruling_or_exception: <result>
  original_protected_reader: <reader or explicit_absence>
  source_scar_or_cost: <scar or explicit_absence>
  nonbinding_boundary_or_absence: <boundary or explicit_absence>
  recalling_desk: <desk>
  current_case: <case id>
  requested_policy_use: <use>
  claimed_match_basis: <basis>
  changed_fact_or_absence: <fact or explicit_absence>
  bound_reader_or_absence: <reader or explicit_absence>
  excluded_or_harmed_reader: <reader or explicit_absence>
  handler_or_absence: producer | shen_luo | yu_lan | han_yanshuang | baiya | floor_captain | archive_clerk | sponsor_counsel | public_witness | explicit_absence | equivalent
  proof_bridge_or_absence: source_docket | public_bulletin | lawful_seal | archive_stamp | edit_checksum | route_asset_release | call_sheet | fan_ledger | explicit_absence | equivalent
  selected_response: narrow_bind | publish_bulletin | grant_variance | port_with_addendum | overrule_retire | quarantine_case_only | accept_overreach | default_selects
  accepted_cost_surface_or_absence: <cost or explicit_absence>
  future_policy_effect: <effect>

The lens fails if sponsor money, archive authority, management urgency, inspection acceptance, edit checksum, or broadcast reality can convert the precedent into policy without these assignments.

Branch divergence oracle

A satisfying implementation must prove at least five non-equivalent branch families plus default or explicit blocked state.

Branch familyRequired reliefRequired costRequired future effect
Narrow bindfalse policy blocked, current scope clear, protected reader preserveddelay, handler burden, management pressuresame-facts-only, variance required for changed facts, universal policy blocked
Public bulletinpublic memory trust, notice, desk capture resistancesponsor pressure, inspection heat, public confusionbulletin required, public-only or lawful review required, desk capture costlier
Grant variancecurrent route unblocked, changed fact recognized, overreach blockedproducer-license pressure, bureau debt, future variance costcurrent-case-only, variance bridge required, recovery-only if bridge lost
Port with addendumcross-desk use possible, source history preserved, new reader accepts with scopesource ambiguity, archive debt, route pressureported with addendum, new policy surcharge, future reader split required
Overrule or retiresystemic capture blocked, false match removed, harmed reader protectedcurrent route costlier, retaliation, lawful review pressureprecedent retired, substitute required, clean policy unavailable
Case-only quarantinedrift or fraud risk down, current truth preserved, overreach blockedschedule pressure, route delay, inspection heatcase-only quarantine, recovery-only until follow-up, no policy spread
Accept overreachcurrent report or route unblocked, desk pressure downdesk capture, excluded reader hostility, scope integrity downfalse policy armed, future reader hostile, default possible
Default overreachfastest desk moves firstsource scar hidden, false policy, public or lawful distrustfalse universal policy, desk hostile, blocked, recovery-only

No branch may produce clean acceptance across archive, sponsor, management, inspection, public, route asset, edit room, floor crew, lawful reader, and broadcast-reality reader.

Default oracle

前例越权默认 or equivalent must fire or be armed when:

  • a prior exception is treated as a general rule;
  • original facts are hidden;
  • a nonbinding boundary is hidden;
  • a changed current fact is ignored;
  • a required bulletin, variance, lawful review, route release, edit checksum, crew-captain signoff, or archive addendum is missing;
  • a desk files before the scope hearing resolves;
  • an excluded reader is omitted;
  • a source scar is converted into clean policy.

Required default payload:

default_required:
  event: storyteller.event.precedent_overreach_default.v1
  source_precedent:
    source_id: <stable id or explicit_absence>
    source_surface: oxygen_clawback | sponsor_afteruse | appeal_residue | reader_collision | scar_convergence | management_compression | provenance_afterlife | live_floor | archive_enforcement | equivalent
    issuing_desk: <desk>
    original_fact_pattern_hidden_or_absent: present | hidden | absent
    original_protected_reader_hidden_or_absent: present | hidden | absent
    source_scar_hidden_or_absent: present | hidden | absent
    nonbinding_boundary_hidden_or_absent: present | hidden | absent
  overreach:
    recalling_desk: <desk>
    requested_policy_use: <use>
    false_match_claim: <claim>
    changed_fact_hidden_or_absent: present | hidden | absent
    missing_scope_surface: public_bulletin | variance | lawful_review | route_asset_release | edit_checksum | crew_captain_signoff | archive_addendum | explicit_absence | equivalent
    capturing_reader: <reader>
    excluded_reader: <reader or explicit_absence>
  default_state_after: false_universal_policy | desk_captured | sponsor_policy_capture | inspection_shortcut | public_policy_laundered | route_asset_false_owner | crew_silence_policy | broadcast_reality_drift | blocked | recovery_only | equivalent
  future_policy_effect: policy_costlier | bulletin_required | variance_required | lawful_only | public_only | sponsor_only | desk_hostile | blocked | recovery_only | false_universal_policy | equivalent

The lens fails if default is only narration, mood, reputation, generic pressure, or a hidden flag.

Future consumption oracle

At least one future surface must consume the precedent state:

future_consumption_required:
  consumer_any:
    - producer_license_review
    - public_statement
    - sponsor_package
    - archive_release
    - inspection_shortcut
    - schedule_gate
    - route_asset_access
    - edit_checksum_acceptance
    - floor_crew_policy
    - broadcast_reality_readback
    - default_recovery
  precedent_state_after: <state>
  reader_or_route_effect: accepted_with_scope | policy_costlier | variance_required | bulletin_required | lawful_only | public_only | sponsor_only | desk_hostile | blocked | recovery_only | false_universal_policy | equivalent
  changed_offers_min: 1

The lens fails if the scope decision moves counters but future offers remain identical.

Replay evidence expectation

lens_id: storyteller.lens.cross_desk_precedent_recall.v1
session_id: lens-cross-desk-precedent-recall-v1-<timestamp>
seed: <deterministic-seed>
entry_state:
  trigger_kind: state_pressure
  source_precedent_present: true
  source_precedent_has_scope_or_scar: true
  recalling_desk_present: true
  current_case_present: true
  requested_policy_use_present: true
  changed_fact_or_explicit_absence_visible: true
  excluded_or_harmed_reader_present_or_explicit_absence: true
  future_policy_effect_possible: true
  no_fixed_turn_trigger: true
offered:
  card: storyteller.card.precedent_recall_docket.v1
  rite: storyteller.rite.precedent_scope_hearing.v1
source_precedent:
  source_id: <stable id>
  source_surface: <surface>
  issuing_desk: <desk>
  original_fact_pattern: <facts>
  original_ruling_or_exception: <result>
  original_protected_reader: <reader>
  source_scar_or_cost: <scar>
  nonbinding_boundary: <boundary>
recall_attempt:
  recalling_desk: <desk>
  current_case_id: <id>
  requested_policy_use: <use>
  claimed_match_basis: <basis>
  changed_fact_or_absence: <fact_or_absence>
branch_runs:
  scoped_branch:
    selected_response: narrow_bind | publish_bulletin | grant_variance | port_with_addendum | overrule_retire | quarantine_case_only | accept_overreach
    precedent_state_after: <state>
    bound_reader_state_after: <state>
    excluded_reader_state_after: <state>
    future_policy_effect: <effect>
    counter_deltas:
      relief: []
      cost: []
      future: []
  default_branch:
    emitted_event: storyteller.event.precedent_overreach_default.v1
    recalling_desk: <desk>
    false_match_claim: <claim>
    capturing_reader: <reader>
    excluded_reader: <reader_or_absence>
    future_policy_effect: false_universal_policy | desk_hostile | blocked | recovery_only | equivalent
    counter_deltas:
      relief: []
      cost: []
      future: []
assertions:
  - primary_links_exist
  - entry_is_state_triggered_from_source_precedent_and_recall_attempt
  - source_precedent_scope_and_scar_are_preserved
  - current_recall_attempt_changed_fact_and_excluded_reader_are_visible
  - docket_records_source_precedent_recall_attempt_scope_table_precedent_state_and_future_effect
  - hearing_requires_precedent_scope_handler_proof_bridge_cost_and_future_policy_effect
  - branches_diverge_by_scope_reader_cost_and_future_policy_effect
  - prior_local_success_cannot_become_universal_policy
  - default_records_recalling_desk_false_match_missing_scope_capturing_reader_excluded_reader_and_future_effect
  - future_reader_consumes_precedent_state
  - no_fixed_turn_day_week_raw_count_dashboard_or_lens_health_trigger

Progress metric

crossDeskPrecedentRecallProgress = 0..10:

  • 0: no precedent recall pressure.
  • 1: source precedent exists with scope or scar.
  • 2: recalling desk and current case are visible.
  • 3: requested policy use and claimed match basis are visible.
  • 4: changed fact or explicit absence and excluded reader are visible.
  • 5: 前例召回案卷 enters play with source precedent, recall attempt, scope table, state, and future effect.
  • 6: 前例范围听证 offers scope responses with handler, proof bridge, cost, and future effect.
  • 7: at least one scoped branch mutates reader, cost, and future policy state.
  • 8: overreach or default branch arms 前例越权默认.
  • 9: future consumer changes offers or route/license/desk acceptance from the precedent state.
  • 10: replay evidence proves scoped and default branches, divergent futures, and no fixed turn/count/dashboard/lens trigger.

Non-goals

  • Not gamebuilding governance.
  • Not a setting-law encyclopedia.
  • Not a raw count target.
  • Not a fixed-turn or fixed-calendar aftermath.
  • Not a replacement for oxygen foreclosure, sponsor afteruse, appeal residue, reader collision, scar convergence, provenance afterlife, live-floor load, or management compression.
  • Not valid unless a later desk recalls a preserved scoped result and a scope decision changes future play.