Enum VerificationOutcome 

pub enum VerificationOutcome {
    Verified,
    CommittedUnverified {
        reason: String,
    },
    Failed {
        reason: String,
    },
}

What is actually known about an action’s effect after execution.

verify previously returned bool, computed as receipt.status == Committed. That collapsed two different claims: that the runtime accepted the action, and that the intended effect was observed. A committed action whose effect did not occur was reported as completed, and the reference graph labelled the node and its output “verification”.

Variants

Verified

The declared postcondition was observed to hold, with evidence bound to it.

CommittedUnverified

The runtime committed the action, but no independent postcondition evidence is available — either none was declared, or the receipt carried none.

Fields

reason: String

Why verification could not be performed, for the operator reading the result.

Failed

The action did not commit, or the evidence contradicts the postcondition.

Fields

reason: String

What went wrong.

Implementations

impl VerificationOutcome

pub fn is_verified(&self) -> bool

Whether the postcondition was independently observed.

Deliberately false for VerificationOutcome::CommittedUnverified: a caller asking “was this verified?” must not be told yes because the action merely committed.

pub fn is_committed(&self) -> bool

Whether the action was performed, whether or not its effect was verified.

pub fn status(&self) -> &'static str

A stable status string for the graph’s result.status field.

Trait Implementations

impl Clone for VerificationOutcome

fn clone(&self) -> VerificationOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerificationOutcome

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

Formats the value using the given formatter.

impl Eq for VerificationOutcome

impl PartialEq for VerificationOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VerificationOutcome