@domainlang/language 0.6.0 → 0.7.0

package/README.md

@@ -1,6 +1,6 @@
 # @domainlang/language
 
-[![npm version](https://img.shields.io/npm/v/@domainlang/language.svg)](https://www.npmjs.com/package/@domainlang/language)[![Quality Gate Status](https://sonarcloud.io/api/project_badges/measure?project=DomainLang_DomainLang&metric=alert_status)](https://sonarcloud.io/summary/new_code?id=DomainLang_DomainLang)[![Security Rating](https://sonarcloud.io/api/project_badges/measure?project=DomainLang_DomainLang&metric=security_rating)](https://sonarcloud.io/summary/new_code?id=DomainLang_DomainLang)[![Vulnerabilities](https://sonarcloud.io/api/project_badges/measure?project=DomainLang_DomainLang&metric=vulnerabilities)](https://sonarcloud.io/summary/new_code?id=DomainLang_DomainLang)
+[![npm version](https://img.shields.io/npm/v/@domainlang/language.svg)](https://www.npmjs.com/package/@domainlang/language)[![Security Rating](https://sonarcloud.io/api/project_badges/measure?project=DomainLang_DomainLang&metric=security_rating)](https://sonarcloud.io/summary/new_code?id=DomainLang_DomainLang)[![Vulnerabilities](https://sonarcloud.io/api/project_badges/measure?project=DomainLang_DomainLang&metric=vulnerabilities)](https://sonarcloud.io/summary/new_code?id=DomainLang_DomainLang)
 [![License](https://img.shields.io/npm/l/@domainlang/language.svg)](https://github.com/DomainLang/DomainLang/blob/main/LICENSE)
 
 Core language library for [DomainLang](https://github.com/DomainLang/DomainLang) - a Domain-Driven Design modeling language built with [Langium](https://langium.org/).

package/out/domain-lang-module.js

@@ -4,6 +4,7 @@ import { DomainLangGeneratedModule, DomainLangGeneratedSharedModule } from './ge
 import { registerValidationChecks } from './validation/domain-lang-validator.js';
 import { QualifiedNameProvider } from './lsp/domain-lang-naming.js';
 import { DomainLangScopeComputation } from './lsp/domain-lang-scope.js';
+import { DomainLangScopeProvider } from './lsp/domain-lang-scope-provider.js';
 import { DomainLangFormatter } from './lsp/domain-lang-formatter.js';
 import { DomainLangHoverProvider } from './lsp/hover/domain-lang-hover.js';
 import { DomainLangCompletionProvider } from './lsp/domain-lang-completion.js';
@@ -30,6 +31,7 @@ export const DomainLangModule = {
     },
     references: {
         ScopeComputation: (services) => new DomainLangScopeComputation(services),
+        ScopeProvider: (services) => new DomainLangScopeProvider(services),
         QualifiedNameProvider: () => new QualifiedNameProvider()
     },
     lsp: {

package/out/domain-lang-module.js.map

@@ -1 +1 @@
-{"version":3,"file":"domain-lang-module.js","sourceRoot":"","sources":["../src/domain-lang-module.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,MAAM,EAAE,MAAM,SAAS,CAAC;AAQ9C,OAAO,EAAE,mBAAmB,EAAE,yBAAyB,EAAE,MAAM,aAAa,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAE,+BAA+B,EAAE,MAAM,uBAAuB,CAAC;AACnG,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,EAAE,4BAA4B,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,EAAE,4BAA4B,EAAE,MAAM,mCAAmC,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,wCAAwC,CAAC;AACpF,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AA2B5E,MAAM,sBAAsB,GAAgE;IACxF,SAAS,EAAE;QACP,gBAAgB,EAAE,CAAC,QAA+B,EAAE,EAAE,CAAC,IAAI,0BAA0B,CAAC,QAAQ,CAAC;QAC/F,YAAY,EAAE,CAAC,QAA+B,EAAE,EAAE,CAAC,IAAI,sBAAsB,CAAC,QAAQ,CAAC;KAC1F;CACJ,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAiF;IAC1G,OAAO,EAAE;QACL,cAAc,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC;QAC1D,gBAAgB,EAAE,GAAG,EAAE,CAAC,IAAI,gBAAgB,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;KAC5F;IACD,UAAU,EAAE;QACR,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,0BAA0B,CAAC,QAAQ,CAAC;QACxE,qBAAqB,EAAE,GAAG,EAAE,CAAC,IAAI,qBAAqB,EAAE;KAC3D;IACD,GAAG,EAAE;QACD,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI,mBAAmB,EAAE;QAC1C,aAAa,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,uBAAuB,CAAC,QAAQ,CAAC;QAClE,kBAAkB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,4BAA4B,CAAC,QAAQ,CAAC;QAC5E,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,4BAA4B,EAAE;KAC/D;CACJ,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,wBAAwB,CAAC,OAAmC;IAIxE,MAAM,MAAM,GAAG,MAAM,CACjB,yBAAyB,CAAC,OAAO,CAAC,EAClC,+BAA+B,EAC/B,sBAAsB,CACzB,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,CACrB,mBAAmB,CAAC,EAAE,MAAM,EAAE,CAAC,EAC/B,yBAAyB,EACzB,gBAAgB,CACnB,CAAC;IACF,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC5C,wBAAwB,CAAC,UAAU,CAAC,CAAC;IAErC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;QACtB,wCAAwC;QACxC,6DAA6D;QAC7D,MAAM,CAAC,SAAS,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAClC,CAAC"}
+{"version":3,"file":"domain-lang-module.js","sourceRoot":"","sources":["../src/domain-lang-module.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,MAAM,EAAE,MAAM,SAAS,CAAC;AAQ9C,OAAO,EAAE,mBAAmB,EAAE,yBAAyB,EAAE,MAAM,aAAa,CAAC;AAC7E,OAAO,EAAE,yBAAyB,EAAE,+BAA+B,EAAE,MAAM,uBAAuB,CAAC;AACnG,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,EAAE,4BAA4B,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,EAAE,4BAA4B,EAAE,MAAM,mCAAmC,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,wCAAwC,CAAC;AACpF,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AA2B5E,MAAM,sBAAsB,GAAgE;IACxF,SAAS,EAAE;QACP,gBAAgB,EAAE,CAAC,QAA+B,EAAE,EAAE,CAAC,IAAI,0BAA0B,CAAC,QAAQ,CAAC;QAC/F,YAAY,EAAE,CAAC,QAA+B,EAAE,EAAE,CAAC,IAAI,sBAAsB,CAAC,QAAQ,CAAC;KAC1F;CACJ,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAiF;IAC1G,OAAO,EAAE;QACL,cAAc,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC;QAC1D,gBAAgB,EAAE,GAAG,EAAE,CAAC,IAAI,gBAAgB,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;KAC5F;IACD,UAAU,EAAE;QACR,gBAAgB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,0BAA0B,CAAC,QAAQ,CAAC;QACxE,aAAa,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,uBAAuB,CAAC,QAAQ,CAAC;QAClE,qBAAqB,EAAE,GAAG,EAAE,CAAC,IAAI,qBAAqB,EAAE;KAC3D;IACD,GAAG,EAAE;QACD,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI,mBAAmB,EAAE;QAC1C,aAAa,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,uBAAuB,CAAC,QAAQ,CAAC;QAClE,kBAAkB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,4BAA4B,CAAC,QAAQ,CAAC;QAC5E,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,4BAA4B,EAAE;KAC/D;CACJ,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,wBAAwB,CAAC,OAAmC;IAIxE,MAAM,MAAM,GAAG,MAAM,CACjB,yBAAyB,CAAC,OAAO,CAAC,EAClC,+BAA+B,EAC/B,sBAAsB,CACzB,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,CACrB,mBAAmB,CAAC,EAAE,MAAM,EAAE,CAAC,EAC/B,yBAAyB,EACzB,gBAAgB,CACnB,CAAC;IACF,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC5C,wBAAwB,CAAC,UAAU,CAAC,CAAC;IAErC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;QACtB,wCAAwC;QACxC,6DAA6D;QAC7D,MAAM,CAAC,SAAS,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAClC,CAAC"}

package/out/lsp/domain-lang-index-manager.d.ts

@@ -14,6 +14,7 @@ import { CancellationToken } from 'vscode-jsonrpc';
  * **How it works:**
  * - When a document is indexed, we ensure all its imports are also loaded
  * - Maintains a reverse dependency graph: importedUri → Set<importingUri>
+ * - Also tracks import specifiers to detect when file moves affect resolution
  * - Overrides `isAffected()` to also check this graph
  * - This integrates with Langium's native `DocumentBuilder.update()` flow
  *
@@ -31,6 +32,13 @@ export declare class DomainLangIndexManager extends DefaultIndexManager {
      * Value: Set of URIs of documents that import the key document
      */
     private readonly importDependencies;
+    /**
+     * Maps document URI to its import specifiers and their resolved URIs.
+     * Used to detect when file moves could affect import resolution.
+     * Key: importing document URI
+     * Value: Map of import specifier → resolved URI
+     */
+    private readonly documentImportSpecifiers;
     /**
      * Tracks documents that have had their imports loaded to avoid redundant work.
      * Cleared on workspace config changes.
@@ -68,7 +76,9 @@ export declare class DomainLangIndexManager extends DefaultIndexManager {
     isAffected(document: LangiumDocument, changedUris: Set<string>): boolean;
     /**
      * Tracks import dependencies for a document.
-     * For each import in the document, records that the imported URI is depended upon.
+     * For each import in the document, records:
+     * 1. That the imported URI is depended upon (for direct change detection)
+     * 2. The import specifier used (for file move detection)
      */
     private trackImportDependencies;
     /**
@@ -99,4 +109,62 @@ export declare class DomainLangIndexManager extends DefaultIndexManager {
      * Called when a document's content changes.
      */
     markForReprocessing(uri: string): void;
+    /**
+     * Gets all documents that import the given URI.
+     * Used to find documents that need rebuilding when a file changes.
+     *
+     * @param uri - The URI of the changed/deleted file
+     * @returns Set of URIs (as strings) of documents that import this file
+     */
+    getDependentDocuments(uri: string): Set<string>;
+    /**
+     * Gets the resolved import URIs for a document.
+     * Returns only URIs where import resolution succeeded (non-empty resolved URI).
+     *
+     * @param documentUri - The URI of the document
+     * @returns Set of resolved import URIs, or empty set if none
+     */
+    getResolvedImports(documentUri: string): Set<string>;
+    /**
+     * Gets all documents that would be affected by changes to the given URIs.
+     * This includes direct dependents and transitive dependents.
+     *
+     * @param changedUris - URIs of changed/deleted files
+     * @returns Set of all affected document URIs
+     */
+    getAllAffectedDocuments(changedUris: Iterable<string>): Set<string>;
+    /**
+     * Gets documents that have import specifiers which might be affected by file moves.
+     *
+     * When a file is moved/renamed, import specifiers that previously resolved to it
+     * (or could now resolve to it) need to be re-evaluated. This method finds documents
+     * whose imports might resolve differently after the file system change.
+     *
+     * @param changedUris - URIs of changed/deleted/created files
+     * @returns Set of document URIs that should be rebuilt
+     */
+    getDocumentsWithPotentiallyAffectedImports(changedUris: Iterable<string>): Set<string>;
+    /**
+     * Extracts path segments from URIs for fuzzy matching.
+     */
+    private extractPathSegments;
+    /**
+     * Adds path segments from a single URI to the set.
+     */
+    private addPathSegmentsFromUri;
+    /**
+     * Finds documents with import specifiers matching any of the given paths.
+     */
+    private findDocumentsMatchingPaths;
+    /**
+     * Checks if any specifier OR its resolved URI matches the changed paths.
+     *
+     * This handles both regular imports and path aliases:
+     * - Regular: `./domains/sales.dlang` matches path `sales.dlang`
+     * - Aliased: `@domains/sales.dlang` resolves to `/full/path/domains/sales.dlang`
+     *   When the file moves, the resolved URI matches but the specifier doesn't
+     *
+     * We check both to ensure moves of aliased imports trigger revalidation.
+     */
+    private hasMatchingSpecifierOrResolvedUri;
 }

package/out/lsp/domain-lang-index-manager.js

@@ -14,6 +14,7 @@ import { resolveImportPath } from '../utils/import-utils.js';
  * **How it works:**
  * - When a document is indexed, we ensure all its imports are also loaded
  * - Maintains a reverse dependency graph: importedUri → Set<importingUri>
+ * - Also tracks import specifiers to detect when file moves affect resolution
  * - Overrides `isAffected()` to also check this graph
  * - This integrates with Langium's native `DocumentBuilder.update()` flow
  *
@@ -33,6 +34,13 @@ export class DomainLangIndexManager extends DefaultIndexManager {
          * Value: Set of URIs of documents that import the key document
          */
         this.importDependencies = new Map();
+        /**
+         * Maps document URI to its import specifiers and their resolved URIs.
+         * Used to detect when file moves could affect import resolution.
+         * Key: importing document URI
+         * Value: Map of import specifier → resolved URI
+         */
+        this.documentImportSpecifiers = new Map();
         /**
          * Tracks documents that have had their imports loaded to avoid redundant work.
          * Cleared on workspace config changes.
@@ -97,13 +105,16 @@ export class DomainLangIndexManager extends DefaultIndexManager {
     }
     /**
      * Tracks import dependencies for a document.
-     * For each import in the document, records that the imported URI is depended upon.
+     * For each import in the document, records:
+     * 1. That the imported URI is depended upon (for direct change detection)
+     * 2. The import specifier used (for file move detection)
      */
     async trackImportDependencies(document) {
         const importingUri = document.uri.toString();
         // First, remove old dependencies from this document
         // (in case imports changed)
         this.removeDocumentFromDependencies(importingUri);
+        this.documentImportSpecifiers.delete(importingUri);
         // Skip if document isn't ready (no parse result)
         if (document.state < DocumentState.Parsed) {
             return;
@@ -112,12 +123,15 @@ export class DomainLangIndexManager extends DefaultIndexManager {
         if (!model.imports) {
             return;
         }
+        const specifierMap = new Map();
         for (const imp of model.imports) {
             if (!imp.uri)
                 continue;
             try {
                 const resolvedUri = await resolveImportPath(document, imp.uri);
                 const importedUri = resolvedUri.toString();
+                // Track the specifier → resolved URI mapping
+                specifierMap.set(imp.uri, importedUri);
                 // Add to reverse dependency graph: importedUri → importingUri
                 let dependents = this.importDependencies.get(importedUri);
                 if (!dependents) {
@@ -127,9 +141,13 @@ export class DomainLangIndexManager extends DefaultIndexManager {
                 dependents.add(importingUri);
             }
             catch {
-                // Import resolution failed - validation will report the error
+                // Import resolution failed - still track the specifier with empty resolution
+                specifierMap.set(imp.uri, '');
             }
         }
+        if (specifierMap.size > 0) {
+            this.documentImportSpecifiers.set(importingUri, specifierMap);
+        }
     }
     /**
      * Ensures all imported documents are loaded and available.
@@ -168,8 +186,10 @@ export class DomainLangIndexManager extends DefaultIndexManager {
                 }
                 // Load or create the imported document
                 const importedDoc = await langiumDocuments.getOrCreateDocument(resolvedUri);
-                // If document is new (not yet indexed), add to batch
-                if (importedDoc.state < DocumentState.IndexedContent) {
+                // If document is not yet validated, add to batch for building
+                // This ensures all imported documents reach Validated state,
+                // preventing "workspace state is already Validated" errors
+                if (importedDoc.state < DocumentState.Validated) {
                     newDocs.push(importedDoc);
                 }
             }
@@ -177,7 +197,7 @@ export class DomainLangIndexManager extends DefaultIndexManager {
                 // Import resolution failed - validation will report the error
             }
         }
-        // Build any newly discovered documents
+        // Build any newly discovered documents to Validated state
         // This triggers indexing which will recursively load their imports
         if (newDocs.length > 0) {
             await documentBuilder.build(newDocs, { validation: true });
@@ -208,6 +228,7 @@ export class DomainLangIndexManager extends DefaultIndexManager {
      */
     clearImportDependencies() {
         this.importDependencies.clear();
+        this.documentImportSpecifiers.clear();
         this.importsLoaded.clear();
     }
     /**
@@ -217,5 +238,152 @@ export class DomainLangIndexManager extends DefaultIndexManager {
     markForReprocessing(uri) {
         this.importsLoaded.delete(uri);
     }
+    /**
+     * Gets all documents that import the given URI.
+     * Used to find documents that need rebuilding when a file changes.
+     *
+     * @param uri - The URI of the changed/deleted file
+     * @returns Set of URIs (as strings) of documents that import this file
+     */
+    getDependentDocuments(uri) {
+        return this.importDependencies.get(uri) ?? new Set();
+    }
+    /**
+     * Gets the resolved import URIs for a document.
+     * Returns only URIs where import resolution succeeded (non-empty resolved URI).
+     *
+     * @param documentUri - The URI of the document
+     * @returns Set of resolved import URIs, or empty set if none
+     */
+    getResolvedImports(documentUri) {
+        const specifierMap = this.documentImportSpecifiers.get(documentUri);
+        if (!specifierMap) {
+            return new Set();
+        }
+        const resolved = new Set();
+        for (const resolvedUri of specifierMap.values()) {
+            // Only include successfully resolved imports (non-empty string)
+            if (resolvedUri) {
+                resolved.add(resolvedUri);
+            }
+        }
+        return resolved;
+    }
+    /**
+     * Gets all documents that would be affected by changes to the given URIs.
+     * This includes direct dependents and transitive dependents.
+     *
+     * @param changedUris - URIs of changed/deleted files
+     * @returns Set of all affected document URIs
+     */
+    getAllAffectedDocuments(changedUris) {
+        const affected = new Set();
+        const toProcess = [...changedUris];
+        while (toProcess.length > 0) {
+            const uri = toProcess.pop();
+            if (!uri) {
+                continue;
+            }
+            const dependents = this.importDependencies.get(uri);
+            if (dependents) {
+                for (const dep of dependents) {
+                    if (!affected.has(dep)) {
+                        affected.add(dep);
+                        // Also check transitive dependents
+                        toProcess.push(dep);
+                    }
+                }
+            }
+        }
+        return affected;
+    }
+    /**
+     * Gets documents that have import specifiers which might be affected by file moves.
+     *
+     * When a file is moved/renamed, import specifiers that previously resolved to it
+     * (or could now resolve to it) need to be re-evaluated. This method finds documents
+     * whose imports might resolve differently after the file system change.
+     *
+     * @param changedUris - URIs of changed/deleted/created files
+     * @returns Set of document URIs that should be rebuilt
+     */
+    getDocumentsWithPotentiallyAffectedImports(changedUris) {
+        const changedPaths = this.extractPathSegments(changedUris);
+        return this.findDocumentsMatchingPaths(changedPaths);
+    }
+    /**
+     * Extracts path segments from URIs for fuzzy matching.
+     */
+    extractPathSegments(uris) {
+        const paths = new Set();
+        for (const uri of uris) {
+            this.addPathSegmentsFromUri(uri, paths);
+        }
+        return paths;
+    }
+    /**
+     * Adds path segments from a single URI to the set.
+     */
+    addPathSegmentsFromUri(uri, paths) {
+        try {
+            const url = new URL(uri);
+            const pathParts = url.pathname.split('/').filter(p => p.length > 0);
+            // Add filename
+            const fileName = pathParts.at(-1);
+            if (fileName) {
+                paths.add(fileName);
+            }
+            // Add parent/filename combination
+            if (pathParts.length >= 2) {
+                paths.add(pathParts.slice(-2).join('/'));
+            }
+            // Add grandparent/parent/filename combination
+            if (pathParts.length >= 3) {
+                paths.add(pathParts.slice(-3).join('/'));
+            }
+        }
+        catch {
+            // Invalid URI, skip
+        }
+    }
+    /**
+     * Finds documents with import specifiers matching any of the given paths.
+     */
+    findDocumentsMatchingPaths(changedPaths) {
+        const affected = new Set();
+        for (const [docUri, specifierMap] of this.documentImportSpecifiers) {
+            if (this.hasMatchingSpecifierOrResolvedUri(specifierMap, changedPaths)) {
+                affected.add(docUri);
+            }
+        }
+        return affected;
+    }
+    /**
+     * Checks if any specifier OR its resolved URI matches the changed paths.
+     *
+     * This handles both regular imports and path aliases:
+     * - Regular: `./domains/sales.dlang` matches path `sales.dlang`
+     * - Aliased: `@domains/sales.dlang` resolves to `/full/path/domains/sales.dlang`
+     *   When the file moves, the resolved URI matches but the specifier doesn't
+     *
+     * We check both to ensure moves of aliased imports trigger revalidation.
+     */
+    hasMatchingSpecifierOrResolvedUri(specifierMap, changedPaths) {
+        for (const [specifier, resolvedUri] of specifierMap.entries()) {
+            const normalizedSpecifier = specifier.replace(/^[.@/]+/, '');
+            for (const changedPath of changedPaths) {
+                // Check the raw specifier (handles relative imports)
+                if (specifier.includes(changedPath) || changedPath.endsWith(normalizedSpecifier)) {
+                    return true;
+                }
+                // Check the resolved URI (handles path aliases like @domains/...)
+                // The resolved URI contains the full file path which matches moved files
+                if (resolvedUri?.includes(changedPath)) {
+                    return true;
+                }
+            }
+        }
+        return false;
+    }
 }
 //# sourceMappingURL=domain-lang-index-manager.js.map

package/out/lsp/domain-lang-index-manager.js.map

@@ -1 +1 @@
-{"version":3,"file":"domain-lang-index-manager.js","sourceRoot":"","sources":["../../src/lsp/domain-lang-index-manager.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,OAAO,sBAAuB,SAAQ,mBAAmB;IAmB3D,YAAY,QAAmC;QAC3C,KAAK,CAAC,QAAQ,CAAC,CAAC;QAnBpB;;;;WAIG;QACc,uBAAkB,GAAG,IAAI,GAAG,EAAuB,CAAC;QAErE;;;WAGG;QACc,kBAAa,GAAG,IAAI,GAAG,EAAU,CAAC;QAS/C,IAAI,CAAC,cAAc,GAAG,QAAQ,CAAC;IACnC,CAAC;IAED;;;;;;;OAOG;IACM,KAAK,CAAC,aAAa,CAAC,QAAyB,EAAE,WAAW,GAAG,iBAAiB,CAAC,IAAI;QACxF,0CAA0C;QAC1C,MAAM,KAAK,CAAC,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAEjD,yDAAyD;QACzD,MAAM,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC;IAED;;OAEG;IACM,MAAM,CAAC,GAAQ;QACpB,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC;IAED;;OAEG;IACM,aAAa,CAAC,GAAQ;QAC3B,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QACzB,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC;IAED;;;;;;OAMG;IACM,UAAU,CAAC,QAAyB,EAAE,WAAwB;QACnE,kDAAkD;QAClD,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,CAAC;YAC1C,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,qCAAqC;QACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACvC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC3D,IAAI,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1B,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,uBAAuB,CAAC,QAAyB;QAC3D,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAE7C,oDAAoD;QACpD,4BAA4B;QAC5B,IAAI,CAAC,8BAA8B,CAAC,YAAY,CAAC,CAAC;QAElD,iDAAiD;QACjD,IAAI,QAAQ,CAAC,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;YACxC,OAAO;QACX,CAAC;QAED,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAyB,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACjB,OAAO;QACX,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,GAAG;gBAAE,SAAS;YAEvB,IAAI,CAAC;gBACD,MAAM,WAAW,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC/D,MAAM,WAAW,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC;gBAE3C,8DAA8D;gBAC9D,IAAI,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBAC1D,IAAI,CAAC,UAAU,EAAE,CAAC;oBACd,UAAU,GAAG,IAAI,GAAG,EAAE,CAAC;oBACvB,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;gBACzD,CAAC;gBACD,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACjC,CAAC;YAAC,MAAM,CAAC;gBACL,8DAA8D;YAClE,CAAC;QACL,CAAC;IACL,CAAC;IAED;;;;;;OAMG;IACK,KAAK,CAAC,mBAAmB,CAAC,QAAyB;QACvD,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAE1C,sEAAsE;QACtE,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACpC,OAAO;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAElC,iDAAiD;QACjD,IAAI,QAAQ,CAAC,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;YACxC,OAAO;QACX,CAAC;QAED,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAyB,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,OAAO;QACX,CAAC;QAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,gBAAgB,CAAC;QACxE,MAAM,eAAe,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,eAAe,CAAC;QACtE,MAAM,OAAO,GAAsB,EAAE,CAAC;QAEtC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,GAAG;gBAAE,SAAS;YAEvB,IAAI,CAAC;gBACD,MAAM,WAAW,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC/D,MAAM,iBAAiB,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC;gBAEjD,yBAAyB;gBACzB,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAC5C,SAAS;gBACb,CAAC;gBAED,uCAAuC;gBACvC,MAAM,WAAW,GAAG,MAAM,gBAAgB,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;gBAE5E,qDAAqD;gBACrD,IAAI,WAAW,CAAC,KAAK,GAAG,aAAa,CAAC,cAAc,EAAE,CAAC;oBACnD,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC9B,CAAC;YACL,CAAC;YAAC,MAAM,CAAC;gBACL,8DAA8D;YAClE,CAAC;QACL,CAAC;QAED,uCAAuC;QACvC,mEAAmE;QACnE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/D,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,wBAAwB,CAAC,GAAW;QACxC,iCAAiC;QACjC,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAEpC,mDAAmD;QACnD,IAAI,CAAC,8BAA8B,CAAC,GAAG,CAAC,CAAC;IAC7C,CAAC;IAED;;;OAGG;IACK,8BAA8B,CAAC,GAAW;QAC9C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,EAAE,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;IACL,CAAC;IAED;;;OAGG;IACH,uBAAuB;QACnB,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;IAC/B,CAAC;IAED;;;OAGG;IACH,mBAAmB,CAAC,GAAW;QAC3B,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC;CACJ"}
+{"version":3,"file":"domain-lang-index-manager.js","sourceRoot":"","sources":["../../src/lsp/domain-lang-index-manager.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAG7D;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,OAAO,sBAAuB,SAAQ,mBAAmB;IA2B3D,YAAY,QAAmC;QAC3C,KAAK,CAAC,QAAQ,CAAC,CAAC;QA3BpB;;;;WAIG;QACc,uBAAkB,GAAG,IAAI,GAAG,EAAuB,CAAC;QAErE;;;;;WAKG;QACc,6BAAwB,GAAG,IAAI,GAAG,EAA+B,CAAC;QAEnF;;;WAGG;QACc,kBAAa,GAAG,IAAI,GAAG,EAAU,CAAC;QAS/C,IAAI,CAAC,cAAc,GAAG,QAAQ,CAAC;IACnC,CAAC;IAED;;;;;;;OAOG;IACM,KAAK,CAAC,aAAa,CAAC,QAAyB,EAAE,WAAW,GAAG,iBAAiB,CAAC,IAAI;QACxF,0CAA0C;QAC1C,MAAM,KAAK,CAAC,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAEjD,yDAAyD;QACzD,MAAM,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC;IAED;;OAEG;IACM,MAAM,CAAC,GAAQ;QACpB,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC;IAED;;OAEG;IACM,aAAa,CAAC,GAAQ;QAC3B,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QACzB,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACzC,CAAC;IAED;;;;;;OAMG;IACM,UAAU,CAAC,QAAyB,EAAE,WAAwB;QACnE,kDAAkD;QAClD,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,CAAC;YAC1C,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,qCAAqC;QACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACvC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC3D,IAAI,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1B,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,uBAAuB,CAAC,QAAyB;QAC3D,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAE7C,oDAAoD;QACpD,4BAA4B;QAC5B,IAAI,CAAC,8BAA8B,CAAC,YAAY,CAAC,CAAC;QAClD,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QAEnD,iDAAiD;QACjD,IAAI,QAAQ,CAAC,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;YACxC,OAAO;QACX,CAAC;QAED,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAyB,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACjB,OAAO;QACX,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAE/C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,GAAG;gBAAE,SAAS;YAEvB,IAAI,CAAC;gBACD,MAAM,WAAW,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC/D,MAAM,WAAW,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC;gBAE3C,6CAA6C;gBAC7C,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;gBAEvC,8DAA8D;gBAC9D,IAAI,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBAC1D,IAAI,CAAC,UAAU,EAAE,CAAC;oBACd,UAAU,GAAG,IAAI,GAAG,EAAE,CAAC;oBACvB,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;gBACzD,CAAC;gBACD,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACjC,CAAC;YAAC,MAAM,CAAC;gBACL,6EAA6E;gBAC7E,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAClC,CAAC;QACL,CAAC;QAED,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QAClE,CAAC;IACL,CAAC;IAED;;;;;;OAMG;IACK,KAAK,CAAC,mBAAmB,CAAC,QAAyB;QACvD,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAE1C,sEAAsE;QACtE,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACpC,OAAO;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAElC,iDAAiD;QACjD,IAAI,QAAQ,CAAC,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;YACxC,OAAO;QACX,CAAC;QAED,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAyB,CAAC;QAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,OAAO;QACX,CAAC;QAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,gBAAgB,CAAC;QACxE,MAAM,eAAe,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,eAAe,CAAC;QACtE,MAAM,OAAO,GAAsB,EAAE,CAAC;QAEtC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9B,IAAI,CAAC,GAAG,CAAC,GAAG;gBAAE,SAAS;YAEvB,IAAI,CAAC;gBACD,MAAM,WAAW,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC/D,MAAM,iBAAiB,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAC;gBAEjD,yBAAyB;gBACzB,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAC5C,SAAS;gBACb,CAAC;gBAED,uCAAuC;gBACvC,MAAM,WAAW,GAAG,MAAM,gBAAgB,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;gBAE5E,8DAA8D;gBAC9D,6DAA6D;gBAC7D,2DAA2D;gBAC3D,IAAI,WAAW,CAAC,KAAK,GAAG,aAAa,CAAC,SAAS,EAAE,CAAC;oBAC9C,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC9B,CAAC;YACL,CAAC;YAAC,MAAM,CAAC;gBACL,8DAA8D;YAClE,CAAC;QACL,CAAC;QAED,0DAA0D;QAC1D,mEAAmE;QACnE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/D,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,wBAAwB,CAAC,GAAW;QACxC,iCAAiC;QACjC,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAEpC,mDAAmD;QACnD,IAAI,CAAC,8BAA8B,CAAC,GAAG,CAAC,CAAC;IAC7C,CAAC;IAED;;;OAGG;IACK,8BAA8B,CAAC,GAAW;QAC9C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,EAAE,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;IACL,CAAC;IAED;;;OAGG;IACH,uBAAuB;QACnB,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,wBAAwB,CAAC,KAAK,EAAE,CAAC;QACtC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;IAC/B,CAAC;IAED;;;OAGG;IACH,mBAAmB,CAAC,GAAW;QAC3B,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC;IAED;;;;;;OAMG;IACH,qBAAqB,CAAC,GAAW;QAC7B,OAAO,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;IACzD,CAAC;IAED;;;;;;OAMG;IACH,kBAAkB,CAAC,WAAmB;QAClC,MAAM,YAAY,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACpE,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,OAAO,IAAI,GAAG,EAAE,CAAC;QACrB,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YAC9C,gEAAgE;YAChE,IAAI,WAAW,EAAE,CAAC;gBACd,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YAC9B,CAAC;QACL,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED;;;;;;OAMG;IACH,uBAAuB,CAAC,WAA6B;QACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,MAAM,SAAS,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC;QAEnC,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC;YAC5B,IAAI,CAAC,GAAG,EAAE,CAAC;gBACP,SAAS;YACb,CAAC;YACD,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACpD,IAAI,UAAU,EAAE,CAAC;gBACb,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;oBAC3B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBACrB,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBAClB,mCAAmC;wBACnC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACxB,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED;;;;;;;;;OASG;IACH,0CAA0C,CAAC,WAA6B;QACpE,MAAM,YAAY,GAAG,IAAI,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;QAC3D,OAAO,IAAI,CAAC,0BAA0B,CAAC,YAAY,CAAC,CAAC;IACzD,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,IAAsB;QAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAEhC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,CAAC,sBAAsB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC5C,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,sBAAsB,CAAC,GAAW,EAAE,KAAkB;QAC1D,IAAI,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;YACzB,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAEpE,eAAe;YACf,MAAM,QAAQ,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,QAAQ,EAAE,CAAC;gBACX,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACxB,CAAC;YAED,kCAAkC;YAClC,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACxB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7C,CAAC;YAED,8CAA8C;YAC9C,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACxB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7C,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACL,oBAAoB;QACxB,CAAC;IACL,CAAC;IAED;;OAEG;IACK,0BAA0B,CAAC,YAAyB;QACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QAEnC,KAAK,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,IAAI,CAAC,wBAAwB,EAAE,CAAC;YACjE,IAAI,IAAI,CAAC,iCAAiC,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC;gBACrE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzB,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED;;;;;;;;;OASG;IACK,iCAAiC,CAAC,YAAiC,EAAE,YAAyB;QAClG,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5D,MAAM,mBAAmB,GAAG,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAE7D,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;gBACrC,qDAAqD;gBACrD,IAAI,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;oBAC/E,OAAO,IAAI,CAAC;gBAChB,CAAC;gBAED,kEAAkE;gBAClE,yEAAyE;gBACzE,IAAI,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;oBACrC,OAAO,IAAI,CAAC;gBAChB,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;CACJ"}

package/out/lsp/domain-lang-scope-provider.d.ts

@@ -0,0 +1,67 @@
+/**
+ * DomainLang Scope Provider
+ *
+ * Implements import-based scoping for the DomainLang DSL.
+ *
+ * **Key Concept:**
+ * Unlike languages with global namespaces, DomainLang enforces strict import-based scoping:
+ * - Elements are only visible if they are defined in the current document OR explicitly imported
+ * - The global scope is restricted to imported documents only
+ * - Transitive imports do NOT provide scope (only direct imports)
+ *
+ * **Why this matters:**
+ * Without this, Langium's DefaultScopeProvider would make ALL indexed documents visible
+ * in the global scope, which would:
+ * 1. Allow referencing elements that haven't been imported
+ * 2. Make the import system meaningless
+ * 3. Create confusion about dependencies between files
+ *
+ * @see https://langium.org/docs/recipes/scoping/ for Langium scoping patterns
+ */
+import type { ReferenceInfo, Scope } from 'langium';
+import { DefaultScopeProvider } from 'langium';
+import type { DomainLangServices } from '../domain-lang-module.js';
+/**
+ * Custom scope provider that restricts cross-file references to imported documents only.
+ *
+ * Extends Langium's DefaultScopeProvider to override the global scope computation.
+ */
+export declare class DomainLangScopeProvider extends DefaultScopeProvider {
+    /**
+     * Reference to IndexManager for getting resolved imports.
+     */
+    private readonly domainLangIndexManager;
+    constructor(services: DomainLangServices);
+    /**
+     * Override getGlobalScope to restrict it to imported documents only.
+     *
+     * The default Langium behavior includes ALL documents in the workspace.
+     * We restrict this to:
+     * 1. The current document's own exported symbols
+     * 2. Exported symbols from directly imported documents
+     *
+     * @param referenceType - The AST type being referenced
+     * @param context - Information about the reference
+     * @returns A scope containing only visible elements
+     */
+    protected getGlobalScope(referenceType: string, context: ReferenceInfo): Scope;
+    /**
+     * Gets the set of document URIs that are directly imported by the given document.
+     *
+     * Uses the resolved imports tracked by DomainLangIndexManager during indexing.
+     * This ensures accurate resolution including path aliases.
+     *
+     * @param document - The document to get imports for
+     * @returns Set of imported document URIs (as strings)
+     */
+    private getImportedDocumentUris;
+    /**
+     * Filters the global index to only include descriptions from imported documents.
+     *
+     * @param referenceType - The AST type being referenced
+     * @param currentDocument - The document making the reference
+     * @param importedUris - Set of URIs that are in scope
+     * @returns Stream of filtered descriptions
+     */
+    private filterDescriptionsByImports;
+}

package/out/lsp/domain-lang-scope-provider.js

@@ -0,0 +1,95 @@
+/**
+ * DomainLang Scope Provider
+ *
+ * Implements import-based scoping for the DomainLang DSL.
+ *
+ * **Key Concept:**
+ * Unlike languages with global namespaces, DomainLang enforces strict import-based scoping:
+ * - Elements are only visible if they are defined in the current document OR explicitly imported
+ * - The global scope is restricted to imported documents only
+ * - Transitive imports do NOT provide scope (only direct imports)
+ *
+ * **Why this matters:**
+ * Without this, Langium's DefaultScopeProvider would make ALL indexed documents visible
+ * in the global scope, which would:
+ * 1. Allow referencing elements that haven't been imported
+ * 2. Make the import system meaningless
+ * 3. Create confusion about dependencies between files
+ *
+ * @see https://langium.org/docs/recipes/scoping/ for Langium scoping patterns
+ */
+import { AstUtils, DefaultScopeProvider, EMPTY_SCOPE, MapScope } from 'langium';
+/**
+ * Custom scope provider that restricts cross-file references to imported documents only.
+ *
+ * Extends Langium's DefaultScopeProvider to override the global scope computation.
+ */
+export class DomainLangScopeProvider extends DefaultScopeProvider {
+    constructor(services) {
+        super(services);
+        this.domainLangIndexManager = services.shared.workspace.IndexManager;
+    }
+    /**
+     * Override getGlobalScope to restrict it to imported documents only.
+     *
+     * The default Langium behavior includes ALL documents in the workspace.
+     * We restrict this to:
+     * 1. The current document's own exported symbols
+     * 2. Exported symbols from directly imported documents
+     *
+     * @param referenceType - The AST type being referenced
+     * @param context - Information about the reference
+     * @returns A scope containing only visible elements
+     */
+    getGlobalScope(referenceType, context) {
+        const document = AstUtils.getDocument(context.container);
+        if (!document) {
+            return EMPTY_SCOPE;
+        }
+        // Get the set of URIs that are in scope for this document
+        const importedUris = this.getImportedDocumentUris(document);
+        // Filter the global index to only include descriptions from imported documents
+        const filteredDescriptions = this.filterDescriptionsByImports(referenceType, document, importedUris);
+        // Create a scope from the filtered descriptions
+        return new MapScope(filteredDescriptions);
+    }
+    /**
+     * Gets the set of document URIs that are directly imported by the given document.
+     *
+     * Uses the resolved imports tracked by DomainLangIndexManager during indexing.
+     * This ensures accurate resolution including path aliases.
+     *
+     * @param document - The document to get imports for
+     * @returns Set of imported document URIs (as strings)
+     */
+    getImportedDocumentUris(document) {
+        const docUri = document.uri.toString();
+        // Get resolved imports from the index manager (tracked during indexing)
+        const resolvedImports = this.domainLangIndexManager.getResolvedImports(docUri);
+        // Always include the current document itself
+        const importedUris = new Set([docUri]);
+        // Add all resolved import URIs
+        for (const resolvedUri of resolvedImports) {
+            importedUris.add(resolvedUri);
+        }
+        return importedUris;
+    }
+    /**
+     * Filters the global index to only include descriptions from imported documents.
+     *
+     * @param referenceType - The AST type being referenced
+     * @param currentDocument - The document making the reference
+     * @param importedUris - Set of URIs that are in scope
+     * @returns Stream of filtered descriptions
+     */
+    filterDescriptionsByImports(referenceType, currentDocument, importedUris) {
+        // Get all descriptions of the reference type from the index
+        const allDescriptions = this.indexManager.allElements(referenceType);
+        // Filter to only those from imported documents
+        return allDescriptions.filter(desc => {
+            const descDocUri = desc.documentUri.toString();
+            return importedUris.has(descDocUri);
+        });
+    }
+}
+//# sourceMappingURL=domain-lang-scope-provider.js.map

package/out/lsp/domain-lang-scope-provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-lang-scope-provider.js","sourceRoot":"","sources":["../../src/lsp/domain-lang-scope-provider.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AASH,OAAO,EACH,QAAQ,EACR,oBAAoB,EACpB,WAAW,EACX,QAAQ,EACX,MAAM,SAAS,CAAC;AAIjB;;;;GAIG;AACH,MAAM,OAAO,uBAAwB,SAAQ,oBAAoB;IAM7D,YAAY,QAA4B;QACpC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChB,IAAI,CAAC,sBAAsB,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,YAAsC,CAAC;IACnG,CAAC;IAED;;;;;;;;;;;OAWG;IACgB,cAAc,CAAC,aAAqB,EAAE,OAAsB;QAC3E,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACzD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,OAAO,WAAW,CAAC;QACvB,CAAC;QAED,0DAA0D;QAC1D,MAAM,YAAY,GAAG,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAE5D,+EAA+E;QAC/E,MAAM,oBAAoB,GAAG,IAAI,CAAC,2BAA2B,CACzD,aAAa,EACb,QAAQ,EACR,YAAY,CACf,CAAC;QAEF,gDAAgD;QAChD,OAAO,IAAI,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IAC9C,CAAC;IAED;;;;;;;;OAQG;IACK,uBAAuB,CAAC,QAAyB;QACrD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAEvC,wEAAwE;QACxE,MAAM,eAAe,GAAG,IAAI,CAAC,sBAAsB,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;QAE/E,6CAA6C;QAC7C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QAE/C,+BAA+B;QAC/B,KAAK,MAAM,WAAW,IAAI,eAAe,EAAE,CAAC;YACxC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAClC,CAAC;QAED,OAAO,YAAY,CAAC;IACxB,CAAC;IAED;;;;;;;OAOG;IACK,2BAA2B,CAC/B,aAAqB,EACrB,eAAgC,EAChC,YAAyB;QAEzB,4DAA4D;QAC5D,MAAM,eAAe,GAAG,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;QAErE,+CAA+C;QAC/C,OAAO,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;YACjC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC/C,OAAO,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;IACP,CAAC;CACJ"}

package/out/lsp/domain-lang-workspace-manager.d.ts

@@ -52,6 +52,31 @@ export declare class DomainLangWorkspaceManager extends DefaultWorkspaceManager
     shouldIncludeEntry(entry: FileSystemNode): boolean;
     initializeWorkspace(folders: WorkspaceFolder[], cancelToken?: CancellationToken): Promise<void>;
     protected loadAdditionalDocuments(folders: WorkspaceFolder[], collector: (document: LangiumDocument) => void): Promise<void>;
+    /**
+     * Loads standalone .dlang files from workspace folders recursively.
+     *
+     * Skips:
+     * - Module directories (directories with model.yaml) - loaded via import graph
+     * - `.dlang/cache` directory - package cache managed by CLI
+     *
+     * @param folders - Workspace folders to scan
+     * @param moduleDirectories - Set of directories containing model.yaml (to skip)
+     * @param collector - Document collector callback
+     */
+    private loadStandaloneFiles;
+    /**
+     * Recursively loads .dlang files from a directory.
+     * Skips module directories and the .dlang/cache package cache.
+     */
+    private loadDlangFilesRecursively;
+    /**
+     * Checks if a directory entry is a .dlang file.
+     */
+    private isDlangFile;
+    /**
+     * Attempts to load a document, returning undefined on failure.
+     */
+    private tryLoadDocument;
     /**
      * Finds ALL model.yaml files in the workspace.
      * Delegates to shared manifest utilities.