Box-Office Float Key Afteruse Receipt Lens
This lens checks that a temporary box-office float key cannot later be spent as clean authority for sponsor comp settlement, emergency ticket refunds, cash drawer access, or route-asset payout custody unless the game preserves the float row, cashier or explicit absence, house manager authority, displaced treasurer or ticketing worker, requested afteruse, proof bridge, selected posture, after-state, and future route effect.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_float_key_row_visible: true
cashier_visible_or_explicit_absence: true
house_manager_authority_visible_or_explicit_absence: true
displaced_treasurer_or_ticketing_worker_visible_or_explicit_absence: true
requested_afteruse_visible: true
proof_bridge_or_explicit_absence_visible: true
future_reader_consumes_float_key_state: true
player_can_certify_restrict_bridge_split_quarantine_or_default: true
no_fixed_turn_trigger: true
no_fixed_day_or_week_trigger: true
no_raw_key_count_trigger: true
no_dashboard_or_lens_health_trigger: trueThe lens fails if entry is driven by fixed time, raw key totals, dashboard health, or a float key row with no future reader trying to consume it.
Checks
1. Docket Preserves Float Key Custody And Afteruse
box_office_float_key_docket:
source_float_key_row: required
cashier_or_absence: required
house_manager_authority_or_absence: required
displaced_treasurer_or_ticketing_worker: required
requested_afteruse: required
future_reader_or_route: required
proof_bridge_or_explicit_absence: required
selected_float_key_posture: required
float_key_afteruse_state_after: required
future_reader_or_route_effect: required
counter_deltas: required
universal_clean_float_key: false2. Review Branches Diverge
Required branch families:
certify_float_key_scope;restrict_float_key_reader;attach_box_office_bridge;split_cash_from_sponsor_settlement;quarantine_float_key_afteruse;false_float_key_default;future_effect_any.
Every branch must record relief, cost, and future route effects.
3. Default Mutates Future Play
false_box_office_float_key_default:
false_clean_float_key: true
source_float_key_row_or_absence: required
hidden_or_overbroad_cash_scope: required
capturing_reader_or_route: required
displaced_treasurer_or_ticketing_worker: required
float_key_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, and a lens-scoped durable replay show one selected branch changing named counters and future route state without treating the box-office float key as universal cash or sponsor-settlement consent.