Orchestra Pit Towel Afteruse Receipt Lens
This lens checks that an orchestra-pit towel used during a spill and breath-break cleanup cannot later be spent as clean biohazard clearance, artist consent, route asset ownership, or memorial custody unless the game preserves the source towel tag, pit steward or explicit absence, spill/breath context, cited cleaning scope, requested afteruse, harmed musician or explicit absence, proof bridge, selected posture, after-state, and future route effect.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_towel_tag_visible: true
pit_steward_visible_or_explicit_absence: true
spill_or_breath_context_visible: true
cited_cleaning_scope_visible: true
requested_afteruse_visible: true
harmed_musician_visible_or_explicit_absence: true
proof_bridge_or_explicit_absence_visible: true
future_reader_consumes_towel_state: true
player_can_certify_restrict_bridge_reopen_split_quarantine_or_default: true
no_fixed_turn_trigger: true
no_fixed_day_or_week_trigger: true
no_raw_towel_count_trigger: true
no_dashboard_or_lens_health_trigger: trueThe lens fails if entry is driven by fixed time, raw towel inventory, dashboard health, or a cleanup towel with no future reader trying to consume it.
Checks
1. Docket Preserves Towel Custody And Afteruse
orchestra_pit_towel_docket:
source_towel_tag: required
pit_steward_or_absence: required
spill_or_breath_context: required
cited_cleaning_scope: required
requested_afteruse: required
future_reader_or_route: required
harmed_musician_or_absence: required
proof_bridge_or_explicit_absence: required
selected_towel_posture: required
towel_afteruse_state_after: required
future_reader_or_route_effect: required
counter_deltas: required
universal_clean_clearance: false2. Review Branches Diverge
Required branch families:
certify_towel_scope;restrict_towel_reader;attach_pit_steward_bridge;reopen_harmed_musician_claim;split_cleanup_note_from_biohazard_clearance;quarantine_towel_afteruse;false_towel_default;future_effect_any.
3. Default Mutates Future Play
false_orchestra_pit_towel_default:
false_clean_towel: true
source_towel_tag_or_absence: required
hidden_or_overbroad_cleaning_scope: required
capturing_reader_or_route: required
harmed_musician_or_absence: required
towel_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 orchestra-pit towel as universal biohazard clearance, artist consent, or ownership proof.