Features · v0.9.0
Thirsty-Lang feature matrix
Feature status is derived from public documentation and test references. Real means documented as implemented with evidence references; optional and roadmap entries stay explicitly labeled.
| Area | Status | Source |
|---|---|---|
| Language core | Documented implementation | docs/STATUS.md |
| Nominal enums, typed structs, dictionaries, tuple/bytes helpers | Documented in 0.9.0 | CHANGELOG.md + docs/DEVELOPMENT_PLAN.md |
| Authority lifetime, pure calls, content-bound locks, required audit | Documented repairs | CHANGELOG.md + docs/DEVELOPMENT_PLAN.md |
| Complete backend parity, remote registry, robotics and swarms | Deferred | docs/DEVELOPMENT_PLAN.md |
| Governance contracts and TARL routing | Real | docs/STATUS.md |
| Hardened runtime defenses | Real | docs/STATUS.md + docs/THREAT_MODEL.md |
| Semantic verifiers (incl. optional Z3) | Real / optional | docs/STATUS.md |
| T.A.R.L. policy engine | Real | docs/STATUS.md |
| Stability and packaging | Real | docs/STATUS.md + pyproject.toml |