Enum VerifyOutcome 

pub enum VerifyOutcome {
    Match {
        frames: u32,
        hash: u64,
    },
    Mismatch {
        frames: u32,
        expected: u64,
        got: u64,
        first_bad_checkpoint: Option<u32>,
    },
    NotAttested,
}

The result of replaying an attested movie and comparing it to its record.

Variants

Match

The replay reproduced the recorded run exactly.

Fields

frames: u32

Frames replayed.

hash: u64

The hash both the record and the replay produced.

Mismatch

The replay diverged.

Fields

frames: u32

Frames replayed.

expected: u64

The hash the movie claims.

got: u64

The hash this replay produced.

first_bad_checkpoint: Option<u32>

Index of the first checkpoint that disagreed, if any did. The divergence began somewhere in the ATTESTATION_CHECKPOINT_INTERVAL frames ending at (index + 1) * INTERVAL - 1. None means every recorded checkpoint matched and only the final hash differs — i.e. the divergence is in the tail after the last checkpoint.

NotAttested

The movie carries no attestation, so there is nothing to verify against. Not an error: most movies are recorded without one.

Trait Implementations

impl Clone for VerifyOutcome

fn clone(&self) -> VerifyOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyOutcome

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

Formats the value using the given formatter.

impl Eq for VerifyOutcome

impl PartialEq for VerifyOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VerifyOutcome