README Terminal Demo

Replace the static code block in the README hero section with an animated terminal recording of `ana scan` running on dub (23K stars, YC company). The recording shows the command typed, the spinner running, and the full scan output resolving — framework, database with 80 models, auth, AI, payments, surfaces, intelligence with contributor activity and hot files. The static code block is removed. The demo is the product's front door: a developer sees the scan resolve a recognizable project's entire identity in seconds and thinks "I need to try this on my repo."

verdict PASSscore 17 / 17findings 4 (2 risk · 1 debt · 1 obs)duration 12h 40mrejection cycles 0shipped May 27, 2026

Pipeline timeline

Intent to proven code in 12h 40m across Think, Plan, Build, and Verify.

Think
125m
Plan
10m
Build
5m
Verify
4m

Assertion ledger

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

IDSaysMatcher
A001The old static scan output is removed from the READMEverifiedok
A002The inbox-zero scan example no longer appears in the READMEverifiedok
A003The README embeds the demo GIF with an image tagverifiedok
A004The demo image displays at 600 pixels wideverifiedok
A005The demo image points to the recorded GIF fileverifiedok
A006The demo image has descriptive alt textverifiedok
A007The npx install command appears in the READMEverifiedok
A008The README links to the docs site for more examplesverifiedok

Findings 4 total

debtassets/demo/dub-scan.tapeacknowledge
Tape file comment says Output is relative to tape file location, but VHS resolves Output relative to CWD
riskREADME.mdclosed
GIF uses relative src path — renders on GitHub but will break on npmjs.com where assets aren't bundled
obsclosed
AC8 (npm rendering) not codified in contract — npm image path issue is invisible to assertion checks
riskpackages/cli/package.jsonscope
prepublishOnly copies root README to package dir but assets/demo/ is not in files array — GIF path dangling on npm

Integrity seal

scopesha256:557dd00b69b92...
contractsha256:2184442cfbad3...
plansha256:fddbb38e6b7ae...
specsha256:97d53879910c0...
build-reportsha256:bc198b13f1fb3...
build-datasha256:561016deb22e3...
verify-reportsha256:0f58690ef7423...
verify-datasha256:482dad54727e8...
audit cmd$ ana proof audit readme-terminal-demo   → all hashes match