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.
Think125m
Plan10m
Build5m
Verify4m
Assertion ledger
17 claims, each independently verified. Showing 8 — show all →
| ID | Says | Matcher | |
|---|---|---|---|
| A001 | The old static scan output is removed from the README | verified | ok |
| A002 | The inbox-zero scan example no longer appears in the README | verified | ok |
| A003 | The README embeds the demo GIF with an image tag | verified | ok |
| A004 | The demo image displays at 600 pixels wide | verified | ok |
| A005 | The demo image points to the recorded GIF file | verified | ok |
| A006 | The demo image has descriptive alt text | verified | ok |
| A007 | The npx install command appears in the README | verified | ok |
| A008 | The README links to the docs site for more examples | verified | ok |
Findings 4 total
debtassets/demo/dub-scan.tape→ acknowledge
Tape file comment says Output is relative to tape file location, but VHS resolves Output relative to CWD
riskREADME.md→ closed
GIF uses relative src path — renders on GitHub but will break on npmjs.com where assets aren't bundled
obs→ closed
AC8 (npm rendering) not codified in contract — npm image path issue is invisible to assertion checks
riskpackages/cli/package.json→ scope
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