Struct FencedAttachCommit 

pub struct FencedAttachCommit { /* private fields */ }

Opaque proof that an exact marker-fenced attach committed.

Only DetachedCredentialRecovery::fenced_attach constructs this value. Ordinary attach therefore cannot fabricate marker acceptance or advance a cursor merely by presenting a marker sequence.

Implementations

impl FencedAttachCommit

pub const fn conversation_id(self) -> ConversationId

Returns the conversation inherited from the consumed recovery edge.

pub const fn participant_id(self) -> ParticipantId

Returns the participant whose fenced recovery committed.

pub const fn marker_delivery_seq(self) -> DeliverySeq

Returns the exact delivered marker accepted by the commit.

pub const fn prior_binding_epoch(self) -> BindingEpoch

Returns the exact dead binding epoch that durably received the marker.

pub const fn new_binding_epoch(self) -> BindingEpoch

Returns the exact newly committed authoritative binding epoch.

pub const fn next_state(self) -> ClosureState

Returns the measured clear, observer-projection, or compaction successor.

pub fn recovered_binding_fate( self, event: Event, ) -> Result<RecoveredBindingFate, ClosureState>

Validates the exact fate of this commit’s recovered binding epoch.

The returned authority retains both the fenced-attach provenance and its exact nonzero-debt OP/PC successor. It must be consumed by that stored edge’s recovered-fate transition, so a fate that precedes storage completion cannot lose the required DetachedCursorRelease suffix.

Errors

Returns the unchanged post-attach state unless the event names this participant and the exact newly committed binding epoch, or when the fenced attach had already cleared debt.

Trait Implementations

impl Clone for FencedAttachCommit

fn clone(&self) -> FencedAttachCommit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FencedAttachCommit

impl Debug for FencedAttachCommit

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

Formats the value using the given formatter.

impl Eq for FencedAttachCommit

impl PartialEq for FencedAttachCommit

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FencedAttachCommit