From f7a014228dc9042c435b704bb7a7119b170553f9 Mon Sep 17 00:00:00 2001 From: Vignesh Date: Tue, 27 Jan 2026 15:30:42 -0800 Subject: [PATCH] Update permalink for formal verification document --- docs/gateway/security/formal-verification.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)