Struct ExecutionTrace 

pub struct ExecutionTrace {
    pub operation: Operation,
    pub prev_state_root: [u8; 32],
    pub new_state_root: [u8; 32],
    pub document_subtree_root: [u8; 32],
    pub chunk_subtree_root: [u8; 32],
    pub embedding_subtree_root: [u8; 32],
    pub edge_subtree_root: [u8; 32],
    pub embedding_inputs: Vec<EmbeddingInput>,
    pub embedding_outputs: Vec<[u8; 32]>,
    pub timestamp: Hlc,
    pub device_id: Uuid,
    pub signature: Vec<u8>,
}

Execution trace for verified execution per CP-003 §10.

This structure enables devices to verify each other’s operations by providing a complete record of the state transition.

Fields

operation: Operation

The operation that was executed

prev_state_root: [u8; 32]

Hash of the state before this operation

new_state_root: [u8; 32]

Hash of the state after this operation

document_subtree_root: [u8; 32]

Subtree root for documents

chunk_subtree_root: [u8; 32]

Subtree root for chunks

embedding_subtree_root: [u8; 32]

Subtree root for embeddings

edge_subtree_root: [u8; 32]

Subtree root for edges

embedding_inputs: Vec<EmbeddingInput>

Embedding computation inputs (for verification)

embedding_outputs: Vec<[u8; 32]>

Embedding computation outputs (hashes of embeddings)

timestamp: Hlc

Timestamp when operation was executed

device_id: Uuid

Device that executed the operation

signature: Vec<u8>

Signature of this trace (for non-repudiation)

Trait Implementations

impl Clone for ExecutionTrace

fn clone(&self) -> ExecutionTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutionTrace

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExecutionTrace

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ExecutionTrace

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

where __S: Serializer,

Serialize this value into the given Serde serializer.