Struct ExecutionLedgerStore 

pub struct ExecutionLedgerStore { /* private fields */ }

A process-independent handle to an execution ledger file.

Implementations

impl ExecutionLedgerStore

pub fn task_cost_summary(&self, task_id: &str) -> TaskCostSummary

Projects token/cost/model-call totals for one task.

pub fn legacy_receipt_for_task( &self, task_id: &str, ) -> Option<LegacyReceiptProjectionV1>

Builds the explicitly non-authoritative legacy receipt projection.

pub fn canonical_receipt_for_task( &self, task_id: &str, ) -> Option<CanonicalReceiptProjectionV1>

Compatibility projection; exact consumers must use the verified variant.

pub fn canonical_receipt_for_task_verified( &self, task_id: &str, ) -> Result<Option<CanonicalReceiptProjectionV1>>

Returns authoritative receipt metadata or a verified unavailable error.

impl ExecutionLedgerStore

pub fn new(path: impl Into<PathBuf>) -> Self

Creates a store backed by path.

This compatibility constructor treats the lexical parent of path as the trusted root. Every operation still opens each component from a descriptor with no-follow semantics; callers that receive an external path should prefer Self::new_verified, which makes the root and relative path explicit and rejects traversal components up front.

pub fn new_verified( trusted_root: impl Into<PathBuf>, relative: impl Into<PathBuf>, ) -> Result<Self>

Creates a store rooted at trusted_root and addressed by relative.

The root is never traversed through a symlink and relative may not be absolute or contain ..; opened descriptors are checked again after acquisition so a concurrent rename cannot redirect a read.

pub fn from_default() -> Result<Self>

Creates a store at the configured default location.

pub fn path(&self) -> &Path

Returns the backing path.

pub fn append(&self, event: ExecutionEvent) -> Result<()>

Appends one event, assigning its next sequence number and chain link.

pub fn verify_chain(&self) -> Result<bool>

Verifies the complete on-disk chain under a shared file lock.

pub fn load(&self) -> Result<Vec<ExecutionEvent>>

Loads all well-formed events in file order.

pub fn load_verified(&self) -> Result<Vec<ExecutionEvent>>

Loads one snapshot only when its record digests, chain, and lifecycle verify.

pub fn by_task_verified(&self, task_id: &str) -> Result<Vec<ExecutionEvent>>

Returns verified events associated with task_id, propagating unavailable state.

pub fn by_task(&self, task_id: &str) -> Vec<ExecutionEvent>

Compatibility projection; exact consumers must use Self::by_task_verified.

pub fn last_sequence_verified(&self) -> Result<u64>

Returns the verified last sequence number, or zero for an empty/missing file.

pub fn last_sequence(&self) -> u64

Compatibility projection; exact consumers must use Self::last_sequence_verified.

Trait Implementations

impl Clone for ExecutionLedgerStore

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 ExecutionLedgerStore

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

Formats the value using the given formatter.

impl Eq for ExecutionLedgerStore

impl PartialEq for ExecutionLedgerStore

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

Equality operator ==.

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

Inequality operator !=.