Fog Nozzle Tag Afteruse Receipt Lens / 舞台雾喷嘴标签后用回执 Lens

This lens binds a focused technical-custody seam: a fog-machine nozzle tag is later cited to justify a broadcast-safe atmosphere. The game must keep the physical tag, the stage technician, the cue stack, the harmed claimant, and the future reader separate instead of letting one prop label wash every breath clean.

Entry oracle

entry_state_required:
  trigger_kind: state_pressure
  source_fog_nozzle_row_visible: true
  stage_technician_visible_or_explicit_absence: true
  cue_stack_context_visible: true
  cited_fog_scope_visible: true
  requested_afteruse_visible: true
  harmed_claimant_visible_or_explicit_absence: true
  proof_bridge_or_explicit_absence_visible: true
  future_reader_consumes_fog_state: true
  no_fixed_turn_trigger: true
  no_dashboard_or_lens_health_trigger: true

The lens fails if a nozzle tag automatically certifies every fogged scene, if the technician disappears without an explicit absence row, or if the future reader treats atmosphere safety as already solved.

Docket oracle

Fog Nozzle Tag Docket must preserve these fields:

fog_nozzle_tag_docket:
  source_nozzle_tag_row: required
  technician_or_absence: required
  cue_stack_context: required
  cited_fog_scope: required
  requested_afteruse: required
  future_reader_or_route: required
  harmed_claimant_or_absence: required
  proof_bridge_or_explicit_absence: required
  selected_fog_posture: pending
  fog_afteruse_state_after: pending
  future_reader_or_route_effect: pending
  counter_deltas: required
  universal_clean_atmosphere: false

Branch assertions

Fog Nozzle Tag Afteruse Review must expose divergent branch families:

• certify_fog_nozzle_scope with named scope relief and a future named-scope requirement;
• restrict_fog_nozzle_reader so only a bounded reader may rely on the tag;
• attach_technician_bridge when the technician or an explicit absence must carry proof;
• reopen_harmed_fog_claimant when fog exposure created a claimant;
• split_atmosphere_from_safety_custody so visibility, breath, and safety custody do not collapse;
• quarantine_fog_afteruse when the tag is too contaminated to reuse;
• false_fog_nozzle_default when management tries to clean the route by hiding the gap.

Every constructive branch must list relief, cost, and future_route_effects.

Default oracle

False Fog Nozzle Default must leave a recovery-only scar:

false_fog_nozzle_default:
  false_clean_fog: true
  source_nozzle_tag_row_or_absence: required
  hidden_or_overbroad_fog_scope: required
  capturing_reader_or_route: required
  harmed_claimant_or_absence: required
  fog_afteruse_state_after: falsely_clean
  future_reader_effect: recovery_only
  counter_deltas_min: 3
  durable_mutation: true