Struct AuditVerification 

pub struct AuditVerification {
    pub chain: VerifyOutcome,
    pub events: VerifyOutcome,
    pub binding: BindingOutcome,
    pub attribution: Option<AttributionCensus>,
}

Everything sysknife audit verify checks, in one value.

Three independent questions, deliberately not collapsed into one enum: is the authorisation record intact, is the approval record intact, and do the two still agree. Collapsing them would let a clean transaction chain mask a tampered approval trail in the summary line.

Fields

chain: VerifyOutcome

events: VerifyOutcome

binding: BindingOutcome

attribution: Option<AttributionCensus>

How many rows can name the account that acted, and why the rest cannot.

Reported separately because Intact alone would be true and misleading: a host where every connection failed attribution produces a chain that verifies perfectly and answers “who acted” with nobody. The verdict is about tampering; this census is about how much the trail can tell you.

None when the store could not be read at all, so no census was taken: a missing database, an unopenable one, an absent key. A readable but empty store is Some, with every count zero.

Deliberately not a census of zero rows for the unreadable case: “nothing is known about attribution” and “the chain holds no rows” are different claims, and a zero that means the first reads as the second, which is the exact confusion this census exists to end.

Implementations

impl AuditVerification

pub fn exit_code(&self) -> i32

Worst result across all three checks.

A detected tamper (1) outranks an inability to check (2): if the chain is provably broken, reporting “could not verify” because some other check was inconclusive would understate what is known.

Trait Implementations

impl Clone for AuditVerification

fn clone(&self) -> AuditVerification

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AuditVerification

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

Formats the value using the given formatter.

impl Eq for AuditVerification

impl PartialEq for AuditVerification

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AuditVerification