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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@usearazzo/runner",
-  "version": "1.0.1-alpha.19",
+  "version": "1.0.1-alpha.21",
   "description": "Runner for Arazzo Workflows.",
   "keywords": [
     "arazzo",
@@ -73,8 +73,8 @@
     "@swaggerexpert/json-pointer": "^3.0.2",
     "@swaggerexpert/jsonpath": "^4.0.5",
     "@swaggerexpert/media-types": "^1.0.2",
-    "@usearazzo/parser": "1.0.1-alpha.19",
-    "@usearazzo/resolver": "1.0.1-alpha.19",
+    "@usearazzo/parser": "1.0.1-alpha.21",
+    "@usearazzo/resolver": "1.0.1-alpha.21",
     "@xmldom/xmldom": "^0.9.12",
     "fontoxpath": "^3.34.0",
     "ramda": "^0.32.0",
@@ -94,5 +94,5 @@
   "devDependencies": {
     "swagger-client": "^3.38.4"
   },
-  "gitHead": "54a9b81c5607984c87d82ec159506f522b33a4d7"
+  "gitHead": "d342b02adbd11f5362aa4850b2417521e59448ce"
 }

package/src/action/ActionResolver.cjs

@@ -9,10 +9,11 @@ var _apidomDatamodel = require("@speclynx/apidom-datamodel");
 var _apidomNsArazzo = require("@speclynx/apidom-ns-arazzo-1");
 var _ResolverError = _interopRequireDefault(require("../errors/ResolverError.cjs"));
 /**
- * Determines whether a single criterion is met.
+ * Determines whether a single criterion of an action is met. Receives the
+ * action declaring the criterion, so a caller can attribute the outcome to it.
  *
  * Bridged to a criterion evaluator
- * (`(criterion) => criterionEvaluator.evaluate(criterion, resolve)`); an
+ * (`(criterion) => criterionEvaluator.evaluate(criterion, resolve).met`); an
  * unresolvable/failing criterion is `false`, not an error.
  * @public
  */
@@ -144,6 +145,7 @@ class ActionResolver {
         reason: 'malformed-criteria'
       });
     }
+    let met = true;
     for (const criterion of criteria) {
       if (!(0, _apidomNsArazzo.isCriterionElement)(criterion)) {
         throw new _ResolverError.default("An action's `criteria` contains an entry that is not a Criterion Object", {
@@ -152,9 +154,11 @@ class ActionResolver {
           reason: 'malformed-criterion'
         });
       }
-      if (!isCriterionMet(criterion)) return false;
+      // every criterion is evaluated, not only up to the first unmet one, so
+      // a predicate that records outcomes sees the whole list.
+      if (!isCriterionMet(criterion, action)) met = false;
     }
-    return true;
+    return met;
   }
 }
 var _default = exports.default = ActionResolver;

package/src/action/ActionResolver.mjs

@@ -2,10 +2,11 @@ import { isArrayElement } from '@speclynx/apidom-datamodel';
 import { isSuccessActionElement, isFailureActionElement, isCriterionElement } from '@speclynx/apidom-ns-arazzo-1';
 import ResolverError from "../errors/ResolverError.mjs";
 /**
- * Determines whether a single criterion is met.
+ * Determines whether a single criterion of an action is met. Receives the
+ * action declaring the criterion, so a caller can attribute the outcome to it.
  *
  * Bridged to a criterion evaluator
- * (`(criterion) => criterionEvaluator.evaluate(criterion, resolve)`); an
+ * (`(criterion) => criterionEvaluator.evaluate(criterion, resolve).met`); an
  * unresolvable/failing criterion is `false`, not an error.
  * @public
  */
@@ -134,6 +135,7 @@ class ActionResolver {
         reason: 'malformed-criteria'
       });
     }
+    let met = true;
     for (const criterion of criteria) {
       if (!isCriterionElement(criterion)) {
         throw new ResolverError("An action's `criteria` contains an entry that is not a Criterion Object", {
@@ -142,9 +144,11 @@ class ActionResolver {
           reason: 'malformed-criterion'
         });
       }
-      if (!isCriterionMet(criterion)) return false;
+      // every criterion is evaluated, not only up to the first unmet one, so
+      // a predicate that records outcomes sees the whole list.
+      if (!isCriterionMet(criterion, action)) met = false;
     }
-    return true;
+    return met;
   }
 }
 export default ActionResolver;

