Enum ExecutionEvent 

pub enum ExecutionEvent {
    TaskStarted {
        task_id: String,
        trace_id: String,
        envelope_ref: String,
        timestamp: String,
        sequence_number: u64,
        prev_hash: String,
    },
    PlanCreated {
        task_id: String,
        trace_id: String,
        plan_id: String,
        plan_ref: String,
        timestamp: String,
        sequence_number: u64,
        prev_hash: String,
    },
    ContextDelivered {
        task_id: String,
        trace_id: String,
        context_balance: ContextBalanceV1,
        timestamp: String,
        sequence_number: u64,
        prev_hash: String,
    },
    ModelInvoked {

        task_id: String,
        trace_id: String,
        plan_id: String,
        invocation_id: String,
        invocation_ref: String,
        model: String,
        provider: String,
        tokens_in: u64,
        tokens_out: u64,
        latency_ms: u64,
        timestamp: String,
        sequence_number: u64,
        prev_hash: String,
    
},
    EngineInvoked {
        task_id: String,
        trace_id: String,
        plan_id: String,
        invocation_id: String,
        invocation_ref: String,
        capability_id: String,
        capability_version: String,
        timestamp: String,
        sequence_number: u64,
        prev_hash: String,
    },
    ReceiptSigned {
        task_id: String,
        trace_id: String,
        receipt_id: String,
        receipt_hash: String,
        signature: String,
        timestamp: String,
        sequence_number: u64,
        prev_hash: String,
    },
    CanonicalReceiptRecorded {

        task_id: String,
        trace_id: String,
        invocation_id: String,
        receipt_id: String,
        receipt_ref: String,
        receipt_digest: String,
        receipt_chain_id: String,
        receipt_sequence_number: u64,
        previous_receipt_id: Option<String>,
        previous_signature_digest: Option<String>,
        timestamp: String,
        sequence_number: u64,
        prev_hash: String,
        entry_hash: String,
    
},
    OutcomeRecorded {
        task_id: String,
        trace_id: String,
        outcome_id: String,
        receipt_id: String,
        accepted: TriState,
        timestamp: String,
        sequence_number: u64,
        prev_hash: String,
    },
    DecisionRecorded {
        task_id: String,
        trace_id: String,
        decision_id: String,
        kind: String,
        selected: String,
        timestamp: String,
        sequence_number: u64,
        prev_hash: String,
    },
}

One append-only observation in the execution ledger.

Variants

TaskStarted

Fields

task_id: String

trace_id: String

envelope_ref: String

timestamp: String

sequence_number: u64

prev_hash: String

PlanCreated

Fields

task_id: String

trace_id: String

plan_id: String

plan_ref: String

timestamp: String

sequence_number: u64

prev_hash: String

ContextDelivered

Fields

task_id: String

trace_id: String

context_balance: ContextBalanceV1

timestamp: String

sequence_number: u64

prev_hash: String

ModelInvoked

Fields

task_id: String

trace_id: String

plan_id: String

invocation_id: String

invocation_ref: String

model: String

provider: String

tokens_in: u64

tokens_out: u64

latency_ms: u64

timestamp: String

sequence_number: u64

prev_hash: String

EngineInvoked

Fields

task_id: String

trace_id: String

plan_id: String

invocation_id: String

invocation_ref: String

capability_id: String

capability_version: String

timestamp: String

sequence_number: u64

prev_hash: String

ReceiptSigned

Fields

task_id: String

trace_id: String

receipt_id: String

receipt_hash: String

signature: String

timestamp: String

sequence_number: u64

prev_hash: String

CanonicalReceiptRecorded

Fields

task_id: String

trace_id: String

invocation_id: String

receipt_id: String

receipt_ref: String

receipt_digest: String

receipt_chain_id: String

receipt_sequence_number: u64

previous_receipt_id: Option<String>

previous_signature_digest: Option<String>

timestamp: String

sequence_number: u64

prev_hash: String

entry_hash: String

OutcomeRecorded

Fields

task_id: String

trace_id: String

outcome_id: String

receipt_id: String

accepted: TriState

timestamp: String

sequence_number: u64

prev_hash: String

DecisionRecorded

Fields

task_id: String

trace_id: String

decision_id: String

kind: String

selected: String

timestamp: String

sequence_number: u64

prev_hash: String

Implementations

impl ExecutionEvent

pub const fn sequence_number(&self) -> u64

Returns the event’s chain sequence number.

pub fn prev_hash(&self) -> &str

Returns the hash of the preceding event recorded on this event.

pub fn task_id(&self) -> &str

Returns the task identity carried by this event.

pub fn trace_id(&self) -> &str

Returns the distributed trace identity carried by this event.

pub fn timestamp(&self) -> &str

Returns the observation timestamp supplied by the caller.

pub fn canonical_json(&self) -> Result<String>

Serializes the event in compact canonical JSON form.

Struct and enum field order is fixed by the Rust declaration and serde_json::to_string emits no insignificant whitespace, giving the ledger a stable byte representation without relying on map iteration order.

pub fn event_hash(&self) -> Result<String>

Computes this event’s chain hash using the Savings Ledger SHA-256 primitive.

Trait Implementations

impl Clone for ExecutionEvent

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 ExecutionEvent

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExecutionEvent

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ExecutionEvent

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExecutionEvent

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 ExecutionEvent