Programs: skeleton
5 verified Soma programs in the skeleton domain. Each page shows the source and what soma check, soma test, soma verify and soma run printed on it.
| Program | Lines | Uses |
|---|---|---|
| Review with holes — a design that is proven before it is finished | 90 | a state machine, a memory invariant, require / fail, a skeleton |
| Stock and orders — two skeletons, and what one may ask of the other | 133 | a state machine, a memory invariant, require / fail, a skeleton, several cells |
| Ticket desk — one cell written skeleton-first | 122 | a state machine, a memory invariant, require / fail, a skeleton |
| Triage agent — an LLM inside a frame | 98 | a state machine, a memory invariant, LLM calls (think), a skeleton |
| Turnstile — a signal that may take any edge, and says so | 84 | a state machine, a memory invariant, match, require / fail, a skeleton |