@uipath/skills 1.199.0 → 1.200.0

package/skills/uipath-maestro-bpmn/validator/test/run-tests.mjs

@@ -1,530 +0,0 @@
-#!/usr/bin/env node
-// Rule-coverage test harness. For each of the 19 PO.Frontend rules (+ the
-// Maestro-original variable-existence check) it builds a minimal invalid BPMN
-// that should trip exactly that rule, and asserts the rule's code is emitted.
-// It also asserts a valid twin produces NO finding for that code.
-//
-// Run: node test/run-tests.mjs   (exit 0 = all rules fire correctly)
-import BpmnModdle from "bpmn-moddle";
-import descriptor from "../uipath-moddle.v1.json" with { type: "json" };
-import { buildModel, collectKnownVariableIds, allNodes, allEdges } from "../model.mjs";
-import { validateDiagram, validateVariableExistence, validateVariableNotSet } from "../rules.mjs";
-import { execFileSync } from "child_process";
-import { fileURLToPath } from "url";
-import { dirname, join } from "path";
-import { writeFileSync, mkdtempSync } from "fs";
-import { tmpdir } from "os";
-
-const moddle = new BpmnModdle({ uipath: descriptor });
-
-async function findingsFor(xml) {
-  const { rootElement } = await moddle.fromXML(xml);
-  const cs = buildModel(rootElement);
-  const knownIds = collectKnownVariableIds(cs);
-  const out = [];
-  for (const d of Object.values(cs.diagramsById)) {
-    out.push(...validateDiagram(d, cs, { enableMissingRootVariableValidation: true }));
-  }
-  out.push(...validateVariableExistence(allNodes(cs), allEdges(cs), knownIds));
-  out.push(...validateVariableNotSet(allNodes(cs), allEdges(cs), knownIds, cs));
-  return out;
-}
-
-// ---- XML builders -------------------------------------------------------
-const DEFS = (inner) =>
-  `<?xml version="1.0" encoding="UTF-8"?>
-<bpmn:definitions xmlns:bpmn="http://www.omg.org/spec/BPMN/20100524/MODEL" xmlns:bpmndi="http://www.omg.org/spec/BPMN/20100524/DI" xmlns:dc="http://www.omg.org/spec/DD/20100524/DC" xmlns:di="http://www.omg.org/spec/DD/20100524/DI" xmlns:uipath="http://uipath.org/schema/bpmn" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" id="Defs" targetNamespace="urn:test">
-${inner}
-</bpmn:definitions>`;
-const PROC = (body, ext = "") => `  <bpmn:process id="P" name="P" isExecutable="true">${ext}\n${body}\n  </bpmn:process>`;
-const COND = (s, t, expr) =>
-  `    <bpmn:sequenceFlow id="${s}_${t}" sourceRef="${s}" targetRef="${t}"><bpmn:conditionExpression xsi:type="bpmn:tFormalExpression">${expr}</bpmn:conditionExpression></bpmn:sequenceFlow>`;
-const FLOW = (s, t, id) => `    <bpmn:sequenceFlow id="${id ?? s + "_" + t}" sourceRef="${s}" targetRef="${t}" />`;
-
-// ---- Per-rule cases -----------------------------------------------------
-const cases = [];
-const add = (code, xml, note) => cases.push({ code, xml, note });
-
-// 1 MISSING_CONDITION_EXPRESSION: XOR with 2 outgoing, no default, no conditions
-add(
-  "MISSING_CONDITION_EXPRESSION",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_G</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:exclusiveGateway id="G"><bpmn:incoming>S_G</bpmn:incoming><bpmn:outgoing>G_A</bpmn:outgoing><bpmn:outgoing>G_B</bpmn:outgoing></bpmn:exclusiveGateway>
-    <bpmn:task id="A"><bpmn:incoming>G_A</bpmn:incoming></bpmn:task>
-    <bpmn:task id="B"><bpmn:incoming>G_B</bpmn:incoming></bpmn:task>
-${FLOW("S", "G", "S_G")}
-${FLOW("G", "A", "G_A")}
-${FLOW("G", "B", "G_B")}`,
-    ),
-  ),
-);
-
-// 2 INVALID_CONNECTION_TYPE: EndEvent -> Task
-add(
-  "INVALID_CONNECTION_TYPE",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_E</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:endEvent id="E"><bpmn:incoming>S_E</bpmn:incoming><bpmn:outgoing>E_T</bpmn:outgoing></bpmn:endEvent>
-    <bpmn:task id="T"><bpmn:incoming>E_T</bpmn:incoming></bpmn:task>
-${FLOW("S", "E", "S_E")}
-${FLOW("E", "T", "E_T")}`,
-    ),
-  ),
-);
-
-// 3 DUPLICATE_ERROR_EVENT_SUBPROCESS: two event subprocesses, same error code
-add(
-  "DUPLICATE_ERROR_EVENT_SUBPROCESS",
-  DEFS(
-    `  <bpmn:error id="Err1" name="E1" errorCode="CODE_X" />
-${PROC(
-  `    <bpmn:startEvent id="S"><bpmn:outgoing>S_T</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:task id="T"><bpmn:incoming>S_T</bpmn:incoming><bpmn:outgoing>T_E</bpmn:outgoing></bpmn:task>
-    <bpmn:endEvent id="E"><bpmn:incoming>T_E</bpmn:incoming></bpmn:endEvent>
-    <bpmn:subProcess id="SP1" triggeredByEvent="true">
-      <bpmn:startEvent id="SP1S"><bpmn:errorEventDefinition id="ed1" errorRef="Err1" /></bpmn:startEvent>
-    </bpmn:subProcess>
-    <bpmn:subProcess id="SP2" triggeredByEvent="true">
-      <bpmn:startEvent id="SP2S"><bpmn:errorEventDefinition id="ed2" errorRef="Err1" /></bpmn:startEvent>
-    </bpmn:subProcess>
-${FLOW("S", "T", "S_T")}
-${FLOW("T", "E", "T_E")}`,
-)}`,
-  ),
-);
-
-// 4 START_EVENT_WITH_DEFINITION_IN_SUBPROCESS: regular subprocess start has timer def
-add(
-  "START_EVENT_WITH_DEFINITION_IN_SUBPROCESS",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_SP</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:subProcess id="SP"><bpmn:incoming>S_SP</bpmn:incoming><bpmn:outgoing>SP_E</bpmn:outgoing>
-      <bpmn:startEvent id="SPS"><bpmn:timerEventDefinition id="t1"><bpmn:timeDuration>PT5M</bpmn:timeDuration></bpmn:timerEventDefinition></bpmn:startEvent>
-    </bpmn:subProcess>
-    <bpmn:endEvent id="E"><bpmn:incoming>SP_E</bpmn:incoming></bpmn:endEvent>
-${FLOW("S", "SP", "S_SP")}
-${FLOW("SP", "E", "SP_E")}`,
-    ),
-  ),
-);
-
-// 4b START_EVENT_WITHOUT_DEFINITION_IN_EVENT_SUBPROCESS
-add(
-  "START_EVENT_WITHOUT_DEFINITION_IN_EVENT_SUBPROCESS",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_T</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:task id="T"><bpmn:incoming>S_T</bpmn:incoming></bpmn:task>
-    <bpmn:subProcess id="SP" triggeredByEvent="true">
-      <bpmn:startEvent id="SPS" />
-    </bpmn:subProcess>
-${FLOW("S", "T", "S_T")}`,
-    ),
-  ),
-);
-
-// 5 ERROR_BOUNDARY_EVENT_REQUIRES_ERROR_CODE: boundary refs an Error with no errorCode
-add(
-  "ERROR_BOUNDARY_EVENT_REQUIRES_ERROR_CODE",
-  DEFS(
-    `  <bpmn:error id="ErrNoCode" name="NoCode" />
-${PROC(
-  `    <bpmn:startEvent id="S"><bpmn:outgoing>S_T</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:task id="T"><bpmn:incoming>S_T</bpmn:incoming></bpmn:task>
-    <bpmn:boundaryEvent id="BE" attachedToRef="T"><bpmn:errorEventDefinition id="bed" errorRef="ErrNoCode" /></bpmn:boundaryEvent>
-${FLOW("S", "T", "S_T")}`,
-)}`,
-  ),
-);
-
-// 5b MULTIPLE_CATCH_ALL_BOUNDARY_EVENTS_ON_TASK: two catch-all error boundaries on one task
-add(
-  "MULTIPLE_CATCH_ALL_BOUNDARY_EVENTS_ON_TASK",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_T</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:task id="T"><bpmn:incoming>S_T</bpmn:incoming></bpmn:task>
-    <bpmn:boundaryEvent id="BE1" attachedToRef="T"><bpmn:errorEventDefinition id="bed1" /></bpmn:boundaryEvent>
-    <bpmn:boundaryEvent id="BE2" attachedToRef="T"><bpmn:errorEventDefinition id="bed2" /></bpmn:boundaryEvent>
-${FLOW("S", "T", "S_T")}`,
-    ),
-  ),
-);
-
-// 6 ERROR_END_EVENT_MISSING_EXCEPTION: error end event with no errorRef
-add(
-  "ERROR_END_EVENT_MISSING_EXCEPTION",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_E</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:endEvent id="E"><bpmn:incoming>S_E</bpmn:incoming><bpmn:errorEventDefinition id="eed" /></bpmn:endEvent>
-${FLOW("S", "E", "S_E")}`,
-    ),
-  ),
-);
-
-// 7 FAKE_JOIN: NOTE — this rule fires only on literal abstract node types
-// ("bpmn:Activity"/"bpmn:Event"), which the frontend canvas never assigns to a
-// real node (it uses concrete $types), so the rule is dormant on exported BPMN.
-// It is therefore NOT triggerable via this XML harness; the rule LOGIC is proven
-// at the model level in test/ported-rule-tests.mjs (FakeJoinRule suite, which
-// mirrors the frontend unit test verbatim). We mark it as covered there.
-// (No XML case added; see FakeJoinRule drift note in rules.mjs / README.)
-
-// 8 SAME_POOL_MESSAGE_FLOW: message flow between two nodes in the same pool
-add(
-  "SAME_POOL_MESSAGE_FLOW",
-  DEFS(
-    `  <bpmn:collaboration id="C">
-    <bpmn:participant id="Pool1" name="Pool 1" processRef="P" />
-    <bpmn:messageFlow id="MF" sourceRef="T1" targetRef="T2" />
-  </bpmn:collaboration>
-  <bpmn:process id="P" isExecutable="true">
-    <bpmn:task id="T1" />
-    <bpmn:task id="T2" />
-  </bpmn:process>`,
-  ),
-);
-
-// 9 MISSING_RESOURCE: Orchestrator.StartJob with no resource binding (WARNING)
-add(
-  "MISSING_RESOURCE",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_T</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:serviceTask id="T" name="Start Job"><bpmn:incoming>S_T</bpmn:incoming>
-      <bpmn:extensionElements><uipath:activity version="v1"><uipath:type value="Orchestrator.StartJob" version="v1" /></uipath:activity></bpmn:extensionElements>
-    </bpmn:serviceTask>
-${FLOW("S", "T", "S_T")}`,
-    ),
-  ),
-);
-
-// 10 MISSING_ROOT_VARIABLE: node output var not declared at root (WARNING)
-add(
-  "MISSING_ROOT_VARIABLE",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_T</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:serviceTask id="T" name="Job"><bpmn:incoming>S_T</bpmn:incoming>
-      <bpmn:extensionElements><uipath:activity version="v1"><uipath:type value="Orchestrator.StartJob" version="v1" />
-        <uipath:context><uipath:input name="name" value="X" /></uipath:context>
-        <uipath:output name="JobState" type="string" var="Var_Undeclared" source="state" custom="true" />
-      </uipath:activity></bpmn:extensionElements>
-    </bpmn:serviceTask>
-${FLOW("S", "T", "S_T")}`,
-      `\n    <bpmn:extensionElements><uipath:variables version="v1"><uipath:input id="Var_Other" name="other" type="string" /></uipath:variables></bpmn:extensionElements>`,
-    ),
-  ),
-);
-
-// 11 ASSIGNMENT_NOT_ALLOWED: condition contains an assignment (WARNING)
-add(
-  "ASSIGNMENT_NOT_ALLOWED",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_G</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:exclusiveGateway id="G" default="G_B"><bpmn:incoming>S_G</bpmn:incoming><bpmn:outgoing>G_A</bpmn:outgoing><bpmn:outgoing>G_B</bpmn:outgoing></bpmn:exclusiveGateway>
-    <bpmn:task id="A"><bpmn:incoming>G_A</bpmn:incoming></bpmn:task>
-    <bpmn:task id="B"><bpmn:incoming>G_B</bpmn:incoming></bpmn:task>
-${FLOW("S", "G", "S_G")}
-${COND("G", "A", "=vars.x = 5")}
-${FLOW("G", "B", "G_B")}`,
-    ),
-  ),
-);
-
-// 12 EMPTY_REQUIRED_FIELD: HttpExecution with required 'url' present but empty
-add(
-  "EMPTY_REQUIRED_FIELD",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_T</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:serviceTask id="T" name="HTTP"><bpmn:incoming>S_T</bpmn:incoming>
-      <bpmn:extensionElements><uipath:activity version="v1"><uipath:type value="Intsvc.HttpExecution" version="v1" />
-        <uipath:context><uipath:input name="method" value="GET" /><uipath:input name="url" value="" /></uipath:context>
-      </uipath:activity></bpmn:extensionElements>
-    </bpmn:serviceTask>
-${FLOW("S", "T", "S_T")}`,
-    ),
-  ),
-);
-
-// 12b EMPTY_REQUIRED_FIELD (absent): HttpExecution missing required 'method'/'mode'
-// entirely (only 'url' present+valid). Frontend treats an unbound required field
-// as present-with-empty-value, so an absent required field must fire too.
-add(
-  "EMPTY_REQUIRED_FIELD",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_T</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:serviceTask id="T" name="HTTP"><bpmn:incoming>S_T</bpmn:incoming>
-      <bpmn:extensionElements><uipath:activity version="v1"><uipath:type value="Intsvc.HttpExecution" version="v1" />
-        <uipath:context><uipath:input name="url" value="https://example.com" /></uipath:context>
-      </uipath:activity></bpmn:extensionElements>
-    </bpmn:serviceTask>
-${FLOW("S", "T", "S_T")}`,
-    ),
-  ),
-  "absent required field",
-);
-
-// 13 CROSSING_POOL_BOUNDARY: sequence flow between two pools (non-start target)
-add(
-  "CROSSING_POOL_BOUNDARY",
-  DEFS(
-    `  <bpmn:collaboration id="C">
-    <bpmn:participant id="Pool1" name="P1" processRef="P" />
-    <bpmn:participant id="Pool2" name="P2" processRef="P2" />
-  </bpmn:collaboration>
-  <bpmn:process id="P" isExecutable="true">
-    <bpmn:task id="T1"><bpmn:outgoing>T1_T2</bpmn:outgoing></bpmn:task>
-${FLOW("T1", "T2", "T1_T2")}
-  </bpmn:process>
-  <bpmn:process id="P2" isExecutable="true">
-    <bpmn:task id="T2"><bpmn:incoming>T1_T2</bpmn:incoming></bpmn:task>
-  </bpmn:process>`,
-  ),
-  "cross-pool",
-);
-
-// 14 CROSSING_SUBPROCESS_BOUNDARY: flow from outside into a subprocess child
-add(
-  "CROSSING_SUBPROCESS_BOUNDARY",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_C</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:subProcess id="SP">
-      <bpmn:task id="C" />
-    </bpmn:subProcess>
-${FLOW("S", "C", "S_C")}`,
-    ),
-  ),
-);
-
-// 15 MULTIPLE_BLANK_START_EVENTS: process with two blank start events
-add(
-  "MULTIPLE_BLANK_START_EVENTS",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S1"><bpmn:outgoing>S1_T</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:startEvent id="S2"><bpmn:outgoing>S2_T</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:task id="T"><bpmn:incoming>S1_T</bpmn:incoming></bpmn:task>
-    <bpmn:task id="T2"><bpmn:incoming>S2_T</bpmn:incoming></bpmn:task>
-${FLOW("S1", "T", "S1_T")}
-${FLOW("S2", "T2", "S2_T")}`,
-    ),
-  ),
-);
-
-// 16 MULTIPLE_START_EVENTS_IN_EVENT_SUBPROCESS
-add(
-  "MULTIPLE_START_EVENTS_IN_EVENT_SUBPROCESS",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_T</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:task id="T"><bpmn:incoming>S_T</bpmn:incoming></bpmn:task>
-    <bpmn:subProcess id="SP" triggeredByEvent="true">
-      <bpmn:startEvent id="SPS1"><bpmn:timerEventDefinition id="t1"><bpmn:timeDuration>PT5M</bpmn:timeDuration></bpmn:timerEventDefinition></bpmn:startEvent>
-      <bpmn:startEvent id="SPS2"><bpmn:timerEventDefinition id="t2"><bpmn:timeDuration>PT5M</bpmn:timeDuration></bpmn:timerEventDefinition></bpmn:startEvent>
-    </bpmn:subProcess>
-${FLOW("S", "T", "S_T")}`,
-    ),
-  ),
-);
-
-// 17 SUPERFLUOUS_GATEWAY: gateway with exactly one in and one out
-add(
-  "SUPERFLUOUS_GATEWAY",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_G</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:exclusiveGateway id="G"><bpmn:incoming>S_G</bpmn:incoming><bpmn:outgoing>G_T</bpmn:outgoing></bpmn:exclusiveGateway>
-    <bpmn:task id="T"><bpmn:incoming>G_T</bpmn:incoming></bpmn:task>
-${FLOW("S", "G", "S_G")}
-${FLOW("G", "T", "G_T")}`,
-    ),
-  ),
-);
-
-// 18 TASK_TIMER_OUT_OF_RANGE: actions task Timer below 15 minutes (WARNING)
-add(
-  "TASK_TIMER_OUT_OF_RANGE",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_T</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:userTask id="T" name="HITL"><bpmn:incoming>S_T</bpmn:incoming>
-      <bpmn:extensionElements><uipath:activity version="v1"><uipath:type value="actions" version="v1" />
-        <uipath:context><uipath:input name="Timer" value="5" /></uipath:context>
-      </uipath:activity></bpmn:extensionElements>
-    </bpmn:userTask>
-${FLOW("S", "T", "S_T")}`,
-    ),
-  ),
-);
-
-// 19 TIMER_DURATION_INVALID: timer intermediate event with bad ISO duration
-add(
-  "TIMER_DURATION_INVALID",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_I</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:intermediateCatchEvent id="I"><bpmn:incoming>S_I</bpmn:incoming><bpmn:outgoing>I_E</bpmn:outgoing>
-      <bpmn:timerEventDefinition id="td"><bpmn:timeDuration>NOT_A_DURATION</bpmn:timeDuration></bpmn:timerEventDefinition>
-    </bpmn:intermediateCatchEvent>
-    <bpmn:endEvent id="E"><bpmn:incoming>I_E</bpmn:incoming></bpmn:endEvent>
-${FLOW("S", "I", "S_I")}
-${FLOW("I", "E", "I_E")}`,
-    ),
-  ),
-);
-
-// 19b TIMER_DURATION_WEEK_UNSUPPORTED: valid ISO with week designator (WARNING)
-add(
-  "TIMER_DURATION_WEEK_UNSUPPORTED",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_I</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:intermediateCatchEvent id="I"><bpmn:incoming>S_I</bpmn:incoming><bpmn:outgoing>I_E</bpmn:outgoing>
-      <bpmn:timerEventDefinition id="td"><bpmn:timeDuration>P1W</bpmn:timeDuration></bpmn:timerEventDefinition>
-    </bpmn:intermediateCatchEvent>
-    <bpmn:endEvent id="E"><bpmn:incoming>I_E</bpmn:incoming></bpmn:endEvent>
-${FLOW("S", "I", "S_I")}
-${FLOW("I", "E", "I_E")}`,
-    ),
-  ),
-);
-
-// 20 VARIABLE_DOES_NOT_EXIST: condition references undeclared vars.X (Maestro-original)
-add(
-  "VARIABLE_DOES_NOT_EXIST",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_G</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:exclusiveGateway id="G" default="G_B"><bpmn:incoming>S_G</bpmn:incoming><bpmn:outgoing>G_A</bpmn:outgoing><bpmn:outgoing>G_B</bpmn:outgoing></bpmn:exclusiveGateway>
-    <bpmn:task id="A"><bpmn:incoming>G_A</bpmn:incoming></bpmn:task>
-    <bpmn:task id="B"><bpmn:incoming>G_B</bpmn:incoming></bpmn:task>
-${FLOW("S", "G", "S_G")}
-${COND("G", "A", '=vars.DoesNotExist == "x"')}
-${FLOW("G", "B", "G_B")}`,
-    ),
-  ),
-);
-
-// 21 VARIABLE_NOT_SET: task A references vars.fromB, produced by B downstream
-// (so it is declared/known but NOT reachable at A). WARNING-severity; mirrors
-// the frontend's flow-order check distinct from VARIABLE_DOES_NOT_EXIST.
-add(
-  "VARIABLE_NOT_SET",
-  DEFS(
-    PROC(
-      `    <bpmn:startEvent id="S"><bpmn:outgoing>S_A</bpmn:outgoing></bpmn:startEvent>
-    <bpmn:serviceTask id="A"><bpmn:incoming>S_A</bpmn:incoming><bpmn:outgoing>A_B</bpmn:outgoing>
-      <bpmn:extensionElements><uipath:activity version="v1"><uipath:type value="x" version="v1" /><uipath:input name="i" value="=vars.fromB" /></uipath:activity></bpmn:extensionElements>
-    </bpmn:serviceTask>
-    <bpmn:serviceTask id="B"><bpmn:incoming>A_B</bpmn:incoming>
-      <bpmn:extensionElements><uipath:activity version="v1"><uipath:type value="x" version="v1" /><uipath:output name="o" var="fromB" custom="true" source="x" /></uipath:activity></bpmn:extensionElements>
-    </bpmn:serviceTask>
-${FLOW("S", "A", "S_A")}
-${FLOW("A", "B", "A_B")}`,
-    ),
-  ),
-  "declared but unreachable",
-);
-
-// ---- Run: 1) crafted-invalid XML coverage harness -----------------------
-let failures = 0;
-const fired = new Set();
-console.log("== Crafted-invalid XML coverage ==");
-for (const c of cases) {
-  const findings = await findingsFor(c.xml);
-  const codes = findings.map((f) => f.code);
-  const ok = codes.includes(c.code);
-  if (ok) fired.add(c.code);
-  const tag = ok ? "PASS" : "FAIL";
-  if (!ok) failures++;
-  console.log(`${tag}  ${c.code}${c.note ? " (" + c.note + ")" : ""}  -> [${[...new Set(codes)].join(", ") || "none"}]`);
-}
-console.log(`${cases.length} crafted cases, ${cases.length - failures} passed, ${failures} failed.`);
-
-// FAKE_JOIN is dormant on real/exported BPMN (matches the frontend — it keys off
-// abstract node types the canvas never assigns). Its logic is proven in the
-// ported rule suite, so it is intentionally not triggerable via this XML harness.
-import { RULE_CODES } from "../rules.mjs";
-
-// ---- Run: 2) ported per-rule tests (1:1 with PO.Frontend rule tests) -----
-console.log("\n== Ported PO.Frontend rule tests ==");
-const ported = (await import("./ported-rule-tests.mjs")).default;
-console.log(`${ported.passed + ported.failed} ported assertions, ${ported.passed} passed, ${ported.failed} failed.`);
-for (const f of ported.failures) console.log("  FAIL " + f);
-failures += ported.failed;
-// Codes the ported suite positively asserts (incl. FAKE_JOIN, dormant in XML).
-const COVERED_BY_PORTED = ported.firedCodes;
-
-// ---- Run: 3) integration over real .bpmn files ---------------------------
-console.log("\n== Integration over real .bpmn files ==");
-const runIntegration = (await import("./integration.test.mjs")).default;
-const integ = await runIntegration({ verbose: true });
-console.log(
-  `${integ.ranFiles} real files (${integ.knownGood} known-good, ${integ.expected} expected-findings), ${integ.passed} passed, ${integ.failed} failed.`,
-);
-for (const f of integ.failures) console.log("  FAIL " + f);
-failures += integ.failed;
-
-// ---- Run: 4) CLI well-formedness gate ------------------------------------
-// bpmn-moddle's SAX parser is lenient and accepts "--" inside comments, which
-// strict parsers and the canvas import reject. The CLI applies a pre-parse
-// well-formedness gate; assert it fires (exit 2) and does not false-positive.
-console.log("\n== CLI well-formedness gate ==");
-{
-  const cli = join(dirname(fileURLToPath(import.meta.url)), "..", "validate-bpmn.mjs");
-  const tmp = mkdtempSync(join(tmpdir(), "wf-"));
-  const runExit = (xml) => {
-    const p = join(tmp, "case.bpmn");
-    writeFileSync(p, xml);
-    try {
-      execFileSync("node", [cli, p], { stdio: "pipe" });
-      return 0;
-    } catch (e) {
-      return e.status ?? 1;
-    }
-  };
-  const head = '<?xml version="1.0"?><bpmn:definitions xmlns:bpmn="http://www.omg.org/spec/BPMN/20100524/MODEL"';
-  // Each malformed case is well-formedness-invalid (strict parsers / canvas import
-  // reject it) but bpmn-moddle's lenient SAX parser would accept it.
-  const malformed = {
-    '"--" inside comment': `${head}><!-- uip foo --connection-id x --><bpmn:process id="P"/></bpmn:definitions>`,
-    "unescaped ampersand": `${head}><bpmn:process id="P" name="Tom & Jerry"/></bpmn:definitions>`,
-    "&& in text (not CDATA)": `${head}><bpmn:process id="P">a && b</bpmn:process></bpmn:definitions>`,
-    "stray <": `${head}><bpmn:process id="P">a < b</bpmn:process></bpmn:definitions>`,
-  };
-  for (const [name, xml] of Object.entries(malformed)) {
-    const exit = runExit(xml);
-    const ok = exit !== 0;
-    console.log(`${ok ? "PASS" : "FAIL"}  rejects ${name} (exit ${exit})`);
-    if (!ok) failures++;
-  }
-  const okComment = `${head}><!-- uip foo with connection id and json output --><bpmn:process id="P"/></bpmn:definitions>`;
-  const okExit = runExit(okComment);
-  const okOk = okExit !== 2;
-  console.log(`${okOk ? "PASS" : "FAIL"}  clean comment not flagged for well-formedness (exit ${okExit})`);
-  if (!okOk) failures++;
-}
-
-// ---- Coverage assertion: every rule code is exercised somewhere -----------
-const portedOnly = [...COVERED_BY_PORTED].filter((c) => !fired.has(c));
-const portedCoverageNote = portedOnly.length ? ` (+${portedOnly.join(",")} via ported suite)` : "";
-const allFired = new Set([...fired, ...COVERED_BY_PORTED]);
-const missing = RULE_CODES.filter((c) => !allFired.has(c));
-console.log(`\nRule codes exercised: ${allFired.size}/${RULE_CODES.length}${portedCoverageNote}`);
-if (missing.length) {
-  console.log(`  MISSING coverage for: ${missing.join(", ")}`);
-  failures += missing.length;
-}
-
-console.log(`\n${failures === 0 ? "ALL GREEN" : failures + " FAILURE(S)"}`);
-process.exit(failures === 0 ? 0 : 1);