From 0c65ab7241db850d445459ead067357108677c7a Mon Sep 17 00:00:00 2001
From: Nelson Spence <nelson@projectnavi.ai>
Date: Mon, 28 Sep 2026 14:50:46 -0500
Subject: [PATCH] docs: make the navi-SAD bridge page a generic page on
 measured data

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.
---
 docs/exposition/delay-embedding.md                     |  6 +++---
 .../navi-sad.md => exposition/measured-data.md}        | 10 ++++------
 docs/index.md                                          |  2 +-
 scripts/check_docs_site.py                             |  6 +++++-
 zensical.toml                                          |  4 +---
 5 files changed, 14 insertions(+), 14 deletions(-)
 rename docs/{bridge/navi-sad.md => exposition/measured-data.md} (91%)

diff --git a/docs/exposition/delay-embedding.md b/docs/exposition/delay-embedding.md
index 1f83363..70af658 100644
--- a/docs/exposition/delay-embedding.md
+++ b/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.
diff --git a/docs/bridge/navi-sad.md b/docs/exposition/measured-data.md
similarity index 91%
rename from docs/bridge/navi-sad.md
rename to docs/exposition/measured-data.md
index c49b982..7dc7d7a 100644
--- a/docs/bridge/navi-sad.md
+++ b/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
diff --git a/docs/index.md b/docs/index.md
index cea8651..85a3ead 100644
--- a/docs/index.md
+++ b/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 |
diff --git a/scripts/check_docs_site.py b/scripts/check_docs_site.py
index 69568a0..3252782 100644
--- a/scripts/check_docs_site.py
+++ b/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}
 
diff --git a/zensical.toml b/zensical.toml
index b707f97..cd5b7ee 100644
--- a/zensical.toml
+++ b/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"},
-  ]},
 ]
 
 # ──────────────────────────────────────────────