From 9a2be717b7c8596abf86d12850fe749abcf2b3bd Mon Sep 17 00:00:00 2001
From: Vignesh <vignesh07@users.noreply.github.com>
Date: Mon, 26 Jan 2026 21:28:45 -0800
Subject: [PATCH] docs: redirect gateway/security/formal-verification (#2594)

---
 docs/gateway/security-formal-verification.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 docs/gateway/security-formal-verification.md

diff --git a/docs/gateway/security-formal-verification.md b/docs/gateway/security-formal-verification.md
new file mode 100644
index 000000000..3fb5d649f
--- /dev/null
+++ 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>