Enum Verdict 

pub enum Verdict {
    Confirmed,
    ModuleChanged,
    Refuted {
        observed_status: CallStatus,
        observed_result: Option<i32>,
    },
    Unverifiable,
}

Outcome of re-executing a call receipt against the live module bytes.

Variants

Confirmed

Re-execution reproduced the recorded status (and result, when Ok) exactly — the receipt is TRUE of these bytes.

ModuleChanged

The live bytes no longer hash to the receipt’s module_keccak — the module was republished. The receipt still binds the OLD bytes; nothing can be said about it from the new ones.

Refuted

Re-execution ran and produced a DIFFERENT outcome — the receipt does not describe what this module does.

Fields

observed_status: CallStatus

What re-execution observed (a receiptable status).

observed_result: Option<i32>

The observed result (when the observed status is Ok).

Unverifiable

Re-execution could not interrogate the module (instantiate failure / host refusal) — no statement about the receipt is possible.

Trait Implementations

impl Clone for Verdict

fn clone(&self) -> Verdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Verdict

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

Formats the value using the given formatter.

impl Eq for Verdict

impl PartialEq for Verdict

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Verdict