Struct MarkerProofState 

pub struct MarkerProofState { /* private fields */ }

Durable participant facts read by the total marker-proof selector.

Implementations

impl MarkerProofState

pub const fn new( current_cursor: DeliverySeq, accepted_marker_at_cursor: bool, expected_marker_delivery_seq: Option<DeliverySeq>, proof_binding_epoch: BindingEpoch, delivered_to_proof_epoch: Option<ParticipantCursorProgress>, ) -> Self

Creates one immutable snapshot of the durable marker proof facts.

The final field requires a cursor-progress witness. A planned, still undelivered crate::lifecycle::MarkerDelivery cannot be supplied as proof by construction.

use liminal_protocol::{
    lifecycle::{MarkerDelivery, MarkerProofState},
    wire::BindingEpoch,
};

fn undelivered_is_not_proof(epoch: BindingEpoch, delivery: MarkerDelivery) {
    let _ = MarkerProofState::new(0, false, Some(1), epoch, Some(delivery));
}

pub const fn current_cursor(self) -> DeliverySeq

Returns the participant’s durable cumulative cursor.

pub const fn accepted_marker_at_cursor(self) -> bool

Returns whether the record at the cursor is this participant’s accepted marker.

pub const fn expected_marker_delivery_seq(self) -> Option<DeliverySeq>

Returns the currently expected marker anchor, if any.

pub const fn proof_binding_epoch(self) -> BindingEpoch

Returns the exact binding epoch against which delivery must be proven.

pub const fn delivered_to_proof_epoch(self) -> Option<ParticipantCursorProgress>

Returns the marker-backed cursor witness proving exact delivery, if present.

Trait Implementations

impl Clone for MarkerProofState

fn clone(&self) -> MarkerProofState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for MarkerProofState

impl Debug for MarkerProofState

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

Formats the value using the given formatter.

impl Eq for MarkerProofState

impl PartialEq for MarkerProofState

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MarkerProofState