diff --git a/docs/docs.json b/docs/docs.json
index ec1314a90..e7ee40514 100644
--- a/docs/docs.json
+++ b/docs/docs.json
@@ -956,7 +956,7 @@
           "gateway/doctor",
           "gateway/logging",
           "gateway/security",
-          "gateway/security/formal-verification",
+          "gateway/security-formal-verification",
           "gateway/sandbox-vs-tool-policy-vs-elevated",
           "gateway/sandboxing",
           "gateway/troubleshooting",
diff --git a/docs/gateway/security/formal-verification.md b/docs/gateway/security-formal-verification.md
similarity index 98%
rename from docs/gateway/security/formal-verification.md
rename to docs/gateway/security-formal-verification.md
index de4d080fe..9b1231bf4 100644
--- a/docs/gateway/security/formal-verification.md
+++ b/docs/gateway/security-formal-verification.md
@@ -1,7 +1,7 @@
 ---
 title: Formal Verification (Security Models)
 summary: Machine-checked security models for Clawdbot’s highest-risk paths.
-permalink: /gateway/security/formal-verification/
+permalink: /gateway/security-formal-verification/
 ---
 
 # Formal Verification (Security Models)
diff --git a/docs/gateway/security.md b/docs/gateway/security.md
index db2e732c8..0b160f75f 100644
--- a/docs/gateway/security.md
+++ b/docs/gateway/security.md
@@ -7,7 +7,7 @@ read_when:
 
 ## Quick check: `clawdbot security audit`
 
-See also: [Formal Verification (Security Models)](/gateway/security/formal-verification/)
+See also: [Formal Verification (Security Models)](/gateway/security-formal-verification/)
 
 Run this regularly (especially after changing config or exposing network surfaces):
 
diff --git a/docs/security/formal-verification.md b/docs/security/formal-verification.md
index 8e8b98366..5aa70883c 100644
--- a/docs/security/formal-verification.md
+++ b/docs/security/formal-verification.md
@@ -2,4 +2,4 @@
 permalink: /security/formal-verification/
 ---
 
-This page moved to: [/gateway/security/formal-verification/](/gateway/security/formal-verification/)
+This page moved to: [/gateway/security-formal-verification/](/gateway/security-formal-verification/)