Ticket Taker Handstamp Afteruse Receipt Lens
This lens checks that a door handstamp preserved from audience admission cannot later be consumed as universal attendance, consent, custody, sponsor immunity, or memorial witness authority unless the game preserves source handstamp, gate log, ink band, ticket taker or explicit absence, challenged patron, requested afteruse, future reader, selected posture, after-state, and future route effect.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_handstamp_visible: true
admission_gate_or_explicit_absence_visible: true
ink_band_or_changeover_visible: true
ticket_taker_or_explicit_absence_visible: true
challenged_patron_visible_or_explicit_absence: true
requested_afteruse_visible: true
future_reader_consumes_handstamp_state: true
player_can_certify_bind_reopen_split_quarantine_or_default: true
no_fixed_turn_trigger: true
no_fixed_day_or_week_trigger: true
no_raw_handstamp_count_trigger: true
no_dashboard_or_lens_health_trigger: trueChecks
1. Docket Preserves Admission Provenance
ticket_taker_handstamp_docket:
source_handstamp: required
gate_log_or_absence: required
ink_band_or_changeover: required
ticket_taker_or_absence: required
challenged_patron_or_absence: required
requested_afteruse: required
future_reader_or_route: required
selected_handstamp_posture: required
handstamp_afteruse_state_after: required
future_reader_or_route_effect: required
counter_deltas: required
universal_clean_handstamp: false2. Review Branches Diverge
Required branch families:
certify_stamp_scope;bind_gate_log;reopen_challenged_patron;split_admission_from_custody;quarantine_handstamp_afteruse;false_clean_handstamp_default;future_effect_any.
Each branch must name relief, cost, counters, and future route effects.
3. Default Mutates Future Play
false_ticket_taker_handstamp_default:
false_clean_handstamp: true
source_handstamp_or_absence: required
hidden_or_overbroad_attendance_scope: required
capturing_reader_or_route: required
challenged_patron_or_absence: required
handstamp_afteruse_state_after: false_clean_default
future_reader_effect: recovery_only
counter_deltas_min: 3
durable_mutation: trueProgress Metric
Satisfied when the sibling TypeScript binding, focused card/rite/event content, runtime Jest assertions, and a lens-scoped durable replay show one selected branch changing named counters and future route state without treating the handstamp as universal admission, consent, or custody authority.