docs: redirect gateway/security/formal-verification (#2594)

2026-01-26 21:28:45 -08:00
parent 6c451f47f4
commit 9a2be717b7
1 changed files with 12 additions and 0 deletions
--- a/docs/gateway/security-formal-verification.md
+++ b/docs/gateway/security-formal-verification.md
@@ -0,0 +1,12 @@
+---
+title: Formal Verification (Security Models)
+summary: Redirect to the canonical Formal Verification page.
+permalink: /gateway/security/formal-verification/
+---
+
+This page moved to: [/security/formal-verification/](/security/formal-verification/)
+
+<script>
+  // Best-effort client-side redirect for Mintlify/Next.
+  window.location.replace("/security/formal-verification/");
+</script>