Struct FlowEngine 

pub struct FlowEngine;

Concurrent flow simulation engine for race condition detection.

Spawns particles at entry points and propagates them through the graph. Nodes reached by particles from more than one distinct entry point are flagged as turbulence points — potential race conditions on shared mutable state.

Implementations

impl FlowEngine

pub fn new() -> Self

Create a new FlowEngine.

pub fn simulate( &self, graph: &Graph, entry_nodes: &[NodeId], num_particles: u32, config: &FlowConfig, ) -> M1ndResult<FlowSimulationResult>

Run flow simulation. Main entry point for the MCP tool.

Parameters

• graph: finalized graph to simulate on
• entry_nodes: starting positions for particles (at least one required)
• num_particles: particles spawned per entry point (capped by config.max_particles)
• config: simulation parameters

Errors

Returns M1ndError::NoEntryPoints if entry_nodes is empty or graph has no nodes.

pub fn discover_entry_points( &self, graph: &Graph, max_entries: usize, ) -> Vec<NodeId>

Auto-discover entry points from graph topology and naming patterns.

Prefers Function nodes matching ENTRY_POINT_PATTERNS. Falls back to File nodes with entry-like names if no functions match. Results are sorted by PageRank (or in-degree) descending, capped at 100.

Parameters

• graph: finalized graph to search
• max_entries: maximum number of entry points to return (capped at 100)

Trait Implementations

impl Default for FlowEngine

fn default() -> Self

Returns the “default value” for a type.