| A horde: one [task] agent per document, a bounded pool, a hard token budget, each verdict stored exactly once, a summary at the end | 58 | an agent cell, LLM calls (think), pipes (|>), lambdas, require / fail, several cells |
| A population simulation in rounds: every agent of a round sees the same | 62 | an agent cell, LLM calls (think), pipes (|>), lambdas, several cells |
| Multi-agent content pipeline with verified handoffs | 70 | a 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 offline | 165 | a 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 router | 187 | a 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 other | 133 | a state machine, a memory invariant, require / fail, a skeleton, several cells |