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: trueThe 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: required2. 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