@domainlang/language 0.1.20

package/out/services/import-resolver.d.ts

@@ -0,0 +1,77 @@
+import { URI, type LangiumDocument } from 'langium';
+import type { DomainLangServices } from '../domain-lang-module.js';
+import type { LockFile } from './types.js';
+/**
+ * ImportResolver resolves import statements using manifest-centric rules (PRS-010).
+ *
+ * Import Types (PRS-010):
+ * - Local relative: ./path, ../path → Directory-first resolution
+ * - Path aliases: @/path, @alias/path → Configurable in model.yaml paths section
+ * - External: owner/package → Manifest dependencies
+ *
+ * Directory-First Resolution:
+ * - ./types → ./types/index.dlang → ./types.dlang
+ * - Module entry defaults to index.dlang (no model.yaml required)
+ */
+export declare class ImportResolver {
+    private readonly workspaceManager;
+    constructor(services: DomainLangServices);
+    /**
+     * Resolve an import specifier relative to a Langium document.
+     */
+    resolveForDocument(document: LangiumDocument, specifier: string): Promise<URI>;
+    /**
+     * Resolve an import specifier from a base directory (non-LSP contexts).
+     */
+    resolveFrom(baseDir: string, specifier: string): Promise<URI>;
+    /**
+     * Resolves a path alias import.
+     *
+     * @param specifier - Import specifier starting with @ (e.g., "@/lib", "@shared/types")
+     */
+    private resolvePathAlias;
+    /**
+     * Finds the longest matching alias for a specifier.
+     */
+    private findMatchingAlias;
+    /**
+     * Resolves an external dependency via manifest.
+     *
+     * NEW FORMAT (PRS-010): Import specifier is owner/package format.
+     */
+    private resolveExternalDependency;
+    /**
+     * Resolves a local path using directory-first resolution.
+     *
+     * Per PRS-010 (updated design):
+     * - If path ends with .dlang → direct file import
+     * - If no extension → directory-first:
+     *   1. Try ./path/index.dlang (module default, no model.yaml required)
+     *   2. Try ./path.dlang (file fallback)
+     */
+    private resolveLocalPath;
+    /**
+     * Directory-first resolution: ./types → ./types/index.dlang → ./types.dlang
+     *
+     * Module entry defaults to index.dlang without requiring model.yaml.
+     * If the directory has model.yaml with custom entry, use that.
+     */
+    private resolveDirectoryFirst;
+    /**
+     * Reads the entry point from a module's model.yaml.
+     * Defaults to index.dlang if no manifest or no entry specified.
+     */
+    private readModuleEntry;
+    /**
+     * Checks if a path is a directory.
+     */
+    private isDirectory;
+    /**
+     * Checks if a file exists.
+     */
+    private fileExists;
+    /**
+     * Get the current lock file (if loaded).
+     */
+    getLockFile(): Promise<LockFile | undefined>;
+}

package/out/services/import-resolver.js

