Struct CheckpointStore 

pub struct CheckpointStore { /* private fields */ }

Workspace-wide, per-session checkpoint store.

Partitioned by session: two sessions sharing one bridge can both create checkpoints named snap1 without collision, and restoring from one session does not leak the other’s file set. The durable disk tree is authoritative; in-memory entries are rehydrated under the mutation lock before each read or change that depends on them.

Implementations

impl CheckpointStore

pub fn new() -> Self

pub fn set_storage_dir_for_harness(&mut self, dir: PathBuf, harness: Harness)

Select the harness-scoped durable namespace. Rebinding a different namespace drops only the derived in-memory cache; disk remains authoritative.

pub fn create( &mut self, session: &str, name: &str, files: Vec<PathBuf>, backup_store: &BackupStore, ) -> Result<CheckpointInfo, AftError>

Create a checkpoint by reading the given files, scoped to session.

If files is empty, snapshots all tracked files for that session from the BackupStore (other sessions’ tracked files are not visible). Overwrites any existing checkpoint with the same name in this session.

Unreadable paths (e.g. deleted since their last edit) are skipped with a warning instead of failing the whole checkpoint. The paths and their errors are returned via CheckpointInfo::skipped so callers can surface them. A checkpoint is only rejected outright when every requested path fails — that case still returns a FileNotFound error so callers can distinguish “partial success” from “nothing snapshotted at all”.

pub fn restore( &mut self, session: &str, name: &str, ) -> Result<CheckpointInfo, AftError>

Restore a checkpoint by overwriting files with stored content.

pub fn restore_validated( &mut self, session: &str, name: &str, validated_paths: &[PathBuf], ) -> Result<CheckpointInfo, AftError>

Restore a checkpoint using a caller-validated path list.

pub fn file_paths( &mut self, session: &str, name: &str, ) -> Result<Vec<PathBuf>, AftError>

Return the file paths stored for a checkpoint.

pub fn absolute_file_paths( &mut self, session: &str, name: &str, ) -> Result<Vec<PathBuf>, AftError>

Return absolute file paths stored for a checkpoint without restoring it.

pub fn delete(&mut self, session: &str, name: &str) -> bool

Delete a checkpoint from a session. Returns true when a checkpoint was removed.

pub fn list(&mut self, session: &str) -> Result<Vec<CheckpointInfo>, AftError>

List all checkpoints for this session with metadata, hydrating from the authoritative durable tree before returning.

pub fn total_count(&self) -> usize

Total checkpoint count across all sessions already hydrated in this process.

pub fn cleanup(&mut self)

Sweep checkpoints older than the fixed fourteen-day retention window. The limit is intentionally not configurable: named checkpoints protect irreplaceable decisions, while predictable retention keeps the store bounded.

pub fn session_is_empty(&self, session: &str) -> bool

Trait Implementations

impl Debug for CheckpointStore

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

Formats the value using the given formatter.