Enum NoteWriteConflict 

pub enum NoteWriteConflict {
    Version {
        expected: i64,
        current: i64,
    },
    Fence {
        key: String,
        expected: Option<i64>,
        current: Option<i64>,
        index: Option<usize>,
    },
    Key {
        key: String,
        existing_id: String,
        equal: Option<bool>,
    },
    FenceDeadline(Box<FenceDeadline>),
    FenceIdentity(Box<FenceIdentity>),
}

Variants

Version

Fields

expected: i64

current: i64

Fence

Fields

key: String

expected: Option<i64>

current: Option<i64>

index: Option<usize>

Key

Fields

key: String

existing_id: String

equal: Option<bool>

Whether the live holder’s validated content and properties equal the candidate’s (ADR-172 Amendment 6). None unless the write that produced this conflict asked for the comparison (CreateKeyClaim::replay_signal, set only by the singleton create route): every other keyed route never carries this signal, so it can never reach their callers. Internal signal only even when present: it never reaches a client verbatim. The create handler turns an equal, disclosed conflict into a successful replay result, and rebuilds Details without this field on every other outcome.

FenceDeadline(Box<FenceDeadline>)

A fence whose live_until path did not admit the write. Separate from Fence because the version matched: what failed is the deadline. Boxed so this variant does not set the size of every conflict result.

FenceIdentity(Box<FenceIdentity>)

A fence whose id did not hold the key. Separate from Fence because the version is not what disagreed, and it may well agree: a recreated note starts at version 1. Boxed for the same reason as FenceDeadline.

Implementations

impl NoteWriteConflict

pub fn into_error(self) -> KhiveError

Trait Implementations

impl Clone for NoteWriteConflict

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 NoteWriteConflict

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

Formats the value using the given formatter.

impl Eq for NoteWriteConflict

impl PartialEq for NoteWriteConflict

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for NoteWriteConflict