soma.cell

Programs using several cells

6 verified Soma programs that use several cells. Start from one of these when you write a program that needs it.

ProgramLinesUses
A horde: one [task] agent per document, a bounded pool, a hard token budget, each verdict stored exactly once, a summary at the end58an agent cell, LLM calls (think), pipes (|>), lambdas, require / fail, several cells
A population simulation in rounds: every agent of a round sees the same62an agent cell, LLM calls (think), pipes (|>), lambdas, several cells
Multi-agent content pipeline with verified handoffs70a state machine, an agent cell, several cells
Payments approval — a whole service in one file: a ledger that cannot overdraw, a payment lifecycle the verifier proves, an HTTP API that maps error kinds to status codes, and tests that run offline165a state machine, a memory invariant, HTTP routes, match, try / catch, require / fail, several cells, a whole verified service
Warehouse reservations — two cells: a stock ledger with hard bounds and a reservation lifecycle with a supervisor guard, behind one HTTP router187a state machine, a memory invariant, HTTP routes, match, try / catch, guard blocks, require / fail, several cells, a whole verified service
Stock and orders — two skeletons, and what one may ask of the other133a state machine, a memory invariant, require / fail, a skeleton, several cells