package/src/criterion/CriterionErrorReason.cjs

@@ -0,0 +1,51 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.default = void 0;
+/**
+ * The `reason` a {@link CriterionError} carries.
+ *
+ * Structural reasons mark a criterion that is malformed as written; they are
+ * thrown as a plain `CriterionError`. Evaluation reasons (`InvalidSimple`,
+ * `InvalidRegex`, `InvalidJSONPath`, `InvalidXPath`, `InvalidXPathContext`) mark
+ * a condition that cannot be evaluated; they are thrown as a
+ * {@link CriterionEvaluationError}, which `CriterionEvaluator` turns into an
+ * unmet criterion.
+ * @public
+ */
+const CriterionErrorReason = {
+  /** The element is not a Criterion Object. */
+  InvalidCriterion: 'invalid-criterion',
+  /** The `condition` is missing or empty. */
+  MissingCondition: 'missing-condition',
+  /** The `type` is present but unreadable. */
+  InvalidType: 'invalid-type',
+  /** The `type` names no known criterion type. */
+  UnknownType: 'unknown-type',
+  /** The expression type `version` is present but not a string. */
+  InvalidVersion: 'invalid-version',
+  /** The expression type `version` is not the one this runner supports. */
+  UnsupportedVersion: 'unsupported-version',
+  /** The `context` is not a runtime expression. */
+  InvalidContext: 'invalid-context',
+  /** A `regex`, `jsonpath` or `xpath` criterion has no `context`. */
+  MissingContext: 'missing-context',
+  /** The `simple` condition cannot be parsed. */
+  InvalidSimple: 'invalid-simple',
+  /** The `regex` condition is not a valid regular expression. */
+  InvalidRegex: 'invalid-regex',
+  /** The `jsonpath` condition is not a valid JSONPath query. */
+  InvalidJSONPath: 'invalid-jsonpath',
+  /** The `xpath` condition is invalid or fails to evaluate. */
+  InvalidXPath: 'invalid-xpath',
+  /** The resolved `xpath` context is not XML. */
+  InvalidXPathContext: 'invalid-xpath-context'
+};
+
+/**
+ * One of the `CriterionErrorReason` values.
+ * @public
+ */
+var _default = exports.default = CriterionErrorReason;

package/src/criterion/CriterionErrorReason.mjs

@@ -0,0 +1,46 @@
+/**
+ * The `reason` a {@link CriterionError} carries.
+ *
+ * Structural reasons mark a criterion that is malformed as written; they are
+ * thrown as a plain `CriterionError`. Evaluation reasons (`InvalidSimple`,
+ * `InvalidRegex`, `InvalidJSONPath`, `InvalidXPath`, `InvalidXPathContext`) mark
+ * a condition that cannot be evaluated; they are thrown as a
+ * {@link CriterionEvaluationError}, which `CriterionEvaluator` turns into an
+ * unmet criterion.
+ * @public
+ */
+const CriterionErrorReason = {
+  /** The element is not a Criterion Object. */
+  InvalidCriterion: 'invalid-criterion',
+  /** The `condition` is missing or empty. */
+  MissingCondition: 'missing-condition',
+  /** The `type` is present but unreadable. */
+  InvalidType: 'invalid-type',
+  /** The `type` names no known criterion type. */
+  UnknownType: 'unknown-type',
+  /** The expression type `version` is present but not a string. */
+  InvalidVersion: 'invalid-version',
+  /** The expression type `version` is not the one this runner supports. */
+  UnsupportedVersion: 'unsupported-version',
+  /** The `context` is not a runtime expression. */
+  InvalidContext: 'invalid-context',
+  /** A `regex`, `jsonpath` or `xpath` criterion has no `context`. */
+  MissingContext: 'missing-context',
+  /** The `simple` condition cannot be parsed. */
+  InvalidSimple: 'invalid-simple',
+  /** The `regex` condition is not a valid regular expression. */
+  InvalidRegex: 'invalid-regex',
+  /** The `jsonpath` condition is not a valid JSONPath query. */
+  InvalidJSONPath: 'invalid-jsonpath',
+  /** The `xpath` condition is invalid or fails to evaluate. */
+  InvalidXPath: 'invalid-xpath',
+  /** The resolved `xpath` context is not XML. */
+  InvalidXPathContext: 'invalid-xpath-context'
+};
+
+/**
+ * One of the `CriterionErrorReason` values.
+ * @public
+ */
+
+export default CriterionErrorReason;

