docs: add missing summary/read_when metadata

2026-02-22 20:44:31 +01:00
parent 5e73f33448
commit e0d4194869
14 changed files with 45 additions and 0 deletions
--- a/docs/security/formal-verification.md
+++ b/docs/security/formal-verification.md
@@ -1,6 +1,9 @@
 ---
 title: Formal Verification (Security Models)
 summary: Machine-checked security models for OpenClaw’s highest-risk paths.
+read_when:
+  - Reviewing formal security model guarantees or limits
+  - Reproducing or updating TLA+/TLC security model checks
 permalink: /security/formal-verification/
 ---