@skenora/flow 0.1.2

package/dist/model/validation.js

@@ -0,0 +1,186 @@
+import { createBuiltInFlowNodeRegistry, } from "./node-registry.js";
+export class FlowValidationError extends Error {
+    issues;
+    constructor(issues) {
+        const ownedIssues = issues.map((issue) => Object.freeze({ ...issue }));
+        super(ownedIssues.map((issue) => issue.message).join("; "));
+        this.name = "FlowValidationError";
+        this.issues = Object.freeze(ownedIssues);
+    }
+}
+export function validateFlowGraph(graph, registry = createBuiltInFlowNodeRegistry()) {
+    const issues = [];
+    const nodeIds = new Set();
+    const edgeIds = new Set();
+    const definitions = new Map();
+    for (const node of graph.nodes) {
+        if (nodeIds.has(node.id)) {
+            issues.push({
+                code: "duplicate-node",
+                message: `Duplicate node id: ${node.id}`,
+                nodeId: node.id,
+            });
+        }
+        nodeIds.add(node.id);
+        const definition = registry.get(node.type);
+        if (!definition) {
+            issues.push({
+                code: "unknown-node",
+                message: `Flow node type is not registered: ${node.type}`,
+                nodeId: node.id,
+            });
+            continue;
+        }
+        definitions.set(node.id, definition);
+        for (const message of definition.validateConfig?.(node) ?? []) {
+            issues.push({
+                code: "invalid-config",
+                message,
+                nodeId: node.id,
+            });
+        }
+    }
+    for (const edge of graph.edges) {
+        validateEdge(edge, nodeIds, edgeIds, definitions, issues);
+        edgeIds.add(edge.id);
+    }
+    for (const node of graph.nodes) {
+        const definition = definitions.get(node.id);
+        if (!definition)
+            continue;
+        for (const port of definition.inputs) {
+            if (port.kind !== "value")
+                continue;
+            const connections = graph.edges.filter((edge) => edge.kind === "value" &&
+                edge.targetNodeId === node.id &&
+                edge.targetPort === port.name &&
+                graph.nodes.some((source) => source.id === edge.sourceNodeId && source.enabled !== false));
+            const connected = connections.length > 0;
+            if (connections.length > 1 && port.multiple !== true) {
+                issues.push({
+                    code: "multiple-input",
+                    message: `Flow node ${node.id} input accepts only one connection: ${port.name}`,
+                    nodeId: node.id,
+                });
+            }
+            const configured = node.config[port.name];
+            if (!connected &&
+                isRequiredInput(node.type, node.config, port) &&
+                configured === undefined) {
+                issues.push({
+                    code: "missing-input",
+                    message: `Flow node ${node.id} requires input: ${port.name}`,
+                    nodeId: node.id,
+                });
+            }
+            else if (!connected &&
+                configured !== undefined &&
+                !configValueMatchesPort(configured, port)) {
+                issues.push({
+                    code: "invalid-config",
+                    message: `Flow node ${node.id} has invalid config for input: ${port.name}`,
+                    nodeId: node.id,
+                });
+            }
+        }
+    }
+    if (!graph.nodes.some((node) => definitions.get(node.id)?.category === "trigger")) {
+        issues.push({
+            code: "missing-trigger",
+            message: "Flow has no trigger node",
+        });
+    }
+    return { valid: issues.length === 0, issues };
+}
+function isRequiredInput(nodeType, config, port) {
+    if (!port.required)
+        return false;
+    if (port.name !== "right")
+        return true;
+    if (nodeType === "value.logic" && (config.operator ?? "and") === "not") {
+        return false;
+    }
+    if (nodeType === "value.compare" &&
+        (config.operator ?? "equals") === "isEmpty") {
+        return false;
+    }
+    return true;
+}
+function configValueMatchesPort(value, port) {
+    if (port.valueType === undefined || port.valueType === "any")
+        return true;
+    if (port.valueType === "object") {
+        return value !== null && typeof value === "object" && !Array.isArray(value);
+    }
+    if (port.valueType === "transform") {
+        return value !== null && typeof value === "object" && !Array.isArray(value);
+    }
+    if (port.valueType === "number") {
+        return typeof value === "number" && Number.isFinite(value);
+    }
+    if (port.valueType === "string") {
+        return typeof value === "string" && (!port.required || value.length > 0);
+    }
+    return typeof value === port.valueType;
+}
+function validateEdge(edge, nodeIds, edgeIds, definitions, issues) {
+    if (edgeIds.has(edge.id)) {
+        issues.push({
+            code: "duplicate-edge",
+            message: `Duplicate edge id: ${edge.id}`,
+            edgeId: edge.id,
+        });
+    }
+    if (!nodeIds.has(edge.sourceNodeId) || !nodeIds.has(edge.targetNodeId)) {
+        issues.push({
+            code: "missing-node",
+            message: `Edge ${edge.id} references a missing node`,
+            edgeId: edge.id,
+        });
+    }
+    if (!edge.sourcePort ||
+        !edge.targetPort ||
+        edge.sourceNodeId === edge.targetNodeId) {
+        issues.push({
+            code: "invalid-edge",
+            message: `Edge ${edge.id} has invalid ports or a direct self-loop`,
+            edgeId: edge.id,
+        });
+        return;
+    }
+    const sourceDefinition = definitions.get(edge.sourceNodeId);
+    const targetDefinition = definitions.get(edge.targetNodeId);
+    if (!sourceDefinition || !targetDefinition)
+        return;
+    const sourcePort = sourceDefinition.outputs.find((port) => port.name === edge.sourcePort);
+    const targetPort = targetDefinition.inputs.find((port) => port.name === edge.targetPort);
+    if (!sourcePort || !targetPort) {
+        issues.push({
+            code: "unknown-port",
+            message: `Edge ${edge.id} references an unknown source or target port`,
+            edgeId: edge.id,
+        });
+        return;
+    }
+    if (sourcePort.kind !== edge.kind || targetPort.kind !== edge.kind) {
+        issues.push({
+            code: "port-kind-mismatch",
+            message: `Edge ${edge.id} kind does not match its ports`,
+            edgeId: edge.id,
+        });
+        return;
+    }
+    if (edge.kind === "value" && !valueTypesCompatible(sourcePort, targetPort)) {
+        issues.push({
+            code: "port-type-mismatch",
+            message: `Edge ${edge.id} connects incompatible value ports`,
+            edgeId: edge.id,
+        });
+    }
+}
+function valueTypesCompatible(source, target) {
+    const sourceType = source.valueType ?? "any";
+    const targetType = target.valueType ?? "any";
+    return (sourceType === "any" || targetType === "any" || sourceType === targetType);
+}
+//# sourceMappingURL=validation.js.map

