Enum DecisionLoopError 

#[non_exhaustive]
pub enum DecisionLoopError {
    ZeroActionCycles,
    InvalidTransition {
        operation: &'static str,
        state: &'static str,
    },
    CaseSubjectMismatch {
        expected: EntityId,
        actual: EntityId,
    },
    AwaitingWithoutAction,
    ActionCycleOverflow,
    NoEligibleScheduledVerificationTarget {
        action_id: String,
    },
    NoEligibleScheduledMotivationHypothesis {
        action_id: String,
    },
    AdaptiveExecutionRequiresHostPolicyContext {
        action_id: String,
    },
    UnregisteredDecisionAction {
        action_id: String,
    },
    DecisionCaseAuthorityExceeded {
        action_id: String,
    },
    IneligibleAdaptiveAction {
        action_id: String,
    },
    DefenseSuppressedAction {
        action_id: String,
    },
    AdaptiveActionRequiresPlanning {
        action_id: String,
    },
    Rules(RuleEngineError),
    Planner(PlannerError),
    Verification(VerificationError),
    Adaptive(AdaptivePipelineError),
    Experience(ExperienceStoreError),
    StalePlanningSnapshot {
        source: KnowledgeBaseError,
    },
    PlanningAfterReasoningCommit {
        receipt: Box<DecisionReasoningCommitReceipt>,
        source: Box<DecisionLoopError>,
    },
}

Validation and transition failures raised by the decision loop.

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.

ZeroActionCycles

An action-cycle limit of zero would prevent all execution.

InvalidTransition

A command was submitted while the session was in another state.

Fields

operation: &'static str

Attempted operation.

state: &'static str

Current stable state name.

CaseSubjectMismatch

Persisted state contained a case for another subject.

Fields

expected: EntityId

Session subject.

actual: EntityId

Case subject.

AwaitingWithoutAction

Persisted state awaited evidence before issuing any action.

ActionCycleOverflow

The monotonic action-cycle counter could not be incremented safely.

NoEligibleScheduledVerificationTarget

An adaptively scheduled action declared a distinct verification target that was absent from the current immutable snapshot.

Fields

action_id: String

Scheduled action whose target could not be resolved.

NoEligibleScheduledMotivationHypothesis

An adaptively scheduled action’s own confidence source was absent from the current immutable snapshot.

Fields

action_id: String

Scheduled action whose confidence source could not be resolved.

AdaptiveExecutionRequiresHostPolicyContext

Adaptive execution was requested without an explicit current host suppression context.

Fields

action_id: String

Action whose adaptive continuation requires current host policy.

UnregisteredDecisionAction

A decision case or adaptive policy named an unregistered action.

Fields

action_id: String

Unknown action identity.

DecisionCaseAuthorityExceeded

A persisted case would authorize a broader claim transition than the currently registered action policy.

Fields

action_id: String

Action whose transition target no longer authorizes the case claim.

IneligibleAdaptiveAction

A registered adaptive action failed current planner authorization.

Fields

action_id: String

Registered action excluded by current planner policy.

DefenseSuppressedAction

Current defense enforcement suppressed an adaptive, retry, or active action.

Fields

action_id: String

Action rejected under the current defense context.

AdaptiveActionRequiresPlanning

Direct adaptive dispatch would skip declared prerequisites.

Fields

action_id: String

Adaptive action whose dependency order must be planned normally.

Rules(RuleEngineError)

Reasoning failed.

Planner(PlannerError)

Planning failed.

Verification(VerificationError)

Verification failed.

Adaptive(AdaptivePipelineError)

Adaptive policy evaluation failed.

Experience(ExperienceStoreError)

Experience recording or validation failed.

StalePlanningSnapshot

Knowledge changed after the planner captured its decision snapshot.

Fields

source: KnowledgeBaseError

Exact revision mismatch detected before the session commit.

PlanningAfterReasoningCommit

Reasoning committed hypotheses before a later planning operation failed.

Fields

receipt: Box<DecisionReasoningCommitReceipt>

Exact rule applications committed before the failure.

source: Box<DecisionLoopError>

Planner or command-construction failure raised after the commit.

Implementations

impl DecisionLoopError

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

Returns committed reasoning when this failure happened after hypothesis writes.

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

Takes the committed reasoning receipt without cloning it.

Trait Implementations

impl Debug for DecisionLoopError

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

Formats the value using the given formatter.

impl Display for DecisionLoopError

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

Formats the value using the given formatter.

impl Error for DecisionLoopError

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

fn from(source: AdaptivePipelineError) -> Self

Converts to this type from the input type.

impl From<DecisionLoopError> for DecisionRunnerError

fn from(source: DecisionLoopError) -> Self

Converts to this type from the input type.

impl From<DecisionLoopError> for StandardWebDecisionRuntimeError

fn from(source: DecisionLoopError) -> Self

Converts to this type from the input type.

impl From<ExperienceStoreError> for DecisionLoopError

fn from(source: ExperienceStoreError) -> Self

Converts to this type from the input type.

impl From<PlannerError> for DecisionLoopError

fn from(source: PlannerError) -> Self

Converts to this type from the input type.

impl From<RuleEngineError> for DecisionLoopError

fn from(source: RuleEngineError) -> Self

Converts to this type from the input type.

impl From<VerificationError> for DecisionLoopError

fn from(source: VerificationError) -> Self

Converts to this type from the input type.