Enum OpError 

pub enum OpError {
    ExecutionFailed(String),
    Timeout {
        timeout_ms: u64,
    },
    Context(String),
    BatchFailed(String),
    WrappedClassified {
        chain: String,
        code: String,
        class: AttributionClass,
        reason: String,
        arg_urn: Option<String>,
    },
    Aborted(String),
    Trigger(String),
    Classified {
        code: String,
        class: AttributionClass,
        message: String,
        arg_urn: Option<String>,
    },
    Other(Box<dyn Error + Send + Sync>),
}

Variants

ExecutionFailed(String)

Timeout

Fields

timeout_ms: u64

Context(String)

BatchFailed(String)

WrappedClassified

A CLASSIFIED failure inside wrapping context (a batch child, a trigger-wrapped op, …) — the wrapper preserves the origin’s failure identity instead of flattening it into prose. chain is the wrapping text (which op, which index) for humans; class/code/reason are the origin’s, verbatim.

Fields

chain: String

code: String

class: AttributionClass

reason: String

arg_urn: Option<String>

Media URN of the ARGUMENT the origin attributed the failure to, when — and only when — its emit source could name one (argument binding/validation failures can; runtime ERR frames cannot). Carried verbatim through wrapping, never invented downstream.

Aborted(String)

Trigger(String)

Classified

A failure carrying its FULL identity from the emit source: the machine-readable code the origin error declares (error_code()), the failure CLASS it declares (attribution_class() — whose problem it is), and the leaf human message. Wrapping layers construct this from classified origins instead of folding everything into prose; the engine’s run record and retry policy read it structurally.

Fields

code: String

class: AttributionClass

message: String

arg_urn: Option<String>

Media URN of the ARGUMENT the emit source attributed the failure to, when it could name one. None means “no single argument is attributable” and is never upgraded by wrapping layers (docs/failure-taxonomy.md discipline).

Other(Box<dyn Error + Send + Sync>)

Implementations

impl OpError

pub fn attribution_class(&self) -> AttributionClass

The failure class this error DECLARES. Classified variants carry their origin’s declaration; everything else is Internal — unclassified means “ours”, never a guess (docs/failure-taxonomy.md).

pub fn failure_code(&self) -> Option<&str>

The machine-readable code declared at the emit source, when the failure carried one.

pub fn failure_arg_urn(&self) -> Option<&str>

Media URN of the argument the failure is attributed to, when the emit source declared one. None for every unclassified variant and for classified failures whose source could not name a single offending argument — never guessed here.

pub fn failure_reason(&self) -> String

The LEAF human reason — the origin’s own message for classified failures, the Display chain otherwise.

Trait Implementations

impl Clone for OpError

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OpError

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

Formats the value using the given formatter.

impl Display for OpError

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

Formats the value using the given formatter.

impl Error for OpError

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<Box<dyn Error + Sync + Send>> for OpError

fn from(source: Box<dyn Error + Send + Sync>) -> Self

Converts to this type from the input type.

impl From<Error> for OpError

fn from(e: Error) -> Self

Converts to this type from the input type.