v1.0.0

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

v0.12.0

Full Changelog: v0.11.2...v0.12.0

v0.11.2

Full Changelog: v0.11.1...v0.11.2

v0.11.1

What's Changed

• Inject HOME/USER/LOGNAME/PATH defaults on the daemon side (fixes #23) by @cuihtlauac in #24

Full Changelog: v0.11.0...v0.11.1

v0.11.0

Full Changelog: v0.10.2...v0.11.0

v0.10.2

Full Changelog: v0.10.1...v0.10.2

v0.10.1

Full Changelog: v0.10.0...v0.10.1

v0.10.0

Full Changelog: v0.9.2...v0.10.0

v0.9.2

What's Changed

• Add SSH agent forwarding; fix issues #5, #11–#17 by @cuihtlauac in #21
• Fix TUI prompt spurious-deny and SIGTTIN daemon hang by @cuihtlauac in #22

Full Changelog: v0.9.1...v0.9.2

v0.9.1

What's Changed

• Fix: setpgid + tcsetpgrp instead of setsid (closes #19) by @cuihtlauac in #20

New Contributors

• @cuihtlauac made their first contribution in #20

Full Changelog: v0.9.0...v0.9.1