Struct KernelSnapshot 

pub struct KernelSnapshot { /* private fields */ }

Opaque point-in-time snapshot of kernel state.

Pub struct, pub(crate) fields — external callers see the type at the API boundary and can hold a value, but cannot inspect its internals (use serialize / deserialize for round-trip persistence). Fed to Kernel::from_snapshot for restore.

Implementations

impl KernelSnapshot

pub fn serialize(&self) -> Result<Vec<u8>, SnapshotError>

Encode to canonical postcard bytes.

pub fn deserialize(bytes: &[u8]) -> Result<Self, SnapshotError>

Decode from canonical postcard bytes.

After decoding, structural invariants are validated (currently the scheduler three-table index consistency of every captured instance) so a corrupt or tampered snapshot is rejected here rather than triggering a latent panic during a later replay/step. This trusts the provenance of the bytes — for an untrusted source, gate them through deserialize_verified first.

pub fn deserialize_verified( bytes: &[u8], expected_digest: &[u8; 32], ) -> Result<Self, SnapshotError>

Decode from canonical postcard bytes, first verifying their integrity against a caller-supplied BLAKE3 digest obtained out-of-band (recorded when the snapshot was taken, or distributed over a trusted channel). Use this for snapshots from an untrusted source: it closes the gap whereby deserialize alone trusts whatever bytes it is handed. The kernel supplies the mechanism (digest comparison); the caller owns the policy of which digest to trust.

pub fn digest(bytes: &[u8]) -> [u8; 32]

BLAKE3 digest of a snapshot’s canonical bytes — the value a caller records out-of-band to later verify integrity via deserialize_verified.

pub fn instance_count(&self) -> usize

Number of instances captured.

pub fn instance_ids(&self) -> impl Iterator<Item = InstanceId> + '_

Iterate captured instance ids in canonical (InstanceId ascending) order.

Trait Implementations

impl Clone for KernelSnapshot

fn clone(&self) -> KernelSnapshot

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for KernelSnapshot

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for KernelSnapshot

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for KernelSnapshot

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.