vignesh07 9ba0734b2b docs: add formal models review pack

2026-02-01 00:44:43 -08:00

..

formal-models.md

docs: add formal models overview and update README

2026-01-26 20:07:20 -08:00

gateway-exposure-matrix.md

tla+: add gateway bind=auto cases; document gateway exposure matrix

2026-01-26 00:39:32 -08:00

nodes-security-notes.md

docs: document nodes approval guarantee and nodes-model coverage

2026-01-25 14:19:23 -08:00

review-pack.md

docs: add formal models review pack

2026-02-01 00:44:43 -08:00

security-claims.md

docs: document nodes approval guarantee and nodes-model coverage

2026-01-25 14:19:23 -08:00

verification-roadmap.md

docs: add high-ROI verification roadmap

2026-01-25 00:36:47 -08:00