Enum FreshnessEvidence 

pub enum FreshnessEvidence {
    Offline,
    SourceAge(Duration),
    FresherTip {
        latest_seq: u128,
        slice_as_of: u128,
    },
}

What the verifier knows about a source fresher than the supplied slice (ADR 009 D3–D5). The verifier reads no clock and no network — this is an INPUT supplied at the boundary (a bundle timestamp, a witness head, a transparency-log tip), the one model both the time-based (bundle) and positional (KEL/credential) call sites share.

Variants

Offline

No source fresher than the supplied slice was available (offline) → Unknown.

SourceAge(Duration)

The age of the freshest available source (a witness-head / checkpoint timestamp); time-based, used by bundle verification. Within the policy window → Fresh, beyond it → Stale.

FresherTip

A known-fresher tip handed to the verifier out of band (a witness head / log tip), compared against the slice’s as_of; positional, used by KEL/credential verification.

Fields

latest_seq: u128

The freshest tip sequence the verifier knows of.

slice_as_of: u128

The sequence the verified slice is as-of.

Trait Implementations

impl Clone for FreshnessEvidence

fn clone(&self) -> FreshnessEvidence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FreshnessEvidence

impl Debug for FreshnessEvidence

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

Formats the value using the given formatter.

impl Eq for FreshnessEvidence

impl PartialEq for FreshnessEvidence

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FreshnessEvidence