# Workflow State Trace Check

Build-time release reference. Runtime readiness, deployment, payment settlement and external indexing are not evaluated here. Prices are proposed; this file cannot authorize execution or payment.

Validate a declared deterministic state machine and replay a supplied event trace. Reports ambiguous transitions, unreachable states, first impossible event, expected-state mismatches and final acceptance. No executable guards, actions, or authorization decisions.

Release: 0.29.0. Built: 2026-10-06T15:38:00Z.

## Choose for
- Audit an agent workflow event trace against allowed state transitions
- Find impossible transitions and incomplete terminal workflow states

## Outside this profile
- Formal verification of arbitrary programs or hidden state
- Interpreting natural-language policy or granting real-world permissions

Proposed nominal USD 0.01 per successful call; payer fees excluded. No verified runtime availability.

- [Exact release contract](/reference/services/workflow-transition-check.json)
- [Input schema](/reference/schemas/workflow-transition-check.input.json)
- [Output schema](/reference/schemas/workflow-transition-check.output.json)
- [Fixed example](/reference/examples/workflow-transition-check.json)
- [Complete HTML reference](/discover/tools/workflow-transition-check)