Status
The facts a person or an agent needs before adopting a language. 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 | The soma release this site is generated from is in version.json (soma_version); the binary prints it with soma --version. llms_txt_sha256 there equals soma docs agent | shasum -a 256 on that binary: the site and the binary say the same thing. |
| License | MIT — /LICENSE. |
| Changelog | /CHANGELOG.md. Releases: github.com/soma-dev-lang/soma/releases. |
| Install | curl -fsSL https://soma-lang.dev/install.sh | sh fetches site/setup.sh from the repository's main branch and either downloads the release binary for your platform or builds from source. Read it first; pin a release by cloning a tag and building with cargo build --release. |
| What is proven | /docs/guarantees.md — three columns: proven statically, enforced at runtime, not covered. Read the third column. |
| What goes wrong | /docs/operations.md — what kills the process (nothing a handler does), bind address and ports, exit codes, HTTP status per error kind, limits, deployment on Linux. |
| Known limits | Verification is per cell; data-dependent rules are runtime checks; records are untyped; soma serve has no authentication or TLS and serializes handlers (throughput is not a goal); one package in the registry; the bytecode VM is incomplete (the interpreter is the reference). |
| How it is tested | 300+ Rust tests; every program of the corpus and the repository (1,000+ files) re-run through check / verify / test on each change; fresh-agent usability cycles whose findings and fixes are logged in docs/agent-ux/LEDGER.md. |
| Security | Report a vulnerability privately via GitHub security advisories (security.txt). Do not run soma serve on the open internet without a reverse proxy in front of it. |
| Maintainer | Antoine Delorme — issues and discussion on GitHub issues. |
Everything on this site is meant to be read by people and by models alike. Nothing here is hidden from either.