Enum ConvergeError 

pub enum ConvergeError {
    BudgetExhausted {
        kind: String,
    },
    InvariantViolation {
        name: String,
        class: InvariantClass,
        reason: String,
        context: Box<Context>,
    },
    AgentFailed {
        agent_id: String,
    },
    Conflict {
        id: String,
        existing: String,
        new: String,
        context: Box<Context>,
    },
}

Top-level error type for Converge operations.

Note: Context is boxed in error variants to keep the error type small, as recommended by clippy. Access via error.context() method.

Variants

BudgetExhausted

Budget limit exceeded (cycles, facts, or time).

Fields

kind: String

InvariantViolation

An invariant was violated during execution.

Fields

name: String

Name of the violated invariant.

class: InvariantClass

Class of the invariant (Structural, Semantic, Acceptance).

reason: String

Reason for the violation.

context: Box<Context>

Final context state (including diagnostic facts). Boxed to reduce error size.

AgentFailed

Agent execution failed.

Fields

agent_id: String

Conflict

Conflicting facts detected for the same ID.

Fields

id: String

ID of the conflicting fact.

existing: String

Existing content.

new: String

New conflicting content.

context: Box<Context>

Final context state. Boxed to reduce error size.

Implementations

impl ConvergeError

pub fn context(&self) -> Option<&Context>

Returns a reference to the context if this error variant carries one.

Trait Implementations

impl Debug for ConvergeError

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

Formats the value using the given formatter.

impl Display for ConvergeError

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

Formats the value using the given formatter.

impl Error for ConvergeError

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.