@aranzatech/diagrams-bpmn 0.2.5 → 0.2.7

package/dist/validation/index.js

@@ -1,5 +1,226 @@
-export { validateBpmnDiagram } from '../chunk-ZFGQVLHB.js';
-import '../chunk-RLAJNRF2.js';
-import '../chunk-L5Z22RLX.js';
+import { isDataType, isGatewayType, isEventType } from '../chunk-RLAJNRF2.js';
+import { BPMN_ELEMENT_CATALOG } from '../chunk-L5Z22RLX.js';
+
+// src/validation/index.ts
+function isFlowNode(type) {
+  return isEventType(type) || isGatewayType(type) || type.includes("Task") || type === "CallActivity" || type === "SubProcess" || type === "Transaction" || type === "EventSubProcess" || type === "AdHocSubProcess" || type === "ChoreographyTask" || type === "SubChoreography" || type === "CallChoreography";
+}
+function isProcessNode(type) {
+  return isFlowNode(type) && type !== "BoundaryEvent";
+}
+function isSubProcess(type) {
+  return type === "SubProcess" || type === "Transaction" || type === "EventSubProcess" || type === "AdHocSubProcess";
+}
+function isCatchTarget(type) {
+  return type === "IntermediateCatchEvent" || type === "ReceiveTask";
+}
+function poolAncestor(node, nodeById) {
+  let current = node;
+  const visited = /* @__PURE__ */ new Set();
+  while (current?.parentId && !visited.has(current.id)) {
+    visited.add(current.id);
+    const parent = nodeById.get(current.parentId);
+    if (parent?.data.elementType === "Pool") return parent.id;
+    current = parent;
+  }
+  return void 0;
+}
+function countSequenceEdges(edges, nodeId, direction) {
+  return edges.filter((edge) => {
+    if (edge.data?.edgeType !== "sequenceFlow") return false;
+    return direction === "in" ? edge.target === nodeId : edge.source === nodeId;
+  }).length;
+}
+function sequenceEdges(edges) {
+  return edges.filter((edge) => (edge.data?.edgeType ?? edge.type) === "sequenceFlow");
+}
+function sequenceOut(edges, nodeId) {
+  return sequenceEdges(edges).filter((edge) => edge.source === nodeId);
+}
+function sequenceIn(edges, nodeId) {
+  return sequenceEdges(edges).filter((edge) => edge.target === nodeId);
+}
+function issue(code, severity, message, elementId, relatedElementIds) {
+  return {
+    id: `${code}:${elementId ?? relatedElementIds?.join(",") ?? "diagram"}`,
+    code,
+    severity,
+    message,
+    ...elementId ? { elementId } : {},
+    ...relatedElementIds ? { relatedElementIds } : {}
+  };
+}
+function validateBpmnDiagram(nodes, edges, options = {}) {
+  const opts = {
+    requireStartEvent: true,
+    requireEndEvent: true,
+    strictNames: false,
+    ...options
+  };
+  const issues = [];
+  const nodeById = new Map(nodes.map((node) => [node.id, node]));
+  const seqEdges = sequenceEdges(edges);
+  const processNodes = nodes.filter((node) => isProcessNode(node.data.elementType));
+  if (opts.requireStartEvent && !processNodes.some((node) => node.data.elementType === "StartEvent")) {
+    issues.push(issue("bpmn/start-event-required", "error", "The diagram must contain at least one start event."));
+  }
+  if (opts.requireEndEvent && !processNodes.some((node) => node.data.elementType === "EndEvent")) {
+    issues.push(issue("bpmn/end-event-required", "error", "The diagram must contain at least one end event."));
+  }
+  for (const edge of edges) {
+    const edgeType = edge.data?.edgeType ?? edge.type;
+    const source = nodeById.get(edge.source);
+    const target = nodeById.get(edge.target);
+    if (!source || !target) {
+      issues.push(issue(
+        "bpmn/no-orphan-edges",
+        "error",
+        `Edge "${edge.id}" references a missing ${!source ? "source" : "target"} node.`,
+        edge.id,
+        [edge.source, edge.target]
+      ));
+      continue;
+    }
+    if (edge.source === edge.target) {
+      issues.push(issue("bpmn/no-self-loop", "error", "BPMN edges cannot connect an element to itself.", edge.id, [edge.source]));
+    }
+    if (edgeType === "sequenceFlow") {
+      if (!isFlowNode(source.data.elementType) || !isFlowNode(target.data.elementType) || isDataType(source.data.elementType) || isDataType(target.data.elementType)) {
+        issues.push(issue("bpmn/sequence-flow-valid-endpoints", "error", "Sequence flows must connect BPMN flow nodes.", edge.id, [source.id, target.id]));
+      }
+      const sourcePool = poolAncestor(source, nodeById);
+      const targetPool = poolAncestor(target, nodeById);
+      if (sourcePool && targetPool && sourcePool !== targetPool) {
+        issues.push(issue("bpmn/sequence-flow-no-cross-pool", "error", "Sequence flows cannot cross pools. Use message flow between participants.", edge.id, [source.id, target.id]));
+      }
+    }
+    if (edgeType === "messageFlow") {
+      const sourcePool = poolAncestor(source, nodeById);
+      const targetPool = poolAncestor(target, nodeById);
+      if (!sourcePool || !targetPool || sourcePool === targetPool) {
+        issues.push(issue("bpmn/message-flow-valid-endpoints", "error", "Message flows must connect flow nodes in different pools.", edge.id, [source.id, target.id]));
+      }
+      if (!isFlowNode(source.data.elementType) || !isFlowNode(target.data.elementType)) {
+        issues.push(issue("bpmn/message-flow-valid-endpoints", "error", "Message flows must connect BPMN flow nodes, not containers.", edge.id, [source.id, target.id]));
+      }
+    }
+    if (edgeType === "dataAssociation") {
+      const hasDataEndpoint = isDataType(source.data.elementType) || isDataType(target.data.elementType);
+      const hasFlowEndpoint = isFlowNode(source.data.elementType) || isFlowNode(target.data.elementType);
+      if (!hasDataEndpoint || !hasFlowEndpoint) {
+        issues.push(issue("bpmn/data-association-valid-endpoints", "error", "Data associations must connect data elements with flow nodes.", edge.id, [source.id, target.id]));
+      }
+    }
+  }
+  const duplicateSequenceKeys = /* @__PURE__ */ new Set();
+  const reportedDuplicateKeys = /* @__PURE__ */ new Set();
+  for (const edge of seqEdges) {
+    const key = `${edge.source}->${edge.target}`;
+    if (duplicateSequenceKeys.has(key) && !reportedDuplicateKeys.has(key)) {
+      reportedDuplicateKeys.add(key);
+      issues.push(issue("bpmn/no-duplicate-sequence-flow", "error", "Only one sequence flow is allowed between the same source and target.", edge.id, [edge.source, edge.target]));
+    }
+    duplicateSequenceKeys.add(key);
+  }
+  for (const node of nodes) {
+    const type = node.data.elementType;
+    const incoming = countSequenceEdges(edges, node.id, "in");
+    const outgoing = countSequenceEdges(edges, node.id, "out");
+    const meta = BPMN_ELEMENT_CATALOG[type];
+    if (type === "StartEvent" && incoming > 0) {
+      issues.push(issue("bpmn/start-event-no-incoming", "error", "Start events cannot have incoming sequence flows.", node.id));
+    }
+    if (type === "EndEvent") {
+      if (outgoing > 0) issues.push(issue("bpmn/no-outgoing-from-end-event", "error", "End events cannot have outgoing sequence flows.", node.id));
+      if (incoming === 0) issues.push(issue("bpmn/end-event-has-incoming", "error", "End events should have at least one incoming sequence flow.", node.id));
+    }
+    if ((type === "IntermediateCatchEvent" || type === "IntermediateThrowEvent") && (incoming === 0 || outgoing === 0)) {
+      issues.push(issue("bpmn/intermediate-event-both-flows", "error", "Intermediate events should have both incoming and outgoing sequence flows.", node.id));
+    }
+    if (type === "BoundaryEvent") {
+      const hostId = node.data.attachedToRef ?? node.parentId;
+      const host = hostId ? nodeById.get(hostId) : void 0;
+      if (!host || !BPMN_ELEMENT_CATALOG[host.data.elementType]?.acceptsBoundaryEvents) {
+        issues.push(issue("bpmn/boundary-event-attached", "error", "Boundary events must be attached to an activity or subprocess.", node.id, hostId ? [hostId] : void 0));
+      }
+      if (sequenceIn(edges, node.id).length > 0) {
+        issues.push(issue("bpmn/boundary-no-incoming", "error", "Boundary events cannot have incoming sequence flows.", node.id));
+      }
+      if (sequenceOut(edges, node.id).length === 0) {
+        issues.push(issue("bpmn/boundary-has-outgoing", "warning", "Boundary events should define an outgoing exception path.", node.id));
+      }
+    }
+    if (isGatewayType(type)) {
+      if (incoming === 0) issues.push(issue("bpmn/gateway-has-incoming", "error", "Gateways should have at least one incoming sequence flow.", node.id));
+      if (outgoing === 0) issues.push(issue("bpmn/gateway-has-outgoing", "error", "Gateways should have at least one outgoing sequence flow.", node.id));
+    }
+    if (type === "ExclusiveGateway" || type === "InclusiveGateway" || type === "ComplexGateway") {
+      const outgoingEdges = sequenceOut(edges, node.id);
+      const defaults = outgoingEdges.filter((edge) => edge.data?.isDefault);
+      if (defaults.length > 1) {
+        issues.push(issue("bpmn/gateway-single-default", "error", "Gateways can have at most one default sequence flow.", node.id, defaults.map((edge) => edge.id)));
+      }
+      if (outgoingEdges.length >= 2) {
+        for (const edge of outgoingEdges) {
+          if (!edge.data?.isDefault && !edge.data?.conditionExpression) {
+            issues.push(issue("bpmn/gateway-condition", "error", "Conditional gateway branches should have a condition or be marked as default.", edge.id, [node.id, edge.target]));
+          }
+        }
+      }
+    }
+    if (type === "EventBasedGateway") {
+      const outgoingEdges = edges.filter((edge) => edge.data?.edgeType === "sequenceFlow" && edge.source === node.id);
+      if (outgoingEdges.length < 2) {
+        issues.push(issue("bpmn/event-based-gateway-min-outgoing", "error", "Event-based gateways should have at least two outgoing sequence flows.", node.id));
+      }
+      for (const edge of outgoingEdges) {
+        const target = nodeById.get(edge.target);
+        if (target && !isCatchTarget(target.data.elementType)) {
+          issues.push(issue("bpmn/event-based-gateway-valid-targets", "error", "Event-based gateways must target catch events or receive tasks.", edge.id, [node.id, target.id]));
+        }
+      }
+    }
+    if (meta.maxIncoming !== void 0 && incoming > meta.maxIncoming) {
+      issues.push(issue("bpmn/max-incoming", "error", `${type} cannot have more than ${meta.maxIncoming} incoming sequence flow(s).`, node.id));
+    }
+    if (meta.maxOutgoing !== void 0 && outgoing > meta.maxOutgoing) {
+      issues.push(issue("bpmn/max-outgoing", "error", `${type} cannot have more than ${meta.maxOutgoing} outgoing sequence flow(s).`, node.id));
+    }
+    if (opts.strictNames && (type.includes("Task") || isGatewayType(type)) && !node.data.label) {
+      issues.push(issue("bpmn/name-required", "warning", `${type} should have a label.`, node.id));
+    }
+    if (isSubProcess(type)) {
+      const childNodes = nodes.filter((child) => child.parentId === node.id);
+      if (childNodes.length > 0) {
+        if (!childNodes.some((child) => child.data.elementType === "StartEvent")) {
+          issues.push(issue("bpmn/subprocess-has-start-end", "error", "Expanded subprocesses should contain a start event.", node.id));
+        }
+        if (!childNodes.some((child) => child.data.elementType === "EndEvent")) {
+          issues.push(issue("bpmn/subprocess-has-start-end", "error", "Expanded subprocesses should contain an end event.", node.id));
+        }
+      }
+      if (type === "EventSubProcess") {
+        const starts = childNodes.filter((child) => child.data.elementType === "StartEvent");
+        for (const start of starts) {
+          if (!start.data.trigger || start.data.trigger === "none") {
+            issues.push(issue("bpmn/event-subprocess-triggered-start", "error", "Event subprocess start events must define an event trigger.", start.id, [node.id]));
+          }
+        }
+      }
+    }
+    if (type === "Lane") {
+      const parent = node.parentId ? nodeById.get(node.parentId) : void 0;
+      if (parent?.data.elementType !== "Pool") {
+        issues.push(issue("bpmn/lane-parent-pool", "error", "Lanes must be contained by a pool.", node.id));
+      }
+    }
+  }
+  return {
+    valid: issues.every((item) => item.severity !== "error"),
+    issues
+  };
+}
+
+export { validateBpmnDiagram };
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map

