@bpmnkit/core 0.1.2 → 0.2.0

package/dist/bpmn/zeebe-extensions.js

@@ -1,3 +1,4 @@
+import { ZEEBE_PLACEMENT } from "./zeebe-placement.js";
 /** Convert Zeebe extensions to XmlElement array for the BPMN model. */
 export function zeebeExtensionsToXmlElements(extensions) {
     const elements = [];
@@ -134,4 +135,82 @@ export function zeebeExtensionsToXmlElements(extensions) {
     }
     return elements;
 }
+// ---------------------------------------------------------------------------
+// Placement
+// ---------------------------------------------------------------------------
+/**
+ * Reports where a Zeebe extension may go, from the descriptor rather than from
+ * our own idea of the rules.
+ *
+ * `zeebe.json` records a `meta.allowedIn` list per extension type;
+ * `scripts/generate-zeebe-placement.ts` resolves those entries — many of which
+ * name abstract BPMN types or Zeebe aliases — into the concrete element names in
+ * `ZEEBE_PLACEMENT`. Writing `zeebe:calledDecision` onto a service task produces
+ * a file Camunda rejects at deploy time; catching it at the write is the point.
+ *
+ * **An extension the table does not mention is allowed.** The descriptor
+ * declares no owner for `zeebe:subscription` or `zeebe:properties`, so we do not
+ * know where they may go and must not invent a rule — this check rejects only
+ * what the descriptor positively forbids. Vendor extensions outside the `zeebe:`
+ * namespace are not this function's business and are likewise allowed.
+ *
+ * @param ownerElement - The owner's BPMN element name, e.g. `bpmn:serviceTask`.
+ * @param extension - The extension element name, e.g. `zeebe:taskDefinition`.
+ */
+export function isZeebePlacementAllowed(ownerElement, extension) {
+    const owners = ZEEBE_PLACEMENT[extension];
+    return owners === undefined || owners.includes(ownerElement);
+}
+/** Thrown when a Zeebe extension is written somewhere the descriptor forbids. */
+export class ZeebePlacementError extends Error {
+    ownerElement;
+    extension;
+    allowedOn;
+    constructor(ownerElement, extension, allowedOn) {
+        super(`<${extension}> is not allowed on <${ownerElement}>. The Zeebe schema allows it on: ${allowedOn.join(", ")}.`);
+        this.ownerElement = ownerElement;
+        this.extension = extension;
+        this.allowedOn = allowedOn;
+        this.name = "ZeebePlacementError";
+    }
+}
+/**
+ * Throws {@link ZeebePlacementError} if the placement is one the descriptor
+ * forbids. See {@link isZeebePlacementAllowed} for what "forbids" covers.
+ */
+export function assertZeebePlacement(ownerElement, extension) {
+    if (isZeebePlacementAllowed(ownerElement, extension))
+        return;
+    throw new ZeebePlacementError(ownerElement, extension, ZEEBE_PLACEMENT[extension] ?? []);
+}
+/**
+ * The BPMN element name a flow element is written as.
+ *
+ * The model's `type` is the element's local name in every case but one:
+ * `eventSubProcess` is our name for a `bpmn:subProcess` carrying
+ * `triggeredByEvent`, and BPMN has no element of that name.
+ */
+export function bpmnElementName(flowElement) {
+    const local = flowElement.type === "eventSubProcess" ? "subProcess" : flowElement.type;
+    return `bpmn:${local}`;
+}
+/**
+ * Finds a Zeebe extension element on a flow element, creating it if absent, and
+ * refuses a placement the descriptor forbids.
+ *
+ * Use this rather than pushing onto `extensionElements` directly: the push
+ * cannot fail, so an extension on the wrong element becomes a deploy-time error
+ * in someone else's terminal instead of a throw here.
+ *
+ * @throws ZeebePlacementError
+ */
+export function ensureZeebeExtension(owner, extension) {
+    assertZeebePlacement(bpmnElementName(owner), extension);
+    const existing = owner.extensionElements.find((candidate) => candidate.name === extension);
+    if (existing)
+        return existing;
+    const created = { name: extension, attributes: {}, children: [] };
+    owner.extensionElements.push(created);
+    return created;
+}
 //# sourceMappingURL=zeebe-extensions.js.map