@@ -0,0 +1,240 @@
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import { URI } from 'langium';
+/**
+ * ImportResolver resolves import statements using manifest-centric rules (PRS-010).
+ *
+ * Import Types (PRS-010):
+ * - Local relative: ./path, ../path → Directory-first resolution
+ * - Path aliases: @/path, @alias/path → Configurable in model.yaml paths section
+ * - External: owner/package → Manifest dependencies
+ *
+ * Directory-First Resolution:
+ * - ./types → ./types/index.dlang → ./types.dlang
+ * - Module entry defaults to index.dlang (no model.yaml required)
+ */
+export class ImportResolver {
+    constructor(services) {
+        this.workspaceManager = services.imports.WorkspaceManager;
+    }
+    /**
+     * Resolve an import specifier relative to a Langium document.
+     */
+    async resolveForDocument(document, specifier) {
+        const baseDir = path.dirname(document.uri.fsPath);
+        return this.resolveFrom(baseDir, specifier);
+    }
+    /**
+     * Resolve an import specifier from a base directory (non-LSP contexts).
+     */
+    async resolveFrom(baseDir, specifier) {
+        await this.workspaceManager.initialize(baseDir);
+        // Local relative paths (./path or ../path) - directory-first resolution
+        if (specifier.startsWith('./') || specifier.startsWith('../')) {
+            const resolved = path.resolve(baseDir, specifier);
+            return this.resolveLocalPath(resolved, specifier);
+        }
+        // Path aliases (@/path or @alias/path)
+        if (specifier.startsWith('@')) {
+            return this.resolvePathAlias(specifier);
+        }
+        // External dependency via manifest (owner/package format)
+        return this.resolveExternalDependency(specifier);
+    }
+    /**
+     * Resolves a path alias import.
+     *
+     * @param specifier - Import specifier starting with @ (e.g., "@/lib", "@shared/types")
+     */
+    async resolvePathAlias(specifier) {
+        const aliases = await this.workspaceManager.getPathAliases();
+        const root = this.workspaceManager.getWorkspaceRoot();
+        // Find matching alias
+        const aliasMatch = this.findMatchingAlias(specifier, aliases);
+        if (aliasMatch) {
+            const { alias: _alias, targetPath, remainder } = aliasMatch;
+            const manifestPath = await this.workspaceManager.getManifestPath();
+            const manifestDir = manifestPath ? path.dirname(manifestPath) : root;
+            const resolvedBase = path.resolve(manifestDir, targetPath);
+            const resolved = remainder ? path.join(resolvedBase, remainder) : resolvedBase;
+            return this.resolveLocalPath(resolved, specifier);
+        }
+        // Default: @/ maps to workspace root (implicit)
+        if (specifier.startsWith('@/')) {
+            const relativePath = specifier.slice(2);
+            const resolved = path.join(root, relativePath);
+            return this.resolveLocalPath(resolved, specifier);
+        }
+        throw new Error(`Unknown path alias '${specifier.split('/')[0]}' in import '${specifier}'.\n` +
+            `Hint: Define it in model.yaml paths section:\n` +
+            `  paths:\n` +
+            `    "${specifier.split('/')[0]}": "./some/path"`);
+    }
+    /**
+     * Finds the longest matching alias for a specifier.
+     */
+    findMatchingAlias(specifier, aliases) {
+        if (!aliases) {
+            return undefined;
+        }
+        // Sort by length descending to match most specific alias first
+        const sortedAliases = Object.entries(aliases)
+            .sort(([a], [b]) => b.length - a.length);
+        for (const [alias, targetPath] of sortedAliases) {
+            // Exact match
+            if (specifier === alias) {
+                return { alias, targetPath, remainder: '' };
+            }
+            // Prefix match (alias + /)
+            if (specifier.startsWith(`${alias}/`)) {
+                return { alias, targetPath, remainder: specifier.slice(alias.length + 1) };
+            }
+        }
+        return undefined;
+    }
+    /**
+     * Resolves an external dependency via manifest.
+     *
+     * NEW FORMAT (PRS-010): Import specifier is owner/package format.
+     */
+    async resolveExternalDependency(specifier) {
+        const manifest = await this.workspaceManager.getManifest();
+        if (!manifest) {
+            throw new Error(`External dependency '${specifier}' requires model.yaml.\n` +
+                `Hint: Create model.yaml and add the dependency:\n` +
+                `  dependencies:\n` +
+                `    ${specifier}:\n` +
+                `      ref: v1.0.0`);
+        }
+        const lock = await this.workspaceManager.getLockFile();
+        if (!lock) {
+            throw new Error(`Dependency '${specifier}' not installed.\n` +
+                `Hint: Run 'dlang install' to fetch dependencies and generate model.lock.`);
+        }
+        const mapped = await this.workspaceManager.resolveDependencyImport(specifier);
+        if (!mapped) {
+            throw new Error(`Dependency '${specifier}' not found in model.yaml.\n` +
+                `Hint: Add it to your dependencies:\n` +
+                `  dependencies:\n` +
+                `    ${specifier}:\n` +
+                `      ref: v1.0.0`);
+        }
+        const git = await this.workspaceManager.getGitResolver();
+        return git.resolve(mapped, { allowNetwork: false });
+    }
+    /**
+     * Resolves a local path using directory-first resolution.
+     *
+     * Per PRS-010 (updated design):
+     * - If path ends with .dlang → direct file import
+     * - If no extension → directory-first:
+     *   1. Try ./path/index.dlang (module default, no model.yaml required)
+     *   2. Try ./path.dlang (file fallback)
+     */
+    async resolveLocalPath(resolved, original) {
+        const ext = path.extname(resolved);
+        if (ext === '.dlang') {
+            // Direct file import
+            await assertFileExists(resolved, original);
+            return URI.file(resolved);
+        }
+        if (ext && ext !== '.dlang') {
+            throw new Error(`Invalid file extension '${ext}' in import '${original}'.\n` +
+                `Hint: DomainLang files must use the .dlang extension.`);
+        }
+        // No extension → directory-first resolution
+        return this.resolveDirectoryFirst(resolved, original);
+    }
+    /**
+     * Directory-first resolution: ./types → ./types/index.dlang → ./types.dlang
+     *
+     * Module entry defaults to index.dlang without requiring model.yaml.
+     * If the directory has model.yaml with custom entry, use that.
+     */
+    async resolveDirectoryFirst(resolved, original) {
+        // Step 1: Check if directory exists with index.dlang (or custom entry)
+        const isDirectory = await this.isDirectory(resolved);
+        if (isDirectory) {
+            // Check for model.yaml to get custom entry point
+            const moduleManifestPath = path.join(resolved, 'model.yaml');
+            const entryPoint = await this.readModuleEntry(moduleManifestPath);
+            const entryFile = path.join(resolved, entryPoint);
+            if (await this.fileExists(entryFile)) {
+                return URI.file(entryFile);
+            }
+            // Directory exists but no entry file
+            throw new Error(`Module '${original}' is missing its entry file.\n` +
+                `Expected: ${resolved}/${entryPoint}\n` +
+                `Hint: Create '${entryPoint}' in the module directory, or specify a custom entry in model.yaml:\n` +
+                `  model:\n` +
+                `    entry: main.dlang`);
+        }
+        // Step 2: Try .dlang file fallback
+        const fileWithExt = `${resolved}.dlang`;
+        if (await this.fileExists(fileWithExt)) {
+            return URI.file(fileWithExt);
+        }
+        // Neither directory nor file found
+        throw new Error(`Cannot resolve import '${original}'.\n` +
+            `Tried:\n` +
+            `  • ${resolved}/index.dlang (directory module)\n` +
+            `  • ${resolved}.dlang (file)\n` +
+            `Hint: Check that the path is correct and the file exists.`);
+    }
+    /**
+     * Reads the entry point from a module's model.yaml.
+     * Defaults to index.dlang if no manifest or no entry specified.
+     */
+    async readModuleEntry(manifestPath) {
+        try {
+            const content = await fs.readFile(manifestPath, 'utf-8');
+            const YAML = await import('yaml');
+            const manifest = YAML.parse(content);
+            return manifest?.model?.entry ?? 'index.dlang';
+        }
+        catch {
+            return 'index.dlang';
+        }
+    }
+    /**
+     * Checks if a path is a directory.
+     */
+    async isDirectory(targetPath) {
+        try {
+            const stat = await fs.stat(targetPath);
+            return stat.isDirectory();
+        }
+        catch {
+            return false;
+        }
+    }
+    /**
+     * Checks if a file exists.
+     */
+    async fileExists(filePath) {
+        try {
+            await fs.access(filePath);
+            return true;
+        }
+        catch {
+            return false;
+        }
+    }
+    /**
+     * Get the current lock file (if loaded).
+     */
+    async getLockFile() {
+        return this.workspaceManager.getLockFile();
+    }
+}
+async function assertFileExists(filePath, original) {
+    try {
+        await fs.access(filePath);
+    }
+    catch {
+        throw new Error(`Import file not found: '${original}'.\\n` +
+            `Resolved path: ${filePath}\\n` +
+            `Hint: Check that the file exists and the path is correct.`);
+    }
+}
+//# sourceMappingURL=import-resolver.js.map

