Enum LiveViolation 

#[non_exhaustive]
pub enum LiveViolation {
    FlowToolNotRegistered {
        tool: String,
        registered: Vec<String>,
    },
    PhasesWithoutInitialPhase {
        phases: Vec<String>,
    },
    UnknownInitialPhase {
        name: String,
        defined: Vec<String>,
    },
    UnreachablePhase {
        name: String,
    },
    UnknownTransitionTarget {
        from: String,
        target: String,
    },
    ToolsUnresolvedAtCheckTime {
        count: usize,
    },
    UnconfirmedTools {
        tools: Vec<String>,
    },
}

A misconfiguration found in a Live builder, before connecting.

The counterpart to ContractViolation for voice sessions. check_contracts only ever saw AgentBuilder, so the configuration where cross-referencing actually matters — phases, a governing flow, memory slots, watchers, all naming each other by string — had no static check at all.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

FlowToolNotRegistered

A governing flow names a tool this session does not register.

Not inert: a step whose allow list contains only names that match nothing denies every tool for as long as that step is active.

Fields

tool: String

The name the flow uses.

registered: Vec<String>

What the session actually registers, for spotting a typo.

PhasesWithoutInitialPhase

Phases were configured but no initial phase was named, so every phase is silently discarded at connect and the session runs unphased.

Fields

phases: Vec<String>

The phases that will be dropped.

UnknownInitialPhase

initial_phase names a phase that was never defined. The machine starts in a state with no instruction, no tools and no transitions.

Fields

name: String

The name given to initial_phase.

defined: Vec<String>

The phases that do exist.

UnreachablePhase

A phase no transition targets and which is not the initial phase — it can never be entered.

Fields

name: String

The phase that cannot be reached.

UnknownTransitionTarget

A phase transition targets a phase that does not exist.

Fields

from: String

The phase declaring the transition.

target: String

The target that does not exist.

ToolsUnresolvedAtCheckTime

Some tools resolve over the network at connect, so name-based checks here are working from a partial registry.

Advisory, not an error: it reports that the check could not be complete, which is worth saying out loud rather than implying full coverage.

Fields

count: usize

How many tools will only exist after connect.

UnconfirmedTools

Tools that must be confirmed before running (T::confirm), in a session with no confirmation provider. connect refuses this rather than let them run unconfirmed.

Fields

tools: Vec<String>

The gated tools.

Trait Implementations

impl Clone for LiveViolation

fn clone(&self) -> LiveViolation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LiveViolation

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

Formats the value using the given formatter.

impl Display for LiveViolation

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

Formats the value using the given formatter.

impl PartialEq for LiveViolation

fn eq(&self, other: &LiveViolation) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for LiveViolation