Proof List View

When `ana proof` is called with no arguments, show a summary table of all proof chain entries. The developer wants a scannable overview of their proof history without needing to know a slug upfront. The existing `ana proof <slug>` detail card stays unchanged.

verdict PASSscore 19 / 19findings 0 (0 risk · 0 debt · 0 obs)duration 36mrejection cycles 0shipped Apr 6, 2026

Pipeline timeline

Intent to proven code in 36m across Think, Plan, Build, and Verify.

Think
8m
Plan
8m
Build
15m
Verify
13m

Assertion ledger

19 claims, each independently verified. Showing 8 — show all →

IDSaysMatcher
A001Running proof with no arguments shows a table of proof historyverifiedok
A002The table includes a Result columnverifiedok
A003The table includes an Assertions columnverifiedok
A004Each row shows the slug of a completed work itemverifiedok
A005Each row shows the date the work was completedverifiedok
A006Entries are sorted with most recent firstverifiedok
A007Assertion ratio shows satisfied count out of totalverifiedok
A008When no proofs exist yet, the output says so without erroringverifiedok

Findings 0 total

Integrity seal

scopesha256:8c61b6ae2cf22...
contractsha256:900a377f6ca13...
plansha256:a1e080b6fda3a...
specsha256:258d3a0104e4e...
build-reportsha256:6dda3196e08e4...
verify-reportsha256:10fed1db08ac6...
audit cmd$ ana proof audit proof-list-view   → all hashes match