Struct DetachedCursorRelease 

pub struct DetachedCursorRelease { /* private fields */ }

Leave-only detached-cursor release witness.

This state is produced only when exact binding fate consumes a continuous cursor witness with no marker.

Implementations

impl DetachedCursorRelease

pub const fn participant_id(self) -> ParticipantId

Returns the detached participant.

pub const fn last_dead_binding_epoch(self) -> BindingEpoch

Returns the dead binding epoch.

impl DetachedCursorRelease

pub const fn ordinary_attach_refusal(self) -> DetachedAttachRefusal

Attach without a marker cannot cross this Leave-only edge.

pub const fn marker_attach_refusal(self) -> DetachedAttachRefusal

Presenting any marker mismatches a cursor-only edge.

Trait Implementations

impl Clone for DetachedCursorRelease

fn clone(&self) -> DetachedCursorRelease

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DetachedCursorRelease

impl Debug for DetachedCursorRelease

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

Formats the value using the given formatter.

impl Eq for DetachedCursorRelease

impl LeaveOnlyEdge for DetachedCursorRelease

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 DetachedCursorRelease

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DetachedCursorRelease