Oxygen Reserve Gap Discharge Receipt / 呼吸储备缺口清偿回执机制

Oxygen Reserve Gap Discharge Receipt is the mechanism that prevents an assigned reserve gap from disappearing when a later desk files it as closed.

Oxygen Reserve Gap Assignment makes the uncovered remainder playable. This mechanism makes later discharge playable. It is not a new oxygen pool and not a generic payment rule. It exists only when a future reader wants to rely on gap paid, gap released, gap offset, gap waived, or equivalent closure.

Entry Contract

entry_state:
  trigger_kind: state_pressure
  source_gap_assignment_row_present: true
  discharge_claim_visible: true
  assigned_gap_holder_visible: true
  paid_or_released_scope_visible: true
  protected_reader_visible_or_explicit_absence: true
  burdened_reader_visible_or_explicit_absence: true
  future_reader_consumes_gap_discharge_state: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_gap_amount_trigger: true
  no_raw_oxygen_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

State Machine

State	Meaning	Future rule
gap_discharge_unread	closure is claimed but not scoped	offer docket/review
scoped_gap_discharge	one reader may consume the discharge	exact scope required later
public_queue_discharge	fan/public burden was discharged visibly	public reader can cite with audit cost
sponsor_true_up_discharge	sponsor paid or carried the gap	sponsor-only unless unwound
archive_lawful_discharge	archive/lawful proof exists	public reader still needs addendum
route_asset_care_discharge	care/rationing gap is satisfied for one asset	asset-only, with care debt
split_discharge_escrowed	incompatible readers remain alive	later reconciliation required
discharge_quarantined	closure is refused or unsafe	recovery-only or delayed
false_clean_gap_discharge	closure hides holder, scope, or reader	default mutates future play

Branch Contract

Every branch must expose:

• source gap assignment row;
• source provenance row or explicit absence;
• discharge claim;
• assigned gap holder;
• proof or explicit absence;
• protected and burdened readers;
• discharge scope;
• selected posture;
• future route effect.

Every constructive branch must mutate one relief surface, one cost surface, and one future reader or route state.

Counters

Useful counters include reserve_gap_pressure, oxygen_gap_legibility, fan_oxygen_resentment, public_receipt_legitimacy, refund_queue_pressure, sponsor_makegood_cost, sponsor_stop_loss_pressure, contract_capture, route_asset_care_debt, archive_debt, inspection_heat, recovery_only_pressure, and broadcast_reality_drift.

Failure Rule

If a future reader consumes discharge while source assignment, holder, proof, reader scope, burdened reader, or future effect is hidden, False Oxygen Gap Discharge Default fires or arms.

Integration

• With oxygen-reserve-gap-assignment, this mechanism consumes the assigned gap row; it does not replace assignment.
• With oxygen-reserve-provenance, discharge must preserve source scope when relevant.
• With recovery-indemnity-shelf, a refused or partial discharge can become indemnity-priced.
• With sponsor-makegood-inventory, sponsor true-up can lower immediate pressure while keeping public or lawful cost visible.