docs: replace the navi-SAD bridge with a generic Measured Data page

docs/exposition/delay-embedding.md

@@ -66,6 +66,6 @@ for smooth data on a \(d\)-manifold. The same `delayEmbedding` is used there; se
 for a given observation on a finite state space, which windows work
 ([Coincidence Length](coincidence-length.md)).
 
-!!! tip "Connection to navi-SAD"
-    See [navi-SAD Bridge](../bridge/navi-sad.md) for what these results do and do not
-    establish about the instrument.
+!!! tip "Measured data"
+    See [Measured Data](measured-data.md) for what these results do and do not establish
+    about measured time series.

docs/bridge/navi-sad.md → docs/exposition/measured-data.md

@@ -1,10 +1,8 @@
-# navi-SAD Bridge
+# Measured Data
 
-[navi-SAD](https://docs.projectnavi.ai/navi-SAD/) builds delay-coordinate vectors and
-ordinal patterns from measured time series (see its
-[Takens Embedding](https://docs.projectnavi.ai/navi-SAD/theory/takens-embedding/) page).
-This page states which theorems proved here concern those constructions, and what they do
-not establish.
+Delay-coordinate vectors and ordinal patterns are routinely built from measured time
+series. This page states which theorems proved here concern those constructions, and what
+they do not establish.
 
 All results below are exact statements about mathematical models. No theorem here verifies
 that a particular sensor, data set, neural network or residual stream satisfies their

docs/index.md

@@ -56,4 +56,4 @@ see [Open Problems](research/open-problems.md).
 | [Theorem Catalog](reference/theorems.md) | The selected declarations, by module |
 | [Axiom Dashboard](reference/axiom-dashboard.md) | What the axiom records certify |
 | [Roadmap](research/roadmap.md) | What comes next |
-| [navi-SAD Bridge](bridge/navi-sad.md) | What these proofs do and do not say about the instrument |
+| [Measured Data](exposition/measured-data.md) | What these proofs do and do not say about measured time series |

scripts/check_docs_site.py

@@ -29,7 +29,11 @@
     "assets/proof-architecture.svg", "assets/logo.png", "assets/favicon.png",
     "stylesheets/navi.css", "javascripts/mathjax.js",
 )
-RETIRED_PATHS = ("debt.md", "docs/aristotle", "docs/internal", "superpowers", "CLAUDE.md")
+# 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",
+)
 SKIP_SCHEMES = ("mailto:", "javascript:", "data:", "tel:")
 HARD_FAIL_STATUS = {404, 410}
 

zensical.toml

@@ -30,6 +30,7 @@ nav = [
     {"Ordinal Compression" = "exposition/ordinal-compression.md"},
     {"Smooth Embedding" = "exposition/smooth-embedding.md"},
     {"Sard's Theorem" = "exposition/sard-infrastructure.md"},
+    {"Measured Data" = "exposition/measured-data.md"},
   ]},
   {"Research" = [
     {"Open Problems" = "research/open-problems.md"},
@@ -41,9 +42,6 @@ nav = [
     {"Glossary" = "reference/glossary.md"},
     {"Changelog" = "reference/changelog.md"},
   ]},
-  {"Bridge" = [
-    {"navi-SAD Bridge" = "bridge/navi-sad.md"},
-  ]},
 ]
 
 # ──────────────────────────────────────────────