Enum XlogError 

#[non_exhaustive]
pub enum XlogError {
    Parse(String),
    StratificationCycle(Vec<String>),
    UnsafeVariable(String),
    ResourceExhausted {
        context: String,
        estimated_bytes: u64,
        budget_bytes: u64,
    },
    CompileCapacityExceeded {
        context: String,
        detail: String,
    },
    VerifyBudgetExceeded {
        context: String,
        detail: String,
    },
    Kernel(String),
    Type(String),
    Compilation(String),
    UnsupportedEpistemicConstruct {
        construct: String,
        context: String,
    },
    Execution(String),
}

Primary error type for XLOG operations

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Parse(String)

Parse error from the Datalog frontend.

StratificationCycle(Vec<String>)

Stratification failed due to a cycle through negation.

UnsafeVariable(String)

A variable is not bound in any positive body literal (domain safety violation).

ResourceExhausted

GPU memory budget exceeded.

Fields

context: String

Description of the operation that exceeded the budget.

estimated_bytes: u64

Estimated memory required in bytes.

budget_bytes: u64

Available memory budget in bytes.

CompileCapacityExceeded

The D4 compile phase declined a CNF too large to compile safely (the knowledge-compilation emit buffers are fixed-capacity; a larger instance would overrun them and fail with a context-poisoning CUDA launch error). A typed, catchable decline distinct from the verify-phase signal — “too big to compile”, not “verify gave up”. The caller can skip the query or fall back to an approximate engine.

Fields

context: String

Description of the compile operation that was declined.

detail: String

Which capacity tripped and its measured/configured values.

VerifyBudgetExceeded

The GPU CDCL equivalence verifier declined rather than risk a CUDA launch failure that poisons the primary context: a per-verify conflict budget ran out before the search reached a definite answer (INDETERMINATE — declined fail-closed, never trusted as a proof). Distinct from [CompileCapacityExceeded] so the two phases stay diagnosably separate. The caller can skip the query or fall back to an approximate engine.

Fields

context: String

Description of the verify operation that was declined.

detail: String

Which budget tripped and its measured/configured values.

Kernel(String)

GPU kernel launch or execution error.

Type(String)

Type checking or inference error.

Compilation(String)

Compilation pipeline error.

UnsupportedEpistemicConstruct

Epistemic construct is known to the frontend but unsupported in this context.

Fields

construct: String

Construct that was rejected.

context: String

Context where the construct was rejected.

Execution(String)

Runtime execution error.

Implementations

impl XlogError

pub fn kernel_ctx(op: &str, detail: &str, source: &impl Display) -> Self

Create a Kernel error with structured context: “op: detail: source”.

pub fn execution_ctx(op: &str, detail: &str, source: &impl Display) -> Self

Create an Execution error with structured context.

pub fn compilation_ctx(op: &str, detail: &str, source: &impl Display) -> Self

Create a Compilation error with structured context.

Trait Implementations

impl Debug for XlogError

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

Formats the value using the given formatter.

impl Display for XlogError

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

Formats the value using the given formatter.

impl Error for XlogError

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.