@melra/runtime-core 0.3.0-alpha.10

package/dist/workflow-graph.test.js

@@ -0,0 +1,169 @@
+// Copyright 2026 XAGI Labs Private Limited
+// SPDX-License-Identifier: Apache-2.0
+import { describe, expect, it } from "vitest";
+import { WorkflowDefinitionSchema, } from "@melra/protocol";
+import { readyNodeIds, validateWorkflow } from "./workflow-graph.js";
+const definitionId = "11111111-1111-4111-8111-111111111111";
+function operation(id, dependsOn = []) {
+    return {
+        id,
+        type: "operation",
+        dependsOn,
+        request: {
+            goal: `Run ${id}`,
+            operation: { kind: "system", action: "info" },
+            constraints: [],
+            forbiddenEffects: [],
+            requiredEvidence: [],
+            budget: {
+                maxDurationMs: 120_000,
+                maxRetries: 2,
+                maxSteps: 10,
+            },
+        },
+    };
+}
+function definition(nodes) {
+    return WorkflowDefinitionSchema.parse({
+        schemaVersion: "1.0.0",
+        id: definitionId,
+        version: 1,
+        name: "Graph test",
+        nodes,
+    });
+}
+const invalidGraphs = [
+    {
+        nodes: [operation("same"), operation("same")],
+        error: "workflow_node_id_duplicate",
+    },
+    {
+        nodes: [operation("node", ["missing"])],
+        error: "workflow_dependency_missing:node:missing",
+    },
+    {
+        nodes: [operation("node", ["node"])],
+        error: "workflow_node_self_dependency:node",
+    },
+    {
+        nodes: [operation("a", ["b"]), operation("b", ["a"])],
+        error: "workflow_dependency_cycle",
+    },
+    {
+        nodes: [
+            { id: "approve", type: "approval", dependsOn: [], forNodeId: "missing" },
+        ],
+        error: "workflow_approval_target_missing:approve",
+    },
+    {
+        nodes: [
+            { id: "approve", type: "approval", dependsOn: [], forNodeId: "target" },
+            operation("target"),
+        ],
+        error: "workflow_approval_must_precede_target:approve",
+    },
+    {
+        nodes: [
+            {
+                id: "undo",
+                type: "compensation",
+                dependsOn: [],
+                forNodeId: "missing",
+                request: operation("request").request,
+            },
+        ],
+        error: "workflow_compensation_target_missing:undo",
+    },
+    {
+        nodes: [
+            { id: "checkpoint", type: "checkpoint", dependsOn: [] },
+            {
+                id: "undo",
+                type: "compensation",
+                dependsOn: [],
+                forNodeId: "checkpoint",
+                request: operation("request").request,
+            },
+        ],
+        error: "workflow_compensation_target_not_operation:undo",
+    },
+    {
+        nodes: [
+            {
+                id: "condition",
+                type: "condition",
+                dependsOn: [],
+                sourceNodeId: "missing",
+                predicate: { type: "result_equals", path: "ok", value: true },
+                whenTrue: [],
+                whenFalse: [],
+            },
+        ],
+        error: "workflow_condition_source_missing:condition",
+    },
+    {
+        nodes: [
+            { id: "checkpoint", type: "checkpoint", dependsOn: [] },
+            {
+                id: "condition",
+                type: "condition",
+                dependsOn: [],
+                sourceNodeId: "checkpoint",
+                predicate: { type: "result_equals", path: "ok", value: true },
+                whenTrue: [],
+                whenFalse: [],
+            },
+        ],
+        error: "workflow_condition_source_not_operation:condition",
+    },
+];
+describe("workflow graph", () => {
+    it("emits deterministic lexical topological layers", () => {
+        const graph = validateWorkflow(definition([
+            operation("write-b", ["inspect"]),
+            { id: "checkpoint", type: "checkpoint", dependsOn: ["write-a", "write-b"] },
+            operation("inspect"),
+            operation("write-a", ["inspect"]),
+        ]));
+        expect(graph.layers).toEqual([
+            ["inspect"],
+            ["write-a", "write-b"],
+            ["checkpoint"],
+        ]);
+    });
+    it.each(invalidGraphs)("rejects invalid graphs with $error", ({ nodes, error }) => {
+        expect(() => validateWorkflow(definition(nodes))).toThrow(error);
+    });
+    it("rejects definitions above the node bound with a stable error", () => {
+        const oversized = {
+            schemaVersion: "1.0.0",
+            id: definitionId,
+            version: 1,
+            name: "Oversized",
+            nodes: Array.from({ length: 501 }, (_, index) => operation(`node-${index}`)),
+        };
+        expect(() => validateWorkflow(oversized)).toThrow("workflow_node_limit_exceeded");
+    });
+    it("selects ready normal nodes in lexical order", () => {
+        const graph = validateWorkflow(definition([
+            operation("source"),
+            operation("z-ready", ["source"]),
+            operation("a-ready", ["source"]),
+            {
+                id: "undo",
+                type: "compensation",
+                dependsOn: ["source"],
+                forNodeId: "source",
+                request: operation("request").request,
+            },
+        ]));
+        const states = {
+            source: { status: "verified_complete", taskIds: [] },
+            "z-ready": { status: "pending", taskIds: [] },
+            "a-ready": { status: "pending", taskIds: [] },
+            undo: { status: "pending", taskIds: [] },
+        };
+        expect(readyNodeIds(graph, states)).toEqual(["a-ready", "z-ready"]);
+    });
+});
+//# sourceMappingURL=workflow-graph.test.js.map

