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: trueThe 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: false2. 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: true4. 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.