package/dist/bpmn/zeebe-placement.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Where each Zeebe extension element may be placed, keyed by element name.
+ *
+ * The value is the set of element names that may own it. Owners are BPMN
+ * elements for extensions that sit in an `extensionElements` bag, and Zeebe
+ * elements for the few that nest inside another extension.
+ *
+ * An extension absent from this table is one the descriptor says nothing about;
+ * see `isZeebePlacementAllowed` for what that means.
+ */
+export declare const ZEEBE_PLACEMENT: Readonly<Record<string, readonly string[]>>;
+//# sourceMappingURL=zeebe-placement.d.ts.map

package/dist/bpmn/zeebe-placement.js

@@ -0,0 +1,140 @@
+// Generated by scripts/generate-zeebe-placement.ts — do not edit.
+// Source: descriptors/zeebe.json (zeebe-bpmn-moddle, MIT) resolved against
+// descriptors/bpmn.json (bpmn-moddle, MIT). Regenerate with:
+//   pnpm --filter @bpmnkit/core generate:placement
+/**
+ * Where each Zeebe extension element may be placed, keyed by element name.
+ *
+ * The value is the set of element names that may own it. Owners are BPMN
+ * elements for extensions that sit in an `extensionElements` bag, and Zeebe
+ * elements for the few that nest inside another extension.
+ *
+ * An extension absent from this table is one the descriptor says nothing about;
+ * see `isZeebePlacementAllowed` for what that means.
+ */
+export const ZEEBE_PLACEMENT = {
+    "zeebe:adHoc": ["bpmn:adHocSubProcess"],
+    "zeebe:agentDefinition": ["bpmn:adHocSubProcess", "bpmn:serviceTask"],
+    "zeebe:assignmentDefinition": ["bpmn:userTask"],
+    "zeebe:calledDecision": ["bpmn:businessRuleTask"],
+    "zeebe:calledElement": ["bpmn:callActivity"],
+    "zeebe:conditionalFilter": ["bpmn:conditionalEventDefinition"],
+    "zeebe:executionListener": ["zeebe:executionListeners"],
+    "zeebe:executionListeners": [
+        "bpmn:adHocSubProcess",
+        "bpmn:boundaryEvent",
+        "bpmn:businessRuleTask",
+        "bpmn:callActivity",
+        "bpmn:endEvent",
+        "bpmn:eventBasedGateway",
+        "bpmn:exclusiveGateway",
+        "bpmn:implicitThrowEvent",
+        "bpmn:inclusiveGateway",
+        "bpmn:intermediateCatchEvent",
+        "bpmn:intermediateThrowEvent",
+        "bpmn:manualTask",
+        "bpmn:parallelGateway",
+        "bpmn:process",
+        "bpmn:receiveTask",
+        "bpmn:scriptTask",
+        "bpmn:sendTask",
+        "bpmn:serviceTask",
+        "bpmn:startEvent",
+        "bpmn:subProcess",
+        "bpmn:task",
+        "bpmn:transaction",
+        "bpmn:userTask",
+    ],
+    "zeebe:formDefinition": ["bpmn:startEvent", "bpmn:userTask"],
+    "zeebe:input": [
+        "bpmn:adHocSubProcess",
+        "bpmn:businessRuleTask",
+        "bpmn:callActivity",
+        "bpmn:endEvent",
+        "bpmn:intermediateThrowEvent",
+        "bpmn:scriptTask",
+        "bpmn:sendTask",
+        "bpmn:serviceTask",
+        "bpmn:subProcess",
+        "bpmn:transaction",
+        "bpmn:userTask",
+    ],
+    "zeebe:ioMapping": [
+        "bpmn:adHocSubProcess",
+        "bpmn:boundaryEvent",
+        "bpmn:businessRuleTask",
+        "bpmn:callActivity",
+        "bpmn:endEvent",
+        "bpmn:implicitThrowEvent",
+        "bpmn:intermediateCatchEvent",
+        "bpmn:intermediateThrowEvent",
+        "bpmn:receiveTask",
+        "bpmn:scriptTask",
+        "bpmn:sendTask",
+        "bpmn:serviceTask",
+        "bpmn:startEvent",
+        "bpmn:subProcess",
+        "bpmn:transaction",
+        "bpmn:userTask",
+    ],
+    "zeebe:jobPriorityDefinition": [
+        "bpmn:adHocSubProcess",
+        "bpmn:businessRuleTask",
+        "bpmn:endEvent",
+        "bpmn:intermediateThrowEvent",
+        "bpmn:process",
+        "bpmn:scriptTask",
+        "bpmn:sendTask",
+        "bpmn:serviceTask",
+    ],
+    "zeebe:linkedResource": ["bpmn:serviceTask"],
+    "zeebe:linkedResources": ["bpmn:serviceTask"],
+    "zeebe:loopCharacteristics": ["bpmn:multiInstanceLoopCharacteristics"],
+    "zeebe:output": [
+        "bpmn:adHocSubProcess",
+        "bpmn:boundaryEvent",
+        "bpmn:businessRuleTask",
+        "bpmn:callActivity",
+        "bpmn:endEvent",
+        "bpmn:implicitThrowEvent",
+        "bpmn:intermediateCatchEvent",
+        "bpmn:intermediateThrowEvent",
+        "bpmn:receiveTask",
+        "bpmn:scriptTask",
+        "bpmn:sendTask",
+        "bpmn:serviceTask",
+        "bpmn:startEvent",
+        "bpmn:subProcess",
+        "bpmn:transaction",
+        "bpmn:userTask",
+    ],
+    "zeebe:priorityDefinition": ["bpmn:userTask"],
+    "zeebe:script": ["bpmn:scriptTask"],
+    "zeebe:taskDefinition": [
+        "bpmn:adHocSubProcess",
+        "bpmn:businessRuleTask",
+        "bpmn:endEvent",
+        "bpmn:intermediateThrowEvent",
+        "bpmn:scriptTask",
+        "bpmn:sendTask",
+        "bpmn:serviceTask",
+    ],
+    "zeebe:taskHeaders": [
+        "bpmn:adHocSubProcess",
+        "bpmn:businessRuleTask",
+        "bpmn:endEvent",
+        "bpmn:intermediateThrowEvent",
+        "bpmn:scriptTask",
+        "bpmn:sendTask",
+        "bpmn:serviceTask",
+        "bpmn:userTask",
+        "zeebe:executionListener",
+    ],
+    "zeebe:taskListener": ["zeebe:taskListeners"],
+    "zeebe:taskListeners": ["bpmn:userTask"],
+    "zeebe:taskSchedule": ["bpmn:userTask"],
+    "zeebe:userTask": ["bpmn:userTask"],
+    "zeebe:userTaskForm": ["bpmn:process"],
+    "zeebe:versionTag": ["bpmn:process"],
+};
+//# sourceMappingURL=zeebe-placement.js.map

