Orchestra Pit Mute Tag Afteruse Receipt Lens

This lens checks that a rack-assignment tag from one pit-flow correction cannot be consumed later as clean current authority after the mute inventory row, rack-map version, cue schedule, responsible steward, or displaced violist has changed. The observable object is rackAttributionRows, not rosin-cloth cleanliness and not the physical mute/clip or performer-control cue.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_mute_tag_visible: true
  source_tag_is_rack_attribution_not_physical_mute: true
  mute_inventory_id_or_absence_visible: true
  original_pit_row_visible: true
  original_house_steward_visible: true
  original_rack_or_absence_visible: true
  original_desk_or_cue_visible: true
  original_rack_map_version_visible: true
  requested_afteruse_visible: true
  afteruse_caller_visible: true
  rack_change_or_absence_visible: true
  current_rack_or_absence_visible: true
  current_rack_map_version_or_absence_visible: true
  current_steward_or_absence_visible: true
  current_cue_schedule_or_absence_visible: true
  displaced_violist_visible_or_absence: true
  future_pit_consumes_mute_state: true
  rosin_cloth_cannot_substitute_for_rack_attribution: true
  physical_mute_clip_cannot_substitute_for_steward_authority: 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: true

Checks

1. Docket Separates Prior Mute Tag From Current Pit Authority

orchestra_pit_mute_tag_afteruse_docket:
  rackAttributionRows: required
  row_fields:
    source_mute_tag: required
    mute_inventory_id_or_absence: required
    original_pit_row: required
    original_desk_or_cue: required
    original_house_steward: required
    original_rack_or_absence: required
    original_rack_map_version: required
    current_rack_or_absence: required
    current_rack_map_version_or_absence: required
    current_steward_or_absence: required
    current_cue_schedule_or_absence: required
    mute_tag_state_before: required
  requested_afteruse: required
  afteruse_caller: required
  rack_change_or_absence: required
  proof_bridge_or_absence: required
  blocked_violist: required
  selected_afteruse_posture: required
  mute_tag_afteruse_state_after: required
  future_gate_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

• certify_current_pit_steward;
• attach_mute_tag_afteruse_receipt;
• split_original_and_afteruse_pit_stewards;
• reopen_pit_safety_hearing;
• publish_rack_change_notice;
• quarantine_mute_tag_afteruse_claim;
• false_mute_tag_afteruse_default;
• future_effect_any.

The six clean branches must expose exactly one of these evidence-specific effects:

• mute_tag_current_steward_certification_available;
• mute_tag_afteruse_requires_notice;
• mute_tag_steward_split_required_before_recap;
• mute_tag_attribution_hearing_blocks_clean_afteruse;
• mute_tag_rack_change_notice_required_before_reuse;
• mute_tag_claim_quarantined_until_bridge.

The default branch may set only false_claim_pending as its mute-tag state. It may arm future_route.false_mute_tag_afteruse_default_pending, but it may not preselect any terminal state.

3. Default Mutates Future Play

false_mute_tag_afteruse_default:
  false_clean_mute_claim: true
  source_mute_tag_or_absence: required
  hidden_or_stale_pit_conflict: required
  false_claim_caller: required
  blocked_violist: required
  state_before_resolution: false_claim_pending
  stable_options:
    - record_orchestra_manager_false_claim
    - force_public_rack_notice
    - restore_blocked_violist
  terminal_state_exactly_one:
    - false_clean_pit
    - rack_change_notice_required
    - recovery_only
  future_gate_effect_exactly_one:
    - mute_tag_afteruse_route_costlier
    - mute_tag_public_notice_required_after_false_afteruse
    - mute_tag_afteruse_recovery_only
  counter_deltas_min: 3
  durable_mutation: true

4. 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. The replay must exercise the default event itself: selecting rite choice 6 and merely arming the event does not demonstrate a durable outcome.

5. Durable Replay Evidence

lens_id: storyteller.lens.orchestra_pit_mute_tag_afteruse_receipt.v1
session_id: lens-storyteller-lens-orchestra-pit-mute-tag-afteruse-receipt-v1-20260717t0130z-runtime-default
seed: orchestra-pit-mute-tag-afteruse-20260717b
replay_path: lens/replays/orchestra-pit-mute-tag-afteruse.default.replay.json
expected:
  source_mute_tag_visible: true
  afteruse_caller_visible: true
  false_afteruse_default_can_be_armed: true
  default_event_choice_recorded: true
  default_event_resolved_flag: true
  false_claim_pending_cleared: true
  pending_default_flags_cleared: true
  default_event_not_left_unresolved: true
  exactly_one_terminal_state_visible: true
  exactly_one_terminal_future_effect_visible: true

The accepted final state clears orchestra_pit_mute_tag.state.false_claim_pending, orchestra_pit_mute_tag.default_pending, event.false_mute_tag_afteruse_default.armed, and future_route.false_mute_tag_afteruse_default_pending; sets event_resolved.storyteller.event.false_mute_tag_afteruse_default.v1; and preserves exactly one selected terminal state plus its one mute-tag-prefixed future-route effect.

6. Adjacent Pit Evidence Remains Non-Equivalent

evidence_type_boundary:
  orchestra_pit_rosin_cloth:
    authority: cleaning_residue_humidity_history
    cannot_grant: mute_identity_or_rack_assignment
  orchestra_mute_clip:
    authority: physical_object_and_bounded_performance_cue
    cannot_grant: current_rack_position_or_fresh_performer_consent
  orchestra_pit_mute_tag:
    authority: historical_inventory_position_schedule_and_steward_row
    cannot_grant: cleanliness_performance_consent_or_current_mapping

The lens fails if the mute-tag lane can be satisfied by noun-swapping the rosin-cloth or physical mute-clip contract, or if a shared pit flag erases which evidence type established it.