Struct VerifiedOperation 

pub struct VerifiedOperation<'a>(/* private fields */);

Decoder-verified body and envelope, borrowing the exact immutable packet bytes.

Only a successfully decoded batch can produce this proof. Unlike Operation::from_verified, there is no caller-asserted constructor. It allows admission to reuse hashing, not to skip schema, state, role, scope, history, or capacity validation. It is neither authentication nor a vote.

A caller-asserted outgoing operation cannot be promoted into a receive proof:

use ozzy_replication::wire::{Operation, VerifiedOperation};
fn trust(operation: Operation<'_>) -> VerifiedOperation<'_> {
    operation.into()
}

Implementations

impl<'a> VerifiedOperation<'a>

pub const fn canonical(self) -> CanonicalOperation<'a>

Borrow the body and envelope covered by the decoder’s integrity checks.

pub const fn body_digest(self) -> Digest

Body digest recomputed and matched by the decoder, not merely supplied.

pub const fn prefix(self) -> Prefix

Hash-validated chain position, not a retained or committed boundary.

Trait Implementations

impl<'a> Clone for VerifiedOperation<'a>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for VerifiedOperation<'a>

impl<'a> Debug for VerifiedOperation<'a>

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

Formats the value using the given formatter.

impl<'a> Eq for VerifiedOperation<'a>

impl<'a> PartialEq for VerifiedOperation<'a>

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

Equality operator ==.

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

Inequality operator !=.

impl<'a> StructuralPartialEq for VerifiedOperation<'a>