package/out/services/import-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"import-resolver.js","sourceRoot":"","sources":["../../src/services/import-resolver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,GAAG,EAAwB,MAAM,SAAS,CAAC;AAKpD;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,cAAc;IAGvB,YAAY,QAA4B;QACpC,IAAI,CAAC,gBAAgB,GAAG,QAAQ,CAAC,OAAO,CAAC,gBAAgB,CAAC;IAC9D,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,kBAAkB,CAAC,QAAyB,EAAE,SAAiB;QACjE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAChD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,WAAW,CAAC,OAAe,EAAE,SAAiB;QAChD,MAAM,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAEhD,wEAAwE;QACxE,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAClD,OAAO,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACtD,CAAC;QAED,uCAAuC;QACvC,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC5C,CAAC;QAED,0DAA0D;QAC1D,OAAO,IAAI,CAAC,yBAAyB,CAAC,SAAS,CAAC,CAAC;IACrD,CAAC;IAED;;;;OAIG;IACK,KAAK,CAAC,gBAAgB,CAAC,SAAiB;QAC5C,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,cAAc,EAAE,CAAC;QAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,CAAC;QAEtD,sBAAsB;QACtB,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAE9D,IAAI,UAAU,EAAE,CAAC;YACb,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC;YAC5D,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,eAAe,EAAE,CAAC;YACnE,MAAM,WAAW,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACrE,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;YAC3D,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;YAC/E,OAAO,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACtD,CAAC;QAED,gDAAgD;QAChD,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YAC/C,OAAO,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACtD,CAAC;QAED,MAAM,IAAI,KAAK,CACX,uBAAuB,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,SAAS,MAAM;YAC7E,gDAAgD;YAChD,YAAY;YACZ,QAAQ,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,CACpD,CAAC;IACN,CAAC;IAED;;OAEG;IACK,iBAAiB,CACrB,SAAiB,EACjB,OAA2C;QAE3C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,+DAA+D;QAC/D,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;aACxC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;QAE7C,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,aAAa,EAAE,CAAC;YAC9C,cAAc;YACd,IAAI,SAAS,KAAK,KAAK,EAAE,CAAC;gBACtB,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;YAChD,CAAC;YACD,2BAA2B;YAC3B,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC;gBACpC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/E,CAAC;QACL,CAAC;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED;;;;OAIG;IACK,KAAK,CAAC,yBAAyB,CAAC,SAAiB;QACrD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;QAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACX,wBAAwB,SAAS,0BAA0B;gBAC3D,mDAAmD;gBACnD,mBAAmB;gBACnB,OAAO,SAAS,KAAK;gBACrB,mBAAmB,CACtB,CAAC;QACN,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;QACvD,IAAI,CAAC,IAAI,EAAE,CAAC;YACR,MAAM,IAAI,KAAK,CACX,eAAe,SAAS,oBAAoB;gBAC5C,0EAA0E,CAC7E,CAAC;QACN,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC;QAC9E,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACX,eAAe,SAAS,8BAA8B;gBACtD,sCAAsC;gBACtC,mBAAmB;gBACnB,OAAO,SAAS,KAAK;gBACrB,mBAAmB,CACtB,CAAC;QACN,CAAC;QAED,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,cAAc,EAAE,CAAC;QACzD,OAAO,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;IACxD,CAAC;IAED;;;;;;;;OAQG;IACK,KAAK,CAAC,gBAAgB,CAAC,QAAgB,EAAE,QAAgB;QAC7D,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAEnC,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACnB,qBAAqB;YACrB,MAAM,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAC3C,OAAO,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,CAAC;QAED,IAAI,GAAG,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CACX,2BAA2B,GAAG,gBAAgB,QAAQ,MAAM;gBAC5D,uDAAuD,CAC1D,CAAC;QACN,CAAC;QAED,4CAA4C;QAC5C,OAAO,IAAI,CAAC,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC1D,CAAC;IAED;;;;;OAKG;IACK,KAAK,CAAC,qBAAqB,CAAC,QAAgB,EAAE,QAAgB;QAClE,uEAAuE;QACvE,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QACrD,IAAI,WAAW,EAAE,CAAC;YACd,iDAAiD;YACjD,MAAM,kBAAkB,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;YAC7D,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,kBAAkB,CAAC,CAAC;YAClE,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YAElD,IAAI,MAAM,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBACnC,OAAO,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC/B,CAAC;YAED,qCAAqC;YACrC,MAAM,IAAI,KAAK,CACX,WAAW,QAAQ,gCAAgC;gBACnD,aAAa,QAAQ,IAAI,UAAU,IAAI;gBACvC,iBAAiB,UAAU,uEAAuE;gBAClG,YAAY;gBACZ,uBAAuB,CAC1B,CAAC;QACN,CAAC;QAED,mCAAmC;QACnC,MAAM,WAAW,GAAG,GAAG,QAAQ,QAAQ,CAAC;QACxC,IAAI,MAAM,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACrC,OAAO,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,CAAC;QAED,mCAAmC;QACnC,MAAM,IAAI,KAAK,CACX,0BAA0B,QAAQ,MAAM;YACxC,UAAU;YACV,OAAO,QAAQ,mCAAmC;YAClD,OAAO,QAAQ,iBAAiB;YAChC,2DAA2D,CAC9D,CAAC;IACN,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,eAAe,CAAC,YAAoB;QAC9C,IAAI,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;YACzD,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC;YAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAmC,CAAC;YACvE,OAAO,QAAQ,EAAE,KAAK,EAAE,KAAK,IAAI,aAAa,CAAC;QACnD,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,aAAa,CAAC;QACzB,CAAC;IACL,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,WAAW,CAAC,UAAkB;QACxC,IAAI,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC;QAC9B,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,UAAU,CAAC,QAAgB;QACrC,IAAI,CAAC;YACD,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC1B,OAAO,IAAI,CAAC;QAChB,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,WAAW;QACb,OAAO,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;IAC/C,CAAC;CACJ;AAED,KAAK,UAAU,gBAAgB,CAAC,QAAgB,EAAE,QAAgB;IAC9D,IAAI,CAAC;QACD,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACL,MAAM,IAAI,KAAK,CACX,2BAA2B,QAAQ,OAAO;YAC1C,kBAAkB,QAAQ,KAAK;YAC/B,2DAA2D,CAC9D,CAAC;IACN,CAAC;AACL,CAAC"}

