# 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](/docs/statemachine). For task-oriented
walkthroughs, see [Authoring a machine](/docs/statemachine/authoring) and
[Declarative authoring](/docs/statemachine/declarative-authoring).

## Pages

| Page | Covers |
| --- | --- |
| [AddStateMachines](/docs/sdk-reference/statemachine-api/add-trax-state-machines) | Discovering machines and wiring the subsystem in one call |
| [Machine authoring](/docs/sdk-reference/statemachine-api/fluent-authoring) | The `Machine<TState, TTrigger>` base class and the fluent builder |
| [Rules vocabulary](/docs/sdk-reference/statemachine-api/rules) | The string-free `Rules` surface for declarative guards and reducers |
| [Declarative data model](/docs/sdk-reference/statemachine-api/declarative-data-model) | The `Rule` / `Reduction` / `ContextSchema` types the IR carries |
| [IR format](/docs/sdk-reference/statemachine-api/ir-format) | The exported `machine.ir.json`: structure, schema, and behaviour as data |
| [Migrations](/docs/sdk-reference/statemachine-api/migrations) | `MigrateFrom` and forward-migrating stored drafts across versions |
| [Effects](/docs/sdk-reference/statemachine-api/effects) | `ISnapshotEffect`, the exactly-once side effect and its receipt |
| [Persistence ports](/docs/sdk-reference/statemachine-api/persistence-ports) | `ISnapshotStore` and `ISnapshotPrincipal` |
| [Result codes](/docs/sdk-reference/statemachine-api/result-codes) | The typed outcomes of advance and rehydrate |
| [AddTraxStateMachineSelfCheck](/docs/sdk-reference/statemachine-api/add-trax-state-machine-self-check) | The startup self-check registered as an ASP.NET Core health check |