Module graph 

Convert audit blueprints to petgraph directed graphs.

Each node represents a (procedure_id, state) pair and each edge represents a transition within a procedure’s FSM aggregate.

Structs

StateNode

A graph node representing a procedure state.

TransitionEdge

A graph edge representing a transition between states.

Functions

blueprint_to_graph

Convert an AuditBlueprint into a petgraph DiGraph.

find_initial_nodes

Return nodes with no incoming edges (entry points / initial states).

find_terminal_nodes

Return nodes with no outgoing edges (terminal / completed states).