Status · v0.8.5
Canonical status matrix
This status view keeps Real, optional, roadmap, limitations, test references, source paths, and pinned revision visible in one place.
| Capability | Real | Optional | Roadmap | Limitations | Test reference | Source path | Pinned commit |
|---|---|---|---|---|---|---|---|
| Governed mode + contracts + deny-by-default | Real | — | — | Website does not independently execute upstream test suites. | tests/test_governance_maximal.py | docs/STATUS.md | 9afa7682c781 |
| Semantic verifier Z3 layer | Real | Optional dependency | — | Marked optional in status matrix. | tests/test_verifiers.py::TestConvergenceZ3 | docs/STATUS.md | 9afa7682c781 |
| Production deployment completeness | — | — | Roadmap / deferred rows remain | Do not infer full production parity from documented syntax alone. | docs/STATUS.md sections marked deferred | docs/STATUS.md | 9afa7682c781 |