Struct LearningLedger 

pub struct LearningLedger { /* private fields */ }

The durable, append-only ledger of human-approved lessons.

Built by promoting green, approved RepairCases. Entries are kept in promotion order and the whole ledger serialises to Links Notation with a stable content id, so it can be committed as an auditable artifact and re-derived.

Implementations

impl LearningLedger

pub const fn new() -> Self

An empty ledger.

pub fn entries(&self) -> &[LedgerEntry]

The promoted lessons, in promotion order.

pub const fn len(&self) -> usize

How many lessons have been promoted.

pub const fn is_empty(&self) -> bool

Whether the ledger holds no lessons yet.

pub fn promote( &mut self, case: &RepairCase, approval: &HumanApproval, ) -> Result<&LedgerEntry, PromotionRejected>

Promote case into the ledger — the terminal, human-gated step of the loop.

Succeeds only when the case is benchmark-green with an adoptable lesson, its source round-trips faithfully, and approval is granted. Returns the newly recorded LedgerEntry, or a PromotionRejected explaining which gate stopped it. Idempotent per failure prompt: a second promotion of the same failure is refused as PromotionRejected::AlreadyPromoted.

pub fn lesson_for(&self, prompt: &str) -> Option<&LedgerEntry>

The approved lesson for a repeated failure, if one was promoted.

This is what makes the loop “auto learning”: a failure the system once could not answer, then learned and had approved, is now recognised and answered from the ledger without re-deriving it. Matching is on the normalised prompt (trimmed, case-insensitive) so trivial rephrasings of whitespace/case hit.

pub fn knows(&self, prompt: &str) -> bool

Whether the ledger already holds an approved lesson for prompt.

pub fn links_notation(&self) -> String

Render the whole ledger as Links Notation — the committable, auditable “mainline history” of approved learning records. Ends trimmed.

pub fn content_id(&self) -> String

A stable content id over the ledger’s Links Notation — a fingerprint of the whole approved-lesson history.

Trait Implementations

impl Clone for LearningLedger

fn clone(&self) -> LearningLedger

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LearningLedger

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

Formats the value using the given formatter.

impl Default for LearningLedger

fn default() -> LearningLedger

Returns the “default value” for a type.

impl Eq for LearningLedger

impl PartialEq for LearningLedger

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LearningLedger