Struct Ledger 

pub struct Ledger { /* private fields */ }

The append-only, Merkle-chained event ledger.

Implementations

impl Ledger

pub fn new() -> Self

pub fn head(&self) -> String

The current ledger head (Merkle root), or "GENESIS" when empty.

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn records(&self) -> &[LedgerRecord]

pub fn append(&mut self, event: LedgerEvent) -> Result<String>

Append an event, extending the Merkle chain. Returns the new head.

pub fn stage(&self, event: LedgerEvent) -> Result<LedgerRecord>

Compute the record append would produce, without mutating the chain.

A write-ahead sink persists the staged record first and then commits it with commit_staged; a durable-write failure leaves the in-memory chain untouched, with no chain clone required.

pub fn commit_staged(&mut self, record: LedgerRecord) -> Result<()>

Commit a record produced by stage. Rejects a record that does not extend the current head exactly.

pub fn record_observation(&mut self, content: &[u8]) -> Result<String>

Record a nondeterministic observation before it is used (R2). Returns the observation handle (content address).

pub fn has_observation(&self, handle: &str) -> bool

Whether an observation handle has a ledger record.

pub fn observation_hash(&self, handle: &str) -> Option<&str>

The recorded content hash for an observation handle, if any.

pub fn commit_transition( &mut self, event: LedgerEvent, referenced_observations: &[String], ) -> Result<String>

The kernel-refusal rule: refuse to commit a transition that references an observation lacking a ledger record (PSP-8 System 11). Returns an error naming the first unrecorded handle.

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

Verify the Merkle chain end to end (tamper detection).

Trait Implementations

impl Clone for Ledger

fn clone(&self) -> Ledger

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Ledger

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

Formats the value using the given formatter.

impl Default for Ledger

fn default() -> Ledger

Returns the “default value” for a type.