Website nav, scroll targets, compat icons, and copy accuracy

Navigation links on the marketing site scroll to wrong positions (too much whitespace above content), Install buttons point to `/#pricing` instead of the npm package page, the compat sections use placeholder letter-circles instead of real brand icons, and the About/Contact pages contain inaccurate information (wrong city, false headcount claims). Fix all of it in one pass.

verdict PASSscore 22 / 22findings 6 (3 risk · 1 debt · 2 obs)duration 1h 7mrejection cycles 0shipped May 8, 2026surface website

Pipeline timeline

Intent to proven code in 1h 7m across Think, Plan, Build, and Verify.

Think
18m
Plan
7m
Build
16m
Verify
4m

Assertion ledger

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

IDSaysMatcher
A001Navigation bar shows exactly three links: Agents, Pricing, Docsverifiedok
A002Pipeline link is removed from the navigation barverifiedok
A003Navigation Install button links to the npm package pageverifiedok
A004Navigation Install button opens in a new browser tabverifiedok
A005Hero Install button links to the npm package pageverifiedok
A006Hero Install button opens in a new browser tabverifiedok
A007See the pipeline button scrolls to the agents sectionverifiedok
A008Pricing free-tier Install button links to the npm package pageverifiedok

Findings 6 total

riskwebsite/lib/copy.tsclosed
Three dead #pipeline links after anchor removal
riskwebsite/components/hero/ScrollHint.tsxclosed
ScrollHint still links to #pipeline — scroll from hero goes nowhere
riskwebsite/components/scan/ScanSlab.tsxclosed
ScanSlab still links to #pipeline — scan section CTA goes nowhere
debtwebsite/lib/icons.tsxclosed
brandIconNames exported but never imported
obsclosed
Spec scoped out manifesto/ScanSlab/ScrollHint but removing id=pipeline creates regressions in those files
+1more findings

Integrity seal

scopesha256:6d13671afd6d3...
contractsha256:731910822a924...
plansha256:313033fcac14b...
specsha256:ec51d56eba022...
build-reportsha256:0dd85578f22a5...
build-datasha256:1b13da8f7b1f6...
verify-reportsha256:675aca6b046d7...
verify-datasha256:fd751ab8e12fe...
audit cmd$ ana proof audit website-nav-copy-polish   → all hashes match