package/out/services/performance-optimizer.d.ts

@@ -0,0 +1,60 @@
+/**
+ * Performance Optimization Service
+ *
+ * Provides caching and optimization strategies for dependency resolution:
+ * - In-memory caching of frequently accessed lock files
+ * - Parallel dependency downloads
+ * - Cache warming strategies
+ * - Stale cache detection
+ */
+import type { LockFile } from './types.js';
+/**
+ * Performance optimizer with in-memory caching.
+ */
+export declare class PerformanceOptimizer {
+    private lockFileCache;
+    private manifestCache;
+    private readonly cacheTTL;
+    constructor(options?: {
+        cacheTTL?: number;
+    });
+    /**
+     * Gets a lock file from cache or loads it from disk.
+     */
+    getCachedLockFile(workspaceRoot: string): Promise<LockFile | undefined>;
+    /**
+     * Gets a manifest file from cache or loads it from disk.
+     */
+    getCachedManifest(manifestPath: string): Promise<unknown | undefined>;
+    /**
+     * Invalidates cache for a specific workspace.
+     */
+    invalidateCache(workspaceRoot: string): void;
+    /**
+     * Clears all caches.
+     */
+    clearAllCaches(): void;
+    /**
+     * Gets cache statistics.
+     */
+    getCacheStats(): {
+        lockFiles: number;
+        manifests: number;
+    };
+    /**
+     * Detects if cached files are stale compared to disk.
+     */
+    detectStaleCaches(): Promise<string[]>;
+    /**
+     * Normalizes a file path for cache keys.
+     */
+    private normalizePath;
+}
+/**
+ * Gets the global performance optimizer instance.
+ */
+export declare function getGlobalOptimizer(): PerformanceOptimizer;
+/**
+ * Resets the global optimizer (useful for testing).
+ */
+export declare function resetGlobalOptimizer(): void;

