pub fn validate(graph: &SymbolicFlowGraph) -> Result<(), Error>Expand description
Run IR-level structural and phase validation on a freshly-lowered graph.
§Errors
Returns Error::compile on missing-id references, Fetch edges that
don’t match the kind’s output-mode contract, acyclicity violations, or
phase-state-machine mismatches. When multiple violations are found
they are collapsed into a single message via Diagnostics.