@speclynx/apidom-ls 2.11.6 → 2.12.0

package/src/config/config.mjs

@@ -1,6 +1,5 @@
 import configAsyncAPI from "./asyncapi/config.mjs";
 import configOpenAPI from "./openapi/config.mjs";
-import configADS from "./ads/config.mjs";
 import configJSONSchema202012 from "./json-schema/2020-12/config.mjs";
 import configArazzo from "./arazzo/config.mjs";
 import configOverlay from "./overlay/config.mjs";
@@ -16,7 +15,6 @@ export function config() {
     metadataMaps: {
       openapi: configOpenAPI,
       asyncapi: configAsyncAPI,
-      ads: configADS,
       arazzo: configArazzo,
       overlay: configOverlay,
       'json-schema-2020-12': configJSONSchema202012

package/src/config/openapi/schema/lint.cjs

@@ -86,7 +86,11 @@ var _writeOnlyType = _interopRequireDefault(require("../../common/schema/lint/wr
 var _exampleDeprecated = _interopRequireDefault(require("../../common/schema/lint/example--deprecated.cjs"));
 var _typeArrayNonItems = _interopRequireDefault(require("../../common/schema/lint/type--array-non-items.cjs"));
 var _targetSpecs2 = require("../target-specs.cjs");
-// below are older rule variants that need to be replaced
+// below are older rule variants that need to be replaced.
+// $id and $ref are deliberately absent: the composed JSON Schema 2020-12 rules
+// above already cover them (codes 8030100 / 8030300). importing the
+// common/schema equivalents ($id--format-uri, $ref--valid) adds functionally
+// identical rules and yields duplicate diagnostics on the same range.
 
 const schemaLints = [...(0, _targetSpecs.compose)([_lint.default], (0, _targetSpecs.assoc)(_targetSpecs2.OpenAPI31)), _additionalItemsNonArray.default, _additionalItemsType.default, _additionalItemsTypeOpenapi31Asyncapi.default, _additionalPropertiesNonObject.default, _additionalPropertiesType.default, _allOfType.default, _allOfTypeOpenapi31Asyncapi.default, _anyOfTypeOpenapi31Asyncapi.default, _anyOfType.default, _containsNonArray.default, _containsType.default, _containsTypeOpenapi31Asyncapi.default, _descriptionType.default, _discriminatorExistInRequired.default, _discriminatorTypeOpenapi.default, _elseNonIf.default, _elseType.default, _enumUnique.default, _examplesType.default, _exclusiveMaximumTypeNumber.default, _exclusiveMaximumTypeBoolean.default, _exclusiveMinimumTypeNumber.default, _exclusiveMinimumTypeBoolean.default, _xmlType.default, _externalDocsType.default, _formatType.default, _ifNonThen.default, _ifType.default, _itemsNonArray.default, _itemsType.default, _maxItemsNonArray.default, _maxItemsType.default, _maxLengthNonString.default, _maxLengthType.default, _maxPropertiesNonObject.default, _maxPropertiesType.default, _maximumType.default, _minItemsNonArray.default, _minItemsType.default, _minLengthNonString.default, _minLengthType.default, _minPropertiesNonObject.default, _minPropertiesType.default, _minimumType.default, _missingCoreFieldsOpenapi.default, _multipleOfType.default, _notType.default, _notTypeOpenapi31Asyncapi.default, _nullableType.default, _nullableNotRecommended.default, _oneOfType.default, _oneOfTypeOpenapi31Asyncapi.default, _patternType.default, _patternPropertiesKeysRegexp.default, _patternPropertiesNonObject.default, _patternPropertiesType.default, _patternPropertiesValuesType.default, _propertiesNonObject.default, _propertiesType.default, _propertiesValuesType.default, _propertiesValuesTypeOpenapi31Asyncapi.default, _propertyNamesNonObject.default, _propertyNamesType.default, _readOnlyType.default, _requiredDefined.default, _requiredNonObject.default, _requiredType.default, _thenNonIf.default, _thenType.default, _titleType.default, _typeType.default, _typeEquals.default, _typeEqualsOpenapi31Asyncapi.default, _uniqueItemsNonArray.default, _uniqueItemsType.default, _writeOnlyType.default, _exampleDeprecated.default, _typeArrayNonItems.default];
 var _default = exports.default = schemaLints;

package/src/config/openapi/schema/lint.mjs

@@ -1,5 +1,9 @@
 import jsonSchema202012Lint from "../../json-schema/2020-12/json-schema/lint.mjs";
-import { compose, assoc } from "../../json-schema/2020-12/target-specs.mjs"; // below are older rule variants that need to be replaced
+import { compose, assoc } from "../../json-schema/2020-12/target-specs.mjs"; // below are older rule variants that need to be replaced.
+// $id and $ref are deliberately absent: the composed JSON Schema 2020-12 rules
+// above already cover them (codes 8030100 / 8030300). importing the
+// common/schema equivalents ($id--format-uri, $ref--valid) adds functionally
+// identical rules and yields duplicate diagnostics on the same range.
 import additionalItemsNonArrayLint from "../../common/schema/lint/additional-items--non-array.mjs";
 import additionalItemsTypeLint from "../../common/schema/lint/additional-items--type.mjs";
 import additionalItemsTypeOpenAPI3_1__AsyncAPI2Lint from "../../common/schema/lint/additional-items--type-openapi-3-1--asyncapi-2.mjs";

package/src/config/symbols.cjs

@@ -5,9 +5,8 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 exports.default = void 0;
-var _symbols = _interopRequireDefault(require("./ads/symbols.cjs"));
-var _symbols2 = _interopRequireDefault(require("./asyncapi/symbols.cjs"));
-var _symbols3 = _interopRequireDefault(require("./openapi/symbols.cjs"));
+var _symbols = _interopRequireDefault(require("./asyncapi/symbols.cjs"));
+var _symbols2 = _interopRequireDefault(require("./openapi/symbols.cjs"));
 // creating list of unique symbols
-const symbols = Array.from(new Set([..._symbols.default, ..._symbols2.default, ..._symbols3.default]));
+const symbols = Array.from(new Set([..._symbols.default, ..._symbols2.default]));
 var _default = exports.default = symbols;

package/src/config/symbols.mjs

@@ -1,5 +1,4 @@
-import adsSymbols from "./ads/symbols.mjs";
 import asyncapiSymbols from "./asyncapi/symbols.mjs";
 import openapiSymbols from "./openapi/symbols.mjs"; // creating list of unique symbols
-const symbols = Array.from(new Set([...adsSymbols, ...asyncapiSymbols, ...openapiSymbols]));
+const symbols = Array.from(new Set([...asyncapiSymbols, ...openapiSymbols]));
 export default symbols;

package/src/config/tokens.cjs

@@ -5,11 +5,10 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 exports.default = void 0;
-var _tokens = _interopRequireDefault(require("./ads/tokens.cjs"));
-var _tokens2 = _interopRequireDefault(require("./arazzo/tokens.cjs"));
-var _tokens3 = _interopRequireDefault(require("./asyncapi/tokens.cjs"));
-var _tokens4 = _interopRequireDefault(require("./openapi/tokens.cjs"));
-var _tokens5 = _interopRequireDefault(require("./overlay/tokens.cjs"));
+var _tokens = _interopRequireDefault(require("./arazzo/tokens.cjs"));
+var _tokens2 = _interopRequireDefault(require("./asyncapi/tokens.cjs"));
+var _tokens3 = _interopRequireDefault(require("./openapi/tokens.cjs"));
+var _tokens4 = _interopRequireDefault(require("./overlay/tokens.cjs"));
 // creating list of unique tokens
-const tokens = Array.from(new Set(['value', 'string', 'number', 'key', ..._tokens.default, ..._tokens3.default, ..._tokens4.default, ..._tokens2.default, ..._tokens5.default]));
+const tokens = Array.from(new Set(['value', 'string', 'number', 'key', ..._tokens2.default, ..._tokens3.default, ..._tokens.default, ..._tokens4.default]));
 var _default = exports.default = tokens;

package/src/config/tokens.mjs

@@ -1,7 +1,6 @@
-import adsTokens from "./ads/tokens.mjs";
 import arazzoTokens from "./arazzo/tokens.mjs";
 import asyncapiTokens from "./asyncapi/tokens.mjs";
 import openapiTokens from "./openapi/tokens.mjs";
 import overlayTokens from "./overlay/tokens.mjs"; // creating list of unique tokens
-const tokens = Array.from(new Set(['value', 'string', 'number', 'key', ...adsTokens, ...asyncapiTokens, ...openapiTokens, ...arazzoTokens, ...overlayTokens]));
+const tokens = Array.from(new Set(['value', 'string', 'number', 'key', ...asyncapiTokens, ...openapiTokens, ...arazzoTokens, ...overlayTokens]));
 export default tokens;

package/src/index.cjs

@@ -10,6 +10,12 @@ Object.defineProperty(exports, "ApilintCodes", {
     return _codes.default;
   }
 });
+Object.defineProperty(exports, "Arazzo11JsonSchemaValidationProvider", {
+  enumerable: true,
+  get: function () {
+    return _arazzo11JsonSchemaValidationProvider.Arazzo11JsonSchemaValidationProvider;
+  }
+});
 Object.defineProperty(exports, "Arazzo1JsonSchemaValidationProvider", {
   enumerable: true,
   get: function () {
@@ -279,6 +285,7 @@ var _openapi20JsonSchemaValidationProvider = require("./services/validation/prov
 var _openapi30JsonSchemaValidationProvider = require("./services/validation/providers/openapi-30-json-schema-validation-provider.cjs");
 var _openapi31JsonSchemaValidationProvider = require("./services/validation/providers/openapi-31-json-schema-validation-provider.cjs");
 var _arazzo1JsonSchemaValidationProvider = require("./services/validation/providers/arazzo-1-json-schema-validation-provider.cjs");
+var _arazzo11JsonSchemaValidationProvider = require("./services/validation/providers/arazzo-11-json-schema-validation-provider.cjs");
 var _overlay1JsonSchemaValidationProvider = require("./services/validation/providers/overlay-1-json-schema-validation-provider.cjs");
 var _codes = _interopRequireDefault(require("./config/codes.cjs"));
 var _utils = require("./utils/utils.cjs");

package/src/index.mjs

@@ -3,6 +3,7 @@ export { OpenAPi20JsonSchemaValidationProvider } from "./services/validation/pro
 export { OpenAPi30JsonSchemaValidationProvider } from "./services/validation/providers/openapi-30-json-schema-validation-provider.mjs";
 export { OpenAPi31JsonSchemaValidationProvider } from "./services/validation/providers/openapi-31-json-schema-validation-provider.mjs";
 export { Arazzo1JsonSchemaValidationProvider } from "./services/validation/providers/arazzo-1-json-schema-validation-provider.mjs";
+export { Arazzo11JsonSchemaValidationProvider } from "./services/validation/providers/arazzo-11-json-schema-validation-provider.mjs";
 export { Overlay1JsonSchemaValidationProvider } from "./services/validation/providers/overlay-1-json-schema-validation-provider.mjs";
 export { default as ApilintCodes } from "./config/codes.mjs";
 export { perfStart, perfEnd, isJsonDoc, isJsonDocSync, isYamlDoc, getText, findNamespace } from "./utils/utils.mjs";

package/src/services/completion/completion-service.cjs

@@ -851,7 +851,7 @@ class DefaultCompletionService {
         let func = _linterFunctions.standardLinterfunctionsMap.get(funcName);
         // else get it from configuration
         if (!func) {
-          func = this.settings?.metadata?.linterFunctions[docNs][funcName];
+          func = this.settings?.metadata?.linterFunctions?.[docNs]?.[funcName];
         }
         if (func) {
           try {

package/src/services/completion/completion-service.mjs

@@ -845,7 +845,7 @@ export class DefaultCompletionService {
         let func = standardLinterfunctionsMap.get(funcName);
         // else get it from configuration
         if (!func) {
-          func = this.settings?.metadata?.linterFunctions[docNs][funcName];
+          func = this.settings?.metadata?.linterFunctions?.[docNs]?.[funcName];
         }
         if (func) {
           try {

package/src/services/hover/hover-service.cjs

@@ -262,7 +262,7 @@ class DefaultHoverService {
     return res;
   }
   getMetadataPropertyDocs(node, ns, key, specVersion) {
-    const map = this.settings?.metadata?.metadataMaps[ns] || {};
+    const map = this.settings?.metadata?.metadataMaps?.[ns] || {};
     if (node.parent && (0, _utils.isMember)(node.parent)) {
       const containerNode = node.parent.parent;
       const nodeKey = (0, _apidomCore.toValue)(node.parent.key);

package/src/services/hover/hover-service.mjs

@@ -256,7 +256,7 @@ export class DefaultHoverService {
     return res;
   }
   getMetadataPropertyDocs(node, ns, key, specVersion) {
-    const map = this.settings?.metadata?.metadataMaps[ns] || {};
+    const map = this.settings?.metadata?.metadataMaps?.[ns] || {};
     if (node.parent && isMember(node.parent)) {
       const containerNode = node.parent.parent;
       const nodeKey = toValue(node.parent.key);

package/src/services/validation/linter-functions.cjs

@@ -132,6 +132,47 @@ const casing = (value, casingStyle, noNumbers, separatorChar, separatorAsFirstCh
   }
   return getCachedRegex(pattern).test(value);
 };
+
+/**
+ * Looks up a Source Description Object by `name` and returns its declared `type`, or `undefined`
+ * when the source doesn't exist locally or omits `type` (it's optional per spec).
+ */
+const resolveArazzoSourceDescriptionType = (api, sourceName) => {
+  const sourceDescriptions = getElementsByTypeOrClass(api, 'sourceDescription');
+  const matchingSource = sourceDescriptions.find(sd => (0, _utils.isObject)(sd) && sd.hasKey('name') && (0, _apidomCore.toValue)(sd.get('name')) === sourceName);
+  if (!matchingSource || !(0, _utils.isObject)(matchingSource) || !matchingSource.hasKey('type')) {
+    return undefined;
+  }
+  const declaredType = (0, _apidomCore.toValue)(matchingSource.get('type'));
+  return typeof declaredType === 'string' ? declaredType : undefined;
+};
+
+/**
+ * Shared by apilintArazzoSourceDescriptionTypeConsistency and its array variant. Non-string,
+ * non-`$sourceDescriptions.`-prefixed, or unparseable values are treated as "not this check's
+ * concern" (true) - other rules cover type/shape. Explicitly checks `=== undefined` rather than
+ * a falsy check, so a source with `type: ''` (already invalid on its own) doesn't get treated the
+ * same as a source that simply omits `type`.
+ */
+const isArazzoSourceDescriptionTypeConsistent = (value, expectedTypes, api) => {
+  if (typeof value !== 'string' || !value.startsWith('$sourceDescriptions.')) return true;
+  const {
+    result,
+    tree
+  } = (0, _arazzoRuntimeExpression.parse)(value);
+  if (!result.success || !tree || tree.type !== 'SourceDescriptionsExpression') return true;
+  const declaredType = resolveArazzoSourceDescriptionType(api, tree.sourceName);
+  if (declaredType === undefined) return true;
+  return expectedTypes.includes(declaredType);
+};
+
+/**
+ * Shared by apilintArazzoWorkflowIdResolved and apilintArazzoStepDependsOnResolved: finds a
+ * `workflow` element by its `workflowId` field within an already-collected list of workflows.
+ * Takes the list rather than `api` so callers that check multiple ids (e.g. across a `dependsOn`
+ * array) can collect it once and reuse it, instead of re-walking the tree per id.
+ */
+const findArazzoWorkflowByWorkflowId = (workflows, workflowId) => workflows.find(w => (0, _utils.isObject)(w) && w.hasKey('workflowId') && (0, _apidomCore.toValue)(w.get('workflowId')) === workflowId);
 const isType = (element, elementType) => {
   switch (elementType) {
     case 'object':
@@ -454,6 +495,22 @@ const standardLinterfunctions = exports.standardLinterfunctions = [{
     }
     return true;
   }
+}, {
+  functionName: 'apilintChildrenOfTypeOrElementClass',
+  function: (element, type, elementsOrClasses, nonEmpty) => {
+    if (element && (0, _utils.isObject)(element)) {
+      for (const member of element) {
+        const value = member.value;
+        if (!isType(value, type) && !apilintElementOrClass(value, elementsOrClasses)) {
+          return false;
+        }
+      }
+      if (nonEmpty && element.length === 0) {
+        return false;
+      }
+    }
+    return true;
+  }
 }, {
   functionName: 'apilintKeyIsRegex',
   function: element => {
@@ -589,6 +646,72 @@ const standardLinterfunctions = exports.standardLinterfunctions = [{
     }
     return true;
   }
+}, {
+  functionName: 'apilintArazzoStepDependsOnResolved',
+  function: element => {
+    // `element` is expected to be the step object (no `target` set), so its parent is the
+    // `steps` array of the workflow it belongs to. Unlike workflowId, stepId is only unique
+    // within a workflow, so a plain entry must resolve against that workflow's own steps
+    // rather than a document-wide search.
+    //
+    // `$workflows.<workflowId>.steps.<stepId>` and the `$sourceDescriptions.<name>.<reference>`
+    // form's optional `stepsReference` are both parsed by
+    // @swaggerexpert/arazzo-runtime-expression >=3.2.0, which added grammar support for exactly
+    // this dependsOn-specific syntax (previously `$workflows.` rejected it outright, and
+    // `$sourceDescriptions.` only saw it as an opaque string). Parsing is left entirely to the
+    // grammar here rather than re-implemented locally, so this always matches whatever that
+    // shared parser considers valid - including its documented limitation that a workflowId
+    // containing a literal dot won't be recognized (its `workflow-id` production is
+    // `identifier-strict`, which excludes dots). Only document-local existence resolution
+    // happens here; a `$sourceDescriptions.` reference stays unresolved beyond its shape, since
+    // it points at an external document.
+    if (!element || !(0, _utils.isObject)(element) || !element.hasKey('dependsOn')) return true;
+    const dependsOn = element.get('dependsOn');
+    if (!dependsOn || !(0, _utils.isArray)(dependsOn)) return true;
+    const steps = element.parent;
+    if (!steps || !(0, _utils.isArray)(steps)) return true;
+    // Excludes the current step itself: a step depending on its own stepId is never
+    // meaningful, and would otherwise silently "resolve" since it's a member of its own
+    // `steps` sibling array.
+    const stepIds = new Set(steps.filter(s => s !== element && (0, _utils.isObject)(s) && s.hasKey('stepId')).map(s => (0, _apidomCore.toValue)(s.get('stepId'))));
+    let workflows;
+    const resolvesToWorkflowStep = (workflowId, stepId) => {
+      workflows ??= getElementsByTypeOrClass(root(element), 'workflow');
+      const targetWorkflow = findArazzoWorkflowByWorkflowId(workflows, workflowId);
+      if (!targetWorkflow || !(0, _utils.isObject)(targetWorkflow) || !targetWorkflow.hasKey('steps')) {
+        return false;
+      }
+      const targetSteps = targetWorkflow.get('steps');
+      if (!targetSteps || !(0, _utils.isArray)(targetSteps)) return false;
+      const targetStepIds = targetSteps.filter(s => (0, _utils.isObject)(s) && s.hasKey('stepId')).map(s => (0, _apidomCore.toValue)(s.get('stepId')));
+      return targetStepIds.includes(stepId);
+    };
+    for (const item of dependsOn) {
+      const val = (0, _apidomCore.toValue)(item);
+      if (typeof val !== 'string') continue;
+      if (val.startsWith('$workflows.')) {
+        const {
+          result,
+          tree
+        } = (0, _arazzoRuntimeExpression.parse)(val);
+        if (!result.success || !tree || tree.type !== 'WorkflowsStepsExpression') return false;
+        if (!resolvesToWorkflowStep(tree.workflowId, tree.stepId)) return false;
+      } else if (val.startsWith('$sourceDescriptions.')) {
+        const {
+          result,
+          tree
+        } = (0, _arazzoRuntimeExpression.parse)(val);
+        if (!result.success || !tree || tree.type !== 'SourceDescriptionsExpression' || !tree.stepsReference) {
+          return false;
+        }
+      } else if (val.startsWith('$')) {
+        return false;
+      } else if (!stepIds.has(val)) {
+        return false;
+      }
+    }
+    return true;
+  }
 }, {
   functionName: 'apilintArazzoWorkflowIdResolved',
   function: element => {
@@ -600,7 +723,33 @@ const standardLinterfunctions = exports.standardLinterfunctions = [{
     if (value.startsWith('$sourceDescriptions.')) return (0, _arazzoRuntimeExpression.test)(value);
     const api = root(element);
     const workflows = getElementsByTypeOrClass(api, 'workflow');
-    return workflows.some(w => (0, _utils.isObject)(w) && w.hasKey('workflowId') && (0, _apidomCore.toValue)(w.get('workflowId')) === value);
+    return findArazzoWorkflowByWorkflowId(workflows, value) !== undefined;
+  }
+}, {
+  functionName: 'apilintArazzoSourceDescriptionTypeConsistency',
+  function: (element, expectedTypes) => {
+    // Best-effort cross-check: a $sourceDescriptions.<name>.<reference> value should point at
+    // a source whose declared `type` matches how the reference is being used (e.g. a
+    // workflowId reference should point at a `type: arazzo` source, not `type: openapi`). Only
+    // fires when the named source exists locally AND declares a `type` - that field is
+    // optional per spec, so a source without one gives no local signal to check against, and
+    // is silently skipped rather than guessed at.
+    if (!element || !(0, _utils.isString)(element)) return true;
+    return isArazzoSourceDescriptionTypeConsistent((0, _apidomCore.toValue)(element), expectedTypes, root(element));
+  }
+}, {
+  functionName: 'apilintArazzoArraySourceDescriptionTypeConsistency',
+  function: (element, expectedTypes) => {
+    // Same check as apilintArazzoSourceDescriptionTypeConsistency, applied to each
+    // $sourceDescriptions.-prefixed string in an array (e.g. Workflow/Step `dependsOn`).
+    if (!element || !(0, _utils.isArray)(element)) return true;
+    const api = root(element);
+    for (const item of element) {
+      if (!isArazzoSourceDescriptionTypeConsistent((0, _apidomCore.toValue)(item), expectedTypes, api)) {
+        return false;
+      }
+    }
+    return true;
   }
 }, {
   functionName: 'apilintArazzoActionStepIdResolved',

package/src/services/validation/linter-functions.mjs

@@ -3,7 +3,7 @@ import { isStringElement, isArrayElement, includesClasses } from '@speclynx/apid
 import { forEach } from '@speclynx/apidom-traverse';
 import { toValue } from '@speclynx/apidom-core';
 import { test as testPathTemplate, resolve as resolvePathTemplate, parse as parsePathTemplate } from 'openapi-path-templating';
-import { test as testRuntimeExpression } from '@swaggerexpert/arazzo-runtime-expression';
+import { test as testRuntimeExpression, parse as parseRuntimeExpression } from '@swaggerexpert/arazzo-runtime-expression';
 import { isObject, isString, isArray, isNumber, isBoolean, isMember, processPath, getStringMetaValue, getClassesValue, getReferencedElementValue } from "../../utils/utils.mjs";
 const regexCache = new Map();
 const getCachedRegex = (pattern, flags) => {
@@ -122,6 +122,47 @@ const casing = (value, casingStyle, noNumbers, separatorChar, separatorAsFirstCh
   }
   return getCachedRegex(pattern).test(value);
 };
+
+/**
+ * Looks up a Source Description Object by `name` and returns its declared `type`, or `undefined`
+ * when the source doesn't exist locally or omits `type` (it's optional per spec).
+ */
+const resolveArazzoSourceDescriptionType = (api, sourceName) => {
+  const sourceDescriptions = getElementsByTypeOrClass(api, 'sourceDescription');
+  const matchingSource = sourceDescriptions.find(sd => isObject(sd) && sd.hasKey('name') && toValue(sd.get('name')) === sourceName);
+  if (!matchingSource || !isObject(matchingSource) || !matchingSource.hasKey('type')) {
+    return undefined;
+  }
+  const declaredType = toValue(matchingSource.get('type'));
+  return typeof declaredType === 'string' ? declaredType : undefined;
+};
+
+/**
+ * Shared by apilintArazzoSourceDescriptionTypeConsistency and its array variant. Non-string,
+ * non-`$sourceDescriptions.`-prefixed, or unparseable values are treated as "not this check's
+ * concern" (true) - other rules cover type/shape. Explicitly checks `=== undefined` rather than
+ * a falsy check, so a source with `type: ''` (already invalid on its own) doesn't get treated the
+ * same as a source that simply omits `type`.
+ */
+const isArazzoSourceDescriptionTypeConsistent = (value, expectedTypes, api) => {
+  if (typeof value !== 'string' || !value.startsWith('$sourceDescriptions.')) return true;
+  const {
+    result,
+    tree
+  } = parseRuntimeExpression(value);
+  if (!result.success || !tree || tree.type !== 'SourceDescriptionsExpression') return true;
+  const declaredType = resolveArazzoSourceDescriptionType(api, tree.sourceName);
+  if (declaredType === undefined) return true;
+  return expectedTypes.includes(declaredType);
+};
+
+/**
+ * Shared by apilintArazzoWorkflowIdResolved and apilintArazzoStepDependsOnResolved: finds a
+ * `workflow` element by its `workflowId` field within an already-collected list of workflows.
+ * Takes the list rather than `api` so callers that check multiple ids (e.g. across a `dependsOn`
+ * array) can collect it once and reuse it, instead of re-walking the tree per id.
+ */
+const findArazzoWorkflowByWorkflowId = (workflows, workflowId) => workflows.find(w => isObject(w) && w.hasKey('workflowId') && toValue(w.get('workflowId')) === workflowId);
 const isType = (element, elementType) => {
   switch (elementType) {
     case 'object':
@@ -444,6 +485,22 @@ export const standardLinterfunctions = [{
     }
     return true;
   }
+}, {
+  functionName: 'apilintChildrenOfTypeOrElementClass',
+  function: (element, type, elementsOrClasses, nonEmpty) => {
+    if (element && isObject(element)) {
+      for (const member of element) {
+        const value = member.value;
+        if (!isType(value, type) && !apilintElementOrClass(value, elementsOrClasses)) {
+          return false;
+        }
+      }
+      if (nonEmpty && element.length === 0) {
+        return false;
+      }
+    }
+    return true;
+  }
 }, {
   functionName: 'apilintKeyIsRegex',
   function: element => {
@@ -579,6 +636,72 @@ export const standardLinterfunctions = [{
     }
     return true;
   }
+}, {
+  functionName: 'apilintArazzoStepDependsOnResolved',
+  function: element => {
+    // `element` is expected to be the step object (no `target` set), so its parent is the
+    // `steps` array of the workflow it belongs to. Unlike workflowId, stepId is only unique
+    // within a workflow, so a plain entry must resolve against that workflow's own steps
+    // rather than a document-wide search.
+    //
+    // `$workflows.<workflowId>.steps.<stepId>` and the `$sourceDescriptions.<name>.<reference>`
+    // form's optional `stepsReference` are both parsed by
+    // @swaggerexpert/arazzo-runtime-expression >=3.2.0, which added grammar support for exactly
+    // this dependsOn-specific syntax (previously `$workflows.` rejected it outright, and
+    // `$sourceDescriptions.` only saw it as an opaque string). Parsing is left entirely to the
+    // grammar here rather than re-implemented locally, so this always matches whatever that
+    // shared parser considers valid - including its documented limitation that a workflowId
+    // containing a literal dot won't be recognized (its `workflow-id` production is
+    // `identifier-strict`, which excludes dots). Only document-local existence resolution
+    // happens here; a `$sourceDescriptions.` reference stays unresolved beyond its shape, since
+    // it points at an external document.
+    if (!element || !isObject(element) || !element.hasKey('dependsOn')) return true;
+    const dependsOn = element.get('dependsOn');
+    if (!dependsOn || !isArray(dependsOn)) return true;
+    const steps = element.parent;
+    if (!steps || !isArray(steps)) return true;
+    // Excludes the current step itself: a step depending on its own stepId is never
+    // meaningful, and would otherwise silently "resolve" since it's a member of its own
+    // `steps` sibling array.
+    const stepIds = new Set(steps.filter(s => s !== element && isObject(s) && s.hasKey('stepId')).map(s => toValue(s.get('stepId'))));
+    let workflows;
+    const resolvesToWorkflowStep = (workflowId, stepId) => {
+      workflows ??= getElementsByTypeOrClass(root(element), 'workflow');
+      const targetWorkflow = findArazzoWorkflowByWorkflowId(workflows, workflowId);
+      if (!targetWorkflow || !isObject(targetWorkflow) || !targetWorkflow.hasKey('steps')) {
+        return false;
+      }
+      const targetSteps = targetWorkflow.get('steps');
+      if (!targetSteps || !isArray(targetSteps)) return false;
+      const targetStepIds = targetSteps.filter(s => isObject(s) && s.hasKey('stepId')).map(s => toValue(s.get('stepId')));
+      return targetStepIds.includes(stepId);
+    };
+    for (const item of dependsOn) {
+      const val = toValue(item);
+      if (typeof val !== 'string') continue;
+      if (val.startsWith('$workflows.')) {
+        const {
+          result,
+          tree
+        } = parseRuntimeExpression(val);
+        if (!result.success || !tree || tree.type !== 'WorkflowsStepsExpression') return false;
+        if (!resolvesToWorkflowStep(tree.workflowId, tree.stepId)) return false;
+      } else if (val.startsWith('$sourceDescriptions.')) {
+        const {
+          result,
+          tree
+        } = parseRuntimeExpression(val);
+        if (!result.success || !tree || tree.type !== 'SourceDescriptionsExpression' || !tree.stepsReference) {
+          return false;
+        }
+      } else if (val.startsWith('$')) {
+        return false;
+      } else if (!stepIds.has(val)) {
+        return false;
+      }
+    }
+    return true;
+  }
 }, {
   functionName: 'apilintArazzoWorkflowIdResolved',
   function: element => {
@@ -590,7 +713,33 @@ export const standardLinterfunctions = [{
     if (value.startsWith('$sourceDescriptions.')) return testRuntimeExpression(value);
     const api = root(element);
     const workflows = getElementsByTypeOrClass(api, 'workflow');
-    return workflows.some(w => isObject(w) && w.hasKey('workflowId') && toValue(w.get('workflowId')) === value);
+    return findArazzoWorkflowByWorkflowId(workflows, value) !== undefined;
+  }
+}, {
+  functionName: 'apilintArazzoSourceDescriptionTypeConsistency',
+  function: (element, expectedTypes) => {
+    // Best-effort cross-check: a $sourceDescriptions.<name>.<reference> value should point at
+    // a source whose declared `type` matches how the reference is being used (e.g. a
+    // workflowId reference should point at a `type: arazzo` source, not `type: openapi`). Only
+    // fires when the named source exists locally AND declares a `type` - that field is
+    // optional per spec, so a source without one gives no local signal to check against, and
+    // is silently skipped rather than guessed at.
+    if (!element || !isString(element)) return true;
+    return isArazzoSourceDescriptionTypeConsistent(toValue(element), expectedTypes, root(element));
+  }
+}, {
+  functionName: 'apilintArazzoArraySourceDescriptionTypeConsistency',
+  function: (element, expectedTypes) => {
+    // Same check as apilintArazzoSourceDescriptionTypeConsistency, applied to each
+    // $sourceDescriptions.-prefixed string in an array (e.g. Workflow/Step `dependsOn`).
+    if (!element || !isArray(element)) return true;
+    const api = root(element);
+    for (const item of element) {
+      if (!isArazzoSourceDescriptionTypeConsistent(toValue(item), expectedTypes, api)) {
+        return false;
+      }
+    }
+    return true;
   }
 }, {
   functionName: 'apilintArazzoActionStepIdResolved',