Struct CanonicalInput 

pub struct CanonicalInput {
    pub step_seq: WireU64,
    pub record_digest: Digest,
    pub input: NormalizedInput,
}

One accepted input inside a checkpoint’s bounded tail.

It carries the normalised input (so the tail can be replayed) and the digest of the record that input produced (so the replay can be verified against the journal it came from). Neither alone is enough: digests without inputs make a checkpoint auditable but useless, and inputs without digests make a restore that silently disagrees with the journal possible.

Fields

step_seq: WireU64

record_digest: Digest

input: NormalizedInput

Implementations

impl CanonicalInput

pub fn from_record(record: &KernelRecord) -> Result<Self, CheckpointError>

Project one durable record into its tail entry.

Trait Implementations

impl Clone for CanonicalInput

fn clone(&self) -> CanonicalInput

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CanonicalInput

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CanonicalInput

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for CanonicalInput

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CanonicalInput

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for CanonicalInput