{ "id": "workflow-automata-compose", "name": "Synchronous workflow language compiler", "description": "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.", "category": "structured", "priceUsd": "0.01", "pricingStatus": "proposed-unverified", "pricing": { "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." }, "intents": [ "Combine finite workflow constraints into one reusable deterministic machine", "Find the shortest event trace satisfying all supplied finite event policies" ], "whenToUse": [ "Every component intentionally consumes every event from the same explicit common alphabet" ], "whenNotToUse": [ "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" ], "capabilities": [ "Reachable synchronous product, common rejecting sink and exact partition minimization", "Canonical breadth-first state IDs and lexicographically tied shortest accepted traces", "States without accepting continuations and explicit product-class membership", "Complete bounded computation before payment challenge and execution; externalRequests=0" ], "limits": { "inputBytes": 100000, "outputBytes": 400000, "jsonNodes": 12000, "depth": 20, "machines": 4, "alphabet": 5, "statesPerMachine": 16, "inputStates": 64, "inputTransitions": 320, "reachableProductStates": 96, "productEdges": 480, "primitiveWork": 1000000 }, "related": [ "workflow-transition-check", "workflow-dag-analyze" ], "errorCodes": [ "INPUT_LIMIT", "OUTPUT_LIMIT", "COMPLEXITY_LIMIT", "INVALID_JSON", "INVALID_NUMBER", "INVALID_UNICODE", "UNSAFE_KEY", "DUPLICATE_EVENT", "DUPLICATE_MACHINE", "DUPLICATE_STATE", "UNKNOWN_STATE", "UNKNOWN_EVENT", "DUPLICATE_TRANSITION" ], "requirementsProfile": { "format": "declared-requirements-v1", "facts": { "execution.suppliedCode": false, "execution.remoteMutation": false, "execution.llmInference": false, "execution.paidMcp": false, "verification.semanticTruth": false, "verification.sourceAuthenticity": false, "verification.liveVulnerabilities": false, "numbers.arbitraryPrecisionJson": false, "numbers.model": "ieee754-binary64", "privacy.requestBodyPersisted": false, "execution.deterministic": true, "execution.networkAccess": false, "privacy.resultBodyPersisted": false, "payment.x402": true, "payment.mpp": true, "operation.id": "workflow-automata-compose", "operation.category": "structured", "limit.httpRequestBytes": 131072, "limit.requestBytes": 100000, "limit.responseBytes": 524288, "limit.resultBytes": 400000, "limit.jsonDepth": 20, "limit.jsonNodes": 12000, "automata.profile": "finite-language-intersection-v1", "automata.maxAlphabetSize": 5, "automata.maxMachines": 4, "automata.maxStatesPerMachine": 16, "automata.maxTotalInputStates": 64, "automata.maxTotalInputTransitions": 320, "automata.maxReachableProductStates": 96, "automata.maxProductEdges": 480, "automata.maxPrimitiveComparisons": 1000000, "automata.sharedEventSemantics": "every-machine-consumes-every-event", "automata.missingTransition": "rejecting-sink", "automata.minimalDeterministicMachine": true, "automata.shortestAcceptedTrace": true, "automata.traceTieBreak": "lexicographic-sorted-event-ids", "automata.emptyWordDistinguishedFromNoWitness": true, "automata.nondeterminism": false, "automata.guardsOrActions": false, "automata.livenessProof": false, "automata.runtimeDeadlockDetection": false, "automata.authorizationGranted": false, "automata.safeExecutionGuaranteed": false, "input.alphabet.maxItems": 5, "input.alphabet.minItems": 1, "input.machines.maxItems": 4, "input.machines.minItems": 2 }, "unknownPolicy": "Undeclared requirements are unknown, never compatible. Matching declared facts does not establish semantic fit or input validity.", "preflight": "/preflight" }, "documentation": "/reference/tools/workflow-automata-compose.md", "serviceContract": "/reference/services/workflow-automata-compose.json", "errors": [ { "status": 400, "meaning": "Malformed JSON, missing/invalid idempotency key, or payment identifier mismatch", "retry": "Correct the request before payment" }, { "status": 402, "meaning": "Payment challenge or rejected payment", "retry": "Use official protocol SDK; inspect payment outcome before another payment" }, { "status": 409, "meaning": "Idempotency conflict, duplicate proof, or PAYMENT_UNCERTAIN", "retry": "Keep original key, body, and proof; reconcile uncertainty with operator; never blindly repay" }, { "status": 413, "meaning": "Input or generated output too large", "retry": "Reduce input; no payment attempted for validation failure" }, { "status": 415, "meaning": "Unsupported media type or compression", "retry": "Send uncompressed application/json" }, { "status": 422, "meaning": "Schema or service-specific semantic validation failure", "retry": "Correct input using returned error code; no payment attempted" }, { "status": 429, "meaning": "Request/payment-attempt rate exceeded", "retry": "Wait for rate limit window; preserve existing payment identity" }, { "status": 503, "meaning": "Payment configuration/provider/state unavailable, or live DNS preparation failed before settlement", "retry": "Check readiness; DNS preparation failures may retry the identical key/body/credential only; uncertainty requires reconciliation" } ], "numericPrecision": "JavaScript IEEE-754 numbers; use strings for large integer IDs/exact decimals where the schema accepts strings. No lossless numeric parsing.", "paymentWorkflow": { "discoveryOnly": false, "supportedProtocols": [ "x402", "mpp" ], "x402": { "credentialHeader": "PAYMENT-SIGNATURE", "challengeHeader": "PAYMENT-REQUIRED", "receiptHeader": "PAYMENT-RESPONSE", "version": 2, "scheme": "exact", "paymentIdentifier": "payment-identifier extension MUST equal the HTTP Idempotency-Key", "sdk": "@x402/core with @x402/evm" }, "mpp": { "supported": true, "credentialHeader": "Authorization", "challengeHeader": "WWW-Authenticate", "receiptHeader": "Payment-Receipt", "method": "tempo", "intent": "charge", "sdk": "mppx", "tokenDecimals": 6 }, "steps": [ "Check configured readiness and the exact service schema", "Generate a fresh random Idempotency-Key for this operation; never use a discovery probe fixture for purchases", "Send valid input without a credential to obtain the official protocol challenge", "Use the official SDK and authorized wallet to fulfill the challenge", "Retry only with identical key, body, protocol and credential", "On PAYMENT_UNCERTAIN stop and request operator reconciliation; never blindly pay again" ], "versionedRetries": "Request fingerprint includes service release version. Retries across a version upgrade can conflict; coordinate upgrades outside the 24-hour replay window and reconcile pending attempts.", "docs": "/llms.txt" }, "method": "POST", "paths": { "x402": "/v1/x402/workflow-automata-compose", "mpp": "/v1/mpp/workflow-automata-compose" }, "inputSchema": { "$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 }, "outputSchema": { "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 }, "exampleInput": { "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" } ] } ] }, "exampleResponse": { "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 } }, "requiredHeaders": { "Content-Type": "application/json", "Idempotency-Key": "random 16–128 character operation identifier" }, "fixedExample": "/reference/examples/workflow-automata-compose.json", "execution": { "deterministic": true, "externalRequests": 0, "maxExternalRequests": 0, "resultSnapshotPersisted": false, "fixedExampleIsIllustrativeSnapshot": false, "requiresPayment": true, "supportsMcpExecution": false }, "releaseSnapshot": { "format": "static-release-reference-v1", "sourceVersion": "0.29.0", "sourceRegistrySha256": "a2b5ec09bf6c38b9d2879d746a4fded374f5928b445377b0270ef6aa8e6cac65", "generatedAt": "2026-10-06T15:38:00Z", "releaseAcceptance": "not-verified-by-generator", "runtimeReadiness": "not-evaluated", "livePaymentsVerified": false, "indexingVerified": false, "apiOrigin": null, "notice": "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." } }