Oxygen Rebate Collar Afteruse Receipt Lens

This lens checks that a completed oxygen rebate collar row cannot later be spent as clean universal relief unless the afteruse scope, reader, burdened or excluded reader, proof bridge, scar, and future effect remain visible.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_collar_row_visible: true
  source_claim_object_or_explicit_absence_visible: true
  source_queue_holder_or_explicit_absence_visible: true
  source_recognition_surface_visible: true
  source_collar_state_visible: true
  requested_afteruse_visible: true
  future_reader_consumes_rebate_collar_state: true
  burdened_or_excluded_reader_visible_or_explicit_absence: true
  player_can_certify_restrict_bridge_unwind_reissue_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_rebate_amount_trigger: true
  no_raw_oxygen_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

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

Checks

1. Docket Preserves Collar Row, Reader, And Afteruse

oxygen_rebate_collar_afteruse_docket:
  source_collar_row: required
  source_claim_object_or_absence: required
  source_queue_holder_or_absence: required
  source_recognition_surface: required
  source_collar_state_before_afteruse: required
  requested_afteruse: required
  future_reader_or_route: required
  burdened_or_excluded_reader: required
  proof_bridge_or_explicit_absence: required
  selected_afteruse_posture: required
  rebate_collar_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

• certify_collar_scope;
• restrict_afteruse_reader;
• attach_refund_or_public_bridge;
• unwind_sponsor_credit_capture;
• reissue_rebate_receipt;
• quarantine_rebate_afteruse;
• false_rebate_collar_afteruse_default;
• future_effect_any.

3. Default Mutates Future Play

false_rebate_collar_afteruse_default:
  false_clean_rebate_afteruse: true
  source_collar_row_or_absence: required
  hidden_or_overbroad_collar_scope: required
  capturing_reader_or_route: required
  burdened_or_excluded_reader: required
  rebate_collar_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 rebate collar afteruse becomes executable in the game-content rollup.