Scan Display Refresh

Three display surfaces show the scan output — the terminal, the README, and the website. All three have issues:

verdict PASSscore 15 / 15findings 4 (0 risk · 2 debt · 2 obs)duration 2h 18mrejection cycles 0shipped May 23, 2026

Pipeline timeline

Intent to proven code in 2h 18m across Think, Plan, Build, and Verify.

Think

30m

Plan

16m

Build

16m

Verify

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

ID	Says	Matcher
A001	The terminal box right border aligns with the top border on projects with a shape badge	verified	ok
A002	The terminal box right border aligns when the summary line is shorter than the box width	verified	ok
A003	Long summary lines are truncated to fit inside the box instead of overflowing	verified	ok
A004	Package count is dropped from the summary when it would cause overflow	verified	ok
A005	The README scan example shows a monorepo project named inbox-zero	verified	ok
A006	The README scan example includes a Surfaces section	verified	ok
A007	The README scan example shows database detection with model counts	verified	ok
A008	The README no longer uses the fictional my-saas-app project	verified	ok

debtpackages/cli/tests/commands/scan.test.ts→ promoted

A002 summary line assertion is vacuous when summaryLine is not found

debtpackages/cli/tests/commands/scan.test.ts→ promoted

A004 not_contains check gated by conditional — skipped if Prisma detection fails

obspackages/cli/tests/commands/scan.test.ts→ closed

Stale @ana tags from previous contracts collide with current assertion IDs

obspackages/cli/src/commands/scan.ts→ closed

Truncation uses Unicode ellipsis — single JS char but 3 UTF-8 bytes

scopesha256:d19bdd8208b24...

contractsha256:daf0ce34a13dc...

plansha256:4399b9afaffca...

specsha256:c4a23ab354f21...

build-reportsha256:79dc5c9d58492...

build-datasha256:6b46dac774a82...

verify-reportsha256:e3e1c82ef6498...

verify-datasha256:c8a906ad6c832...

audit cmd$ ana proof audit scan-display-refresh → all hashes match