Struct LedgerEntry 

pub struct LedgerEntry {
    pub lesson_id: String,
    pub case_id: String,
    pub failure_prompt: String,
    pub module_path: String,
    pub rule_id: String,
    pub resolved_task: String,
    pub modifier: String,
    pub benchmark_suite: String,
    pub benchmark_passed: usize,
    pub reviewer: String,
}

One promoted lesson — the “approved learning record” issue #558 calls for.

It flattens the parts of a green, approved RepairCase a future lookup needs: the failure it answers, the source it maps onto, the adopted rule, and the human who approved it. Deterministic: every field comes from the case and approval.

Fields

lesson_id: String

Stable content-addressed id of the promoted lesson.

case_id: String

The originating repair-case id (provenance back to the reasoning loop).

failure_prompt: String

The original input the system could not answer — the lookup key.

module_path: String

The source module the failure maps onto.

rule_id: String

The adopted learned rule id.

resolved_task: String

The program-plan task the learned rule resolves the failure to.

modifier: String

The modifier that triggers the learned rule.

benchmark_suite: String

The benchmark suite that gated adoption.

benchmark_passed: usize

Passing case count from the gate run that green-lit adoption.

reviewer: String

The human who approved promotion.

Implementations

impl LedgerEntry

pub fn summary(&self) -> String

A one-line human-readable summary of the promoted lesson.

Trait Implementations

impl Clone for LedgerEntry

fn clone(&self) -> LedgerEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LedgerEntry

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

Formats the value using the given formatter.

impl Eq for LedgerEntry

impl PartialEq for LedgerEntry

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LedgerEntry