Enum CarrierError 

pub enum CarrierError {
    SchemaAlreadyRegistered {
        catalog_sha: String,
        solver_identity: String,
    },
    Allocation(XlogError),
    ZeroCapacity {
        dimension: &'static str,
    },
    SchemaNotRegistered,
    SignaturesAlreadyBound,
    SignatureShapeMismatch {
        side: &'static str,
        expected_words: usize,
        got_words: usize,
    },
    SignaturesUnbound,
    FeasibilityNotSolved,
    AbstainOutOfRange {
        abstain_label: u32,
        labels: usize,
    },
    KernelUnavailable {
        detail: String,
    },
    Launch(XlogError),
    Solver(SolverError),
}

Typed carrier errors. Refusals are concrete variants — callers match on the variant, never on message text.

Variants

SchemaAlreadyRegistered

A schema is already registered for this carrier session; registration is once-per-session and never silently rebinds live buffers.

Fields

catalog_sha: String

The catalog anchor the session is already bound to.

solver_identity: String

The solver identity the session is already bound to.

Allocation(XlogError)

Device allocation through the runtime failed.

ZeroCapacity

A capacity dimension is zero. A carrier with no entities, lanes, candidates, or labels cannot participate in a solve; silently clamping the dimension would hide the caller’s bug.

Fields

dimension: &'static str

Name of the zero dimension.

SchemaNotRegistered

Signature binding or solving was attempted before schema registration; masks are catalog-bound, so the catalog anchor must be fixed first.

SignaturesAlreadyBound

Signature masks are already bound for this session; rebinding live masks under a registered schema is never silent.

SignatureShapeMismatch

A signature mask slice does not match the carrier capacity.

Fields

side: &'static str

Which mask side mismatched.

expected_words: usize

Expected u64 word count (labels x lanes).

got_words: usize

Provided u64 word count.

SignaturesUnbound

The solve was attempted before signature masks were bound.

FeasibilityNotSolved

The top-two stage was attempted before the feasibility stage populated the feasible sets it consumes.

AbstainOutOfRange

The abstain label index is outside the label universe.

Fields

abstain_label: u32

The offending index.

labels: usize

The label universe width.

KernelUnavailable

The joint-solve kernel module could not be loaded or its entry point resolved on this device.

Fields

detail: String

Load-failure detail.

Launch(XlogError)

The recorded launch failed preflight, launch, or commit.

Solver(SolverError)

A typed solver refusal (fuel exhaustion) surfaced through the carrier solve entry.

Trait Implementations

impl Debug for CarrierError

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

Formats the value using the given formatter.

impl Display for CarrierError

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

Formats the value using the given formatter.

impl Error for CarrierError

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.