package/dist/errors.d.ts

@@ -1,3 +1,4 @@
+import type { SemanticDiff } from "./bpmn/semantic-hash.js";
 /**
  * Typed error codes for all errors thrown by `@bpmnkit/core`.
  *
@@ -18,7 +19,11 @@ export type ErrorCode =
 /** XML could not be parsed or a required attribute was missing. */
 "parse-error"
 /** A builder received an invalid combination of options. */
- | "validation-error";
+ | "validation-error"
+/** Serialising a model and reading it back did not reproduce the model. */
+ | "write-verification-error"
+/** The output file could not be written. */
+ | "write-error";
 /**
  * Base class for all errors thrown by `@bpmnkit/core`.
  *
@@ -74,4 +79,38 @@ export declare class ParseError extends BpmnSdkError {
 export declare class ValidationError extends BpmnSdkError {
     constructor(message: string);
 }
+/**
+ * Thrown when serialising a model and parsing the result back does not
+ * reproduce the model.
+ *
+ * This means the write would have put something on disk that no longer says
+ * what the model said, so nothing is written. {@link changes} names the
+ * elements that diverged.
+ *
+ * @example
+ * ```typescript
+ * import { writeBpmn } from "@bpmnkit/core/node"
+ * import { WriteVerificationError } from "@bpmnkit/core"
+ *
+ * try {
+ *   await writeBpmn(definitions, { output: "flow.bpmn" })
+ * } catch (err) {
+ *   if (err instanceof WriteVerificationError) {
+ *     console.error("would have lost:", err.changes.removed)
+ *   }
+ * }
+ * ```
+ */
+export declare class WriteVerificationError extends BpmnSdkError {
+    /** What differed between the model and the model read back from the output. */
+    readonly changes: SemanticDiff;
+    constructor(message: string, changes: SemanticDiff);
+}
+/**
+ * Thrown when the output file cannot be written — it already exists and
+ * `force` was not given, or the filesystem refused the write.
+ */
+export declare class WriteError extends BpmnSdkError {
+    constructor(message: string);
+}
 //# sourceMappingURL=errors.d.ts.map

