Features · v0.8.5
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 | Real | docs/STATUS.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 |