@usearazzo/runner 1.0.1-alpha.21 → 1.0.1-alpha.22

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@usearazzo/runner",
-  "version": "1.0.1-alpha.21",
+  "version": "1.0.1-alpha.22",
   "description": "Runner for Arazzo Workflows.",
   "keywords": [
     "arazzo",
@@ -69,12 +69,12 @@
     "@speclynx/apidom-traverse": "^6.1.2",
     "@swaggerexpert/arazzo-criterion": "^1.0.1",
     "@swaggerexpert/arazzo-runtime-expression": "^3.3.0",
-    "@swaggerexpert/cookie": "^2.0.2",
+    "@swaggerexpert/cookie": "^2.1.1",
     "@swaggerexpert/json-pointer": "^3.0.2",
     "@swaggerexpert/jsonpath": "^4.0.5",
     "@swaggerexpert/media-types": "^1.0.2",
-    "@usearazzo/parser": "1.0.1-alpha.21",
-    "@usearazzo/resolver": "1.0.1-alpha.21",
+    "@usearazzo/parser": "1.0.1-alpha.22",
+    "@usearazzo/resolver": "1.0.1-alpha.22",
     "@xmldom/xmldom": "^0.9.12",
     "fontoxpath": "^3.34.0",
     "ramda": "^0.32.0",
@@ -94,5 +94,5 @@
   "devDependencies": {
     "swagger-client": "^3.38.4"
   },
-  "gitHead": "d342b02adbd11f5362aa4850b2417521e59448ce"
+  "gitHead": "e70dedbb2d249b9a6c16808048d9272609103f71"
 }

package/src/executor/ArazzoWorkflowLocatorNormalizer.cjs