package/dist/errors.js

@@ -63,4 +63,45 @@ export class ValidationError extends BpmnSdkError {
         this.name = "ValidationError";
     }
 }
+/**
+ * Thrown when serialising a model and parsing the result back does not
+ * reproduce the model.
+ *
+ * This means the write would have put something on disk that no longer says
+ * what the model said, so nothing is written. {@link changes} names the
+ * elements that diverged.
+ *
+ * @example
+ * ```typescript
+ * import { writeBpmn } from "@bpmnkit/core/node"
+ * import { WriteVerificationError } from "@bpmnkit/core"
+ *
+ * try {
+ *   await writeBpmn(definitions, { output: "flow.bpmn" })
+ * } catch (err) {
+ *   if (err instanceof WriteVerificationError) {
+ *     console.error("would have lost:", err.changes.removed)
+ *   }
+ * }
+ * ```
+ */
+export class WriteVerificationError extends BpmnSdkError {
+    /** What differed between the model and the model read back from the output. */
+    changes;
+    constructor(message, changes) {
+        super(message, "write-verification-error");
+        this.name = "WriteVerificationError";
+        this.changes = changes;
+    }
+}
+/**
+ * Thrown when the output file cannot be written — it already exists and
+ * `force` was not given, or the filesystem refused the write.
+ */
+export class WriteError extends BpmnSdkError {
+    constructor(message) {
+        super(message, "write-error");
+        this.name = "WriteError";
+    }
+}
 //# sourceMappingURL=errors.js.map

package/dist/index.d.ts

@@ -1,18 +1,22 @@
-export { BpmnSdkError, ParseError, ValidationError } from "./errors.js";
+export { BpmnSdkError, ParseError, ValidationError, WriteError, WriteVerificationError, } from "./errors.js";
 export type { ErrorCode } from "./errors.js";
 export { isBpmnActivity, isBpmnAdHocSubProcess, isBpmnBoundaryEvent, isBpmnBusinessRuleTask, isBpmnCallActivity, isBpmnComplexGateway, isBpmnDataObject, isBpmnDataObjectReference, isBpmnDataStoreReference, isBpmnEndEvent, isBpmnEvent, isBpmnEventBasedGateway, isBpmnEventSubProcess, isBpmnExclusiveGateway, isBpmnGateway, isBpmnInclusiveGateway, isBpmnIntermediateCatchEvent, isBpmnIntermediateThrowEvent, isBpmnManualTask, isBpmnParallelGateway, isBpmnReceiveTask, isBpmnScriptTask, isBpmnSendTask, isBpmnServiceTask, isBpmnStartEvent, isBpmnSubProcess, isBpmnTask, isBpmnTransaction, isBpmnUserTask, } from "./bpmn/type-guards.js";
 export { findElement, findElementInProcess, findProcess, findSequenceFlow, getAllElements, getElementType, getZeebeExtensions, } from "./bpmn/utils.js";
 export { Bpmn, SAMPLE_BPMN_XML } from "./bpmn/index.js";
 export { applyAutoLayout } from "./bpmn/auto-layout.js";
+export { diffSemantics, projectSemantics, semanticHash } from "./bpmn/semantic-hash.js";
+export type { JsonValue, SemanticDiff, SemanticProjection } from "./bpmn/semantic-hash.js";
+export { sha256Hex } from "./bpmn/sha256.js";
 export { checkDiCompleteness } from "./bpmn/di-check.js";
 export type { DiCompleteness } from "./bpmn/di-check.js";
 export { planeForElement, listPlaneElementIds } from "./bpmn/di-planes.js";
