Enum CheckpointData 

pub enum CheckpointData {
    SessionStart {
        at: String,
        version: u32,
        session: String,
        started_at: String,
        invocation: u32,
    },
    SessionEnd {
        at: String,
        outcome: String,
        error: Option<String>,
    },
    PhaseDeclared {
        at: String,
        identity: PhaseIdentity,
        skip_eligible: bool,
    },
    PhaseStarted {
        at: String,
        identity: PhaseIdentity,
    },
    PhaseProgress {
        at: String,
        identity: PhaseIdentity,
        op_counts: OpCounts,
        cursor_state: Option<Value>,
    },
    PhaseCompleted {
        at: String,
        identity: PhaseIdentity,
        duration_secs: f64,
        op_counts: OpCounts,
    },
    PhaseFailed {
        at: String,
        identity: PhaseIdentity,
        error: String,
        op_counts: Option<OpCounts>,
    },
    PhaseHash {
        at: String,
        identity: PhaseIdentity,
        hash_hex: String,
        params_consumed: Option<String>,
    },
    ScopeEnter {
        at: String,
        kind: String,
        coords: BTreeMap<String, Value>,
        path: Vec<BTreeMap<String, Value>>,
    },
    ScopeExit {
        at: String,
        kind: String,
        coords: BTreeMap<String, Value>,
        path: Vec<BTreeMap<String, Value>>,
        outcome: String,
    },
}

One record in the JSONL event log. Tagged on type so the stream is forward-extensible: adding a new variant is a no-op for older readers (they ignore unknown types per SRD-44a §“Reader behaviour”).

Variants

SessionStart

First line of every fresh invocation’s section. Resume increments invocation and writes a fresh session_start to continue the same JSONL — no separate file rotation.

Fields

at: String

RFC 3339 UTC timestamp of when the event was written.

version: u32

Format version. 1 until we ship a 2.

session: String

Session id (matches logs/<session>/).

started_at: String

RFC 3339 first-invocation start.

invocation: u32

1-based invocation counter.

SessionEnd

Written when the workload completes. Optional — its absence means the invocation was interrupted, which the resume planner uses to distinguish clean exit from crash.

Fields

at: String

outcome: String

"completed" / "errored" / "stopped".

error: Option<String>

Top-level error message when outcome == "errored".

PhaseDeclared

One per phase per invocation, written during pre-map. Carries identity and eligibility flags so the reader can build the planned phase index without reading the workload YAML.

Fields

at: String

identity: PhaseIdentity

skip_eligible: bool

PhaseStarted

Mark a declared phase as Running.

Fields

at: String

identity: PhaseIdentity

PhaseProgress

Periodic op-count + cursor-state update for a Running phase. Replaces the in-place mutation of PhaseEntry::op_counts and cursor_state from SRD-44. The reader keeps only the most recent progress record per (identity, current invocation) when folding.

Fields

at: String

identity: PhaseIdentity

op_counts: OpCounts

cursor_state: Option<Value>

Tier-2 opaque snapshot from the active source factory.

PhaseCompleted

Phase reached the Completed state. Per SRD-44 §“Status Completed is load-bearing”, this is the call that makes the phase eligible to skip on a future resume.

Fields

at: String

identity: PhaseIdentity

duration_secs: f64

op_counts: OpCounts

PhaseFailed

Phase failed terminally. The error message is preserved for resume diagnostics.

Fields

at: String

identity: PhaseIdentity

error: String

op_counts: Option<OpCounts>

PhaseHash

Update on a previously-declared phase: bind the program-canonical hash. Called once per phase the first time it compiles. Folds into the existing entry’s identity so a future resume can detect program drift via PhaseIdentity::matches_full.

Fields

at: String

identity: PhaseIdentity

hash_hex: String

32-byte program hash, hex-encoded for human readability of the on-disk records. SRD-107: the BASE hash (chain below the session node + config digest); param values ride in params_consumed.

params_consumed: Option<String>

SRD-107 — the consumed-params map as canonical JSON ({"name":"<value sha256 hex>",…}). Absent on records written before the field existed.

ScopeEnter

Reserved for SRD-44a Push 3. The reader already understands these variants so the writer can emit them in a future patch without a schema bump.

Fields

at: String

kind: String

coords: BTreeMap<String, Value>

path: Vec<BTreeMap<String, Value>>

ScopeExit

Reserved for SRD-44a Push 3.

Fields

at: String

kind: String

coords: BTreeMap<String, Value>

path: Vec<BTreeMap<String, Value>>

outcome: String

Implementations

impl CheckpointData

pub fn at(&self) -> &str

RFC 3339 timestamp this event was tagged with. All variants carry one; the helper avoids a match in the fold loop.

pub fn event_type(&self) -> Option<EventType>

The lifecycle kind-tag this durable record corresponds to, tying an on-disk CheckpointData record back to the in-memory crate::lifecycle::EventType that the readout binder fires on. None for records that have no lifecycle fire point — structural / metadata records (a pre-map PhaseDeclared declaration, a PhaseHash binding) are written to the log but never fire a readout slot, so they have no kind-tag.

Trait Implementations

impl Clone for CheckpointData

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 CheckpointData

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CheckpointData

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for CheckpointData

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

where __S: Serializer,

Serialize this value into the given Serde serializer.