Struct CheckpointBoundary 

pub struct CheckpointBoundary {
    pub through_step_seq: WireU64,
    pub covered_head: Digest,
}

The prefix a checkpoint would cover (§12.3).

Derived from the durable head only: an outstanding transaction candidate neither moves this boundary nor is blocked by it, which is §22.14’s rejection of “checkpoint install requires the candidate head to still be the current head” expressed as a data dependency instead of a rule.

Fields

through_step_seq: WireU64

covered_head: Digest

Trait Implementations

impl Clone for CheckpointBoundary

fn clone(&self) -> CheckpointBoundary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckpointBoundary

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

Formats the value using the given formatter.

impl Display for CheckpointBoundary

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

Formats the value using the given formatter.

impl Eq for CheckpointBoundary

impl PartialEq for CheckpointBoundary

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CheckpointBoundary