Struct CheckpointCandidate 

pub struct CheckpointCandidate {
    pub checkpoint_bytes: CanonicalBytes,
    pub through_step_seq: WireU64,
    pub covered_head: Digest,
    pub state_digest: Digest,
    pub ack_token: CheckpointAckToken,
}

§12.3 · what kernel.checkpoint_candidate() hands the host.

Exactly the five values of the spec’s arrow, and nothing that would let a host reconstruct the checkpoint itself: checkpoint_bytes is opaque storage, through_step_seq/covered_head are the install precondition, state_digest is what an installed blob is audited against, and ack_token is the maintenance handle that closes the loop.

Fields

checkpoint_bytes: CanonicalBytes

through_step_seq: WireU64

covered_head: Digest

state_digest: Digest

ack_token: CheckpointAckToken

Implementations

impl CheckpointCandidate

pub fn boundary(&self) -> CheckpointBoundary

The boundary this candidate would let an ack reclaim (§12.3 rule 6).

pub fn decode(&self) -> Result<KernelCheckpoint, CheckpointError>

Decode the blob back into a verified checkpoint — what an install path does before it writes anything.

Trait Implementations

impl Clone for CheckpointCandidate

fn clone(&self) -> CheckpointCandidate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckpointCandidate

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

Formats the value using the given formatter.

impl PartialEq for CheckpointCandidate

fn eq(&self, other: &CheckpointCandidate) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for CheckpointCandidate