Struct CursorProgressContinuous 

pub struct CursorProgressContinuous { /* private fields */ }

Continuous cursor-progress witness with no delivered marker.

This witness deliberately has no public constructor. A caller outside this crate cannot turn raw participant/epoch values into executable binding-fate authority; recovered-epoch fate must instead originate from FencedAttachCommit::recovered_binding_fate.

use liminal_protocol::{
    lifecycle::CursorProgressContinuous,
    wire::BindingEpoch,
};

fn fabricate(epoch: BindingEpoch) {
    let _ = CursorProgressContinuous::new(7, epoch, 11);
}

Implementations

impl CursorProgressContinuous

pub const fn participant_id(self) -> ParticipantId

Returns the participant whose cursor is required.

pub const fn binding_epoch(self) -> BindingEpoch

Returns the exact binding epoch.

pub const fn through_seq(self) -> DeliverySeq

Returns the required cumulative boundary.

pub const fn storage_description( self, conversation_id: ConversationId, ) -> StoredEdgeRestore

Describes this witness as the capsule that restores it.

The capsule states an ordinary-attach authority the witness does not hold, but restore accepts no authority other than the one this witness implies: restore_continuous requires the authority’s participant, epoch and cursor to equal the witness’s own three fields, so every field of the authority except its conversation is read off the witness. The conversation is the one being described, which is why it is an argument and not provenance – the same reason the marker delivery’s capsule omits it.

Trait Implementations

impl Clone for CursorProgressContinuous

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CursorProgressContinuous

impl Debug for CursorProgressContinuous

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

Formats the value using the given formatter.

impl Eq for CursorProgressContinuous

impl PartialEq for CursorProgressContinuous

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CursorProgressContinuous