Current state
| Workstream | Status | Notes |
|---|---|---|
| Compiler releases | shipping | Latest release on the mirror is v0.60.1; v0.61.0 is on main |
| Language surface | shipped | Ownership, generics, contracts, pattern matching, derive, C FFI, scripting mode |
| Production hardening | shipped | Contracts, diagnostics, scripting and JIT, AI-assisted diagnostics, sandbox audit, sanitizers |
| Standard library | beta | 517 source files and 6,532 public functions; limitations are published |
| Self-hosting | gates cleared | No self-hosted release has shipped; the bootstrap toolchain is the release compiler |
| Ecosystem | in progress | Package registry application, publishing, and editor tooling |
Verification gates
Every release runs the full gate set before publication. Numbers are from the v0.61.0 compiler gates and the standard library corpus on main (checked 2026-09-22):
| Gate | Tests |
|---|---|
| End-to-end | 2338 / 2338 |
| Checker | 195 / 195 |
| Feature regression | 510 |
| Robustness | 63 |
| Fuzz | 24 |
| Performance and determinism | 2 / 2 |
| Formatter | 86 |
| Language server | 45 |
| Standard library corpus (smoke, known-answer, probes) | 949 / 949 |
4,212 checks in total across both repositories. The compiler rows count gate test cases; the standard library row counts corpus programs that compile and run. Per-release numbers will move to the versions page when the release metadata carries them.
Self-hosting
Self-hosting gates are cleared, but no self-hosted release has shipped yet; the bootstrap compiler remains the released toolchain. The remaining work is tracked in the compiler repository.
Next
- First self-hosted release once the remaining gaps close.
- Package registry application and public publishing.
- Static contract proof integration -- SMT-LIB output is available today through
--verify. - macOS builds: Windows, Linux and WebAssembly are verified; macOS and the ARM/RISC-V targets are in progress.
Scope
XIOM is a systems language for production use -- not a research language and not a domain-specific language. Scripting mode, JIT execution and compile-time evaluation are part of the workflow, not a separate product. See Why for the full purpose, History for how the project reached this point, and the release history for what has shipped.