diff --git a/README.md b/README.md
index 5cd31a6..d355d8f 100644
--- a/README.md
+++ b/README.md
@@ -46,7 +46,7 @@ a fresh kernel replay (see `AGENTS.md`).
 lake exe cache get && make build lint verify
 ```
 
-Documentation: <https://project-navi.github.io/takens-formalization/>.
+Documentation: <https://docs.projectnavi.ai/takens-formalization/>.
 
 ## Credit
 
diff --git a/docs/bridge/navi-sad.md b/docs/bridge/navi-sad.md
index 1c79a72..c49b982 100644
--- a/docs/bridge/navi-sad.md
+++ b/docs/bridge/navi-sad.md
@@ -1,8 +1,8 @@
 # navi-SAD Bridge
 
-[navi-SAD](https://project-navi.github.io/navi-SAD/) builds delay-coordinate vectors and
+[navi-SAD](https://docs.projectnavi.ai/navi-SAD/) builds delay-coordinate vectors and
 ordinal patterns from measured time series (see its
-[Takens Embedding](https://project-navi.github.io/navi-SAD/theory/takens-embedding/) page).
+[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.
 
diff --git a/zensical.toml b/zensical.toml
index c4181fd..b707f97 100644
--- a/zensical.toml
+++ b/zensical.toml
@@ -5,7 +5,7 @@
 name = "takens-formalization"
 site_name = "Takens Formalization"
 description = "Lean 4 + Mathlib formalization of delay-coordinate reconstruction"
-site_url = "https://project-navi.github.io/takens-formalization"
+site_url = "https://docs.projectnavi.ai/takens-formalization"
 repo_url = "https://github.com/Project-Navi/takens-formalization"
 repo_name = "Project-Navi/takens-formalization"
 copyright = "Copyright 2026 Nelson Spence"