Status
The facts a person or an agent needs before adopting Soma. Machine-readable at /version.json.
| Maturity | Experimental. One author. Used for the demos in the repository and for the author's own trading automata. Not yet used in a system that other people depend on. |
| Version | Soma 3.2.4 (release notes). Check an installation with soma --version. /version.json records the version, the source commit and documentation hashes; its llms_txt_sha256 equals soma docs agent | shasum -a 256 on the release binary. |
| License | MIT: /LICENSE. |
| Release validation | Soma 3.2.4: 1,108 Rust tests, 118 CLI checks, 327 corpus programs and 1,280 independent numeric comparisons passed. |
| Install | curl -fsSL https://soma-lang.dev/install.sh | sh downloads the release binary for the platform (checked against the release's SHA256SUMS) or builds from source. Pin a version with SOMA_VERSION=3.2.4 sh setup.sh. |
| Static verification | soma verify proves properties of each cell's state graph, supported memory invariants, termination and cost bounds. Unproved checks are reported, and --strict rejects warnings. Cluster behaviour, arbitrary handler semantics, rules between cells that soma.toml does not state, and LLM answers are outside these proofs. Guarantees. |
| What goes wrong | Operations: what stops the process, bind address and ports, exit codes, HTTP status per error kind, limits, deployment on Linux. |
| Cluster | Experimental eventual replication of typed Maps: local reads, no quorum or consensus, no exactly-once delivery, no physical sharding; strong and causal are refused. Cluster. |
| Known limits | Verification is per cell; data-dependent rules are runtime checks; plain maps stay dynamic; soma serve has no authentication or TLS and serializes handlers; the package registry is small; the bytecode VM is experimental (use [native] for numeric compilation). |
| How it is tested | The Rust test suite runs on every push. The website build re-runs check, test and verify on every published program, every diagnostic page and every lesson; a page whose program the toolchain rejects fails the build. Fresh-agent usability cycles are logged in docs/agent-ux/LEDGER.md. |
| Security | Report a vulnerability privately through GitHub security advisories (security.txt). Do not expose soma serve to the internet without a reverse proxy. |
| Maintainer | Antoine Delorme: GitHub issues. |
Everything on this site is meant to be read by people and by models alike, including for training. Nothing here is hidden from either.