package/dist/model/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../src/model/validation.ts"],"names":[],"mappings":"AACA,OAAO,EACL,6BAA6B,GAI9B,MAAM,iBAAiB,CAAC;AA0BzB,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IACnC,MAAM,CAAiC;IAEhD,YAAY,MAAsC;QAChD,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;QACvE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5D,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;QAClC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC3C,CAAC;CACF;AAED,MAAM,UAAU,iBAAiB,CAC/B,KAAgB,EAChB,WAA6B,6BAA6B,EAAE;IAE5D,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,WAAW,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC1D,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,sBAAsB,IAAI,CAAC,EAAE,EAAE;gBACxC,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrB,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,qCAAqC,IAAI,CAAC,IAAI,EAAE;gBACzD,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACrC,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,cAAc,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC9D,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,gBAAgB;gBACtB,OAAO;gBACP,MAAM,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;QAC1D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5C,IAAI,CAAC,UAAU;YAAE,SAAS;QAC1B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,SAAS;YACpC,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CACpC,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,KAAK,OAAO;gBACrB,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,EAAE;gBAC7B,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,IAAI;gBAC7B,KAAK,CAAC,KAAK,CAAC,IAAI,CACd,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,YAAY,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK,CAC9D,CACJ,CAAC;YACF,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;YACzC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACrD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,uCAAuC,IAAI,CAAC,IAAI,EAAE;oBAC/E,MAAM,EAAE,IAAI,CAAC,EAAE;iBAChB,CAAC,CAAC;YACL,CAAC;YACD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1C,IACE,CAAC,SAAS;gBACV,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;gBAC7C,UAAU,KAAK,SAAS,EACxB,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,eAAe;oBACrB,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,oBAAoB,IAAI,CAAC,IAAI,EAAE;oBAC5D,MAAM,EAAE,IAAI,CAAC,EAAE;iBAChB,CAAC,CAAC;YACL,CAAC;iBAAM,IACL,CAAC,SAAS;gBACV,UAAU,KAAK,SAAS;gBACxB,CAAC,sBAAsB,CAAC,UAAU,EAAE,IAAI,CAAC,EACzC,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,kCAAkC,IAAI,CAAC,IAAI,EAAE;oBAC1E,MAAM,EAAE,IAAI,CAAC,EAAE;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,IACE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CACf,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,KAAK,SAAS,CAC3D,EACD,CAAC;QACD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,iBAAiB;YACvB,OAAO,EAAE,0BAA0B;SACpC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,eAAe,CACtB,QAAgB,EAChB,MAAyC,EACzC,IAAwB;IAExB,IAAI,CAAC,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,QAAQ,KAAK,aAAa,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,KAAK,CAAC,KAAK,KAAK,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,QAAQ,KAAK,eAAe;QAC5B,CAAC,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC,KAAK,SAAS,EAC3C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAc,EACd,IAAwB;IAExB,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IAC1E,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,KAAK,WAAW,EAAE,CAAC;QACnC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,OAAO,KAAK,KAAK,IAAI,CAAC,SAAS,CAAC;AACzC,CAAC;AAED,SAAS,YAAY,CACnB,IAAc,EACd,OAA4B,EAC5B,OAA4B,EAC5B,WAAoD,EACpD,MAA6B;IAE7B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,sBAAsB,IAAI,CAAC,EAAE,EAAE;YACxC,MAAM,EAAE,IAAI,CAAC,EAAE;SAChB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;QACvE,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,QAAQ,IAAI,CAAC,EAAE,4BAA4B;YACpD,MAAM,EAAE,IAAI,CAAC,EAAE;SAChB,CAAC,CAAC;IACL,CAAC;IACD,IACE,CAAC,IAAI,CAAC,UAAU;QAChB,CAAC,IAAI,CAAC,UAAU;QAChB,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,YAAY,EACvC,CAAC;QACD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,QAAQ,IAAI,CAAC,EAAE,0CAA0C;YAClE,MAAM,EAAE,IAAI,CAAC,EAAE;SAChB,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,MAAM,gBAAgB,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC5D,MAAM,gBAAgB,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC5D,IAAI,CAAC,gBAAgB,IAAI,CAAC,gBAAgB;QAAE,OAAO;IACnD,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAC9C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,CACxC,CAAC;IACF,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAC7C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,CACxC,CAAC;IACF,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,QAAQ,IAAI,CAAC,EAAE,8CAA8C;YACtE,MAAM,EAAE,IAAI,CAAC,EAAE;SAChB,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QACnE,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,QAAQ,IAAI,CAAC,EAAE,gCAAgC;YACxD,MAAM,EAAE,IAAI,CAAC,EAAE;SAChB,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,oBAAoB,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;QAC3E,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,QAAQ,IAAI,CAAC,EAAE,oCAAoC;YAC5D,MAAM,EAAE,IAAI,CAAC,EAAE;SAChB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,MAA0B,EAC1B,MAA0B;IAE1B,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,IAAI,KAAK,CAAC;IAC7C,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,IAAI,KAAK,CAAC;IAC7C,OAAO,CACL,UAAU,KAAK,KAAK,IAAI,UAAU,KAAK,KAAK,IAAI,UAAU,KAAK,UAAU,CAC1E,CAAC;AACJ,CAAC"}

package/package.json

@@ -0,0 +1,31 @@
+{
+  "name": "@skenora/flow",
+  "version": "0.1.2",
+  "description": "DOM-free serializable event-flow validation and execution for Skenora.",
+  "type": "module",
+  "sideEffects": false,
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js",
+      "default": "./dist/index.js"
+    }
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "@skenora/contracts": "0.1.2",
+    "@skenora/events": "0.1.2"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json && node ../../scripts/prepare-package-output.mjs dist",
+    "typecheck": "tsc -p tsconfig.json --noEmit"
+  },
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts"
+}