Struct CheckpointManager 

pub struct CheckpointManager { /* private fields */ }

A bounded ring of guard-verified safe-prefix checkpoints. Fixed memory: the oldest checkpoint is dropped once cap is reached (ADR-003). A cap of 0 (or disable) retains nothing — the loop then has no rollback target and fails closed on a breach.

Implementations

impl CheckpointManager

pub fn new(cap: u8) -> CheckpointManager

pub fn enabled(&self) -> bool

pub fn disable(&mut self)

Drop all checkpoints and stop retaining new ones (memory-pressure degradation — ADR-012/ADR-003).

pub fn push(&mut self, checkpoint: Checkpoint)

Record a safe prefix; evicts the oldest if the ring is full. No-op when disabled.

pub fn last(&self) -> Option<Checkpoint>

The most recent safe prefix, if any.

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

Trait Implementations

impl Debug for CheckpointManager

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

Formats the value using the given formatter.

impl Default for CheckpointManager

fn default() -> CheckpointManager

Returns the “default value” for a type.