Enum AtomicOpFailure 

pub enum AtomicOpFailure {
    GuardFailed {
        statement_label: Option<String>,
        expected: AffectedRowGuard,
        observed: u64,
    },
    SqlError {
        statement_label: Option<String>,
        message: String,
    },
}

Why a single op’s plan failed inside the commit pass (ADR-099 acceptance criteria: “the failing op index is recorded”).

Variants

GuardFailed

The statement executed without a SQL error, but its affected-row count did not satisfy the guard prepare attached to it (ADR-099 D1 rule 2 — “a prepare-time validation is a plan hypothesis, re-verified under the transaction, never a commitment”). This is the shape both the dangling-edge and zero-row acceptance criteria trip.

Fields

statement_label: Option<String>

expected: AffectedRowGuard

observed: u64

SqlError

The statement itself returned a storage error (a genuine SQL failure — malformed SQL, a constraint violation not modeled as a guard, etc.), not a guard mismatch.

Fields

statement_label: Option<String>

message: String

Trait Implementations

impl Clone for AtomicOpFailure

fn clone(&self) -> AtomicOpFailure

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AtomicOpFailure

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

Formats the value using the given formatter.

impl Eq for AtomicOpFailure

impl PartialEq for AtomicOpFailure

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AtomicOpFailure