| Human-in-the-loop approval gate guarding an irreversible action | 70 | a state machine, an agent cell |
| Bounded-retry agent — the verified-termination poster child | 60 | a state machine, an agent cell |
| Token-budget enforcement, made testable | 52 | a state machine, an agent cell, LLM calls (think), try / catch |
| Agent with preconditions and a memory invariant — refuses bad input | 59 | a state machine, a memory invariant, an agent cell, require / fail |
| 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 |
| Agent with persistent memory via remember()/recall() | 61 | a state machine, an agent cell, LLM calls (think), try / catch |
| Multi-agent content pipeline with verified handoffs | 70 | a state machine, an agent cell, several cells |
| Planning agent: decompose a goal into ordered subtasks, then execute | 64 | a state machine, an agent cell, require / fail |
| A ReAct-style agent whose tools are real, deterministic computations | 63 | a state machine, an agent cell, LLM calls (think), pipes (|>), try / catch, lambdas, tools |
| Sentiment-routing agent: classify a message, route by polarity | 67 | a state machine, an agent cell, LLM calls (think), match, tools |
| Reflective tool-dispatch agent: routes a named action to the right tool | 77 | a state machine, an agent cell, LLM calls (think), match, try / catch, tools |
| Self-auditing agent: it inspects its own execution trace | 59 | a state machine, an agent cell, LLM calls (think), try / catch, tools |
| Support-ticket triage agent | 65 | a state machine, an agent cell, LLM calls (think), tools |
| Turn-bounded conversation agent — proves a chat loop terminates | 61 | a state machine, an agent cell, LLM calls (think), try / catch, require / fail |
| Agent lifecycle typed against a sum type — typos become compile errors | 57 | a state machine, an agent cell, a sum type, match |
| The killer feature: an agent whose termination is PROVEN by soma verify | 52 | a state machine, an agent cell, LLM calls (think), try / catch |