Enum VerifyOutcome 

pub enum VerifyOutcome {
    Ok,
    Unsigned,
    Missing,
    BadSignature,
    UntrustedSigner,
    Mismatch,
    Malformed,
    ToolMissing,
}

What attest verify found for one task object.

Variants

Ok

Every line parses, every signature verifies against the trust input, and every statement agrees with the commit.

Unsigned

The statements hold but are not signed.

Missing

No speccoder attestation on the object.

BadSignature

A signature does not verify.

UntrustedSigner

A signature verifies, but its key is not trusted by the verifier.

Mismatch

A statement disagrees with the commit, its trailers, the spec or the bundle.

Malformed

A line does not parse.

ToolMissing

The signature’s tool (ssh-keygen, gpg, cosign) cannot run: nothing can be said about it.

Implementations

impl VerifyOutcome

pub const fn rank(self) -> u8

How grave: when several apply, the gravest is the outcome (malformed > bad_signature > mismatch > tool_missing > untrusted_signer > unsigned > ok; missing stands alone).

pub const fn word(self) -> &'static str

The word reports use.

Trait Implementations

impl Clone for VerifyOutcome

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for VerifyOutcome

impl Debug for VerifyOutcome

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

Formats the value using the given formatter.

impl Eq for VerifyOutcome

impl JsonSchema for VerifyOutcome

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl Ord for VerifyOutcome

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for VerifyOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for VerifyOutcome

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for VerifyOutcome

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for VerifyOutcome