Docs Search + Polish
The docs site has 124 pages rendering across 37 routes with 171/171 contract assertions passing (Scopes 1-5). But it can't ship: search is a disabled button, the AI surface is placeholder links pointing at `#`, 10 hardcoded numbers are already stale (78 → 90 proofs), and there's no build safety net for link rot. This scope makes the site production-ready — users can find content, the AI links work, the numbers stay current, and the build catches broken links.
verdict PASSscore 31 / 32findings 10 (2 risk · 5 debt · 3 obs)duration 1h 18mrejection cycles 0shipped May 14, 2026surface website
Pipeline timeline
Intent to proven code in 1h 18m across Think, Plan, Build, and Verify.
Think8m
Plan10m
Build31m
Verify8m
Assertion ledger
32 claims, each independently verified. Showing 8 — show all →
| ID | Says | Matcher | |
|---|---|---|---|
| A001 | Pressing Cmd+K opens the search overlay | verified | ok |
| A002 | Typing in the search box filters results by relevance | verified | ok |
| A003 | Search results are grouped into Pages, Commands, and Proofs sections | verified | ok |
| A004 | Pressing Escape closes the search overlay | verified | ok |
| A005 | Arrow keys move the selection highlight through search results | verified | ok |
| A006 | Selection clamps at boundaries instead of wrapping | verified | ok |
| A007 | Exact title matches rank above partial title matches | verified | ok |
| A008 | Search index includes more than 100 entries across all content types | verified | ok |
Findings 10 total
debtwebsite/components/docs/content/DynamicStat.tsx→ closed
DynamicStat.tsx is dead code — 8 exported components never imported or registered anywhere
riskwebsite/app/docs/[...slug]/page.tsx→ closed
Dynamic components not registered in catch-all mdxComponents map — contract specifies registration but builder used build-time regex approach instead
riskwebsite/content/docs/concepts/pipeline.mdx→ closed
pipeline.mdx rejectionProofCount stale (17 vs 19) — regex marker placement broken, extra text between value and ana:dynamic comment
debtwebsite/scripts/extract-docs-data.ts→ closed
LLMS_SECTIONS constant declared but never used in extract-docs-data.ts
debtwebsite/scripts/extract-docs-data.ts→ closed
Unused variable 'other' in generateLlmsTxt — pages filtered but remainder never referenced
+5more findings
Integrity seal
scopesha256:083fd4906eb94...
contractsha256:421d1001d2062...
plansha256:eb4579777e9e0...
specsha256:39232e851ba39...
build-reportsha256:0813f46099072...
build-datasha256:7f35c1a196bdc...
verify-reportsha256:db54716137dcc...
verify-datasha256:46f8130f4d395...
audit cmd$ ana proof audit docs-search-polish → all hashes match