Synchronous workflow language compiler
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.
structured · Operation ID: workflow-automata-compose
Choose this operation when
- 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
Exact release references
Static JSON contract · Markdown reference · Fixed example response
Complete input schema
{
"$schema": "https://json-schema.org/draft/2020-12/schema",
"type": "object",
"properties": {
"alphabet": {
"minItems": 1,
"maxItems": 5,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"machines": {
"minItems": 2,
"maxItems": 4,
"type": "array",
"items": {
"type": "object",
"properties": {
"id": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"states": {
"minItems": 1,
"maxItems": 16,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"initialState": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"acceptingStates": {
"maxItems": 16,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"transitions": {
"maxItems": 80,
"type": "array",
"items": {
"type": "object",
"properties": {
"from": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"event": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"to": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"required": [
"from",
"event",
"to"
],
"additionalProperties": false
}
}
},
"required": [
"id",
"states",
"initialState",
"acceptingStates",
"transitions"
],
"additionalProperties": false
}
}
},
"required": [
"alphabet",
"machines"
],
"additionalProperties": false
}
Complete output-envelope schema
{
"type": "object",
"required": [
"operation",
"version",
"result",
"provenance"
],
"properties": {
"operation": {
"const": "workflow-automata-compose",
"type": "string"
},
"version": {
"const": "0.29.0",
"type": "string"
},
"result": {
"$schema": "https://json-schema.org/draft/2020-12/schema",
"type": "object",
"properties": {
"profile": {
"type": "string",
"const": "finite-language-intersection-v1"
},
"semantics": {
"type": "string",
"const": "synchronous-common-alphabet"
},
"alphabet": {
"minItems": 1,
"maxItems": 5,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"machineOrder": {
"minItems": 2,
"maxItems": 4,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"machine": {
"type": "object",
"properties": {
"states": {
"minItems": 1,
"maxItems": 96,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"initialState": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"acceptingStates": {
"maxItems": 96,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"transitions": {
"maxItems": 480,
"type": "array",
"items": {
"type": "object",
"properties": {
"from": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"event": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"to": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"required": [
"from",
"event",
"to"
],
"additionalProperties": false
}
}
},
"required": [
"states",
"initialState",
"acceptingStates",
"transitions"
],
"additionalProperties": false
},
"stateClasses": {
"minItems": 1,
"maxItems": 96,
"type": "array",
"items": {
"type": "object",
"properties": {
"state": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
},
"memberTuples": {
"minItems": 1,
"maxItems": 96,
"type": "array",
"items": {
"anyOf": [
{
"minItems": 2,
"maxItems": 4,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
{
"type": "null"
}
]
}
}
},
"required": [
"state",
"memberTuples"
],
"additionalProperties": false
}
},
"shortestAcceptedTrace": {
"anyOf": [
{
"maxItems": 95,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
{
"type": "null"
}
]
},
"noAcceptingContinuationStates": {
"maxItems": 96,
"type": "array",
"items": {
"type": "string",
"pattern": "^[A-Za-z][A-Za-z0-9_-]{0,63}$"
}
},
"reachableProductStates": {
"type": "integer",
"minimum": 1,
"maximum": 96
},
"complete": {
"type": "boolean",
"const": true
},
"execution": {
"type": "boolean",
"const": false
},
"authorizationGranted": {
"type": "boolean",
"const": false
},
"externalRequests": {
"type": "number",
"const": 0
}
},
"required": [
"profile",
"semantics",
"alphabet",
"machineOrder",
"machine",
"stateClasses",
"shortestAcceptedTrace",
"noAcceptingContinuationStates",
"reachableProductStates",
"complete",
"execution",
"authorizationGranted",
"externalRequests"
],
"additionalProperties": false
},
"provenance": {
"type": "object",
"required": [
"inputSha256",
"outputSha256",
"deterministic",
"externalRequests"
],
"properties": {
"inputSha256": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"outputSha256": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"deterministic": {
"const": true
},
"externalRequests": {
"const": 0
}
}
}
},
"additionalProperties": false
}
Fixed example
One accepted fixed example, not a custom-input trial. No operation runs when this static page is requested.
Example input
{
"alphabet": [
"a",
"b"
],
"machines": [
{
"id": "ending",
"states": [
"n",
"y"
],
"initialState": "n",
"acceptingStates": [
"y"
],
"transitions": [
{
"from": "n",
"event": "a",
"to": "y"
},
{
"from": "n",
"event": "b",
"to": "n"
},
{
"from": "y",
"event": "a",
"to": "y"
},
{
"from": "y",
"event": "b",
"to": "n"
}
]
},
{
"id": "parity",
"states": [
"even",
"odd"
],
"initialState": "even",
"acceptingStates": [
"even"
],
"transitions": [
{
"from": "even",
"event": "a",
"to": "even"
},
{
"from": "even",
"event": "b",
"to": "odd"
},
{
"from": "odd",
"event": "a",
"to": "odd"
},
{
"from": "odd",
"event": "b",
"to": "even"
}
]
}
]
}
Example response
{
"operation": "workflow-automata-compose",
"version": "0.29.0",
"result": {
"profile": "finite-language-intersection-v1",
"semantics": "synchronous-common-alphabet",
"alphabet": [
"a",
"b"
],
"machineOrder": [
"ending",
"parity"
],
"machine": {
"states": [
"q0",
"q1",
"q2"
],
"initialState": "q0",
"acceptingStates": [
"q1"
],
"transitions": [
{
"from": "q0",
"event": "a",
"to": "q1"
},
{
"from": "q0",
"event": "b",
"to": "q2"
},
{
"from": "q1",
"event": "a",
"to": "q1"
},
{
"from": "q1",
"event": "b",
"to": "q2"
},
{
"from": "q2",
"event": "a",
"to": "q2"
},
{
"from": "q2",
"event": "b",
"to": "q0"
}
]
},
"stateClasses": [
{
"state": "q0",
"memberTuples": [
[
"n",
"even"
]
]
},
{
"state": "q1",
"memberTuples": [
[
"y",
"even"
]
]
},
{
"state": "q2",
"memberTuples": [
[
"n",
"odd"
],
[
"y",
"odd"
]
]
}
],
"shortestAcceptedTrace": [
"a"
],
"noAcceptingContinuationStates": [],
"reachableProductStates": 4,
"complete": true,
"execution": false,
"authorizationGranted": false,
"externalRequests": 0
},
"provenance": {
"inputSha256": "67dafd2ccbbaa103d855310026fdbc6b8acc1b834468f130799030cf5ff348f2",
"outputSha256": "aa31a1b70e2b92d8c5ac67347d585ec1e211579759ddc258df4a7ad7161cc5a7",
"deterministic": true,
"externalRequests": 0
}
}
Bounds and precision
JavaScript IEEE-754 numbers; use strings for large integer IDs/exact decimals where the schema accepts strings. No lossless numeric parsing.
{
"global": {
"requestBytes": 131072,
"responseBytes": 524288,
"jsonDepth": 32,
"jsonNodes": 20000,
"requestsPerMinute": 60,
"paidAttemptsPerMinute": 20,
"idempotencyHours": 24
},
"operation": {
"inputBytes": 100000,
"outputBytes": 400000,
"jsonNodes": 12000,
"depth": 20,
"machines": 4,
"alphabet": 5,
"statesPerMachine": 16,
"inputStates": 64,
"inputTransitions": 320,
"reachableProductStates": 96,
"productEdges": 480,
"primitiveWork": 1000000
}
}
Complete schemas, descriptions and cross-field validation may impose additional limits.
Proposed price and protocol definitions
{
"unit": "one successful operation call",
"proposedNominalUsd": "0.01",
"sixDecimalTokenBaseUnits": "10000",
"subscription": false,
"includesPayerWalletOrNetworkFees": false,
"liveQuoteVerified": false,
"condition": "Actual SDK challenge is authoritative only within the caller's explicit authorization; configured six-decimal token peg is an operator assertion, not a conversion guarantee."
}
Protocol definitions: x402, mpp. MPP uses Tempo charge. Paid MCP execution is unsupported. All runtime readiness is not evaluated in this build.
API path templates, not endpoints on this documentation host
{
"x402": "/v1/x402/workflow-automata-compose",
"mpp": "/v1/mpp/workflow-automata-compose"
}
Required headers
{
"Content-Type": "application/json",
"Idempotency-Key": "random 16–128 character operation identifier"
}
Actual SDK challenge amount, asset, network, recipient and wallet costs must pass independent authorization. Preserve identical key, body, protocol and credential on retries; on PAYMENT_UNCERTAIN stop and reconcile.
Execution profile and provider conditions
{
"deterministic": true,
"externalRequests": 0,
"maxExternalRequests": 0,
"resultSnapshotPersisted": false,
"fixedExampleIsIllustrativeSnapshot": false,
"requiresPayment": true,
"supportsMcpExecution": false
}
Deterministic supplied-input operation with no external requests or stored request/result bodies. Payment infrastructure retains payment metadata and hashes.
Failure handling
- HTTP 400: Malformed JSON, missing/invalid idempotency key, or payment identifier mismatch Correct the request before payment
- HTTP 402: Payment challenge or rejected payment Use official protocol SDK; inspect payment outcome before another payment
- HTTP 409: Idempotency conflict, duplicate proof, or PAYMENT_UNCERTAIN Keep original key, body, and proof; reconcile uncertainty with operator; never blindly repay
- HTTP 413: Input or generated output too large Reduce input; no payment attempted for validation failure
- HTTP 415: Unsupported media type or compression Send uncompressed application/json
- HTTP 422: Schema or service-specific semantic validation failure Correct input using returned error code; no payment attempted
- HTTP 429: Request/payment-attempt rate exceeded Wait for rate limit window; preserve existing payment identity
- HTTP 503: Payment configuration/provider/state unavailable, or live DNS preparation failed before settlement Check readiness; DNS preparation failures may retry the identical key/body/credential only; uncertainty requires reconciliation
Declared requirements
Before any paid call, refresh the live operation contract and POST the complete bounded budgeted plan to the separate API's /preflight. Unknown requirements block selection; compatible preflight is not permission to spend.