@@ -52,11 +52,12 @@ var _SourceDescriptionsLocatorNormalizer = _interopRequireDefault(require("./Sou
  * The `type` declared on a source description is not trusted (it may be
  * absent or wrong); a source is classified by what it actually parses to,
  * the same convention the OpenAPI operation locator follows. Source
- * documents are acquired from the registry on demand. Whether the resolved
- * document *defines* the workflow is deliberately left to the caller, which
- * owns the timing of that check (eager for a `dependsOn` list validated
- * before any prerequisite runs, lazy for a sub-workflow step resolved per
- * attempt).
+ * documents are acquired from the registry on demand. A reference to a
+ * workflow the resolved document does not define is rejected here, so every
+ * returned locator names an existing workflow; a caller controls when that
+ * check happens by when it normalizes (eagerly for a `dependsOn` list
+ * validated before any prerequisite runs, lazily for a sub-workflow step
+ * resolved on its first attempt).
  * @public
  */
 class ArazzoWorkflowLocatorNormalizer extends _SourceDescriptionsLocatorNormalizer.default {
@@ -64,10 +65,20 @@ class ArazzoWorkflowLocatorNormalizer extends _SourceDescriptionsLocatorNormaliz
    * Resolves a reference — a plain workflowId or a
    * `$sourceDescriptions.{name}.{workflowId}` expression, as written — to the
    * canonical locator: the Arazzo document that owns the target workflow,
-   * and the bare id within it.
+   * and the bare id within it. Rejects a workflow that document does not
+   * define as `workflow-not-found`, attributed to the referencing context
+   * like every other error raised here.
    */
   async normalize(reference, document, context) {
-    return this.#resolve(this.#parseReference(reference, context), document, context);
+    const locator = await this.#resolve(this.#parseReference(reference, context), document, context);
+    if (!locator.document.workflowIndex.has(locator.workflowId)) {
+      throw new _ExecutionError.default(`workflow reference "${reference}" in workflow "${context.workflowId}" names workflow "${locator.workflowId}", which the Arazzo document at "${locator.document.uri}" does not define`, {
+        workflowId: context.workflowId,
+        stepId: context.stepId,
+        reason: 'workflow-not-found'
+      });
+    }
+    return locator;
   }
 
   /**

package/src/executor/ArazzoWorkflowLocatorNormalizer.mjs

@@ -42,11 +42,12 @@ import SourceDescriptionsLocatorNormalizer from "./SourceDescriptionsLocatorNorm
  * The `type` declared on a source description is not trusted (it may be
  * absent or wrong); a source is classified by what it actually parses to,
  * the same convention the OpenAPI operation locator follows. Source
- * documents are acquired from the registry on demand. Whether the resolved
- * document *defines* the workflow is deliberately left to the caller, which
- * owns the timing of that check (eager for a `dependsOn` list validated
- * before any prerequisite runs, lazy for a sub-workflow step resolved per
- * attempt).
+ * documents are acquired from the registry on demand. A reference to a
+ * workflow the resolved document does not define is rejected here, so every
+ * returned locator names an existing workflow; a caller controls when that
+ * check happens by when it normalizes (eagerly for a `dependsOn` list
+ * validated before any prerequisite runs, lazily for a sub-workflow step
+ * resolved on its first attempt).
  * @public
  */
 class ArazzoWorkflowLocatorNormalizer extends SourceDescriptionsLocatorNormalizer {
@@ -54,10 +55,20 @@ class ArazzoWorkflowLocatorNormalizer extends SourceDescriptionsLocatorNormalize
    * Resolves a reference — a plain workflowId or a
    * `$sourceDescriptions.{name}.{workflowId}` expression, as written — to the
    * canonical locator: the Arazzo document that owns the target workflow,
-   * and the bare id within it.
+   * and the bare id within it. Rejects a workflow that document does not
+   * define as `workflow-not-found`, attributed to the referencing context
+   * like every other error raised here.
    */
   async normalize(reference, document, context) {
-    return this.#resolve(this.#parseReference(reference, context), document, context);
+    const locator = await this.#resolve(this.#parseReference(reference, context), document, context);
+    if (!locator.document.workflowIndex.has(locator.workflowId)) {
+      throw new ExecutionError(`workflow reference "${reference}" in workflow "${context.workflowId}" names workflow "${locator.workflowId}", which the Arazzo document at "${locator.document.uri}" does not define`, {
+        workflowId: context.workflowId,
+        stepId: context.stepId,
+        reason: 'workflow-not-found'
+      });
+    }
+    return locator;
   }
 
   /**

package/src/executor/StepExecutor.cjs

@@ -55,6 +55,16 @@ const STEP_TARGET_FIELDS = exports.STEP_TARGET_FIELDS = ['operationId', 'operati
  * @public
  */
 
+/**
+ * What one attempt at a step produced.
+ *
+ * Both kinds of step reduce to this — an operation step (whose richer
+ * {@link StepExecutionResult} satisfies this shape) and a sub-workflow step
+ * (synthesized from the sub-run's outcome) — so the retry loop drives them
+ * identically and knows nothing about either.
+ * @internal
+ */
+
 /**
  * Executes a single Arazzo step that invokes an OpenAPI operation.
  *

package/src/executor/StepExecutor.mjs

@@ -48,6 +48,16 @@ export const STEP_TARGET_FIELDS = ['operationId', 'operationPath', 'workflowId']
  * @public
  */
 
+/**
+ * What one attempt at a step produced.
+ *
+ * Both kinds of step reduce to this — an operation step (whose richer
+ * {@link StepExecutionResult} satisfies this shape) and a sub-workflow step
+ * (synthesized from the sub-run's outcome) — so the retry loop drives them
+ * identically and knows nothing about either.
+ * @internal
+ */
+
 /**
  * Executes a single Arazzo step that invokes an OpenAPI operation.
  *

package/src/executor/StepRetryRunner.cjs

@@ -9,16 +9,6 @@ var _apidomCore = require("@speclynx/apidom-core");
 var _apidomDatamodel = require("@speclynx/apidom-datamodel");
 var _apidomNsArazzo = require("@speclynx/apidom-ns-arazzo-1");
 var _ExecutionError = _interopRequireDefault(require("../errors/ExecutionError.cjs"));
-/**
- * What one attempt at a step produced.
- *
- * Both kinds of step reduce to this — an operation step (whose richer
- * `StepExecutionResult` satisfies this shape) and a sub-workflow step
- * (synthesized from the sub-run's outcome) — so the retry loop drives them
- * identically and knows nothing about either.
- * @internal
- */
-
 /**
  * The terminal outcome of a step once its retries are settled.
  * @internal

package/src/executor/StepRetryRunner.mjs

@@ -2,15 +2,6 @@ import { toValue } from '@speclynx/apidom-core';
 import { isNumberElement, isStringElement } from '@speclynx/apidom-datamodel';
 import { isFailureActionElement } from '@speclynx/apidom-ns-arazzo-1';
 import ExecutionError from "../errors/ExecutionError.mjs";
-/**
- * What one attempt at a step produced.
- *
- * Both kinds of step reduce to this — an operation step (whose richer
- * `StepExecutionResult` satisfies this shape) and a sub-workflow step
- * (synthesized from the sub-run's outcome) — so the retry loop drives them
- * identically and knows nothing about either.
- * @internal
- */
 /**
  * The terminal outcome of a step once its retries are settled.
  * @internal

package/src/executor/WorkflowExecutor.cjs

@@ -778,12 +778,6 @@ class WorkflowExecutor {
       const locator = await this.#workflowLocatorNormalizer.normalize(reference, document, {
         workflowId
       });
-      if (!locator.document.workflowIndex.has(locator.workflowId)) {
-        throw new _ExecutionError.default(`workflow "${workflowId}" depends on "${reference}", which the Arazzo document at "${locator.document.uri}" does not define`, {
-          workflowId,
-          reason: 'workflow-not-found'
-        });
-      }
       refs.push({
         locator,
         inputsKey: reference
@@ -972,24 +966,14 @@ class WorkflowExecutor {
    *
    * Shared rather than duplicated by its two callers, which otherwise repeat
    * the identical "resolve the reference, then run with no inputs" sequence.
-   * Rejects a target its document does not define with the calling `stepId`
-   * attached, unlike {@link WorkflowExecutor.#resolveWorkflow}'s own
-   * `workflow-not-found` (reached only once `#run` itself resolves the
-   * target) — which carries no caller context at all, since it is reached
-   * generically from every kind of nested call.
+   * A target its document does not define is rejected by the normalizer,
+   * attributed to the calling workflow and `stepId`.
    */
   async #runReferencedWorkflow(reference, stepId, invocation, scope, via) {
     const locator = await this.#workflowLocatorNormalizer.normalize(reference, invocation.document, {
       workflowId: invocation.workflowId,
       stepId
     });
-    if (!locator.document.workflowIndex.has(locator.workflowId)) {
-      throw new _ExecutionError.default(`workflow "${locator.workflowId}" not found in Arazzo document at "${locator.document.uri}"`, {
-        workflowId: locator.workflowId,
-        stepId,
-        reason: 'workflow-not-found'
-      });
-    }
     return this.#run(locator, {}, scope, invocation.callStack, via);
   }
 
@@ -997,7 +981,11 @@ class WorkflowExecutor {
    * Extracts and normalizes the workflow a locator names. A workflow its
    * document does not define is the executor-level `workflow-not-found`
    * authoring error, raised here rather than leaking the extractor's
-   * `ExtractionError`.
+   * `ExtractionError`. Only the root {@link WorkflowExecutor.execute} id
+   * reaches this check unvalidated — every reference position goes through
+   * the locator normalizer, which already rejects a missing workflow with
+   * the referencing context attached — so the error's `workflowId` is the
+   * missing id itself.
    */
   async #resolveWorkflow(locator, scope) {
     const {

package/src/executor/WorkflowExecutor.mjs

@@ -764,12 +764,6 @@ class WorkflowExecutor {
       const locator = await this.#workflowLocatorNormalizer.normalize(reference, document, {
         workflowId
       });
-      if (!locator.document.workflowIndex.has(locator.workflowId)) {
-        throw new ExecutionError(`workflow "${workflowId}" depends on "${reference}", which the Arazzo document at "${locator.document.uri}" does not define`, {
-          workflowId,
-          reason: 'workflow-not-found'
-        });
-      }
       refs.push({
         locator,
         inputsKey: reference
@@ -958,24 +952,14 @@ class WorkflowExecutor {
    *
    * Shared rather than duplicated by its two callers, which otherwise repeat
    * the identical "resolve the reference, then run with no inputs" sequence.
-   * Rejects a target its document does not define with the calling `stepId`
-   * attached, unlike {@link WorkflowExecutor.#resolveWorkflow}'s own
-   * `workflow-not-found` (reached only once `#run` itself resolves the
-   * target) — which carries no caller context at all, since it is reached
-   * generically from every kind of nested call.
+   * A target its document does not define is rejected by the normalizer,
+   * attributed to the calling workflow and `stepId`.
    */
   async #runReferencedWorkflow(reference, stepId, invocation, scope, via) {
     const locator = await this.#workflowLocatorNormalizer.normalize(reference, invocation.document, {
       workflowId: invocation.workflowId,
       stepId
     });
-    if (!locator.document.workflowIndex.has(locator.workflowId)) {
-      throw new ExecutionError(`workflow "${locator.workflowId}" not found in Arazzo document at "${locator.document.uri}"`, {
-        workflowId: locator.workflowId,
-        stepId,
-        reason: 'workflow-not-found'
-      });
-    }
     return this.#run(locator, {}, scope, invocation.callStack, via);
   }
 
@@ -983,7 +967,11 @@ class WorkflowExecutor {
    * Extracts and normalizes the workflow a locator names. A workflow its
    * document does not define is the executor-level `workflow-not-found`
    * authoring error, raised here rather than leaking the extractor's
-   * `ExtractionError`.
+   * `ExtractionError`. Only the root {@link WorkflowExecutor.execute} id
+   * reaches this check unvalidated — every reference position goes through
+   * the locator normalizer, which already rejects a missing workflow with
+   * the referencing context attached — so the error's `workflowId` is the
+   * missing id itself.
    */
   async #resolveWorkflow(locator, scope) {
     const {