Crew Meal Voucher Afteruse Receipt Lens

This lens checks that a crew-meal voucher issued for welfare, catering, or shift survival cannot later be spent as proof of labor consent, performer identity, archive release authority, sponsor waiver, or audience-facing route ownership.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_voucher_row_visible: true
  meal_window_or_explicit_absence_visible: true
  original_holder_or_explicit_absence_visible: true
  welfare_policy_version_visible: true
  requested_afteruse_visible: true
  future_reader_consumes_voucher_state: true
  shift_or_holder_change_or_explicit_absence_visible: true
  proof_bridge_or_explicit_absence_visible: true
  harmed_worker_or_guest_visible_or_explicit_absence: true
  player_can_certify_restrict_attach_reopen_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_tag_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by a fixed turn/day, raw count, dashboard health, or a meal-voucher row with no future reader and no harmed or explicitly absent claimant.

Checks

1. Docket Preserves Voucher Welfare And Afteruse State

crew_meal_voucher_docket:
  source_voucher_row: required
  meal_window_or_absence: required
  original_holder_or_absence: required
  welfare_policy_version: required
  requested_afteruse: required
  future_reader_or_route: required
  shift_or_holder_change_or_absence: required
  proof_bridge_or_explicit_absence: required
  harmed_worker_or_guest: required
  selected_voucher_posture: required
  voucher_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required
  universal_clean_voucher: false

2. Review Branches Diverge

Required branch families:

  • certify_voucher_scope;
  • restrict_voucher_reader;
  • attach_catering_bridge;
  • reopen_harmed_worker;
  • split_meal_welfare_from_labor_consent;
  • quarantine_voucher_afteruse;
  • false_voucher_default;
  • future_effect_any.

3. Default Mutates Future Play

false_crew_meal_voucher_default:
  false_clean_voucher: true
  source_voucher_row_or_absence: required
  hidden_or_stale_welfare_basis: required
  capturing_reader_or_route: required
  harmed_worker_or_guest: required
  voucher_afteruse_state_after: false_clean_default
  future_reader_effect: recovery_only
  counter_deltas_min: 3
  durable_mutation: true

4. Runtime Evidence

A lens-scoped durable replay must show the review selected a scoped voucher branch and moved named counters without treating the meal voucher as universal proof.