Struct Checkpoint 

pub struct Checkpoint {
    pub format: u32,
    pub entities: Vec<CheckpointEntity>,
    pub counters: Counters,
    pub binaries: Vec<BinaryRecord>,
}

Reflected execution state with binary assets and counters. Deserialization rejects unknown envelope fields and formats other than CHECKPOINT_FORMAT.

Fields

format: u32

The envelope format (CHECKPOINT_FORMAT).

entities: Vec<CheckpointEntity>

Every entity with a reflected component, parents before children, siblings in Children order.

counters: Counters

The world’s counters: the next run number (the id and sequence counters bump themselves from what is loaded).

binaries: Vec<BinaryRecord>

The binary store: every retained payload, once per content hash.

Implementations

impl Checkpoint

pub fn requirements(&self) -> Result<Vec<HandlerDescriptor>, CheckpointError>

Return original advertised contracts in key order, before destination aliasing. Returns an error for malformed descriptors, inconsistent keys, or duplicates; performs no credential lookup or provider construction.

impl Checkpoint

pub fn validate(&self, world: &World) -> Result<(), CheckpointError>

Validate saved execution data without installing state or constructing implementations. Hosts can call this before side-effectful assembly. Returns an error for invalid saved contracts, graphs, or binaries, or missing destination registry/counters. load_world checks handler compatibility and completeness.

pub fn to_json(&self) -> Result<String, CheckpointError>

Serialize the checkpoint to JSON.

pub fn from_json(json: &str) -> Result<Self, CheckpointError>

Parse checkpoint JSON. Returns CheckpointError::UnsupportedFormat for another envelope format and CheckpointError::Json for invalid data or unknown fields.

Trait Implementations

impl Clone for Checkpoint

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 Checkpoint

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

Formats the value using the given formatter.

impl Default for Checkpoint

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Checkpoint

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Checkpoint

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

where __S: Serializer,

Serialize this value into the given Serde serializer.