Struct MarkerDelivery 

pub struct MarkerDelivery { /* private fields */ }

Exact marker-delivery witness.

This witness has no public constructor. Fresh delivery is produced only by the claim frontier’s consuming marker-drain transition; cold restoration requires its sealed retained-marker-record authority. Raw participant, binding, and sequence values therefore cannot create recovery authority.

use liminal_protocol::{
    lifecycle::MarkerDelivery,
    wire::{BindingEpoch, ConnectionIncarnation, Generation},
};

let epoch = BindingEpoch::new(
    ConnectionIncarnation::new(1, 1),
    Generation::ONE,
);
let _ = MarkerDelivery::new(7, epoch, 11);

Implementations

impl MarkerDelivery

pub const fn conversation_id(self) -> ConversationId

Returns the conversation whose frontier authority minted this delivery.

pub const fn participant_id(self) -> ParticipantId

Returns the marker owner.

pub const fn binding_epoch(self) -> BindingEpoch

Returns the exact delivery epoch.

pub const fn marker_delivery_seq(self) -> DeliverySeq

Returns the exact marker sequence.

impl MarkerDelivery

pub fn delivered_progress( self, event: Event, ) -> Result<ParticipantCursorProgress, Self>

Consumes sealed marker-delivery authority and derives its exact cursor progress witness after validating the delivered event.

This debt-independent projection is for owners that persist the marker successor separately from later closure-accounting evolution. Callers cannot mint MarkerDelivery; only a validated marker drain or restore can supply this authority.

Errors

Returns the unchanged sealed delivery unless participant, epoch, and marker sequence exactly match.

pub fn delivered( self, debt: ClosureDebt, event: Event, ) -> Result<ClosureState, ClosureState>

Consumes exact final-emitter delivery and derives marker-backed PCP.

The PCP boundary is the delivered marker itself; callers cannot supply a different cursor witness.

Errors

Returns the unchanged owed state unless participant, epoch, and marker exactly match this delivery witness.

pub const fn lower_progress( self, debt: ClosureDebt, event: Event, resulting_debt: Option<ClosureDebt>, ) -> Result<ClosureState, ClosureState>

Applies a lower normal ack, projection, or compaction below the anchor, preserving exact delivery while debt remains or clearing it with debt.

Errors

Returns the unchanged owed state when the event is not a permitted lower progress event or reaches the marker anchor.

pub fn binding_fate( self, debt: ClosureDebt, event: Event, ) -> Result<ClosureState, ClosureState>

Consumes exact pre-delivery binding fate and derives Leave-only DMR.

Errors

Returns the unchanged owed state unless fate names the exact participant and binding epoch targeted by this undelivered marker.

pub const fn retarget( self, new_binding_epoch: BindingEpoch, episode_churn_used: u64, delta_cycles: u64, episode_churn_limit: u64, ) -> Result<Self, (Self, DetachedAttachRefusal)>

Retargets undelivered marker delivery after exact charged supersession.

Errors

Returns the unchanged delivery with EpisodeChurnLimit or StaleAuthority when charged churn or the next-generation check fails.

pub fn leave( self, debt: ClosureDebt, event: Event, successor: DebtCompletion, ) -> Result<ClosureState, ClosureState>

Consumes exact live Leave and installs only clear/OP/PC.

Errors

Returns the unchanged owed state unless Leave names the exact live participant and binding epoch.

Trait Implementations

impl Clone for MarkerDelivery

fn clone(&self) -> MarkerDelivery

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for MarkerDelivery

impl Debug for MarkerDelivery

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

Formats the value using the given formatter.

impl Eq for MarkerDelivery

impl PartialEq for MarkerDelivery

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MarkerDelivery