Action space
Action space — the finite set of side effects your application may perform (queue:billing, page_oncall, abstain, block_tool, …). It is larger or smaller than the Choice criteria map: several labels can map to one action, and abstain may exist only in code.
TypeSafe keeps side effects in software. Jev only fills typed slots. Design the action space first, then the questions (decision contract).
Unofficial. Official control-flow stance: how to build.
Sources
Public TypeSafe or adjacent documentation only. No private claims.