Schedule Advance Debt Receipt Lens

This lens observes whether accepting a schedule contract creates a visible advance-debt receipt before future play consumes the resources, rights, access, or exemptions granted by that acceptance.

The passing implementation proves that an acceptance advance is not just budget +3, stage pass gained, slot occupied, or contract active. It must preserve accepted contract, grant, creditor, harmed reader, advance state after, and future route effect.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  accepted_schedule_contract_visible: true
  advance_grant_visible: true
  granted_resource_or_right_visible: true
  advance_creditor_or_grantor_visible: true
  future_reader_consumes_advance_state: true
  player_can_receipt_scope_collateralize_reassign_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_contract_count_trigger: true
  no_raw_free_slot_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is a fixed turn, fixed day, raw contract count, raw free-slot count, dashboard readiness, lens-health check, or generic schedule pressure.

Bound Packet

The lens expects Schedule Advance Debt Receipt, Schedule Advance Debt Receipt, Schedule Contract, Broadcast Slot Contracts, Schedule Advance Ledger, Schedule Advance Readback, Unreceipted Schedule Advance Default, sibling schedule-advance-debt-receipt.lens.ts, and evaluator registration storyteller.lens.schedule_advance_debt_receipt.v1.

Checks

1. Advance and debt are separate

schedule_advance_ledger:
  accepted_contract_row: required
  accepted_slot_kind: required
  advance_grant: required
  granted_resource_or_right: required
  grantor_or_creditor: required
  borrowed_from_future_slot_or_absence: required
  harmed_or_displaced_reader_or_absence: required
  selected_advance_posture: required
  advance_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Branches diverge

The readback must expose receipt_clean_advance, scope_advance_rights, collateralize_advance_debt, reassign_advance_cost, split_advance_by_reader, quarantine_advance_use, unreceipted_advance_default, and future_effect_any.

3. Default mutates future play

unreceipted_schedule_advance_default:
  false_free_advance_claim: true
  accepted_contract_row_or_absence: required
  hidden_or_unpriced_advance: required
  capturing_reader: required
  harmed_or_displaced_reader: required
  advance_state_after: required
  future_reader_effect: required
  counter_deltas_min: 3
  durable_mutation: true

4. No universal accepted advance

no_universal_schedule_advance:
  accepted_contract_row_preserved: true
  grantor_or_creditor_visible: true
  harmed_or_displaced_reader_visible_or_explicit_absence: true
  raw_resource_gain_not_sufficient: true
  future_reader_effect_not_clean_universal: true

Adjacency

Broadcast Slot Contract Binding owns later spending of slot authority, License Slot Release Receipt owns capacity release, Prep Action Budget Overdraft owns daily action capacity, and License Exemption Freeze Grant owns exemptions or freezes after they are claimed.