docs: add Related sections to remaining platform, reference template, and misc pages

docs/security/CONTRIBUTING-THREAT-MODEL.md

@@ -96,3 +96,8 @@ If you're unsure about the risk level, just describe the impact and we'll assess
 ## Recognition
 
 Contributors to the threat model are recognized in the threat model acknowledgments, release notes, and the OpenClaw security hall of fame for significant contributions.
+
+## Related
+
+- [Threat model](/security/THREAT-MODEL-ATLAS)
+- [Formal verification](/security/formal-verification)

docs/security/THREAT-MODEL-ATLAS.md

@@ -606,3 +606,8 @@ T-EXEC-002 → T-EXFIL-001 → External exfiltration
 ---
 
 _This threat model is a living document. Report security issues to security@openclaw.ai_
+
+## Related
+
+- [Formal verification](/security/formal-verification)
+- [Contributing to the threat model](/security/CONTRIBUTING-THREAT-MODEL)

docs/security/formal-verification.md

@@ -163,3 +163,8 @@ What it means:
 - Red (expected):
   - `make routing-precedence-negative`
   - `make routing-identitylinks-negative`
+
+## Related
+
+- [Threat model](/security/THREAT-MODEL-ATLAS)
+- [Contributing to the threat model](/security/CONTRIBUTING-THREAT-MODEL)