docs: replace the navi-SAD bridge with a generic Measured Data page - #16
Conversation
navi-SAD is being retired. The page's account of what the theorems do and do not establish for measured time series stays, as Exposition > Measured Data, with the navi-SAD references removed. The docs check now treats navi-SAD and navi-fractal as retired names.
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
PR Summary by QodoReplace the navi-SAD bridge with a Measured Data page
AI Description
Diagram
High-Level Assessment
Files changed (5)
|
Code Review by Qodo🐞 Bugs (0) 📘 Rule violations (0) 📎 Requirement gaps (0)
Great, no issues found!Qodo reviewed your code and found no material issues that require reviewTip of the day💡 Did you know, you can turn on the rule miner and Qodo learns your standards from review history |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 0c65ab7241
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "Codex (@codex) review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "Codex (@codex) address that feedback".
| # Retired paths and names of retired companion projects must not reappear in the built site. | ||
| RETIRED_PATHS = ( | ||
| "debt.md", "docs/aristotle", "docs/internal", "superpowers", "CLAUDE.md", | ||
| "navi-SAD", "navi-sad", "navi-fractal", |
There was a problem hiding this comment.
Add a failing fixture for the newly retired names
The checker test still exercises only debt.md, so scripts/test_checkers.py passes even if any of these new entries is misspelled or later removed. Add a fixture containing the newly prohibited navi-SAD/navi-fractal names so this new gate is actually regression-tested, as required for checker changes.
AGENTS.md reference: AGENTS.md:L57-L59
Useful? React with 👍 / 👎.
navi-SAD is being retired. The bridge page's account of what these theorems do and do not establish for measured time series is kept as Exposition > Measured Data, with every navi-SAD reference removed (the index row and the Delay Embedding tip now point there).
check_docs_site.pynow lists navi-SAD and navi-fractal as retired names, so the built site fails the check if either reappears. Docs site check, doc-name check and 63/63 checker tests pass locally.