Enum ReductionError 

#[non_exhaustive]
pub enum ReductionError {
    Limits(PlanLimitError),
    UnknownOperation {
        act: ActId,
        operation: OperationKey,
    },
    InvalidArguments {
        act: ActId,
        error: SchemaValidationError,
    },
    CaseNotLoaded {
        act: ActId,
    },
    InconsistentPlan {
        detail: String,
    },
    Hash,
    DuplicateOperation {
        operation: OperationKey,
    },
    Contradiction {
        first: ActId,
        second: ActId,
    },
    CommandBudgetExceeded {
        limit: usize,
        actual: usize,
    },
}

The whole-turn reducer could not produce a plan (spec §13).

The wire form is adjacently tagged ({"kind": ..., "detail": ...}): several variants wrap another tagged error, and an internal tag would write two kind keys into one object, so the outer variant was lost on the way back.

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.

Limits(PlanLimitError)

Plan limits were exceeded.

UnknownOperation

An act names an operation not present in the catalog.

Fields

act: ActId

The act.

operation: OperationKey

The operation.

InvalidArguments

An act’s arguments do not satisfy the operation’s input schema.

Fields

act: ActId

The act.

error: SchemaValidationError

Validation detail.

CaseNotLoaded

An act references a case view that is not in the context.

Fields

act: ActId

The act.

InconsistentPlan

The produced plan is inconsistent (missing act results, dangling refs).

Fields

detail: String

Stable description of the inconsistency (no user text).

Hash

Hashing the plan failed.

DuplicateOperation

Two act definitions were offered under the same operation key, so one would silently shadow the other.

Fields

operation: OperationKey

The repeated key.

Contradiction

Two acts contradict each other and no precedence rule applies.

Fields

first: ActId

The first act.

second: ActId

The second act.

CommandBudgetExceeded

The turn compiled more commands than the runtime is configured to execute.

The whole turn is refused rather than a prefix executed: a plan that runs half of what the user asked for is exactly the silent partial application I10 and I11 exist to prevent.

Fields

limit: usize

The configured maximum.

actual: usize

How many commands the turn compiled.

Trait Implementations

impl Clone for ReductionError

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReductionError

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ReductionError

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ReductionError

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

Formats the value using the given formatter.

impl Eq for ReductionError

impl Error for ReductionError

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 ErrorClassification for ReductionError

fn retryable(&self) -> bool

May the whole operation be retried without further analysis?

fn effect_may_have_happened(&self) -> bool

May a side effect have happened despite the error?

fn user_message_key(&self) -> &'static str

Key of a user-safe message in the application’s copy catalog.

fn severity(&self) -> ErrorSeverity

Operational severity.

fn reconciliation_required(&self) -> bool

Must a reconciliation job run before the case is trusted again?

impl From<PlanLimitError> for ReductionError

fn from(value: PlanLimitError) -> Self

Converts to this type from the input type.

impl From<ReductionError> for OrchestratorError

fn from(value: ReductionError) -> Self

Converts to this type from the input type.

impl PartialEq for ReductionError

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ReductionError

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ReductionError