Audit matrix orientation
Learn's orientation phase requires 3+ commands and manual synthesis to understand the shape of the proof chain before triage. The severity × action cross-tab (the intersection of these two dimensions) is the single most useful orientation data — it tells Learn the shape of work, not just counts. "4 risk" is less actionable than "3 risk/scope + 1 risk/monitor." Additionally, Learn needs to know what shipped recently and how many findings are stale. Today this requires running `ana proof audit`, `ana proof stale`, and manually checking the last 3 entries.
verdict PASSscore 29 / 29findings 7 (0 risk · 3 debt · 4 obs)duration 2h 11mrejection cycles 0shipped May 17, 2026surface cli
Pipeline timeline
Intent to proven code in 2h 11m across Think, Plan, Build, and Verify.
Think21m
Plan81m
Build15m
Verify5m
Assertion ledger
29 claims, each independently verified. Showing 8 — show all →
| ID | Says | Matcher | |
|---|---|---|---|
| A001 | Audit JSON includes a severity-by-action cross-tab showing how findings distribute | verified | ok |
| A002 | Cross-tab pairs use the severity/action format | verified | ok |
| A003 | Cross-tab counts match actual finding distribution | verified | ok |
| A004 | Human-readable audit shows the severity/action cross-tab inline | verified | ok |
| A005 | Cross-tab line uses dot-separator formatting | verified | ok |
| A006 | Matrix mode returns orientation without individual findings | verified | ok |
| A007 | Matrix mode includes total active count | verified | ok |
| A008 | Matrix mode includes staleness count | verified | ok |
Findings 7 total
debtpackages/cli/src/utils/proofSummary.ts→ monitor
formatRelativeTime doesn't handle invalid input — produces 'NaNw ago' for bad ISO strings
obs→ closed
Contract A027 value '1w ago' unreachable — 30-day week threshold means minimum is '4w ago'
obs→ closed
Contract A003 value 2 doesn't match test fixture which produces risk/scope=1
obs→ closed
Contract A029 value 'cleanup' (lowercase) doesn't match template 'Cleanup' (capital C)
debtpackages/cli/src/commands/proof.ts→ monitor
Duplicated zero-entry JSON payload — identical object literal at two call sites
+2more findings
Integrity seal
scopesha256:e46ec013667df...
contractsha256:b46c5aa103e3a...
plansha256:078da95aba68a...
specsha256:166309aa8a0c7...
build-reportsha256:9036fde80c00c...
build-datasha256:31390d23a3eb9...
verify-reportsha256:0a7a7712dde3c...
verify-datasha256:304e5b4a10449...
audit cmd$ ana proof audit audit-matrix-orientation → all hashes match