Enum Verification 

pub enum Verification {
    Verified {
        evidence: String,
    },
    Absent {
        deviation: &'static str,
        reason: String,
    },
}

The result of checking one OCAP invariant at runtime.

Variants

Verified

The invariant is enforced; evidence records how it was confirmed.

Fields

evidence: String

Absent

The invariant is not yet enforced (an open deviation). Dependent capabilities stay fail-closed; reason is the honest “why”.

Fields

deviation: &'static str

reason: String

Implementations

impl Verification

pub fn is_verified(&self) -> bool

True only when the invariant is actually enforced.

pub fn deviation(&self) -> Option<&'static str>

The deviation id when absent (for honest banners / the ledger).

Trait Implementations

impl Clone for Verification

fn clone(&self) -> Verification

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Verification

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

Formats the value using the given formatter.

impl Eq for Verification

impl PartialEq for Verification

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Verification