9 Commits

Author	SHA1	Message	Date
vignesh07	0b2b501856	docs: clarify v1++ claims (not just target lists)	2026-01-27 15:35:24 -08:00
vignesh07	ead73f86f0	docs: add v1++ formal model targets (pairing/ingress/routing)	2026-01-27 15:32:37 -08:00
Vignesh	f7a014228d	Update permalink for formal verification document	2026-01-27 15:30:42 -08:00
vignesh07	90a6bbdbda	docs: restore gateway/security formal verification redirect copy	2026-01-27 15:29:35 -08:00
vignesh07	8198e826da	docs: update security + formal verification pages for Moltbot rename	2026-01-27 15:12:26 -08:00
Peter Steinberger	6d16a658e5	refactor: rename clawdbot to moltbot with legacy compat	2026-01-27 12:21:02 +00:00
Vignesh	d3a6333ef7	docs: allow nested gateway security pages (#2641)	2026-01-26 23:41:35 -08:00
Vignesh	f72b881276	docs: fix formal verification route (#2583)	2026-01-26 20:50:11 -08:00
vignesh07	39260e7055	docs(security): publish formal verification page under gateway/security	2026-01-26 20:32:12 -08:00