package/dist/validation/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":[],"names":[],"mappings":"","file":"index.js"}
+{"version":3,"sources":["../../src/validation/index.ts"],"names":[],"mappings":";;;;AA+BA,SAAS,WAAW,IAAA,EAAgC;AAClD,EAAA,OACE,WAAA,CAAY,IAAI,CAAA,IAChB,aAAA,CAAc,IAAI,KAClB,IAAA,CAAK,QAAA,CAAS,MAAM,CAAA,IACpB,IAAA,KAAS,cAAA,IACT,SAAS,YAAA,IACT,IAAA,KAAS,aAAA,IACT,IAAA,KAAS,iBAAA,IACT,IAAA,KAAS,qBACT,IAAA,KAAS,kBAAA,IACT,IAAA,KAAS,iBAAA,IACT,IAAA,KAAS,kBAAA;AAEb;AAEA,SAAS,cAAc,IAAA,EAAgC;AACrD,EAAA,OAAO,UAAA,CAAW,IAAI,CAAA,IAAK,IAAA,KAAS,eAAA;AACtC;AAEA,SAAS,aAAa,IAAA,EAAgC;AACpD,EAAA,OACE,SAAS,YAAA,IACT,IAAA,KAAS,aAAA,IACT,IAAA,KAAS,qBACT,IAAA,KAAS,iBAAA;AAEb;AAEA,SAAS,cAAc,IAAA,EAAgC;AACrD,EAAA,OAAO,IAAA,KAAS,4BAA4B,IAAA,KAAS,aAAA;AACvD;AAEA,SAAS,YAAA,CACP,MACA,QAAA,EACoB;AACpB,EAAA,IAAI,OAAA,GAAU,IAAA;AACd,EAAA,MAAM,OAAA,uBAAc,GAAA,EAAY;AAChC,EAAA,OAAO,SAAS,QAAA,IAAY,CAAC,QAAQ,GAAA,CAAI,OAAA,CAAQ,EAAE,CAAA,EAAG;AACpD,IAAA,OAAA,CAAQ,GAAA,CAAI,QAAQ,EAAE,CAAA;AACtB,IAAA,MAAM,MAAA,GAAS,QAAA,CAAS,GAAA,CAAI,OAAA,CAAQ,QAAQ,CAAA;AAC5C,IAAA,IAAI,MAAA,EAAQ,IAAA,CAAK,WAAA,KAAgB,MAAA,SAAe,MAAA,CAAO,EAAA;AACvD,IAAA,OAAA,GAAU,MAAA;AAAA,EACZ;AACA,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,kBAAA,CAAmB,KAAA,EAAqB,MAAA,EAAgB,SAAA,EAAiC;AAChG,EAAA,OAAO,KAAA,CAAM,MAAA,CAAO,CAAC,IAAA,KAAS;AAC5B,IAAA,IAAI,IAAA,CAAK,IAAA,EAAM,QAAA,KAAa,cAAA,EAAgB,OAAO,KAAA;AACnD,IAAA,OAAO,cAAc,IAAA,GAAO,IAAA,CAAK,MAAA,KAAW,MAAA,GAAS,KAAK,MAAA,KAAW,MAAA;AAAA,EACvE,CAAC,CAAA,CAAE,MAAA;AACL;AAEA,SAAS,cAAc,KAAA,EAAmC;AACxD,EAAA,OAAO,KAAA,CAAM,OAAO,CAAC,IAAA,KAAA,CAAU,KAAK,IAAA,EAAM,QAAA,IAAY,IAAA,CAAK,IAAA,MAAU,cAAc,CAAA;AACrF;AAEA,SAAS,WAAA,CAAY,OAAqB,MAAA,EAA8B;AACtE,EAAA,OAAO,aAAA,CAAc,KAAK,CAAA,CAAE,MAAA,CAAO,CAAC,IAAA,KAAS,IAAA,CAAK,WAAW,MAAM,CAAA;AACrE;AAEA,SAAS,UAAA,CAAW,OAAqB,MAAA,EAA8B;AACrE,EAAA,OAAO,aAAA,CAAc,KAAK,CAAA,CAAE,MAAA,CAAO,CAAC,IAAA,KAAS,IAAA,CAAK,WAAW,MAAM,CAAA;AACrE;AAEA,SAAS,KAAA,CACP,IAAA,EACA,QAAA,EACA,OAAA,EACA,WACA,iBAAA,EACqB;AACrB,EAAA,OAAO;AAAA,IACL,EAAA,EAAI,GAAG,IAAI,CAAA,CAAA,EAAI,aAAa,iBAAA,EAAmB,IAAA,CAAK,GAAG,CAAA,IAAK,SAAS,CAAA,CAAA;AAAA,IACrE,IAAA;AAAA,IACA,QAAA;AAAA,IACA,OAAA;AAAA,IACA,GAAI,SAAA,GAAY,EAAE,SAAA,KAAc,EAAC;AAAA,IACjC,GAAI,iBAAA,GAAoB,EAAE,iBAAA,KAAsB;AAAC,GACnD;AACF;AAOO,SAAS,mBAAA,CACd,KAAA,EACA,KAAA,EACA,OAAA,GAAiC,EAAC,EACZ;AACtB,EAAA,MAAM,IAAA,GAAO;AAAA,IACX,iBAAA,EAAmB,IAAA;AAAA,IACnB,eAAA,EAAiB,IAAA;AAAA,IACjB,WAAA,EAAa,KAAA;AAAA,IACb,GAAG;AAAA,GACL;AACA,EAAA,MAAM,SAAgC,EAAC;AACvC,EAAA,MAAM,QAAA,GAAW,IAAI,GAAA,CAAI,KAAA,CAAM,GAAA,CAAI,CAAC,IAAA,KAAS,CAAC,IAAA,CAAK,EAAA,EAAI,IAAI,CAAC,CAAC,CAAA;AAC7D,EAAA,MAAM,QAAA,GAAW,cAAc,KAAK,CAAA;AAEpC,EAAA,MAAM,YAAA,GAAe,MAAM,MAAA,CAAO,CAAC,SAAS,aAAA,CAAc,IAAA,CAAK,IAAA,CAAK,WAAW,CAAC,CAAA;AAChF,EAAA,IAAI,IAAA,CAAK,iBAAA,IAAqB,CAAC,YAAA,CAAa,IAAA,CAAK,CAAC,IAAA,KAAS,IAAA,CAAK,IAAA,CAAK,WAAA,KAAgB,YAAY,CAAA,EAAG;AAClG,IAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,2BAAA,EAA6B,OAAA,EAAS,oDAAoD,CAAC,CAAA;AAAA,EAC/G;AACA,EAAA,IAAI,IAAA,CAAK,eAAA,IAAmB,CAAC,YAAA,CAAa,IAAA,CAAK,CAAC,IAAA,KAAS,IAAA,CAAK,IAAA,CAAK,WAAA,KAAgB,UAAU,CAAA,EAAG;AAC9F,IAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,yBAAA,EAA2B,OAAA,EAAS,kDAAkD,CAAC,CAAA;AAAA,EAC3G;AAEA,EAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,IAAA,EAAM,QAAA,IAAY,IAAA,CAAK,IAAA;AAC7C,IAAA,MAAM,MAAA,GAAS,QAAA,CAAS,GAAA,CAAI,IAAA,CAAK,MAAM,CAAA;AACvC,IAAA,MAAM,MAAA,GAAS,QAAA,CAAS,GAAA,CAAI,IAAA,CAAK,MAAM,CAAA;AAEvC,IAAA,IAAI,CAAC,MAAA,IAAU,CAAC,MAAA,EAAQ;AACtB,MAAA,MAAA,CAAO,IAAA,CAAK,KAAA;AAAA,QACV,sBAAA;AAAA,QACA,OAAA;AAAA,QACA,SAAS,IAAA,CAAK,EAAE,0BAA0B,CAAC,MAAA,GAAS,WAAW,QAAQ,CAAA,MAAA,CAAA;AAAA,QACvE,IAAA,CAAK,EAAA;AAAA,QACL,CAAC,IAAA,CAAK,MAAA,EAAQ,IAAA,CAAK,MAAM;AAAA,OAC1B,CAAA;AACD,MAAA;AAAA,IACF;AAEA,IAAA,IAAI,IAAA,CAAK,MAAA,KAAW,IAAA,CAAK,MAAA,EAAQ;AAC/B,MAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,mBAAA,EAAqB,OAAA,EAAS,iDAAA,EAAmD,IAAA,CAAK,EAAA,EAAI,CAAC,IAAA,CAAK,MAAM,CAAC,CAAC,CAAA;AAAA,IAC5H;AAEA,IAAA,IAAI,aAAa,cAAA,EAAgB;AAC/B,MAAA,IAAI,CAAC,WAAW,MAAA,CAAO,IAAA,CAAK,WAAW,CAAA,IAAK,CAAC,WAAW,MAAA,CAAO,IAAA,CAAK,WAAW,CAAA,IAAK,UAAA,CAAW,OAAO,IAAA,CAAK,WAAW,KAAK,UAAA,CAAW,MAAA,CAAO,IAAA,CAAK,WAAW,CAAA,EAAG;AAC9J,QAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,oCAAA,EAAsC,OAAA,EAAS,8CAAA,EAAgD,IAAA,CAAK,EAAA,EAAI,CAAC,MAAA,CAAO,EAAA,EAAI,MAAA,CAAO,EAAE,CAAC,CAAC,CAAA;AAAA,MACnJ;AACA,MAAA,MAAM,UAAA,GAAa,YAAA,CAAa,MAAA,EAAQ,QAAQ,CAAA;AAChD,MAAA,MAAM,UAAA,GAAa,YAAA,CAAa,MAAA,EAAQ,QAAQ,CAAA;AAChD,MAAA,IAAI,UAAA,IAAc,UAAA,IAAc,UAAA,KAAe,UAAA,EAAY;AACzD,QAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,kCAAA,EAAoC,OAAA,EAAS,2EAAA,EAA6E,IAAA,CAAK,EAAA,EAAI,CAAC,MAAA,CAAO,EAAA,EAAI,MAAA,CAAO,EAAE,CAAC,CAAC,CAAA;AAAA,MAC9K;AAAA,IACF;AAEA,IAAA,IAAI,aAAa,aAAA,EAAe;AAC9B,MAAA,MAAM,UAAA,GAAa,YAAA,CAAa,MAAA,EAAQ,QAAQ,CAAA;AAChD,MAAA,MAAM,UAAA,GAAa,YAAA,CAAa,MAAA,EAAQ,QAAQ,CAAA;AAChD,MAAA,IAAI,CAAC,UAAA,IAAc,CAAC,UAAA,IAAc,eAAe,UAAA,EAAY;AAC3D,QAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,mCAAA,EAAqC,OAAA,EAAS,2DAAA,EAA6D,IAAA,CAAK,EAAA,EAAI,CAAC,MAAA,CAAO,EAAA,EAAI,MAAA,CAAO,EAAE,CAAC,CAAC,CAAA;AAAA,MAC/J;AACA,MAAA,IAAI,CAAC,UAAA,CAAW,MAAA,CAAO,IAAA,CAAK,WAAW,CAAA,IAAK,CAAC,UAAA,CAAW,MAAA,CAAO,IAAA,CAAK,WAAW,CAAA,EAAG;AAChF,QAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,mCAAA,EAAqC,OAAA,EAAS,6DAAA,EAA+D,IAAA,CAAK,EAAA,EAAI,CAAC,MAAA,CAAO,EAAA,EAAI,MAAA,CAAO,EAAE,CAAC,CAAC,CAAA;AAAA,MACjK;AAAA,IACF;AAEA,IAAA,IAAI,aAAa,iBAAA,EAAmB;AAClC,MAAA,MAAM,eAAA,GAAkB,WAAW,MAAA,CAAO,IAAA,CAAK,WAAW,CAAA,IAAK,UAAA,CAAW,MAAA,CAAO,IAAA,CAAK,WAAW,CAAA;AACjG,MAAA,MAAM,eAAA,GAAkB,WAAW,MAAA,CAAO,IAAA,CAAK,WAAW,CAAA,IAAK,UAAA,CAAW,MAAA,CAAO,IAAA,CAAK,WAAW,CAAA;AACjG,MAAA,IAAI,CAAC,eAAA,IAAmB,CAAC,eAAA,EAAiB;AACxC,QAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,uCAAA,EAAyC,OAAA,EAAS,+DAAA,EAAiE,IAAA,CAAK,EAAA,EAAI,CAAC,MAAA,CAAO,EAAA,EAAI,MAAA,CAAO,EAAE,CAAC,CAAC,CAAA;AAAA,MACvK;AAAA,IACF;AAAA,EACF;AAEA,EAAA,MAAM,qBAAA,uBAA4B,GAAA,EAAY;AAC9C,EAAA,MAAM,qBAAA,uBAA4B,GAAA,EAAY;AAC9C,EAAA,KAAA,MAAW,QAAQ,QAAA,EAAU;AAC3B,IAAA,MAAM,MAAM,CAAA,EAAG,IAAA,CAAK,MAAM,CAAA,EAAA,EAAK,KAAK,MAAM,CAAA,CAAA;AAC1C,IAAA,IAAI,qBAAA,CAAsB,IAAI,GAAG,CAAA,IAAK,CAAC,qBAAA,CAAsB,GAAA,CAAI,GAAG,CAAA,EAAG;AACrE,MAAA,qBAAA,CAAsB,IAAI,GAAG,CAAA;AAC7B,MAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,iCAAA,EAAmC,OAAA,EAAS,uEAAA,EAAyE,IAAA,CAAK,EAAA,EAAI,CAAC,IAAA,CAAK,MAAA,EAAQ,IAAA,CAAK,MAAM,CAAC,CAAC,CAAA;AAAA,IAC7K;AACA,IAAA,qBAAA,CAAsB,IAAI,GAAG,CAAA;AAAA,EAC/B;AAEA,EAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,IAAA,MAAM,IAAA,GAAO,KAAK,IAAA,CAAK,WAAA;AACvB,IAAA,MAAM,QAAA,GAAW,kBAAA,CAAmB,KAAA,EAAO,IAAA,CAAK,IAAI,IAAI,CAAA;AACxD,IAAA,MAAM,QAAA,GAAW,kBAAA,CAAmB,KAAA,EAAO,IAAA,CAAK,IAAI,KAAK,CAAA;AACzD,IAAA,MAAM,IAAA,GAAO,qBAAqB,IAAI,CAAA;AAEtC,IAAA,IAAI,IAAA,KAAS,YAAA,IAAgB,QAAA,GAAW,CAAA,EAAG;AACzC,MAAA,MAAA,CAAO,KAAK,KAAA,CAAM,8BAAA,EAAgC,SAAS,mDAAA,EAAqD,IAAA,CAAK,EAAE,CAAC,CAAA;AAAA,IAC1H;AACA,IAAA,IAAI,SAAS,UAAA,EAAY;AACvB,MAAA,IAAI,QAAA,GAAW,CAAA,EAAG,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,mCAAmC,OAAA,EAAS,iDAAA,EAAmD,IAAA,CAAK,EAAE,CAAC,CAAA;AAC3I,MAAA,IAAI,QAAA,KAAa,CAAA,EAAG,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,+BAA+B,OAAA,EAAS,6DAAA,EAA+D,IAAA,CAAK,EAAE,CAAC,CAAA;AAAA,IACvJ;AACA,IAAA,IAAA,CAAK,SAAS,wBAAA,IAA4B,IAAA,KAAS,8BAA8B,QAAA,KAAa,CAAA,IAAK,aAAa,CAAA,CAAA,EAAI;AAClH,MAAA,MAAA,CAAO,KAAK,KAAA,CAAM,oCAAA,EAAsC,SAAS,4EAAA,EAA8E,IAAA,CAAK,EAAE,CAAC,CAAA;AAAA,IACzJ;AACA,IAAA,IAAI,SAAS,eAAA,EAAiB;AAC5B,MAAA,MAAM,MAAA,GAAS,IAAA,CAAK,IAAA,CAAK,aAAA,IAAiB,IAAA,CAAK,QAAA;AAC/C,MAAA,MAAM,IAAA,GAAO,MAAA,GAAS,QAAA,CAAS,GAAA,CAAI,MAAM,CAAA,GAAI,MAAA;AAC7C,MAAA,IAAI,CAAC,QAAQ,CAAC,oBAAA,CAAqB,KAAK,IAAA,CAAK,WAAW,GAAG,qBAAA,EAAuB;AAChF,QAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,8BAAA,EAAgC,OAAA,EAAS,gEAAA,EAAkE,IAAA,CAAK,EAAA,EAAI,MAAA,GAAS,CAAC,MAAM,CAAA,GAAI,MAAS,CAAC,CAAA;AAAA,MACtK;AACA,MAAA,IAAI,WAAW,KAAA,EAAO,IAAA,CAAK,EAAE,CAAA,CAAE,SAAS,CAAA,EAAG;AACzC,QAAA,MAAA,CAAO,KAAK,KAAA,CAAM,2BAAA,EAA6B,SAAS,sDAAA,EAAwD,IAAA,CAAK,EAAE,CAAC,CAAA;AAAA,MAC1H;AACA,MAAA,IAAI,YAAY,KAAA,EAAO,IAAA,CAAK,EAAE,CAAA,CAAE,WAAW,CAAA,EAAG;AAC5C,QAAA,MAAA,CAAO,KAAK,KAAA,CAAM,4BAAA,EAA8B,WAAW,2DAAA,EAA6D,IAAA,CAAK,EAAE,CAAC,CAAA;AAAA,MAClI;AAAA,IACF;AACA,IAAA,IAAI,aAAA,CAAc,IAAI,CAAA,EAAG;AACvB,MAAA,IAAI,QAAA,KAAa,CAAA,EAAG,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,6BAA6B,OAAA,EAAS,2DAAA,EAA6D,IAAA,CAAK,EAAE,CAAC,CAAA;AACjJ,MAAA,IAAI,QAAA,KAAa,CAAA,EAAG,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,6BAA6B,OAAA,EAAS,2DAAA,EAA6D,IAAA,CAAK,EAAE,CAAC,CAAA;AAAA,IACnJ;AACA,IAAA,IAAI,IAAA,KAAS,kBAAA,IAAsB,IAAA,KAAS,kBAAA,IAAsB,SAAS,gBAAA,EAAkB;AAC3F,MAAA,MAAM,aAAA,GAAgB,WAAA,CAAY,KAAA,EAAO,IAAA,CAAK,EAAE,CAAA;AAChD,MAAA,MAAM,WAAW,aAAA,CAAc,MAAA,CAAO,CAAC,IAAA,KAAS,IAAA,CAAK,MAAM,SAAS,CAAA;AACpE,MAAA,IAAI,QAAA,CAAS,SAAS,CAAA,EAAG;AACvB,QAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,6BAAA,EAA+B,OAAA,EAAS,wDAAwD,IAAA,CAAK,EAAA,EAAI,QAAA,CAAS,GAAA,CAAI,CAAC,IAAA,KAAS,IAAA,CAAK,EAAE,CAAC,CAAC,CAAA;AAAA,MAC7J;AACA,MAAA,IAAI,aAAA,CAAc,UAAU,CAAA,EAAG;AAC7B,QAAA,KAAA,MAAW,QAAQ,aAAA,EAAe;AAChC,UAAA,IAAI,CAAC,IAAA,CAAK,IAAA,EAAM,aAAa,CAAC,IAAA,CAAK,MAAM,mBAAA,EAAqB;AAC5D,YAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,wBAAA,EAA0B,OAAA,EAAS,+EAAA,EAAiF,IAAA,CAAK,EAAA,EAAI,CAAC,IAAA,CAAK,EAAA,EAAI,IAAA,CAAK,MAAM,CAAC,CAAC,CAAA;AAAA,UACxK;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,IAAA,IAAI,SAAS,mBAAA,EAAqB;AAChC,MAAA,MAAM,aAAA,GAAgB,KAAA,CAAM,MAAA,CAAO,CAAC,IAAA,KAAS,IAAA,CAAK,IAAA,EAAM,QAAA,KAAa,cAAA,IAAkB,IAAA,CAAK,MAAA,KAAW,IAAA,CAAK,EAAE,CAAA;AAC9G,MAAA,IAAI,aAAA,CAAc,SAAS,CAAA,EAAG;AAC5B,QAAA,MAAA,CAAO,KAAK,KAAA,CAAM,uCAAA,EAAyC,SAAS,wEAAA,EAA0E,IAAA,CAAK,EAAE,CAAC,CAAA;AAAA,MACxJ;AACA,MAAA,KAAA,MAAW,QAAQ,aAAA,EAAe;AAChC,QAAA,MAAM,MAAA,GAAS,QAAA,CAAS,GAAA,CAAI,IAAA,CAAK,MAAM,CAAA;AACvC,QAAA,IAAI,UAAU,CAAC,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,WAAW,CAAA,EAAG;AACrD,UAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,wCAAA,EAA0C,OAAA,EAAS,iEAAA,EAAmE,IAAA,CAAK,EAAA,EAAI,CAAC,IAAA,CAAK,EAAA,EAAI,MAAA,CAAO,EAAE,CAAC,CAAC,CAAA;AAAA,QACxK;AAAA,MACF;AAAA,IACF;AACA,IAAA,IAAI,IAAA,CAAK,WAAA,KAAgB,MAAA,IAAa,QAAA,GAAW,KAAK,WAAA,EAAa;AACjE,MAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,mBAAA,EAAqB,OAAA,EAAS,CAAA,EAAG,IAAI,CAAA,uBAAA,EAA0B,IAAA,CAAK,WAAW,CAAA,2BAAA,CAAA,EAA+B,IAAA,CAAK,EAAE,CAAC,CAAA;AAAA,IAC1I;AACA,IAAA,IAAI,IAAA,CAAK,WAAA,KAAgB,MAAA,IAAa,QAAA,GAAW,KAAK,WAAA,EAAa;AACjE,MAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,mBAAA,EAAqB,OAAA,EAAS,CAAA,EAAG,IAAI,CAAA,uBAAA,EAA0B,IAAA,CAAK,WAAW,CAAA,2BAAA,CAAA,EAA+B,IAAA,CAAK,EAAE,CAAC,CAAA;AAAA,IAC1I;AACA,IAAA,IAAI,IAAA,CAAK,WAAA,KAAgB,IAAA,CAAK,QAAA,CAAS,MAAM,CAAA,IAAK,aAAA,CAAc,IAAI,CAAA,CAAA,IAAM,CAAC,IAAA,CAAK,IAAA,CAAK,KAAA,EAAO;AAC1F,MAAA,MAAA,CAAO,IAAA,CAAK,MAAM,oBAAA,EAAsB,SAAA,EAAW,GAAG,IAAI,CAAA,qBAAA,CAAA,EAAyB,IAAA,CAAK,EAAE,CAAC,CAAA;AAAA,IAC7F;AACA,IAAA,IAAI,YAAA,CAAa,IAAI,CAAA,EAAG;AACtB,MAAA,MAAM,UAAA,GAAa,MAAM,MAAA,CAAO,CAAC,UAAU,KAAA,CAAM,QAAA,KAAa,KAAK,EAAE,CAAA;AACrE,MAAA,IAAI,UAAA,CAAW,SAAS,CAAA,EAAG;AACzB,QAAA,IAAI,CAAC,WAAW,IAAA,CAAK,CAAC,UAAU,KAAA,CAAM,IAAA,CAAK,WAAA,KAAgB,YAAY,CAAA,EAAG;AACxE,UAAA,MAAA,CAAO,KAAK,KAAA,CAAM,+BAAA,EAAiC,SAAS,qDAAA,EAAuD,IAAA,CAAK,EAAE,CAAC,CAAA;AAAA,QAC7H;AACA,QAAA,IAAI,CAAC,WAAW,IAAA,CAAK,CAAC,UAAU,KAAA,CAAM,IAAA,CAAK,WAAA,KAAgB,UAAU,CAAA,EAAG;AACtE,UAAA,MAAA,CAAO,KAAK,KAAA,CAAM,+BAAA,EAAiC,SAAS,oDAAA,EAAsD,IAAA,CAAK,EAAE,CAAC,CAAA;AAAA,QAC5H;AAAA,MACF;AACA,MAAA,IAAI,SAAS,iBAAA,EAAmB;AAC9B,QAAA,MAAM,MAAA,GAAS,WAAW,MAAA,CAAO,CAAC,UAAU,KAAA,CAAM,IAAA,CAAK,gBAAgB,YAAY,CAAA;AACnF,QAAA,KAAA,MAAW,SAAS,MAAA,EAAQ;AAC1B,UAAA,IAAI,CAAC,KAAA,CAAM,IAAA,CAAK,WAAW,KAAA,CAAM,IAAA,CAAK,YAAY,MAAA,EAAQ;AACxD,YAAA,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,uCAAA,EAAyC,OAAA,EAAS,6DAAA,EAA+D,KAAA,CAAM,EAAA,EAAI,CAAC,IAAA,CAAK,EAAE,CAAC,CAAC,CAAA;AAAA,UACzJ;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,IAAA,IAAI,SAAS,MAAA,EAAQ;AACnB,MAAA,MAAM,SAAS,IAAA,CAAK,QAAA,GAAW,SAAS,GAAA,CAAI,IAAA,CAAK,QAAQ,CAAA,GAAI,MAAA;AAC7D,MAAA,IAAI,MAAA,EAAQ,IAAA,CAAK,WAAA,KAAgB,MAAA,EAAQ;AACvC,QAAA,MAAA,CAAO,KAAK,KAAA,CAAM,uBAAA,EAAyB,SAAS,oCAAA,EAAsC,IAAA,CAAK,EAAE,CAAC,CAAA;AAAA,MACpG;AAAA,IACF;AAAA,EACF;AAEA,EAAA,OAAO;AAAA,IACL,OAAO,MAAA,CAAO,KAAA,CAAM,CAAC,IAAA,KAAS,IAAA,CAAK,aAAa,OAAO,CAAA;AAAA,IACvD;AAAA,GACF;AACF","file":"index.js","sourcesContent":["import { BPMN_ELEMENT_CATALOG } from \"../elements/catalog\";\nimport {\n  isDataType,\n  isEventType,\n  isGatewayType,\n} from \"../elements/guards\";\nimport type { BpmnElementType } from \"../elements/types\";\nimport type { BpmnRFEdge, BpmnRFNode } from \"../xml/types\";\n\nexport type BpmnValidationSeverity = \"error\" | \"warning\" | \"info\";\n\nexport interface BpmnValidationIssue {\n  id: string;\n  severity: BpmnValidationSeverity;\n  code: string;\n  message: string;\n  elementId?: string;\n  relatedElementIds?: string[];\n}\n\nexport interface BpmnValidationResult {\n  valid: boolean;\n  issues: BpmnValidationIssue[];\n}\n\nexport interface BpmnValidationOptions {\n  requireStartEvent?: boolean;\n  requireEndEvent?: boolean;\n  strictNames?: boolean;\n}\n\nfunction isFlowNode(type: BpmnElementType): boolean {\n  return (\n    isEventType(type) ||\n    isGatewayType(type) ||\n    type.includes(\"Task\") ||\n    type === \"CallActivity\" ||\n    type === \"SubProcess\" ||\n    type === \"Transaction\" ||\n    type === \"EventSubProcess\" ||\n    type === \"AdHocSubProcess\" ||\n    type === \"ChoreographyTask\" ||\n    type === \"SubChoreography\" ||\n    type === \"CallChoreography\"\n  );\n}\n\nfunction isProcessNode(type: BpmnElementType): boolean {\n  return isFlowNode(type) && type !== \"BoundaryEvent\";\n}\n\nfunction isSubProcess(type: BpmnElementType): boolean {\n  return (\n    type === \"SubProcess\" ||\n    type === \"Transaction\" ||\n    type === \"EventSubProcess\" ||\n    type === \"AdHocSubProcess\"\n  );\n}\n\nfunction isCatchTarget(type: BpmnElementType): boolean {\n  return type === \"IntermediateCatchEvent\" || type === \"ReceiveTask\";\n}\n\nfunction poolAncestor(\n  node: BpmnRFNode | undefined,\n  nodeById: Map<string, BpmnRFNode>,\n): string | undefined {\n  let current = node;\n  const visited = new Set<string>();\n  while (current?.parentId && !visited.has(current.id)) {\n    visited.add(current.id);\n    const parent = nodeById.get(current.parentId);\n    if (parent?.data.elementType === \"Pool\") return parent.id;\n    current = parent;\n  }\n  return undefined;\n}\n\nfunction countSequenceEdges(edges: BpmnRFEdge[], nodeId: string, direction: \"in\" | \"out\"): number {\n  return edges.filter((edge) => {\n    if (edge.data?.edgeType !== \"sequenceFlow\") return false;\n    return direction === \"in\" ? edge.target === nodeId : edge.source === nodeId;\n  }).length;\n}\n\nfunction sequenceEdges(edges: BpmnRFEdge[]): BpmnRFEdge[] {\n  return edges.filter((edge) => (edge.data?.edgeType ?? edge.type) === \"sequenceFlow\");\n}\n\nfunction sequenceOut(edges: BpmnRFEdge[], nodeId: string): BpmnRFEdge[] {\n  return sequenceEdges(edges).filter((edge) => edge.source === nodeId);\n}\n\nfunction sequenceIn(edges: BpmnRFEdge[], nodeId: string): BpmnRFEdge[] {\n  return sequenceEdges(edges).filter((edge) => edge.target === nodeId);\n}\n\nfunction issue(\n  code: string,\n  severity: BpmnValidationSeverity,\n  message: string,\n  elementId?: string,\n  relatedElementIds?: string[],\n): BpmnValidationIssue {\n  return {\n    id: `${code}:${elementId ?? relatedElementIds?.join(\",\") ?? \"diagram\"}`,\n    code,\n    severity,\n    message,\n    ...(elementId ? { elementId } : {}),\n    ...(relatedElementIds ? { relatedElementIds } : {}),\n  };\n}\n\n/**\n * @deprecated Use `@aranzatech/flowslint` with `runBpmnLint` instead.\n * This function will be removed in v0.4.0.\n * Import it from the `/validation` subpath if you still need it temporarily.\n */\nexport function validateBpmnDiagram(\n  nodes: BpmnRFNode[],\n  edges: BpmnRFEdge[],\n  options: BpmnValidationOptions = {},\n): BpmnValidationResult {\n  const opts = {\n    requireStartEvent: true,\n    requireEndEvent: true,\n    strictNames: false,\n    ...options,\n  };\n  const issues: BpmnValidationIssue[] = [];\n  const nodeById = new Map(nodes.map((node) => [node.id, node]));\n  const seqEdges = sequenceEdges(edges);\n\n  const processNodes = nodes.filter((node) => isProcessNode(node.data.elementType));\n  if (opts.requireStartEvent && !processNodes.some((node) => node.data.elementType === \"StartEvent\")) {\n    issues.push(issue(\"bpmn/start-event-required\", \"error\", \"The diagram must contain at least one start event.\"));\n  }\n  if (opts.requireEndEvent && !processNodes.some((node) => node.data.elementType === \"EndEvent\")) {\n    issues.push(issue(\"bpmn/end-event-required\", \"error\", \"The diagram must contain at least one end event.\"));\n  }\n\n  for (const edge of edges) {\n    const edgeType = edge.data?.edgeType ?? edge.type;\n    const source = nodeById.get(edge.source);\n    const target = nodeById.get(edge.target);\n\n    if (!source || !target) {\n      issues.push(issue(\n        \"bpmn/no-orphan-edges\",\n        \"error\",\n        `Edge \"${edge.id}\" references a missing ${!source ? \"source\" : \"target\"} node.`,\n        edge.id,\n        [edge.source, edge.target],\n      ));\n      continue;\n    }\n\n    if (edge.source === edge.target) {\n      issues.push(issue(\"bpmn/no-self-loop\", \"error\", \"BPMN edges cannot connect an element to itself.\", edge.id, [edge.source]));\n    }\n\n    if (edgeType === \"sequenceFlow\") {\n      if (!isFlowNode(source.data.elementType) || !isFlowNode(target.data.elementType) || isDataType(source.data.elementType) || isDataType(target.data.elementType)) {\n        issues.push(issue(\"bpmn/sequence-flow-valid-endpoints\", \"error\", \"Sequence flows must connect BPMN flow nodes.\", edge.id, [source.id, target.id]));\n      }\n      const sourcePool = poolAncestor(source, nodeById);\n      const targetPool = poolAncestor(target, nodeById);\n      if (sourcePool && targetPool && sourcePool !== targetPool) {\n        issues.push(issue(\"bpmn/sequence-flow-no-cross-pool\", \"error\", \"Sequence flows cannot cross pools. Use message flow between participants.\", edge.id, [source.id, target.id]));\n      }\n    }\n\n    if (edgeType === \"messageFlow\") {\n      const sourcePool = poolAncestor(source, nodeById);\n      const targetPool = poolAncestor(target, nodeById);\n      if (!sourcePool || !targetPool || sourcePool === targetPool) {\n        issues.push(issue(\"bpmn/message-flow-valid-endpoints\", \"error\", \"Message flows must connect flow nodes in different pools.\", edge.id, [source.id, target.id]));\n      }\n      if (!isFlowNode(source.data.elementType) || !isFlowNode(target.data.elementType)) {\n        issues.push(issue(\"bpmn/message-flow-valid-endpoints\", \"error\", \"Message flows must connect BPMN flow nodes, not containers.\", edge.id, [source.id, target.id]));\n      }\n    }\n\n    if (edgeType === \"dataAssociation\") {\n      const hasDataEndpoint = isDataType(source.data.elementType) || isDataType(target.data.elementType);\n      const hasFlowEndpoint = isFlowNode(source.data.elementType) || isFlowNode(target.data.elementType);\n      if (!hasDataEndpoint || !hasFlowEndpoint) {\n        issues.push(issue(\"bpmn/data-association-valid-endpoints\", \"error\", \"Data associations must connect data elements with flow nodes.\", edge.id, [source.id, target.id]));\n      }\n    }\n  }\n\n  const duplicateSequenceKeys = new Set<string>();\n  const reportedDuplicateKeys = new Set<string>();\n  for (const edge of seqEdges) {\n    const key = `${edge.source}->${edge.target}`;\n    if (duplicateSequenceKeys.has(key) && !reportedDuplicateKeys.has(key)) {\n      reportedDuplicateKeys.add(key);\n      issues.push(issue(\"bpmn/no-duplicate-sequence-flow\", \"error\", \"Only one sequence flow is allowed between the same source and target.\", edge.id, [edge.source, edge.target]));\n    }\n    duplicateSequenceKeys.add(key);\n  }\n\n  for (const node of nodes) {\n    const type = node.data.elementType;\n    const incoming = countSequenceEdges(edges, node.id, \"in\");\n    const outgoing = countSequenceEdges(edges, node.id, \"out\");\n    const meta = BPMN_ELEMENT_CATALOG[type];\n\n    if (type === \"StartEvent\" && incoming > 0) {\n      issues.push(issue(\"bpmn/start-event-no-incoming\", \"error\", \"Start events cannot have incoming sequence flows.\", node.id));\n    }\n    if (type === \"EndEvent\") {\n      if (outgoing > 0) issues.push(issue(\"bpmn/no-outgoing-from-end-event\", \"error\", \"End events cannot have outgoing sequence flows.\", node.id));\n      if (incoming === 0) issues.push(issue(\"bpmn/end-event-has-incoming\", \"error\", \"End events should have at least one incoming sequence flow.\", node.id));\n    }\n    if ((type === \"IntermediateCatchEvent\" || type === \"IntermediateThrowEvent\") && (incoming === 0 || outgoing === 0)) {\n      issues.push(issue(\"bpmn/intermediate-event-both-flows\", \"error\", \"Intermediate events should have both incoming and outgoing sequence flows.\", node.id));\n    }\n    if (type === \"BoundaryEvent\") {\n      const hostId = node.data.attachedToRef ?? node.parentId;\n      const host = hostId ? nodeById.get(hostId) : undefined;\n      if (!host || !BPMN_ELEMENT_CATALOG[host.data.elementType]?.acceptsBoundaryEvents) {\n        issues.push(issue(\"bpmn/boundary-event-attached\", \"error\", \"Boundary events must be attached to an activity or subprocess.\", node.id, hostId ? [hostId] : undefined));\n      }\n      if (sequenceIn(edges, node.id).length > 0) {\n        issues.push(issue(\"bpmn/boundary-no-incoming\", \"error\", \"Boundary events cannot have incoming sequence flows.\", node.id));\n      }\n      if (sequenceOut(edges, node.id).length === 0) {\n        issues.push(issue(\"bpmn/boundary-has-outgoing\", \"warning\", \"Boundary events should define an outgoing exception path.\", node.id));\n      }\n    }\n    if (isGatewayType(type)) {\n      if (incoming === 0) issues.push(issue(\"bpmn/gateway-has-incoming\", \"error\", \"Gateways should have at least one incoming sequence flow.\", node.id));\n      if (outgoing === 0) issues.push(issue(\"bpmn/gateway-has-outgoing\", \"error\", \"Gateways should have at least one outgoing sequence flow.\", node.id));\n    }\n    if (type === \"ExclusiveGateway\" || type === \"InclusiveGateway\" || type === \"ComplexGateway\") {\n      const outgoingEdges = sequenceOut(edges, node.id);\n      const defaults = outgoingEdges.filter((edge) => edge.data?.isDefault);\n      if (defaults.length > 1) {\n        issues.push(issue(\"bpmn/gateway-single-default\", \"error\", \"Gateways can have at most one default sequence flow.\", node.id, defaults.map((edge) => edge.id)));\n      }\n      if (outgoingEdges.length >= 2) {\n        for (const edge of outgoingEdges) {\n          if (!edge.data?.isDefault && !edge.data?.conditionExpression) {\n            issues.push(issue(\"bpmn/gateway-condition\", \"error\", \"Conditional gateway branches should have a condition or be marked as default.\", edge.id, [node.id, edge.target]));\n          }\n        }\n      }\n    }\n    if (type === \"EventBasedGateway\") {\n      const outgoingEdges = edges.filter((edge) => edge.data?.edgeType === \"sequenceFlow\" && edge.source === node.id);\n      if (outgoingEdges.length < 2) {\n        issues.push(issue(\"bpmn/event-based-gateway-min-outgoing\", \"error\", \"Event-based gateways should have at least two outgoing sequence flows.\", node.id));\n      }\n      for (const edge of outgoingEdges) {\n        const target = nodeById.get(edge.target);\n        if (target && !isCatchTarget(target.data.elementType)) {\n          issues.push(issue(\"bpmn/event-based-gateway-valid-targets\", \"error\", \"Event-based gateways must target catch events or receive tasks.\", edge.id, [node.id, target.id]));\n        }\n      }\n    }\n    if (meta.maxIncoming !== undefined && incoming > meta.maxIncoming) {\n      issues.push(issue(\"bpmn/max-incoming\", \"error\", `${type} cannot have more than ${meta.maxIncoming} incoming sequence flow(s).`, node.id));\n    }\n    if (meta.maxOutgoing !== undefined && outgoing > meta.maxOutgoing) {\n      issues.push(issue(\"bpmn/max-outgoing\", \"error\", `${type} cannot have more than ${meta.maxOutgoing} outgoing sequence flow(s).`, node.id));\n    }\n    if (opts.strictNames && (type.includes(\"Task\") || isGatewayType(type)) && !node.data.label) {\n      issues.push(issue(\"bpmn/name-required\", \"warning\", `${type} should have a label.`, node.id));\n    }\n    if (isSubProcess(type)) {\n      const childNodes = nodes.filter((child) => child.parentId === node.id);\n      if (childNodes.length > 0) {\n        if (!childNodes.some((child) => child.data.elementType === \"StartEvent\")) {\n          issues.push(issue(\"bpmn/subprocess-has-start-end\", \"error\", \"Expanded subprocesses should contain a start event.\", node.id));\n        }\n        if (!childNodes.some((child) => child.data.elementType === \"EndEvent\")) {\n          issues.push(issue(\"bpmn/subprocess-has-start-end\", \"error\", \"Expanded subprocesses should contain an end event.\", node.id));\n        }\n      }\n      if (type === \"EventSubProcess\") {\n        const starts = childNodes.filter((child) => child.data.elementType === \"StartEvent\");\n        for (const start of starts) {\n          if (!start.data.trigger || start.data.trigger === \"none\") {\n            issues.push(issue(\"bpmn/event-subprocess-triggered-start\", \"error\", \"Event subprocess start events must define an event trigger.\", start.id, [node.id]));\n          }\n        }\n      }\n    }\n    if (type === \"Lane\") {\n      const parent = node.parentId ? nodeById.get(node.parentId) : undefined;\n      if (parent?.data.elementType !== \"Pool\") {\n        issues.push(issue(\"bpmn/lane-parent-pool\", \"error\", \"Lanes must be contained by a pool.\", node.id));\n      }\n    }\n  }\n\n  return {\n    valid: issues.every((item) => item.severity !== \"error\"),\n    issues,\n  };\n}\n"]}

