Orchestra Stand-Light Bulb Afteruse Receipt Lens

This lens checks that an orchestra stand-light bulb receipt cannot later be spent as current electrical safety, musician consent, sponsor ambiance approval, or archive release proof after the stand position, dimmer circuit, or electrician custody has changed.

Entry Oracle

entry_state:
  trigger_kind: state_pressure
  source_bulb_visible: true
  musician_or_explicit_absence_visible: true
  stand_position_or_explicit_absence_visible: true
  electrical_lead_or_explicit_absence_visible: true
  requested_afteruse_visible: true
  future_reader_consumes_bulb_state: true
  circuit_or_custody_change_or_explicit_absence_visible: true
  proof_bridge_or_explicit_absence_visible: true
  harmed_musician_or_crew_visible_or_explicit_absence: true
  player_can_certify_restrict_attach_reopen_split_quarantine_or_default: true
  no_fixed_turn_trigger: true
  no_fixed_day_or_week_trigger: true
  no_raw_bulb_count_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if entry is driven by fixed turn, day/week cadence, raw bulb count, dashboard state, lens health, or a bulb no future route is trying to consume.

Checks

1. Docket Separates Bulb Possession From Current Authority

orchestra_stand_light_bulb_docket:
  source_bulb: required
  musician_or_absence: required
  stand_position_or_absence: required
  electrical_lead_or_absence: required
  requested_afteruse: required
  future_reader_or_route: required
  circuit_or_custody_change_or_absence: required
  proof_bridge_or_absence: required
  harmed_musician_or_crew: required
  selected_bulb_posture: required
  bulb_afteruse_state_after: required
  future_reader_or_route_effect: required
  counter_deltas: required

2. Review Branches Diverge

Required branch families:

  • certify_bulb_scope;
  • restrict_bulb_reader;
  • attach_electrical_bridge;
  • reopen_harmed_musician;
  • split_safety_from_consent_custody;
  • quarantine_bulb_afteruse;
  • false_bulb_default;
  • future_effect_any.

3. Default Mutates Future Play

false_orchestra_bulb_default:
  false_current_bulb_authority: true
  source_bulb_or_absence: required
  hidden_or_stale_circuit_basis: required
  capturing_reader_or_route: required
  harmed_musician_or_crew: required
  bulb_afteruse_state_after: required
  future_reader_effect: required
  counter_deltas_min: 3
  durable_mutation: true