package/src/criterion/CriterionEvaluator.cjs

@@ -10,6 +10,8 @@ var _apidomDatamodel = require("@speclynx/apidom-datamodel");
 var _apidomNsArazzo = require("@speclynx/apidom-ns-arazzo-1");
 var _arazzoRuntimeExpression = require("@swaggerexpert/arazzo-runtime-expression");
 var _CriterionError = _interopRequireDefault(require("../errors/CriterionError.cjs"));
+var _CriterionEvaluationError = _interopRequireDefault(require("../errors/CriterionEvaluationError.cjs"));
+var _CriterionErrorReason = _interopRequireDefault(require("./CriterionErrorReason.cjs"));
 var _RegexCriterionEvaluator = _interopRequireDefault(require("./RegexCriterionEvaluator.cjs"));
 var _SimpleCriterionEvaluator = _interopRequireDefault(require("./SimpleCriterionEvaluator.cjs"));
 var _JSONPathCriterionEvaluator = _interopRequireDefault(require("./JSONPathCriterionEvaluator.cjs"));
@@ -26,13 +28,22 @@ var _XPathCriterionEvaluator = _interopRequireDefault(require("./XPathCriterionE
  * @public
  */
 
+/**
+ * The outcome of evaluating one criterion.
+ * @public
+ */
+
 /**
  * Options for the CriterionEvaluator.
+ *
+ * An injected evaluator signals a condition it cannot evaluate by throwing a
+ * {@link CriterionEvaluationError}, which fails the criterion; any other error
+ * it throws, a plain {@link CriterionError} included, propagates.
  * @public
  */
 
 /**
- * Evaluates an Arazzo Criterion Object to a boolean.
+ * Evaluates an Arazzo Criterion Object to a {@link CriterionOutcome}.
  *
  * Dispatches on the criterion's `type` (defaulting to `simple` when omitted):
  * - `simple` — evaluates the condition directly, resolving the runtime
@@ -41,12 +52,27 @@ var _XPathCriterionEvaluator = _interopRequireDefault(require("./XPathCriterionE
  *   pattern to the resolved value.
  * - `jsonpath` — resolves the `context` runtime expression, then applies the
  *   JSONPath query to the resolved value (met when the query matches). Only the
- *   `rfc9535` version is supported (the spec default); an explicit other version
- *   throws.
+ *   `rfc9535` version is supported; an explicit other version throws.
  * - `xpath` — resolves the `context` runtime expression, then applies the XPath
  *   3.1 query to the resolved XML value (met by the Effective Boolean Value).
- *   Only the `xpath-31` version is supported (the spec default); an explicit
- *   other version throws.
+ *   Only the `xpath-31` version is supported; an explicit other version throws.
+ *
+ * Versions follow Arazzo 1.1.0's Expression Type Object: `rfc9535` and
+ * `xpath-31` are allowed values, and an omitted `version` defaults to them.
+ * Arazzo 1.0.x lists neither and requires `version`; this evaluator applies
+ * the 1.1.0 rule to every document, which accepts more but never evaluates a
+ * query under the wrong dialect.
+ *
+ * A condition that cannot be evaluated fails the criterion (`met: false`), as
+ * Arazzo 1.1.0 requires: a syntax error in the condition, a context the
+ * condition cannot apply to (non-XML data for `xpath`), or an XPath evaluation
+ * error. The type-specific evaluators report these as a
+ * {@link CriterionEvaluationError}, which this facade returns as the
+ * outcome's `error` so the caller can report it; any other error they raise
+ * propagates. A criterion that is malformed as written still throws: a
+ * missing `condition`, an unknown or unreadable `type`, an unsupported
+ * expression `version`, or a `context` that is missing or not a runtime
+ * expression.
  *
  * The evaluator is agnostic about how runtime expressions are resolved: the
  * caller supplies a {@link CriterionContextResolver} per evaluation, keeping
@@ -67,7 +93,8 @@ class CriterionEvaluator {
   }
 
   /**
-   * Evaluates a criterion element, returning whether the condition is met.
+   * Evaluates a criterion element, returning whether the condition is met and,
+   * when it cannot be evaluated, why.
    *
    * `resolve` turns a runtime expression into a value: for `simple` it resolves
    * the expressions embedded in the condition; for the other types it resolves
@@ -76,7 +103,7 @@ class CriterionEvaluator {
   evaluate(criterion, resolve) {
     if (!(0, _apidomNsArazzo.isCriterionElement)(criterion)) {
       throw new _CriterionError.default('Element is not a Criterion Object', {
-        reason: 'invalid-criterion'
+        reason: _CriterionErrorReason.default.InvalidCriterion
       });
     }
     const condition = (0, _apidomDatamodel.isStringElement)(criterion.condition) ? (0, _apidomCore.toValue)(criterion.condition) : undefined;
@@ -84,34 +111,52 @@ class CriterionEvaluator {
     // (e.g. an empty regex would match unconditionally), so reject it too.
     if (condition === undefined || condition === '') {
       throw new _CriterionError.default('Criterion is missing a "condition"', {
-        reason: 'missing-condition'
+        reason: _CriterionErrorReason.default.MissingCondition
       });
     }
     const type = this.#resolveType(criterion);
     this.#requireValidContext(criterion, type);
-    switch (type) {
-      case 'simple':
-        return this.#simple.evaluate(condition, resolve);
-      case 'regex':
-        return this.#regex.evaluate(condition, this.#resolveContext(criterion, type, resolve));
-      case 'jsonpath':
-        // only rfc9535 is supported; it is the spec default, so an omitted
-        // version is accepted. draft-goessner has different semantics and is
-        // rejected rather than mis-evaluated.
-        this.#requireVersion(criterion, type, condition, 'rfc9535');
-        return this.#jsonpath.evaluate(condition, this.#resolveContext(criterion, type, resolve));
-      case 'xpath':
-        // only XPath 3.1 is supported; xpath-31 is the spec default, so an
-        // omitted version is accepted. Older versions are rejected.
-        this.#requireVersion(criterion, type, condition, 'xpath-31');
-        return this.#xpath.evaluate(condition, this.#resolveContext(criterion, type, resolve));
-      default:
-        throw new _CriterionError.default(`Unknown criterion type "${type}"`, {
-          condition,
-          type,
-          reason: 'unknown-type'
-        });
+    let met;
+    try {
+      switch (type) {
+        case 'simple':
+          met = this.#simple.evaluate(condition, resolve);
+          break;
+        case 'regex':
+          met = this.#regex.evaluate(condition, this.#resolveContext(criterion, type, resolve));
+          break;
+        case 'jsonpath':
+          // only rfc9535 is supported, Arazzo 1.1.0's default, so an omitted
+          // version is accepted. draft-goessner has different semantics and is
+          // rejected rather than mis-evaluated.
+          this.#requireVersion(criterion, type, condition, 'rfc9535');
+          met = this.#jsonpath.evaluate(condition, this.#resolveContext(criterion, type, resolve));
+          break;
+        case 'xpath':
+          // only XPath 3.1 is supported; xpath-31 is Arazzo 1.1.0's default, so
+          // an omitted version is accepted. Older versions are rejected.
+          this.#requireVersion(criterion, type, condition, 'xpath-31');
+          met = this.#xpath.evaluate(condition, this.#resolveContext(criterion, type, resolve));
+          break;
+        default:
+          throw new _CriterionError.default(`Unknown criterion type "${type}"`, {
+            condition,
+            type,
+            reason: _CriterionErrorReason.default.UnknownType
+          });
+      }
+    } catch (error) {
+      // Arazzo 1.1.0: a condition that cannot be evaluated MUST evaluate to fail.
+      // The structural checks throw a plain CriterionError and still propagate.
+      if (error instanceof _CriterionEvaluationError.default) return {
+        met: false,
+        error
+      };
+      throw error;
     }
+    return {
+      met
+    };
   }
 
   /**
@@ -128,15 +173,15 @@ class CriterionEvaluator {
     }
     if ((0, _apidomDatamodel.isStringElement)(type)) return (0, _apidomCore.toValue)(type);
     throw new _CriterionError.default('Criterion has an invalid "type"', {
-      reason: 'invalid-type'
+      reason: _CriterionErrorReason.default.InvalidType
     });
   }
 
   /**
    * Extracts the expression `version` from a Criterion Expression Type Object,
    * or `undefined` when no version is declared (a bare-string `type`, or a type
-   * object without a `version`) — in which case the spec default for the type
-   * applies. A `version` that is present but not a string is malformed and
+   * object without a `version`) — in which case Arazzo 1.1.0's default for the
+   * type applies. A `version` that is present but not a string is malformed and
    * throws a {@link CriterionError} rather than silently defaulting.
    */
   #resolveVersion(criterion) {
@@ -148,13 +193,13 @@ class CriterionEvaluator {
       return (0, _apidomCore.toValue)(type.version);
     }
     throw new _CriterionError.default('Criterion has an invalid expression type "version"', {
-      reason: 'invalid-version'
+      reason: _CriterionErrorReason.default.InvalidVersion
     });
   }
 
   /**
    * Enforces that a versioned condition type declares only the one version this
-   * runner supports. An omitted version is accepted (it is the spec default);
+   * runner supports. An omitted version is accepted (Arazzo 1.1.0's default);
    * any other declared version throws a {@link CriterionError}.
    */
   #requireVersion(criterion, type, condition, supported) {
@@ -163,7 +208,7 @@ class CriterionEvaluator {
       throw new _CriterionError.default(`Unsupported ${type} version "${version}" (only ${supported})`, {
         condition,
         type,
-        reason: 'unsupported-version'
+        reason: _CriterionErrorReason.default.UnsupportedVersion
       });
     }
   }
