Oxygen Priority Ladder Lens / 呼吸优先梯 Lens

This lens observes whether 呼吸优先梯线 and 呼吸优先梯机制 correctly implement a replay-visible senior/junior priority surface for finite oxygen, public, recovery, ward, archive, sponsor, and route-asset benefits.

The current corpus already contains claim exchange, sponsor makegood, recovery inventory, indemnity, and archive enforcement surfaces. This lens targets the remaining failure mode: a successful branch can still accidentally erase the subordinated claimant. The implementation passes only when the junior claimant and future reader survive the branch.

This lens observes:

It is observed through:

Observable promise

When one finite breath, public receipt, ward air, sponsor credit, recovery air row, archive proof window, or route-asset care slot is ranked between incompatible claimants, the game must prove:

  • why the branch opened;
  • what finite benefit is being ranked or why it is absent;
  • who is senior;
  • who is junior or explicitly absent;
  • which basis legitimizes the ranking;
  • which proof bridge and handler carry the decision;
  • which junior scar survives;
  • which future reader consumes the result.

The lens fails if the result is only oxygen spent, sponsor satisfied, fans refunded, archive accepted, audience stable, management approved, or priority resolved.

Entry oracle

A valid entry must come from state pressure:

entry_state_required:
  trigger_kind: state_pressure
  source_surface_visible: true
  finite_benefit_or_explicit_absence_visible: true
  at_least_two_claimants_or_default_narrator_visible: true
  candidate_priority_basis_visible: true
  future_reader_present: true
  player_can_set_seniority_split_refuse_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 is driven by fixed turn count, day/week interval, chapter quota, raw oxygen amount, raw claim count, dashboard state, lens health, generic sponsor anger, generic audience instability, or generic legal review without a finite benefit and claimant priority conflict.

Required observable content

Priority ladder card

呼吸优先梯 or equivalent must record:

priority_row_required:
  source_surface: fan_oxygen_refund | ward_air_reserve | public_receipt_minute | sponsor_makegood_credit | audience_floor_patch | recovery_air_row | archive_proof_window | route_asset_care | explicit_absence
  source_card_or_absence: <card id or explicit_absence>
  finite_quantity_or_absence: <quantity tag or explicit_absence>
  senior_claimant: fan_public | ward_queue | sponsor | archive | inspector | artist_boundary | public_reader | route_asset | management | explicit_absence
  junior_claimants:
    - <claimant or explicit_absence>
  priority_basis: receipt_seniority | ward_air_need | sponsor_floor | archive_lien | public_lottery | lawful_boundary | route_asset_care | management_override | explicit_absence
  chosen_rule: fan_seniority_first | sponsor_floor_first | archive_lien_first | ward_reserve_first | public_lottery | split_with_junior_note | refuse_priority | default_capture
  assigned_handler_or_absence: <handler route asset claimant clerk or explicit_absence>
  proof_bridge_or_absence: fan_queue_receipt | sponsor_duplicate | archive_lien | public_receipt | ward_log | recovery_counterstub | audience_index | explicit_absence
  junior_scar: refund_delayed | sponsor_makegood_costlier | oxygen_resentment | archive_lien_pending | public_distrust | ward_air_block | artist_boundary_challenge | route_asset_care_debt | hostile_claimant | explicit_absence
  future_reader: sponsor_makegood | fan_oxygen_audit | audience_stability | archive_enforcement | recovery_inventory | lawful_reader | route_asset | public_receipt | equivalent

The lens fails if the card records senior success without junior claimant and junior scar.

Priority recut rite

呼吸优先重剪 or equivalent must require:

assignment_required:
  priority_ladder_card: storyteller.card.oxygen_priority_ladder.v1
  finite_benefit_or_absence: <benefit_or_absence>
  senior_claimant: <claimant>
  junior_claimant_or_absence: <claimant_or_explicit_absence>
  priority_basis: <basis>
  assigned_handler_or_absence: <handler_or_absence>
  proof_bridge_or_absence: <proof_or_absence>
  future_reader: <reader>
  chosen_rule: fan_seniority_first | sponsor_floor_first | archive_lien_first | ward_reserve_first | public_lottery | split_with_junior_note | refuse_priority | default_capture

