Orchestra Pit Rosin Cloth Afteruse Receipt Lens
This lens checks that a rosin-cloth tag from one pit-flow correction cannot be consumed later as clean pit safety authority after the humidity map, responsible steward, or slipped violist has changed.
Entry Oracle
entry_state:
trigger_kind: state_pressure
source_rosin_cloth_visible: true
original_pit_row_visible: true
original_house_steward_visible: true
original_humidity_or_explicit_absence_visible: true
requested_afteruse_visible: true
afteruse_caller_visible: true
humidity_change_or_explicit_absence_visible: true
blocked_violist_visible_or_explicit_absence: true
future_pit_consumes_rosin_state: true
player_can_certify_attach_split_reopen_notice_quarantine_or_default: true
no_fixed_turn_trigger: true
no_fixed_day_or_week_trigger: true
no_raw_pit_count_trigger: true
no_dashboard_or_lens_health_trigger: trueChecks
1. Docket Separates Prior Rosin Cloth From Current Pit Authority
orchestra_pit_rosin_cloth_afteruse_docket:
source_rosin_cloth: required
original_pit_row: required
original_house_steward: required
original_humidity_or_absence: required
rosin_state_before: required
requested_afteruse: required
afteruse_caller: required
humidity_change_or_absence: required
proof_bridge_or_absence: required
blocked_violist: required
selected_afteruse_posture: required
rosin_cloth_afteruse_state_after: required
future_gate_or_route_effect: required
counter_deltas: required2. Review Branches Diverge
Required branch families:
certify_current_pit_steward;attach_rosin_cloth_afteruse_receipt;split_original_and_afteruse_pit_stewards;reopen_pit_safety_hearing;publish_humidity_change_notice;quarantine_rosin_cloth_afteruse_claim;false_rosin_cloth_afteruse_default;future_effect_any.
3. Default Mutates Future Play
false_rosin_cloth_afteruse_default:
false_clean_rosin_claim: true
source_rosin_cloth_or_absence: required
hidden_or_stale_pit_conflict: required
capturing_caller: required
blocked_violist: required
rosin_cloth_afteruse_state_after: required
future_gate_effect: required
counter_deltas_min: 3
durable_mutation: true4. Runtime Rollup Status Is Explicit
The runtime packet must include seven exact starter cards, a state-pressure review rite with seven divergent branches, a false-afteruse default event with three durable outcomes, a focused Jest runtime test, and a durable lens-scoped replay exported from the gameplay CLI.
5. Durable Replay Evidence
lens_id: storyteller.lens.orchestra_pit_rosin_cloth_afteruse_receipt.v1
session_id: lens-storyteller-lens-orchestra-pit-rosin-cloth-afteruse-receipt-v1-20260717t0038z-runtime-default
seed: orchestra-pit-rosin-cloth-afteruse-20260717a
replay_path: lens/replays/orchestra-pit-rosin-cloth-afteruse.default.replay.json
expected:
source_rosin_cloth_visible: true
afteruse_caller_visible: true
false_afteruse_default_can_be_armed: true
durable_default_outcome_visible: true