Ticket Booth Bell Clapper Afteruse Receipt Lens
This lens checks that a snapped ticket booth bell clapper recovered after a sponsor-broadcast overture cannot later be spent as clean ticket-booth clearance, sponsor refund consent, memorial cue permission, or archive-stage custody unless the game preserves clapper serial, strike-mark clapper match, refund_window cue context, cashier witness or explicit absence, sponsor refund claim, proof bridge, selected posture, after-state, and future route effect.
Entry Oracle
entry_state:
trigger_kind: state_pressure
clapper_serial_visible: true
strike_mark_match_visible: true
refund_window_cue_context_visible: true
cashier_witness_visible_or_explicit_absence: true
sponsor_refund_claim_visible: true
proof_bridge_or_explicit_absence_visible: true
future_reader_consumes_clapper_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_receipt_count_trigger: true
no_dashboard_or_lens_health_trigger: trueThe lens fails if entry is driven by fixed time, raw receipt count, dashboard health, or a clapper prop row with no future reader trying to consume it.
Checks
1. Docket Preserves Clapper Custody And Afteruse
ticket_booth_bell_clapper_docket:
clapper_serial: required
strike_mark_match: required
refund_window_cue_context: required
cashier_witness_or_absence: required
sponsor_refund_claim: required
proof_bridge_or_explicit_absence: required
future_reader_or_route: required
selected_clapper_posture: required
bell_clapper_afteruse_state_after: required
future_reader_or_route_effect: required
counter_deltas: required
clean_ticket-booth_authority: false2. Review Branches Diverge
Required branch families:
certify_refund_window_scope;bind_strike_mark_match;reopen_cashier_witness;split_clapper_from_authority;quarantine_bell_clapper_afteruse;false_ticket_booth_clearance_default;future_effect_any.
3. Default Mutates Future Play
false_ticket_booth_clearance_default:
false_clean_ticket-booth_authority: true
clapper_serial_or_absence: required
hidden_or_overbroad_refund_window_scope: required
capturing_reader_or_route: required
cashier_witness_or_absence: required
bell_clapper_afteruse_state_after: falsely_clean
future_reader_effect: recovery_only
counter_deltas_min: 3
durable_mutation: trueProgress Metric
Satisfied when the sibling TypeScript binding, focused card/rite/event content, and a lens-scoped durable replay show one selected branch changing named counters and future route state without treating the clapper as universal ticket-booth clearance, sponsor refund consent, memorial cue permission, or archive-stage custody.