package/dist/workflow-graph.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-graph.test.js","sourceRoot":"","sources":["../src/workflow-graph.test.ts"],"names":[],"mappings":"AAAA,2CAA2C;AAC3C,sCAAsC;AAEtC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,wBAAwB,GAKzB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAErE,MAAM,YAAY,GAAG,sCAAsC,CAAC;AAE5D,SAAS,SAAS,CAAC,EAAU,EAAE,YAAsB,EAAE;IACrD,OAAO;QACL,EAAE;QACF,IAAI,EAAE,WAAW;QACjB,SAAS;QACT,OAAO,EAAE;YACP,IAAI,EAAE,OAAO,EAAE,EAAE;YACjB,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE;YAC7C,WAAW,EAAE,EAAE;YACf,gBAAgB,EAAE,EAAE;YACpB,gBAAgB,EAAE,EAAE;YACpB,MAAM,EAAE;gBACN,aAAa,EAAE,OAAO;gBACtB,UAAU,EAAE,CAAC;gBACb,QAAQ,EAAE,EAAE;aACb;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAqB;IACvC,OAAO,wBAAwB,CAAC,KAAK,CAAC;QACpC,aAAa,EAAE,OAAO;QACtB,EAAE,EAAE,YAAY;QAChB,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,YAAY;QAClB,KAAK;KACN,CAAC,CAAC;AACL,CAAC;AAED,MAAM,aAAa,GAAoD;IACrE;QACE,KAAK,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;QAC7C,KAAK,EAAE,4BAA4B;KACpC;IACD;QACE,KAAK,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;QACvC,KAAK,EAAE,0CAA0C;KAClD;IACD;QACE,KAAK,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QACpC,KAAK,EAAE,oCAAoC;KAC5C;IACD;QACE,KAAK,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,KAAK,EAAE,2BAA2B;KACnC;IACD;QACE,KAAK,EAAE;YACL,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE;SACzE;QACD,KAAK,EAAE,0CAA0C;KAClD;IACD;QACE,KAAK,EAAE;YACL,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE;YACvE,SAAS,CAAC,QAAQ,CAAC;SACpB;QACD,KAAK,EAAE,+CAA+C;KACvD;IACD;QACE,KAAK,EAAE;YACL;gBACE,EAAE,EAAE,MAAM;gBACV,IAAI,EAAE,cAAc;gBACpB,SAAS,EAAE,EAAE;gBACb,SAAS,EAAE,SAAS;gBACpB,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,OAAO;aACtC;SACF;QACD,KAAK,EAAE,2CAA2C;KACnD;IACD;QACE,KAAK,EAAE;YACL,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,EAAE;YACvD;gBACE,EAAE,EAAE,MAAM;gBACV,IAAI,EAAE,cAAc;gBACpB,SAAS,EAAE,EAAE;gBACb,SAAS,EAAE,YAAY;gBACvB,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,OAAO;aACtC;SACF;QACD,KAAK,EAAE,iDAAiD;KACzD;IACD;QACE,KAAK,EAAE;YACL;gBACE,EAAE,EAAE,WAAW;gBACf,IAAI,EAAE,WAAW;gBACjB,SAAS,EAAE,EAAE;gBACb,YAAY,EAAE,SAAS;gBACvB,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;gBAC7D,QAAQ,EAAE,EAAE;gBACZ,SAAS,EAAE,EAAE;aACd;SACF;QACD,KAAK,EAAE,6CAA6C;KACrD;IACD;QACE,KAAK,EAAE;YACL,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,EAAE;YACvD;gBACE,EAAE,EAAE,WAAW;gBACf,IAAI,EAAE,WAAW;gBACjB,SAAS,EAAE,EAAE;gBACb,YAAY,EAAE,YAAY;gBAC1B,SAAS,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;gBAC7D,QAAQ,EAAE,EAAE;gBACZ,SAAS,EAAE,EAAE;aACd;SACF;QACD,KAAK,EAAE,mDAAmD;KAC3D;CACF,CAAC;AAEF,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,gBAAgB,CAC5B,UAAU,CAAC;YACT,SAAS,CAAC,SAAS,EAAE,CAAC,SAAS,CAAC,CAAC;YACjC,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE;YAC3E,SAAS,CAAC,SAAS,CAAC;YACpB,SAAS,CAAC,SAAS,EAAE,CAAC,SAAS,CAAC,CAAC;SAClC,CAAC,CACH,CAAC;QAEF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;YAC3B,CAAC,SAAS,CAAC;YACX,CAAC,SAAS,EAAE,SAAS,CAAC;YACtB,CAAC,YAAY,CAAC;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,oCAAoC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;QAChF,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,SAAS,GAAG;YAChB,aAAa,EAAE,OAAO;YACtB,EAAE,EAAE,YAAY;YAChB,OAAO,EAAE,CAAC;YACV,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAC9C,SAAS,CAAC,QAAQ,KAAK,EAAE,CAAC,CAC3B;SACoB,CAAC;QAExB,MAAM,CAAC,GAAG,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAC/C,8BAA8B,CAC/B,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG,gBAAgB,CAC5B,UAAU,CAAC;YACT,SAAS,CAAC,QAAQ,CAAC;YACnB,SAAS,CAAC,SAAS,EAAE,CAAC,QAAQ,CAAC,CAAC;YAChC,SAAS,CAAC,SAAS,EAAE,CAAC,QAAQ,CAAC,CAAC;YAChC;gBACE,EAAE,EAAE,MAAM;gBACV,IAAI,EAAE,cAAc;gBACpB,SAAS,EAAE,CAAC,QAAQ,CAAC;gBACrB,SAAS,EAAE,QAAQ;gBACnB,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,OAAO;aACtC;SACF,CAAC,CACH,CAAC;QACF,MAAM,MAAM,GAAsC;YAChD,MAAM,EAAE,EAAE,MAAM,EAAE,mBAAmB,EAAE,OAAO,EAAE,EAAE,EAAE;YACpD,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE;YAC7C,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE;YAC7C,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE;SACzC,CAAC;QAEF,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -0,0 +1,36 @@
+{
+  "name": "@melra/runtime-core",
+  "version": "0.3.0-alpha.10",
+  "description": "Durable task and workflow execution, recovery, budgets, retries, and verification for MELRA.",
+  "license": "Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/XAGI-Lab/melra.git",
+    "directory": "packages/runtime-core"
+  },
+  "homepage": "https://github.com/XAGI-Lab/melra#readme",
+  "bugs": "https://github.com/XAGI-Lab/melra/issues",
+  "type": "module",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "dependencies": {
+    "@melra/policy-core": "0.3.0-alpha.10",
+    "@melra/protocol": "0.3.0-alpha.10",
+    "@melra/receipt-schema": "0.3.0-alpha.10",
+    "@melra/storage-sqlite": "0.3.0-alpha.10",
+    "@melra/verifier-core": "0.3.0-alpha.10"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "clean": "rm -rf dist",
+    "test": "vitest run",
+    "typecheck": "tsc -p tsconfig.json --noEmit"
+  }
+}