Struct VerifiedContextCheckpointV2 

pub struct VerifiedContextCheckpointV2 { /* private fields */ }

V2 checkpoint whose artifact lineage was recomputed from authoritative task, plan, signed receipt, and accepted-outcome owners.

The inner wire value is private. Only this proof-carrying wrapper exposes the V2 signing payload, so structurally valid untrusted wire data cannot reach a signer through the safe API.

Implementations

impl VerifiedContextCheckpointV2

pub fn checkpoint(&self) -> &ContextCheckpointV2

Borrow the validated wire value for persistence or transport.

pub fn signing_payload( &self, ) -> Result<VerifiedContextCheckpointSigningPayloadV2, CheckpointLineageError>

Produce the domain-separated bytes that a checkpoint V2 signer covers.

Methods from Deref<Target = ContextCheckpointV2>

pub fn validate(&self) -> Result<(), ValidationError>

Validate every V2 invariant, including all V1 live-state bindings.

pub fn canonical_bytes(&self) -> Result<Vec<u8>, ValidationError>

Return canonical compact JSON bytes with lexicographically sorted keys.

pub fn canonical_json(&self) -> Result<String, ValidationError>

Return canonical JSON text.

pub fn digest(&self) -> Result<Sha256Digest, ValidationError>

Domain-separated content identity of the complete V2 checkpoint.

pub fn digest_inputs( &self, ) -> Result<ContextCheckpointDigestInputsV1, ValidationError>

Domain-separated digest inputs, including the V2 artifact lineage.

Trait Implementations

impl Clone for VerifiedContextCheckpointV2

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifiedContextCheckpointV2

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

Formats the value using the given formatter.

impl Deref for VerifiedContextCheckpointV2

type Target = ContextCheckpointV2

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl Eq for VerifiedContextCheckpointV2

impl PartialEq for VerifiedContextCheckpointV2

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VerifiedContextCheckpointV2