Function format_ledger 

pub fn format_ledger(store: &GotchaStore) -> String

Human-readable Learning Ledger — what lean-ctx has actually learned from real shell outcomes: proven error→fix strategies, recurring pitfalls, and the counts behind them. Honest counts only — no fabricated token-savings figures, since “repeat errors avoided” has no measured per-incident token cost.