Struct ContextCheckpointV1 

pub struct ContextCheckpointV1 {
    pub schema_version: u32,
    pub identity: ContextCheckpointIdentityV1,
    pub lineage: ContextCheckpointLineageV1,
    pub live_state: ContextCheckpointLiveStateV1,
    pub carrier: Option<ContextCheckpointCarrierBindingV1>,
    pub engine_version: SemanticVersion,
    pub created_at: UtcTimestamp,
    pub updated_at: UtcTimestamp,
    pub encryption_metadata: Option<ContextCheckpointEncryptionMetadataV1>,
}

Canonical typed live-state checkpoint.

Fields

schema_version: u32

Schema version of the checkpoint contract.

identity: ContextCheckpointIdentityV1

Parent, branch, and device identity.

lineage: ContextCheckpointLineageV1

Work-graph lineage references.

live_state: ContextCheckpointLiveStateV1

Portable live state.

carrier: Option<ContextCheckpointCarrierBindingV1>

Binding to a P6 carrier envelope, when the checkpoint travels in one.

engine_version: SemanticVersion

Engine version that produced the checkpoint.

created_at: UtcTimestamp

Canonical UTC creation timestamp.

updated_at: UtcTimestamp

Canonical UTC timestamp of the latest portable semantic update.

encryption_metadata: Option<ContextCheckpointEncryptionMetadataV1>

Metadata for an encrypted downstream projection, when present.

Implementations

impl ContextCheckpointV1

pub const SCHEMA_VERSION: u32 = 1

Schema version represented by this type.

pub const SCHEMA_ID: &'static str = CONTEXT_CHECKPOINT_SCHEMA_ID

Schema identity represented by this type.

pub fn try_new( identity: ContextCheckpointIdentityV1, lineage: ContextCheckpointLineageV1, live_state: ContextCheckpointLiveStateV1, carrier: Option<ContextCheckpointCarrierBindingV1>, engine_version: SemanticVersion, created_at: UtcTimestamp, ) -> Result<Self, ValidationError>

Construct a validated checkpoint.

This is the only way to obtain a ContextCheckpointV1 that is known valid at construction time; every digest and signing API revalidates because the fields remain publicly assignable.

pub fn with_optional_metadata( self, encryption_metadata: Option<ContextCheckpointEncryptionMetadataV1>, ) -> Result<Self, ValidationError>

Attach optional portable metadata through a fallible API.

pub fn with_updated_at( self, updated_at: UtcTimestamp, ) -> Result<Self, ValidationError>

Set the portable semantic update timestamp.

pub fn with_portable_state( self, session_state: Option<ContextCheckpointSessionStateV1>, learning_state: Option<ContextCheckpointLearningStateV1>, encryption_metadata: Option<ContextCheckpointEncryptionMetadataV1>, ) -> Result<Self, ValidationError>

Attach all optional portable continuation state through a fallible API.

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

Validate every invariant, including the cross-field 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 the canonical JSON encoding as UTF-8 text.

pub fn from_canonical_bytes(bytes: &[u8]) -> Result<Self, ValidationError>

Decode exactly canonical JSON and validate every invariant.

pub fn from_legacy_v1_canonical_bytes( bytes: &[u8], authenticated_tenant_id: TenantId, ) -> Result<Self, ValidationError>

Migrate a canonical legacy-v1 checkpoint that predates mandatory tenant binding.

The caller must supply the authenticated tenant context; this function never guesses or derives a tenant from untrusted checkpoint fields. Payloads already carrying a tenant must use Self::from_canonical_bytes instead.

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

Domain-separated content identity of the whole checkpoint.

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

Domain-separated digest inputs consumed by downstream slices.

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

Build the sealed payload a downstream signer may cover.

Trait Implementations

impl Clone for ContextCheckpointV1

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 ContextCheckpointV1

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ContextCheckpointV1

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ContextCheckpointV1

impl PartialEq for ContextCheckpointV1

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ContextCheckpointV1

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 ContextCheckpointV1