Struct Flow 

pub struct Flow {
    pub steps: Vec<Step>,
    pub constraints: Vec<Constraint>,
    pub confirm_tools: Vec<String>,
}

A governed conversation/tool DAG.

Fields

steps: Vec<Step>

The steps (DAG nodes).

constraints: Vec<Constraint>

Cross-cutting constraints.

confirm_tools: Vec<String>

Tools that require confirmation when reached (set by commit).

Implementations

impl Flow

pub fn new() -> FlowBuilder

Start building a flow.

pub fn validate(&self) -> Result<(), Vec<String>>

Validate referential integrity and acyclicity.

pub fn compile(self) -> Result<CompiledFlow, FlowErrors>

Compile and validate the flow into a CompiledFlow, turning a class of runtime surprises into load-time errors.

On top of validate’s referential/acyclicity checks this reports: unreachable steps, commit tools guarded by an always-true condition (an effectively unguarded commit, which defeats the confirm-before-commit contract), never…until guards whose done(step) atoms reference unknown steps (unsatisfiable — the tool would be forbidden forever), and ordering cycles across the combined after + before edges (which deadlock every step on the cycle). Precomputes the ToolPolicy universe.

To additionally validate tool names against a known registry, use compile_with_tools.

pub fn compile_with_tools( self, tools: &[&str], ) -> Result<CompiledFlow, FlowErrors>

Compile like compile, additionally validating every tool name the flow references (step allow/deny, once, never…until, and commit/confirm tools) against the given registry of known tool names.

A referenced tool missing from tools is reported as FlowError::UnknownTool — catching typos and drift between a flow script and the tools actually registered on the session.

let compiled = flow.compile_with_tools(&["lookup_account", "charge_card"])?;

pub fn to_mermaid(&self) -> String

Render the flow as a Mermaid flowchart — the spec is the diagram.

Trait Implementations

impl Clone for Flow

fn clone(&self) -> Flow

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Flow

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Flow

fn default() -> Flow

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Flow

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Flow

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.