Folded Schedule Afterimage Receipt Lens

This lens checks that a folded schedule cannot later be spent as clean capacity, clean closure, or universal proof.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_folded_slot_visible: true
  black_screen_incident_visible: true
  original_schedule_contract_visible_or_explicit_absence: true
  occupied_license_slot_visible: true
  afterimage_reader_consumes_fold_state: true
  harmed_or_displaced_reader_visible_or_explicit_absence: true
  player_can_receipt_release_convert_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_blackout_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by fixed turn, fixed day/week, raw blackout count, dashboard state, or lens-health state.

Checks

1. Docket Preserves Fold And Afterimage Scope

folded_schedule_afterimage_docket:
  source_folded_slot: required
  original_schedule_contract_or_absence: required
  black_screen_incident: required
  occupied_license_slot: required
  afterimage_reader_or_route: required
  claimed_closure_or_reuse: required
  harmed_or_displaced_reader_or_absence: required
  selected_afterimage_posture: required
  slot_state_after: required
  blackout_scar_state_after: required
  future_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

• certify_folded_scar_receipt;
• release_slot_with_afterimage;
• convert_to_blackout_recovery;
• route_afterimage_claimant;
• quarantine_folded_slot;
• publicize_folded_cost;
• false_clean_folded_closure_default;
• future_effect_any.

3. Default Mutates Future Play

false_clean_folded_schedule_closure_default:
  false_clean_fold_closure: true
  source_folded_slot: required
  black_screen_incident: required
  occupied_license_slot: required
  hidden_afterimage_reader_or_absence: required
  omitted_blackout_scar: required
  default_narrator: required
  future_reader_effect: required
  counter_deltas_min: 3
  durable_mutation: true

4. Runtime Rollup Status Is Explicit

This is a direct-wiki contract bound to an evaluator entry. Runtime source objects and durable replay can be added later if the folded-schedule afterimage lane becomes executable in the game-content rollup.