openxiangda-contracts 2.77.0 → 2.79.1

package/dist/native-compiler/workflow-completion-deadline.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"workflow-completion-deadline.d.ts","sourceRoot":"","sources":["../../src/native-compiler/workflow-completion-deadline.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,MAAM,WAAW,0BAA0B;IACzC,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,SAAS,CAAC;CACnB;AAED,MAAM,WAAW,+BAA+B;IAC9C,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,WAAW,GAAG,QAAQ,CAAC;IACzD,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,KAAK,IAAI,GAAG;IACV,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAC;IACpE,eAAe,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE;YAAE,eAAe,CAAC,EAAE,OAAO,CAAA;SAAE,CAAA;KAAE,CAAC;CAC/D,CAAC;AACF,KAAK,UAAU,GAAG;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC7B,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,MAAM,EAAE,OAAO,EAAE,CAAA;KAAE,CAAC,CAAC;IAClD,eAAe,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;CACzC,CAAC;AASF,wBAAgB,gCAAgC,CAAC,IAAI,EAAE,0BAA0B,GAAG,MAAM,CAIzF;AAED,iFAAiF;AACjF,wBAAgB,mCAAmC,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,EAAE,CAuBpF"}
+{"version":3,"file":"workflow-completion-deadline.d.ts","sourceRoot":"","sources":["../../src/native-compiler/workflow-completion-deadline.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,MAAM,WAAW,0BAA0B;IACzC,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,SAAS,CAAC;CACnB;AAED,MAAM,WAAW,+BAA+B;IAC9C,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,WAAW,GAAG,QAAQ,CAAC;IACzD,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,KAAK,IAAI,GAAG;IACV,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAC;IACpE,eAAe,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE;YAAE,eAAe,CAAC,EAAE,OAAO,CAAC;YAAC,OAAO,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,UAAU,CAAA;SAAE,CAAA;KAAE,CAAC;CAC3G,CAAC;AACF,KAAK,UAAU,GAAG;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC7B,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,MAAM,EAAE,OAAO,EAAE,CAAA;KAAE,CAAC,CAAC;IAClD,eAAe,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;CACzC,CAAC;AASF,wBAAgB,gCAAgC,CAAC,IAAI,EAAE,0BAA0B,GAAG,MAAM,CAIzF;AAED,iFAAiF;AACjF,wBAAgB,mCAAmC,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,EAAE,CAuBpF"}

package/dist/native-compiler/workflow-completion-deadline.js

@@ -31,7 +31,7 @@ export function validateWorkflowCompletionDeadlines(definition) {
         const page = node.taskPageCode ? definition.taskPages?.[node.taskPageCode] : undefined;
         if (node.taskPageCode && (!page || requiresInput(page.fields)) ||
             [node.fieldPolicy?.default, ...Object.values(node.fieldPolicy?.fields || {})].includes('edit_required') ||
-            node.operationPolicy?.approve?.commentRequired === true || definition.commandHandlers?.approve !== undefined) {
+            (node.operationPolicy?.approve?.opinion === 'required' || node.operationPolicy?.approve?.commentRequired === true) || definition.commandHandlers?.approve !== undefined) {
             errors.push(`WORKFLOW_COMPLETION_DEADLINE_INPUT_REQUIRED:${id}`);
         }
     }

package/dist/native-compiler/workflow-completion-deadline.js.map

@@ -1 +1 @@
-{"version":3,"file":"workflow-completion-deadline.js","sourceRoot":"","sources":["../../src/native-compiler/workflow-completion-deadline.ts"],"names":[],"mappings":"AA4BA,SAAS,aAAa,CAAC,MAAe,EAAE,KAAK,GAAG,CAAC;IAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3E,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrF,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;QAC3D,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,IAAI,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1G,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,IAAgC;IAC/E,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC;IAClC,MAAM,QAAQ,GAAG,OAAO,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,OAAO,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,IAAI,CAAC;IAC7K,OAAO,OAAO,QAAQ,UAAU,CAAC;AACnC,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,mCAAmC,CAAC,UAAsB;IACxE,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,SAAS;QAChD,IAAI,IAAI,CAAC,kBAAkB,KAAK,SAAS;YAAE,SAAS;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,kBAAgE,CAAC;QACnF,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YACtF,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC1G,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,IAAI,CAAC,YAAa,GAAG,CAAC,IAAI,IAAI,CAAC,YAAa,GAAG,SAAS,EAAE,CAAC;YAChI,MAAM,CAAC,IAAI,CAAC,wCAAwC,EAAE,EAAE,CAAC,CAAC;YAC1D,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,iBAAiB,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1E,MAAM,CAAC,IAAI,CAAC,oDAAoD,EAAE,EAAE,CAAC,CAAC;QACxE,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACvF,IAAI,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC,IAAI,IAAI,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5D,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC;YACvG,IAAI,CAAC,eAAe,EAAE,OAAO,EAAE,eAAe,KAAK,IAAI,IAAI,UAAU,CAAC,eAAe,EAAE,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/G,MAAM,CAAC,IAAI,CAAC,+CAA+C,EAAE,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"workflow-completion-deadline.js","sourceRoot":"","sources":["../../src/native-compiler/workflow-completion-deadline.ts"],"names":[],"mappings":"AA4BA,SAAS,aAAa,CAAC,MAAe,EAAE,KAAK,GAAG,CAAC;IAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3E,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrF,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;QAC3D,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,IAAI,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1G,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,IAAgC;IAC/E,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC;IAClC,MAAM,QAAQ,GAAG,OAAO,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,OAAO,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,IAAI,CAAC;IAC7K,OAAO,OAAO,QAAQ,UAAU,CAAC;AACnC,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,mCAAmC,CAAC,UAAsB;IACxE,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,SAAS;QAChD,IAAI,IAAI,CAAC,kBAAkB,KAAK,SAAS;YAAE,SAAS;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,kBAAgE,CAAC;QACnF,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YACtF,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC1G,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,IAAI,CAAC,YAAa,GAAG,CAAC,IAAI,IAAI,CAAC,YAAa,GAAG,SAAS,EAAE,CAAC;YAChI,MAAM,CAAC,IAAI,CAAC,wCAAwC,EAAE,EAAE,CAAC,CAAC;YAC1D,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,iBAAiB,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1E,MAAM,CAAC,IAAI,CAAC,oDAAoD,EAAE,EAAE,CAAC,CAAC;QACxE,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACvF,IAAI,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC,IAAI,IAAI,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5D,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC;YACvG,CAAC,IAAI,CAAC,eAAe,EAAE,OAAO,EAAE,OAAO,KAAK,UAAU,IAAI,IAAI,CAAC,eAAe,EAAE,OAAO,EAAE,eAAe,KAAK,IAAI,CAAC,IAAI,UAAU,CAAC,eAAe,EAAE,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1K,MAAM,CAAC,IAAI,CAAC,+CAA+C,EAAE,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/native-compiler/workflow-correction.d.ts

@@ -1,5 +1,6 @@
 /** Fixed data correction task; assignment always belongs to the instance initiator. */
 export interface WorkflowCorrectionNode {
+    reminders?: import('./workflow-reminders.js').WorkflowReminders;
     id: string;
     kind: 'correction';
     title: string;

package/dist/native-compiler/workflow-correction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"workflow-correction.d.ts","sourceRoot":"","sources":["../../src/native-compiler/workflow-correction.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,YAAY,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,KAAK,UAAU,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAAC,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,CAAC;AAE1J,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,EAAE,CAsC5E"}
+{"version":3,"file":"workflow-correction.d.ts","sourceRoot":"","sources":["../../src/native-compiler/workflow-correction.ts"],"names":[],"mappings":"AACA,uFAAuF;AACvF,MAAM,WAAW,sBAAsB;IACrC,SAAS,CAAC,EAAE,OAAO,yBAAyB,EAAE,iBAAiB,CAAC;IAChE,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,YAAY,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,KAAK,UAAU,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAAC,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,CAAC;AAE1J,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,EAAE,CAsC5E"}

package/dist/native-compiler/workflow-correction.js

@@ -1,3 +1,4 @@
+import { workflowReturnTargets } from './workflow-return-policy.js';
 const object = (value) => !!value && typeof value === 'object' && !Array.isArray(value) && [null, Object.prototype].includes(Object.getPrototypeOf(value));
 export function validateWorkflowCorrections(definition) {
     const nodes = definition?.nodes || {};
@@ -7,7 +8,7 @@ export function validateWorkflowCorrections(definition) {
     const errors = [];
     const targets = (node) => node?.kind === 'approval' ? [node.onApprove, node.onReject]
         : node?.kind === 'condition' ? [...(Array.isArray(node.branches) ? node.branches : []).map((branch) => branch.target), node.otherwise]
-            : node?.kind === 'action' || node?.kind === 'cc' ? [node.next] : [];
+            : node?.kind === 'action' || node?.kind === 'cc' || node?.kind === 'handle' ? [node.next] : [];
     const forward = new Set();
     const pending = [definition.startAt];
     while (pending.length) {
@@ -18,7 +19,7 @@ export function validateWorkflowCorrections(definition) {
         pending.push(...targets(nodes[id]));
     }
     for (const node of corrections) {
-        if (!object(node) || Object.keys(node).some(key => !['id', 'kind', 'title', 'taskPageCode', 'next'].includes(key)) ||
+        if (!object(node) || Object.keys(node).some(key => !['id', 'kind', 'title', 'taskPageCode', 'next', 'reminders'].includes(key)) ||
             typeof node.id !== 'string' || !/^[A-Za-z][A-Za-z0-9_-]{0,127}$/.test(node.id) ||
             ['__proto__', 'prototype', 'constructor'].includes(node.id) || nodes[node.id] !== node ||
             typeof node.title !== 'string' || !node.title.trim() || node.title.length > 255 ||
@@ -28,8 +29,8 @@ export function validateWorkflowCorrections(definition) {
             errors.push('WORKFLOW_CORRECTION_REPLAY_TARGET_INVALID');
         if (forward.has(node.id) || Object.values(nodes).some(current => targets(current).includes(node.id)))
             errors.push('WORKFLOW_CORRECTION_FORWARD_ENTRY_FORBIDDEN');
-        if (!Object.values(nodes).some(current => current?.kind === 'approval' && forward.has(current.id) &&
-            Array.isArray(current.returnTargets) && current.returnTargets.includes(node.id)))
+        if (!Object.values(nodes).some(current => (current?.kind === 'approval' || current?.kind === 'handle') && forward.has(current.id) &&
+            workflowReturnTargets(current).includes(node.id)))
             errors.push('WORKFLOW_CORRECTION_RETURN_SOURCE_REQUIRED');
         const page = definition.taskPages?.[node.taskPageCode];
         if (!page || !Array.isArray(page.fields))

package/dist/native-compiler/workflow-correction.js.map

@@ -1 +1 @@
-{"version":3,"file":"workflow-correction.js","sourceRoot":"","sources":["../../src/native-compiler/workflow-correction.ts"],"names":[],"mappings":"AAUA,MAAM,MAAM,GAAG,CAAC,KAAc,EAAgC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAClM,MAAM,UAAU,2BAA2B,CAAC,UAAsB;IAChE,MAAM,KAAK,GAAG,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC;IACtC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC;IACrF,IAAI,CAAC,WAAW,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,CAAC,IAAS,EAAY,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC;QAClG,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAW,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC;YAC3I,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACrC,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;QAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QACzD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAAC,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAChH,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9E,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI;YACtF,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,GAAG;YAC/E,OAAO,IAAI,CAAC,YAAY,KAAK,QAAQ,IAAI,CAAC,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;YACjG,MAAM,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QAClD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,YAAY;YAC7E,MAAM,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;QAC3D,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClG,MAAM,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;QAC7D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/F,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChF,MAAM,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACvD,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QAC3F,wEAAwE;QACxE,4EAA4E;aACvE,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAU,EAAE,EAAE,CAAC,KAAK,EAAE,QAAQ;YACvD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,cAAc,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAClE,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;YAC5D,MAAM,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"workflow-correction.js","sourceRoot":"","sources":["../../src/native-compiler/workflow-correction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAYpE,MAAM,MAAM,GAAG,CAAC,KAAc,EAAgC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAClM,MAAM,UAAU,2BAA2B,CAAC,UAAsB;IAChE,MAAM,KAAK,GAAG,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC;IACtC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC;IACrF,IAAI,CAAC,WAAW,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,CAAC,IAAS,EAAY,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC;QAClG,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAW,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC;YAC3I,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,IAAI,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjG,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACrC,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;QAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QACzD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAAC,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC7H,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9E,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI;YACtF,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,GAAG;YAC/E,OAAO,IAAI,CAAC,YAAY,KAAK,QAAQ,IAAI,CAAC,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;YACjG,MAAM,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QAClD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,YAAY;YAC7E,MAAM,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;QAC3D,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClG,MAAM,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;QAC7D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,KAAK,UAAU,IAAI,OAAO,EAAE,IAAI,KAAK,QAAQ,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/H,qBAAqB,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACvD,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QAC3F,wEAAwE;QACxE,4EAA4E;aACvE,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAU,EAAE,EAAE,CAAC,KAAK,EAAE,QAAQ;YACvD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,cAAc,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAClE,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;YAC5D,MAAM,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9B,CAAC"}

package/dist/native-compiler/workflow-designer.d.ts

@@ -0,0 +1,127 @@
+import type { WorkflowBinding, WorkflowDefinition, WorkflowExpression, WorkflowNode } from '../types.js';
+export type WorkflowPublicationScope = 'running_and_new' | 'new_only';
+export type WorkflowAdoptionOutcome = 'eligible' | 'migrated' | 'deferred' | 'excepted' | 'held' | 'failed' | 'superseded' | 'completed';
+export interface WorkflowDesignerDraft {
+    workflowCode: string;
+    environmentKey: string;
+    revision: number;
+    baseHeadRevision: number;
+    definitionVersion: number;
+    bindingVersion: number;
+    definition: WorkflowDefinition;
+    binding: WorkflowBinding;
+    publishedDefinition: WorkflowDefinition;
+    publishedBinding: WorkflowBinding;
+    updatedAt?: string;
+    updatedBy?: string;
+}
+export interface WorkflowDesignerSave {
+    expectedRevision: number;
+    expectedHeadRevision: number;
+    operationId: string;
+    definition: WorkflowDefinition;
+    binding: WorkflowBinding;
+}
+export interface WorkflowPublicationHold {
+    instanceIds?: string[];
+    nodeIds?: string[];
+    reason: string;
+}
+export interface WorkflowDesignerPublish {
+    expectedRevision: number;
+    expectedHeadRevision: number;
+    operationId: string;
+    reason: string;
+    scope?: WorkflowPublicationScope;
+    holds?: WorkflowPublicationHold[];
+    acknowledgeExceptions?: boolean;
+}
+export interface WorkflowPublicationPreview {
+    revision: number;
+    total: number;
+    counts: Partial<Record<WorkflowAdoptionOutcome, number>>;
+    items: Array<{
+        instanceId: string;
+        businessKey: string;
+        nodeTitle: string;
+        fromVersion: number;
+        outcome: WorkflowAdoptionOutcome;
+        reason?: string;
+    }>;
+    truncated: boolean;
+}
+export interface WorkflowPublicationReceipt {
+    publicationId: string;
+    workflowCode: string;
+    definitionVersion: number;
+    bindingVersion: number;
+    headRevision: number;
+    scope: WorkflowPublicationScope;
+    status: 'running' | 'completed' | 'paused' | 'superseded';
+    counts: Partial<Record<WorkflowAdoptionOutcome, number>>;
+    replayed?: boolean;
+}
+export declare function workflowDesignerTargets(node: Record<string, any>): string[];
+/** The canvas can route released capabilities; it cannot invent a business validator, page or handler. */
+export declare function validateWorkflowDesignerCapabilities(base: WorkflowDefinition, next: WorkflowDefinition, baseBinding: WorkflowBinding, nextBinding: WorkflowBinding): string[];
+export type WorkflowDesignerEdit = {
+    type: 'insert_parallel';
+    from: string;
+    target: string;
+    id: string;
+    joinId: string;
+    title: string;
+    branches: Array<{
+        id: string;
+        title: string;
+        when?: WorkflowExpression;
+    }>;
+    edge?: 'approve' | 'reject' | 'next' | 'default' | number;
+} | {
+    type: 'remove_parallel_branch';
+    nodeId: string;
+    branchId: string;
+} | {
+    type: 'insert';
+    from: string;
+    target: string;
+    node: WorkflowNode;
+    edge?: 'approve' | 'reject' | 'next' | 'default' | number;
+} | {
+    type: 'remove';
+    nodeId: string;
+    reconnectTo?: string;
+} | {
+    type: 'node';
+    nodeId: string;
+    patch: Record<string, unknown>;
+} | {
+    type: 'branch';
+    nodeId: string;
+    index: number;
+    when: WorkflowExpression;
+    label?: string;
+    target: string;
+};
+/** Semantic edits are independent of canvas coordinates and preserve stable existing ids. */
+export declare function editWorkflowDesignerDefinition(source: WorkflowDefinition, edit: WorkflowDesignerEdit): WorkflowDefinition;
+export interface WorkflowAdoptionState {
+    currentNodeId?: string;
+    activeNodeIds?: string[];
+    forkNodeId?: string;
+    unarrivedBranchIds?: string[];
+    facts: Record<string, unknown>;
+    returnTargetNodeIds?: string[];
+    businessStepPending?: boolean;
+    held?: boolean;
+}
+/** Classification is pure; the caller locks and re-reads before applying a result. */
+export declare function classifyWorkflowAdoption(source: WorkflowDefinition, target: WorkflowDefinition, state: WorkflowAdoptionState): {
+    outcome: WorkflowAdoptionOutcome;
+    reason?: string;
+};
+/** Typed expression validation shared by canvas, AI proposals and publication. */
+export declare function validateWorkflowDesignerDocument(definition: WorkflowDefinition): string[];
+/** Enumerate all typed fact leaves, including fields not used in an existing branch. */
+export declare function workflowDesignerVariables(definition: WorkflowDefinition): import("./workflow-graph.js").WorkflowGraphVariable[];
+//# sourceMappingURL=workflow-designer.d.ts.map

package/dist/native-compiler/workflow-designer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow-designer.d.ts","sourceRoot":"","sources":["../../src/native-compiler/workflow-designer.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAIzG,MAAM,MAAM,wBAAwB,GAAG,iBAAiB,GAAG,UAAU,CAAC;AACtE,MAAM,MAAM,uBAAuB,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,YAAY,GAAG,WAAW,CAAC;AACzI,MAAM,WAAW,qBAAqB;IACpC,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB,EAAE,MAAM,CAAC;IACzB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,kBAAkB,CAAC;IAC/B,OAAO,EAAE,eAAe,CAAC;IACzB,mBAAmB,EAAE,kBAAkB,CAAC;IACxC,gBAAgB,EAAE,eAAe,CAAC;IAClC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AACD,MAAM,WAAW,oBAAoB;IACnC,gBAAgB,EAAE,MAAM,CAAC;IACzB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,kBAAkB,CAAC;IAC/B,OAAO,EAAE,eAAe,CAAC;CAC1B;AACD,MAAM,WAAW,uBAAuB;IAAG,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACvG,MAAM,WAAW,uBAAuB;IACtC,gBAAgB,EAAE,MAAM,CAAC;IACzB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,wBAAwB,CAAC;IACjC,KAAK,CAAC,EAAE,uBAAuB,EAAE,CAAC;IAClC,qBAAqB,CAAC,EAAE,OAAO,CAAC;CACjC;AACD,MAAM,WAAW,0BAA0B;IACzC,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,uBAAuB,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,KAAK,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,uBAAuB,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrJ,SAAS,EAAE,OAAO,CAAC;CACpB;AACD,MAAM,WAAW,0BAA0B;IACzC,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,wBAAwB,CAAC;IAChC,MAAM,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,YAAY,CAAC;IAC1D,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,uBAAuB,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAKD,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,MAAM,EAAE,CAK3E;AAED,0GAA0G;AAC1G,wBAAgB,oCAAoC,CAAC,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,kBAAkB,EAAE,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,eAAe,GAAG,MAAM,EAAE,CA2C7K;AAED,MAAM,MAAM,oBAAoB,GAC5B;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,kBAAkB,CAAA;KAAE,CAAC,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,CAAA;CAAE,GAC1O;IAAE,IAAI,EAAE,wBAAwB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACpE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,GAAG,QAAQ,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,CAAA;CAAE,GAC/H;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GAChE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,kBAAkB,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhH,6FAA6F;AAC7F,wBAAgB,8BAA8B,CAAC,MAAM,EAAE,kBAAkB,EAAE,IAAI,EAAE,oBAAoB,GAAG,kBAAkB,CAwEzH;AAED,MAAM,WAAW,qBAAqB;IACpC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,mBAAmB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC/B,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAID,sFAAsF;AACtF,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,kBAAkB,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,qBAAqB,GAAG;IAAE,OAAO,EAAE,uBAAuB,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAsCpL;AAED,kFAAkF;AAClF,wBAAgB,gCAAgC,CAAC,UAAU,EAAE,kBAAkB,GAAG,MAAM,EAAE,CA4DzF;AAED,wFAAwF;AACxF,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,kBAAkB,yDAUvE"}

package/dist/native-compiler/workflow-designer.js

@@ -0,0 +1,397 @@
+import { inspectWorkflowParallel, validateWorkflowParallel } from './workflow-parallel.js';
+import { validateWorkflowSupervisorChains } from './workflow-supervisor-chain.js';
+import { validateWorkflowReminders } from './workflow-reminders.js';
+import { isWorkflowPlatformNotify, validateWorkflowPlatformNotify } from './workflow-platform-notify.js';
+import { validateWorkflowReturnPolicies } from './workflow-return-policy.js';
+import { validateWorkflowHandlingNodes } from './workflow-handle.js';
+import { workflowOperationMinimumOpinion, workflowOperationOpinion } from './workflow-node-administration.js';
+import { projectWorkflowGraph, workflowExpressionPaths } from './workflow-graph.js';
+const record = (value) => !!value && typeof value === 'object' && !Array.isArray(value);
+const canonical = (value) => Array.isArray(value) ? value.map(canonical) : record(value) ? Object.fromEntries(Object.keys(value).sort().map(key => [key, canonical(value[key])])) : value;
+const same = (a, b) => JSON.stringify(canonical(a)) === JSON.stringify(canonical(b));
+export function workflowDesignerTargets(node) {
+    if (node.kind === 'approval')
+        return [node.onApprove, node.onReject];
+    if (node.kind === 'parallel')
+        return [...(node.branches || []).map((branch) => branch.target), node.join];
+    if (node.kind === 'condition')
+        return [...(node.branches || []).map((branch) => branch.target), node.otherwise];
+    return 'next' in node ? [node.next] : [];
+}
+/** The canvas can route released capabilities; it cannot invent a business validator, page or handler. */
+export function validateWorkflowDesignerCapabilities(base, next, baseBinding, nextBinding) {
+    const errors = [...validateWorkflowReminders(next), ...validateWorkflowSupervisorChains(next, nextBinding)];
+    if (!record(next) || !record(next.nodes) || !record(nextBinding?.bindings))
+        return ['WORKFLOW_DESIGNER_DOCUMENT_INVALID'];
+    const editable = new Set(['title', 'startAt', 'nodes', 'readability']);
+    for (const key of new Set([...Object.keys(base), ...Object.keys(next)]))
+        if (!editable.has(key) && !same(base[key], next[key]))
+            errors.push(`WORKFLOW_DESIGNER_CODE_OWNED:${key}`);
+    if (baseBinding.workflowCode !== nextBinding.workflowCode || baseBinding.schemaVersion !== nextBinding.schemaVersion)
+        errors.push('WORKFLOW_DESIGNER_BINDING_IDENTITY');
+    const steps = Object.values(base.nodes).filter(node => node.kind === 'action');
+    for (const [id, node] of Object.entries(next.nodes)) {
+        if (!record(node) || node.id !== id || !['approval', 'handle', 'condition', 'cc', 'action', 'correction', 'end', 'parallel', 'join'].includes(node.kind)) {
+            errors.push(`WORKFLOW_DESIGNER_NODE_INVALID:${id}`);
+            continue;
+        }
+        if ('taskPageCode' in node && node.taskPageCode && !base.taskPages?.[node.taskPageCode])
+            errors.push(`WORKFLOW_DESIGNER_PAGE_UNRELEASED:${id}`);
+        if (node.kind === 'action' && !isWorkflowPlatformNotify(node) && !steps.some(step => step.kind === 'action' && same(step.handler, node.handler) && same(step.inputs, node.inputs) && same(step.outputSchema, node.outputSchema)))
+            errors.push(`WORKFLOW_DESIGNER_STEP_UNRELEASED:${id}`);
+        if (['approval', 'handle'].includes(node.kind) && 'allowedOperations' in node && node.allowedOperations && (!Array.isArray(node.allowedOperations) || !node.allowedOperations.includes(node.kind === 'handle' ? 'complete' : 'approve')))
+            errors.push(`WORKFLOW_DESIGNER_REQUIRED_ACTION:${id}.approve`);
+        const original = base.nodes[id] || (node.kind === 'approval' || node.kind === 'handle' ? Object.values(base.nodes).find(template => {
+            if (template.kind !== node.kind || !['approval', 'handle'].includes(template.kind) || !['fieldPolicy', 'administration', 'requiredOperations', 'taskPageCode'].every(key => same(template[key], node[key])))
+                return false;
+            const human = template;
+            if (node.mode !== human.mode && !human.administration?.modes?.includes(node.mode))
+                return false;
+            const ranks = ['none', 'optional', 'required'];
+            return Object.entries(human.operationPolicy || {}).every(([operation, policy]) => {
+                const nextPolicy = node.operationPolicy?.[operation];
+                return same(policy?.minimumOpinion, nextPolicy?.minimumOpinion) && ranks.indexOf(workflowOperationOpinion(operation, nextPolicy)) >= ranks.indexOf(workflowOperationMinimumOpinion(operation, policy));
+            });
+        }) : undefined);
+        if (!original && (node.kind === 'approval' || node.kind === 'handle'))
+            errors.push(`WORKFLOW_DESIGNER_APPROVAL_TEMPLATE_REQUIRED:${id}`);
+        if ((original?.kind === 'approval' || original?.kind === 'handle') && (node.kind === 'approval' || node.kind === 'handle')) {
+            if (node.mode !== original.mode && !original.administration?.modes?.includes(node.mode))
+                errors.push(`WORKFLOW_DESIGNER_MODE_NOT_ALLOWED:${id}`);
+            for (const key of ['requiredOperations', 'fieldPolicy', 'administration'])
+                if (!same(original[key], node[key]))
+                    errors.push(`WORKFLOW_DESIGNER_CODE_OWNED:${id}.${key}`);
+            for (const operation of original.requiredOperations || [])
+                if (node.allowedOperations && !node.allowedOperations.includes(operation))
+                    errors.push(`WORKFLOW_DESIGNER_REQUIRED_ACTION:${id}.${operation}`);
+            for (const [operation, policy] of Object.entries(original.operationPolicy || {})) {
+                const nextPolicy = node.operationPolicy?.[operation];
+                const ranks = ['none', 'optional', 'required'];
+                if (!same(policy?.minimumOpinion, nextPolicy?.minimumOpinion) || ranks.indexOf(workflowOperationOpinion(operation, nextPolicy)) < ranks.indexOf(workflowOperationMinimumOpinion(operation, policy)))
+                    errors.push(`WORKFLOW_DESIGNER_CODE_OWNED:${id}.${operation}.minimumOpinion`);
+            }
+        }
+        if ('binding' in node && !nextBinding.bindings[node.binding])
+            errors.push(`WORKFLOW_DESIGNER_BINDING_MISSING:${id}`);
+    }
+    if (!same(base.readability?.logic, next.readability?.logic))
+        errors.push('WORKFLOW_DESIGNER_CODE_OWNED:readability.logic');
+    for (const [key, entry] of Object.entries(nextBinding.bindings)) {
+        const original = baseBinding.bindings[key];
+        if (!original && !Object.values(baseBinding.bindings).some(value => same(value, entry)))
+            errors.push(`WORKFLOW_DESIGNER_BINDING_UNRELEASED:${key}`);
+        if (original && !same(original, entry))
+            errors.push(`WORKFLOW_DESIGNER_BINDING_CODE_OWNED:${key}`);
+    }
+    errors.push(...validateWorkflowDesignerDocument(next));
+    return [...new Set(errors)];
+}
+/** Semantic edits are independent of canvas coordinates and preserve stable existing ids. */
+export function editWorkflowDesignerDefinition(source, edit) {
+    if (edit.type === 'insert_parallel') {
+        if (source.nodes[edit.joinId] || edit.joinId === edit.id || edit.branches.length < 2 || edit.branches.length > 8)
+            throw new Error('WORKFLOW_DESIGNER_PARALLEL_INSERT_INVALID');
+        const next = editWorkflowDesignerDefinition(source, { type: 'insert', from: edit.from, target: edit.target, node: { id: edit.id, kind: 'parallel', title: edit.title, join: edit.joinId, branches: edit.branches.map(branch => ({ ...branch, target: edit.joinId })) }, ...(edit.edge === undefined ? {} : { edge: edit.edge }) });
+        next.nodes[edit.joinId] = { id: edit.joinId, kind: 'join', title: '全部完成后继续', parallel: edit.id, next: edit.target };
+        return next;
+    }
+    const definition = structuredClone(source);
+    const rewrite = (from, target, replacement) => {
+        if (from.kind === 'approval') {
+            if (from.onApprove === target)
+                from.onApprove = replacement;
+            if (from.onReject === target)
+                from.onReject = replacement;
+        }
+        else if (from.kind === 'condition') {
+            for (const branch of from.branches)
+                if (branch.target === target)
+                    branch.target = replacement;
+            if (from.otherwise === target)
+                from.otherwise = replacement;
+        }
+        else if (from.kind === 'parallel') {
+            for (const branch of from.branches)
+                if (branch.target === target)
+                    branch.target = replacement;
+        }
+        else if ('next' in from && from.next === target)
+            from.next = replacement;
+    };
+    if (edit.type === 'insert') {
+        const from = definition.nodes[edit.from];
+        if (!from || definition.nodes[edit.node.id] || !workflowDesignerTargets(from).includes(edit.target) || !definition.nodes[edit.target])
+            throw new Error('WORKFLOW_DESIGNER_INSERT_INVALID');
+        definition.nodes[edit.node.id] = structuredClone(edit.node);
+        if (from.kind === 'approval') {
+            const key = edit.edge === 'reject' ? 'onReject' : 'onApprove';
+            if (from[key] !== edit.target)
+                throw new Error('WORKFLOW_DESIGNER_INSERT_EDGE_INVALID');
+            from[key] = edit.node.id;
+        }
+        else if (from.kind === 'parallel') {
+            if (typeof edit.edge !== 'number' || from.branches[edit.edge]?.target !== edit.target)
+                throw new Error('WORKFLOW_DESIGNER_INSERT_EDGE_INVALID');
+            from.branches[edit.edge].target = edit.node.id;
+        }
+        else if (from.kind === 'condition') {
+            if (typeof edit.edge === 'number' && from.branches[edit.edge]?.target === edit.target)
+                from.branches[edit.edge].target = edit.node.id;
+            else if (edit.edge === 'default' && from.otherwise === edit.target)
+                from.otherwise = edit.node.id;
+            else
+                throw new Error('WORKFLOW_DESIGNER_INSERT_EDGE_INVALID');
+        }
+        else if ('next' in from)
+            from.next = edit.node.id;
+        else
+            throw new Error('WORKFLOW_DESIGNER_INSERT_EDGE_INVALID');
+    }
+    else if (edit.type === 'remove_parallel_branch') {
+        const fork = definition.nodes[edit.nodeId];
+        if (fork?.kind !== 'parallel' || fork.branches.length <= 2)
+            throw new Error('WORKFLOW_PARALLEL_BRANCH_LIMIT');
+        const region = inspectWorkflowParallel(definition).regions.find(region => region.parallelNodeId === fork.id);
+        const branch = region?.branches.find(branch => branch.id === edit.branchId);
+        if (!branch)
+            throw new Error('WORKFLOW_DESIGNER_PARALLEL_BRANCH_MISSING');
+        fork.branches = fork.branches.filter(branch => branch.id !== edit.branchId);
+        for (const id of branch.nodeIds)
+            delete definition.nodes[id];
+    }
+    else if (edit.type === 'remove') {
+        const node = definition.nodes[edit.nodeId];
+        if (node?.kind === 'parallel') {
+            const join = definition.nodes[node.join];
+            const region = inspectWorkflowParallel(definition).regions.find(region => region.parallelNodeId === node.id);
+            if (join?.kind !== 'join' || !region)
+                throw new Error('WORKFLOW_DESIGNER_PARALLEL_PAIR_INVALID');
+            const removed = new Set([node.id, join.id, ...region.branches.flatMap(branch => branch.nodeIds)]);
+            for (const other of Object.values(definition.nodes))
+                if (!removed.has(other.id))
+                    for (const id of removed)
+                        rewrite(other, id, join.next);
+            for (const id of removed)
+                delete definition.nodes[id];
+            if (definition.startAt === node.id)
+                definition.startAt = join.next;
+            return definition;
+        }
+        const target = edit.reconnectTo || (node?.kind === 'approval' ? node.onApprove : node && 'next' in node ? node.next : undefined);
+        if (!node || !target || target === node.id || !definition.nodes[target] || node.kind === 'end' || node.kind === 'correction' || node.kind === 'join')
+            throw new Error('WORKFLOW_DESIGNER_REMOVE_INVALID');
+        for (const other of Object.values(definition.nodes)) {
+            rewrite(other, node.id, target);
+            if ((other.kind === 'approval' || other.kind === 'handle') && other.returnTargets)
+                other.returnTargets = other.returnTargets.filter(id => id !== node.id);
+            if ((other.kind === 'approval' || other.kind === 'handle') && other.returnPolicy)
+                other.returnPolicy.targets = other.returnPolicy.targets.filter(target => target.nodeId !== node.id);
+        }
+        if (definition.startAt === node.id)
+            definition.startAt = target;
+        delete definition.nodes[node.id];
+    }
+    else {
+        const node = definition.nodes[edit.nodeId];
+        if (!node)
+            throw new Error('WORKFLOW_DESIGNER_NODE_MISSING');
+        if (edit.type === 'node') {
+            if ('id' in edit.patch || 'kind' in edit.patch)
+                throw new Error('WORKFLOW_DESIGNER_NODE_ID_IMMUTABLE');
+            Object.assign(node, edit.patch);
+        }
+        else {
+            if (node.kind !== 'condition' || edit.index < 0 || edit.index > node.branches.length)
+                throw new Error('WORKFLOW_DESIGNER_BRANCH_INVALID');
+            node.branches[edit.index] = { when: structuredClone(edit.when), target: edit.target, ...(edit.label ? { label: edit.label } : {}) };
+        }
+    }
+    return definition;
+}
+const pathValue = (value, path) => path.split('.').reduce((current, part) => record(current) && Object.hasOwn(current, part) ? current[part] : undefined, value);
+const matchesType = (value, type) => type.includes(',') ? type.split(',').some(part => matchesType(value, part)) : type === 'unknown' ? true : type === 'null' ? value === null : type === 'number' || type === 'integer' ? typeof value === 'number' && Number.isFinite(value) && (type !== 'integer' || Number.isInteger(value)) : type === 'array' ? Array.isArray(value) : type === 'object' ? record(value) : typeof value === type;
+/** Classification is pure; the caller locks and re-reads before applying a result. */
+export function classifyWorkflowAdoption(source, target, state) {
+    if (state.held)
+        return { outcome: 'held', reason: '已指定保留在原版本' };
+    const active = state.activeNodeIds?.length ? state.activeNodeIds : state.currentNodeId ? [state.currentNodeId] : [];
+    if (!active.length)
+        return { outcome: 'excepted', reason: '当前运行位置无法确定' };
+    if (active.some(id => !target.nodes[id]))
+        return { outcome: 'excepted', reason: '当前节点已被删除' };
+    if (active.some(id => source.nodes[id]?.kind !== target.nodes[id]?.kind))
+        return { outcome: 'excepted', reason: '当前节点类型已改变' };
+    if ((state.returnTargetNodeIds || []).some(id => !target.nodes[id]))
+        return { outcome: 'excepted', reason: '正在退回的目标节点已被删除' };
+    if (!same(source.subject, target.subject) || !same(source.inputSchema, target.inputSchema))
+        return { outcome: 'excepted', reason: '申请数据或变量定义已改变，需要明确的数据转换' };
+    if (state.forkNodeId) {
+        const from = source.nodes[state.forkNodeId], to = target.nodes[state.forkNodeId];
+        if (from?.kind !== 'parallel' || to?.kind !== 'parallel' || from.join !== to.join)
+            return { outcome: 'excepted', reason: '正在运行的并行分支或汇合点已改变' };
+        const sourceRegion = inspectWorkflowParallel(source).regions.find(region => region.parallelNodeId === from.id);
+        const targetRegion = inspectWorkflowParallel(target).regions.find(region => region.parallelNodeId === to.id);
+        for (const id of state.unarrivedBranchIds || []) {
+            const branch = targetRegion?.branches.find(branch => branch.id === id);
+            if (!branch || active.some(node => sourceRegion?.branches.find(branch => branch.id === id)?.nodeIds.includes(node) && !branch.nodeIds.includes(node)))
+                return { outcome: 'excepted', reason: '尚未完成的并行分支或其当前节点已改变' };
+        }
+    }
+    if (state.businessStepPending)
+        return { outcome: 'deferred', reason: '业务步骤执行中，完成后自动更新' };
+    const reachable = new Set(), pending = [...active];
+    while (pending.length) {
+        const id = pending.pop();
+        if (reachable.has(id))
+            continue;
+        reachable.add(id);
+        pending.push(...workflowDesignerTargets(target.nodes[id] || {}).filter(id => !!target.nodes[id]));
+    }
+    const graph = projectWorkflowGraph(target, 'preview');
+    for (const node of Object.values(target.nodes)) {
+        if (!reachable.has(node.id))
+            continue;
+        const expressions = node.kind === 'condition' ? node.branches.map(branch => branch.when) : node.kind === 'action' ? Object.values(node.inputs).filter(input => input.source === 'fact').map(input => ({ op: 'path', path: input.path })) : [];
+        for (const expression of expressions)
+            for (const path of workflowExpressionPaths(expression).paths) {
+                const variable = graph.variables.find(variable => variable.path === path);
+                const value = pathValue(state.facts, path);
+                if (value === undefined && variable?.source.kind === 'step_output' && reachable.has(variable.source.nodeId) && !active.includes(variable.source.nodeId)) {
+                    const withoutProducer = new Set(), queue = [...active];
+                    while (queue.length) {
+                        const id = queue.pop();
+                        if (id === variable.source.nodeId || withoutProducer.has(id))
+                            continue;
+                        withoutProducer.add(id);
+                        queue.push(...workflowDesignerTargets(target.nodes[id] || {}).filter(id => !!target.nodes[id]));
+                    }
+                    if (!withoutProducer.has(node.id))
+                        continue;
+                }
+                if (value === undefined && variable && !variable.required && (variable.source.kind !== 'step_output' || record(pathValue(state.facts, `steps.${variable.source.nodeId}`))))
+                    continue;
+                if (value === undefined || variable && !matchesType(value, variable.type))
+                    return { outcome: 'excepted', reason: `后续条件需要的数据在该申请中不存在或类型不兼容：${variable?.label || path}` };
+            }
+    }
+    return { outcome: 'eligible' };
+}
+/** Typed expression validation shared by canvas, AI proposals and publication. */
+export function validateWorkflowDesignerDocument(definition) {
+    if (!record(definition?.nodes))
+        return ['WORKFLOW_DESIGNER_DOCUMENT_INVALID'];
+    const errors = [];
+    errors.push(...validateWorkflowParallel(definition), ...validateWorkflowHandlingNodes(definition), ...validateWorkflowReturnPolicies(definition), ...validateWorkflowPlatformNotify(definition));
+    const nodes = Object.values(definition.nodes);
+    if (nodes.length > 200 || !nodes.length)
+        return ['WORKFLOW_DESIGNER_NODE_LIMIT'];
+    for (const node of nodes) {
+        if (!record(node) || !['approval', 'handle', 'condition', 'cc', 'action', 'correction', 'end', 'parallel', 'join'].includes(node.kind))
+            errors.push('WORKFLOW_DESIGNER_NODE_INVALID');
+        else if (node.kind === 'condition' && (!Array.isArray(node.branches) || !node.branches.length || node.branches.length > 32 || node.branches.some(branch => !record(branch) || !record(branch.when) || typeof branch.target !== 'string')))
+            errors.push(`WORKFLOW_DESIGNER_BRANCH_INVALID:${node.id}`);
+    }
+    if (errors.length)
+        return [...new Set(errors)];
+    const variables = projectWorkflowGraph(definition, 'draft').variables;
+    let expressionCount = 0;
+    const expressionType = (expression, nodeId, depth = 0) => {
+        if (!record(expression) || depth > 16 || ++expressionCount > 4096) {
+            errors.push(`WORKFLOW_DESIGNER_EXPRESSION_LIMIT:${nodeId}`);
+            return 'invalid';
+        }
+        if (expression.op === 'literal') {
+            const value = expression.value;
+            return value === null ? 'null' : Array.isArray(value) ? 'array' : typeof value === 'object' ? 'object' : typeof value;
+        }
+        if (expression.op === 'path') {
+            const variable = variables.find(item => item.path === expression.path);
+            if (!variable || variable.type === 'unknown')
+                errors.push(`WORKFLOW_DESIGNER_VARIABLE_UNKNOWN:${nodeId}:${expression.path}`);
+            const type = variable?.type.split(',').find(type => type !== 'null') || variable?.type || 'unknown';
+            return type === 'integer' ? 'number' : type;
+        }
+        if (expression.op === 'and' || expression.op === 'or') {
+            if (!Array.isArray(expression.values) || expression.values.length < 1 || expression.values.length > 32) {
+                errors.push(`WORKFLOW_DESIGNER_CONDITION_GROUP:${nodeId}`);
+                return 'invalid';
+            }
+            for (const value of expression.values)
+                if (expressionType(value, nodeId, depth + 1) !== 'boolean')
+                    errors.push(`WORKFLOW_DESIGNER_CONDITION_BOOLEAN:${nodeId}`);
+        }
+        else if (expression.op === 'not' || expression.op === 'exists') {
+            const type = expressionType(expression.value, nodeId, depth + 1);
+            if (expression.op === 'not' && type !== 'boolean')
+                errors.push(`WORKFLOW_DESIGNER_CONDITION_BOOLEAN:${nodeId}`);
+        }
+        else if (['eq', 'neq', 'gt', 'gte', 'lt', 'lte', 'in', 'contains'].includes(expression.op) && 'left' in expression) {
+            const left = expressionType(expression.left, nodeId, depth + 1), right = expressionType(expression.right, nodeId, depth + 1);
+            const compatible = expression.op === 'in' ? right === 'array' : expression.op === 'contains' ? left === 'array' || left === 'string' && right === 'string' : ['gt', 'gte', 'lt', 'lte'].includes(expression.op) ? left === right && ['number', 'string'].includes(left) : left === right || left === 'null' || right === 'null';
+            if (!compatible)
+                errors.push(`WORKFLOW_DESIGNER_CONDITION_TYPE:${nodeId}`);
+        }
+        else
+            errors.push(`WORKFLOW_DESIGNER_CONDITION_OPERATOR:${nodeId}`);
+        return 'boolean';
+    };
+    const completed = new Set(), active = new Set();
+    const walk = (id) => {
+        if (active.has(id)) {
+            errors.push(`WORKFLOW_DESIGNER_CYCLE:${id}`);
+            return;
+        }
+        if (completed.has(id))
+            return;
+        const node = definition.nodes[id];
+        if (!node) {
+            errors.push(`WORKFLOW_DESIGNER_TARGET_MISSING:${id}`);
+            return;
+        }
+        active.add(id);
+        for (const target of workflowDesignerTargets(node))
+            walk(target);
+        active.delete(id);
+        completed.add(id);
+    };
+    for (const node of nodes) {
+        if (!/^[a-z][a-z0-9_-]{0,127}$/.test(node.id) || definition.nodes[node.id] !== node)
+            errors.push(`WORKFLOW_DESIGNER_NODE_ID:${node.id}`);
+        if (node.kind === 'parallel')
+            for (const branch of node.branches)
+                if (branch.when && expressionType(branch.when, node.id) !== 'boolean')
+                    errors.push(`WORKFLOW_DESIGNER_CONDITION_BOOLEAN:${node.id}`);
+        if (node.kind === 'condition') {
+            if (!node.branches.length || node.branches.length > 32)
+                errors.push(`WORKFLOW_DESIGNER_BRANCH_LIMIT:${node.id}`);
+            for (const branch of node.branches)
+                if (expressionType(branch.when, node.id) !== 'boolean')
+                    errors.push(`WORKFLOW_DESIGNER_CONDITION_BOOLEAN:${node.id}`);
+        }
+    }
+    walk(definition.startAt);
+    // Unreachable correction nodes are intentional return destinations; other orphan nodes are invalid.
+    for (const node of nodes)
+        if (!completed.has(node.id) && node.kind !== 'correction')
+            errors.push(`WORKFLOW_DESIGNER_UNREACHABLE:${node.id}`);
+    return [...new Set(errors)];
+}
+/** Enumerate all typed fact leaves, including fields not used in an existing branch. */
+export function workflowDesignerVariables(definition) {
+    const labels = { ...definition.readability?.variables };
+    const add = (schema, prefix = '', depth = 0) => {
+        if (depth > 8 || !record(schema))
+            return;
+        if (schema.type === 'object' && record(schema.properties))
+            for (const [key, child] of Object.entries(schema.properties))
+                add(child, prefix ? `${prefix}.${key}` : key, depth + 1);
+        else if (prefix)
+            labels[prefix] ||= { label: String(schema.title || prefix) };
+    };
+    add(definition.inputSchema);
+    for (const node of Object.values(definition.nodes))
+        if (node.kind === 'action')
+            add(node.outputSchema, `steps.${node.id}`);
+    return projectWorkflowGraph({ ...definition, readability: { ...definition.readability, variables: labels } }, 'draft').variables.filter(variable => variable.type !== 'unknown');
+}
+//# sourceMappingURL=workflow-designer.js.map