Skip to main content

Module snapshot

krabka_verified

Module snapshot 

Source
Expand description

Snapshot-transfer chunk admission.

Enums§

SnapshotChunkDecision
Pure decision for one snapshot response chunk.
SnapshotInstallDecision
Admission result for a fully assembled snapshot at the controller boundary.

Functions§

snapshot_chunk_admission
Admit exactly the next bounded chunk for one fixed snapshot identity and size.
snapshot_install_decision
Classify a decoded, fully assembled snapshot against live controller state.
snapshot_prune_admission
A checkpoint may prune only a nonnegative boundary already committed.