-export { DiagramBuilder } from "./bpmn/bpmn-builder.js";
-export type { ProcessBuilder, BranchBuilder, SubProcessContentBuilder, ServiceTaskOptions, ScriptTaskOptions, UserTaskOptions, CallActivityOptions, BusinessRuleTaskOptions, ElementOptions, GatewayOptions, MultiInstanceOptions, SubProcessOptions, StartEventOptions, IntermediateCatchEventOptions, IntermediateThrowEventOptions, EndEventOptions, BoundaryEventOptions, AdHocSubProcessOptions, } from "./bpmn/bpmn-builder.js";
+export { DiagramBuilder, ProcessBuilder } from "./bpmn/bpmn-builder.js";
+export type { BranchBuilder, BuildOptions, MessageFlowOptions, ParticipantOptions, DiagramMessageOptions, SubProcessContentBuilder, ServiceTaskOptions, ScriptTaskOptions, UserTaskOptions, CallActivityOptions, BusinessRuleTaskOptions, ElementOptions, GatewayOptions, MultiInstanceOptions, SubProcessOptions, StartEventOptions, IntermediateCatchEventOptions, IntermediateThrowEventOptions, EndEventOptions, BoundaryEventOptions, AdHocSubProcessOptions, } from "./bpmn/bpmn-builder.js";
 export type { BpmnDefinitions, BpmnProcess, BpmnFlowNode, BpmnFlowElement, BpmnSequenceFlow, BpmnBoundaryEvent, BpmnElementType, BpmnStartEvent, BpmnEndEvent, BpmnIntermediateCatchEvent, BpmnIntermediateThrowEvent, BpmnTask, BpmnServiceTask, BpmnScriptTask, BpmnUserTask, BpmnSendTask, BpmnReceiveTask, BpmnBusinessRuleTask, BpmnManualTask, BpmnCallActivity, BpmnSubProcess, BpmnAdHocSubProcess, BpmnEventSubProcess, BpmnTransaction, BpmnExclusiveGateway, BpmnParallelGateway, BpmnInclusiveGateway, BpmnEventBasedGateway, BpmnComplexGateway, BpmnCollaboration, BpmnParticipant, BpmnMessageFlow, BpmnLane, BpmnLaneSet, BpmnError, BpmnEscalation, BpmnMessage, BpmnSignal, BpmnTextAnnotation, BpmnAssociation, BpmnGroup, BpmnDataObject, BpmnDataObjectReference, BpmnDataStoreReference, BpmnConditionExpression, BpmnEventDefinition, BpmnTimerEventDefinition, BpmnErrorEventDefinition, BpmnEscalationEventDefinition, BpmnMessageEventDefinition, BpmnSignalEventDefinition, BpmnConditionalEventDefinition, BpmnLinkEventDefinition, BpmnCancelEventDefinition, BpmnTerminateEventDefinition, BpmnCompensateEventDefinition, BpmnMultiInstanceLoopCharacteristics, BpmnDiagram, BpmnDiPlane, BpmnDiShape, BpmnDiEdge, BpmnDiLabel, BpmnBounds, BpmnWaypoint, } from "./bpmn/bpmn-model.js";
 export type { RestConnectorConfig, RestAuthentication, HttpMethod, } from "./bpmn/rest-connector.js";
 export type { ZeebeExtensions, ZeebeTaskDefinition, ZeebeIoMapping, ZeebeIoMappingEntry, ZeebeTaskHeaders, ZeebeTaskHeaderEntry, ZeebeProperties, ZeebePropertyEntry, ZeebeFormDefinition, ZeebeCalledDecision, ZeebeAssignmentDefinition, ZeebeTaskSchedule, ZeebePriorityDefinition, ZeebeSubscription, } from "./bpmn/zeebe-extensions.js";
-export { zeebeExtensionsToXmlElements } from "./bpmn/zeebe-extensions.js";
+export { assertZeebePlacement, bpmnElementName, ensureZeebeExtension, isZeebePlacementAllowed, ZeebePlacementError, zeebeExtensionsToXmlElements, } from "./bpmn/zeebe-extensions.js";
+export { ZEEBE_PLACEMENT } from "./bpmn/zeebe-placement.js";
 export { buildAiAgentSubProcess, AI_AGENT_JOB_WORKER_TASK_TYPE, AI_AGENT_DEFAULT_OUTPUT_ELEMENT, } from "./bpmn/agentic.js";
 export type { AiAgentOptions, AiAgentModelConfig, AiAgentToolSpec, AiAgentToolParam, AiAgentToolParamType, AiAgentBuild, } from "./bpmn/agentic.js";
 export { Dmn, layoutDmn, benchmarkDmnLayout, compactifyDmn, expandDmn } from "./dmn/index.js";
