Struct LiveMember 

pub struct LiveMember<F> { /* private fields */ }

Live participant membership plus permanent enrollment and terminal history.

Fields are private so a committed binding terminal cannot drift away from the identity that owns it. Persistence restoration must pass Self::restore.

Implementations

impl<F> LiveMember<F>

pub fn verify_detached_attach( self, binding_state: BindingState, closure_admission: OrdinaryDetachedAttachAdmission, request: CredentialAttachRequest, secret_proof: AttachSecretProof, parameters: AttachCommitParameters, ) -> Result<VerifiedAttachCommit<'static, F>, AttachVerificationError>

Verifies an ordinary attach from an already detached member.

Errors

Returns AttachVerificationError for authority, marker, state, or allocation mismatch.

pub fn verify_superseding_attach( self, active_binding: ActiveBinding, request: CredentialAttachRequest, secret_proof: AttachSecretProof, terminal_position: CommittedBindingTerminalPosition, parameters: AttachCommitParameters, ) -> Result<VerifiedAttachCommit<'static, F>, AttachVerificationError>

Verifies an attach that atomically supersedes this member’s active epoch.

Errors

Returns AttachVerificationError when authority, marker absence, handoff ordering, or result allocation is inconsistent.

pub fn verify_fenced_attach( self, binding_state: BindingState, request: CredentialAttachRequest, secret_proof: AttachSecretProof, proof: &FencedAttachCommit, pending_terminal_delivery_seq: Option<DeliverySeq>, parameters: AttachCommitParameters, ) -> Result<VerifiedAttachCommit<'_, F>, AttachVerificationError>

Verifies marker-fenced recovery proven by the closure-edge transition.

Errors

Returns AttachVerificationError when credential authority, marker/epoch proof, pending-terminal shape, or result allocation differs.

impl<F> LiveMember<F>

pub fn restore( state: LiveMemberRestore<F>, ) -> Result<Self, MembershipInvariantError>

Restores a durable member after checking retained terminal identity and generation.

Errors

Returns MembershipInvariantError when the terminal belongs to another identity/conversation or a generation newer than the restored credential.

pub const fn participant_id(&self) -> ParticipantId

Returns the permanent participant identity/index.

pub const fn conversation_id(&self) -> ConversationId

Returns the owning conversation.

pub const fn generation(&self) -> Generation

Returns the current credential generation.

pub const fn attach_secret(&self) -> AttachSecret

Returns the current attach secret.

pub const fn cursor(&self) -> DeliverySeq

Returns the durable cumulative cursor.

pub const fn enrollment_fingerprint(&self) -> &EnrollmentFingerprint<F>

Borrows the permanent enrollment-token fingerprint.

pub const fn latest_terminal(&self) -> Option<CommittedBindingTerminal>

Returns the most recent committed binding terminal.

pub fn with_committed_terminal( self, terminal: CommittedBindingTerminal, ) -> Result<Self, MembershipInvariantError>

Replaces the latest binding terminal after checking its identity domain.

Errors

Returns MembershipInvariantError for mismatched identity or generation.

impl<F> LiveMember<F>

pub fn verify_leave_request<V, LF>( &self, request: &LeaveRequest, secret_proof: AttachSecretProof, leave_request_verifier: V, leave_fingerprint: LeaveFingerprint<LF>, ) -> Result<VerifiedLeaveRequest<V, LF>, LeaveVerificationError>

Verifies an exact Leave request against current live credential authority.

Errors

Returns LeaveVerificationError at the first mismatching authority component.

Trait Implementations

impl<F: Clone> Clone for LiveMember<F>

fn clone(&self) -> LiveMember<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for LiveMember<F>

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

Formats the value using the given formatter.

impl<F: Eq> Eq for LiveMember<F>

impl<F: PartialEq> PartialEq for LiveMember<F>

fn eq(&self, other: &LiveMember<F>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<F: PartialEq> StructuralPartialEq for LiveMember<F>