Skip to main content

delayed_cut_edges

pedalkernel::compiler::boundary_rules

Function delayed_cut_edges 

Source 
pub fn delayed_cut_edges(graph: &CircuitGraph) -> DelayedCutSet
Expand description

Derive the delayed-coupling cut set for graph (Phase 2a).

§Derivation (broker-owned; formation only consults this)

  1. Find the DELAYED feedback-detector control electrodes via detector_control_nodes (a ControlInput in passive_closure_from(out), gated on a cross-network EdgeKind::Behavioral coupler being present).
  2. detector_closure = ⋃ passive_closure_from(control_electrode) — the passive front-end that reaches the sense sink(s) (the tap network).
  3. CUT every passive edge with ONE endpoint a boundary seed (in_node / out_node) and the OTHER endpoint inside detector_closure. These are the tap-mouth edges (LA-2A: C_sc on the out side, the R_ff/fork arm on the in side). This is the gap-cut idiom, broker-driven.

EdgeKind::Behavioral coupling edges (the photocoupler LED drive) are already isolated in Phase 1; they are recorded in already_isolated and never added to cuts.