@uipath/maestro-builder-sdk 6.17.0 → 6.17.1

package/README.md

@@ -237,7 +237,7 @@ Work:
 `uipath.ixp.*` (`ixpExtract`)
 
 An error port (`.onError`, whose handler can rejoin the success path with
-`h.rejoin('step')`), per-arm labels, and switch arms with their own terminal
+`h.stepToRef('step')`), per-arm labels, and switch arms with their own terminal
 outputs are constructs rather than node types.
 
 Anything that names a tenant resource — a release key, a published extraction
@@ -250,7 +250,7 @@ worked example per node type.
 - **Control flow & lifecycle** are *fluent methods* on the builder:
   `.name` · `.version` · `.input` · `.output` · `.var` · `.trigger` · `.step` ·
   `.branch` · `.switch` · `.parallel` · `.loop` · `.onError` (whose handler can
-  end by rejoining the success path — `h.rejoin('step')`) · `.terminate` ·
+  end by rejoining the success path — `h.stepToRef('step')`) · `.terminate` ·
   `.return` · `.build`. Inside a `.branch` / `.switch` arm, `.label('…')` names
   that arm — the label round-trips to and from the `.flow`
   (`trueLabel` / `falseLabel` on a decision, the case `label` on a switch).

package/dist/api-index.md

@@ -57,7 +57,7 @@ could hand you spans for a version you do not have.
 | `apiWorkflow` | function | `dist/core/actions.d.ts:2886-2920` | Actions | Invoke a deployed API workflow — a coded workflow published to Orchestrator, run as a serverless job rather than by a… |
 | `ApiWorkflowInputs` | interface | `dist/core/actions.d.ts:1049-1080` | Option shapes | 5 field(s) |
 | `AppRef` | interface | `dist/core/actions.d.ts:506-551` | Supporting types | A deployed Action App that supplies a human task's form — the `'action-app'` variant's subject. |
-| `ArmBuilder` | class | `dist/flow-sdk.d.ts:1135-1158` | Builders | The sub-builder an ARM callback receives — a `StepList` that can also name itself with `.label(...)`. |
+| `ArmBuilder` | class | `dist/flow-sdk.d.ts:1136-1159` | Builders | The sub-builder an ARM callback receives — a `StepList` that can also name itself with `.label(...)`. |
 | `AskedField` | interface | `dist/core/actions.d.ts:354-364` | Supporting types | A value the reviewer FILLS IN: read downstream with `out('<step>', '<id>')`. |
 | `batchTransform` | function | `dist/core/actions.d.ts:2689-2723` | Actions | Add AI-generated columns to a CSV — the platform's **Batch transform** node, `uipath.pattern.batch-transform` (service… |
 | `BatchTransformInputs` | interface | `dist/core/actions.d.ts:846-861` | Option shapes | 4 field(s) |
@@ -118,7 +118,7 @@ could hand you spans for a version you do not have.
 | `endCall` | function | `dist/core/actions.d.ts:3014-3021` | Actions | Hang up (`uipath.conversational.voice.end-call`). |
 | `EndCallInputs` | interface | `dist/core/actions.d.ts:741-748` | Option shapes | 1 field(s) |
 | `entryInput` | function | `dist/core/expr.d.ts:62-72` | Expressions and types | Reference an ENTRY POINT's scoped input: `entryInput('nightly', 'batchDate')` reads `$vars.nightly.output.batchDate` —… |
