Ship Log Polish
The ship log on anatomia.dev calls pipeline runs "commits," displays "new" as the tag for features (meaningless), and links to GitHub commits as the source of truth. A verification product whose marketing display is unverified. Fix the copy, add explicit `kind` classification to the proof chain so tags come from data instead of slug heuristics, and make the website read it.
verdict PASSscore 24 / 24findings 7 (0 risk · 0 debt · 7 obs)duration 2h 54mrejection cycles 0shipped May 8, 2026
Pipeline timeline
Intent to proven code in 2h 54m across Think, Plan, Build, and Verify.
Think23m
Plan8m
Build9m
Verify5m
Assertion ledger
24 claims, each independently verified. Showing 8 — show all →
| ID | Says | Matcher | |
|---|---|---|---|
| A001 | The ship log headline says 'receipts' instead of 'commits' | verified | ok |
| A002 | No instance of the word 'commit' appears in ship log copy | verified | ok |
| A003 | The proof chain link points to PROOF_CHAIN.md on GitHub | verified | ok |
| A004 | The footer label reads 'Full proof chain' | verified | ok |
| A005 | The collapsed header says 'verified changes' not 'commits' | verified | ok |
| A006 | Feature tags display as 'feature', not 'new' | verified | ok |
| A007 | Fix tags display as 'fix' | verified | ok |
| A008 | Chore tags display as 'improve' | verified | ok |
Findings 7 total
obspackages/cli/src/utils/proofSummary.ts→ closed
extractScopeKind regex matches **Kind:** anywhere in file, not section-scoped
obswebsite/components/proof-feed/ProofFeed.tsx→ closed
kindLabel defaults to 'improve' for any unrecognized kind — silent fallback if ProofKind grows
obswebsite/lib/proof-feed.ts→ closed
resolveKind falls back to slug heuristic for old entries — chore-type old entries misclassified as feature
obs→ closed
Stale finding 'mapEntry never produces kind chore' resolved by this build — resolveKind now handles chore
obswebsite/lib/copy.ts→ closed
Stale finding 'headTitle says Click one but rows not clickable' — not addressed by this build, remains active
+2more findings
Integrity seal
scopesha256:3ad3ac74790fe...
contractsha256:549d530889857...
plansha256:c08068fd8cd92...
specsha256:9835a08cd0d2a...
build-reportsha256:7e60ec90a264f...
build-datasha256:a88eee4999900...
verify-reportsha256:99b18ba497cce...
verify-datasha256:e803d910a844a...
audit cmd$ ana proof audit ship-log-polish → all hashes match