soma skeleton

Print a program as its skeleton: memory, state machines, and each signal's frame (reads / writes / moves / calls) — no handler bodies.

soma skeleton 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 skeleton --help
Print a program as its skeleton: memory, state machines, and each signal's frame (reads / writes / moves / calls) — no handler bodies

Usage: soma-v3.2.4 skeleton [OPTIONS] <FILE> [SIGNAL]

Arguments:
  <FILE>    Path to the .cell source file
  [SIGNAL]  `Cell.signal` (or `signal`): the brief for that one handler. A cell's name (`Orders`): that cell alone, with its comments and who calls it

Options:
      --json             Output as JSON (for agents)
      --index            One line per cell (signals, holes, machine, what it is for) and who calls whom: the way into a large program
      --split            Rewrite the file as `skeleton` + `flesh`: the structure with the frames its bodies have today, and the bodies unchanged (to stdout)
      --freeze           Write the skeletons to skeleton.lock: `soma check` then refuses any change to them
      --amend            Accept the current skeletons as the new skeleton.lock, printing what changed
      --stdlib <STDLIB>  Path to stdlib directory (default: auto-detect)
  -h, --help             Print help