The lens fails if sponsor money, public outrage, archive seal, management authority, or a named character satisfies these slots by implication.

Priority default event

呼吸优先默认 or equivalent must record:

default_required:
  event: storyteller.event.oxygen_priority_default.v1
  priority_row_or_absence: <row_id or explicit_absence>
  default_author: sponsor | fan_public | archive | inspector | management | schedule_board | producer_absence | equivalent
  filed_senior_claimant: <claimant or explicit_absence>
  hidden_junior_claimant: <claimant or explicit_absence>
  captured_benefit: <benefit or explicit_absence>
  missing_priority_basis: <basis or explicit_absence>
  false_clean_claim: <claim>
  junior_scar: <scar>
  future_reader_effect: sponsor_only | fan_public_hostile | archive_only | public_only | recovery_only | costlier | blocked | split_required | lawful_review_required | route_asset_debt
  counter_deltas_min: 3

Default is invalid if it is only reputation loss, money loss, mood change, generic oxygen audit, or sponsor pressure.

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
Fan seniority firstfan oxygen, refund confidence, or public receipt improvessponsor makegood, schedule, archive, or inspection cost risessponsor makegood costlier, split-required, or disputed
Sponsor floor firstsponsor stop-loss or commercial continuity improvesfan resentment, public distrust, ward delay, or inspection heat risesfan audit, public counterclaim, hostile junior claimant
Archive lien firstcustody, lawful reader, or proof legitimacy improvesaudience churn, refund delay, sponsor hostility, or schedule pressure risesarchive-only until release, lawful review, checksum required
Ward reserve firstward air, route-asset care, or recovery continuity improvessponsor/fan/public/archive claimant is subordinatedrecovery-only, ward-protected, makegood blocked
Public lotterypublic legitimacy or fairness visibility improvesambiguity and unsatisfied claimant pressure riseslottery-scarred public-only or costlier reader
Split with junior noteone route unblocks while another stays visibleambiguity, paperwork debt, public distrust, or archive lien risessplit-required, junior receipt pending, future bridge required
Refuse priorityfalse clean seniority is blockedimmediate sponsor/fan/archive/schedule pressure risesdisputed, blocked, costlier, contradiction-pending
Default captureno clean relief requiredhidden junior claimant and false-clean priority hardensponsor-only, archive-only, management-only, recovery-only, blocked, costlier

No branch may create universal acceptance across sponsor, fan public, ward queue, archive, inspector, public receipt, lawful, recovery, management, route-asset, and audience readers.

Future-reader consumption

At least one downstream reader must consume the priority result:

future_consumption_required:
  consumer: sponsor_makegood | fan_oxygen_audit | audience_stability | archive_enforcement | recovery_inventory | lawful_reader | route_asset | public_receipt | equivalent
  consumed_state: sponsor_makegood_costlier | fan_audit_open | archive_only_until_release | public_only | recovery_only | lawful_review_required | split_required | blocked | costlier | route_asset_debt | equivalent
  junior_claimant_read: true

The lens fails if priority state is never read by later route logic.

Counter contract

Every resolved branch must mutate at least three counters or durable states:

counter_deltas_required:
  relief: at_least_one
  cost: at_least_one
  future_reader_or_route_effect: at_least_one

Relevant surfaces:

  • fan_oxygen_balance
  • fan_oxygen_resentment
  • sponsor_stop_loss_pressure
  • sponsor_makegood_cost
  • audience_churn
  • public_receipt_legitimacy
  • public_receipt_distrust
  • ward_air_capacity
  • archive_lien_debt
  • recovery_inventory_double_spend_risk
  • route_asset_care_debt
  • inspection_heat
  • management_capture
  • future_route_effect

Replay evidence shape

lens_id: storyteller.lens.oxygen_priority_ladder.v1
session_id: lens-oxygen-priority-ladder-v1-<timestamp>
seed: <deterministic-seed>
entry_state:
  trigger_kind: state_pressure
  source_surface_visible: true
  finite_benefit_or_absence_visible: true
  claimants_or_default_narrator_visible: true
  priority_basis_candidate_visible: true
  future_reader_present: true
  no_fixed_turn_trigger: true
