Enum BindError 

pub enum BindError {
    SymbolKindMismatch {
        name: String,
        expected: SymbolKind,
        existing: SymbolKind,
    },
    SymbolRenameConflict {
        name: String,
    },
    AliasChainLengthExceeded {
        name: String,
        limit: usize,
    },
    UnknownSymbol {
        name: String,
    },
    BadKind {
        found: String,
    },
    UnregisteredInferenceMethod {
        found: String,
    },
    InvalidKeywordValue {
        keyword: String,
        reason: &'static str,
    },
    ConfidenceOutOfRange(ConfidenceError),
    UnexpectedList {
        slot: &'static str,
    },
    InvalidTimestampKeyword {
        keyword: String,
    },
    ForeignSymbolForbidden {
        scoped: ScopedSymbolId,
    },
    LabelTooLong {
        len: usize,
        cap: usize,
    },
}

Errors produced by the binder.

Typed per PRINCIPLES.md § 2. Agents route recovery on the error variant, never by matching message text.

Variants

SymbolKindMismatch

A symbol was used in a slot expecting a different kind than the one locked at first allocation.

Fields

name: String

The symbol name.

expected: SymbolKind

The slot’s expected kind.

existing: SymbolKind

The kind this symbol was allocated with.

SymbolRenameConflict

Two distinct symbols cannot share a canonical name.

Fields

name: String

The conflicting name.

AliasChainLengthExceeded

Alias chain length exceeded per ALIAS_CHAIN_LIMIT.

Fields

name: String

The offending alias.

limit: usize

The limit.

UnknownSymbol

A rename or retire referenced an unknown symbol.

Fields

name: String

The offending name.

BadKind

A @name:Kind annotation used a Kind that isn’t in the SymbolKind taxonomy.

Fields

found: String

The annotation text.

UnregisteredInferenceMethod

An Inferential memory used a method symbol whose name is not in the registered inference-method set (crate::inference_methods::InferenceMethod).

Fields

found: String

The offending method name.

InvalidKeywordValue

A keyword argument’s value did not have the expected shape.

Fields

keyword: String

The keyword.

reason: &'static str

A short diagnostic.

ConfidenceOutOfRange(ConfidenceError)

A confidence value violated its range at bind time.

UnexpectedList

A value position received a RawValue::List where a scalar was required.

Fields

slot: &'static str

The slot name.

InvalidTimestampKeyword

A timestamp keyword value was missing or not a timestamp.

Fields

keyword: String

The keyword.

ForeignSymbolForbidden

A cross-workspace symbol was referenced but this binder is scoped to a single workspace and cannot locally allocate.

Fields

scoped: ScopedSymbolId

The offending scoped reference.

LabelTooLong

A (episode :start :label …) label exceeds the episode-semantics.md § 4.3 256-byte cap.

Fields

len: usize

Actual byte length of the offending label.

cap: usize

Configured cap (spec § 4.3 — 256).

Trait Implementations

impl Debug for BindError

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

Formats the value using the given formatter.

impl Display for BindError

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

Formats the value using the given formatter.

impl Error for BindError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl From<BindError> for PipelineError

fn from(source: BindError) -> Self

Converts to this type from the input type.

impl From<ConfidenceError> for BindError

fn from(source: ConfidenceError) -> Self

Converts to this type from the input type.

impl PartialEq for BindError

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for BindError