Workflow covers sequencing (order of steps and gates), parallel effects (races, double spend, replayed callbacks), and trust in numeric or business parameters (amounts, quotas) across long flows. It assumes access control and injection primitives are understood at sibling nodes.
Structure (library map)#
- Flow integrity: Sequencing vs state alignment across UI, records, and sessions.
- Parallel effects: Concurrency and integration handoff (TOCTOU, replay, idempotency misuse).
- Trust boundaries: Numeric and business-parameter integrity across steps.