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 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.

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) -> DetachedMarkerRelease

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: &DetachedMarkerRelease) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DetachedMarkerRelease