@@ -43,6 +47,8 @@ export { ELEMENT_SIZES, GRID_CELL_HEIGHT, GRID_CELL_WIDTH } from "./layout/index
 export { compactify, expand } from "./bpmn/compact.js";
 export { applyOperations } from "./bpmn/operations.js";
 export type { BpmnOperation } from "./bpmn/operations.js";
+export { applyBpmnOperations, reconcileCompact, OperationError } from "./bpmn/full-operations.js";
+export type { ApplyBpmnOperationsOptions, ApplyBpmnOperationsResult, OperationProblem, } from "./bpmn/full-operations.js";
 export { buildValidationDmn, findValidationStructure, getValidationInputNames, insertValidationStructure, removeValidationStructure, validationDecisionId, } from "./bpmn/input-validation.js";
 export type { InputVariableDef, ValidationStructure, ValidationVariableType, } from "./bpmn/input-validation.js";
 export { exportSvg } from "./bpmn/svg.js";

package/dist/index.js

@@ -1,12 +1,15 @@
-export { BpmnSdkError, ParseError, ValidationError } from "./errors.js";
+export { BpmnSdkError, ParseError, ValidationError, WriteError, WriteVerificationError, } from "./errors.js";
 export { isBpmnActivity, isBpmnAdHocSubProcess, isBpmnBoundaryEvent, isBpmnBusinessRuleTask, isBpmnCallActivity, isBpmnComplexGateway, isBpmnDataObject, isBpmnDataObjectReference, isBpmnDataStoreReference, isBpmnEndEvent, isBpmnEvent, isBpmnEventBasedGateway, isBpmnEventSubProcess, isBpmnExclusiveGateway, isBpmnGateway, isBpmnInclusiveGateway, isBpmnIntermediateCatchEvent, isBpmnIntermediateThrowEvent, isBpmnManualTask, isBpmnParallelGateway, isBpmnReceiveTask, isBpmnScriptTask, isBpmnSendTask, isBpmnServiceTask, isBpmnStartEvent, isBpmnSubProcess, isBpmnTask, isBpmnTransaction, isBpmnUserTask, } from "./bpmn/type-guards.js";
 export { findElement, findElementInProcess, findProcess, findSequenceFlow, getAllElements, getElementType, getZeebeExtensions, } from "./bpmn/utils.js";
 export { Bpmn, SAMPLE_BPMN_XML } from "./bpmn/index.js";
 export { applyAutoLayout } from "./bpmn/auto-layout.js";
+export { diffSemantics, projectSemantics, semanticHash } from "./bpmn/semantic-hash.js";
+export { sha256Hex } from "./bpmn/sha256.js";
 export { checkDiCompleteness } from "./bpmn/di-check.js";
 export { planeForElement, listPlaneElementIds } from "./bpmn/di-planes.js";
-export { DiagramBuilder } from "./bpmn/bpmn-builder.js";
-export { zeebeExtensionsToXmlElements } from "./bpmn/zeebe-extensions.js";
+export { DiagramBuilder, ProcessBuilder } from "./bpmn/bpmn-builder.js";
+export { assertZeebePlacement, bpmnElementName, ensureZeebeExtension, isZeebePlacementAllowed, ZeebePlacementError, zeebeExtensionsToXmlElements, } from "./bpmn/zeebe-extensions.js";
+export { ZEEBE_PLACEMENT } from "./bpmn/zeebe-placement.js";
 export { buildAiAgentSubProcess, AI_AGENT_JOB_WORKER_TASK_TYPE, AI_AGENT_DEFAULT_OUTPUT_ELEMENT, } from "./bpmn/agentic.js";
 export { Dmn, layoutDmn, benchmarkDmnLayout, compactifyDmn, expandDmn } from "./dmn/index.js";
 export { Form, compactifyForm, expandForm } from "./form/index.js";
