Struct DetachedCredentialRecovery 

pub struct DetachedCredentialRecovery { /* private fields */ }

Detached fenced credential-recovery witness.

This state is produced only by the exact binding fate of a marker-backed cursor witness; callers cannot fabricate a durable delivery fact.

Implementations

impl DetachedCredentialRecovery

pub const fn conversation_id(self) -> ConversationId

Returns the conversation inherited from the marker-backed cursor witness.

pub const fn participant_id(self) -> ParticipantId

Returns the detached participant.

pub const fn marker_delivery_seq(self) -> DeliverySeq

Returns the delivered recovery marker.

pub const fn prior_binding_epoch(self) -> BindingEpoch

Returns the prior authoritative epoch.

impl DetachedCredentialRecovery

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

Validates exact-current K and exit claims for detached Leave.

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

Consumes exact K-backed detached Leave and installs only clear/OP/PC.

Errors

Returns the unchanged owed state unless the Leave and private claim authority are bound to this exact recovery edge.

pub const fn ordinary_attach_refusal(self) -> DetachedAttachRefusal

Ordinary non-fenced attach is refused without mutation.

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

An explicit marker is eligible only when it is the exact recovery marker.

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

Authority supersession before commit preserves DCR and is stale.

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

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

Errors

Returns the unchanged owed state for a non-participant event or an event owned by this detached participant.

Trait Implementations

impl Clone for DetachedCredentialRecovery

fn clone(&self) -> DetachedCredentialRecovery

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DetachedCredentialRecovery

impl Debug for DetachedCredentialRecovery

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

Formats the value using the given formatter.

impl Eq for DetachedCredentialRecovery

impl PartialEq for DetachedCredentialRecovery

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DetachedCredentialRecovery