Expand description
Dormant state reconstruction pipeline (ADR-136).
Dormant memory is not stored as raw bytes. Instead, it is stored as a checkpoint snapshot plus a sequence of witness-recorded deltas. To restore a dormant region to the warm tier, the reconstruction pipeline:
- Loads the checkpoint (compressed with LZ4).
- Applies the witness delta log in sequence order.
- Validates the final state hash against the expected value.
§Compression
The pipeline uses a simple byte-level compression stub. In production,
this would be backed by lz4_flex or a hardware compression engine.
The stub is sufficient for correctness testing.
§No-std Compatibility
All operations work on caller-provided fixed-size buffers. No heap allocation occurs.
Structs§
- Checkpoint
Id - A checkpoint identifier (references a stored compressed snapshot).
- Compressed
Checkpoint - A compressed checkpoint snapshot.
- Reconstruction
Pipeline - The reconstruction pipeline.
- Reconstruction
Result - Result of a reconstruction operation.
- Witness
Delta - A single delta entry from the witness log.
Functions§
- create_
checkpoint - Create a compressed checkpoint from raw region data.