Skip to main content

Module store

lean_ctx::core::execution_ledger

Module store 

Source
Expand description

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

Structs§

ExecutionLedgerStore
A process-independent handle to an execution ledger file.

Functions§

default_path
Default execution-ledger location: <data_dir>/execution/ledger.jsonl.