Fix prebuild source mutation
The website prebuild script (`website/scripts/extract-docs-data.ts`) has a hidden side effect: `updateDynamicMdxValues()` rewrites tracked MDX source files, replacing `{/* ana:dynamic ... */}` markers with computed values. This causes silent dirty state on every build, guaranteed rebase conflicts on docs-touching branches, and maintains a redundant data path — every value hardcoded into MDX source already exists as a runtime function in `website/lib/docs-data/`. Separately, three generated files in `public/` (llms.txt, llms-full.txt, search-index.json) are tracked in git despite being regenerated by every prebuild run, compounding the same rebase-conflict problem.
Pipeline timeline
Intent to proven code in 1h 10m across Think, Plan, Build, and Verify.
Assertion ledger
16 claims, each independently verified. Showing 8 — show all →
| ID | Says | Matcher | |
|---|---|---|---|
| A001 | The prebuild no longer rewrites tracked MDX source files | verified | ok |
| A002 | No MDX files contain ana:dynamic markers after the fix | verified | ok |
| A003 | A shared values module defines all 9 dynamic value keys in one place | verified | ok |
| A004 | The shared values module maps all 9 keys including median timings | verified | ok |
| A005 | The tag resolution function replaces DocsStat tags with computed values | verified | ok |
| A006 | The DocsStat component renders as an inline span element | verified | ok |
| A007 | The DocsStat component reads from the shared values module, not its own map | verified | ok |
| A008 | The component is registered in the MDX components map | verified | ok |