package/out/services/performance-optimizer.js

@@ -0,0 +1,140 @@
+/**
+ * Performance Optimization Service
+ *
+ * Provides caching and optimization strategies for dependency resolution:
+ * - In-memory caching of frequently accessed lock files
+ * - Parallel dependency downloads
+ * - Cache warming strategies
+ * - Stale cache detection
+ */
+import path from 'node:path';
+import fs from 'node:fs/promises';
+/**
+ * Performance optimizer with in-memory caching.
+ */
+export class PerformanceOptimizer {
+    constructor(options = {}) {
+        this.lockFileCache = new Map();
+        this.manifestCache = new Map();
+        // Default TTL: 5 minutes
+        this.cacheTTL = options.cacheTTL ?? 5 * 60 * 1000;
+    }
+    /**
+     * Gets a lock file from cache or loads it from disk.
+     */
+    async getCachedLockFile(workspaceRoot) {
+        const cacheKey = this.normalizePath(workspaceRoot);
+        const cached = this.lockFileCache.get(cacheKey);
+        // Check if cache is still valid
+        if (cached && Date.now() - cached.timestamp < this.cacheTTL) {
+            return cached.value;
+        }
+        // Load from disk
+        const lockPath = path.join(workspaceRoot, 'model.lock');
+        try {
+            const content = await fs.readFile(lockPath, 'utf-8');
+            const lockFile = JSON.parse(content);
+            // Cache it
+            this.lockFileCache.set(cacheKey, {
+                value: lockFile,
+                timestamp: Date.now(),
+            });
+            return lockFile;
+        }
+        catch {
+            return undefined;
+        }
+    }
+    /**
+     * Gets a manifest file from cache or loads it from disk.
+     */
+    async getCachedManifest(manifestPath) {
+        const cacheKey = this.normalizePath(manifestPath);
+        const cached = this.manifestCache.get(cacheKey);
+        if (cached && Date.now() - cached.timestamp < this.cacheTTL) {
+            return cached.value;
+        }
+        try {
+            const content = await fs.readFile(manifestPath, 'utf-8');
+            const manifest = JSON.parse(content);
+            this.manifestCache.set(cacheKey, {
+                value: manifest,
+                timestamp: Date.now(),
+            });
+            return manifest;
+        }
+        catch {
+            return undefined;
+        }
+    }
+    /**
+     * Invalidates cache for a specific workspace.
+     */
+    invalidateCache(workspaceRoot) {
+        const cacheKey = this.normalizePath(workspaceRoot);
+        this.lockFileCache.delete(cacheKey);
+    }
+    /**
+     * Clears all caches.
+     */
+    clearAllCaches() {
+        this.lockFileCache.clear();
+        this.manifestCache.clear();
+    }
+    /**
+     * Gets cache statistics.
+     */
+    getCacheStats() {
+        return {
+            lockFiles: this.lockFileCache.size,
+            manifests: this.manifestCache.size,
+        };
+    }
+    /**
+     * Detects if cached files are stale compared to disk.
+     */
+    async detectStaleCaches() {
+        const stale = [];
+        for (const [workspaceRoot] of this.lockFileCache) {
+            const lockPath = path.join(workspaceRoot, 'model.lock');
+            try {
+                const stat = await fs.stat(lockPath);
+                const cached = this.lockFileCache.get(workspaceRoot);
+                if (cached && stat.mtimeMs > cached.timestamp) {
+                    stale.push(workspaceRoot);
+                }
+            }
+            catch {
+                // File doesn't exist anymore
+                stale.push(workspaceRoot);
+            }
+        }
+        return stale;
+    }
+    /**
+     * Normalizes a file path for cache keys.
+     */
+    normalizePath(filePath) {
+        return path.resolve(filePath);
+    }
+}
+/**
+ * Global singleton performance optimizer.
+ */
+let globalOptimizer;
+/**
+ * Gets the global performance optimizer instance.
+ */
+export function getGlobalOptimizer() {
+    if (!globalOptimizer) {
+        globalOptimizer = new PerformanceOptimizer();
+    }
+    return globalOptimizer;
+}
+/**
+ * Resets the global optimizer (useful for testing).
+ */
+export function resetGlobalOptimizer() {
+    globalOptimizer = undefined;
+}
+//# sourceMappingURL=performance-optimizer.js.map

