Enum Finding 

pub enum Finding {
    Chain {
        run: RunId,
        detail: String,
    },
    NotInLog {
        run: RunId,
    },
    BadInclusion {
        run: RunId,
    },
    LeafMismatch {
        run: RunId,
    },
    SealClaim {
        run: RunId,
    },
    NotAppendOnly {
        old_size: u64,
    },
    WrongLog {
        theirs: String,
        ours: String,
    },
    Shrunk {
        old_size: u64,
        now: u64,
    },
}

One thing wrong with a plane’s history.

Variants

Chain

Fields

run: RunId

detail: String

NotInLog

Fields

run: RunId

BadInclusion

Fields

run: RunId

LeafMismatch

The chain the store served is not the chain the log committed to.

The one that catches a truncated-but-internally-consistent record set: a prefix of a chain verifies on its own, and the leaf the log holds is the terminal hash of the whole run — so an audit that verified the records and then checked the store-supplied leaf against the tree, without ever holding the two to each other, was verifying two halves of two different claims.

Fields

run: RunId

SealClaim

The sealing record’s own claim disagrees with the chain it sits in.

RunSealed.chain_head is the head the conclusion was drawn over — by construction, the record’s own prev_hash. A mismatch means the conclusion was composed against a different history than the one it was appended to, which no honest writer produces.

Fields

run: RunId

NotAppendOnly

The one that needs an outside artifact.

Fields

old_size: u64

WrongLog

Fields

theirs: String

ours: String

Shrunk

Fields

old_size: u64

now: u64

Trait Implementations

impl Clone for Finding

fn clone(&self) -> Finding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Finding

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

Formats the value using the given formatter.

impl Display for Finding

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

Formats the value using the given formatter.

impl Eq for Finding

impl Error for Finding

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl PartialEq for Finding

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Finding