{
  "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."
  },
  "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
    }
  }
}