Struct LeftOperation 

pub struct LeftOperation { /* private fields */ }

Durable facts of one permanent Leave, as recorded by the shell.

Implementations

impl LeftOperation

pub fn new<EF, V, LF>(retired: &RetiredIdentity<EF, V, LF>) -> Self

Creates the leave event body from the permanent retirement tombstone.

RetiredIdentity carries both the canonical LeaveCommitted result and the congruence-checked Left admission order, so the recorded fact and its transaction order both come from a committed leave (super::commit_leave or super::commit_pending_leave) rather than from caller-chosen raw values. The one raw promotion path into RetiredIdentity is validated whole-participant cold restore (super::ParticipantLifecycleRestore::restore), which re-validates every stored field against the stored result before minting the tombstone.

A leave fact cannot be minted from wire-constructible raw values:

use liminal_protocol::lifecycle::LeftOperation;
use liminal_protocol::wire::LeaveCommitted;

fn fabricate(committed: LeaveCommitted) -> LeftOperation {
    LeftOperation::new(committed, 17)
}

pub const fn committed(&self) -> &LeaveCommitted

Borrows the canonical permanent Leave result.

pub const fn left_transaction_order(&self) -> TransactionOrder

Returns the immutable transaction-order major of the Left record.

Trait Implementations

impl Clone for LeftOperation

fn clone(&self) -> LeftOperation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeftOperation

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

Formats the value using the given formatter.

impl Eq for LeftOperation

impl PartialEq for LeftOperation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LeftOperation