Struct VerifyResult 

pub struct VerifyResult {
    pub ok: bool,
    pub code: Option<ErrorCode>,
    pub level: Option<Level>,
    pub hash: Option<String>,
    pub computed_by: Option<String>,
    pub blob_checked: bool,
    pub detail: String,
    pub path: String,
}

The outcome of verify.

code is None when ok, with two exceptions, the codes of SPEC 10.2 that are not failures (10.1 step 7.6):

• ErrorCode::EvalUnavailable: a resolver is given and 7.1-7.5 pass but Resolver::evaluation returns None. The receipt is still signature-valid, so the result is ok, level Level::Signed, with code: Some(EvalUnavailable), path $.value and a detail: recomputation did not happen, and the code says why.
• ErrorCode::InputSuperseded (spec-0.4.0): the evaluated value differs, and the evaluation’s lineage shows that an input was replaced by a later version of its cell, or a slice by other members: ok, level Signed, path $.inputs. The receipt is historical, not wrong.

Step 7.7 still runs afterwards: if it passes, blob_checked is true and the code is kept; if it fails, its failure replaces the code as a normal failure (ok false, its own code).

Fields

ok: bool

Whether the receipt verified.

code: Option<ErrorCode>

The failure’s code; None when ok, except ErrorCode::EvalUnavailable and ErrorCode::InputSuperseded.

level: Option<Level>

The level reached; None unless ok.

hash: Option<String>

The receipt hash, once the receipt was canonical enough to compute it.

computed_by: Option<String>

The receipt’s computed_by (<host>#<key id>), once steps 1-4 passed.

blob_checked: bool

Whether step 7.7 ran and passed.

detail: String

A human explanation of the failure (or of a code reported with success); empty otherwise.

path: String

Where the failure (or a code reported with success) was found; empty otherwise.

Implementations

impl VerifyResult

pub fn error(&self) -> Option<Error>

code as an Error, with path and detail: the failure, or a code reported with success.

Trait Implementations

impl Clone for VerifyResult

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyResult

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

Formats the value using the given formatter.

impl Eq for VerifyResult

impl PartialEq for VerifyResult

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VerifyResult