FindingsList expand/collapse for proof pages
Nearly half of proof pages (46 of 96 entries, 48%) show truncated findings with no way to view the rest. FindingsList hard-caps at 5 items and renders a "+N more findings" badge that is purely informational. Users see data is hidden but have no way to reveal it. AssertionLedger on the same page already has expand/collapse — FindingsList should match.
verdict PASSscore 8 / 8findings 5 (1 risk · 1 debt · 3 obs)duration 2h 9mrejection cycles 0shipped May 15, 2026surface website
Pipeline timeline
Intent to proven code in 2h 9m across Think, Plan, Build, and Verify.
Think13m
Plan2m
Build3m
Verify3m
Assertion ledger
8 claims, each independently verified.
| ID | Says | Matcher | |
|---|---|---|---|
| A001 | Findings list shows only the first 5 findings by default | verified | ok |
| A002 | Clicking the badge reveals all hidden findings | verified | ok |
| A003 | The badge is clickable with a pointer cursor | verified | ok |
| A004 | Expanded badge shows collapse text instead of the count | verified | ok |
| A005 | Collapsing returns to showing only 5 findings | verified | ok |
| A006 | After collapsing, the badge shows the hidden count again | verified | ok |
| A007 | Pages with 5 or fewer findings show no toggle badge | verified | ok |
| A008 | The component uses client-side state for toggling | verified | ok |
Findings 5 total
debtwebsite/components/docs/proof/FindingsList.tsx→ closed
Redundant cursor:pointer on inner collapse span — parent div already sets it
obswebsite/components/docs/proof/FindingsList.tsx→ closed
Toggle pattern deviates from AssertionLedger — uses !expanded toggle vs separate true/false calls
obswebsite/components/docs/proof/FindingsList.tsx→ monitor
Badge opacity 0.75 persists when interactive — reduces contrast for clickable element, potential a11y concern
riskwebsite/components/docs/proof/FindingsList.tsx→ closed
No ARIA attributes on interactive badge div — onClick on div without role='button' or tabIndex
obs→ closed
Contract has no assertion for keyboard accessibility of the toggle
Integrity seal
scopesha256:682ec0a9d43a9...
contractsha256:3d7587634f945...
plansha256:74f40cb549f45...
specsha256:fd4163ee47363...
build-reportsha256:c8bd0ab1bd481...
build-datasha256:1d2f149224227...
verify-reportsha256:ae96fe9e04414...
verify-datasha256:e538ca3be5df7...
audit cmd$ ana proof audit findings-expand-collapse → all hashes match