Enum ConvergeError 

pub enum ConvergeError {
    BudgetExhausted {
        kind: String,
    },
    InvariantViolation {
        name: String,
        class: InvariantClass,
        reason: String,
        context: Box<ContextState>,
    },
    AgentFailed {
        agent_id: String,
    },
    EmptyProvenance {
        suggestor: String,
    },
    InvalidResume {
        reason: String,
    },
    InvalidAdmission {
        reason: String,
    },
    InvalidSnapshot {
        reason: String,
    },
    Conflict {
        id: String,
        existing: String,
        new: String,
        context: Box<ContextState>,
    },
}

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<ContextState>

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

AgentFailed

Suggestor execution failed.

Fields

agent_id: String

EmptyProvenance

A fact-emitting suggestor returned an empty provenance() string. The empty-provenance contract reserves "" for filter / observer suggestors that never emit proposals. If a suggestor produced proposals it MUST override provenance() to return its crate’s canonical *_PROVENANCE.as_str().

Fields

suggestor: String

Name of the offending suggestor (from Suggestor::name()).

InvalidResume

Invalid HITL gate resume (e.g., gate_id mismatch between decision and pause).

Fields

reason: String

What went wrong.

InvalidAdmission

Invalid external observation admission.

Fields

reason: String

What went wrong.

InvalidSnapshot

Invalid persisted context snapshot.

Fields

reason: String

What went wrong.

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<ContextState>

Final context state. Boxed to reduce error size.

Implementations

impl ConvergeError

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

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

pub fn stop_reason(&self) -> StopReason

Convert this error into a platform-level stop reason.

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.

impl From<AdmissionError> for ConvergeError

fn from(value: AdmissionError) -> Self

Converts to this type from the input type.

impl Serialize for ConvergeError

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

where __S: Serializer,

Serialize this value into the given Serde serializer.