Struct VerifyOutcome 

pub struct VerifyOutcome {
    pub retained: Vec<FrameId>,
    pub dropped: Vec<DroppedFrame>,
}

The result of revalidating a held frame set (docs/context-reuse.md §4).

Partitions the input into frames the host may keep reusing and frames it must drop. The partition is total and default-deny: every input identity appears in exactly one of the two lists, and it lands in retained only on an explicit valid.

Fields

retained: Vec<FrameId>

Frames that verified valid — safe to keep reusing, and the frames whose byte-stable reuse §1’s canonical ordering was built to protect.

dropped: Vec<DroppedFrame>

Frames that must leave the composed context, each with its reason.

Implementations

impl VerifyOutcome

pub fn requery(&self) -> impl Iterator<Item = &FrameId>

The dropped frames worth re-querying — everything except gone, which is not there to re-fetch.

pub fn was_dropped(&self, frame: &FrameId) -> bool

Whether an identity was dropped.

pub fn drop_reason(&self, frame: &FrameId) -> Option<&DropReason>

The reason an identity was dropped, if it was.

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 Default for VerifyOutcome

fn default() -> VerifyOutcome

Returns the “default value” for a type.

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