Struct StepRecord 

pub struct StepRecord {
    pub run_path: RunPath,
    pub step_id: StepId,
    pub effect_hash: Hash,
    pub judge_hash: Hash,
    pub attempts: Vec<AttemptRecord>,
    pub resolved_inputs: Value,
    pub output: Option<Value>,
    pub observations: Vec<ObservationRecord>,
    pub evidence: Vec<EvidenceRef>,
    pub assertion_outcomes: Vec<AssertionOutcomeRecord>,
    pub verdict: Option<StepVerdict>,
}

The durable record of one completed step (spine §6.6).

Fields

run_path: RunPath

Full run path of this step instance.

step_id: StepId

The step’s stable id.

effect_hash: Hash

Effect-domain hash at execution time (alignment input).

judge_hash: Hash

Judge-domain hash at execution time (alignment input).

attempts: Vec<AttemptRecord>

Every dispatch attempt, in order.

resolved_inputs: Value

Input expressions evaluated once at ready and snapshotted; never re-evaluated on resume.

output: Option<Value>

Projected step output, when the step declares outputs. A JSON null output is present (Some(Null)), not absent, across the checkpoint view.

observations: Vec<ObservationRecord>

Localized observations.

evidence: Vec<EvidenceRef>

Localized evidence (content-addressed).

assertion_outcomes: Vec<AssertionOutcomeRecord>

Assertion outcomes, in declaration order.

verdict: Option<StepVerdict>

The folded verdict projection, absent for unasserted mutations (R4).

Trait Implementations

impl Clone for StepRecord

fn clone(&self) -> StepRecord

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StepRecord

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StepRecord

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for StepRecord

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl PartialEq for StepRecord

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for StepRecord

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 StepRecord