Fix AnaDocs date freshness
Fix stale "Last reviewed" dates across AnaDocs. The CLI reference page hardcodes a date when `buildTimestamp` is already available. MDX content pages have intentionally manual `lastReviewed` dates with no mechanism to notice when they go stale. Reset all 14 MDX dates to today since all content was reviewed during the R5/R6 validation pass.
verdict PASSscore 15 / 15findings 5 (0 risk · 1 debt · 4 obs)duration 36mrejection cycles 0shipped May 22, 2026surface website
Pipeline timeline
Intent to proven code in 36m across Think, Plan, Build, and Verify.
Think4m
Plan6m
Build7m
Verify6m
Assertion ledger
15 claims, each independently verified. Showing 8 — show all →
| ID | Says | Matcher | |
|---|---|---|---|
| A001 | The CLI reference page shows a build-derived date, not a hardcoded one | verified | ok |
| A002 | The CLI reference page derives the date from buildTimestamp | verified | ok |
| A003 | Stale docs trigger a warning with the file path | verified | ok |
| A004 | Stale docs warning includes the age in days | verified | ok |
| A005 | Fresh docs produce no staleness warnings | verified | ok |
| A006 | Files where git returns no date fall back to buildTimestamp | verified | ok |
| A007 | The staleness threshold is 60 days | verified | ok |
| A008 | page-dates.json is generated with slug-to-date entries | verified | ok |
Findings 5 total
debtwebsite/lib/__tests__/docs-data/staleness.test.ts→ scope
Staleness tests replicate checkStaleDocs rather than testing the actual function
obswebsite/data/docs/page-dates.json→ closed
All page-dates.json entries show today's date because MDX files were modified in this branch
obswebsite/scripts/extract-docs-data.ts→ closed
Date.now() in checkStaleDocs makes staleness non-deterministic in tests
obs→ closed
Proof chain finding dynamic-pages-C1 (hardcoded date in CLI reference) is resolved by this build
obswebsite/lib/docs-data/pageDates.ts→ closed
pageDates.ts missing JSDoc on exported getPageDate function
Integrity seal
scopesha256:3a2025df8c4d2...
contractsha256:4b1f1a5d7326e...
plansha256:80562c5466827...
specsha256:8eae47afd8b87...
build-reportsha256:81fe74cd753e2...
build-datasha256:9d65fd013d94c...
verify-reportsha256:408e79e88e3c4...
verify-datasha256:1a916f3030208...
audit cmd$ ana proof audit fix-docs-date-freshness → all hashes match