Struct VerifyOutcome 

pub struct VerifyOutcome {
    pub binding: String,
    pub key: FindingKey,
    pub recorded: usize,
    pub superseded: usize,
    pub backlog: usize,
    pub full_resync: FullResyncDecision,
    pub facet_heads: BTreeMap<String, String>,
    pub hash_backfill: Vec<ObservedArtifactHash>,
}

The outcome of a verify_binding pass.

Fields

binding: String

The binding id verified.

key: FindingKey

The key the findings were recorded under this pass.

recorded: usize

How many findings were recorded under the current key.

superseded: usize

How many findings remain under prior (superseded) keys (A3).

backlog: usize

The tier-3 backlog depth — findings queued for adjudication.

full_resync: FullResyncDecision

The full-enumeration scheduling decision for this run (D3) — whether a scheduled full walk fired, is not yet due, is disabled, and any typed non-enumerable refusals. Surfaced (never a silent skip) to the caller.

facet_heads: BTreeMap<String, String>

Each source facet’s current head token as observed by this run — the per-facet decomposition of key.source_head. The completed-run baseline record_verified_baseline writes as #verified.

hash_backfill: Vec<ObservedArtifactHash>

Prepared-content hashes this pass observed for hash-less hash-bearing (anchored / derived) anchors whose artifact resolved — the backfill worklist. The caller records them onto the anchors via record_anchor_hash_backfill after the pass returns Ok (the same sanctioned post-run-write pattern as record_verified_baseline); once recorded, subsequent verifies adjudicate those anchors deterministically and this list comes back empty. authored / informed-by anchors never appear here — the observation computes no hash for them.

Trait Implementations

impl Clone for VerifyOutcome

fn clone(&self) -> VerifyOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyOutcome

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

Formats the value using the given formatter.

impl Eq for VerifyOutcome

impl PartialEq for VerifyOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VerifyOutcome