Skip to main content

validate

Function validate 

Source
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.