Programs: services
3 verified Soma programs in the services domain. Each page shows the source and what soma check, soma test, soma verify and soma run printed on it.
| Program | Lines | Uses |
|---|---|---|
| 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 offline | 165 | a state machine, a memory invariant, HTTP routes, match, try / catch, require / fail, several cells, a whole verified service |
| Refund agent — an LLM decides, the language decides what it may do | 162 | a state machine, a memory invariant, an agent cell, a sum type, LLM calls (think), match, try / catch, guard blocks, require / fail, a cost bound, tools |
| Warehouse reservations — two cells: a stock ledger with hard bounds and a reservation lifecycle with a supervisor guard, behind one HTTP router | 187 | a state machine, a memory invariant, HTTP routes, match, try / catch, guard blocks, require / fail, several cells, a whole verified service |