@pasko70/pibo 3.2.7 → 3.4.0

package/packages/workflows/dist/validation/registry-refs.js

@@ -0,0 +1,283 @@
+export function isValidGuardRef(guard) {
+    return isRecord(guard) && typeof guard.handler === "string" && guard.handler.length > 0;
+}
+export function validateWorkflowEdgeGuardRef(edgeId, edge, diagnostics, options) {
+    if (!edge.guard) {
+        return;
+    }
+    validateWorkflowGuardRef(edge.guard, diagnostics, options, {
+        edgeId,
+        path: `$.edges.${edgeId}.guard.handler`,
+        diagnosticLabel: `Workflow edge '${edgeId}'`,
+    });
+}
+export function validateWorkflowGuardRef(guard, diagnostics, options, target) {
+    if (!isRecord(guard) || typeof guard.handler !== "string" || guard.handler.length === 0) {
+        diagnostics.push({
+            code: "WorkflowGraphError.invalidGuardRef",
+            message: `${target.diagnosticLabel} must use a registered guard handler ref.`,
+            severity: "error",
+            edgeId: target.edgeId,
+            path: target.path,
+            hint: "Use guard: { handler: 'guard.id' } with a non-empty registered guard id.",
+        });
+        return;
+    }
+    if (guard.priority !== undefined && (!Number.isInteger(guard.priority) || guard.priority < 0)) {
+        diagnostics.push({
+            code: "WorkflowGraphError.invalidGuardPriority",
+            message: `${target.diagnosticLabel} guard priority must be a non-negative integer when declared.`,
+            severity: "error",
+            edgeId: target.edgeId,
+            path: target.path.replace(/\.handler$/, ".priority"),
+            hint: "Use priority to make multiple guarded outgoing edges deterministic.",
+        });
+    }
+    if (!options.registry?.guards || options.registry.guards.has(guard.handler)) {
+        return;
+    }
+    diagnostics.push({
+        code: "WorkflowGraphError.unknownGuardRef",
+        message: `${target.diagnosticLabel} references guard '${guard.handler}', but it is not registered in the Workflow Registry.`,
+        severity: "error",
+        edgeId: target.edgeId,
+        path: target.path,
+        registryRef: guard.handler,
+        hint: "Register the guard with registerWorkflowGuard/createWorkflowRegistry before validating or executing this workflow, or update the workflow to use a registered guard id.",
+    });
+}
+export function validateWorkflowAgentNodeRuntimeSelection(nodeId, node, diagnostics, options) {
+    if (node.kind !== "agent") {
+        return;
+    }
+    const rawNode = node;
+    if (rawNode.runtime !== "pibo") {
+        diagnostics.push({
+            code: "WorkflowGraphError.invalidAgentRuntimeSelection",
+            message: `Workflow agent node '${nodeId}' must select the Pibo Runtime in V1.`,
+            severity: "error",
+            nodeId,
+            path: `$.nodes.${nodeId}.runtime`,
+            hint: "Set runtime: 'pibo'. V1 workflow agent nodes cannot select alternate runtimes.",
+        });
+    }
+    const profile = rawNode.profile;
+    const profileId = isRecord(profile) && profile.kind === "fixed" && typeof profile.id === "string" && profile.id.length > 0
+        ? profile.id
+        : undefined;
+    if (!profileId) {
+        diagnostics.push({
+            code: "WorkflowGraphError.invalidAgentProfileSelection",
+            message: `Workflow agent node '${nodeId}' must select a fixed Agent Designer profile in V1.`,
+            severity: "error",
+            nodeId,
+            path: `$.nodes.${nodeId}.profile`,
+            hint: "Use fixedProfile('pibo-agent') or { kind: 'fixed', id: 'profile-id' }. Dynamic profile selection is not supported in V1.",
+        });
+        return;
+    }
+    if (!options.registry?.profiles) {
+        return;
+    }
+    const registeredProfile = options.registry.profiles.get(profileId);
+    if (!registeredProfile) {
+        diagnostics.push({
+            code: "WorkflowGraphError.unknownAgentProfileRef",
+            message: `Workflow agent node '${nodeId}' references Agent Designer profile '${profileId}', but it is not registered in the Workflow Registry.`,
+            severity: "error",
+            nodeId,
+            path: `$.nodes.${nodeId}.profile.id`,
+            registryRef: profileId,
+            hint: "Register the Agent Designer profile with registerWorkflowAgentProfile/createWorkflowRegistry before validating or executing this workflow, or update the node to use a registered fixed profile id.",
+        });
+        return;
+    }
+    if (isArchivedAgentProfileDefinition(registeredProfile.value)) {
+        diagnostics.push({
+            code: "WorkflowGraphError.archivedAgentProfileRef",
+            message: `Workflow agent node '${nodeId}' references archived Agent Designer profile '${profileId}'.`,
+            severity: "error",
+            nodeId,
+            path: `$.nodes.${nodeId}.profile.id`,
+            registryRef: profileId,
+            hint: "Restore the Agent Designer profile or update the node to select a non-archived fixed profile id before publishing or running this workflow.",
+        });
+    }
+}
+function isArchivedAgentProfileDefinition(profile) {
+    if (profile.status === "archived" || typeof profile.archivedAt === "string") {
+        return true;
+    }
+    if (!isRecord(profile.metadata)) {
+        return false;
+    }
+    return profile.metadata.archived === true || typeof profile.metadata.archivedAt === "string";
+}
+export function validateWorkflowAgentNodePromptBuilderRef(nodeId, node, diagnostics, options) {
+    if (node.kind !== "agent") {
+        return;
+    }
+    if (node.promptTemplate !== undefined && node.promptBuilder !== undefined) {
+        diagnostics.push({
+            code: "WorkflowGraphError.ambiguousAgentPromptSource",
+            message: `Workflow agent node '${nodeId}' declares both promptTemplate and promptBuilder.`,
+            severity: "error",
+            nodeId,
+            path: `$.nodes.${nodeId}`,
+            hint: "Declare exactly one prompt source for variable prompts: use promptTemplate for fixed templates or promptBuilder for a registered TypeScript prompt builder.",
+        });
+    }
+    if (node.promptBuilder === undefined) {
+        return;
+    }
+    const builderId = getPromptBuilderRefId(node.promptBuilder);
+    if (!builderId) {
+        diagnostics.push({
+            code: "WorkflowGraphError.invalidPromptBuilderRef",
+            message: `Workflow agent node '${nodeId}' must use a registered TypeScript prompt builder ref when promptBuilder is declared.`,
+            severity: "error",
+            nodeId,
+            path: `$.nodes.${nodeId}.promptBuilder`,
+            hint: "Use promptBuilderRef('prompt.builder.id') or a non-empty registered prompt builder id.",
+        });
+        return;
+    }
+    if (!options.registry?.promptBuilders || options.registry.promptBuilders.has(builderId)) {
+        return;
+    }
+    diagnostics.push({
+        code: "WorkflowGraphError.unknownPromptBuilderRef",
+        message: `Workflow agent node '${nodeId}' references prompt builder '${builderId}', but it is not registered in the Workflow Registry.`,
+        severity: "error",
+        nodeId,
+        path: getPromptBuilderRefPath(node.promptBuilder, nodeId),
+        registryRef: builderId,
+        hint: "Register the prompt builder with registerWorkflowPromptBuilder/createWorkflowRegistry before validating or executing this workflow, or update the node to use a registered prompt builder id.",
+    });
+}
+function getPromptBuilderRefId(ref) {
+    if (typeof ref === "string") {
+        return ref.length > 0 ? ref : undefined;
+    }
+    if (!isRecord(ref)) {
+        return undefined;
+    }
+    const id = ref.id;
+    return ref.kind === "promptBuilder" && ref.language === "typescript" && typeof id === "string" && id.length > 0
+        ? id
+        : undefined;
+}
+function getPromptBuilderRefPath(ref, nodeId) {
+    return typeof ref === "string" ? `$.nodes.${nodeId}.promptBuilder` : `$.nodes.${nodeId}.promptBuilder.id`;
+}
+export function validateWorkflowCodeNodeRef(nodeId, node, diagnostics, options) {
+    if (node.kind !== "code") {
+        return;
+    }
+    if (!options.registry?.handlers || options.registry.handlers.has(node.handler)) {
+        return;
+    }
+    diagnostics.push({
+        code: "WorkflowGraphError.unknownHandlerRef",
+        message: `Workflow code node '${nodeId}' references handler '${node.handler}', but it is not registered in the Workflow Registry.`,
+        severity: "error",
+        nodeId,
+        path: `$.nodes.${nodeId}.handler`,
+        registryRef: node.handler,
+        hint: "Register the handler with registerWorkflowHandler/createWorkflowRegistry before validating or executing this workflow, or update the workflow to use a registered handler id.",
+    });
+}
+export function validateWorkflowAdapterNodeRef(nodeId, node, diagnostics, options) {
+    if (node.kind !== "adapter") {
+        return;
+    }
+    if (!isRegisteredAdapterRef(node.handler)) {
+        diagnostics.push({
+            code: "WorkflowGraphError.invalidAdapterRef",
+            message: `Workflow adapter node '${nodeId}' must use a registered TypeScript adapter ref for its handler.`,
+            severity: "error",
+            nodeId,
+            path: `$.nodes.${nodeId}.handler`,
+            hint: "Create adapter nodes with handler: adapterRef('adapter.id') so persisted workflow IR stores an explicit adapter ref instead of an inline or raw handler value.",
+        });
+        return;
+    }
+    validateRegisteredAdapterExists(node.handler, diagnostics, options, {
+        nodeId,
+        path: `$.nodes.${nodeId}.handler.id`,
+        diagnosticLabel: `Workflow adapter node '${nodeId}'`,
+    });
+}
+export function validateWorkflowHumanActionRefs(nodeId, node, diagnostics, options) {
+    if (node.kind !== "human" || !node.actions) {
+        return;
+    }
+    node.actions.forEach((action, index) => {
+        const path = `$.nodes.${nodeId}.actions.${index}`;
+        const actionId = getHumanActionRefId(action);
+        if (!actionId) {
+            diagnostics.push({
+                code: "WorkflowGraphError.invalidHumanActionRef",
+                message: `Workflow human node '${nodeId}' declares an invalid human action ref at index ${index}.`,
+                severity: "error",
+                nodeId,
+                path,
+                hint: "Human action refs must contain a non-empty registry action id.",
+            });
+            return;
+        }
+        const registered = options.registry?.humanActions?.get(actionId);
+        if (options.registry?.humanActions && !registered) {
+            diagnostics.push({
+                code: "WorkflowGraphError.unknownHumanActionRef",
+                message: `Workflow human node '${nodeId}' references human action '${actionId}', but it is not registered in the Workflow Registry.`,
+                severity: "error",
+                nodeId,
+                path: `${path}.id`,
+                registryRef: actionId,
+                hint: "Register approve/reject/resume/cancel or custom actions with registerWorkflowHumanAction/createWorkflowRegistry before validating the workflow.",
+            });
+            return;
+        }
+        if (registered && action.kind && registered.kind !== action.kind) {
+            diagnostics.push({
+                code: "WorkflowGraphError.humanActionKindMismatch",
+                message: `Workflow human node '${nodeId}' action '${actionId}' declares kind '${action.kind}', but the registry defines kind '${registered.kind}'.`,
+                severity: "error",
+                nodeId,
+                path: `${path}.kind`,
+                registryRef: actionId,
+                hint: "Keep wait-token action refs aligned with their registered action definitions.",
+            });
+        }
+    });
+}
+function getHumanActionRefId(ref) {
+    return ref && typeof ref.id === "string" && ref.id.length > 0 ? ref.id : undefined;
+}
+export function validateRegisteredAdapterExists(ref, diagnostics, options, target) {
+    if (!options.registry?.adapters || options.registry.adapters.has(ref.id)) {
+        return;
+    }
+    diagnostics.push({
+        code: "WorkflowGraphError.unknownAdapterRef",
+        message: `${target.diagnosticLabel} references adapter '${ref.id}', but it is not registered in the Workflow Registry.`,
+        severity: "error",
+        nodeId: target.nodeId,
+        edgeId: target.edgeId,
+        path: target.path,
+        registryRef: ref.id,
+        hint: "Register the adapter with registerWorkflowAdapter/createWorkflowRegistry before validating or executing this workflow, or update the workflow to use a registered adapter id.",
+    });
+}
+export function isRegisteredAdapterRef(value) {
+    return (isRecord(value) &&
+        value.kind === "adapter" &&
+        value.language === "typescript" &&
+        typeof value.id === "string" &&
+        value.id.length > 0);
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+//# sourceMappingURL=registry-refs.js.map

package/packages/workflows/dist/validation/registry-refs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry-refs.js","sourceRoot":"","sources":["../../src/validation/registry-refs.ts"],"names":[],"mappings":"AAeA,MAAM,UAAU,eAAe,CAAC,KAA2B;IACzD,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;AAC1F,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,MAAc,EACd,IAA4B,EAC5B,WAAiC,EACjC,OAAkC;IAElC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IAED,wBAAwB,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE;QACzD,MAAM;QACN,IAAI,EAAE,WAAW,MAAM,gBAAgB;QACvC,eAAe,EAAE,kBAAkB,MAAM,GAAG;KAC7C,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,KAAe,EACf,WAAiC,EACjC,OAAkC,EAClC,MAAsF;IAEtF,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxF,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,oCAAoC;YAC1C,OAAO,EAAE,GAAG,MAAM,CAAC,eAAe,2CAA2C;YAC7E,QAAQ,EAAE,OAAO;YACjB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,IAAI,EAAE,0EAA0E;SACjF,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC;QAC9F,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,yCAAyC;YAC/C,OAAO,EAAE,GAAG,MAAM,CAAC,eAAe,+DAA+D;YACjG,QAAQ,EAAE,OAAO;YACjB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,WAAW,CAAC;YACpD,IAAI,EAAE,qEAAqE;SAC5E,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5E,OAAO;IACT,CAAC;IAED,WAAW,CAAC,IAAI,CAAC;QACf,IAAI,EAAE,oCAAoC;QAC1C,OAAO,EAAE,GAAG,MAAM,CAAC,eAAe,sBAAsB,KAAK,CAAC,OAAO,uDAAuD;QAC5H,QAAQ,EAAE,OAAO;QACjB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,WAAW,EAAE,KAAK,CAAC,OAAO;QAC1B,IAAI,EAAE,yKAAyK;KAChL,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,yCAAyC,CACvD,MAAc,EACd,IAA4B,EAC5B,WAAiC,EACjC,OAAkC;IAElC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO;IACT,CAAC;IAED,MAAM,OAAO,GAAG,IAA0C,CAAC;IAC3D,IAAI,OAAO,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QAC/B,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,iDAAiD;YACvD,OAAO,EAAE,wBAAwB,MAAM,uCAAuC;YAC9E,QAAQ,EAAE,OAAO;YACjB,MAAM;YACN,IAAI,EAAE,WAAW,MAAM,UAAU;YACjC,IAAI,EAAE,gFAAgF;SACvF,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAChC,MAAM,SAAS,GACb,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,OAAO,CAAC,EAAE,KAAK,QAAQ,IAAI,OAAO,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC;QACtG,CAAC,CAAC,OAAO,CAAC,EAAE;QACZ,CAAC,CAAC,SAAS,CAAC;IAEhB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,iDAAiD;YACvD,OAAO,EAAE,wBAAwB,MAAM,qDAAqD;YAC5F,QAAQ,EAAE,OAAO;YACjB,MAAM;YACN,IAAI,EAAE,WAAW,MAAM,UAAU;YACjC,IAAI,EAAE,0HAA0H;SACjI,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC;QAChC,OAAO;IACT,CAAC;IAED,MAAM,iBAAiB,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACnE,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACvB,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,2CAA2C;YACjD,OAAO,EAAE,wBAAwB,MAAM,wCAAwC,SAAS,uDAAuD;YAC/I,QAAQ,EAAE,OAAO;YACjB,MAAM;YACN,IAAI,EAAE,WAAW,MAAM,aAAa;YACpC,WAAW,EAAE,SAAS;YACtB,IAAI,EAAE,qMAAqM;SAC5M,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,IAAI,gCAAgC,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,4CAA4C;YAClD,OAAO,EAAE,wBAAwB,MAAM,iDAAiD,SAAS,IAAI;YACrG,QAAQ,EAAE,OAAO;YACjB,MAAM;YACN,IAAI,EAAE,WAAW,MAAM,aAAa;YACpC,WAAW,EAAE,SAAS;YACtB,IAAI,EAAE,6IAA6I;SACpJ,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,gCAAgC,CAAC,OAAqE;IAC7G,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,IAAI,OAAO,OAAO,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC5E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,OAAO,CAAC,QAAQ,CAAC,QAAQ,KAAK,IAAI,IAAI,OAAO,OAAO,CAAC,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC;AAC/F,CAAC;AAED,MAAM,UAAU,yCAAyC,CACvD,MAAc,EACd,IAA4B,EAC5B,WAAiC,EACjC,OAAkC;IAElC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO;IACT,CAAC;IAED,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QAC1E,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,+CAA+C;YACrD,OAAO,EAAE,wBAAwB,MAAM,mDAAmD;YAC1F,QAAQ,EAAE,OAAO;YACjB,MAAM;YACN,IAAI,EAAE,WAAW,MAAM,EAAE;YACzB,IAAI,EAAE,6JAA6J;SACpK,CAAC,CAAC;IACL,CAAC;IAED,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACrC,OAAO;IACT,CAAC;IAED,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5D,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,4CAA4C;YAClD,OAAO,EAAE,wBAAwB,MAAM,uFAAuF;YAC9H,QAAQ,EAAE,OAAO;YACjB,MAAM;YACN,IAAI,EAAE,WAAW,MAAM,gBAAgB;YACvC,IAAI,EAAE,wFAAwF;SAC/F,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,cAAc,IAAI,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACxF,OAAO;IACT,CAAC;IAED,WAAW,CAAC,IAAI,CAAC;QACf,IAAI,EAAE,4CAA4C;QAClD,OAAO,EAAE,wBAAwB,MAAM,gCAAgC,SAAS,uDAAuD;QACvI,QAAQ,EAAE,OAAO;QACjB,MAAM;QACN,IAAI,EAAE,uBAAuB,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC;QACzD,WAAW,EAAE,SAAS;QACtB,IAAI,EAAE,+LAA+L;KACtM,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,GAAqB;IAClD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1C,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC;IAClB,OAAO,GAAG,CAAC,IAAI,KAAK,eAAe,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAC7G,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAqB,EAAE,MAAc;IACpE,OAAO,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,MAAM,gBAAgB,CAAC,CAAC,CAAC,WAAW,MAAM,mBAAmB,CAAC;AAC5G,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,MAAc,EACd,IAA4B,EAC5B,WAAiC,EACjC,OAAkC;IAElC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,OAAO;IACT,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/E,OAAO;IACT,CAAC;IAED,WAAW,CAAC,IAAI,CAAC;QACf,IAAI,EAAE,sCAAsC;QAC5C,OAAO,EAAE,uBAAuB,MAAM,yBAAyB,IAAI,CAAC,OAAO,uDAAuD;QAClI,QAAQ,EAAE,OAAO;QACjB,MAAM;QACN,IAAI,EAAE,WAAW,MAAM,UAAU;QACjC,WAAW,EAAE,IAAI,CAAC,OAAO;QACzB,IAAI,EAAE,+KAA+K;KACtL,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,MAAc,EACd,IAA4B,EAC5B,WAAiC,EACjC,OAAkC;IAElC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO;IACT,CAAC;IAED,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,sCAAsC;YAC5C,OAAO,EAAE,0BAA0B,MAAM,iEAAiE;YAC1G,QAAQ,EAAE,OAAO;YACjB,MAAM;YACN,IAAI,EAAE,WAAW,MAAM,UAAU;YACjC,IAAI,EAAE,gKAAgK;SACvK,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,+BAA+B,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE;QAClE,MAAM;QACN,IAAI,EAAE,WAAW,MAAM,aAAa;QACpC,eAAe,EAAE,0BAA0B,MAAM,GAAG;KACrD,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,MAAc,EACd,IAA4B,EAC5B,WAAiC,EACjC,OAAkC;IAElC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3C,OAAO;IACT,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,WAAW,MAAM,YAAY,KAAK,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,0CAA0C;gBAChD,OAAO,EAAE,wBAAwB,MAAM,mDAAmD,KAAK,GAAG;gBAClG,QAAQ,EAAE,OAAO;gBACjB,MAAM;gBACN,IAAI;gBACJ,IAAI,EAAE,gEAAgE;aACvE,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;QACjE,IAAI,OAAO,CAAC,QAAQ,EAAE,YAAY,IAAI,CAAC,UAAU,EAAE,CAAC;YAClD,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,0CAA0C;gBAChD,OAAO,EAAE,wBAAwB,MAAM,8BAA8B,QAAQ,uDAAuD;gBACpI,QAAQ,EAAE,OAAO;gBACjB,MAAM;gBACN,IAAI,EAAE,GAAG,IAAI,KAAK;gBAClB,WAAW,EAAE,QAAQ;gBACrB,IAAI,EAAE,iJAAiJ;aACxJ,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,IAAI,UAAU,IAAI,MAAM,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;YACjE,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,4CAA4C;gBAClD,OAAO,EAAE,wBAAwB,MAAM,aAAa,QAAQ,oBAAoB,MAAM,CAAC,IAAI,qCAAqC,UAAU,CAAC,IAAI,IAAI;gBACnJ,QAAQ,EAAE,OAAO;gBACjB,MAAM;gBACN,IAAI,EAAE,GAAG,IAAI,OAAO;gBACpB,WAAW,EAAE,QAAQ;gBACrB,IAAI,EAAE,+EAA+E;aACtF,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAAC,GAA2B;IACtD,OAAO,GAAG,IAAI,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACrF,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,GAAe,EACf,WAAiC,EACjC,OAAkC,EAClC,MAAiG;IAEjG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QACzE,OAAO;IACT,CAAC;IAED,WAAW,CAAC,IAAI,CAAC;QACf,IAAI,EAAE,sCAAsC;QAC5C,OAAO,EAAE,GAAG,MAAM,CAAC,eAAe,wBAAwB,GAAG,CAAC,EAAE,uDAAuD;QACvH,QAAQ,EAAE,OAAO;QACjB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,WAAW,EAAE,GAAG,CAAC,EAAE;QACnB,IAAI,EAAE,+KAA+K;KACtL,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACnD,OAAO,CACL,QAAQ,CAAC,KAAK,CAAC;QACf,KAAK,CAAC,IAAI,KAAK,SAAS;QACxB,KAAK,CAAC,QAAQ,KAAK,YAAY;QAC/B,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ;QAC5B,KAAK,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CACpB,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC"}

package/packages/workflows/dist/validation/retry-policy.d.ts

@@ -0,0 +1,3 @@
+import type { RetryPolicy, WorkflowDiagnostic } from "../types/index.js";
+export declare function validateWorkflowRetryPolicy(policy: RetryPolicy | undefined, path: string, diagnostics: WorkflowDiagnostic[], target?: Pick<WorkflowDiagnostic, "nodeId" | "edgeId">): void;
+//# sourceMappingURL=retry-policy.d.ts.map

package/packages/workflows/dist/validation/retry-policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"retry-policy.d.ts","sourceRoot":"","sources":["../../src/validation/retry-policy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,WAAW,EACX,kBAAkB,EACnB,MAAM,mBAAmB,CAAC;AAE3B,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,WAAW,GAAG,SAAS,EAC/B,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,kBAAkB,EAAE,EACjC,MAAM,GAAE,IAAI,CAAC,kBAAkB,EAAE,QAAQ,GAAG,QAAQ,CAAM,GACzD,IAAI,CA8CN"}

package/packages/workflows/dist/validation/retry-policy.js

@@ -0,0 +1,114 @@
+export function validateWorkflowRetryPolicy(policy, path, diagnostics, target = {}) {
+    if (policy === undefined) {
+        return;
+    }
+    if (!Number.isInteger(policy.maxAttempts) || policy.maxAttempts < 1) {
+        diagnostics.push({
+            code: "WorkflowRetryError.invalidMaxAttempts",
+            message: "Workflow retry policies must declare maxAttempts as a positive integer.",
+            severity: "error",
+            ...target,
+            path: `${path}.maxAttempts`,
+            hint: "Set maxAttempts to the total number of attempts allowed, for example maxAttempts: 3.",
+        });
+    }
+    if (policy.backoff !== undefined) {
+        validateWorkflowRetryBackoffPolicy(policy.backoff, `${path}.backoff`, diagnostics, target);
+    }
+    if (policy.retryOn !== undefined) {
+        if (!Array.isArray(policy.retryOn)) {
+            diagnostics.push({
+                code: "WorkflowRetryError.invalidRetryOn",
+                message: "Workflow retry policy retryOn must be an array of non-empty error code strings.",
+                severity: "error",
+                ...target,
+                path: `${path}.retryOn`,
+                hint: "Use retryOn: ['WorkflowRuntimeError.transient'] or omit retryOn to retry all retryable errors until maxAttempts.",
+            });
+            return;
+        }
+        policy.retryOn.forEach((code, index) => {
+            if (typeof code !== "string" || code.length === 0) {
+                diagnostics.push({
+                    code: "WorkflowRetryError.invalidRetryOn",
+                    message: "Workflow retry policy retryOn entries must be non-empty error code strings.",
+                    severity: "error",
+                    ...target,
+                    path: `${path}.retryOn.${index}`,
+                    hint: "Use stable error codes such as 'WorkflowRuntimeError.timeout'.",
+                });
+            }
+        });
+    }
+}
+function validateWorkflowRetryBackoffPolicy(backoff, path, diagnostics, target) {
+    if (!isRecord(backoff)) {
+        diagnostics.push({
+            code: "WorkflowRetryError.invalidBackoffPolicy",
+            message: "Workflow retry backoff policy must be an object.",
+            severity: "error",
+            ...target,
+            path,
+            hint: "Use { kind: 'none' }, { kind: 'fixed', delayMs }, { kind: 'linear', initialMs, stepMs }, or { kind: 'exponential', initialMs }.",
+        });
+        return;
+    }
+    switch (backoff.kind) {
+        case "none":
+            return;
+        case "fixed":
+            validateNonNegativeNumber(backoff.delayMs, `${path}.delayMs`, "delayMs", diagnostics, target);
+            return;
+        case "linear":
+            validateNonNegativeNumber(backoff.initialMs, `${path}.initialMs`, "initialMs", diagnostics, target);
+            validateNonNegativeNumber(backoff.stepMs, `${path}.stepMs`, "stepMs", diagnostics, target);
+            validateOptionalNonNegativeNumber(backoff.maxMs, `${path}.maxMs`, "maxMs", diagnostics, target);
+            return;
+        case "exponential":
+            validateNonNegativeNumber(backoff.initialMs, `${path}.initialMs`, "initialMs", diagnostics, target);
+            if (backoff.factor !== undefined && (typeof backoff.factor !== "number" || backoff.factor <= 1)) {
+                diagnostics.push({
+                    code: "WorkflowRetryError.invalidBackoffPolicy",
+                    message: "Workflow exponential retry backoff factor must be greater than 1 when declared.",
+                    severity: "error",
+                    ...target,
+                    path: `${path}.factor`,
+                    hint: "Omit factor to use the runtime default, or set factor to a number greater than 1.",
+                });
+            }
+            validateOptionalNonNegativeNumber(backoff.maxMs, `${path}.maxMs`, "maxMs", diagnostics, target);
+            return;
+        default:
+            diagnostics.push({
+                code: "WorkflowRetryError.invalidBackoffPolicy",
+                message: "Workflow retry backoff policy kind is not supported.",
+                severity: "error",
+                ...target,
+                path: `${path}.kind`,
+                hint: "Use backoff kind 'none', 'fixed', 'linear', or 'exponential'.",
+            });
+    }
+}
+function validateNonNegativeNumber(value, path, field, diagnostics, target) {
+    if (typeof value === "number" && Number.isFinite(value) && value >= 0) {
+        return;
+    }
+    diagnostics.push({
+        code: "WorkflowRetryError.invalidBackoffPolicy",
+        message: `Workflow retry backoff ${field} must be a non-negative number.`,
+        severity: "error",
+        ...target,
+        path,
+        hint: "Use millisecond delays greater than or equal to 0.",
+    });
+}
+function validateOptionalNonNegativeNumber(value, path, field, diagnostics, target) {
+    if (value === undefined) {
+        return;
+    }
+    validateNonNegativeNumber(value, path, field, diagnostics, target);
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+//# sourceMappingURL=retry-policy.js.map

package/packages/workflows/dist/validation/retry-policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retry-policy.js","sourceRoot":"","sources":["../../src/validation/retry-policy.ts"],"names":[],"mappings":"AAMA,MAAM,UAAU,2BAA2B,CACzC,MAA+B,EAC/B,IAAY,EACZ,WAAiC,EACjC,SAAwD,EAAE;IAE1D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO;IACT,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,MAAM,CAAC,WAAW,GAAG,CAAC,EAAE,CAAC;QACpE,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,uCAAuC;YAC7C,OAAO,EAAE,yEAAyE;YAClF,QAAQ,EAAE,OAAO;YACjB,GAAG,MAAM;YACT,IAAI,EAAE,GAAG,IAAI,cAAc;YAC3B,IAAI,EAAE,sFAAsF;SAC7F,CAAC,CAAC;IACL,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,kCAAkC,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAC7F,CAAC;IAED,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,mCAAmC;gBACzC,OAAO,EAAE,iFAAiF;gBAC1F,QAAQ,EAAE,OAAO;gBACjB,GAAG,MAAM;gBACT,IAAI,EAAE,GAAG,IAAI,UAAU;gBACvB,IAAI,EAAE,kHAAkH;aACzH,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACrC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAClD,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,mCAAmC;oBACzC,OAAO,EAAE,6EAA6E;oBACtF,QAAQ,EAAE,OAAO;oBACjB,GAAG,MAAM;oBACT,IAAI,EAAE,GAAG,IAAI,YAAY,KAAK,EAAE;oBAChC,IAAI,EAAE,gEAAgE;iBACvE,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,kCAAkC,CACzC,OAA2B,EAC3B,IAAY,EACZ,WAAiC,EACjC,MAAqD;IAErD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACvB,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,yCAAyC;YAC/C,OAAO,EAAE,kDAAkD;YAC3D,QAAQ,EAAE,OAAO;YACjB,GAAG,MAAM;YACT,IAAI;YACJ,IAAI,EAAE,iIAAiI;SACxI,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO;QACT,KAAK,OAAO;YACV,yBAAyB,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;YAC9F,OAAO;QACT,KAAK,QAAQ;YACX,yBAAyB,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;YACpG,yBAAyB,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;YAC3F,iCAAiC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;YAChG,OAAO;QACT,KAAK,aAAa;YAChB,yBAAyB,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;YACpG,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC;gBAChG,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,yCAAyC;oBAC/C,OAAO,EAAE,iFAAiF;oBAC1F,QAAQ,EAAE,OAAO;oBACjB,GAAG,MAAM;oBACT,IAAI,EAAE,GAAG,IAAI,SAAS;oBACtB,IAAI,EAAE,mFAAmF;iBAC1F,CAAC,CAAC;YACL,CAAC;YACD,iCAAiC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;YAChG,OAAO;QACT;YACE,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,yCAAyC;gBAC/C,OAAO,EAAE,sDAAsD;gBAC/D,QAAQ,EAAE,OAAO;gBACjB,GAAG,MAAM;gBACT,IAAI,EAAE,GAAG,IAAI,OAAO;gBACpB,IAAI,EAAE,+DAA+D;aACtE,CAAC,CAAC;IACP,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAc,EACd,IAAY,EACZ,KAAa,EACb,WAAiC,EACjC,MAAqD;IAErD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACtE,OAAO;IACT,CAAC;IAED,WAAW,CAAC,IAAI,CAAC;QACf,IAAI,EAAE,yCAAyC;QAC/C,OAAO,EAAE,0BAA0B,KAAK,iCAAiC;QACzE,QAAQ,EAAE,OAAO;QACjB,GAAG,MAAM;QACT,IAAI;QACJ,IAAI,EAAE,oDAAoD;KAC3D,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iCAAiC,CACxC,KAAc,EACd,IAAY,EACZ,KAAa,EACb,WAAiC,EACjC,MAAqD;IAErD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO;IACT,CAAC;IAED,yBAAyB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC"}

package/packages/workflows/dist/validation/schema-declarations.d.ts

@@ -0,0 +1,5 @@
+import type { WorkflowDefinition, WorkflowDiagnostic, WorkflowNodeDefinition, WorkflowPort } from "../types/index.js";
+export declare function validateWorkflowPort(port: WorkflowPort, path: string, diagnostics: WorkflowDiagnostic[], target?: Pick<WorkflowDiagnostic, "nodeId" | "edgeId">): void;
+export declare function validateWorkflowNodeSchemaDeclarations(nodeId: string, node: WorkflowNodeDefinition, diagnostics: WorkflowDiagnostic[]): void;
+export declare function validateWorkflowGlobalStateSchemaDeclarations(definition: Pick<WorkflowDefinition, "state">, diagnostics: WorkflowDiagnostic[]): void;
+//# sourceMappingURL=schema-declarations.d.ts.map

package/packages/workflows/dist/validation/schema-declarations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-declarations.d.ts","sourceRoot":"","sources":["../../src/validation/schema-declarations.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,kBAAkB,EAClB,kBAAkB,EAClB,sBAAsB,EACtB,YAAY,EACb,MAAM,mBAAmB,CAAC;AAE3B,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,kBAAkB,EAAE,EACjC,MAAM,GAAE,IAAI,CAAC,kBAAkB,EAAE,QAAQ,GAAG,QAAQ,CAAM,GACzD,IAAI,CAWN;AAED,wBAAgB,sCAAsC,CACpD,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,sBAAsB,EAC5B,WAAW,EAAE,kBAAkB,EAAE,GAChC,IAAI,CAiBN;AAED,wBAAgB,6CAA6C,CAC3D,UAAU,EAAE,IAAI,CAAC,kBAAkB,EAAE,OAAO,CAAC,EAC7C,WAAW,EAAE,kBAAkB,EAAE,GAChC,IAAI,CAaN"}

package/packages/workflows/dist/validation/schema-declarations.js

@@ -0,0 +1,36 @@
+import { validateJsonSchemaSubset } from "./json-schema.js";
+export function validateWorkflowPort(port, path, diagnostics, target = {}) {
+    if (port.kind !== "json") {
+        return;
+    }
+    diagnostics.push(...validateJsonSchemaSubset(port.schema, {
+        path: `${path}.schema`,
+        requireObjectRoot: true,
+    }).map((diagnostic) => ({ ...diagnostic, ...target })));
+}
+export function validateWorkflowNodeSchemaDeclarations(nodeId, node, diagnostics) {
+    if (node.input) {
+        validateWorkflowPort(node.input, `$.nodes.${nodeId}.input`, diagnostics, { nodeId });
+    }
+    if (node.output) {
+        validateWorkflowPort(node.output, `$.nodes.${nodeId}.output`, diagnostics, { nodeId });
+    }
+    if (node.kind === "human" && node.schema) {
+        diagnostics.push(...validateJsonSchemaSubset(node.schema, {
+            path: `$.nodes.${nodeId}.schema`,
+            requireObjectRoot: true,
+        }).map((diagnostic) => ({ ...diagnostic, nodeId })));
+    }
+}
+export function validateWorkflowGlobalStateSchemaDeclarations(definition, diagnostics) {
+    if (!definition.state?.global) {
+        return;
+    }
+    for (const [path, field] of Object.entries(definition.state.global)) {
+        diagnostics.push(...validateJsonSchemaSubset(field.schema, {
+            path: `$.state.global.${path}.schema`,
+            requireObjectRoot: false,
+        }));
+    }
+}
+//# sourceMappingURL=schema-declarations.js.map

package/packages/workflows/dist/validation/schema-declarations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-declarations.js","sourceRoot":"","sources":["../../src/validation/schema-declarations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAS5D,MAAM,UAAU,oBAAoB,CAClC,IAAkB,EAClB,IAAY,EACZ,WAAiC,EACjC,SAAwD,EAAE;IAE1D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,OAAO;IACT,CAAC;IAED,WAAW,CAAC,IAAI,CACd,GAAG,wBAAwB,CAAC,IAAI,CAAC,MAAM,EAAE;QACvC,IAAI,EAAE,GAAG,IAAI,SAAS;QACtB,iBAAiB,EAAE,IAAI;KACxB,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,CACvD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sCAAsC,CACpD,MAAc,EACd,IAA4B,EAC5B,WAAiC;IAEjC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,MAAM,QAAQ,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACvF,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,MAAM,SAAS,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,WAAW,CAAC,IAAI,CACd,GAAG,wBAAwB,CAAC,IAAI,CAAC,MAAM,EAAE;YACvC,IAAI,EAAE,WAAW,MAAM,SAAS;YAChC,iBAAiB,EAAE,IAAI;SACxB,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CACpD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,6CAA6C,CAC3D,UAA6C,EAC7C,WAAiC;IAEjC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;QAC9B,OAAO;IACT,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACpE,WAAW,CAAC,IAAI,CACd,GAAG,wBAAwB,CAAC,KAAK,CAAC,MAAM,EAAE;YACxC,IAAI,EAAE,kBAAkB,IAAI,SAAS;YACrC,iBAAiB,EAAE,KAAK;SACzB,CAAC,CACH,CAAC;IACJ,CAAC;AACH,CAAC"}

package/packages/workflows/dist/validation/state-access.d.ts

@@ -0,0 +1,4 @@
+import type { WorkflowDefinition, WorkflowDiagnostic, WorkflowNodeDefinition } from "../types/index.js";
+export declare function validateWorkflowNodeStateAccess(definition: Pick<WorkflowDefinition, "state">, nodeId: string, node: WorkflowNodeDefinition, diagnostics: WorkflowDiagnostic[]): void;
+export declare function validateWorkflowGlobalStateWriteConflicts(definition: Pick<WorkflowDefinition, "nodes" | "state">, diagnostics: WorkflowDiagnostic[]): void;
+//# sourceMappingURL=state-access.d.ts.map

package/packages/workflows/dist/validation/state-access.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-access.d.ts","sourceRoot":"","sources":["../../src/validation/state-access.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,kBAAkB,EAClB,kBAAkB,EAClB,sBAAsB,EACvB,MAAM,mBAAmB,CAAC;AAE3B,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,IAAI,CAAC,kBAAkB,EAAE,OAAO,CAAC,EAC7C,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,sBAAsB,EAC5B,WAAW,EAAE,kBAAkB,EAAE,GAChC,IAAI,CAON;AAED,wBAAgB,yCAAyC,CACvD,UAAU,EAAE,IAAI,CAAC,kBAAkB,EAAE,OAAO,GAAG,OAAO,CAAC,EACvD,WAAW,EAAE,kBAAkB,EAAE,GAChC,IAAI,CAqCN"}

package/packages/workflows/dist/validation/state-access.js

@@ -0,0 +1,121 @@
+export function validateWorkflowNodeStateAccess(definition, nodeId, node, diagnostics) {
+    if (node.state === undefined) {
+        return;
+    }
+    validateNodeStateAccessList(definition, nodeId, node.state.reads, "reads", diagnostics);
+    validateNodeStateAccessList(definition, nodeId, node.state.writes, "writes", diagnostics);
+}
+export function validateWorkflowGlobalStateWriteConflicts(definition, diagnostics) {
+    const writersByPath = new Map();
+    for (const [nodeId, node] of Object.entries(definition.nodes)) {
+        for (const writePath of node.state?.writes ?? []) {
+            if (typeof writePath !== "string") {
+                continue;
+            }
+            const scopedPath = parseScopedStatePath(writePath);
+            if (scopedPath?.scope !== "global" || !definition.state?.global?.[scopedPath.path]) {
+                continue;
+            }
+            const writers = writersByPath.get(scopedPath.path) ?? new Set();
+            writers.add(nodeId);
+            writersByPath.set(scopedPath.path, writers);
+        }
+    }
+    for (const [statePath, writers] of writersByPath) {
+        const field = definition.state?.global?.[statePath];
+        if (!field || field.merge || writers.size <= 1) {
+            continue;
+        }
+        diagnostics.push({
+            code: "WorkflowStateError.ambiguousConcurrentGlobalStateWrite",
+            message: `Workflow global state path '${statePath}' is written by multiple nodes without an explicit merge policy.`,
+            severity: "error",
+            path: `$.state.global.${statePath}`,
+            statePath,
+            hint: `Declare state.global['${statePath}'].merge, or ensure only one node writes '${statePath}'. Writers: ${[
+                ...writers,
+            ].join(", ")}.`,
+        });
+    }
+}
+function validateNodeStateAccessList(definition, nodeId, values, direction, diagnostics) {
+    if (values === undefined) {
+        return;
+    }
+    if (!Array.isArray(values)) {
+        diagnostics.push({
+            code: "WorkflowStateError.invalidStateAccessDeclaration",
+            message: `Workflow node '${nodeId}' state.${direction} must be an array of scoped state paths.`,
+            severity: "error",
+            nodeId,
+            path: `$.nodes.${nodeId}.state.${direction}`,
+            hint: "Declare state access as strings such as 'global.projectGoal', 'local.draft', or 'edge.previous'.",
+        });
+        return;
+    }
+    values.forEach((value, index) => {
+        const path = `$.nodes.${nodeId}.state.${direction}.${index}`;
+        if (typeof value !== "string") {
+            diagnostics.push({
+                code: "WorkflowStateError.invalidStateAccessDeclaration",
+                message: `Workflow node '${nodeId}' state.${direction} entry must be a scoped state path string.`,
+                severity: "error",
+                nodeId,
+                path,
+                hint: "Use scoped paths like 'global.projectGoal', 'local.draft', or 'edge.previous'.",
+            });
+            return;
+        }
+        const scopedPath = parseScopedStatePath(value);
+        if (!scopedPath) {
+            diagnostics.push({
+                code: "WorkflowStateError.invalidStatePath",
+                message: `Workflow node '${nodeId}' declares invalid ${direction} state path '${value}'.`,
+                severity: "error",
+                nodeId,
+                path,
+                statePath: value,
+                hint: "State paths must be scoped as 'global.<path>', 'local.<path>', or 'edge.<path>' with a non-empty path.",
+            });
+            return;
+        }
+        if (direction === "writes" && scopedPath.scope === "edge") {
+            diagnostics.push({
+                code: "WorkflowStateError.edgeStateWriteNotAllowed",
+                message: `Workflow node '${nodeId}' declares a write to immutable edge payload path '${value}'.`,
+                severity: "error",
+                nodeId,
+                path,
+                statePath: value,
+                hint: "Edge payloads are immutable after transfer; write to 'global.<path>' or current-node 'local.<path>' instead.",
+            });
+        }
+        if (scopedPath.scope === "global" && !definition.state?.global?.[scopedPath.path]) {
+            diagnostics.push({
+                code: "WorkflowStateError.unknownGlobalStatePath",
+                message: `Workflow node '${nodeId}' declares ${direction} access to unknown global state path '${scopedPath.path}'.`,
+                severity: "error",
+                nodeId,
+                path,
+                statePath: value,
+                hint: `Declare state.global['${scopedPath.path}'] with a schema before a node can read or write it.`,
+            });
+        }
+    });
+}
+function parseScopedStatePath(value) {
+    const separatorIndex = value.indexOf(".");
+    if (separatorIndex <= 0 || separatorIndex === value.length - 1) {
+        return undefined;
+    }
+    const scope = value.slice(0, separatorIndex);
+    const path = value.slice(separatorIndex + 1);
+    if (scope !== "global" && scope !== "local" && scope !== "edge") {
+        return undefined;
+    }
+    if (path.split(".").some((segment) => segment.length === 0)) {
+        return undefined;
+    }
+    return { scope, path };
+}
+//# sourceMappingURL=state-access.js.map

package/packages/workflows/dist/validation/state-access.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-access.js","sourceRoot":"","sources":["../../src/validation/state-access.ts"],"names":[],"mappings":"AAOA,MAAM,UAAU,+BAA+B,CAC7C,UAA6C,EAC7C,MAAc,EACd,IAA4B,EAC5B,WAAiC;IAEjC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO;IACT,CAAC;IAED,2BAA2B,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IACxF,2BAA2B,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;AAC5F,CAAC;AAED,MAAM,UAAU,yCAAyC,CACvD,UAAuD,EACvD,WAAiC;IAEjC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAuB,CAAC;IAErD,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,KAAK,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;YACjD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;gBAClC,SAAS;YACX,CAAC;YAED,MAAM,UAAU,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;YACnD,IAAI,UAAU,EAAE,KAAK,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnF,SAAS;YACX,CAAC;YAED,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YACxE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACpB,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,aAAa,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,OAAO,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;YAC/C,SAAS;QACX,CAAC;QAED,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,wDAAwD;YAC9D,OAAO,EAAE,+BAA+B,SAAS,kEAAkE;YACnH,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,kBAAkB,SAAS,EAAE;YACnC,SAAS;YACT,IAAI,EAAE,yBAAyB,SAAS,6CAA6C,SAAS,eAAe;gBAC3G,GAAG,OAAO;aACX,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;SAChB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,UAA6C,EAC7C,MAAc,EACd,MAAe,EACf,SAA6B,EAC7B,WAAiC;IAEjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO;IACT,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,kDAAkD;YACxD,OAAO,EAAE,kBAAkB,MAAM,WAAW,SAAS,0CAA0C;YAC/F,QAAQ,EAAE,OAAO;YACjB,MAAM;YACN,IAAI,EAAE,WAAW,MAAM,UAAU,SAAS,EAAE;YAC5C,IAAI,EAAE,kGAAkG;SACzG,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC9B,MAAM,IAAI,GAAG,WAAW,MAAM,UAAU,SAAS,IAAI,KAAK,EAAE,CAAC;QAC7D,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,kDAAkD;gBACxD,OAAO,EAAE,kBAAkB,MAAM,WAAW,SAAS,4CAA4C;gBACjG,QAAQ,EAAE,OAAO;gBACjB,MAAM;gBACN,IAAI;gBACJ,IAAI,EAAE,gFAAgF;aACvF,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,MAAM,UAAU,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,qCAAqC;gBAC3C,OAAO,EAAE,kBAAkB,MAAM,sBAAsB,SAAS,gBAAgB,KAAK,IAAI;gBACzF,QAAQ,EAAE,OAAO;gBACjB,MAAM;gBACN,IAAI;gBACJ,SAAS,EAAE,KAAK;gBAChB,IAAI,EAAE,wGAAwG;aAC/G,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,IAAI,SAAS,KAAK,QAAQ,IAAI,UAAU,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;YAC1D,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,6CAA6C;gBACnD,OAAO,EAAE,kBAAkB,MAAM,sDAAsD,KAAK,IAAI;gBAChG,QAAQ,EAAE,OAAO;gBACjB,MAAM;gBACN,IAAI;gBACJ,SAAS,EAAE,KAAK;gBAChB,IAAI,EAAE,8GAA8G;aACrH,CAAC,CAAC;QACL,CAAC;QAED,IAAI,UAAU,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAClF,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,2CAA2C;gBACjD,OAAO,EAAE,kBAAkB,MAAM,cAAc,SAAS,yCAAyC,UAAU,CAAC,IAAI,IAAI;gBACpH,QAAQ,EAAE,OAAO;gBACjB,MAAM;gBACN,IAAI;gBACJ,SAAS,EAAE,KAAK;gBAChB,IAAI,EAAE,yBAAyB,UAAU,CAAC,IAAI,sDAAsD;aACrG,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAa;IACzC,MAAM,cAAc,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,cAAc,IAAI,CAAC,IAAI,cAAc,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC;IAC7C,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;QAChE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzB,CAAC"}