Route Loadout Afteruse Receipt Lens

This lens checks that a completed route loadout manifest cannot later be spent as clean universal route readiness unless afteruse scope, reader, displaced or harmed reader, proof bridge, scar, and future effect remain visible.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_loadout_manifest_visible: true
  source_compatibility_result_visible: true
  source_slot_scope_or_explicit_absence_visible: true
  source_future_effect_visible: true
  requested_afteruse_visible: true
  future_reader_or_route_consumes_loadout_state: true
  displaced_or_harmed_reader_visible_or_explicit_absence: true
  player_can_certify_restrict_bridge_reconcile_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_asset_count_trigger: true
  no_raw_route_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

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

Checks

1. Docket Preserves Manifest, Reader, And Afteruse

route_loadout_afteruse_docket:
  source_loadout_manifest: required
  source_compatibility_result: required
  source_slot_scope_or_absence: required
  source_future_effect: required
  requested_afteruse: required
  future_reader_or_route: required
  displaced_or_harmed_reader: required
  proof_bridge_or_explicit_absence: required
  selected_afteruse_posture: required
  route_loadout_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

• certify_loadout_scope;
• restrict_afteruse_reader;
• attach_route_bridge;
• reconcile_stale_slot;
• split_loadout_afteruse;
• quarantine_loadout_afteruse;
• false_route_loadout_afteruse_default;
• future_effect_any.

3. Default Mutates Future Play

false_route_loadout_afteruse_default:
  false_clean_loadout_afteruse: true
  source_loadout_manifest_or_absence: required
  hidden_or_overbroad_loadout_scope: required
  capturing_reader_or_route: required
  displaced_or_harmed_reader: required
  route_loadout_afteruse_state_after: 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 route loadout afteruse becomes executable in the game-content rollup.