package/out/services/performance-optimizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"performance-optimizer.js","sourceRoot":"","sources":["../../src/services/performance-optimizer.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAUlC;;GAEG;AACH,MAAM,OAAO,oBAAoB;IAK7B,YAAY,UAAiC,EAAE;QAJvC,kBAAa,GAAG,IAAI,GAAG,EAAgC,CAAC;QACxD,kBAAa,GAAG,IAAI,GAAG,EAA+B,CAAC;QAI3D,yBAAyB;QACzB,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;IACtD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,iBAAiB,CAAC,aAAqB;QACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEhD,gCAAgC;QAChC,IAAI,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC1D,OAAO,MAAM,CAAC,KAAK,CAAC;QACxB,CAAC;QAED,iBAAiB;QACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;QACxD,IAAI,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACrD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAa,CAAC;YAEjD,WAAW;YACX,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE;gBAC7B,KAAK,EAAE,QAAQ;gBACf,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;aACxB,CAAC,CAAC;YAEH,OAAO,QAAQ,CAAC;QACpB,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,SAAS,CAAC;QACrB,CAAC;IACL,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,iBAAiB,CAAC,YAAoB;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEhD,IAAI,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC1D,OAAO,MAAM,CAAC,KAAK,CAAC;QACxB,CAAC;QAED,IAAI,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;YACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAErC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE;gBAC7B,KAAK,EAAE,QAAQ;gBACf,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;aACxB,CAAC,CAAC;YAEH,OAAO,QAAQ,CAAC;QACpB,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,SAAS,CAAC;QACrB,CAAC;IACL,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,aAAqB;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC;QACnD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED;;OAEG;IACH,cAAc;QACV,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;IAC/B,CAAC;IAED;;OAEG;IACH,aAAa;QACT,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI;YAClC,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,IAAI;SACrC,CAAC;IACN,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,iBAAiB;QACnB,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,KAAK,MAAM,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;YACxD,IAAI,CAAC;gBACD,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACrC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;gBAErD,IAAI,MAAM,IAAI,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;oBAC5C,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBAC9B,CAAC;YACL,CAAC;YAAC,MAAM,CAAC;gBACL,6BAA6B;gBAC7B,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YAC9B,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,QAAgB;QAClC,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC;CACJ;AAED;;GAEG;AACH,IAAI,eAAiD,CAAC;AAEtD;;GAEG;AACH,MAAM,UAAU,kBAAkB;IAC9B,IAAI,CAAC,eAAe,EAAE,CAAC;QACnB,eAAe,GAAG,IAAI,oBAAoB,EAAE,CAAC;IACjD,CAAC;IACD,OAAO,eAAe,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB;IAChC,eAAe,GAAG,SAAS,CAAC;AAChC,CAAC"}

