Struct AttachedOperation 

pub struct AttachedOperation { /* private fields */ }

Durable facts of one committed credential attach, as recorded by the shell.

The only public producer consumes the crate’s own attach commit (AttachCommit carries private fields, so only super::commit_attach mints it), so an enrollment’s generation-one record cannot be relabeled as an attach fact.

Implementations

impl AttachedOperation

pub const fn new<F, V>(commit: &AttachCommit<F, V>) -> Self

Creates the attach event body from the attach commit itself.

The producer consumes the whole sealed commit rather than the shared Attached record, so an enrollment commit cannot be relabeled as a credential-attach fact:

use liminal_protocol::lifecycle::{AttachedOperation, EnrollmentCommit};

fn relabel(commit: &EnrollmentCommit<[u8; 4]>) -> AttachedOperation {
    AttachedOperation::new(commit)
}

pub const fn conversation_id(self) -> ConversationId

Returns the conversation whose participant attached.

pub const fn participant_id(self) -> ParticipantId

Returns the permanent participant identifier/index.

pub const fn binding_epoch(self) -> BindingEpoch

Returns the newly committed authoritative binding epoch.

pub const fn attached_transaction_order(self) -> TransactionOrder

Returns the Attached record’s immutable transaction-order major.

pub const fn attached_delivery_seq(self) -> DeliverySeq

Returns the Attached record’s committed delivery sequence.

Trait Implementations

impl Clone for AttachedOperation

fn clone(&self) -> AttachedOperation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for AttachedOperation

impl Debug for AttachedOperation

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

Formats the value using the given formatter.

impl Eq for AttachedOperation

impl PartialEq for AttachedOperation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AttachedOperation