License Exemption Freeze Grant Lens / 牌照豁免冻结授予 Lens

This lens observes whether 牌照豁免冻结授予线 makes producer-license exemptions, freezes, and borrowed-forward capacity executable before a future reader spends the exception.

The passing implementation proves that a temporary exemption is not a free slot and a freeze is not a harmless pause. It must preserve source slot, grant authority, proof anchor or absence, duration or review condition, unresolved claims, exemption state after, and future reader effect.

Observable promise

A passing implementation must show:

  • a source slot row;
  • the slot state before exemption or freeze;
  • the exemption or freeze claim;
  • grant authority;
  • proof anchor or explicit absence;
  • duration, expiry, or review condition;
  • unresolved claims, scars, or explicit absence;
  • selected review posture;
  • exemption state after;
  • future reader, route, forced main, correction, side slot, sponsor package, lawful filing, public table, weekly audit, or broadcast-reality effect;
  • durable default when a hidden exception becomes clean usable capacity.

The lens fails if the game records only free slot, exempted, frozen, delayed, days extended, capacity available, or license_slots_free.

Entry oracle

entry_state_required:
  trigger_kind: state_pressure
  exemption_or_freeze_claim_visible: true
  source_slot_row_visible: true
  grant_authority_visible: true
  proof_anchor_visible_or_explicit_absence: true
  duration_or_review_condition_visible_or_explicit_absence: true
  unresolved_claims_or_absence_visible: true
  future_reader_consumes_exemption_state: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_slot_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens must fail if entry is driven by fixed turn number, day/week interval, chapter quota, raw slot count, dashboard state, lens health, or generic low capacity.

Ledger oracle

License Exemption Freeze Ledger or equivalent must record:

docket_required:
  source_slot:
    slot_id: <stable slot id>
    slot_kind: main_broadcast | side_broadcast | correction | lawful_airing | sponsor_package | blackout_containment | recovery_slot | equivalent
    capacity_state_before: occupied | premiere_due | folded_blackout | frozen | exempted | audit_hold | borrowed_forward | forced_main_pending | correction_pending | recovery_only | explicit_absence
    occupying_source_or_absence: <source or explicit_absence>
    reader_scope_before: <scope or explicit_absence>
  exemption_or_freeze_claim:
    claim_text_or_summary: <summary>
    claim_kind: temporary_exemption | audit_freeze | lawful_stay | sponsor_waiver | public_delay | borrowed_forward | forced_main_hold | correction_hold | equivalent
    grant_authority: producer_license | board_audit | lawful_seal | sponsor_waiver | public_receipt | management_order | route_asset_holder | explicit_absence
    proof_anchor_or_absence: audit_row | lawful_seal | public_addendum | sponsor_unwind | quarantine_order | weekly_cycle_row | archive_row | explicit_absence
    duration_or_review_condition_or_absence: <condition or explicit_absence>
  unresolved_claims_or_absence:
    - <claimant or explicit_absence>
  selected_posture: grant_scoped_exemption | freeze_under_audit | extend_with_collateral | borrow_forward_capacity | refuse_exemption | transfer_exemption_authority | hidden_exemption_default
  exemption_state_after: scoped_exemption | audit_frozen | collateralized_extension | borrowed_forward | refused_exception | delegated_exemption | false_exempt_capacity | blocked | costlier | recovery_only
  future_reader_or_route_effect: <effect>

Rite oracle

License Exemption Freeze Review or equivalent must expose:

  • grant_scoped_exemption
  • freeze_under_audit
  • extend_with_collateral
  • borrow_forward_capacity
  • refuse_exemption
  • transfer_exemption_authority
  • hidden_exemption_default

Each branch must include relief_any, cost_any, and future_effect_any.

Default oracle

Hidden Exemption Capacity Default must record:

