Struct ExecutionLog 

pub struct ExecutionLog {
    pub thread_id: RunId,
    pub step_id: Option<StepId>,
    pub event_index: Seq,
    pub event: Event,
    pub state_hash: Option<[u8; 32]>,
}

One canonical execution log entry: thread (run), step, index, event, and optional state hash.

The event log is the source of truth. Checkpointing/snapshots are used only to speed up replay by providing initial state at a given seq; they do not replace the log.

Fields

thread_id: RunId

Run (thread) this entry belongs to.

step_id: Option<StepId>

Step identifier when the event is associated with a step (e.g. from StateUpdated).

event_index: Seq

Monotonic event index (sequence number) within the run.

event: Event

The event at this index.

state_hash: Option<[u8; 32]>

Optional hash of state after applying this event (for verification/replay).

Implementations

impl ExecutionLog

pub fn from_sequenced( thread_id: RunId, se: &SequencedEvent, state_hash: Option<[u8; 32]>, ) -> Self

Builds an execution log entry from a sequenced event and run id. state_hash is optional (e.g. when reading from store without reducer).

pub fn to_trace_event(&self) -> KernelTraceEvent

Trait Implementations

impl Clone for ExecutionLog

fn clone(&self) -> ExecutionLog

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutionLog

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExecutionLog

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ExecutionLog

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

where __S: Serializer,

Serialize this value into the given Serde serializer.