Enum CoreError 

pub enum CoreError {
    User(String),
    TestFailure(String),
    System {
        message: String,
        source: Option<Box<dyn Error + Send + Sync>>,
    },
}

Core error taxonomy, categorized by fault (ADR-0009).

Variants

User(String)

The user’s input is at fault → exit code 2.

TestFailure(String)

A test genuinely failed → exit code 1.

System

The environment or proef itself is at fault → exit code 3.

Fields

message: String

Human-readable description of the failure.

source: Option<Box<dyn Error + Send + Sync>>

Underlying cause, when one exists.

Implementations

impl CoreError

pub fn user(message: impl Into<String>) -> Self

A user-fault error (exit 2).

pub fn system(message: impl Into<String>) -> Self

A system-fault error (exit 3) without an underlying cause.

pub fn system_with( message: impl Into<String>, source: impl Error + Send + Sync + 'static, ) -> Self

A system-fault error (exit 3) with an underlying cause.

pub fn exit_code(&self) -> ExitCode

The stable exit code this error maps to. Total by construction.

Trait Implementations

impl Debug for CoreError

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

Formats the value using the given formatter.

impl Display for CoreError

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

Formats the value using the given formatter.

impl Error for CoreError

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<CoreError> for FrontError

fn from(source: CoreError) -> Self

Converts to this type from the input type.

impl From<EngineError> for CoreError

fn from(err: EngineError) -> Self

Fold the engine fault into the core taxonomy (ADR-0009). The cause chain rides along only for system faults — deliberate flattening: assert/user failures carry complete user-facing messages, and their source (when any exists) is engine internals that would only repeat the message.