Enum ValidationKind 

#[non_exhaustive]
pub enum ValidationKind {
    InvalidInput,
    CapabilityMismatch,
    InvalidCapabilities,
    InvalidPolicyJson,
    PayloadTooLarge,
    SignalLimitExceeded,
    InvalidWaitpointKey,
    InvalidToken,
    WaitpointNotTokenBound,
    RetentionLimitExceeded,
    InvalidLeaseForSuspend,
    InvalidDependency,
    InvalidWaitpointForExecution,
    InvalidBlockingReason,
    InvalidOffset,
    Unauthorized,
    InvalidBudgetScope,
    BudgetOverrideNotAllowed,
    InvalidQuotaSpec,
    InvalidKid,
    InvalidSecretHex,
    InvalidGraceMs,
    InvalidTagKey,
    InvalidFrameType,
    Corruption,
    HandleFromOtherBackend,
}

Validation sub-kinds. 1:1 with the Lua validation codes.

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.

InvalidInput

Generic caller-supplied input rejected (field-name detail).

CapabilityMismatch

Worker caps do not satisfy execution’s required_capabilities. detail is the sorted-CSV of missing tokens.

InvalidCapabilities

Malformed/oversized capability list.

InvalidPolicyJson

policy_json not valid JSON or structurally wrong.

PayloadTooLarge

Signal payload > 64KB.

SignalLimitExceeded

Max signals per execution reached.

InvalidWaitpointKey

MAC verification failed on waitpoint_key.

InvalidToken

HMAC verification failed on a bearer waitpoint_token (signal delivery path). Preserved as a distinct variant so the REST layer can surface the Lua code invalid_token verbatim.

WaitpointNotTokenBound

Pending waitpoint has no HMAC token field.

RetentionLimitExceeded

Frame > 64KB.

InvalidLeaseForSuspend

Lease/attempt binding mismatch on suspend.

InvalidDependency

Dependency edge not found / invalid dependency ref.

InvalidWaitpointForExecution

Waitpoint/execution binding mismatch.

InvalidBlockingReason

Unrecognized blocking reason.

InvalidOffset

Invalid stream ID offset.

Unauthorized

Auth failed.

InvalidBudgetScope

Budget scope malformed.

BudgetOverrideNotAllowed

Operator privileges required.

InvalidQuotaSpec

Malformed quota definition.

InvalidKid

Rotation kid must be non-empty and dot-free.

InvalidSecretHex

Rotation secret must be non-empty even-length hex.

InvalidGraceMs

Rotation grace_ms must be a non-negative integer.

InvalidTagKey

Tag key violates reserved-namespace rule.

InvalidFrameType

Unrecognized stream frame type.

Corruption

On-disk corruption or protocol drift: an engine-owned hash / key returned a field shape the decoder could not parse (missing required field, malformed timestamp, unknown extra field, cross-field identity mismatch, etc.). detail carries the decoder’s diagnostic string — the specific field name and/or offending value — in the form "<context>: <field?>: <message>" so operators can locate the bad key without reparsing.

Classified as Terminal: a consumer retrying the read will see the same bytes. Surface to the operator; do not loop.

HandleFromOtherBackend

The crate::backend::Handle presented to a backend op was minted by a different backend (e.g. a Valkey-tagged handle passed to the Postgres backend). RFC-v0.7 Wave 1c: cross-backend migration tooling emits Handles from one backend that must not decode as the other; backends detect the mismatch at op entry and return this variant.

detail carries "expected=<tag> actual=<tag>" for operator diagnostics.

Trait Implementations

impl Clone for ValidationKind

fn clone(&self) -> ValidationKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidationKind

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

Formats the value using the given formatter.

impl PartialEq for ValidationKind

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ValidationKind

impl StructuralPartialEq for ValidationKind