package/out/services/relationship-inference.d.ts

@@ -0,0 +1,11 @@
+import type { Model } from '../generated/ast.js';
+/**
+ * Enriches relationships in the model by inferring relationship types
+ * from roles and arrow directions.
+ *
+ * This service walks the entire model structure and applies inference
+ * rules to relationships that don't have an explicit type.
+ *
+ * @param model - The root model to process
+ */
+export declare function setInferredRelationshipTypes(model: Model): void;

package/out/services/relationship-inference.js

@@ -0,0 +1,98 @@
+import { isBoundedContext, isContextMap, isNamespaceDeclaration } from '../generated/ast.js';
+/**
+ * Enriches relationships in the model by inferring relationship types
+ * from roles and arrow directions.
+ *
+ * This service walks the entire model structure and applies inference
+ * rules to relationships that don't have an explicit type.
+ *
+ * @param model - The root model to process
+ */
+export function setInferredRelationshipTypes(model) {
+    walkStructureElements(model.children);
+}
+/**
+ * Recursively walks structure elements to find and enrich relationships.
+ *
+ * @param elements - Array of structure elements to process
+ * @param containerBc - Optional container bounded context (for nested contexts)
+ */
+function walkStructureElements(elements = [], containerBc) {
+    for (const element of elements) {
+        if (isNamespaceDeclaration(element)) {
+            walkStructureElements(element.children, containerBc);
+        }
+        else if (isBoundedContext(element)) {
+            processContextRelationships(element);
+        }
+        else if (isContextMap(element)) {
+            processMapRelationships(element);
+        }
+    }
+}
+/**
+ * Processes relationships within a bounded context.
+ *
+ * @param context - The bounded context to process
+ */
+function processContextRelationships(context) {
+    for (const rel of context.relationships) {
+        enrichRelationship(rel);
+    }
+}
+/**
+ * Processes relationships within a context map.
+ *
+ * @param map - The context map to process
+ */
+function processMapRelationships(map) {
+    if (map.relationships) {
+        for (const rel of map.relationships) {
+            enrichRelationship(rel);
+        }
+    }
+}
+/**
+ * Enriches a single relationship by inferring its type if not explicitly set.
+ *
+ * @param rel - The relationship to enrich
+ */
+function enrichRelationship(rel) {
+    if (!rel.type) {
+        rel.inferredType = inferRelationshipType(rel);
+    }
+}
+/**
+ * Infers relationship type from arrow direction and roles.
+ *
+ * Inference rules:
+ * - `><` → SeparateWays
+ * - `<->` with P roles → Partnership
+ * - `<->` with SK roles → SharedKernel
+ * - `->` or `<-` → UpstreamDownstream
+ *
+ * @param relationship - The relationship to analyze
+ * @returns The inferred type or undefined if no rule matches
+ */
+function inferRelationshipType(relationship) {
+    const leftPatterns = (relationship.leftPatterns ?? []).map((r) => r.toUpperCase());
+    const rightPatterns = (relationship.rightPatterns ?? []).map((r) => r.toUpperCase());
+    if (relationship.arrow === '><') {
+        return 'SeparateWays';
+    }
+    if (relationship.arrow === '<->') {
+        const noPatterns = leftPatterns.length === 0 && rightPatterns.length === 0;
+        const bothPartners = leftPatterns.includes('P') && rightPatterns.includes('P');
+        if (noPatterns || bothPartners) {
+            return 'Partnership';
+        }
+        if (leftPatterns.includes('SK') && rightPatterns.includes('SK')) {
+            return 'SharedKernel';
+        }
+    }
+    if (relationship.arrow === '->' || relationship.arrow === '<-') {
+        return 'UpstreamDownstream';
+    }
+    return undefined;
+}
+//# sourceMappingURL=relationship-inference.js.map

