Enum VerifyFinding 

pub enum VerifyFinding {
    HashMismatch {
        seq: u64,
    },
    Gap {
        range: GapRange,
    },
    SeqMismatch {
        table_key: u64,
        embedded_seq: u64,
    },
    IndexDrift {
        kind: IndexKind,
        key: String,
        drift: IndexDrift,
    },
    ManifestMismatch {
        kind: ManifestField,
        reason: String,
    },
    SnapshotAnchorInvalid {
        reason: String,
    },
}

One actionable integrity finding from a verifier run.

Variants

HashMismatch

The recomputed canonical hash of seq did not match the stored value.

Fields

seq: u64

The sequence number whose hash diverged.

Gap

One or more contiguous seq slots inside the high-watermark are missing.

Fields

range: GapRange

The inclusive range of missing seqs.

SeqMismatch

The entry stored at table key table_key carries an entry.seq that disagrees with the key.

The canonical hash hashes entry.seq rather than the table key, so a row whose bytes were moved or duplicated under a different key still passes the hash check. The verifier surfaces the divergence so that class of corruption never reads as clean.

Fields

table_key: u64

The redb table key (the slot the verifier was reading).

embedded_seq: u64

The seq embedded inside the decoded entry value.

IndexDrift

A stored sidecar index entry diverges from the projection rebuilt from the entry table.

Fields

kind: IndexKind

Which sidecar index the finding applies to.

key: String

The stringified key inside that index.

drift: IndexDrift

The kind of drift observed.

ManifestMismatch

A manifest field disagrees with the entry table or violates a sealed-state invariant.

Fields

kind: ManifestField

Which manifest field the finding applies to.

reason: String

Operator-readable explanation of the mismatch.

SnapshotAnchorInvalid

The recorded snapshot anchor cannot support a restore: it fails to decode or points past the durable high-watermark.

Fields

reason: String

Operator-readable explanation of the failure.

Trait Implementations

impl Clone for VerifyFinding

fn clone(&self) -> VerifyFinding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyFinding

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

Formats the value using the given formatter.

impl Eq for VerifyFinding

impl PartialEq for VerifyFinding

fn eq(&self, other: &VerifyFinding) -> 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 StructuralPartialEq for VerifyFinding