# Synchronous workflow language compiler

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.

Compile two to four supplied deterministic finite event constraints into a minimized synchronous intersection machine, exact member classes and a shortest accepted trace. Missing transitions reject; no asynchronous interleaving, runtime execution, liveness, deadlock or authorization guarantee.

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

## Choose for
- Every component intentionally consumes every event from the same explicit common alphabet

## Outside this profile
- Asynchronous components, implicit unrelated-event self-loops, epsilon edges, guards, actions, counters or real-time predicates
- Policy appropriateness, safe concurrency, liveness, real-world deadlocks or permission to execute actions
- Executing code, writing files, environment changes, network requests, publishing or deployment

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

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