Struct MemAnchorVerification 

pub struct MemAnchorVerification {
    pub mem: String,
    pub resolved: usize,
    pub drifted: usize,
    pub recheck: usize,
    pub unresolvable: usize,
    pub unobserved: usize,
    pub dangling: usize,
    pub unreconciled: Option<String>,
    pub anchors: Vec<VerifiedAnchor>,
}

One mem’s standalone anchor-verification report — the counts plus the per-anchor rows, in sidecar order.

Fields

mem: String

resolved: usize

Source present, hash matches (or a non-hash class whose source exists).

drifted: usize

Source present, hash differs, stability stable — real drift.

recheck: usize

Hash differs under unstable stability, or a hash is missing on either side — flagged for re-examination, never called drift.

unresolvable: usize

Source absent: a MEASURED failure. The artifact the anchor names is not there.

unobserved: usize

The anchor could not be observed at all this pass, so nothing about it was measured (consistency-sweep 03/05, criterion 2). Its own count, because unresolvable used to swallow it: a reader on the surface you reach WITHOUT a binding could not tell a measured failure from an absent measurement, which is the one distinction that surface exists to make.

dangling: usize

Rows whose ENTITY is gone (consistency-sweep 03/02). Its own class, counted apart from the states above: those describe the artifact end, and a vanished entity says nothing about the source. Folding it into unresolvable would name the wrong repair.

unreconciled: Option<String>

Why the entity end could not be reconciled this pass, when it could not. dangling: 0 means “none found” only when this is None.

anchors: Vec<VerifiedAnchor>

Implementations

impl MemAnchorVerification

pub fn population_statement(&self) -> String

The population statement that must accompany this report’s figures (consistency-sweep 03/05, criteria 1 and 3): what the figures were computed over, and how much of it the pass could not adjudicate.

A resolution figure alone is read as health. Every W3 finding made that figure mean less than a reader assumes, and none of them made it wrong in a way anyone could see. Rendering the figure and its population as ONE unit is what stops the next such finding being invisible: a surface cannot show the number and omit the caveat, because it gets both from here or neither.

pub fn fully_adjudicated(&self) -> bool

Whether this axis adjudicated everything it counted. False means the figures above rest on an incomplete measurement, which is not the same as a failed one.

Trait Implementations

impl Clone for MemAnchorVerification

fn clone(&self) -> MemAnchorVerification

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MemAnchorVerification

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

Formats the value using the given formatter.

impl Default for MemAnchorVerification

fn default() -> MemAnchorVerification

Returns the “default value” for a type.

impl Serialize for MemAnchorVerification

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

where __S: Serializer,

Serialize this value into the given Serde serializer.