Enum MeasuredBindingFate 

pub enum MeasuredBindingFate {
    Ordinary(OrdinaryBindingFate),
    Recovered(RecoveredBindingFate),
}

Protocol-produced binding fate after measuring the post-release floor.

Variants

Ordinary(OrdinaryBindingFate)

Ordinary no-marker fate with exact Died provenance.

Recovered(RecoveredBindingFate)

Fenced recovered fate with no Died terminal input.

Implementations

impl MeasuredBindingFate

pub const fn resulting_floor(&self) -> DeliverySeq

Returns the measured floor carried by either closed fate class.

pub const fn observer_progress_projection(&self) -> ObserverProgressProjection

Projects the protocol-measured floor for observer routing.

Trait Implementations

impl Debug for MeasuredBindingFate

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

Formats the value using the given formatter.

impl Eq for MeasuredBindingFate

impl PartialEq for MeasuredBindingFate

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MeasuredBindingFate