docs(security): publish formal verification page under gateway/security

2026-01-26 20:32:12 -08:00
parent 552b2956d4
commit 39260e7055
3 changed files with 111 additions and 104 deletions
--- a/docs/gateway/security.md
+++ b/docs/gateway/security.md
@@ -7,6 +7,8 @@ read_when:

 ## Quick check: `clawdbot security audit`

+See also: [Formal Verification (Security Models)](/gateway/security/formal-verification/)
+
 Run this regularly (especially after changing config or exposing network surfaces):

 ```bash