hidden_exemption_default:
  false_capacity_claim:
    claim_text_or_summary: <summary>
    consumed_as: forced_main_capacity | side_slot_capacity | correction_slot | route_asset_unlock | sponsor_package | lawful_filing | public_table | weekly_rollover | broadcast_reality | equivalent
    exception_actor: <actor>
  hidden_or_invalid_inputs:
    source_slot_row: missing | hidden | wrong_slot | explicit_absence | equivalent
    grant_authority: missing | expired | captured | unsupported | explicit_absence | equivalent
    proof_anchor: missing | invalid | out_of_scope | false_receipt | explicit_absence | equivalent
    duration_or_review_condition: missing | expired | hidden | ignored | explicit_absence | equivalent
    unresolved_claim: blackout_scar | sponsor_claim | public_claim | lawful_hold | archive_claim | route_asset_claim | management_greenwash | explicit_absence | equivalent
  capturing_reader: management | sponsor | public | lawful_reader | archive | route_asset | forced_main | broadcast_reality | equivalent
  exemption_state_after: false_exempt_capacity | polluted | audit_frozen | blocked | costlier | hostile | recovery_only | equivalent
  future_reader_effect: forced_main_polluted | correction_invalid | route_costlier | side_slot_blocked | sponsor_capture | lawful_addendum_due | public_distrust | weekly_audit_required | broadcast_reality_drift | recovery_only | equivalent
  counter_deltas_min: 3

The default fails if it is only a UI warning, raw countdown correction, morale loss, or generic pressure tick.

No raw exception capacity

No branch may convert raw free-slot count, hidden exemption, hidden freeze, absent proof, or unpriced reader claims into clean universal capacity.

Required evidence:

no_raw_exemption_capacity:
  source_slot_row_preserved: true
  grant_authority_visible: true
  proof_anchor_visible_or_explicit_absence: true
  duration_or_review_condition_visible_or_explicit_absence: true
  unresolved_claims_visible_or_explicit_absence: true
  raw_slot_count_not_sufficient: true
  future_reader_effect_not_clean_universal: true

Progress metric

  • 0: no exemption/freeze grant surface.
  • 1: storyline, mechanism, ledger, rite, event, lens, and sibling binding exist.
  • 2: entry requires visible exemption/freeze claim, source slot, grant authority, and future consumer.
  • 3: ledger records source slot, proof, review condition, unresolved claims, selected posture, and state after.
  • 4: review branches diverge by scoped exemption, audit freeze, collateral extension, borrowed-forward capacity, refusal, transfer, or default.
  • 5: default records false capacity claim, hidden or invalid inputs, capturing reader, and future mutation.
  • 6: raw slot count or hidden exception cannot create clean universal capacity.

Replay evidence expectation

lens_id: storyteller.lens.license_exemption_freeze_grant.v1
session_id: lens-license-exemption-freeze-grant-v1-<timestamp>
seed: <deterministic-seed>
entry_state:
  trigger_kind: state_pressure
  exemption_or_freeze_claim_visible: true
  source_slot_row_visible: true
  grant_authority_visible: true
  future_reader_consumes_exemption_state: true
  no_raw_slot_count_trigger: true
offered:
  card: storyteller.card.license_exemption_freeze_ledger.v1
  rite: storyteller.rite.license_exemption_freeze_review.v1
branch_runs:
  scoped_success:
    selected_posture: grant_scoped_exemption | freeze_under_audit | extend_with_collateral | borrow_forward_capacity | refuse_exemption | transfer_exemption_authority
    exemption_state_after: <state>
    future_reader_or_route_effect: <effect>
    counter_deltas:
      relief: []
      cost: []
      future: []
  default:
    selected_posture: hidden_exemption_default
    event_seen_or_armed: storyteller.event.hidden_exemption_capacity_default.v1

Non-goals

  • Not a free-capacity lens.
  • Not a replacement for release receipt, weekly audit, or producer-license encumbrance.
  • Not a forced-main collision duplicate.
  • Not valid if license_slots_free, days_remaining, or slot_frozen changes without source slot, authority, proof, review condition, claims, and future consumer.