docs: fix Mintlify MDX parsing (no angle-bracket autolinks)

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",

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)
@@ -20,7 +20,7 @@ misconfiguration safety), under explicit assumptions.
 
 ## Where the models live
 
-Models are maintained in a separate repo: <https://github.com/vignesh07/clawdbot-formal-models>.
+Models are maintained in a separate repo: [github.com/vignesh07/clawdbot-formal-models](https://github.com/vignesh07/clawdbot-formal-models).
 
 ## Important caveats
 

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):
 

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/)