Enum AtomicRejectionReason 

pub enum AtomicRejectionReason {
    EmbeddingBearing,
    Read,
    Unlisted,
    KnownUnimplemented,
}

Why a verb was rejected from an --atomic op list (ADR-099 D3, migration step 2). Distinguishes the two named rejection classes from a generic “not yet admitted” fallback so callers can produce an actionable message.

Variants

EmbeddingBearing

The verb still computes an embedding synchronously in its write path.

Read

The verb is a read — it has no write plan to apply.

Unlisted

Neither on the v1 admissible list nor a known rejected category (e.g. a verb added after this list was written). Rejected by default — admissibility is opt-in, never inferred.

KnownUnimplemented

On ATOMIC_ADMISSIBLE_VERBS per ADR-099 D3 (conceptually admissible, intended to gain a seam) but has no prepare/apply implementation in this slice yet (ATOMIC_KNOWN_UNIMPLEMENTED_VERBS). Rejected at the same pre-runtime static-guard stage as every other rejection reason — never silently no-opped, never deferred until after a runtime/write attempt.

Trait Implementations

impl Clone for AtomicRejectionReason

fn clone(&self) -> AtomicRejectionReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AtomicRejectionReason

impl Debug for AtomicRejectionReason

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

Formats the value using the given formatter.

impl Eq for AtomicRejectionReason

impl PartialEq for AtomicRejectionReason

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AtomicRejectionReason