Enum DecisionRunnerError 

#[non_exhaustive]
pub enum DecisionRunnerError {
    EmptyValue {
        field: &'static str,
    },
    ExecutorIdentityConflict {
        executor_id: String,
    },
    ActionRouteConflict {
        stage: DecisionExecutionStage,
        action_id: String,
    },
    UnknownExecutor {
        executor_id: String,
    },
    MissingActionRoute {
        stage: DecisionExecutionStage,
        action_id: String,
    },
    UnsupportedPayloadStrategy {
        executor_id: String,
        strategy: PayloadStrategyRef,
    },
    NonExecutionCommand {
        command: &'static str,
    },
    CommandCaseMismatch {
        expected: String,
        actual: String,
    },
    UnexpectedSessionState {
        expected: DecisionExecutionStage,
        actual: &'static str,
    },
    MissingActiveBaseline,
    HostPolicyContextRequired {
        command: &'static str,
    },
    ActionSuppressedByHostPolicy {
        action_id: String,
    },
    ActionSuppressedByDefense {
        action_id: String,
    },
    EvidenceSubjectMismatch {
        evidence_id: String,
        expected: EntityId,
        actual: EntityId,
    },
    EvidenceSourceMismatch {
        evidence_id: String,
        expected: String,
        actual: String,
    },
    EvidenceCorrelationMismatch {
        evidence_id: String,
        expected: String,
        actual: Option<String>,
    },
    Executor {
        executor_id: String,
        source: DecisionExecutorError,
    },
    OutcomeAfterEvidenceCommit {
        receipt: Box<DecisionEvidenceReceipt>,
        source: Box<DecisionRunnerError>,
    },
    Knowledge(KnowledgeBaseError),
    Decision(DecisionLoopError),
}

Failures raised while resolving, executing, or recording a command.

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.

EmptyValue

A registry or route identity was empty.

Fields

field: &'static str

ExecutorIdentityConflict

An executor ID was registered twice.

Fields

executor_id: String

ActionRouteConflict

One action-stage pair was routed to two different executors.

Fields

stage: DecisionExecutionStage

Verification stage of the conflicting route.

action_id: String

Action whose route was reused.

UnknownExecutor

An explicit or routed executor was absent.

Fields

executor_id: String

MissingActionRoute

An action-only command had no stage route.

Fields

stage: DecisionExecutionStage

Verification stage being resolved.

action_id: String

Action lacking a route.

UnsupportedPayloadStrategy

The resolved executor cannot materialize the planner-selected strategy.

Fields

executor_id: String

Resolved executor identity.

strategy: PayloadStrategyRef

Exact strategy revision selected by the planner.

NonExecutionCommand

A non-execution command was passed to the low-level execution API.

Fields

command: &'static str

CommandCaseMismatch

The supplied command does not match the outstanding session case.

Fields

expected: String

actual: String

UnexpectedSessionState

The supplied command does not match the session verification stage.

Fields

expected: DecisionExecutionStage

Stage required by the command.

actual: &'static str

Stable session state name.

MissingActiveBaseline

An active execution receipt violated an adapter-owned invariant.

HostPolicyContextRequired

A high-level continuation command was supplied without the current host-owned suppression context.

Fields

command: &'static str

Stable command class rejected before any executor work.

ActionSuppressedByHostPolicy

Current host policy suppressed the outstanding action before dispatch.

Fields

action_id: String

Action rejected before executor work or evidence commit.

ActionSuppressedByDefense

Current defense enforcement suppressed the action before dispatch.

Fields

action_id: String

Action rejected before executor work or evidence commit.

EvidenceSubjectMismatch

Executor evidence described another subject.

Fields

evidence_id: String

Rejected evidence identity.

expected: EntityId

Case subject.

actual: EntityId

Evidence subject.

EvidenceSourceMismatch

Executor evidence claimed another producing component.

Fields

evidence_id: String

Rejected evidence identity.

expected: String

Resolved executor identity.

actual: String

Evidence source component.

EvidenceCorrelationMismatch

Executor evidence omitted or changed the verification correlation ID.

Fields

evidence_id: String

Rejected evidence identity.

expected: String

Required case correlation identity.

actual: Option<String>

Supplied correlation identity, if any.

Executor

An isolated executor failed.

Fields

executor_id: String

Executor selected for the request.

source: DecisionExecutorError

Isolated executor diagnostic.

OutcomeAfterEvidenceCommit

Evidence committed successfully but the subsequent decision transition failed.

Fields

receipt: Box<DecisionEvidenceReceipt>

Durable append-only evidence commit token.

source: Box<DecisionRunnerError>

Failure raised while resuming the state machine.

Knowledge(KnowledgeBaseError)

Atomic evidence storage failed.

Decision(DecisionLoopError)

Resuming the deterministic state machine failed.

Implementations

impl DecisionRunnerError

pub fn runtime_limit(&self) -> Option<&RuntimeLimitExceeded>

Returns the host resource limit reported by an executor, when applicable.

pub fn into_runtime_limit(self) -> Option<RuntimeLimitExceeded>

Takes an executor-reported host resource limit without cloning it.

pub fn execution_failure(&self) -> Option<&DecisionExecutionFailureReceipt>

Returns an executor-reported pre-commit failure receipt, when applicable.

pub fn into_execution_failure(self) -> Option<DecisionExecutionFailureReceipt>

Takes ownership of an executor-reported failure receipt without cloning it.

pub fn committed_evidence(&self) -> Option<&DecisionEvidenceReceipt>

Returns evidence that was committed before this error, when applicable.

pub fn into_committed_evidence(self) -> Option<DecisionEvidenceReceipt>

Takes ownership of evidence committed before this error without cloning it.

pub fn committed_reasoning(&self) -> Option<&DecisionReasoningCommitReceipt>

Returns reasoning committed before a later planning failure, when applicable.

pub fn into_committed_reasoning(self) -> Option<DecisionReasoningCommitReceipt>

Takes a post-reasoning planning receipt without cloning it.

Trait Implementations

impl Debug for DecisionRunnerError

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

Formats the value using the given formatter.

impl Display for DecisionRunnerError

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

Formats the value using the given formatter.

impl Error for DecisionRunnerError

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<DecisionLoopError> for DecisionRunnerError

fn from(source: DecisionLoopError) -> Self

Converts to this type from the input type.

impl From<DecisionRunnerError> for StandardWebExecutionError

fn from(source: DecisionRunnerError) -> Self

Converts to this type from the input type.

impl From<DecisionRunnerError> for StandardWebDecisionRuntimeError

fn from(source: DecisionRunnerError) -> 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.