Struct AttachCommit 

pub struct AttachCommit<F, V> {
    pub member: LiveMember<F>,
    pub binding_state: BindingState,
    pub detach_cell: DetachCell<V>,
    pub attached: AttachedLifecycleRecord,
    pub outcome: AttachBound,
    pub transition: AttachTransition,
    /* private fields */
}

Complete atomic result of a credential attach.

Fields

member: LiveMember<F>

Rotated membership with preserved or replaced terminal history.

binding_state: BindingState

Exact new authoritative binding.

detach_cell: DetachCell<V>

Fix 1 detach cell after terminalization/preservation.

attached: AttachedLifecycleRecord

Exact committed phase-2 Attached lifecycle record.

outcome: AttachBound

Exact wire success payload.

transition: AttachTransition

Typed old-binding or fenced-recovery terminal effect.

Implementations

impl<F, V> AttachCommit<F, V>

pub fn into_slot_and_fate( self, ) -> (InstalledAttachState<F, V>, SealedBindingFateToken)

Consumes this commit into operational state and exactly one fate token.

pub fn observer_progress_projection(&self) -> Option<ObserverProgressProjection>

Projects the binding-ending terminal committed by this attach, if any.

pub fn ordinary_cursor_progressed(self, event: Event) -> Result<Self, Box<Self>>

Consumes one exact normal-ack event into this ordinary attach’s cursor authority.

Fenced recovery has no ordinary authority and therefore returns the unchanged commit. The raw authority never crosses the public boundary.

Errors

Returns the unchanged commit for fenced recovery or when the event names another participant, epoch, previous cursor, or event class.

pub fn ordinary_binding_fate( self, terminal: CommittedDiedTerminal, resulting_floor: DeliverySeq, ) -> Result<OrdinaryBindingFate, Box<Self>>

Consumes this ordinary attach and its exact durable death into cursor-release fate.

A fenced attach cannot enter this path because it carries no ordinary binding authority; recovered epochs still require the distinct FencedAttachCommit provenance transition.

Errors

Returns the unchanged commit for fenced recovery or unless the terminal names this exact ordinary participant, conversation, and binding epoch.

Trait Implementations

impl<F: Debug, V: Debug> Debug for AttachCommit<F, V>

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

Formats the value using the given formatter.

impl<F: Eq, V: Eq> Eq for AttachCommit<F, V>

impl<F: PartialEq, V: PartialEq> PartialEq for AttachCommit<F, V>

fn eq(&self, other: &AttachCommit<F, V>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<F: PartialEq, V: PartialEq> StructuralPartialEq for AttachCommit<F, V>