Struct Checkpoint 

pub struct Checkpoint { /* private fields */ }

The drained resume point: the last fully-committed turn plus the paused approvals that must survive the swap.

Captured by Drain::drain while the lease is still held, and threaded into Resume::resume so the swapped-in process restarts from exactly here. Turns that never reached their turn_complete marker are not part of it — they are the interrupted turns replay discards — so resuming from this point neither drops a committed turn nor replays an uncommitted one.

Implementations

impl Checkpoint

pub fn new( last_committed_turn: impl Into<String>, paused_approvals: usize, ) -> Self

Build a checkpoint from the last committed turn id and the count of paused approvals carried across the swap.

pub fn last_committed_turn(&self) -> &str

The id of the last fully-committed turn — the resume restart point.

pub const fn paused_approvals(&self) -> usize

How many paused HITL approvals were captured at the checkpoint and must be re-driven after the swap.

Trait Implementations

impl Clone for Checkpoint

fn clone(&self) -> Checkpoint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Checkpoint

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

Formats the value using the given formatter.

impl Eq for Checkpoint

impl PartialEq for Checkpoint

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Checkpoint