State Machine API
Reference for authoring and hosting portable snapshot state machines. For the concepts (the two-document model, the guarantees, exactly-once effects), see State Machines. For task-oriented walkthroughs, see Authoring a machine and Declarative authoring.
Pages
| Page | Covers |
|---|---|
| AddStateMachines | Discovering machines and wiring the subsystem in one call |
| Machine authoring | The Machine<TState, TTrigger> base class and the fluent builder |
| Rules vocabulary | The string-free Rules surface for declarative guards and reducers |
| Declarative data model | The Rule / Reduction / ContextSchema types the IR carries |
| IR format | The exported machine.ir.json: structure, schema, and behaviour as data |
| Migrations | MigrateFrom and forward-migrating stored drafts across versions |
| Effects | ISnapshotEffect, the exactly-once side effect and its receipt |
| Persistence ports | ISnapshotStore and ISnapshotPrincipal |
| Result codes | The typed outcomes of advance and rehydrate |
| AddTraxStateMachineSelfCheck | The startup self-check registered as an ASP.NET Core health check |