soma.cell

soma verify

Prove state machines, temporal logic, CAP properties, quorum.

soma verify is a command of soma, the toolchain of the Soma programming language (compiler, checker, verifier, test runner and server in one binary). Its options, as soma 3.2.4 prints them:

$ soma verify --help
Prove state machines, temporal logic, CAP properties, quorum

Usage: soma-v3.2.4 verify [OPTIONS] [FILES]...

Arguments:
  [FILES]...  Path to the .cell source file(s)

Options:
      --json
          Output as JSON (for agents)
      --strict
          Fail when anything is only runtime-checked or unprovable (every ⚠ is an error) — for CI gates
      --summary
          Only what needs attention: every ✗ and ⚠ under its heading, the count of ✓, the holes, the verdict
      --attest <OUT.json>
          Write the proof as an artifact: sources and toolchain hashed, every property with its verdict class, one digest
      --check-attestation <ATTESTATION.json>
          Re-run the verification an attestation records and compare digests
      --stdlib <STDLIB>
          Path to stdlib directory (default: auto-detect)
  -h, --help
          Print help