Struct DetachedMarkerRelease 

pub struct DetachedMarkerRelease { /* private fields */ }

Leave-only undelivered-marker release witness.

This state is produced only when exact binding fate consumes a marker that has not reached CursorProgressMarker.

Implementations

impl DetachedMarkerRelease

pub const fn conversation_id(self) -> ConversationId

Returns the conversation this release belongs to.

pub const fn provenance(self) -> DetachedMarkerReleaseProvenance

Returns which of the two paths formed this release.

pub const fn participant_id(self) -> ParticipantId

Returns the detached participant.

pub const fn marker_delivery_seq(self) -> DeliverySeq

Returns the undelivered marker.

pub const fn last_dead_binding_epoch(self) -> BindingEpoch

Returns the dead binding epoch.

pub fn storage_description( self, terminal: Option<RestoredBindingFateTerminal>, ) -> Result<StoredEdgeRestore, Option<RestoredBindingFateTerminal>>

Describes this release as the capsule that restores it, given the terminal of the fate that selected it, where there was one.

A fate-selected release must be given its terminal; a candidate-selected release must be given none, because none was ever observed for it. The terminal itself is not stored on the edge because the crate’s size lint refuses it, and resolving it from the member is sound for the reason given on DetachedCredentialRecovery::storage_description.

Errors

Returns what it was given unless the release’s own path is matched: a terminal naming this release’s participant, epoch and conversation for the fate path, and no terminal at all for the candidate path.

impl DetachedMarkerRelease

pub const fn ordinary_attach_refusal(self) -> DetachedAttachRefusal

Ordinary attach cannot cross this Leave-only edge.

pub const fn marker_attach_refusal( self, presented_marker: DeliverySeq, ) -> DetachedAttachRefusal

The exact undelivered marker selects MarkerNotDelivered; another marker selects MarkerMismatch without fabricating an expected delivery fact.

Trait Implementations

impl Clone for DetachedMarkerRelease

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 DetachedMarkerRelease

impl Debug for DetachedMarkerRelease

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

Formats the value using the given formatter.

impl Eq for DetachedMarkerRelease

impl LeaveOnlyEdge for DetachedMarkerRelease

fn participant_id(self) -> ParticipantId

Returns the exact owner of this Leave-only edge.

fn validate_leave_claim( &self, participant_id: ParticipantId, actual_charge: ResourceVector, remaining_k: ResourceVector, exit_claims: u64, ) -> Option<KClaimBackedDetachedLeave>

Validates participant, exact target, actual charge, remaining K, and the available exit claim before creating private Leave authority.

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

Sole successful owner transition: exact-current K-backed detached Leave.

fn repeat_fate(self, event: Event) -> Result<Self, Self>

Repeat exact fate is an event-consuming no-op.

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

Applies an unrelated participant event, preserving this edge while debt remains or clearing it with debt.

fn authority_superseded(self) -> (Self, DetachedAttachRefusal)

Supersession is stale and preserves the exact edge.

fn binding_required_refusal(self) -> DetachedAttachRefusal

Normal/marker ack and ordinary admission have no binding authority.

impl PartialEq for DetachedMarkerRelease

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DetachedMarkerRelease