@@ -181,7 +226,7 @@ class CriterionEvaluator {
     if (!(0, _apidomDatamodel.isStringElement)(context) || !(0, _arazzoRuntimeExpression.test)((0, _apidomCore.toValue)(context))) {
       throw new _CriterionError.default('Criterion has a "context" that is not a valid runtime expression', {
         type,
-        reason: 'invalid-context'
+        reason: _CriterionErrorReason.default.InvalidContext
       });
     }
   }
@@ -196,7 +241,7 @@ class CriterionEvaluator {
     if (!(0, _apidomDatamodel.isStringElement)(criterion.context)) {
       throw new _CriterionError.default(`Criterion type "${type}" requires a "context"`, {
         type,
-        reason: 'missing-context'
+        reason: _CriterionErrorReason.default.MissingContext
       });
     }
     return resolve((0, _apidomCore.toValue)(criterion.context));

package/src/criterion/CriterionEvaluator.mjs

@@ -3,6 +3,8 @@ import { isStringElement } from '@speclynx/apidom-datamodel';
 import { isCriterionElement, isCriterionExpressionTypeElement } from '@speclynx/apidom-ns-arazzo-1';
 import { test as isRuntimeExpression } from '@swaggerexpert/arazzo-runtime-expression';
 import CriterionError from "../errors/CriterionError.mjs";
+import CriterionEvaluationError from "../errors/CriterionEvaluationError.mjs";
+import CriterionErrorReason from "./CriterionErrorReason.mjs";
 import RegexCriterionEvaluator from "./RegexCriterionEvaluator.mjs";
 import SimpleCriterionEvaluator from "./SimpleCriterionEvaluator.mjs";
 import JSONPathCriterionEvaluator from "./JSONPathCriterionEvaluator.mjs";
@@ -18,12 +20,20 @@ import XPathCriterionEvaluator from "./XPathCriterionEvaluator.mjs";
  * lenient evaluator).
  * @public
  */
