What's Changed
- Refactor docs: lean README + docs/ tree by @cuihtlauac in #26
- Reduce code duplication: shared datetime/cli helpers by @cuihtlauac in #27
- Honor NO_COLOR in the approval prompt; consolidate escapes by @cuihtlauac in #28
- Remove DUPLICATION_AUDIT.md by @cuihtlauac in #29
- docs: security formalisation program + Rung 0 threat model by @cuihtlauac in #30
- docs: add backlog and changelog for cross-session tracking by @cuihtlauac in #31
- ci: add static-analysis build gate (Rung 1) by @cuihtlauac in #32
- test: reframe fuzz harnesses as named properties (Rung 2) by @cuihtlauac in #33
- Rung 3 — Kani bounded proofs + ValidatedRequest typestate by @cuihtlauac in #34
- feat: Rung 4 + Extended Rung 4 — TLA+/ProVerif formal models by @cuihtlauac in #35
- docs(backlog): far-future-timestamp fix + re-climb the ladder to Rung 4 by @cuihtlauac in #36
- 1.0.0: default mcp feature, MCP Registry publishing, private lib by @cuihtlauac in #37
Full Changelog: v0.12.0...v1.0.0
Contributors
cuihtlauac