Learn Session Memory
Learn starts every session from zero. With 55+ active findings, there's no way to distinguish "already triaged" from "appeared since last time." The session wastes time re-reading known findings and risks missing new ones in the noise. The developer wants Learn to know what's new — and filter to just those findings.
verdict PASSscore 29 / 29findings 6 (0 risk · 3 debt · 3 obs)duration 5h 49mrejection cycles 0shipped May 18, 2026
Pipeline timeline
Intent to proven code in 5h 49m across Think, Plan, Build, and Verify.
Think18m
Plan11m
Build130m
Verify7m
Assertion ledger
29 claims, each independently verified. Showing 8 — show all →
| ID | Says | Matcher | |
|---|---|---|---|
| A001 | Initializing a new project creates a learn state file with no session history | verified | ok |
| A002 | Re-initializing a project keeps the existing learn session timestamp | verified | ok |
| A003 | Filtering by new shows only findings from entries completed after the last session | verified | ok |
| A004 | When no session has been recorded, filtering by new shows all findings | verified | ok |
| A005 | When the learn state file is missing, filtering by new shows all findings without error | verified | ok |
| A006 | Filtering by date shows only findings from entries completed after that date | verified | ok |
| A007 | Filtering by an invalid date exits with an error | verified | ok |
| A008 | Filtering by a future date returns zero findings | verified | ok |
Findings 6 total
debtpackages/cli/src/commands/proof.ts→ scope
commitAndPushProofChanges and pullBeforeRead exported from proof.ts instead of extracted to git-operations.ts
debtpackages/cli/src/commands/proof.ts→ closed
Duplicated learn state reading logic — matrix block and filter block both parse state.json independently
obspackages/cli/src/commands/proof.ts→ closed
--new and --since can be provided simultaneously — --since silently wins with no documentation
obs→ closed
No @ana tags for A025-A029 — template/doc assertions verified by source inspection only
debtpackages/cli/src/commands/learn.ts→ closed
learn.ts uses synchronous fs (existsSync, readFileSync, writeFileSync, mkdirSync) while init assets.ts uses async fs
+1more findings
Integrity seal
scopesha256:fe87abaace779...
contractsha256:f17ae9fb0cc9c...
plansha256:10238767b4f10...
specsha256:d9bcdbb28b22e...
build-reportsha256:8ec98374ed958...
build-datasha256:c271c50c8f1f0...
verify-reportsha256:97383d13fd3b0...
verify-datasha256:1f398ddf39bf2...
audit cmd$ ana proof audit learn-session-memory → all hashes match