+/**
+ * The outcome of evaluating one criterion.
+ * @public
+ */
 /**
  * Options for the CriterionEvaluator.
+ *
+ * An injected evaluator signals a condition it cannot evaluate by throwing a
+ * {@link CriterionEvaluationError}, which fails the criterion; any other error
+ * it throws, a plain {@link CriterionError} included, propagates.
  * @public
  */
 /**
- * Evaluates an Arazzo Criterion Object to a boolean.
+ * Evaluates an Arazzo Criterion Object to a {@link CriterionOutcome}.
  *
  * Dispatches on the criterion's `type` (defaulting to `simple` when omitted):
  * - `simple` — evaluates the condition directly, resolving the runtime
@@ -32,12 +42,27 @@ import XPathCriterionEvaluator from "./XPathCriterionEvaluator.mjs";
  *   pattern to the resolved value.
  * - `jsonpath` — resolves the `context` runtime expression, then applies the
  *   JSONPath query to the resolved value (met when the query matches). Only the
- *   `rfc9535` version is supported (the spec default); an explicit other version
- *   throws.
+ *   `rfc9535` version is supported; an explicit other version throws.
  * - `xpath` — resolves the `context` runtime expression, then applies the XPath
  *   3.1 query to the resolved XML value (met by the Effective Boolean Value).
- *   Only the `xpath-31` version is supported (the spec default); an explicit
- *   other version throws.
+ *   Only the `xpath-31` version is supported; an explicit other version throws.
+ *
+ * Versions follow Arazzo 1.1.0's Expression Type Object: `rfc9535` and
+ * `xpath-31` are allowed values, and an omitted `version` defaults to them.
+ * Arazzo 1.0.x lists neither and requires `version`; this evaluator applies
+ * the 1.1.0 rule to every document, which accepts more but never evaluates a
+ * query under the wrong dialect.
+ *
+ * A condition that cannot be evaluated fails the criterion (`met: false`), as
+ * Arazzo 1.1.0 requires: a syntax error in the condition, a context the
+ * condition cannot apply to (non-XML data for `xpath`), or an XPath evaluation
+ * error. The type-specific evaluators report these as a
+ * {@link CriterionEvaluationError}, which this facade returns as the
+ * outcome's `error` so the caller can report it; any other error they raise
+ * propagates. A criterion that is malformed as written still throws: a
+ * missing `condition`, an unknown or unreadable `type`, an unsupported
+ * expression `version`, or a `context` that is missing or not a runtime
+ * expression.
  *
  * The evaluator is agnostic about how runtime expressions are resolved: the
  * caller supplies a {@link CriterionContextResolver} per evaluation, keeping
@@ -58,7 +83,8 @@ class CriterionEvaluator {
   }
 
   /**
-   * Evaluates a criterion element, returning whether the condition is met.
+   * Evaluates a criterion element, returning whether the condition is met and,
+   * when it cannot be evaluated, why.
    *
    * `resolve` turns a runtime expression into a value: for `simple` it resolves
    * the expressions embedded in the condition; for the other types it resolves
@@ -67,7 +93,7 @@ class CriterionEvaluator {
   evaluate(criterion, resolve) {
     if (!isCriterionElement(criterion)) {
       throw new CriterionError('Element is not a Criterion Object', {
-        reason: 'invalid-criterion'
+        reason: CriterionErrorReason.InvalidCriterion
       });
     }
     const condition = isStringElement(criterion.condition) ? toValue(criterion.condition) : undefined;
@@ -75,34 +101,52 @@ class CriterionEvaluator {
     // (e.g. an empty regex would match unconditionally), so reject it too.
     if (condition === undefined || condition === '') {
       throw new CriterionError('Criterion is missing a "condition"', {
-        reason: 'missing-condition'
+        reason: CriterionErrorReason.MissingCondition
       });
     }
     const type = this.#resolveType(criterion);
     this.#requireValidContext(criterion, type);
-    switch (type) {
-      case 'simple':
-        return this.#simple.evaluate(condition, resolve);
-      case 'regex':
-        return this.#regex.evaluate(condition, this.#resolveContext(criterion, type, resolve));
-      case 'jsonpath':
-        // only rfc9535 is supported; it is the spec default, so an omitted
-        // version is accepted. draft-goessner has different semantics and is
-        // rejected rather than mis-evaluated.
-        this.#requireVersion(criterion, type, condition, 'rfc9535');
-        return this.#jsonpath.evaluate(condition, this.#resolveContext(criterion, type, resolve));
-      case 'xpath':
-        // only XPath 3.1 is supported; xpath-31 is the spec default, so an
-        // omitted version is accepted. Older versions are rejected.
-        this.#requireVersion(criterion, type, condition, 'xpath-31');
-        return this.#xpath.evaluate(condition, this.#resolveContext(criterion, type, resolve));
-      default:
-        throw new CriterionError(`Unknown criterion type "${type}"`, {
-          condition,
-          type,
-          reason: 'unknown-type'
-        });
+    let met;
+    try {
+      switch (type) {
+        case 'simple':
+          met = this.#simple.evaluate(condition, resolve);
+          break;
+        case 'regex':
+          met = this.#regex.evaluate(condition, this.#resolveContext(criterion, type, resolve));
+          break;
+        case 'jsonpath':
+          // only rfc9535 is supported, Arazzo 1.1.0's default, so an omitted
+          // version is accepted. draft-goessner has different semantics and is
+          // rejected rather than mis-evaluated.
+          this.#requireVersion(criterion, type, condition, 'rfc9535');
+          met = this.#jsonpath.evaluate(condition, this.#resolveContext(criterion, type, resolve));
+          break;
+        case 'xpath':
+          // only XPath 3.1 is supported; xpath-31 is Arazzo 1.1.0's default, so
+          // an omitted version is accepted. Older versions are rejected.
+          this.#requireVersion(criterion, type, condition, 'xpath-31');
+          met = this.#xpath.evaluate(condition, this.#resolveContext(criterion, type, resolve));
+          break;
+        default:
+          throw new CriterionError(`Unknown criterion type "${type}"`, {
+            condition,
+            type,
+            reason: CriterionErrorReason.UnknownType
+          });
+      }
+    } catch (error) {
+      // Arazzo 1.1.0: a condition that cannot be evaluated MUST evaluate to fail.
+      // The structural checks throw a plain CriterionError and still propagate.
+      if (error instanceof CriterionEvaluationError) return {
+        met: false,
+        error
+      };
+      throw error;
     }
+    return {
+      met
+    };
   }
 
   /**
@@ -119,15 +163,15 @@ class CriterionEvaluator {
     }
     if (isStringElement(type)) return toValue(type);
     throw new CriterionError('Criterion has an invalid "type"', {
-      reason: 'invalid-type'
+      reason: CriterionErrorReason.InvalidType
     });
   }
 
   /**
    * Extracts the expression `version` from a Criterion Expression Type Object,
    * or `undefined` when no version is declared (a bare-string `type`, or a type
-   * object without a `version`) — in which case the spec default for the type
-   * applies. A `version` that is present but not a string is malformed and
+   * object without a `version`) — in which case Arazzo 1.1.0's default for the
+   * type applies. A `version` that is present but not a string is malformed and
    * throws a {@link CriterionError} rather than silently defaulting.
    */
   #resolveVersion(criterion) {