-| `err` | function | `dist/core/expr.d.ts:153-240` | Expressions and types | Reference a FAILED step's error → `$vars.<step>.error[.<field>]`. |
+| `err` | function | `dist/core/expr.d.ts:153-246` | Expressions and types | Reference a FAILED step's error → `$vars.<step>.error[.<field>]`. |
 | `ErrorEnvelopeField` | type | `dist/core/expr.d.ts:142-152` | Supporting types | The fields a failure envelope carries. |
 | `EscalationRef` | interface | `dist/core/actions.d.ts:1979-2045` | Supporting types | One escalation an inline agent may raise — an Action Center app task a human completes (the `coded-action-app` variant,… |
 | `EventFilter` | type | `dist/core/actions.d.ts:3436-3477` | Supporting types | One filter condition on the event payload. |
@@ -128,10 +128,10 @@ could hand you spans for a version you do not have.
 | `FilterCondition` | type | `dist/core/actions.d.ts:233-234` | Supporting types | Comparison a filter rule applies to a field. |
 | `FilterMatch` | type | `dist/core/actions.d.ts:231-232` | Supporting types | How a filter combines its rules: every rule must match, or any one. |
 | `FilterRule` | interface | `dist/core/actions.d.ts:235-247` | Supporting types | 3 field(s) |
-| `flow` | function | `dist/flow-sdk.d.ts:1429-1444` | Flow construction | Start building a flow with the given id. |
+| `flow` | function | `dist/flow-sdk.d.ts:1430-1445` | Flow construction | Start building a flow with the given id. |
 | `FlowAction` | class | `dist/core/node-classes.d.ts:158-164` | Supporting types | A node placed as a step — pass an instance to `.step(name, …)`. |
 | `FlowActionSpec` | type | `dist/flow-sdk.d.ts:41-42` | Supporting types | What `.step()` accepts here: the shared actions plus this SDK's subflow. |
-| `FlowBuilder` | class | `dist/flow-sdk.d.ts:1159-1428` | Builders | 13 member(s) |
+| `FlowBuilder` | class | `dist/flow-sdk.d.ts:1160-1429` | Builders | 13 member(s) |
 | `FlowLayout` | interface | `dist/flow-sdk.d.ts:649-662` | Supporting types | Designer layout for a flow, keyed by AUTHOR-level ids: node entries by step name (plus the trigger id and `end`), edge… |
 | `FlowNode` | class | `dist/core/node-classes.d.ts:122-157` | Supporting types | The abstract root of every definition-backed node the builder can place. |
 | `FlowResource` | class | `dist/core/node-classes.d.ts:172-179` | Supporting types | A node attached to another semantic node — an inline agent's tool, context, memory, or escalation. |
@@ -166,7 +166,7 @@ could hand you spans for a version you do not have.
 | `ixpExtract` | function | `dist/core/actions.d.ts:2724-2778` | Actions | Extract fields from a document with a published IxP project — the platform's **Extract** node (`uipath.ixp.*`, service… |
 | `IxpExtractInputs` | interface | `dist/core/actions.d.ts:879-953` | Option shapes | 9 field(s) |
 | `IxpToolRef` | interface | `dist/core/actions.d.ts:1940-1978` | Supporting types | A published IxP (Intelligent eXtraction Platform) project as a tool — the agent decides when to extract a document and… |
-| `js` | function | `dist/core/expr.d.ts:241-276` | Expressions and types | Build a raw JS *expression* (a condition or computation). |
+| `js` | function | `dist/core/expr.d.ts:247-282` | Expressions and types | Build a raw JS *expression* (a condition or computation). |
 | `lit` | function | `dist/core/expr.d.ts:22-28` | Expressions and types | A constant value baked directly into a node input. |
 | `lookup` | function | `dist/core/lookups.d.ts:95-102` | Generated descriptors | Begin resolving a lookup field on a generated descriptor. |
 | `lookup` | function | `dist/core/lookups.d.ts:103-122` | Generated descriptors | Begin resolving a lookup field addressed by connector key and action. |
@@ -224,16 +224,16 @@ could hand you spans for a version you do not have.
 | `SendMessageInputs` | interface | `dist/core/actions.d.ts:624-643` | Option shapes | 4 field(s) |
 | `ShownField` | interface | `dist/core/actions.d.ts:338-353` | Supporting types | A value the reviewer READS: shown on the form, filled in from the flow. |
 | `Step` | type | `dist/flow-sdk.d.ts:460-571` | Supporting types |  |
-| `StepList` | class | `dist/flow-sdk.d.ts:712-1134` | Builders | Collects a sequence of steps. |
+| `StepList` | class | `dist/flow-sdk.d.ts:712-1135` | Builders | Collects a sequence of steps. |
 | `STICKY_NOTE_COLORS` | const | `dist/flow-sdk.d.ts:602-607` | Flow construction | The designer's sticky-note palette. |
 | `StickyNote` | interface | `dist/flow-sdk.d.ts:614-648` | Supporting types | A canvas sticky note — free text pinned to the diagram, for the humans reading it. |
 | `StickyNoteColor` | type | `dist/flow-sdk.d.ts:608-613` | Supporting types | A sticky note's swatch. |
-| `subflow` | function | `dist/flow-sdk.d.ts:1445-1484` | Flow construction | Run another flow as one step, and read back what it returns. |
+| `subflow` | function | `dist/flow-sdk.d.ts:1446-1485` | Flow construction | Run another flow as one step, and read back what it returns. |
 | `SubflowSpec` | interface | `dist/flow-sdk.d.ts:33-40` | Supporting types | A step that runs a child flow. |
 | `summarize` | function | `dist/core/actions.d.ts:2648-2688` | Actions | Summarize a document with citations — the platform's **Summarize** node. |
 | `SummarizeInputs` | interface | `dist/core/actions.d.ts:806-838` | Option shapes | 3 field(s) |
 | `SwitchArm` | interface | `dist/flow-sdk.d.ts:329-334` | Supporting types | One arm of a built `.switch` (the serializer's view: body already collected). |
-| `tmpl` | function | `dist/core/expr.d.ts:277-287` | Expressions and types | Build a JS *string template* (for URLs, messages, etc.). |
+| `tmpl` | function | `dist/core/expr.d.ts:283-293` | Expressions and types | Build a JS *string template* (for URLs, messages, etc.). |
 | `ToolRef` | type | `dist/core/actions.d.ts:1706-1715` | Supporting types | One tool on an inline agent — a discriminated union over the kinds the tenant's registry actually serves… |
 | `transform` | function | `dist/core/actions.d.ts:2550-2595` | Actions | Declare a Transform action — a chain of declarative operations over a collection. |
 | `Transformation` | type | `dist/core/actions.d.ts:248-249` | Supporting types | What a map does to a field's value. |
@@ -245,8 +245,8 @@ could hand you spans for a version you do not have.
 | `TriggerMeta` | interface | `dist/core/connectors.d.ts:120-129` | Generated descriptors | Runtime metadata a generated trigger descriptor carries. |
 | `TriggerOptions` | interface | `dist/core/actions.d.ts:3478-3525` | Option shapes | The typed `onEvent`/`waitForEvent` options — everything an EventSubscription carries except `connector`/`event`, which… |
 | `TriggerSpec` | type | `dist/flow-sdk.d.ts:150-168` | Supporting types | What starts the flow. |
-| `TypeDesc` | type | `dist/core/expr.d.ts:379` | Supporting types |  |
-| `types` | const | `dist/core/expr.d.ts:363-378` | Expressions and types | Variable type descriptors (map to Flow variable `type` values). |
+| `TypeDesc` | type | `dist/core/expr.d.ts:385` | Supporting types |  |
+| `types` | const | `dist/core/expr.d.ts:369-384` | Expressions and types | Variable type descriptors (map to Flow variable `type` values). |
 | `unresolvedLookupMessage` | function | `dist/core/lookups.d.ts:180-189` | Generated descriptors | The message for a lookup nothing has resolved — the command that fixes it. |
 | `v` | function | `dist/core/expr.d.ts:29-41` | Expressions and types | Reference a flow variable or output by name → `$vars.<name>`. |
 | `VarDecl` | interface | `dist/flow-sdk.d.ts:47-59` | Supporting types | 7 field(s) |
@@ -338,7 +338,7 @@ could hand you spans for a version you do not have.
 | `TriggerDescriptor` | type | `dist/core/connectors.d.ts:130-138` | Supporting types | A generated, typed connector-trigger descriptor: TriggerMeta branded with phantom `where`/output types. |
 | `TriggerMeta` | interface | `dist/core/connectors.d.ts:120-129` | Supporting types | Runtime metadata a generated trigger descriptor carries. |
 | `TriggerOptions` | interface | `dist/core/actions.d.ts:3478-3525` | Option shapes | The typed `onEvent`/`waitForEvent` options — everything an EventSubscription carries except `connector`/`event`, which… |
-| `TypeDesc` | type | `dist/core/expr.d.ts:379` | Supporting types |  |
+| `TypeDesc` | type | `dist/core/expr.d.ts:385` | Supporting types |  |
 | `UnresolvedReferenceTaskKind` | type | `dist/case/case-sdk.d.ts:358-359` | Supporting types | Published-resource task kinds that the Case schema permits as unresolved skeletons. |
 | `WaitConnectorPlaceholderSpec` | interface | `dist/case/case-sdk.d.ts:360-370` | Supporting types | A `wait-for-connector` subscription: suspend on an Integration Service event. |
 | `WaitConnectorSpec` | type | `dist/case/case-sdk.d.ts:371-375` | Supporting types | A placeholder connector/operation pair, or a library-resolved event subscription using the same symbolic shape as Flow… |
@@ -437,7 +437,7 @@ could hand you spans for a version you do not have.
 | `TimerLike` | type | `dist/bpmn/bpmn-sdk.d.ts:40-41` | Supporting types | A timer as an ISO-8601 duration string (shorthand for `{ duration }`) or a full spec. |
 | `TimerSpec` | interface | `dist/bpmn/bpmn-sdk.d.ts:31-39` | Supporting types | ISO-8601 timer specification (one of duration / date / cycle). |
 | `TypedContextRow` | interface | `dist/bpmn/typed-node.d.ts:155-186` | Supporting types | One `uipath:context` input row, spelled out. |
-| `TypeDesc` | type | `dist/core/expr.d.ts:379` | Supporting types |  |
+| `TypeDesc` | type | `dist/core/expr.d.ts:385` | Supporting types |  |
 | `TypedInputRow` | interface | `dist/bpmn/typed-node.d.ts:187-209` | Supporting types | One `uipath:input` payload row spelled out — the `separateInputs` counterpart of TypedContextRow. |
 | `TypedOutputRow` | interface | `dist/bpmn/typed-node.d.ts:246-285` | Supporting types | 9 field(s) |
 | `VarDirection` | type | `dist/bpmn/bpmn-sdk.d.ts:361-365` | Supporting types | How a variable is exposed: `'input'` (read-only entry input), `'output'` (a return value), or `'inputOutput'` (a mutable… |

package/dist/api-members.md

@@ -63,7 +63,7 @@ not find it either.
 | `app` | property | `HumanTaskOpts` | `dist/bpmn/bpmn-sdk.d.ts:1337-1338` |
 | `appSystemName` | property | `AppRef` | `dist/core/actions.d.ts:536-541` |
 | `appVersion` | property | `HumanTaskOpts` | `dist/bpmn/bpmn-sdk.d.ts:1339-1340` |
-| `armLabel` | property | `ArmBuilder` | `dist/flow-sdk.d.ts:1147` |
+| `armLabel` | property | `ArmBuilder` | `dist/flow-sdk.d.ts:1148` |
 | `assignee` | property | `HitlRecipient` | `dist/core/actions.d.ts:426-437` |
 | `async` | property | `OrchestratorAsyncOpts` | `dist/bpmn/bpmn-sdk.d.ts:1281-1285` |
 | `atRiskPercentage` | property | `EscalationOpts` | `dist/case/case-sdk.d.ts:132-137` |
@@ -93,14 +93,14 @@ not find it either.
 | `body` | property | `TypedContextRow` | `dist/bpmn/typed-node.d.ts:176-181` |
 | `body` | property | `TypedInputRow` | `dist/bpmn/typed-node.d.ts:207-208` |
 | `boundaryEvent` | method | `ScopeBuilder` | `dist/bpmn/bpmn-sdk.d.ts:2239-2246` |
-| `branch` | method | `StepList` | `dist/flow-sdk.d.ts:908-926` |
+| `branch` | method | `StepList` | `dist/flow-sdk.d.ts:909-927` |
 | `branches` | property | `HttpInputsBase` | `dist/core/actions.d.ts:31-36` |
-| `break` | method | `StepList` | `dist/flow-sdk.d.ts:1034-1043` |
+| `break` | method | `StepList` | `dist/flow-sdk.d.ts:1035-1044` |
 | `breakEnabled` | property | `DoWhileOptions` | `dist/flow-sdk.d.ts:457-458` |
 | `breakEnabled` | property | `LoopOptions` | `dist/flow-sdk.d.ts:444-448` |
 | `build` | method | `BpmnBuilder` | `dist/bpmn/bpmn-sdk.d.ts:3483-3488` |
 | `build` | method | `CaseBuilder` | `dist/case/case-sdk.d.ts:1269-1274` |
-| `build` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1421-1427` |
+| `build` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1422-1428` |
 | `businessRule` | method | `ScopeBuilder` | `dist/bpmn/bpmn-sdk.d.ts:2527-2573` |
 | `by` | property | `LookupResolution` | `dist/core/lookups.d.ts:164` |
 | `by` | property | `LookupSpec` | `dist/core/lookups.d.ts:27-28` |
@@ -209,7 +209,7 @@ not find it either.
 | `description` | property | `CustomGuardrail` | `dist/core/actions.d.ts:1393` |
 | `description` | property | `EscalationRef` | `dist/core/actions.d.ts:1987-1988` |
 | `description` | property | `EventTriggerOpts` | `dist/case/case-sdk.d.ts:241` |
-| `description` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1183-1190` |
+| `description` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1184-1191` |
 | `description` | property | `HttpRequestToolRef` | `dist/core/actions.d.ts:1792` |
 | `description` | property | `IxpExtractInputs` | `dist/core/actions.d.ts:945-952` |
 | `description` | property | `IxpToolRef` | `dist/core/actions.d.ts:1965-1966` |
@@ -250,7 +250,7 @@ not find it either.
 | `displayName` | property | `TriggerMeta` | `dist/core/connectors.d.ts:127-128` |
 | `document` | property | `HitlInputs` | `dist/core/actions.d.ts:618-622` |
 | `documentId` | property | `DocValidationInputs` | `dist/core/actions.d.ts:458-459` |
-| `doWhile` | method | `StepList` | `dist/flow-sdk.d.ts:1009-1033` |
+| `doWhile` | method | `StepList` | `dist/flow-sdk.d.ts:1010-1034` |
 | `dueDate` | property | `QueueItemInputs` | `dist/core/actions.d.ts:2122-2123` |
 | `duration` | property | `TimerSpec` | `dist/bpmn/bpmn-sdk.d.ts:33-34` |
 | `dynamicFewShotLearning` | property | `AgentMemoryRef` | `dist/core/actions.d.ts:1828-1829` |
@@ -272,7 +272,7 @@ not find it either.
 | `entity` | property | `DataServiceOpts` | `dist/bpmn/bpmn-sdk.d.ts:1090-1091` |
 | `entry` | property | `BuiltStage` | `dist/case/case-sdk.d.ts:528` |
 | `entry` | property | `BuiltTask` | `dist/case/case-sdk.d.ts:520` |
-| `entryPoint` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1247-1297` |
+| `entryPoint` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1248-1298` |
 | `entryPointId` | property | `ProcessMetadata` | `dist/bpmn/bpmn-sdk.d.ts:534-539` |
 | `entryPoints` | property | `BuiltFlow` | `dist/flow-sdk.d.ts:702-703` |
 | `entryWhen` | method | `StageBuilder` | `dist/case/case-sdk.d.ts:1004-1011` |
@@ -438,7 +438,7 @@ not find it either.
 | `inclusive` | property | `ChooseOpts` | `dist/bpmn/bpmn-sdk.d.ts:1820-1824` |
 | `inclusiveGateway` | method | `ScopeBuilder` | `dist/bpmn/bpmn-sdk.d.ts:2266-2273` |
 | `input` | method | `CaseBuilder` | `dist/case/case-sdk.d.ts:1160-1185` |
-| `input` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1372-1384` |
+| `input` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1373-1385` |
 | `input` | property | `HumanTaskOpts` | `dist/bpmn/bpmn-sdk.d.ts:1355-1356` |
 | `input` | property | `OrchestratorOpts` | `dist/bpmn/bpmn-sdk.d.ts:1241-1242` |
 | `input` | method | `ScopeBuilder` | `dist/bpmn/bpmn-sdk.d.ts:3068-3076` |
@@ -510,7 +510,7 @@ not find it either.
 | `kind` | property | `SubflowSpec` | `dist/flow-sdk.d.ts:35` |
 | `kind` | property | `WhenExpression` | `dist/case/case-sdk.d.ts:99-100` |
 | `kValue` | property | `AgentMemoryRef` | `dist/core/actions.d.ts:1832-1833` |
-| `label` | method | `ArmBuilder` | `dist/flow-sdk.d.ts:1148-1157` |
+| `label` | method | `ArmBuilder` | `dist/flow-sdk.d.ts:1149-1158` |
 | `label` | property | `AskedField` | `dist/core/actions.d.ts:358-359` |
 | `label` | property | `BuiltStage` | `dist/case/case-sdk.d.ts:523` |
 | `label` | property | `InOutField` | `dist/core/actions.d.ts:374-375` |
@@ -524,7 +524,7 @@ not find it either.
 | `layout` | property | `BuiltCase` | `dist/case/case-sdk.d.ts:646-647` |
 | `layout` | property | `BuiltFlow` | `dist/flow-sdk.d.ts:698-699` |
 | `layout` | method | `CaseBuilder` | `dist/case/case-sdk.d.ts:1139-1159` |
-| `layout` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1191-1201` |
+| `layout` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1192-1202` |
 | `limit` | property | `DataFabricReadInputs` | `dist/core/actions.d.ts:2243-2248` |
 | `limit` | property | `DoWhileOptions` | `dist/flow-sdk.d.ts:455-456` |
 | `literal` | property | `Expr` | `dist/core/expr.d.ts:18` |
@@ -534,7 +534,7 @@ not find it either.
 | `lookups` | property | `ConnectorMeta` | `dist/core/connectors.d.ts:76-87` |
 | `loop` | property | `ActivityNodeFields` | `dist/bpmn/bpmn-sdk.d.ts:335-336` |
 | `loop` | property | `ActivityOpts` | `dist/bpmn/bpmn-sdk.d.ts:832-833` |
-| `loop` | method | `StepList` | `dist/flow-sdk.d.ts:997-1008` |
+| `loop` | method | `StepList` | `dist/flow-sdk.d.ts:998-1009` |
 | `managed` | property | `HttpInputsBase` | `dist/core/actions.d.ts:43-73` |
 | `marksCaseComplete` | property | `BuiltCaseExitCondition` | `dist/case/case-sdk.d.ts:354` |
 | `marksStageComplete` | property | `BuiltExitCondition` | `dist/case/case-sdk.d.ts:321` |
@@ -622,7 +622,7 @@ not find it either.
 | `name` | property | `EventSubProcessOpts` | `dist/bpmn/bpmn-sdk.d.ts:1840-1841` |
 | `name` | property | `EventTriggerOpts` | `dist/case/case-sdk.d.ts:240` |
 | `name` | property | `ExternalTaskOpts` | `dist/bpmn/bpmn-sdk.d.ts:1499-1500` |
-| `name` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1175-1182` |
+| `name` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1176-1183` |
 | `name` | property | `FlowOpts` | `dist/bpmn/bpmn-sdk.d.ts:1637-1638` |
 | `name` | property | `GatewayOpts` | `dist/bpmn/bpmn-sdk.d.ts:760-761` |
 | `name` | property | `HandlerOpts` | `dist/bpmn/bpmn-sdk.d.ts:1735-1736` |
@@ -684,7 +684,7 @@ not find it either.
 | `onError` | method | `ActivityBuilder` | `dist/bpmn/bpmn-sdk.d.ts:3259-3266` |
 | `onError` | method | `ActivityBuilder` | `dist/bpmn/bpmn-sdk.d.ts:3267-3274` |
 | `onError` | method | `ActivityBuilder` | `dist/bpmn/bpmn-sdk.d.ts:3275-3283` |
-| `onError` | method | `StepList` | `dist/flow-sdk.d.ts:800-861` |
+| `onError` | method | `StepList` | `dist/flow-sdk.d.ts:800-862` |
 | `onMessage` | method | `ActivityBuilder` | `dist/bpmn/bpmn-sdk.d.ts:3302-3310` |
 | `onMessage` | method | `ActivityBuilder` | `dist/bpmn/bpmn-sdk.d.ts:3311-3319` |
 | `onTimer` | method | `ActivityBuilder` | `dist/bpmn/bpmn-sdk.d.ts:3284-3292` |
@@ -702,7 +702,7 @@ not find it either.
 | `outcomes` | property | `EscalationRef` | `dist/core/actions.d.ts:2033-2038` |
 | `outcomes` | property | `HitlInputs` | `dist/core/actions.d.ts:577-591` |
 | `output` | method | `CaseBuilder` | `dist/case/case-sdk.d.ts:1186-1198` |
-| `output` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1385-1410` |
+| `output` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1386-1411` |
 | `output` | property | `RegistryTypeSpec` | `dist/bpmn/typed-node.d.ts:90` |
 | `output` | method | `ScopeBuilder` | `dist/bpmn/bpmn-sdk.d.ts:3077-3085` |
 | `outputColumns` | property | `BatchTransformInputs` | `dist/core/actions.d.ts:854-858` |
@@ -738,7 +738,7 @@ not find it either.
 | `pageRange` | property | `DynamicExtractInputs` | `dist/core/actions.d.ts:2407-2408` |
 | `pageRange` | property | `IxpExtractInputs` | `dist/core/actions.d.ts:934-935` |
 | `parallel` | property | `LoopOptions` | `dist/flow-sdk.d.ts:437-438` |
-| `parallel` | method | `StepList` | `dist/flow-sdk.d.ts:961-996` |
+| `parallel` | method | `StepList` | `dist/flow-sdk.d.ts:962-997` |
 | `parallelGateway` | method | `ScopeBuilder` | `dist/bpmn/bpmn-sdk.d.ts:2256-2265` |
 | `parameters` | property | `ConnectorEventOpts` | `dist/bpmn/bpmn-sdk.d.ts:1479-1480` |
 | `parameters` | property | `HttpOpts` | `dist/bpmn/bpmn-sdk.d.ts:1140-1145` |
@@ -835,7 +835,7 @@ not find it either.
 | `retry` | property | `ActivityOpts` | `dist/bpmn/bpmn-sdk.d.ts:830-831` |
 | `retryable` | property | `ErrorMappingRow` | `dist/bpmn/bpmn-sdk.d.ts:308-309` |
 | `retryCount` | property | `HttpInputsBase` | `dist/core/actions.d.ts:115-129` |
-| `return` | method | `StepList` | `dist/flow-sdk.d.ts:1124-1133` |
+| `return` | method | `StepList` | `dist/flow-sdk.d.ts:1125-1134` |
 | `returnCitations` | property | `SummarizeInputs` | `dist/core/actions.d.ts:832-837` |
 | `returns` | property | `AgentInputs` | `dist/core/actions.d.ts:1279-1298` |
 | `returns` | property | `ApiWorkflowInputs` | `dist/core/actions.d.ts:1067-1079` |
@@ -875,7 +875,7 @@ not find it either.
 | `schemaVersion` | method | `BpmnBuilder` | `dist/bpmn/bpmn-sdk.d.ts:3375-3404` |
 | `schemaVersion` | property | `BuiltFlow` | `dist/flow-sdk.d.ts:682-688` |
 | `schemaVersion` | method | `CaseBuilder` | `dist/case/case-sdk.d.ts:1068-1094` |
-| `schemaVersion` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1332-1371` |
+| `schemaVersion` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1333-1372` |
 | `scope` | property | `EscalationRecipient` | `dist/case/case-sdk.d.ts:121` |
 | `scopes` | property | `GuardrailSelector` | `dist/core/actions.d.ts:1339` |
 | `script` | property | `ScriptTaskOpts` | `dist/bpmn/bpmn-sdk.d.ts:846-862` |
@@ -950,11 +950,11 @@ not find it either.
 | `steps` | property | `BuiltFlow` | `dist/flow-sdk.d.ts:692` |
 | `steps` | property | `StepList` | `dist/flow-sdk.d.ts:714` |
 | `stepSwitch` | method | `StepList` | `dist/flow-sdk.d.ts:757-799` |
-| `stepToList` | method | `StepList` | `dist/flow-sdk.d.ts:875-899` |
-| `stepToRef` | method | `StepList` | `dist/flow-sdk.d.ts:1075-1103` |
-| `stepToRef` | method | `StepList` | `dist/flow-sdk.d.ts:1104-1123` |
+| `stepToList` | method | `StepList` | `dist/flow-sdk.d.ts:876-900` |
+| `stepToRef` | method | `StepList` | `dist/flow-sdk.d.ts:1076-1104` |
+| `stepToRef` | method | `StepList` | `dist/flow-sdk.d.ts:1105-1124` |
 | `stickyNotes` | property | `BuiltFlow` | `dist/flow-sdk.d.ts:700-701` |
-| `stickyNotes` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1202-1227` |
+| `stickyNotes` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1203-1228` |
 | `storageBucket` | property | `DocValidationInputs` | `dist/core/actions.d.ts:456-457` |
 | `strategy` | property | `LookupSpec` | `dist/core/lookups.d.ts:33` |
 | `style` | property | `CaseNodeLayout` | `dist/case/case-sdk.d.ts:597-598` |
@@ -966,7 +966,7 @@ not find it either.
 | `subType` | property | `VarOpts` | `dist/bpmn/bpmn-sdk.d.ts:1709-1714` |
 | `subType` | property | `VarSpec` | `dist/flow-sdk.d.ts:72-73` |
 | `summary` | property | `CaseAppConfig` | `dist/case/case-sdk.d.ts:585-586` |
-| `switch` | method | `StepList` | `dist/flow-sdk.d.ts:927-960` |
+| `switch` | method | `StepList` | `dist/flow-sdk.d.ts:928-961` |
 | `systemPrompt` | property | `ConversationalAgentInputs` | `dist/core/actions.d.ts:686-691` |
 | `systemPrompt` | property | `InlineAgentInputs` | `dist/core/actions.d.ts:1452-1501` |
 | `systemPrompt` | property | `VoiceAgentInputs` | `dist/core/actions.d.ts:773-778` |
@@ -991,7 +991,7 @@ not find it either.
 | `temperature` | property | `InlineAgentInputs` | `dist/core/actions.d.ts:1562-1563` |
 | `temperature` | property | `VoiceSettings` | `dist/core/actions.d.ts:765-766` |
 | `terminate` | property | `EndOpts` | `dist/bpmn/bpmn-sdk.d.ts:692-693` |
-| `terminate` | method | `StepList` | `dist/flow-sdk.d.ts:1044-1074` |
+| `terminate` | method | `StepList` | `dist/flow-sdk.d.ts:1045-1075` |
 | `threshold` | property | `ContextIndexRef` | `dist/core/actions.d.ts:2076-2077` |
 | `timeCycle` | property | `BuiltTrigger` | `dist/case/case-sdk.d.ts:201-202` |
 | `timeout` | property | `HttpInputsBase` | `dist/core/actions.d.ts:97-114` |
@@ -1014,11 +1014,11 @@ not find it either.
 | `trigger` | property | `BuiltFlow` | `dist/flow-sdk.d.ts:693-695` |
 | `trigger` | method | `CaseBuilder` | `dist/case/case-sdk.d.ts:1224-1232` |
 | `trigger` | property | `EscalationOpts` | `dist/case/case-sdk.d.ts:128-129` |
-| `trigger` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1228-1246` |
+| `trigger` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1229-1247` |
 | `trigger` | property | `StartOpts` | `dist/bpmn/bpmn-sdk.d.ts:624-671` |
 | `triggeredByEvent` | property | `SubProcessOpts` | `dist/bpmn/bpmn-sdk.d.ts:976-977` |
 | `triggerId` | property | `BuiltFlow` | `dist/flow-sdk.d.ts:704-710` |
-| `triggerId` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1298-1317` |
+| `triggerId` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1299-1318` |
 | `triggerOptions` | property | `BuiltFlow` | `dist/flow-sdk.d.ts:696-697` |
 | `triggers` | property | `BuiltCase` | `dist/case/case-sdk.d.ts:644-645` |
 | `triggers` | property | `CaseLayout` | `dist/case/case-sdk.d.ts:620-621` |
@@ -1074,7 +1074,7 @@ not find it either.
 | `value` | property | `TypedInputRow` | `dist/bpmn/typed-node.d.ts:205-206` |
 | `values` | property | `DataFabricCreateInputs` | `dist/core/actions.d.ts:2280-2285` |
 | `var` | method | `CaseBuilder` | `dist/case/case-sdk.d.ts:1199-1223` |
-| `var` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1411-1420` |
+| `var` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1412-1421` |
 | `var` | method | `ScopeBuilder` | `dist/bpmn/bpmn-sdk.d.ts:3059-3067` |
 | `var` | property | `TaskOutputBinding` | `dist/case/case-sdk.d.ts:494-495` |
 | `var` | property | `TypedOutputRow` | `dist/bpmn/typed-node.d.ts:251-252` |
@@ -1097,7 +1097,7 @@ not find it either.
 | `version` | property | `ConnectorToolRef` | `dist/core/actions.d.ts:1870-1871` |
 | `version` | property | `EventSubscription` | `dist/core/actions.d.ts:3566` |
 | `version` | property | `ExternalTaskOpts` | `dist/bpmn/bpmn-sdk.d.ts:1507-1508` |
-| `version` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1318-1331` |
+| `version` | method | `FlowBuilder` | `dist/flow-sdk.d.ts:1319-1332` |
 | `version` | property | `NodeOptions` | `dist/flow-sdk.d.ts:354-361` |
 | `version` | property | `TriggerMeta` | `dist/core/connectors.d.ts:126` |
 | `version` | property | `TriggerOptions` | `dist/core/actions.d.ts:3523-3524` |

package/dist/check-cli.js

@@ -9,9 +9,8 @@ import { reportDiagnostics } from './cli-result.js';
 import { defaultBindingsFile } from './workdir.js';
 import { resolveFlowFile, loadBuiltFlow } from './load.js';
 import { check } from './check.js';
-import { connectorCheckOpts, openCliLibrary } from './core/cli-library.js';
+import { flowCheckOpts, openCliLibrary } from './cli-library.js';
 import { Bindings } from './bindings.js';
-import { connectorInputErrors } from './serialize.js';
 import { runWhenInvokedDirectly } from './cli-run.js';
 import { ensureTypeScriptRuntime } from './node-runtime.js';
 /** Flags that take a value, so the value is never read as the source argument. */
@@ -36,34 +35,7 @@ function checkOpts(argv) {
     // The overlay matters here as much as it does for compile: `resolutions.json`
     // lives in it, and without it every already-resolved lookup would be reported
     // as still owed — telling the author to re-run a `prepare` they already ran.
-    const library = openCliLibrary(argv);
-    // The connector and event hooks are the shared bag every family fills
-    // (`core/cli-library.ts`); what Flow adds is the one hook only it has a site for.
-    const shared = connectorCheckOpts(library, bindings);
-    if (!library)
-        return shared;
-    return {
-        ...shared,
-        listEnvelope: (connector, operation, version, object) => {
-            try {
-                return library.resolve(connector, operation, version, object).listEnvelope;
-            }
-            catch {
-                return undefined;
-            }
-        },
-        // The field contract compile enforces, from the same validator: an operation
-        // the library cannot resolve is compile's business (it names the entry).
-        connectorInputs: (spec, inputs) => {
-            try {
-                const rc = library.resolve(spec.key, spec.action, spec.version, spec.object);
-                return connectorInputErrors(rc, inputs, library.lookupResolutions ?? {}, library.lookupSpecs(spec.key, spec.action, spec.version, spec.object) ?? {});
-            }
-            catch {
-                return undefined;
-            }
-        },
-    };
+    return flowCheckOpts(openCliLibrary(argv), bindings);
 }
 export async function run(argv) {
     const arg = argv.find((a, i) => !a.startsWith('--') && !VALUE_FLAGS.has(argv[i - 1])) ?? argv[0];

package/dist/check.js

@@ -8,6 +8,7 @@
 import { Expr, SCHEDULE_PRESETS, DELAY_PRESETS, VARIANT_OPERATION, parseIxpProjectType, flatNameOf, flatNameSegmentsOf, FLAT_SEP } from './flow-sdk.js';
 import { FlowNode } from './core/node-classes.js';
 import { planContributionBindings } from './core/contribution-bindings.js';
+import { definitionHasErrorPort, errorPortRefusal } from './core/error-port.js';
 import { resolveContributionDefinition } from './serialize.js';
 import { QUEUE_ITEM_RECORD_SCHEMA } from './core/queue-record.js';
 import { AGENTIC_PROCESS_FORMS } from './core/agentic-process-forms.js';
@@ -257,7 +258,7 @@ function checkFlow(built, ancestors, opts = {}) {
                 stepNames.add(s.name);
                 declared.add(s.name); // a step's output is referenceable by name
             }
-            if (s.kind === 'stepToList' && s.port === 'error')
+            if ((s.kind === 'stepToList' || s.kind === 'stepToRef') && s.port === 'error')
                 checkOnError(s, prevPortSource, diags);
             if ((s.kind === 'stepToList' || s.kind === 'stepToRef') && s.port.startsWith('branch-')) {
                 const want = s.port.slice('branch-'.length);
@@ -5341,7 +5342,7 @@ function checkOnError(_handler, step, diags) {
     // A `.loop()` CONTAINER is fine: `core.logic.loop` declares the error handle at
     // both bundled versions, and a measured run routed a body failure to it — the
     // container's envelope carried the body's message in `detail` and the failing
-    // body step's id in `element`.
+    // body step's label in `element`.
     if (step.kind === 'loop')
         return;
     // `.doWhile()` is not. `core.logic.dowhile@1.0` declares an error VARIABLE and
@@ -5350,12 +5351,38 @@ function checkOnError(_handler, step, diags) {
     // declare that handle". The builder refuses this too; this catches a
     // hand-built flow and says the same thing.
     if (step.kind === 'doWhile') {
+        diags.push(doWhileOnErrorRefusal(step.name));
+        return;
+    }
+    // A custom FlowAction or rawNode has no `kind`: ask its DEFINITION, with the
+    // product's own rule (definitionHasErrorPort), not the kind list (#943).
+    const maybeCustom = step.spec;
+    if (!('kind' in maybeCustom) && maybeCustom instanceof FlowNode) {
+        let def;
+        try {
+            const requestedVersion = step.options?.version;
+            def = resolveContributionDefinition(maybeCustom.contribute(requestedVersion !== undefined ? { requestedVersion } : {}).definition, requestedVersion, `step "${step.name}"`);
+        }
+        catch {
+            // checkContribution already reports a contribution compile cannot lower.
+            return;
+        }
+        // A custom node backed by a typed family's bundled definition gets that
+        // family's refusals: the rules are about the node type, not the SDK kind.
+        if (def?.nodeType === 'core.logic.dowhile') {
+            diags.push(doWhileOnErrorRefusal(step.name));
+            return;
+        }
+        if (def?.nodeType === 'core.action.http') {
+            diags.push(plainHttpOnErrorRefusal(step.name));
+            return;
+        }
+        if (definitionHasErrorPort(def))
+            return;
         diags.push({
             level: 'error',
             code: 'ONERROR_NO_ERROR_PORT',
-            message: `Step "${step.name}" is a .doWhile() container. It declares an error variable but no error HANDLE `
-                + `(core.logic.dowhile@1.0: input, success, start, continue, break), so the edge would leave a handle the `
-                + `node does not have. Handle the failure inside the body, on the step that can fail.`,
+            message: errorPortRefusal(step.name, def),
             step: step.name,
         });
         return;
@@ -5386,19 +5413,33 @@ function checkOnError(_handler, step, diags) {
     // So this stays an error, and says the second part too: an author who reads
     // the old message ("use the managed node if statuses must route") could
     // reasonably conclude a transport-failure handler is fine as it is.
-    if (spec.kind === 'http' && !spec.inputs?.managed) {
-        diags.push({
-            level: 'error',
-            code: 'HTTP_ONERROR_V1',
-            message: `Step "${step.name}" handles errors on a plain http() request. A 4xx/5xx does NOT fail that node — it `
-                + `completes with out('${step.name}', 'statusCode') set — so the handler runs only on a transport failure, `
-                + `and when it does the node publishes no failure envelope at all (measured: "<step>.error" is the boolean `
-                + `true and "<step>.output" is null, in 1.0.0 and in the 1.3 flow migrate produces), so err() has nothing `
-                + `to read. The managed node is the one whose failures route AND carry the envelope.`,
-            step: step.name,
-            suggestion: `http({ url: …, managed: true })`,
-        });
-    }
+    if (spec.kind === 'http' && !spec.inputs?.managed)
+        diags.push(plainHttpOnErrorRefusal(step.name));
+}
+/** `.onError` after a `core.logic.dowhile` container: it declares no error handle. */
+function doWhileOnErrorRefusal(stepName) {
+    return {
+        level: 'error',
+        code: 'ONERROR_NO_ERROR_PORT',
+        message: `Step "${stepName}" is a .doWhile() container. It declares an error variable but no error HANDLE `
+            + `(core.logic.dowhile@1.0: input, success, start, continue, break), so the edge would leave a handle the `
+            + `node does not have. Handle the failure inside the body, on the step that can fail.`,
+        step: stepName,
+    };
+}
+/** `.onError` after a plain `core.action.http` node (see the two measured facts in {@link checkOnError}). */
+function plainHttpOnErrorRefusal(stepName) {
+    return {
+        level: 'error',
+        code: 'HTTP_ONERROR_V1',
+        message: `Step "${stepName}" handles errors on a plain http() request. A 4xx/5xx does NOT fail that node — it `
+            + `completes with out('${stepName}', 'statusCode') set — so the handler runs only on a transport failure, `
+            + `and when it does the node publishes no failure envelope at all (measured: "<step>.error" is the boolean `
+            + `true and "<step>.output" is null, in 1.0.0 and in the 1.3 flow migrate produces), so err() has nothing `
+            + `to read. The managed node is the one whose failures route AND carry the envelope.`,
+        step: stepName,
+        suggestion: `http({ url: …, managed: true })`,
+    };
 }
 /**
  * Reading a value that only ONE arm produces (flow-builder-sdk#200).

package/dist/cli-library.d.ts

@@ -1,9 +1,23 @@
 /**
- * cli-library — compatibility re-export.
+ * cli-library — Flow's check options, plus the historical re-exports.
  *
  * How a CLI opens the connector library and its `connectors-local/` overlay, and
- * the event verdicts `check` shares with `compile`, all moved to
- * `core/cli-library.ts` when BPMN's `compile` and `check` needed the same things.
- * This shim preserves the historical `./cli-library.js` import path.
+ * the connector and event verdicts every family's `check` shares with its
+ * `compile`, live in `core/cli-library.ts`. This module keeps the historical
+ * `./cli-library.js` import path and adds the one thing that is Flow's own:
+ * {@link flowCheckOpts}, the options both `flow check` and `flow compile`'s check
+ * pass run on.
  */
+import type { CheckOpts } from './check.js';
+import type { BindingsView } from './core/binding-messages.js';
+import type { Library } from './core/library.js';
 export { openCliLibrary, connectorCheckOpts, eventResolveErrorFor, byoaCheckOpts } from './core/cli-library.js';
+/**
+ * Flow's check options from a library the CLI already opened: the shared
+ * connector and event hooks, Flow's own field validator (it renders Flow
+ * expressions, as `serialize` does), and the measured list envelopes.
+ *
+ * One builder for `flow check` and `flow compile`'s check pass, so the two
+ * cannot disagree.
+ */
+export declare function flowCheckOpts(library: Library | undefined, bindings?: BindingsView): CheckOpts;

package/dist/cli-library.js

@@ -1,9 +1,27 @@
+import { connectorCheckOpts } from './core/cli-library.js';
+import { connectorInputErrors } from './serialize.js';
+export { openCliLibrary, connectorCheckOpts, eventResolveErrorFor, byoaCheckOpts } from './core/cli-library.js';
 /**
- * cli-library — compatibility re-export.
+ * Flow's check options from a library the CLI already opened: the shared
+ * connector and event hooks, Flow's own field validator (it renders Flow
+ * expressions, as `serialize` does), and the measured list envelopes.
  *
- * How a CLI opens the connector library and its `connectors-local/` overlay, and
- * the event verdicts `check` shares with `compile`, all moved to
- * `core/cli-library.ts` when BPMN's `compile` and `check` needed the same things.
- * This shim preserves the historical `./cli-library.js` import path.
+ * One builder for `flow check` and `flow compile`'s check pass, so the two
+ * cannot disagree.
  */
-export { openCliLibrary, connectorCheckOpts, eventResolveErrorFor, byoaCheckOpts } from './core/cli-library.js';
+export function flowCheckOpts(library, bindings) {
+    const shared = connectorCheckOpts(library, bindings, connectorInputErrors);
+    if (!library)
+        return shared;
+    return {
+        ...shared,
+        listEnvelope: (connector, operation, version, object) => {
+            try {
+                return library.resolve(connector, operation, version, object).listEnvelope;
+            }
+            catch {
+                return undefined; // an unresolvable operation is connectorResolveError's to report
+            }
+        },
+    };
+}

package/dist/compile-cli.js

@@ -22,9 +22,9 @@ import { writeJsonFile } from './core/json-file.js';
 import { existsSync, mkdirSync, readdirSync, readFileSync, rmSync } from 'node:fs';
 import { basename, dirname, join, resolve } from 'node:path';
 import { resolveFlowFile, loadBuiltFlow } from './load.js';
-import { serializeWithSidecars, connectorInputErrors, compileOwnsResource } from './serialize.js';
+import { serializeWithSidecars, compileOwnsResource } from './serialize.js';
 import { check } from './check.js';
-import { byoaCheckOpts, eventResolveErrorFor, openCliLibrary } from './cli-library.js';
+import { flowCheckOpts, openCliLibrary } from './cli-library.js';
 import { Bindings } from './bindings.js';
 import { flagValue, runWhenInvokedDirectly } from './cli-run.js';
 import { connectionResources, inlineAgentResources, mergeBindingsV2, mergeInlineAgentResources, readBindingsV2, readInlineAgentFiles, } from './bindings-v2.js';
@@ -70,37 +70,8 @@ export async function run(argv) {
     // One list per run; every exit path reports it (reportResult overwrites keys).
     const diagnostics = [];
     if (!noCheck) {
-        const diags = check(built, library
-            ? {
-                // The refusal serialize() would throw for an event it cannot resolve,
-                // printed as `✗ [EVENT_UNKNOWN]` before stopping instead of hiding
-                // behind "1 error(s); not emitting".
-                eventResolveError: eventResolveErrorFor(library),
-                ...byoaCheckOpts(library),
-                eventParams: (connector, event) => {
-                    try {
-                        return library.eventParameterFields(connector, event);
-                    }
-                    catch {
-                        return undefined; // unresolvable: serialize() reports it properly
-                    }
-                },
-                lookups: (connector, action, version, object) => library.lookupSpecs(connector, action, version, object),
-                resolutions: library.lookupResolutions,
-                // Same validator serialize() runs below, so the check pass names the
-                // refusal (and stops) instead of printing `0 error(s)` first.
-                connectorInputs: (spec, inputs) => {
-                    try {
-                        const rc = library.resolve(spec.key, spec.action, spec.version, spec.object);
-                        return connectorInputErrors(rc, inputs, library.lookupResolutions ?? {}, library.lookupSpecs(spec.key, spec.action, spec.version, spec.object) ?? {});
-                    }
-                    catch {
-                        return undefined;
-                    }
-                },
-                bindings,
-            }
-            : { bindings });
+        // Same options as `flow check`, so the two cannot disagree.
+        const diags = check(built, flowCheckOpts(library, bindings));
         const errors = diags.filter((d) => d.level === 'error');
         for (const d of diags)
             console.error(`  ${d.level === 'error' ? '✗' : '⚠'} [${d.code}] ${d.message}${d.suggestion ? ` (did you mean "${d.suggestion}"?)` : ''}`);

package/dist/core/actions.d.ts

@@ -58,7 +58,7 @@ interface HttpInputsBase {
      *   an error port only makes sense here (`check` says so: HTTP_ONERROR_V1).
      *   The handler can answer the flow (`.return`), stop the run
      *   (`.terminate`), or compensate and continue at a step the success path
-     *   also reaches (`h.rejoin('<step>')` — see `references/error-handling.md`);
+     *   also reaches (`h.stepToRef('<step>')` — see `references/error-handling.md`);
      * - both nodes expose JSON responses as parsed values in the live product;
      *   use `returns` to declare fields before reading them. The node choice does
      *   not decide whether application/json is parsed.

package/dist/core/cli-library.d.ts

@@ -1,6 +1,7 @@
-import { Library } from './library.js';
+import { Library, type ResolvedConnector } from './library.js';
 import type { BindingsView } from './binding-messages.js';
 import { type ConnectorCheckOpts } from './connector-checks.js';
+import type { LookupResolutions, LookupSpec } from './lookups.js';
 import type { EventCheckOpts } from './event-checks.js';
 /**
  * The library for this invocation, or `undefined` when there is none.
@@ -15,17 +16,25 @@ export declare function openCliLibrary(argv: readonly string[]): Library | undef
  * The connector half of a family's check options, from a library the CLI already
  * opened.
  *
- * Every callback fails OPEN: an entry the library cannot resolve, or no library
- * at all, means "unknown", and an unknown fact fires no rule. That is what lets
- * `check` stay the fast inner-loop rung — a process with no connectors needs no
- * library, and one whose connector is absent from the library is `compile`'s
- * business to name, not this pass's to guess at.
+ * Every fact callback fails OPEN: no library at all, or an entry the library
+ * cannot resolve, means "unknown", and an unknown fact fires no rule. That is
+ * what lets `check` stay the fast inner-loop rung — a process with no
+ * connectors needs no library. The one exception is the resolution itself:
+ * `connectorResolveError` reports the refusal `compile` would throw for an
+ * action, the way `eventResolveError` does for an event, so `check` never
+ * passes a connector step `compile` refuses (#948).
+ *
+ * `inputErrors` is the family's field-contract validator. The default speaks
+ * the `=`-expression dialect BPMN uses; Flow passes its own, which renders its
+ * expressions (see `flowCheckOpts` in `../cli-library.ts`).
  *
  * The `resolutions` are the overlay's: without them every lookup already
  * recorded by `registry prepare --resolve` would be reported as still owed,
  * telling the author to re-run a prepare they already ran.
  */
-export declare function connectorCheckOpts(library: Library | undefined, bindings?: BindingsView): ConnectorCheckOpts & EventCheckOpts;
+export declare function connectorCheckOpts(library: Library | undefined, bindings?: BindingsView, inputErrors?: ConnectorInputValidator): ConnectorCheckOpts & EventCheckOpts;
+/** A family's field-contract validator: `compile`'s refusal for these inputs, or `undefined`. */
+export type ConnectorInputValidator = (rc: ResolvedConnector, inputs: Record<string, unknown>, resolutions: LookupResolutions, lookups: Readonly<Record<string, LookupSpec>>) => string | undefined;
 /**
  * `check`'s EVENT_UNKNOWN verdict: the message `library.resolveEvent` throws
  * for a subscription, or `undefined` when it resolves.

package/dist/core/cli-library.js

@@ -16,7 +16,7 @@
  */
 import { existsSync } from 'node:fs';
 import { join } from 'node:path';
-import { Library } from './library.js';
+import { ConnectorResolveError, Library } from './library.js';
 import { resolveLibraryDir } from './library-cache.js';
 import { flagValue } from '../cli-run.js';
 import { defaultOverlayDir } from '../workdir.js';
@@ -41,19 +41,28 @@ export function openCliLibrary(argv) {
  * The connector half of a family's check options, from a library the CLI already
  * opened.
  *
- * Every callback fails OPEN: an entry the library cannot resolve, or no library
- * at all, means "unknown", and an unknown fact fires no rule. That is what lets
- * `check` stay the fast inner-loop rung — a process with no connectors needs no
- * library, and one whose connector is absent from the library is `compile`'s
- * business to name, not this pass's to guess at.
+ * Every fact callback fails OPEN: no library at all, or an entry the library
+ * cannot resolve, means "unknown", and an unknown fact fires no rule. That is
+ * what lets `check` stay the fast inner-loop rung — a process with no
+ * connectors needs no library. The one exception is the resolution itself:
+ * `connectorResolveError` reports the refusal `compile` would throw for an
+ * action, the way `eventResolveError` does for an event, so `check` never
+ * passes a connector step `compile` refuses (#948).
+ *
+ * `inputErrors` is the family's field-contract validator. The default speaks
+ * the `=`-expression dialect BPMN uses; Flow passes its own, which renders its
+ * expressions (see `flowCheckOpts` in `../cli-library.ts`).
  *
  * The `resolutions` are the overlay's: without them every lookup already
  * recorded by `registry prepare --resolve` would be reported as still owed,
  * telling the author to re-run a prepare they already ran.
  */
-export function connectorCheckOpts(library, bindings) {
+export function connectorCheckOpts(library, bindings, inputErrors = (rc, inputs, resolutions, lookups) => connectorInputErrors(rc, inputs, resolutions, lookups, { dialect: EQUALS_EXPR_DIALECT })) {
     if (!library)
         return bindings ? { bindings } : {};
+    // One memoized resolve per connector step, shared by `connectorResolveError`
+    // and `connectorInputs`, so the second hook does not resolve again.
+    const resolve = connectorResolver(library);
     return {
         eventResolveError: eventResolveErrorFor(library),
         ...byoaCheckOpts(library),
@@ -85,26 +94,51 @@ export function connectorCheckOpts(library, bindings) {
                 return undefined;
             }
         },
+        // The refusal compile throws for an operation it cannot resolve, with its
+        // code and text: CONNECTOR_NOT_IN_LIBRARY, CONNECTOR_OBJECT_REQUIRED,
+        // CONNECTOR_OBJECT_NOT_GENERIC.
+        connectorResolveError: (spec) => {
+            const r = resolve(spec);
+            return 'error' in r ? r.error : undefined;
+        },
         // The field contract compile enforces, from the same validator, so the inner
         // loop and the emit rung cannot disagree about a missing required field, an
-        // unknown key or a mistyped value. An operation the library cannot resolve is
-        // compile's business to name — here it just means "unknown".
-        //
-        // The `=`-expression dialect, because this bag serves the families that spell
-        // an expression that way. Flow binds its own `connectorInputErrors` in
-        // `serialize.ts`, which carries `renderDeep` with it, and overrides this.
+        // unknown key or a mistyped value. An unresolvable operation is
+        // `connectorResolveError`'s to report; here it just means "unknown".
         connectorInputs: (spec, inputs) => {
-            try {
-                const rc = library.resolve(spec.key, spec.action, spec.version, spec.object);
-                return connectorInputErrors(rc, inputs, library.lookupResolutions ?? {}, library.lookupSpecs(spec.key, spec.action, spec.version, spec.object) ?? {}, { dialect: EQUALS_EXPR_DIALECT });
-            }
-            catch {
+            const r = resolve(spec);
+            if (!('rc' in r))
                 return undefined;
-            }
+            return inputErrors(r.rc, inputs, library.lookupResolutions ?? {}, library.lookupSpecs(spec.key, spec.action, spec.version, spec.object) ?? {});
         },
         ...(bindings ? { bindings } : {}),
     };
 }
+/**
+ * `library.resolve` for one connector step, memoized per step for the life of
+ * one check's options. A {@link ConnectorResolveError} is the refusal compile
+ * throws and becomes `error`; anything else thrown is not a verdict about the
+ * author's source and stays "unknown", as before.
+ */
+function connectorResolver(library) {
+    const memo = new Map();
+    return (spec) => {
+        const id = JSON.stringify([spec.key, spec.action, spec.version ?? null, spec.object ?? null]);
+        let r = memo.get(id);
+        if (!r) {
+            try {
+                r = { rc: library.resolve(spec.key, spec.action, spec.version, spec.object) };
+            }
+            catch (error) {
+                r = error instanceof ConnectorResolveError
+                    ? { error: { code: error.code, message: error.message } }
+                    : { unknown: true };
+            }
+            memo.set(id, r);
+        }
+        return r;
+    };
+}
 /**
  * `check`'s EVENT_UNKNOWN verdict: the message `library.resolveEvent` throws
  * for a subscription, or `undefined` when it resolves.

package/dist/core/connector-checks.d.ts

@@ -113,6 +113,21 @@ export interface ConnectorCheckOpts {
     resolutions?: LookupResolutions;
     /** Whether a connector step's schema is materialized locally. */
     schemaReadiness?: (connector: string, action: string, version?: string, object?: string) => SchemaReadiness | undefined;
+    /**
+     * Why `compile` could not resolve this operation at all (`library.resolve`
+     * throws), or `undefined` when it resolves. Checked before
+     * {@link ConnectorCheckOpts.connectorInputs}, which answers `undefined` for an
+     * unresolvable operation and so cannot tell "not in the library" from "no facts".
+     */
+    connectorResolveError?: (spec: {
+        key: string;
+        action: string;
+        version?: string;
+        object?: string;
+    }) => {
+        code: string;
+        message: string;
+    } | undefined;
     /** What `compile` would refuse these inputs with, or `undefined` when it would accept them. */
     connectorInputs?: (spec: {
         key: string;
@@ -157,9 +172,10 @@ export declare function checkConnectorLookups(where: string, spec: ConnectorSpec
  */
 export declare function checkConnectorSchema(where: string, spec: ConnectorSpec, opts: ConnectorCheckOpts, dialect: ExprDialect, report: ReportConnector): void;
 /**
- * The field contract and the binding names `compile` enforces, reported here first.
+ * The operation, its field contract and the binding names `compile` enforces,
+ * reported here first.
  *
- * Both rules run only with the facts in hand (a library for the fields, a
+ * Each rule runs only with the facts in hand (a library for the operation and its fields, a
  * bindings.json for the names); without them `check` stays a pure function of the
  * built model and says nothing, as before.
  */

package/dist/core/connector-checks.js

@@ -321,18 +321,28 @@ export function checkConnectorSchema(where, spec, opts, dialect, report) {
     }
 }
 /**
- * The field contract and the binding names `compile` enforces, reported here first.
+ * The operation, its field contract and the binding names `compile` enforces,
+ * reported here first.
  *
- * Both rules run only with the facts in hand (a library for the fields, a
+ * Each rule runs only with the facts in hand (a library for the operation and its fields, a
  * bindings.json for the names); without them `check` stays a pure function of the
  * built model and says nothing, as before.
  */
 export function checkConnectorContract(where, spec, opts, report, 
 /** The activity's own id, for {@link connectionConnectorConflicts}; omit to record nothing. */
 id) {
-    const inputErr = opts.connectorInputs?.({ key: spec.key, action: spec.action, version: spec.version, object: spec.object }, spec.inputs ?? {});
-    if (inputErr) {
-        report({ level: 'error', code: 'CONNECTOR_INPUT', message: `${where}: ${inputErr}` });
+    const target = { key: spec.key, action: spec.action, version: spec.version, object: spec.object };
+    // The operation itself first: an operation compile cannot resolve has no field
+    // contract to check, and `connectorInputs` answers "unknown" for it.
+    const unresolved = opts.connectorResolveError?.(target);
+    if (unresolved) {
+        report({ level: 'error', code: unresolved.code, message: `${where}: ${unresolved.message}` });
+    }
+    else {
+        const inputErr = opts.connectorInputs?.(target, spec.inputs ?? {});
+        if (inputErr) {
+            report({ level: 'error', code: 'CONNECTOR_INPUT', message: `${where}: ${inputErr}` });
+        }
     }
     checkBindingLabels(where, spec, opts, (code, message) => report({ level: 'error', code, message }), { key: spec.key, action: spec.action }, id === undefined ? undefined : { id, connector: spec.key });
 }

package/dist/core/error-port.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Does a node definition have an `error` port? One answer for `check` and
+ * `serialize` (flow-builder-sdk#943).
+ *
+ * The product's rule, read from @uipath/flow-core and @uipath/flow-tool:
+ *
+ *  - the manifest client injects an `error` source handle into every served
+ *    definition with `supportsErrorHandling: true` that does not declare one
+ *    (`withErrorHandles` / `nodeSupportsErrorHandling`);
+ *  - `uip maestro flow validate` does the same when it checks edge handles
+ *    (`validateEdgeHandlesAgainstCurrentManifests`: `supportsErrorHandling ===
+ *    true` adds `error` to the node's source handles).
+ *
+ * So the flag alone grants the port. For instance, the manifest
+ * `registry get --local` returns for a sibling Flow or RPA project
+ * (`buildNodeManifest`) has `supportsErrorHandling: true` and only `input` +
+ * `output` handles, and an `error` edge from it is valid. A definition that
+ * declares an `error` source handle without the flag counts too.
+ */
+export declare function definitionHasErrorPort(def: any): boolean;
+/**
+ * The ONERROR_NO_ERROR_PORT sentence for a definition-backed node, naming its
+ * node type. Shared with serialize, which throws it for the same node.
+ */
+export declare function errorPortRefusal(stepName: string, def: any): string;

package/dist/core/error-port.js

@@ -0,0 +1,36 @@
+/**
+ * Does a node definition have an `error` port? One answer for `check` and
+ * `serialize` (flow-builder-sdk#943).
+ *
+ * The product's rule, read from @uipath/flow-core and @uipath/flow-tool:
+ *
+ *  - the manifest client injects an `error` source handle into every served
+ *    definition with `supportsErrorHandling: true` that does not declare one
+ *    (`withErrorHandles` / `nodeSupportsErrorHandling`);
+ *  - `uip maestro flow validate` does the same when it checks edge handles
+ *    (`validateEdgeHandlesAgainstCurrentManifests`: `supportsErrorHandling ===
+ *    true` adds `error` to the node's source handles).
+ *
+ * So the flag alone grants the port. For instance, the manifest
+ * `registry get --local` returns for a sibling Flow or RPA project
+ * (`buildNodeManifest`) has `supportsErrorHandling: true` and only `input` +
+ * `output` handles, and an `error` edge from it is valid. A definition that
+ * declares an `error` source handle without the flag counts too.
+ */
+export function definitionHasErrorPort(def) {
+    if (def?.supportsErrorHandling === true)
+        return true;
+    const groups = Array.isArray(def?.handleConfiguration) ? def.handleConfiguration : [];
+    return groups.some((g) => (Array.isArray(g?.handles) ? g.handles : [])
+        .some((h) => h?.id === 'error' && h?.type === 'source'));
+}
+/**
+ * The ONERROR_NO_ERROR_PORT sentence for a definition-backed node, naming its
+ * node type. Shared with serialize, which throws it for the same node.
+ */
+export function errorPortRefusal(stepName, def) {
+    return `Step "${stepName}" is a ${def?.nodeType}@${def?.version} node, and its definition has no error port: `
+        + `it does not set supportsErrorHandling: true and declares no "error" source handle, so the edge would leave a `
+        + `handle the node does not have. Handle the failure downstream instead, or pass the definition exactly as `
+        + `\`uip maestro flow registry get\` returns it.`;
+}

package/dist/core/expr.d.ts

@@ -145,8 +145,8 @@ export declare function ran(step: string): Expr;
  * The first five are what every error-capable node's definition declares
  * (`outputDefinition.error.schema`, `required`, `additionalProperties: false`).
  * `response` and `element` are NOT declared and are present at run time anyway —
- * measured on every family probed (2026-09-10), `element` carrying the id of the
- * step that failed. They are typed here because a field that exists should be
+ * measured on every family probed (2026-09-10), `element` carrying the label of
+ * the step that failed. They are typed here because a field that exists should be
  * readable; the declared five stay first because those are the contract.
  */
 export type ErrorEnvelopeField = 'code' | 'message' | 'detail' | 'category' | 'status' | 'response' | 'element';
@@ -166,15 +166,21 @@ export type ErrorEnvelopeField = 'code' | 'message' | 'detail' | 'category' | 's
  * | `category` | string | `'User'` |
  * | `status` | number | `404` |
  * | `response` | unknown | undeclared; `null` in every probe |
- * | `element` | string | undeclared; the id of the step that failed |
+ * | `element` | string | undeclared; the failing step's label |
  *
  * The last two resolve at run time — measured, a container handler reading
- * `element` came back with the failing body step's id — but they are absent from
- * the declared schema, so `uip maestro flow validate` reports
+ * `element` came back with the failing body step's label — but they are absent
+ * from the declared schema, so `uip maestro flow validate` reports
  * `EXPRESSION_DIAGNOSTIC: Property 'element' does not exist on type
  * '<Step>_Error'` for them. Valid, and noisy: prefer the declared five unless you
  * specifically need one of these.
  *
+ * **`element` is the step's canvas label (`display.label`), not its node id.** The
+ * label defaults to the step name, so it matches the name (not always the node
+ * id) only while no `label` is set: `.step('failA', …, { label: 'Fail A' })`
+ * failing gives `element: 'Fail A'`. Route on `code` / `message`, never on
+ * `element`.
+ *
  * **Which VARIABLE holds it is per node family, and this helper owns that.**
  * Measured on the product (2026-09-10), one debug run per family:
  *

package/dist/core/expr.js

@@ -179,15 +179,21 @@ export function ran(step) {
  * | `category` | string | `'User'` |
  * | `status` | number | `404` |
  * | `response` | unknown | undeclared; `null` in every probe |
- * | `element` | string | undeclared; the id of the step that failed |
+ * | `element` | string | undeclared; the failing step's label |
  *
  * The last two resolve at run time — measured, a container handler reading
- * `element` came back with the failing body step's id — but they are absent from
- * the declared schema, so `uip maestro flow validate` reports
+ * `element` came back with the failing body step's label — but they are absent
+ * from the declared schema, so `uip maestro flow validate` reports
  * `EXPRESSION_DIAGNOSTIC: Property 'element' does not exist on type
  * '<Step>_Error'` for them. Valid, and noisy: prefer the declared five unless you
  * specifically need one of these.
  *
+ * **`element` is the step's canvas label (`display.label`), not its node id.** The
+ * label defaults to the step name, so it matches the name (not always the node
+ * id) only while no `label` is set: `.step('failA', …, { label: 'Fail A' })`
+ * failing gives `element: 'Fail A'`. Route on `code` / `message`, never on
+ * `element`.
+ *
  * **Which VARIABLE holds it is per node family, and this helper owns that.**
  * Measured on the product (2026-09-10), one debug run per family:
  *

package/dist/core/library.d.ts

@@ -218,6 +218,25 @@ export interface LibraryOpts {
      */
     overlayDir?: string;
 }
+/** Why {@link Library.resolve} refused a connector action. */
+export type ConnectorResolveCode = 
+/** The library carries no such operation (or no such connector, or not at that version). */
+'CONNECTOR_NOT_IN_LIBRARY'
+/** A GENERIC operation (one entry per object) named without an `object`. */
+ | 'CONNECTOR_OBJECT_REQUIRED'
+/** An `object` on a single, non-generic operation. */
+ | 'CONNECTOR_OBJECT_NOT_GENERIC';
+/**
+ * The refusal {@link Library.resolve} throws, with a `code` for each reason.
+ *
+ * Typed so a caller can tell a refusal from a bug without matching on message
+ * text: `check` reports it under this code with this message, and a compile
+ * that throws it carries the same code into its `--json` diagnostics (#948).
+ */
+export declare class ConnectorResolveError extends Error {
+    readonly code: ConnectorResolveCode;
+    constructor(code: ConnectorResolveCode, message: string);
+}
 export declare class Library {
     private layers;
     /** The LIST-ENVELOPE LEDGER, overlay first so a prepared entry can add a row. */

package/dist/core/library.js

@@ -9,10 +9,26 @@
 import { readFileSync, existsSync } from 'node:fs';
 import { join } from 'node:path';
 import { prepareCommand } from './cli-spelling.js';
+import { PULL_COMMAND } from './library-cache.js';
 import { editDistance } from './edit-distance.js';
 import { loadListEnvelopes, lookupListEnvelope } from './list-envelope.js';
 import { lookupSpecOf } from './lookups.js';
 import { loadByoaLedger, loadInvariantCollections, loadLookupResolutions } from './lookup-store.js';
+/**
+ * The refusal {@link Library.resolve} throws, with a `code` for each reason.
+ *
+ * Typed so a caller can tell a refusal from a bug without matching on message
+ * text: `check` reports it under this code with this message, and a compile
+ * that throws it carries the same code into its `--json` diagnostics (#948).
+ */
+export class ConnectorResolveError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.name = 'ConnectorResolveError';
+        this.code = code;
+    }
+}
 export class Library {
     layers = [];
     /** The LIST-ENVELOPE LEDGER, overlay first so a prepared entry can add a row. */
@@ -582,7 +598,7 @@ export class Library {
                 + `the library index (\`index.json\`), and remember the two namespaces: `
                 + `\`…connector.trigger.…\` starts a flow, \`…connector.event.…\` waits mid-flow.`
             : '';
-        throw new Error(`connector not in library: ${nodeType}${version ? '@' + version : ''}.${hint}`
+        throw new ConnectorResolveError('CONNECTOR_NOT_IN_LIBRARY', `connector not in library: ${nodeType}${version ? '@' + version : ''}.${hint}`
             + this.describeMiss(nodeType, version, objectName));
     }
     /**
@@ -622,7 +638,7 @@ export class Library {
             + where
             + ' Note the operation slug is the nodeType segment, NOT the tenant\'s `objectName`'
             + ' — `uip maestro case spec` reports the latter, and the two can differ.'
-            + ' If the operation is newer than the library, refresh it with `uip maestro flow registry pull --force`.';
+            + ` If the operation is newer than the library, refresh it with \`${PULL_COMMAND}\`.`;
     }
     /** Every direct operation id under `prefix` (no further dot), across layers, sorted and de-duplicated. */
     opsUnder(prefix) {
@@ -646,7 +662,7 @@ export class Library {
         return ` No connector "${key}" in the library (${keys.length} indexed).`
             + (near && near !== key ? ` Closest: ${near}.` : '')
             + where
-            + ' If the connector is newer than the library, refresh it with `uip maestro flow registry pull --force`.';
+            + ` If the connector is newer than the library, refresh it with \`${PULL_COMMAND}\`.`;
     }
     /**
      * The event half of {@link describeMiss}: which of the connector's EVENTS the
@@ -666,7 +682,7 @@ export class Library {
         const waits = this.opsUnder(`uipath.connector.event.${key}.`);
         // A start trigger resolves from either form; a mid-flow wait needs the `.event.` form itself.
         const usable = kind === 'trigger' ? [...new Set([...starts, ...waits])].sort() : waits;
-        const refresh = ' If the event is newer than the library, refresh it with `uip maestro flow registry pull --force`.';
+        const refresh = ` If the event is newer than the library, refresh it with \`${PULL_COMMAND}\`.`;
         if (usable.length) {
             if (usable.includes(asked)) {
                 // Only a version can make a carried event miss here: every other refusal
@@ -755,7 +771,7 @@ export class Library {
                         + `dispatch. If it is a typo, compile will not catch it.\n`);
                     return this.build(layer.dir, { ...only, objectName }, nodeType, { objectNameUnverified: true });
                 }
-                throw new Error(`connector ${nodeType} does not have an object "${objectName}": it is a single, `
+                throw new ConnectorResolveError('CONNECTOR_OBJECT_NOT_GENERIC', `connector ${nodeType} does not have an object "${objectName}": it is a single, `
                     + `non-generic operation addressing ${only.objectName ? `"${only.objectName}"` : 'no object'}. `
                     + `Drop the \`object\` option (it is only for generic operations, whose node type covers many objects).`);
             }
@@ -769,7 +785,7 @@ export class Library {
             .filter((o) => typeof o === 'string' && o.length > 0)
             .sort();
         if (objectName === undefined) {
-            throw new Error(`connector ${nodeType} is a GENERIC operation covering ${matches.length} objects — `
+            throw new ConnectorResolveError('CONNECTOR_OBJECT_REQUIRED', `connector ${nodeType} is a GENERIC operation covering ${matches.length} objects — `
                 + `say which one with the \`object\` option, e.g. `
                 + `connector('${nodeType.split('.').slice(2, 3)[0]}', '${nodeType.split('.').slice(3).join('.')}', `
                 + `{ … }, { object: '${objects[0] ?? '<object>'}' }). ${describeObjects(objects)}`);

package/dist/flow-sdk.d.ts

@@ -824,7 +824,7 @@ declare class StepList {
      * even a legal call: `out(step, path?)` takes two arguments.
      *
      * **Three ways the handler can end**: `.return(...)` answers the flow,
-     * `.terminate(...)` stops the run, and `h.rejoin('<step>')` compensates and
+     * `.terminate(...)` stops the run, and `h.stepToRef('<step>')` compensates and
      * hands control back to a step the success path also reaches — the shape most
      * deployed flows use. A handler that just runs out of steps still gets its own
      * End: rejoining is something the author SAYS, never something wiring infers.
@@ -838,8 +838,9 @@ declare class StepList {
      *
      * **A `.loop()` container takes one too.** `core.logic.loop` declares the
      * handle, and a body step's failure routes to it: the container's envelope
-     * carries the body's message in `detail` and the failing body step's id in
-     * `element`, and the instance completes rather than faulting. `.doWhile()` does
+     * carries the body's message in `detail` and the failing body step's label
+     * (`display.label`, which defaults to the step name) in `element`, and the
+     * instance completes rather than faulting. `.doWhile()` does
      * NOT — it declares an error variable and no error handle — so that one is
      * refused by name, and its failures belong to the body step that can fail.
      *

package/dist/flow-sdk.js

@@ -402,7 +402,7 @@ class StepList {
      * even a legal call: `out(step, path?)` takes two arguments.
      *
      * **Three ways the handler can end**: `.return(...)` answers the flow,
-     * `.terminate(...)` stops the run, and `h.rejoin('<step>')` compensates and
+     * `.terminate(...)` stops the run, and `h.stepToRef('<step>')` compensates and
      * hands control back to a step the success path also reaches — the shape most
      * deployed flows use. A handler that just runs out of steps still gets its own
      * End: rejoining is something the author SAYS, never something wiring infers.
@@ -416,8 +416,9 @@ class StepList {
      *
      * **A `.loop()` container takes one too.** `core.logic.loop` declares the
      * handle, and a body step's failure routes to it: the container's envelope
-     * carries the body's message in `detail` and the failing body step's id in
-     * `element`, and the instance completes rather than faulting. `.doWhile()` does
+     * carries the body's message in `detail` and the failing body step's label
+     * (`display.label`, which defaults to the step name) in `element`, and the
+     * instance completes rather than faulting. `.doWhile()` does
      * NOT — it declares an error variable and no error handle — so that one is
      * refused by name, and its failures belong to the body step that can fail.
      *
@@ -464,7 +465,7 @@ class StepList {
         // `@2.4`, gated on `errorHandlingEnabled` like every other error handle), and
         // the platform routes it: a body step throwing inside a measured run left the
         // instance Completed with the container's envelope published — `detail` the
-        // body's own message, `element` the id of the body step that failed.
+        // body's own message, `element` the label of the body step that failed.
         //
         // `.doWhile()` is NOT: `core.logic.dowhile@1.0` declares an error VARIABLE
         // and no error HANDLE, so an edge would leave a handle the node does not

package/dist/serialize.js

@@ -15,6 +15,7 @@ import { FlowAction, FlowTrigger } from './core/node-classes.js';
 import { connectorRawNodeRefusal } from './core/connector-raw-node.js';
 import { dataFabricUnknownInputs } from './core/typed-raw-node.js';
 import { planContributionBindings } from './core/contribution-bindings.js';
+import { definitionHasErrorPort, errorPortRefusal } from './core/error-port.js';
 import { isAnswerField } from './core/hitl-answers.js';
 import { connectionConnectors } from './bindings-v2.js';
 import { BindingRefusal, GUID_RE, bindingMissingMessage, bindingSelfNameMessage, bindingUndeclaredMessage, missingBindingLabels, undeclaredBinding } from './core/binding-messages.js';
@@ -4375,9 +4376,9 @@ function newScope(outputs, vars = []) {
  * note at `uipath.ts:118-123`, MST-9544).
  */
 /**
- * Wire every parked `.rejoin('<step>')` edge, now that the whole scope exists.
+ * Wire every parked `.stepToRef('<step>')` edge, now that the whole scope exists.
  *
- * An unresolved target should be impossible — `check`'s REJOIN_UNKNOWN_TARGET
+ * An unresolved target should be impossible — `check`'s REF_UNKNOWN_TARGET
  * runs first and names the steps that do exist — but a serializer that silently
  * dropped the edge would emit a flow whose handler goes nowhere, which is the
  * exact class of failure `.onError` used to have (an error path that vanishes in
@@ -4636,8 +4637,8 @@ function renameRefs(text, rename) {
 /** Every step name a flow declares in its own scope (not its children's). */
 function stepNamesOf(steps, out = []) {
     for (const s of steps) {
-        // `return` and `rejoin` carry a synthetic `name` and create no node named
-        // after it (an End id is claimed as `end`; a rejoin is one edge).
+        // `return` carries a synthetic `name` but creates no node named after it (an
+        // End id is claimed as `end`); `stepToRef` has no `name` at all (it is one edge).
         if ('name' in s && s.kind !== 'return')
             out.push(s.name);
         if (s.kind === 'branch') {
@@ -4679,6 +4680,18 @@ export function serialize(built, opts = {}) {
      * A bindings entry the node does not reference is not a bound resource.
      */
     const resourceBindings = new Map();
+    /**
+     * The resolved definition of every contribution-lowered node, by node id, so an
+     * `error` edge from one can be checked against its definition (#943). Typed
+     * families are not recorded: their definitions are the SDK's own.
+     */
+    const contributionDefs = new Map();
+    /** Refuse an `error` edge from a contribution-lowered node whose definition has no error port. */
+    function refuseErrorEdgeWithoutPort(nodeId, stepName) {
+        const def = contributionDefs.get(nodeId);
+        if (def !== undefined && !definitionHasErrorPort(def))
+            throw new Error(errorPortRefusal(stepName, def));
+    }
     /**
      * Hoist a contribution's own bindings, then close every `<bindings.NAME>` its
      * definition references and it did not supply, from the definition's own
@@ -4785,7 +4798,7 @@ export function serialize(built, opts = {}) {
     /**
      * `uid` for a node that IS an author's step, recording which id that step got.
      *
-     * `.rejoin('<step>')` names a step, and the id it was emitted under is not
+     * `.stepToRef('<step>')` names a step, and the id it was emitted under is not
      * derivable from the name: `uid` sanitizes, de-duplicates against every id in
      * the file, and hands a subflow COPY a prefixed one from the rename map. So
      * the mapping is recorded where it is decided rather than reconstructed later
@@ -5120,6 +5133,7 @@ export function serialize(built, opts = {}) {
             node.outputs = { ...(node.outputs ?? {}), ...subNodeId(clone(contribution.outputs), id) };
         }
         hoistContributionBindings(def, contribution.bindings, where);
+        contributionDefs.set(id, def);
         scope.nodes.push(node);
         for (const t of tails)
             addEdge(scope, t, id);
@@ -6457,7 +6471,7 @@ export function serialize(built, opts = {}) {
      * The handler is its OWN path, and it still is: its leftover tails get their
      * own End rather than rejoining the chain, because `.onError` must not
      * SILENTLY change what runs after the step. What changed is that an author can
-     * now ASK — `h.rejoin('<step>')` emits an edge into a step the success path
+     * now ASK — `h.stepToRef('<step>')` emits an edge into a step the success path
      * also reaches, and returns no tail, so nothing is capped. Never inferred:
      * a handler that just runs out of steps ends exactly as it always did.
      *
@@ -6522,8 +6536,10 @@ export function serialize(built, opts = {}) {
             throw new Error(`.stepToList('${step.port}', …) after step "${source}": emitted node "${nodeId}" not found in scope`);
         // Only the error port carries this: without it the platform routes but Studio
         // Web HIDES the handle, so no human can see the handler.
-        if (step.port === 'error')
+        if (step.port === 'error') {
+            refuseErrorEdgeWithoutPort(nodeId, source);
             node.inputs = { ...(node.inputs ?? {}), errorHandlingEnabled: true };
+        }
         const handlerTails = emit(handler, [{ node: nodeId, port: step.port }], scope, parentId, breakTarget);
         if (handlerTails.length) {
             const endId = uid(scope, `${source}${step.port === 'error' ? 'Error' : step.port.charAt(0).toUpperCase() + step.port.slice(1)}End`);
@@ -6924,6 +6940,7 @@ export function serialize(built, opts = {}) {
                         throw new Error(`.stepToRef('${step.port}', '${step.target}') has no step to leave from.`);
                     refuseRewire('.stepToRef', step.port, lastAction ?? '?', tails);
                     if (step.port === 'error') {
+                        refuseErrorEdgeWithoutPort(from.node, lastAction ?? from.node);
                         const node = scope.nodes.find((n) => n.id === from.node);
                         if (node)
                             node.inputs = { ...(node.inputs ?? {}), errorHandlingEnabled: true };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@uipath/maestro-builder-sdk",
-  "version": "6.17.0",
+  "version": "6.17.1",
   "description": "Build UiPath Flow, Case, and BPMN artifacts by writing TypeScript.",
   "license": "MIT",
   "homepage": "https://docs.uipath.com/maestro",
@@ -92,5 +92,5 @@
     "@types/node": "^22.7.0",
     "esbuild": "^0.28.1"
   },
-  "gitref": "c6e35983af98d4dc81b45aaee8a9bb0419bc1cc2"
+  "gitref": "16311a1f95f57ac9799d42eca556b25e4879fb5d"
 }