@@ -22,6 +25,7 @@ export { benchmarkLayout, compareLayouts, formatBenchmarkResult, generateAutoLay
 export { ELEMENT_SIZES, GRID_CELL_HEIGHT, GRID_CELL_WIDTH } from "./layout/index.js";
 export { compactify, expand } from "./bpmn/compact.js";
 export { applyOperations } from "./bpmn/operations.js";
+export { applyBpmnOperations, reconcileCompact, OperationError } from "./bpmn/full-operations.js";
 export { buildValidationDmn, findValidationStructure, getValidationInputNames, insertValidationStructure, removeValidationStructure, validationDecisionId, } from "./bpmn/input-validation.js";
 export { exportSvg } from "./bpmn/svg.js";
 export { compilePlan, extractPlan, mergePlan, slugify, uniqueId, } from "./plan/index.js";

package/dist/layout/semantic/graph.d.ts

@@ -22,8 +22,16 @@ export interface SemanticGraph {
     starts: string[];
     /** Longest-path rank per node id. */
     ranks: Map<string, number>;
+    /** Lazily built: ids from which an end (or terminal) node is reachable. See {@link reachesEnd}. */
+    endReach?: Set<string>;
 }
 export declare function buildSemanticGraph(flowElements: BpmnFlowElement[], sequenceFlows: BpmnSequenceFlow[]): SemanticGraph;
-/** True when an end event is reachable from `id` without traversing a back edge. */
+/**
+ * True when an end event is reachable from `id` without traversing a back edge.
+ * A node other than `id` itself that has no outgoing flow also ends the path.
+ *
+ * The reverse reachability set is computed once per graph, so repeated calls
+ * from the spine tracer stay O(1) instead of re-walking the graph each time.
+ */
 export declare function reachesEnd(graph: SemanticGraph, id: string): boolean;
 //# sourceMappingURL=graph.d.ts.map

package/dist/layout/semantic/graph.js

@@ -192,26 +192,51 @@ function assignRanks(graph) {
             ranks.set(id, (ranks.get(id) ?? 0) - min);
     }
 }
-/** True when an end event is reachable from `id` without traversing a back edge. */
+/**
+ * True when an end event is reachable from `id` without traversing a back edge.
+ * A node other than `id` itself that has no outgoing flow also ends the path.
+ *
+ * The reverse reachability set is computed once per graph, so repeated calls
+ * from the spine tracer stay O(1) instead of re-walking the graph each time.
+ */
 export function reachesEnd(graph, id) {
-    const seen = new Set();
-    const stack = [id];
-    while (stack.length > 0) {
-        const current = stack.pop();
-        if (current === undefined || seen.has(current))
-            continue;
-        seen.add(current);
-        const node = graph.byId.get(current);
-        if (node && END_TYPES.has(node.type))
+    const node = graph.byId.get(id);
+    if (node && END_TYPES.has(node.type))
+        return true;
+    const endReach = graph.endReach ?? buildEndReach(graph);
+    for (const flow of graph.outgoing.get(id) ?? []) {
+        if (!graph.backEdges.has(flow.id) && endReach.has(flow.targetRef))
             return true;
-        const out = graph.outgoing.get(current) ?? [];
-        if (out.length === 0 && seen.size > 1)
-            return true; // a terminal node ends the path
-        for (const flow of out) {
-            if (!graph.backEdges.has(flow.id))
-                stack.push(flow.targetRef);
-        }
     }
     return false;
 }
+/**
+ * Every node from which a path along non-back edges reaches an end event or a
+ * node with no outgoing flow (both inclusive), found by one reverse walk.
+ */
+function buildEndReach(graph) {
+    const reach = new Set();
+    const stack = [];
+    for (const node of graph.byId.values()) {
+        const out = graph.outgoing.get(node.id);
+        if (END_TYPES.has(node.type) || out === undefined || out.length === 0) {
+            reach.add(node.id);
+            stack.push(node.id);
+        }
+    }
+    while (stack.length > 0) {
+        const id = stack.pop();
+        for (const flow of graph.incoming.get(id) ?? []) {
+            if (graph.backEdges.has(flow.id))
+                continue;
+            const from = effectiveSource(flow, graph.byId);
+            if (!reach.has(from)) {
+                reach.add(from);
+                stack.push(from);
+            }
+        }
+    }
+    graph.endReach = reach;
+    return reach;
+}
 //# sourceMappingURL=graph.js.map