package/dist/xml/index.cjs

@@ -1,8 +1,35 @@
 'use strict';
 
-var bpmnModdle = require('bpmn-moddle');
-
-// src/xml/importer.ts
+// src/xml/aranza-descriptor.ts
+var ARANZA_DESCRIPTOR = {
+  name: "Aranza",
+  uri: "http://aranzatech.io/schema/bpmn-extension/1.0",
+  prefix: "aranza",
+  xml: { tagAlias: "lowerCase" },
+  types: [
+    {
+      name: "TaskConfig",
+      superClass: ["Element"],
+      properties: [
+        { name: "priority", isAttr: true, type: "String" },
+        { name: "owner", isAttr: true, type: "String" },
+        { name: "sla", isAttr: true, type: "String" },
+        // Aranza connector execution config (resolved at runtime by the Flowable delegate)
+        { name: "connector", isAttr: true, type: "String" },
+        { name: "action", isAttr: true, type: "String" },
+        // Flowable implementation hints stored for round-trip fidelity
+        { name: "flowableType", isAttr: true, type: "String" },
+        { name: "flowableDelegateExpression", isAttr: true, type: "String" },
+        // BusinessRuleTask: reference to a DMN decision table id
+        { name: "decisionRef", isAttr: true, type: "String" },
+        // UserTask: form key resolved to a FormDefinition name at runtime
+        { name: "formKey", isAttr: true, type: "String" }
+      ]
+    }
+  ],
+  enumerations: [],
+  associations: []
+};
 
 // src/elements/catalog.ts
 var BPMN_ELEMENT_CATALOG = {
@@ -860,6 +887,49 @@ function extractSubProcessVariant(el) {
   if (el.triggeredByEvent === true) return "event";
   return "embedded";
 }
+function extractAranzaExtensions(el) {
+  const result = {};
+  const elAttrs = el.$attrs;
+  if (elAttrs) {
+    const ft = asString(elAttrs["flowable:type"]);
+    if (ft) result.flowableType = ft;
+    const fde = asString(elAttrs["flowable:delegateExpression"]);
+    if (fde) result.flowableDelegateExpression = fde;
+    const fk = asString(elAttrs["flowable:formKey"]);
+    if (fk) result.formKey = fk;
+  }
+  const ext = el.extensionElements;
+  if (!ext) return result;
+  const taskConfig = asElements(ext.values).find((v) => v.$type === "aranza:TaskConfig");
+  if (!taskConfig) return result;
+  const priority = asString(taskConfig.priority);
+  if (priority === "critical" || priority === "high" || priority === "medium" || priority === "low") {
+    result.priority = priority;
+  }
+  const owner = asString(taskConfig.owner);
+  if (owner) result.owner = owner;
+  const sla = asString(taskConfig.sla);
+  if (sla) result.sla = sla;
+  const connector = asString(taskConfig.connector);
+  if (connector) result.connector = connector;
+  const action = asString(taskConfig.action);
+  if (action) result.action = action;
+  const flowableType = asString(taskConfig.flowableType);
+  if (flowableType) result.flowableType = flowableType;
+  const flowableDelegateExpression = asString(taskConfig.flowableDelegateExpression);
+  if (flowableDelegateExpression) result.flowableDelegateExpression = flowableDelegateExpression;
+  const decisionRef = asString(taskConfig.decisionRef);
+  if (decisionRef) result.decisionRef = decisionRef;
+  const formKey = asString(taskConfig.formKey);
+  if (formKey) result.formKey = formKey;
+  return result;
+}
+function extractCompletionCondition(el) {
+  const cc = el.completionCondition;
+  if (!cc) return void 0;
+  if (typeof cc === "string") return cc.trim() || void 0;
+  return asString(cc.body);
+}
 function walkFlowElements(elements, parentId, ctx, nodes, edges) {
   for (const el of elements) {
     const { $type, id } = el;
@@ -896,6 +966,11 @@ function buildNode(el, elementType, parentId, ctx, nodes) {
   const eventDefinition = extractEventDefinition(el);
   const isNonInterrupting = el.cancelActivity === false;
   const attachedToRef = el.attachedToRef?.id;
+  const calledElement = elementType === "CallActivity" ? asString(el.calledElement) : void 0;
+  const aranzaExt = extractAranzaExtensions(el);
+  const scriptFormat = elementType === "ScriptTask" ? asString(el.scriptFormat) : void 0;
+  const script = elementType === "ScriptTask" ? asString(el.script) : void 0;
+  const completionCondition = elementType === "AdHocSubProcess" ? extractCompletionCondition(el) : void 0;
   const data = {
     elementType,
     ...label ? { label } : {},
@@ -911,7 +986,12 @@ function buildNode(el, elementType, parentId, ctx, nodes) {
     ...eventDefinition?.errorRef ? { errorRef: eventDefinition.errorRef } : {},
     ...eventDefinition?.escalationRef ? { escalationRef: eventDefinition.escalationRef } : {},
     ...eventDefinition?.conditionExpression ? { conditionExpression: eventDefinition.conditionExpression } : {},
-    ...eventDefinition?.linkName ? { linkName: eventDefinition.linkName } : {}
+    ...eventDefinition?.linkName ? { linkName: eventDefinition.linkName } : {},
+    ...calledElement ? { calledElement } : {},
+    ...scriptFormat ? { scriptFormat } : {},
+    ...script ? { script } : {},
+    ...completionCondition ? { completionCondition } : {},
+    ...aranzaExt
   };
   if (elementType === "SubProcess" || elementType === "Transaction" || elementType === "EventSubProcess" || elementType === "AdHocSubProcess") {
     const variant = extractSubProcessVariant(el);
@@ -1011,7 +1091,8 @@ function addLaneNodes(laneSet, poolId, ctx, nodes) {
   }
 }
 async function parseBpmnXml(xml) {
-  const moddle = new bpmnModdle.BpmnModdle();
+  const { BpmnModdle } = await import('bpmn-moddle');
+  const moddle = new BpmnModdle({ aranza: ARANZA_DESCRIPTOR });
   const warnings = [];
   let rootElement;
   try {
@@ -1101,6 +1182,8 @@ function normalizeChildPositions(nodes, nodeIds) {
     };
   });
 }
+
+// src/xml/exporter.ts
 function uid(prefix, id) {
   return `${prefix}_${id}`;
 }
@@ -1200,6 +1283,30 @@ function buildEventDefinitions(moddle, node, eventDefinition) {
   }
   return [moddle.create(defType, attrs)];
 }
+function buildAranzaExtensionElements(moddle, node) {
+  const { priority, owner, sla } = node.data;
+  const connector = typeof node.data.connector === "string" ? node.data.connector : void 0;
+  const action = typeof node.data.action === "string" ? node.data.action : void 0;
+  const flowableType = typeof node.data.flowableType === "string" ? node.data.flowableType : void 0;
+  const flowableDelegateExpression = typeof node.data.flowableDelegateExpression === "string" ? node.data.flowableDelegateExpression : void 0;
+  const decisionRef = typeof node.data.decisionRef === "string" ? node.data.decisionRef : void 0;
+  const formKey = typeof node.data.formKey === "string" ? node.data.formKey : void 0;
+  if (!priority && !owner && !sla && !connector && !action && !flowableType && !flowableDelegateExpression && !decisionRef && !formKey) {
+    return null;
+  }
+  const configAttrs = {};
+  if (priority) configAttrs.priority = priority;
+  if (owner) configAttrs.owner = owner;
+  if (sla) configAttrs.sla = sla;
+  if (connector) configAttrs.connector = connector;
+  if (action) configAttrs.action = action;
+  if (flowableType) configAttrs.flowableType = flowableType;
+  if (flowableDelegateExpression) configAttrs.flowableDelegateExpression = flowableDelegateExpression;
+  if (decisionRef) configAttrs.decisionRef = decisionRef;
+  if (formKey) configAttrs.formKey = formKey;
+  const taskConfig = moddle.create("aranza:TaskConfig", configAttrs);
+  return moddle.create("bpmn:ExtensionElements", { values: [taskConfig] });
+}
 function buildSemanticModel(moddle, nodes, edges, opts) {
   const defId = opts.id ?? "Definitions_1";
   const defName = opts.name;
@@ -1369,12 +1476,44 @@ function buildFlowElement(moddle, node, allNodes, allEdges) {
     const interrupting = node.data.cancelActivity ?? !node.data.isNonInterrupting;
     attrs.cancelActivity = interrupting;
   }
+  if (elementType === "CallActivity" && node.data.calledElement) {
+    attrs.calledElement = node.data.calledElement;
+  }
+  if (elementType === "ScriptTask") {
+    const scriptFormat = typeof node.data.scriptFormat === "string" ? node.data.scriptFormat : void 0;
+    const script = typeof node.data.script === "string" ? node.data.script : void 0;
+    if (scriptFormat) attrs.scriptFormat = scriptFormat;
+    if (script) attrs.script = script;
+  }
+  if (elementType === "UserTask") {
+    const fk = typeof node.data.formKey === "string" ? node.data.formKey : void 0;
+    if (fk) attrs.$attrs = { "flowable:formKey": fk };
+  }
+  if (elementType === "ServiceTask") {
+    const flowableAttrs = {};
+    const flowableType = typeof node.data.flowableType === "string" ? node.data.flowableType : void 0;
+    const flowableDelegateExpression = typeof node.data.flowableDelegateExpression === "string" ? node.data.flowableDelegateExpression : void 0;
+    const connector = typeof node.data.connector === "string" ? node.data.connector : void 0;
+    if (connector) flowableAttrs["flowable:type"] = "http";
+    if (flowableType) flowableAttrs["flowable:type"] = flowableType;
+    if (flowableDelegateExpression) {
+      flowableAttrs["flowable:delegateExpression"] = flowableDelegateExpression;
+    }
+    if (Object.keys(flowableAttrs).length > 0) attrs.$attrs = flowableAttrs;
+  }
+  const aranzaConfig = buildAranzaExtensionElements(moddle, node);
+  if (aranzaConfig) attrs.extensionElements = aranzaConfig;
   const isSubProcess = elementType === "SubProcess" || elementType === "Transaction" || elementType === "EventSubProcess" || elementType === "AdHocSubProcess";
   if (isSubProcess) {
     attrs.flowElements = buildNestedFlowElements(moddle, node, allNodes, allEdges);
     if (elementType === "EventSubProcess" || node.data.subProcessVariant === "event") {
       attrs.triggeredByEvent = true;
     }
+    if (elementType === "AdHocSubProcess" && typeof node.data.completionCondition === "string" && node.data.completionCondition.trim()) {
+      attrs.completionCondition = moddle.create("bpmn:FormalExpression", {
+        body: node.data.completionCondition.trim()
+      });
+    }
   }
   const element = moddle.create(moddleType, attrs);
   return element;
@@ -1506,7 +1645,8 @@ function buildAbsolutePositionMap(nodes) {
   return absoluteById;
 }
 async function serializeBpmnXml(nodes, edges, opts = {}) {
-  const moddle = new bpmnModdle.BpmnModdle();
+  const { BpmnModdle } = await import('bpmn-moddle');
+  const moddle = new BpmnModdle({ aranza: ARANZA_DESCRIPTOR });
   const definitions = buildSemanticModel(moddle, nodes, edges, opts);
   buildBpmnDI(moddle, definitions, nodes, edges);
   const { xml } = await moddle.toXML(definitions, {