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: true

The 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: false

2. 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: true

Progress 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.