Module ledger 

The session candidate ledger.

Observations accumulate here before anything becomes canonical. The ledger is what makes a crash survivable, what turns three mentions of the same thing into one candidate with three pieces of evidence, and what consolidation reads at the end of a session.

Structs

InMemorySessionLedger

The in-process ledger.

MicroReconciliationReport

What one micro-reconciliation pass did.

ObservationEvidence

One piece of evidence behind a candidate.

SealedSessionLedger

A ledger sealed against further writes.

SessionCandidate

A proposed memory accumulating evidence within a session.

SessionLedgerSnapshot

A snapshot of the ledger mid-session.

Enums

LedgerOutcome

What happened when an observation was offered to the ledger.

SessionCandidateStatus

Where a candidate stands within the session.

Traits

SessionLedger

Accumulates observations for a logical session.