Struct MarkerDrainCommit 

pub struct MarkerDrainCommit { /* private fields */ }

Complete atomic marker-drain commit.

No field can be supplied independently: the claim-frontier transition, executable successor and retained marker record share one sealed predecessor and must be persisted together. The retained-record authority is never exposed independently of the selected successor: doing so would let an undelivered DMR append masquerade as delivered DCR recovery provenance.

use liminal_protocol::lifecycle::MarkerDrainCommit;

fn splice(commit: MarkerDrainCommit) {
    let _ = commit.record();
}

Implementations

impl MarkerDrainCommit

pub const fn frontiers(&self) -> &ClaimFrontiers

Borrows the resulting coupled sequence/order frontiers.

pub const fn closure(&self) -> ClosureState

Returns the exact closure state after the append occurrence.

pub const fn closure_accounting(&self) -> ClosureAccounting

Returns the complete closure accounting after the append occurrence.

pub fn retained_charges(&self) -> &[RetainedRecordCharge]

Borrows exact keyed charges for the complete retained suffix.

pub const fn marker_successor(&self) -> StoredEdge

Returns the exact marker edge selected once any strict OP/PC completes.

A bound target selects StoredEdge::MarkerDelivery; a target whose epoch already died selects StoredEdge::DetachedMarkerRelease.

pub const fn delivery_projection(&self) -> &MarkerDeliveryProjection

Borrows the typed HistoryCompacted projection coupled to this commit.

pub fn into_parts( self, ) -> (ClaimFrontiers, ClosureAccounting, Vec<RetainedRecordCharge>, StoredEdge, MarkerDeliveryProjection)

Consumes the opaque transaction into its persistable protocol values.

The retained marker is already present in the returned frontiers. Its executable validation token remains coupled to this commit and is deliberately consumed here rather than returned as a fourth value.

Trait Implementations

impl Debug for MarkerDrainCommit

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

Formats the value using the given formatter.

impl Eq for MarkerDrainCommit

impl PartialEq for MarkerDrainCommit

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MarkerDrainCommit