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 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 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.