Struct ChainCheck 

pub struct ChainCheck {
    pub timestamp: String,
    pub composed_anchor: i64,
    pub folded_anchor: i64,
    pub composed_concepts: usize,
    pub folded_concepts: usize,
    pub composed_edges: usize,
    pub folded_edges: usize,
    pub concept_disagreements: Vec<String>,
    pub edge_disagreements: Vec<String>,
    pub truncated: bool,
}

The result of a verify_snapshot_chain cross-check.

Carries the disagreements rather than a bool, because “the chain diverged” is not actionable and “these three concepts differ, and this edge is present in one and not the other” is. Bounded — see ChainCheck::SAMPLE_LIMIT — since a chain that went wrong early can disagree about every row, and a report that is the size of the database is one nobody reads.

Fields

timestamp: String

composed_anchor: i64

seq_anchor of the composed answer and of the genesis fold. These may legitimately differ: the composed answer anchors at the snapshot it started from plus its delta, and the fold anchors at the newest row it saw. Reported for diagnosis, never compared.

folded_anchor: i64

composed_concepts: usize

folded_concepts: usize

composed_edges: usize

folded_edges: usize

concept_disagreements: Vec<String>

Concept ids present in one and not the other, or whose attributes differ.

edge_disagreements: Vec<String>

Edge keys present in one and not the other.

truncated: bool

True when either list was truncated at ChainCheck::SAMPLE_LIMIT.

Implementations

impl ChainCheck

pub const SAMPLE_LIMIT: usize = 32

How many disagreements of each kind to carry.

pub fn diverged(&self) -> bool

Trait Implementations

impl Clone for ChainCheck

fn clone(&self) -> ChainCheck

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChainCheck

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

Formats the value using the given formatter.

impl Display for ChainCheck

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

Formats the value using the given formatter.