Module file_store

Expand description

File-based checkpoint storage backend.

Each checkpoint is stored as a single .ncp file with a two-part layout:

[header_len: u32 LE]
[header: bitcode(CheckpointFileHeader)]
[body: bitcode(CheckpointBody)]

list() reads only the header portion for efficiency. load() reads the entire file to reconstruct a CheckpointState.

Structs§