Ana Learn V1
The developer wants an agent that maintains the proof chain and helps improve the system. Ana Learn is the fifth agent — not part of Think → Plan → Build → Verify, but running alongside it. Learn reads health and audit data, verifies findings against current code, suggests closures and promotions, and helps the developer route their own observations into permanent system improvements.
verdict PASSscore 23 / 24findings 4 (0 risk · 1 debt · 3 obs)duration 3h 8mrejection cycles 0shipped Apr 30, 2026surface cli
Pipeline timeline
Intent to proven code in 3h 8m across Think, Plan, Build, and Verify.
Think15m
Plan15m
Build167m
Verify6m
Assertion ledger
24 claims, each independently verified. Showing 8 — show all →
| ID | Says | Matcher | |
|---|---|---|---|
| A001 | Learn agent uses Sonnet model for affordable automated sessions | verified | fail |
| A002 | Learn agent has a description summarizing its role | verified | ok |
| A003 | Learn agent does not declare skills in frontmatter because it loads them dynamically | verified | ok |
| A004 | Learn reads the project config file on startup | verified | ok |
| A005 | Learn reads design principles to judge promotion worthiness | verified | ok |
| A006 | Learn discovers installed skills by listing the directory | verified | ok |
| A007 | Learn checks for enrichment files to distinguish template from custom skills | verified | ok |
| A008 | Learn runs the health command for proof chain overview | verified | ok |
Findings 4 total
obspackages/cli/templates/.claude/agents/ana-learn.md→ closed
Contract A001 specifies model: sonnet but developer overrode to opus[1m] — human decision, not a defect
obs→ closed
Scope lists registration file as init/assets.ts but AGENT_FILES lives in constants.ts — spec corrected this but scope is stale
debtpackages/cli/templates/.claude/agents/ana-learn.md→ closed
Template instructs Learn to read .claude/skills/{name}/SKILL.md but actual skill files use different naming (e.g., coding-standards.md not SKILL.md) — agent will adapt at runtime but the path hint is misleading
obs→ closed
All 24 contract assertions are UNCOVERED by tagged tests — spec says templates are markdown verified by reading not unit tests, so pre-check shows 0 covered. Mechanical verification was done manually in this report.
Integrity seal
scopesha256:50771f14aa3e6...
contractsha256:fd1a6192459d7...
plansha256:4c1a01a396081...
specsha256:eb3c432326d0f...
build-reportsha256:9cdc252ae4d21...
build-datasha256:e475154b1b475...
verify-reportsha256:747e4e4a285ed...
verify-datasha256:145b9270dee7e...
audit cmd$ ana proof audit ana-learn-v1 → all hashes match