@@ -139,13 +183,13 @@ class CriterionEvaluator {
       return toValue(type.version);
     }
     throw new CriterionError('Criterion has an invalid expression type "version"', {
-      reason: 'invalid-version'
+      reason: CriterionErrorReason.InvalidVersion
     });
   }
 
   /**
    * Enforces that a versioned condition type declares only the one version this
-   * runner supports. An omitted version is accepted (it is the spec default);
+   * runner supports. An omitted version is accepted (Arazzo 1.1.0's default);
    * any other declared version throws a {@link CriterionError}.
    */
   #requireVersion(criterion, type, condition, supported) {
@@ -154,7 +198,7 @@ class CriterionEvaluator {
       throw new CriterionError(`Unsupported ${type} version "${version}" (only ${supported})`, {
         condition,
         type,
-        reason: 'unsupported-version'
+        reason: CriterionErrorReason.UnsupportedVersion
       });
     }
   }
@@ -172,7 +216,7 @@ class CriterionEvaluator {
     if (!isStringElement(context) || !isRuntimeExpression(toValue(context))) {
       throw new CriterionError('Criterion has a "context" that is not a valid runtime expression', {
         type,
-        reason: 'invalid-context'
+        reason: CriterionErrorReason.InvalidContext
       });
     }
   }
@@ -187,7 +231,7 @@ class CriterionEvaluator {
     if (!isStringElement(criterion.context)) {
       throw new CriterionError(`Criterion type "${type}" requires a "context"`, {
         type,
-        reason: 'missing-context'
+        reason: CriterionErrorReason.MissingContext
       });
     }
     return resolve(toValue(criterion.context));