offered:
  card: storyteller.card.oxygen_priority_ladder.v1
  rite: storyteller.rite.oxygen_priority_recut.v1
branch_runs:
  successful_branch:
    selected_branch: fan_seniority_first | sponsor_floor_first | archive_lien_first | ward_reserve_first | public_lottery | split_with_junior_note | refuse_priority
    finite_benefit_spent_or_absent: <benefit_or_absence>
    senior_claimant_after: <claimant>
    junior_claimants_after:
      - <claimant_or_absence>
    priority_basis_after: <basis>
    proof_bridge_or_absence: <proof_or_absence>
    junior_scar_after: <scar>
    future_reader_effect: <effect>
    counter_deltas:
      relief: []
      cost: []
      future: []
  default_branch:
    event_seen_or_armed: storyteller.event.oxygen_priority_default.v1
    default_author: <author>
    filed_senior_claimant: <claimant>
    hidden_junior_claimant: <claimant_or_absence>
    captured_benefit: <benefit>
    missing_priority_basis: <basis_or_absence>
    false_clean_claim: <claim>
    future_reader_effect: sponsor_only | archive_only | public_only | recovery_only | costlier | blocked | split_required
future_consumption:
  consumer: sponsor_makegood | fan_oxygen_audit | audience_stability | archive_enforcement | recovery_inventory | lawful_reader | route_asset | public_receipt
  consumed_state: <state>
  junior_claimant_read: true
assertions:
  primary_links_exist: true
  entry_is_state_triggered_by_finite_priority_conflict: true
  source_surface_and_finite_benefit_or_absence_visible: true
  senior_claimant_junior_claimant_priority_basis_proof_bridge_handler_and_future_reader_visible: true
  priority_recut_assignment_slots_are_explicit: true
  branch_families_diverge_by_senior_claimant_junior_scar_and_future_reader: true
  success_has_relief_cost_and_future_effect: true
  no_universal_priority_solution: true
  default_records_captured_benefit_hidden_junior_false_clean_claim_and_future_route_scar: true
  downstream_reader_consumes_priority_result: true
  no_fixed_turn_day_week_raw_count_dashboard_or_lens_health_trigger: true

Progress metric

oxygenPriorityLadderProgress = 0..10:

  • 0: no finite benefit or explicit absence.
  • 1: source surface is visible.
  • 2: at least two claimants or default narrator are visible.
  • 3: candidate priority basis is visible.
  • 4: future reader is visible.
  • 5: Oxygen Priority Ladder enters play.
  • 6: Oxygen Priority Recut exposes senior/junior assignment slots.
  • 7: at least three non-equivalent priority branches produce relief, cost, and future effect.
  • 8: split/refuse branch preserves junior claimant rather than deleting it.
  • 9: Oxygen Priority Default creates a durable false-priority scar.
  • 10: a downstream sponsor, fan, archive, recovery, public, lawful, or route-asset reader consumes the priority result and reads the junior claimant.

Failure cases

The lens must fail if any of these are true:

  • entry is triggered by fixed turn count, fixed date/week, chapter quota, raw claim count, raw oxygen amount, dashboard state, or lens health;
  • no finite benefit or explicit absence is visible;
  • senior claimant is visible but junior claimant is absent without explicit default narrator;
  • priority basis is missing;
  • proof bridge, handler, or future reader is implied rather than recorded;
  • sponsor money, archive seal, public outrage, or management authority creates clean priority;
  • fan oxygen, ward air, route-asset care, public receipt, recovery row, or archive proof becomes clean sponsor inventory;
  • a positive branch lacks relief, cost, or future effect;
  • default changes only mood, reputation, money, or generic oxygen pressure;
  • no downstream reader consumes the priority result.

Non-goals

  • Not a global economy or governance document.
  • Not a universal oxygen HP bar.
  • Not another sponsor makegood settlement.
  • Not a generic claims court.
  • Not raw lens count expansion.
  • Not fixed-turn content.
  • Not valid if seniority deletes the junior claimant or future reader.