Enum KnowledgeBaseError 

#[non_exhaustive]
pub enum KnowledgeBaseError {
    SnapshotAuthorityMismatch {
        subject: EntityId,
    },
    IdentityConflict {
        kind: KnowledgeRecordKind,
        id: String,
    },
    RelationEvidenceMismatch {
        relation_id: String,
        evidence_id: String,
    },
    RelationSubjectMismatch {
        relation_id: String,
        evidence_subject: String,
        relation_from: String,
    },
    RelationLimitExceeded {
        field: &'static str,
        actual: usize,
        maximum: usize,
    },
    StaleSnapshot {
        subject: EntityId,
        expected_subject_revision: u64,
        actual_subject_revision: u64,
        expected_ontology_revision: u64,
        actual_ontology_revision: u64,
    },
    ReasoningSubjectMismatch {
        hypothesis_id: String,
        expected: EntityId,
        actual: EntityId,
    },
    MissingDerivationParent {
        child: String,
        parent: String,
    },
    SelfDerivation {
        evidence_id: String,
    },
    DerivationSubjectMismatch {
        child: String,
        parent: String,
    },
    DerivationCycle {
        evidence_id: String,
    },
}

Errors raised when a knowledge record violates storage or identity invariants.

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.

SnapshotAuthorityMismatch

A snapshot or commit token was minted by another knowledge-base instance.

Fields

subject: EntityId

Subject whose snapshot authority did not match this knowledge base.

IdentityConflict

The identity exists, but its immutable claim or graph identity differs.

Fields

kind: KnowledgeRecordKind

Category of the conflicting record.

id: String

Reused stable identifier.

RelationEvidenceMismatch

An atomic relation bundle did not reference exactly its supplied evidence.

Fields

relation_id: String

Relation whose provenance was inconsistent.

evidence_id: String

Evidence expected to be the relation’s sole provenance record.

RelationSubjectMismatch

An atomic relation did not originate at its evidence subject.

Fields

relation_id: String

Relation whose source entity was inconsistent.

evidence_subject: String

Subject described by the evidence.

relation_from: String

Source entity declared by the relation.

RelationLimitExceeded

A relation field or provenance collection exceeded its storage ceiling.

Fields

field: &'static str

Stable field name (id, from, to, kind, evidence_ids, or evidence_id).

actual: usize

Rejected byte or item count.

maximum: usize

Inclusive compiled ceiling.

StaleSnapshot

A reasoning batch was evaluated against knowledge that has since changed.

Fields

subject: EntityId

Subject captured by the stale snapshot.

expected_subject_revision: u64

Subject revision captured by the snapshot.

actual_subject_revision: u64

Current subject revision.

expected_ontology_revision: u64

Ontology revision captured by the snapshot.

actual_ontology_revision: u64

Current ontology revision.

ReasoningSubjectMismatch

A reasoning batch contained a conclusion for another subject.

Fields

hypothesis_id: String

Hypothesis whose subject violated the batch boundary.

expected: EntityId

Subject captured by the reasoning snapshot.

actual: EntityId

Subject declared by the hypothesis.

MissingDerivationParent

A derived evidence record referenced a parent that neither already exists nor appears in the same atomic batch.

Fields

child: String

Derived child evidence ID.

parent: String

Referenced parent evidence ID that could not be resolved.

SelfDerivation

A derived evidence record referenced itself as a parent.

Fields

evidence_id: String

Evidence ID that referenced itself.

DerivationSubjectMismatch

A derived evidence record referenced a parent recorded for a different subject.

Fields

child: String

Derived child evidence ID.

parent: String

Referenced parent evidence ID.

DerivationCycle

The derivation edges in one atomic batch formed a cycle.

Fields

evidence_id: String

One evidence ID participating in the detected cycle.

Trait Implementations

impl Clone for KnowledgeBaseError

fn clone(&self) -> KnowledgeBaseError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for KnowledgeBaseError

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

Formats the value using the given formatter.

impl Display for KnowledgeBaseError

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

Formats the value using the given formatter.

impl Eq for KnowledgeBaseError

impl Error for KnowledgeBaseError

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<KnowledgeBaseError> for ApiObservationError

fn from(source: KnowledgeBaseError) -> Self

Converts to this type from the input type.

impl From<KnowledgeBaseError> for RuleEngineError

fn from(source: KnowledgeBaseError) -> Self

Converts to this type from the input type.

impl From<KnowledgeBaseError> for VerificationError

fn from(source: KnowledgeBaseError) -> Self

Converts to this type from the input type.

impl From<KnowledgeBaseError> for DecisionRunnerError

fn from(source: KnowledgeBaseError) -> Self

Converts to this type from the input type.

impl PartialEq for KnowledgeBaseError

fn eq(&self, other: &KnowledgeBaseError) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for KnowledgeBaseError