Struct VerifyReport 

pub struct VerifyReport {
    pub records_decoded: usize,
    pub checkpoints: usize,
    pub memory_records: usize,
    pub symbol_events: usize,
    pub tail: TailStatus,
    pub dangling_symbols: usize,
}

Result of a verify pass.

Fields

records_decoded: usize

Number of records successfully decoded.

checkpoints: usize

Number of Checkpoint boundaries found.

memory_records: usize

Number of memory records (Sem / Epi / Pro / Inf).

symbol_events: usize

Number of SYMBOL_* records.

tail: TailStatus

Classification of the tail past the last decoded record — clean, recoverable orphan-tail truncation, or genuine corruption (with the underlying DecodeError preserved).

dangling_symbols: usize

Dangling symbol references found in memory records (the referenced SymbolId had no preceding SymbolAlloc).

Implementations

impl VerifyReport

pub const fn trailing_bytes(&self) -> u64

Convenience accessor — bytes past the last decoded record regardless of whether they’re an orphan tail or corruption.

Trait Implementations

impl Debug for VerifyReport

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

Formats the value using the given formatter.

impl PartialEq for VerifyReport

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

impl StructuralPartialEq for VerifyReport