@speclynx/apidom-reference 3.0.0 → 3.1.0

package/src/dereference/strategies/openapi-3-0/visitor.cjs

@@ -12,15 +12,13 @@ var _apidomError = require("@speclynx/apidom-error");
 var _apidomTraverse = require("@speclynx/apidom-traverse");
 var _apidomJsonPointer = require("@speclynx/apidom-json-pointer");
 var _apidomNsOpenapi = require("@speclynx/apidom-ns-openapi-3-0");
+var _UnresolvableReferenceError = _interopRequireDefault(require("../../../errors/UnresolvableReferenceError.cjs"));
 var _MaximumDereferenceDepthError = _interopRequireDefault(require("../../../errors/MaximumDereferenceDepthError.cjs"));
 var _MaximumResolveDepthError = _interopRequireDefault(require("../../../errors/MaximumResolveDepthError.cjs"));
 var url = _interopRequireWildcard(require("../../../util/url.cjs"));
 var _index = _interopRequireDefault(require("../../../parse/index.cjs"));
 var _Reference = _interopRequireDefault(require("../../../Reference.cjs"));
 var _util = require("../../util.cjs");
-// initialize element identity manager
-const identityManager = new _apidomCore.IdentityManager();
-
 /**
  * @public
  */
@@ -30,33 +28,45 @@ const identityManager = new _apidomCore.IdentityManager();
  */
 class OpenAPI3_0DereferenceVisitor {
   indirections;
-  namespace;
   reference;
   options;
-  ancestors;
   refractCache;
+
+  /**
+   * Tracks element ancestors across dive-deep traversal boundaries.
+   * Used for cycle detection: if a referenced element is found in
+   * the ancestor lineage, a circular reference is detected.
+   */
+  ancestors;
   constructor({
     reference,
-    namespace,
     options,
     indirections = [],
     ancestors = new _util.AncestorLineage(),
-    refractCache = new Map()
+    refractCache = new WeakMap()
   }) {
     this.indirections = indirections;
-    this.namespace = namespace;
     this.reference = reference;
     this.options = options;
     this.ancestors = new _util.AncestorLineage(...ancestors);
     this.refractCache = refractCache;
   }
+  toAncestorLineage(path) {
+    const ancestorNodes = path.getAncestorNodes();
+    const directAncestors = new Set(ancestorNodes.filter(_apidomDatamodel.isElement));
+    const ancestorsLineage = new _util.AncestorLineage(...this.ancestors, directAncestors);
+    return [ancestorsLineage, directAncestors];
+  }
   toBaseURI(uri) {
     return url.resolve(this.reference.uri, url.sanitize(url.stripHash(uri)));
   }
   async toReference(uri) {
     // detect maximum depth of resolution
     if (this.reference.depth >= this.options.resolve.maxDepth) {
-      throw new _MaximumResolveDepthError.default(`Maximum resolution depth of ${this.options.resolve.maxDepth} has been exceeded by file "${this.reference.uri}"`);
+      throw new _MaximumResolveDepthError.default(`Maximum resolution depth of ${this.options.resolve.maxDepth} has been exceeded by file "${this.reference.uri}"`, {
+        maxDepth: this.options.resolve.maxDepth,
+        uri: this.reference.uri
+      });
     }
     const baseURI = this.toBaseURI(uri);
     const {
@@ -76,9 +86,23 @@ class OpenAPI3_0DereferenceVisitor {
     });
 
     // register new mutable reference with a refSet
+    //
+    // NOTE(known limitation): the mutable reference is mutated in place during traversal
+    // (via `{ mutable: true }`). When an external document evaluates a JSON pointer back
+    // into this document, it may receive an already-resolved element instead of the original
+    // $ref. That resolved element was produced using the entry document's resolution context
+    // (ancestors, indirections), which may differ from the external document's context.
+    // This can affect cycle detection in rare cross-document circular reference patterns.
+    //
+    // Remediation: evaluate JSON pointers against the immutable (original) parse tree
+    // instead of the mutable working copy. The `immutable://` reference below preserves
+    // the original tree and could be used for pointer evaluation, ensuring every resolution
+    // context always sees raw, unresolved elements and processes them with its own
+    // ancestors/indirections. The trade-off is that elements referenced by multiple
+    // documents would be resolved once per context instead of being reused.
     const mutableReference = new _Reference.default({
       uri: baseURI,
-      value: (0, _apidomDatamodel.cloneDeep)(parseResult),
+      value: this.options.dereference.immutable ? (0, _apidomDatamodel.cloneDeep)(parseResult) : parseResult,
       depth: this.reference.depth + 1
     });
     refSet.add(mutableReference);
@@ -93,15 +117,77 @@ class OpenAPI3_0DereferenceVisitor {
     }
     return mutableReference;
   }
-  toAncestorLineage(path) {
-    /**
-     * Compute full ancestors lineage.
-     * Ancestors are flatten to unwrap all Element instances.
-     */
-    const ancestorNodes = path.getAncestorNodes();
-    const directAncestors = new Set(ancestorNodes.filter(_apidomDatamodel.isElement));
-    const ancestorsLineage = new _util.AncestorLineage(...this.ancestors, directAncestors);
-    return [ancestorsLineage, directAncestors];
+
+  /**
+   * Handles an error according to the continueOnError option.
+   *
+   * For new errors: wraps in UnresolvableReferenceError with structured context
+   * (type, uri, location, codeFrame, refFieldName, refFieldValue, trace).
+   * For errors already wrapped by a nested visitor: prepends the current hop to the trace.
+   *
+   * Inner/intermediate visitors always throw to let the trace accumulate.
+   * Only the entry document visitor respects continueOnError (callback/swallow/throw).
+   */
+  handleError(message, error, referencingElement, refFieldName, refFieldValue, visitorPath) {
+    const {
+      continueOnError
+    } = this.options.dereference;
+    const isEntryDocument = url.stripHash(this.reference.refSet?.rootRef?.uri ?? '') === this.reference.uri;
+    const uri = this.reference.uri;
+    const type = referencingElement.element;
+    const codeFrame = (0, _apidomCore.toYAML)(referencingElement);
+
+    // find element location: tree search for entry documents, visitor path for external
+    let location;
+    (0, _apidomTraverse.traverse)(this.reference.value.result, {
+      enter: p => {
+        if (p.node === referencingElement || this.refractCache.get(p.node) === referencingElement) {
+          location = p.formatPath();
+          p.stop();
+        }
+      }
+    });
+    location ??= visitorPath.formatPath();
+    const hop = {
+      uri,
+      type,
+      refFieldName,
+      refFieldValue,
+      location,
+      codeFrame
+    };
+
+    // enrich existing error from nested visitor or create new one
+    let unresolvedError;
+    if (error instanceof _UnresolvableReferenceError.default) {
+      // prefix relative locations for entries belonging to the referenced document
+      const refBaseURI = this.toBaseURI(refFieldValue);
+      const fragment = _apidomJsonPointer.URIFragmentIdentifier.fromURIReference(refFieldValue);
+      if (fragment) {
+        if (refBaseURI === error.uri && error.location) {
+          error.location = fragment + error.location;
+        }
+        for (const h of error.trace) {
+          if (h.uri === refBaseURI && h.location) h.location = fragment + h.location;
+        }
+      }
+      // @ts-ignore
+      error.trace = [hop, ...error.trace];
+      unresolvedError = error;
+    } else {
+      unresolvedError = new _UnresolvableReferenceError.default(message, {
+        cause: error,
+        type,
+        uri,
+        location,
+        codeFrame,
+        refFieldName,
+        refFieldValue,
+        trace: []
+      });
+    }
+    if (!isEntryDocument || continueOnError === false) throw unresolvedError;
+    if (typeof continueOnError === 'function') continueOnError(unresolvedError);
   }
   async ReferenceElement(path) {
     const referencingElement = path.node;
@@ -111,133 +197,139 @@ class OpenAPI3_0DereferenceVisitor {
       path.skip();
       return;
     }
-    const [ancestorsLineage, directAncestors] = this.toAncestorLineage(path);
     const retrievalURI = this.toBaseURI((0, _apidomCore.toValue)(referencingElement.$ref));
     const isInternalReference = url.stripHash(this.reference.uri) === retrievalURI;
     const isExternalReference = !isInternalReference;
 
     // ignore resolving internal Reference Objects
     if (!this.options.resolve.internal && isInternalReference) {
-      // skip traversing this reference element
+      // skip traversing this reference element and all it's child elements
       path.skip();
       return;
     }
     // ignore resolving external Reference Objects
     if (!this.options.resolve.external && isExternalReference) {
-      // skip traversing this reference element
+      // skip traversing this reference element and all it's child elements
       path.skip();
       return;
     }
-    const reference = await this.toReference((0, _apidomCore.toValue)(referencingElement.$ref));
     const $refBaseURI = url.resolve(retrievalURI, (0, _apidomCore.toValue)(referencingElement.$ref));
-    this.indirections.push(referencingElement);
-    const jsonPointer = _apidomJsonPointer.URIFragmentIdentifier.fromURIReference($refBaseURI);
+    try {
+      const reference = await this.toReference((0, _apidomCore.toValue)(referencingElement.$ref));
+      this.indirections.push(referencingElement);
+      const jsonPointer = _apidomJsonPointer.URIFragmentIdentifier.fromURIReference($refBaseURI);
 
-    // possibly non-semantic fragment
-    let referencedElement = (0, _apidomJsonPointer.evaluate)(reference.value.result, jsonPointer);
-    referencedElement.id = identityManager.identify(referencedElement);
+      // possibly non-semantic fragment
+      let referencedElement = (0, _apidomJsonPointer.evaluate)(reference.value.result, jsonPointer);
 
-    /**
-     * Applying semantics to a referenced element if semantics are missing.
-     */
-    if ((0, _apidomDatamodel.isPrimitiveElement)(referencedElement)) {
+      // applying semantics to a fragment
       const referencedElementType = referencingElement.meta.get('referenced-element');
-      const cacheKey = `${referencedElementType}-${identityManager.identify(referencedElement)}`;
-      if (this.refractCache.has(cacheKey)) {
-        referencedElement = this.refractCache.get(cacheKey);
-      } else if ((0, _apidomNsOpenapi.isReferenceLikeElement)(referencedElement)) {
-        // handling indirect references
-        referencedElement = (0, _apidomNsOpenapi.refractReference)(referencedElement);
-        referencedElement.meta.set('referenced-element', referencedElementType);
-        this.refractCache.set(cacheKey, referencedElement);
-      } else {
-        // handling direct references
-        referencedElement = (0, _apidomNsOpenapi.refract)(referencedElement, {
-          element: referencedElementType
+      if (referencedElement.element !== referencedElementType && !(0, _apidomNsOpenapi.isReferenceElement)(referencedElement)) {
+        if (this.refractCache.has(referencedElement)) {
+          referencedElement = this.refractCache.get(referencedElement);
+        } else if ((0, _apidomNsOpenapi.isReferenceLikeElement)(referencedElement)) {
+          // handling generic indirect references
+          const sourceElement = referencedElement;
+          referencedElement = (0, _apidomNsOpenapi.refractReference)(referencedElement);
+          referencedElement.meta.set('referenced-element', referencedElementType);
+          this.refractCache.set(sourceElement, referencedElement);
+        } else {
+          // handling direct references
+          const sourceElement = referencedElement;
+          referencedElement = (0, _apidomNsOpenapi.refract)(referencedElement, {
+            element: referencedElementType
+          });
+          this.refractCache.set(sourceElement, referencedElement);
+        }
+      }
+
+      // detect direct or indirect reference
+      if (referencingElement === referencedElement) {
+        throw new _apidomError.ApiDOMStructuredError('Recursive Reference Object detected', {
+          $ref: (0, _apidomCore.toValue)(referencingElement.$ref)
         });
-        this.refractCache.set(cacheKey, referencedElement);
       }
-    }
 
-    // detect direct or circular reference
-    if (referencingElement === referencedElement) {
-      throw new _apidomError.ApiDOMError('Recursive Reference Object detected');
-    }
+      // detect maximum depth of dereferencing
+      if (this.indirections.length > this.options.dereference.maxDepth) {
+        throw new _MaximumDereferenceDepthError.default(`Maximum dereference depth of "${this.options.dereference.maxDepth}" has been exceeded in file "${this.reference.uri}"`, {
+          maxDepth: this.options.dereference.maxDepth,
+          uri: this.reference.uri
+        });
+      }
 
-    // detect maximum depth of dereferencing
-    if (this.indirections.length > this.options.dereference.maxDepth) {
-      throw new _MaximumDereferenceDepthError.default(`Maximum dereference depth of "${this.options.dereference.maxDepth}" has been exceeded in file "${this.reference.uri}"`);
-    }
+      // detect second deep dive into the same fragment and avoid it
+      const [ancestorsLineage, directAncestors] = this.toAncestorLineage(path);
+      if (ancestorsLineage.includes(referencedElement)) {
+        reference.refSet.circular = true;
+        if (this.options.dereference.circular === 'error') {
+          throw new _apidomError.ApiDOMStructuredError('Circular reference detected', {
+            $ref: (0, _apidomCore.toValue)(referencingElement.$ref)
+          });
+        } else if (this.options.dereference.circular === 'replace') {
+          const refElement = new _apidomDatamodel.RefElement($refBaseURI, {
+            type: referencingElement.element,
+            uri: reference.uri,
+            $ref: (0, _apidomCore.toValue)(referencingElement.$ref)
+          });
+          const replacer = this.options.dereference.strategyOpts['openapi-3-0']?.circularReplacer ?? this.options.dereference.circularReplacer;
+          const replacement = replacer(refElement);
+          this.indirections.pop();
+          path.replaceWith(replacement);
+          return;
+        }
+      }
 
-    // detect second deep dive into the same fragment and avoid it
-    if (ancestorsLineage.includes(referencedElement)) {
-      reference.refSet.circular = true;
-      if (this.options.dereference.circular === 'error') {
-        throw new _apidomError.ApiDOMError('Circular reference detected');
-      } else if (this.options.dereference.circular === 'replace') {
-        const refElement = new _apidomDatamodel.RefElement(referencedElement.id, {
-          type: 'reference',
-          uri: reference.uri,
-          $ref: (0, _apidomCore.toValue)(referencingElement.$ref)
+      /**
+       * Dive deep into the fragment.
+       *
+       * Cases to consider:
+       *  1. We're crossing document boundary
+       *  2. Fragment is from non-entry document
+       *  3. Fragment is a Reference Object. We need to follow it to get the eventual value
+       *  4. We are dereferencing the fragment lazily/eagerly depending on circular mode
+       */
+      const isNonEntryDocument = url.stripHash(reference.refSet.rootRef.uri) !== reference.uri;
+      const shouldDetectCircular = ['error', 'replace'].includes(this.options.dereference.circular);
+      if ((isExternalReference || isNonEntryDocument || (0, _apidomNsOpenapi.isReferenceElement)(referencedElement) || shouldDetectCircular) && !ancestorsLineage.includesCycle(referencedElement)) {
+        // append referencing reference to ancestors lineage
+        directAncestors.add(referencingElement);
+        const visitor = new OpenAPI3_0DereferenceVisitor({
+          reference,
+          indirections: [...this.indirections],
+          options: this.options,
+          refractCache: this.refractCache,
+          ancestors: ancestorsLineage
         });
-        const replacer = this.options.dereference.strategyOpts['openapi-3-0']?.circularReplacer ?? this.options.dereference.circularReplacer;
-        const replacement = replacer(refElement);
-        this.indirections.pop();
-        path.replaceWith(replacement);
-        return;
+        referencedElement = await (0, _apidomTraverse.traverseAsync)(referencedElement, visitor, {
+          mutable: true
+        });
+
+        // remove referencing reference from ancestors lineage
+        directAncestors.delete(referencingElement);
       }
-    }
+      this.indirections.pop();
 
-    /**
-     * Dive deep into the fragment.
-     *
-     * Cases to consider:
-     *  1. We're crossing document boundary
-     *  2. Fragment is from non-entry document
-     *  3. Fragment is a Reference Object. We need to follow it to get the eventual value
-     *  4. We are dereferencing the fragment lazily/eagerly depending on circular mode
-     */
-    const isNonEntryDocument = url.stripHash(reference.refSet.rootRef.uri) !== reference.uri;
-    const shouldDetectCircular = ['error', 'replace'].includes(this.options.dereference.circular);
-    if ((isExternalReference || isNonEntryDocument || (0, _apidomNsOpenapi.isReferenceElement)(referencedElement) || shouldDetectCircular) && !ancestorsLineage.includesCycle(referencedElement)) {
-      // append referencing reference to ancestors lineage
-      directAncestors.add(referencingElement);
-      const visitor = new OpenAPI3_0DereferenceVisitor({
-        reference,
-        namespace: this.namespace,
-        indirections: [...this.indirections],
-        options: this.options,
-        refractCache: this.refractCache,
-        ancestors: ancestorsLineage
-      });
-      referencedElement = await (0, _apidomTraverse.traverseAsync)(referencedElement, visitor, {
-        mutable: true
+      /**
+       * Creating a new version of referenced element to avoid modifying the original one.
+       */
+      const mergedElement = (0, _apidomDatamodel.cloneShallow)(referencedElement);
+      // annotate referenced element with info about original referencing element
+      mergedElement.meta.set('ref-fields', {
+        $ref: (0, _apidomCore.toValue)(referencingElement.$ref)
       });
+      // annotate fragment with info about origin
+      mergedElement.meta.set('ref-origin', reference.uri);
+      mergedElement.meta.set('ref-type', referencingElement.element);
 
-      // remove referencing reference from ancestors lineage
-      directAncestors.delete(referencingElement);
+      /**
+       * Transclude referencing element with merged referenced element.
+       */
+      path.replaceWith(mergedElement);
+    } catch (error) {
+      const $ref = (0, _apidomCore.toValue)(referencingElement.$ref);
+      this.handleError(`Error while dereferencing Reference Object. Cannot resolve $ref "${$ref}": ${error.message}`, error, referencingElement, '$ref', $ref, path);
     }
-    this.indirections.pop();
-
-    /**
-     * Creating a new version of referenced element to avoid modifying the original one.
-     */
-    const mergedElement = (0, _apidomDatamodel.cloneShallow)(referencedElement);
-    // assign unique id to merged element
-    mergedElement.meta.set('id', identityManager.generateId());
-    // annotate referenced element with info about original referencing element
-    mergedElement.meta.set('ref-fields', {
-      $ref: (0, _apidomCore.toValue)(referencingElement.$ref)
-    });
-    // annotate fragment with info about origin
-    mergedElement.meta.set('ref-origin', reference.uri);
-    // annotate fragment with info about referencing element
-    mergedElement.meta.set('ref-referencing-element-id', identityManager.identify(referencingElement));
-
-    /**
-     * Transclude referencing element with merged referenced element.
-     */
-    path.replaceWith(mergedElement);
   }
   async PathItemElement(path) {
     const referencingElement = path.node;
@@ -252,7 +344,6 @@ class OpenAPI3_0DereferenceVisitor {
       path.skip();
       return;
     }
-    const [ancestorsLineage, directAncestors] = this.toAncestorLineage(path);
     const retrievalURI = this.toBaseURI((0, _apidomCore.toValue)(referencingElement.$ref));
     const isInternalReference = url.stripHash(this.reference.uri) === retrievalURI;
     const isExternalReference = !isInternalReference;
@@ -267,117 +358,123 @@ class OpenAPI3_0DereferenceVisitor {
       // skip traversing this Path Item element but traverse all it's child elements
       return;
     }
-    const reference = await this.toReference((0, _apidomCore.toValue)(referencingElement.$ref));
     const $refBaseURI = url.resolve(retrievalURI, (0, _apidomCore.toValue)(referencingElement.$ref));
-    this.indirections.push(referencingElement);
-    const jsonPointer = _apidomJsonPointer.URIFragmentIdentifier.fromURIReference($refBaseURI);
-
-    // possibly non-semantic referenced element
-    let referencedElement = (0, _apidomJsonPointer.evaluate)(reference.value.result, jsonPointer);
-    referencedElement.id = identityManager.identify(referencedElement);
-
-    /**
-     * Applying semantics to a referenced element if semantics are missing.
-     */
-    if (!(0, _apidomNsOpenapi.isPathItemElement)(referencedElement)) {
-      const cacheKey = `path-item-${identityManager.identify(referencedElement)}`;
-      if (this.refractCache.has(cacheKey)) {
-        referencedElement = this.refractCache.get(cacheKey);
-      } else {
-        referencedElement = (0, _apidomNsOpenapi.refractPathItem)(referencedElement);
-        this.refractCache.set(cacheKey, referencedElement);
-      }
-    }
+    try {
+      const reference = await this.toReference((0, _apidomCore.toValue)(referencingElement.$ref));
+      this.indirections.push(referencingElement);
+      const jsonPointer = _apidomJsonPointer.URIFragmentIdentifier.fromURIReference($refBaseURI);
 
-    // detect direct or circular reference
-    if (referencingElement === referencedElement) {
-      throw new _apidomError.ApiDOMError('Recursive Path Item Object reference detected');
-    }
+      // possibly non-semantic referenced element
+      let referencedElement = (0, _apidomJsonPointer.evaluate)(reference.value.result, jsonPointer);
 
-    // detect maximum depth of dereferencing
-    if (this.indirections.length > this.options.dereference.maxDepth) {
-      throw new _MaximumDereferenceDepthError.default(`Maximum dereference depth of "${this.options.dereference.maxDepth}" has been exceeded in file "${this.reference.uri}"`);
-    }
+      // applying semantics to a referenced element
+      if (!(0, _apidomNsOpenapi.isPathItemElement)(referencedElement)) {
+        if (this.refractCache.has(referencedElement)) {
+          referencedElement = this.refractCache.get(referencedElement);
+        } else {
+          const sourceElement = referencedElement;
+          referencedElement = (0, _apidomNsOpenapi.refractPathItem)(referencedElement);
+          this.refractCache.set(sourceElement, referencedElement);
+        }
+      }
 
-    // detect second deep dive into the same fragment and avoid it
-    if (ancestorsLineage.includes(referencedElement)) {
-      reference.refSet.circular = true;
-      if (this.options.dereference.circular === 'error') {
-        throw new _apidomError.ApiDOMError('Circular reference detected');
-      } else if (this.options.dereference.circular === 'replace') {
-        const refElement = new _apidomDatamodel.RefElement(referencedElement.id, {
-          type: 'path-item',
-          uri: reference.uri,
+      // detect direct or indirect reference
+      if (referencingElement === referencedElement) {
+        throw new _apidomError.ApiDOMStructuredError('Recursive Path Item Object reference detected', {
           $ref: (0, _apidomCore.toValue)(referencingElement.$ref)
         });
-        const replacer = this.options.dereference.strategyOpts['openapi-3-0']?.circularReplacer ?? this.options.dereference.circularReplacer;
-        const replacement = replacer(refElement);
-        this.indirections.pop();
-        path.replaceWith(replacement);
-        return;
       }
-    }
 
-    /**
-     * Dive deep into the fragment.
-     *
-     * Cases to consider:
-     *  1. We're crossing document boundary
-     *  2. Fragment is from non-entry document
-     *  3. Fragment is a Path Item Object with $ref field. We need to follow it to get the eventual value
-     *  4. We are dereferencing the fragment lazily/eagerly depending on circular mode
-     */
-    const isNonEntryDocument = url.stripHash(reference.refSet.rootRef.uri) !== reference.uri;
-    const shouldDetectCircular = ['error', 'replace'].includes(this.options.dereference.circular);
-    if ((isExternalReference || isNonEntryDocument || (0, _apidomNsOpenapi.isPathItemElement)(referencedElement) && (0, _apidomDatamodel.isStringElement)(referencedElement.$ref) || shouldDetectCircular) && !ancestorsLineage.includesCycle(referencedElement)) {
-      // append referencing reference to ancestors lineage
-      directAncestors.add(referencingElement);
-      const visitor = new OpenAPI3_0DereferenceVisitor({
-        reference,
-        namespace: this.namespace,
-        indirections: [...this.indirections],
-        options: this.options,
-        refractCache: this.refractCache,
-        ancestors: ancestorsLineage
-      });
-      referencedElement = await (0, _apidomTraverse.traverseAsync)(referencedElement, visitor, {
-        mutable: true
-      });
+      // detect maximum depth of dereferencing
+      if (this.indirections.length > this.options.dereference.maxDepth) {
+        throw new _MaximumDereferenceDepthError.default(`Maximum dereference depth of "${this.options.dereference.maxDepth}" has been exceeded in file "${this.reference.uri}"`, {
+          maxDepth: this.options.dereference.maxDepth,
+          uri: this.reference.uri
+        });
+      }
 
-      // remove referencing reference from ancestors lineage
-      directAncestors.delete(referencingElement);
-    }
-    this.indirections.pop();
+      // detect cross-boundary cycle
+      const [ancestorsLineage, directAncestors] = this.toAncestorLineage(path);
+      if (ancestorsLineage.includes(referencedElement)) {
+        reference.refSet.circular = true;
+        if (this.options.dereference.circular === 'error') {
+          throw new _apidomError.ApiDOMStructuredError('Circular reference detected', {
+            $ref: (0, _apidomCore.toValue)(referencingElement.$ref)
+          });
+        } else if (this.options.dereference.circular === 'replace') {
+          const refElement = new _apidomDatamodel.RefElement($refBaseURI, {
+            type: referencingElement.element,
+            uri: reference.uri,
+            $ref: (0, _apidomCore.toValue)(referencingElement.$ref)
+          });
+          const replacer = this.options.dereference.strategyOpts['openapi-3-0']?.circularReplacer ?? this.options.dereference.circularReplacer;
+          const replacement = replacer(refElement);
+          this.indirections.pop();
+          path.replaceWith(replacement);
+          return;
+        }
+      }
 
-    /**
-     * Creating a new version of Path Item by merging fields from referenced Path Item with referencing one.
-     */
-    if ((0, _apidomNsOpenapi.isPathItemElement)(referencedElement)) {
-      const mergedElement = (0, _apidomDatamodel.cloneShallow)(referencedElement);
-      // assign unique id to merged element
-      mergedElement.meta.set('id', identityManager.generateId());
-      // existing keywords from referencing PathItemElement overrides ones from referenced element
-      referencingElement.forEach((value, keyElement, item) => {
-        mergedElement.remove((0, _apidomCore.toValue)(keyElement));
-        mergedElement.content.push(item);
-      });
-      mergedElement.remove('$ref');
+      /**
+       * Dive deep into the fragment.
+       *
+       * Cases to consider:
+       *  1. We're crossing document boundary
+       *  2. Fragment is from non-entry document
+       *  3. Fragment is a Path Item Object with $ref field. We need to follow it to get the eventual value
+       *  4. We are dereferencing the fragment lazily/eagerly depending on circular mode
+       */
+      const isNonEntryDocument = url.stripHash(reference.refSet.rootRef.uri) !== reference.uri;
+      const shouldDetectCircular = ['error', 'replace'].includes(this.options.dereference.circular);
+      if ((isExternalReference || isNonEntryDocument || (0, _apidomNsOpenapi.isPathItemElement)(referencedElement) && (0, _apidomDatamodel.isStringElement)(referencedElement.$ref) || shouldDetectCircular) && !ancestorsLineage.includesCycle(referencedElement)) {
+        // append referencing reference to ancestors lineage
+        directAncestors.add(referencingElement);
+        const visitor = new OpenAPI3_0DereferenceVisitor({
+          reference,
+          indirections: [...this.indirections],
+          options: this.options,
+          refractCache: this.refractCache,
+          ancestors: ancestorsLineage
+        });
+        referencedElement = await (0, _apidomTraverse.traverseAsync)(referencedElement, visitor, {
+          mutable: true
+        });
 
-      // annotate referenced element with info about original referencing element
-      mergedElement.meta.set('ref-fields', {
-        $ref: (0, _apidomCore.toValue)(referencingElement.$ref)
-      });
-      // annotate referenced element with info about origin
-      mergedElement.meta.set('ref-origin', reference.uri);
-      // annotate fragment with info about referencing element
-      mergedElement.meta.set('ref-referencing-element-id', identityManager.identify(referencingElement));
-      referencedElement = mergedElement;
-    }
+        // remove referencing reference from ancestors lineage
+        directAncestors.delete(referencingElement);
+      }
+      this.indirections.pop();
+
+      /**
+       * Creating a new version of Path Item by merging fields from referenced Path Item with referencing one.
+       */
+      if ((0, _apidomNsOpenapi.isPathItemElement)(referencedElement)) {
+        const mergedElement = (0, _apidomDatamodel.cloneShallow)(referencedElement);
+        // existing keywords from referencing PathItemElement overrides ones from referenced element
+        referencingElement.forEach((value, keyElement, item) => {
+          mergedElement.remove((0, _apidomCore.toValue)(keyElement));
+          mergedElement.content.push(item);
+        });
+        mergedElement.remove('$ref');
+
+        // annotate referenced element with info about original referencing element
+        mergedElement.meta.set('ref-fields', {
+          $ref: (0, _apidomCore.toValue)(referencingElement.$ref)
+        });
+        // annotate referenced element with info about origin and type
+        mergedElement.meta.set('ref-origin', reference.uri);
+        mergedElement.meta.set('ref-type', referencingElement.element);
+        referencedElement = mergedElement;
+      }
 
-    /**
-     * Transclude referencing element with merged referenced element.
-     */
-    path.replaceWith(referencedElement);
+      /**
+       * Transclude referencing element with merged referenced element.
+       */
+      path.replaceWith(referencedElement);
+    } catch (error) {
+      const $ref = (0, _apidomCore.toValue)(referencingElement.$ref);
+      this.handleError(`Error while dereferencing Path Item Object. Cannot resolve $ref "${$ref}": ${error.message}`, error, referencingElement, '$ref', $ref, path);
+    }
   }
   async LinkElement(path) {
     const linkElement = path.node;
@@ -389,67 +486,78 @@ class OpenAPI3_0DereferenceVisitor {
 
     // operationRef and operationId fields are mutually exclusive
     if ((0, _apidomDatamodel.isStringElement)(linkElement.operationRef) && (0, _apidomDatamodel.isStringElement)(linkElement.operationId)) {
-      throw new _apidomError.ApiDOMError('LinkElement operationRef and operationId fields are mutually exclusive');
+      throw new _apidomError.ApiDOMStructuredError('LinkElement operationRef and operationId fields are mutually exclusive', {
+        operationRef: (0, _apidomCore.toValue)(linkElement.operationRef),
+        operationId: (0, _apidomCore.toValue)(linkElement.operationId)
+      });
     }
-    let operationElement;
-    if ((0, _apidomDatamodel.isStringElement)(linkElement.operationRef)) {
-      // possibly non-semantic referenced element
-      const jsonPointer = _apidomJsonPointer.URIFragmentIdentifier.fromURIReference((0, _apidomCore.toValue)(linkElement.operationRef));
-      const retrievalURI = this.toBaseURI((0, _apidomCore.toValue)(linkElement.operationRef));
-      const isInternalReference = url.stripHash(this.reference.uri) === retrievalURI;
-      const isExternalReference = !isInternalReference;
-
-      // ignore resolving internal Operation Object reference
-      if (!this.options.resolve.internal && isInternalReference) {
-        // skip traversing this Link element but traverse all it's child elements
-        return;
-      }
-      // ignore resolving external Operation Object reference
-      if (!this.options.resolve.external && isExternalReference) {
-        // skip traversing this Link element but traverse all it's child elements
+    try {
+      let operationElement;
+      if ((0, _apidomDatamodel.isStringElement)(linkElement.operationRef)) {
+        // possibly non-semantic referenced element
+        const jsonPointer = _apidomJsonPointer.URIFragmentIdentifier.fromURIReference((0, _apidomCore.toValue)(linkElement.operationRef));
+        const retrievalURI = this.toBaseURI((0, _apidomCore.toValue)(linkElement.operationRef));
+        const isInternalReference = url.stripHash(this.reference.uri) === retrievalURI;
+        const isExternalReference = !isInternalReference;
+
+        // ignore resolving internal Operation Object reference
+        if (!this.options.resolve.internal && isInternalReference) {
+          // skip traversing this Link element but traverse all it's child elements
+          return;
+        }
+        // ignore resolving external Operation Object reference
+        if (!this.options.resolve.external && isExternalReference) {
+          // skip traversing this Link element but traverse all it's child elements
+          return;
+        }
+        const reference = await this.toReference((0, _apidomCore.toValue)(linkElement.operationRef));
+        operationElement = (0, _apidomJsonPointer.evaluate)(reference.value.result, jsonPointer);
+        // applying semantics to a referenced element
+        if (!(0, _apidomNsOpenapi.isOperationElement)(operationElement)) {
+          if (this.refractCache.has(operationElement)) {
+            operationElement = this.refractCache.get(operationElement);
+          } else {
+            const sourceElement = operationElement;
+            operationElement = (0, _apidomNsOpenapi.refractOperation)(operationElement);
+            this.refractCache.set(sourceElement, operationElement);
+          }
+        }
+        // create shallow clone to be able to annotate with metadata
+        operationElement = (0, _apidomDatamodel.cloneShallow)(operationElement);
+        // annotate operation element with info about origin
+        operationElement.meta.set('ref-origin', reference.uri);
+        operationElement.meta.set('ref-type', linkElement.element);
+        const linkElementCopy = (0, _apidomDatamodel.cloneShallow)(linkElement);
+        linkElementCopy.operationRef?.meta.set('operation', operationElement);
+
+        /**
+         * Transclude Link Object containing Operation Object in its meta.
+         */
+        path.replaceWith(linkElementCopy);
         return;
       }
-      const reference = await this.toReference((0, _apidomCore.toValue)(linkElement.operationRef));
-      operationElement = (0, _apidomJsonPointer.evaluate)(reference.value.result, jsonPointer);
-      // applying semantics to a referenced element
-      if ((0, _apidomDatamodel.isPrimitiveElement)(operationElement)) {
-        const cacheKey = `operation-${identityManager.identify(operationElement)}`;
-        if (this.refractCache.has(cacheKey)) {
-          operationElement = this.refractCache.get(cacheKey);
-        } else {
-          operationElement = (0, _apidomNsOpenapi.refractOperation)(operationElement);
-          this.refractCache.set(cacheKey, operationElement);
+      if ((0, _apidomDatamodel.isStringElement)(linkElement.operationId)) {
+        const operationId = (0, _apidomCore.toValue)(linkElement.operationId);
+        const reference = await this.toReference(url.unsanitize(this.reference.uri));
+        operationElement = (0, _apidomTraverse.find)(reference.value.result, e => (0, _apidomNsOpenapi.isOperationElement)(e) && (0, _apidomDatamodel.isElement)(e.operationId) && e.operationId.equals(operationId));
+        // OperationElement not found by its operationId
+        if ((0, _ramdaAdjunct.isUndefined)(operationElement)) {
+          throw new _apidomError.ApiDOMStructuredError(`OperationElement(operationId=${operationId}) not found`, {
+            operationId
+          });
         }
-      }
-      // create shallow clone to be able to annotate with metadata
-      operationElement = (0, _apidomDatamodel.cloneShallow)(operationElement);
-      // annotate operation element with info about origin
-      operationElement.meta.set('ref-origin', reference.uri);
-      const linkElementCopy = (0, _apidomDatamodel.cloneShallow)(linkElement);
-      linkElementCopy.operationRef?.meta.set('operation', operationElement);
+        const linkElementCopy = (0, _apidomDatamodel.cloneShallow)(linkElement);
+        linkElementCopy.operationId?.meta.set('operation', operationElement);
 
-      /**
-       * Transclude Link Object containing Operation Object in its meta.
-       */
-      path.replaceWith(linkElementCopy);
-      return;
-    }
-    if ((0, _apidomDatamodel.isStringElement)(linkElement.operationId)) {
-      const operationId = (0, _apidomCore.toValue)(linkElement.operationId);
-      const reference = await this.toReference(url.unsanitize(this.reference.uri));
-      operationElement = (0, _apidomTraverse.find)(reference.value.result, e => (0, _apidomNsOpenapi.isOperationElement)(e) && (0, _apidomDatamodel.isElement)(e.operationId) && e.operationId.equals(operationId));
-      // OperationElement not found by its operationId
-      if ((0, _ramdaAdjunct.isUndefined)(operationElement)) {
-        throw new _apidomError.ApiDOMError(`OperationElement(operationId=${operationId}) not found`);
+        /**
+         * Transclude Link Object containing Operation Object in its meta.
+         */
+        path.replaceWith(linkElementCopy);
       }
-      const linkElementCopy = (0, _apidomDatamodel.cloneShallow)(linkElement);
-      linkElementCopy.operationId?.meta.set('operation', operationElement);
-
-      /**
-       * Transclude Link Object containing Operation Object in its meta.
-       */
-      path.replaceWith(linkElementCopy);
-      return;
+    } catch (error) {
+      const refFieldName = (0, _apidomDatamodel.isStringElement)(linkElement.operationRef) ? 'operationRef' : 'operationId';
+      const refFieldValue = (0, _apidomDatamodel.isStringElement)(linkElement.operationRef) ? (0, _apidomCore.toValue)(linkElement.operationRef) : (0, _apidomCore.toValue)(linkElement.operationId);
+      this.handleError(`Error while dereferencing Link Object. Cannot resolve ${refFieldName} "${refFieldValue}": ${error.message}`, error, linkElement, refFieldName, refFieldValue, path);
     }
   }
   async ExampleElement(path) {
@@ -462,7 +570,10 @@ class OpenAPI3_0DereferenceVisitor {
 
     // value and externalValue fields are mutually exclusive
     if (exampleElement.hasKey('value') && (0, _apidomDatamodel.isStringElement)(exampleElement.externalValue)) {
-      throw new _apidomError.ApiDOMError('ExampleElement value and externalValue fields are mutually exclusive');
+      throw new _apidomError.ApiDOMStructuredError('ExampleElement value and externalValue fields are mutually exclusive', {
+        value: (0, _apidomCore.toValue)(exampleElement.value),
+        externalValue: (0, _apidomCore.toValue)(exampleElement.externalValue)
+      });
     }
     const retrievalURI = this.toBaseURI((0, _apidomCore.toValue)(exampleElement.externalValue));
     const isInternalReference = url.stripHash(this.reference.uri) === retrievalURI;
@@ -478,19 +589,25 @@ class OpenAPI3_0DereferenceVisitor {
       // skip traversing this Example element but traverse all it's child elements
       return;
     }
-    const reference = await this.toReference((0, _apidomCore.toValue)(exampleElement.externalValue));
-
-    // shallow clone of the referenced element
-    const valueElement = (0, _apidomDatamodel.cloneShallow)(reference.value.result);
-    // annotate operation element with info about origin
-    valueElement.meta.set('ref-origin', reference.uri);
-    const exampleElementCopy = (0, _apidomDatamodel.cloneShallow)(exampleElement);
-    exampleElementCopy.value = valueElement;
-
-    /**
-     * Transclude Example Object containing external value.
-     */
-    path.replaceWith(exampleElementCopy);
+    try {
+      const reference = await this.toReference((0, _apidomCore.toValue)(exampleElement.externalValue));
+
+      // shallow clone of the referenced element
+      const valueElement = (0, _apidomDatamodel.cloneShallow)(reference.value.result);
+      // annotate operation element with info about origin
+      valueElement.meta.set('ref-origin', reference.uri);
+      valueElement.meta.set('ref-type', exampleElement.element);
+      const exampleElementCopy = (0, _apidomDatamodel.cloneShallow)(exampleElement);
+      exampleElementCopy.value = valueElement;
+
+      /**
+       * Transclude Example Object containing external value.
+       */
+      path.replaceWith(exampleElementCopy);
+    } catch (error) {
+      const externalValue = (0, _apidomCore.toValue)(exampleElement.externalValue);
+      this.handleError(`Error while dereferencing Example Object. Cannot resolve externalValue "${externalValue}": ${error.message}`, error, exampleElement, 'externalValue', externalValue, path);
+    }
   }
 }
 var _default = exports.default = OpenAPI3_0DereferenceVisitor;