diff --git a/docs/gateway/security/formal-verification.md b/docs/gateway/security/formal-verification.md
index 1098acbba..107739815 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 Moltbot’s highest-risk paths.
-permalink: /security/formal-verification/
+permalink: /gateway/security/formal-verification/
 ---
 
 # Formal Verification (Security Models)