Struct PreparedLeaveAuthority 

pub struct PreparedLeaveAuthority { /* private fields */ }

Linear order-lane authority for one exact settled or positional Leave.

Construction consumes a completely validated ClaimFrontiers snapshot, removes and relays the exact X order handle, and seals the resulting lane inside this value. The frontier cannot be recovered by a caller or reused after a successful commit. Leave returns that authority only inside the indivisible LeaveCommit beside the resulting tombstone.

External code cannot implement a planner proof or initialize this authority from raw majors:

use liminal_protocol::lifecycle::NoInterveningTuplePlannerProof;

use liminal_protocol::lifecycle::PreparedLeaveAuthority;

let _ = PreparedLeaveAuthority { left_transaction_order: 7 };

Trait Implementations

impl Debug for PreparedLeaveAuthority

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

Formats the value using the given formatter.

impl Eq for PreparedLeaveAuthority

impl PartialEq for PreparedLeaveAuthority

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PreparedLeaveAuthority