package/out/services/relationship-inference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relationship-inference.js","sourceRoot":"","sources":["../../src/services/relationship-inference.ts"],"names":[],"mappings":"AAOA,OAAO,EACH,gBAAgB,EAChB,YAAY,EACZ,sBAAsB,EACzB,MAAM,qBAAqB,CAAC;AAE7B;;;;;;;;GAQG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAY;IACrD,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;GAKG;AACH,SAAS,qBAAqB,CAC1B,WAA+B,EAAE,EACjC,WAA4B;IAE5B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QACjC,IAAI,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9B,qBAAqB,CAAC,OAAO,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,2BAA2B,CAAC,OAAO,CAAC,CAAC;QACzC,CAAC;aAAM,IAAI,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACrC,CAAC;IACL,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,SAAS,2BAA2B,CAAC,OAAuB;IACxD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QACtC,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,SAAS,uBAAuB,CAAC,GAAe;IAC5C,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;QACpB,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;YAClC,kBAAkB,CAAC,GAAG,CAAC,CAAC;QAC5B,CAAC;IACL,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,GAAiB;IACzC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACZ,GAAG,CAAC,YAAY,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;IAClD,CAAC;AACL,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,qBAAqB,CAAC,YAA0B;IACrD,MAAM,YAAY,GAAG,CAAC,YAAY,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IAC3F,MAAM,aAAa,GAAG,CAAC,YAAY,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IAE7F,IAAI,YAAY,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC9B,OAAO,cAAc,CAAC;IAC1B,CAAC;IAED,IAAI,YAAY,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC;QAC3E,MAAM,YAAY,GAAG,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAE/E,IAAI,UAAU,IAAI,YAAY,EAAE,CAAC;YAC7B,OAAO,aAAa,CAAC;QACzB,CAAC;QAED,IAAI,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,OAAO,cAAc,CAAC;QAC1B,CAAC;IACL,CAAC;IAED,IAAI,YAAY,CAAC,KAAK,KAAK,IAAI,IAAI,YAAY,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC7D,OAAO,oBAAoB,CAAC;IAChC,CAAC;IAED,OAAO,SAAS,CAAC;AACrB,CAAC"}