Module execution_ledger 

Append-only, task-aware execution ledger.

The execution ledger is an additive projection beside the Savings Ledger. It shares the Savings Ledger’s SHA-256 chain primitive, but stores execution identity and lifecycle observations keyed by task and trace IDs.

Re-exports

pub use canonical_receipt::PublishedCanonicalReceipt;

pub use canonical_receipt::publish_canonical_receipt;

pub use event::ExecutionEvent;

pub use migration::migrate_from_savings_ledger;

pub use migration::migrate_from_savings_ledger_at;

pub use producer::CanonicalReceiptRecordV1;

pub use producer::record_canonical_engine_receipt;

pub use projection::CanonicalReceiptProjectionV1;

pub use projection::ExecutionProjection;

pub use projection::LegacyReceiptProjectionV1;

pub use projection::TaskCostSummary;

pub use projection::canonical_receipt_for_task_from_store;

pub use projection::canonical_receipt_for_task_verified_from_store;

pub use projection::legacy_receipt_for_task;

pub use projection::legacy_receipt_for_task_from_store;

pub use projection::task_cost_summary;

pub use projection::task_cost_summary_from_store;

pub use store::ExecutionLedgerStore;

pub use store::default_path;

pub use verify::GENESIS;

pub use verify::hash_event;

pub use verify::verify_events;

Modules

canonical_receipt

Durable publication of canonical receipt artifacts before ledger append.

event

Task-aware execution events.

host

Trusted host authority for native Engine receipt publication.

migration

One-way migration helpers for legacy Savings Ledger observations.

producer

Production composition of the protocol Engine spine into a canonical receipt.

projection

Read-only projections over execution-ledger events.

store

File-backed append-only execution ledger. The append journal proves local crash continuity; signed canonical receipts, not this unkeyed sidecar, provide adversarial authenticity.

verify

Deterministic execution-ledger hashing and chain verification.

Structs

ContextBalance

Four-stage token balance carried by an execution receipt.

ContextBalanceV1

The tri-state acceptance value used by ExecutionEvent::OutcomeRecorded.

ExecutionLedger

Compatibility aggregate for the existing execution-ledger CLI commands.

ExecutionLedgerEntryV1

Compatibility view consumed by the existing ledger execution CLI.

ExecutionLedgerVerifyResult

ReceiptSignerAdmissionV1

Host-owned trust snapshot authorizing one receipt-signing key.

Enums

ExecutionLedgerError

Errors returned while reading, serializing, or validating the execution ledger.

TriState

The tri-state acceptance value used by ExecutionEvent::OutcomeRecorded.

Type Aliases

Result

Result type shared by execution-ledger operations.