Enum Violation 

pub enum Violation {
    LostUpdate {
        key: String,
        missing: Vec<u64>,
    },
    DuplicateUpdate {
        key: String,
        duplicated: Vec<u64>,
    },
    NoConflictsObserved,
    UniqueWriteLost {
        key: String,
    },
    WritersDidNotComplete {
        completed: usize,
        total: usize,
    },
    NoProgress,
    MixedLiveAndTombstone {
        key: String,
        states: Vec<RawState>,
    },
    ReplicasDisagree {
        key: String,
        states: Vec<RawState>,
    },
    ConsumerRawMismatch {
        key: String,
        replica: usize,
    },
    FinalReadFailed {
        key: String,
        replica: usize,
    },
    LifecycleKeyVanished {
        key: String,
    },
    NoDeleteConflictsObserved,
    NoDeletesCommitted,
    LifecycleNotChecked,
    AckedDeleteLost {
        key: String,
    },
    StaleBaseCommitted {
        key: String,
        base: String,
    },
}

A violated invariant. An empty check result means the soak passed.

Variants

LostUpdate

Committed op-ids missing from the contended key’s final set — a lost update.

Fields

key: String

missing: Vec<u64>

DuplicateUpdate

An op-id appears more than once in a contended key’s final set.

Fields

key: String

duplicated: Vec<u64>

NoConflictsObserved

No conflicts were observed anywhere — the race invariant was not exercised.

UniqueWriteLost

An acked unique-key write is missing or has the wrong value after chaos.

Fields

key: String

WritersDidNotComplete

Not every writer task completed within the deadline (liveness).

Fields

completed: usize

total: usize

NoProgress

The run committed nothing at all (liveness).

MixedLiveAndTombstone

A lifecycle key is live on some replicas and a tombstone on others.

Fields

key: String

states: Vec<RawState>

ReplicasDisagree

Replicas that read successfully disagree on a lifecycle key’s raw state (different revisions, or absent on some).

Fields

key: String

states: Vec<RawState>

ConsumerRawMismatch

A replica’s consumer read disagrees with its own raw read on whether the key is live: a tombstone served to consumers, or a live record hidden from them. Checked on liveness only, not on revision — see the module doc.

Fields

key: String

replica: usize

FinalReadFailed

A replica could not be read after settling.

Fields

key: String

replica: usize

LifecycleKeyVanished

A lifecycle key with committed writes reads as absent — delete must write a tombstone, never physically remove.

Fields

key: String

NoDeleteConflictsObserved

Lifecycle ops ran but no delete ever lost a race — the delete-conflict invariant was not exercised.

NoDeletesCommitted

Lifecycle ops ran but no delete was ever acknowledged (a no-op delete over an existing tombstone counts).

LifecycleNotChecked

Lifecycle ops ran but no per-replica final state was collected.

AckedDeleteLost

An acked delete of a unique key reads as live again, or not as a tombstone.

Fields

key: String

StaleBaseCommitted

Two conditional writes committed on the same base revision of one key: (a) two edits, or (b) an edit plus a delete that actually wrote a tombstone on that base (delete_wrote == Some(true)). Under OCC at most one can win, so this is a lost update or a resurrection over a tombstone (spec §3.2, §5.4). An edit sharing a base only with deletes whose write evidence is Some(false) or None is ambiguous (a stale delete can land as a no-op over a later tombstone and still report Deleted) and is skipped, never flagged.

Fields

key: String

base: String

Trait Implementations

impl Clone for Violation

fn clone(&self) -> Violation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Violation

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

Formats the value using the given formatter.

impl Eq for Violation

impl PartialEq for Violation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Violation