Struct InvariantReport 

pub struct InvariantReport {
    pub files_total: usize,
    pub applier_total: usize,
    pub applier_ok: usize,
    pub applier_mismatches: Vec<String>,
    pub binary_oid_checked: usize,
    pub hunks_total: usize,
    pub accounting_ok: bool,
    pub tree: Option<TreeReport>,
}

Fields

files_total: usize

applier_total: usize

Text files (non-binary, non-submodule) checked byte-exactly.

applier_ok: usize

applier_mismatches: Vec<String>

binary_oid_checked: usize

Binary files verified by oid instead of by reconstruction.

hunks_total: usize

accounting_ok: bool

tree: Option<TreeReport>

Invariants 3 and 4. None means pipeline::verify did not run — not that it ran and passed. Consumers must not read absence as success.

Implementations

impl InvariantReport

pub fn fidelity_ok(&self) -> bool

Invariants 1 and 2 — everything the read-only pipeline can assert.

This is the gate on emitting a document at all: a bad parse, a dropped hunk or broken accounting all fail here, and all three would make a renderer show the wrong thing.

pub fn all_ok(&self) -> bool

Invariants 1 to 4. False when the tree half never ran, which is correct rather than a bug: a caller that wants the weaker claim asks fidelity_ok.

pub fn applier_exact(&self) -> String

“n/n” for the audit block.

Trait Implementations

impl Clone for InvariantReport

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 InvariantReport

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

Formats the value using the given formatter.

impl Display for InvariantReport

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

The human form of the report: totals and invariants 1-4, one per line.

Formatting, not printing — the engine still writes nothing. The endpoints are deliberately absent: they are not part of the report (nor of --json), so a caller that wants a range header prints its own.

impl Serialize for InvariantReport

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.