pub fn verify_graph(graph: &FlowGraph) -> Vec<FlowWarning>Expand description
Static pre-apply scan of a proposed graph: flags nodes that perform a
destructive operation (reusing destructive_reason) or reference a path
that would escape the workspace jail (.. parent traversal). Advisory only -
it does not block; the executor’s runtime gates still apply.