@domainlang/language 0.1.20

package/out/services/dependency-analyzer.js

@@ -0,0 +1,254 @@
+/**
+ * Dependency Analysis Service
+ *
+ * Provides tools for visualizing and analyzing dependency relationships:
+ * - Dependency tree visualization
+ * - Impact analysis (reverse dependencies)
+ * - Circular dependency detection
+ * - Version policy enforcement
+ */
+import path from 'node:path';
+import fs from 'node:fs/promises';
+import os from 'node:os';
+import YAML from 'yaml';
+import { sortVersionsDescending, isPreRelease } from './semver.js';
+/**
+ * Analyzes dependency relationships and provides visualization/analysis tools.
+ */
+export class DependencyAnalyzer {
+    /**
+     * Builds a dependency tree from a lock file.
+     *
+     * @param lockFile - The lock file to analyze
+     * @param workspaceRoot - Workspace root to load dependency metadata
+     * @returns Root nodes of the dependency tree
+     */
+    async buildDependencyTree(lockFile, workspaceRoot) {
+        const manifestPath = path.join(workspaceRoot, 'model.yaml');
+        // Load root manifest to get direct dependencies
+        const rootDeps = {};
+        try {
+            const content = await fs.readFile(manifestPath, 'utf-8');
+            const manifest = YAML.parse(content);
+            if (manifest.dependencies) {
+                for (const [, dep] of Object.entries(manifest.dependencies)) {
+                    rootDeps[dep.source] = dep.version;
+                }
+            }
+        }
+        catch {
+            // No manifest or parse error
+        }
+        // Build tree for each direct dependency
+        const rootNodes = [];
+        const visited = new Set();
+        for (const packageKey of Object.keys(rootDeps)) {
+            const node = await this.buildTreeNode(packageKey, lockFile, workspaceRoot, 0, visited);
+            if (node) {
+                rootNodes.push(node);
+            }
+        }
+        return rootNodes;
+    }
+    /**
+     * Recursively builds a dependency tree node.
+     */
+    async buildTreeNode(packageKey, lockFile, workspaceRoot, depth, visited) {
+        const locked = lockFile.dependencies[packageKey];
+        if (!locked) {
+            return null;
+        }
+        // Prevent infinite recursion
+        if (visited.has(packageKey)) {
+            return {
+                packageKey,
+                ref: locked.ref,
+                commit: locked.commit,
+                dependencies: [], // Don't recurse into already visited
+                depth,
+            };
+        }
+        visited.add(packageKey);
+        // Load package dependencies from cache
+        const cacheDir = this.getCacheDir(packageKey, locked.commit);
+        const packageDeps = await this.loadPackageDependencies(cacheDir);
+        // Build child nodes
+        const children = [];
+        for (const depKey of Object.keys(packageDeps)) {
+            const childNode = await this.buildTreeNode(depKey, lockFile, workspaceRoot, depth + 1, new Set(visited));
+            if (childNode) {
+                children.push(childNode);
+            }
+        }
+        return {
+            packageKey,
+            ref: locked.ref,
+            commit: locked.commit,
+            dependencies: children,
+            depth,
+        };
+    }
+    /**
+     * Finds all packages that depend on a given package.
+     *
+     * @param targetPackage - Package to analyze
+     * @param lockFile - Lock file with all dependencies
+     * @param workspaceRoot - Workspace root
+     * @returns List of reverse dependencies
+     */
+    async findReverseDependencies(targetPackage, lockFile, workspaceRoot) {
+        const reverseDeps = [];
+        const manifestPath = path.join(workspaceRoot, 'model.yaml');
+        // Check if target is a direct dependency of root
+        try {
+            const content = await fs.readFile(manifestPath, 'utf-8');
+            const manifest = YAML.parse(content);
+            if (manifest.dependencies) {
+                for (const [, dep] of Object.entries(manifest.dependencies)) {
+                    if (dep.source === targetPackage) {
+                        reverseDeps.push({
+                            dependentPackage: 'root',
+                            ref: 'workspace',
+                            type: 'direct',
+                        });
+                    }
+                }
+            }
+        }
+        catch {
+            // Ignore
+        }
+        // Check all other packages in lock file
+        for (const [packageKey, locked] of Object.entries(lockFile.dependencies)) {
+            if (packageKey === targetPackage) {
+                continue;
+            }
+            const cacheDir = this.getCacheDir(packageKey, locked.commit);
+            const packageDeps = await this.loadPackageDependencies(cacheDir);
+            if (packageDeps[targetPackage]) {
+                reverseDeps.push({
+                    dependentPackage: packageKey,
+                    ref: locked.ref,
+                    type: 'direct',
+                });
+            }
+        }
+        return reverseDeps;
+    }
+    /**
+     * Formats a dependency tree as a readable string.
+     */
+    formatDependencyTree(nodes, options = {}) {
+        const lines = [];
+        const formatNode = (node, prefix, isLast) => {
+            const branch = isLast ? '└── ' : '├── ';
+            const refStr = options.showCommits
+                ? `${node.ref} (${node.commit.substring(0, 7)})`
+                : node.ref;
+            lines.push(`${prefix}${branch}${node.packageKey}@${refStr}`);
+            const childPrefix = prefix + (isLast ? '    ' : '│   ');
+            node.dependencies.forEach((child, index) => {
+                const isLastChild = index === node.dependencies.length - 1;
+                formatNode(child, childPrefix, isLastChild);
+            });
+        };
+        nodes.forEach((node, index) => {
+            formatNode(node, '', index === nodes.length - 1);
+        });
+        return lines.join('\n');
+    }
+    /**
+     * Detects circular dependencies in a dependency graph.
+     */
+    async detectCircularDependencies(lockFile) {
+        const cycles = [];
+        const visiting = new Set();
+        const completed = new Set();
+        const dfs = async (packageKey, path) => {
+            if (visiting.has(packageKey)) {
+                const cycleStart = path.indexOf(packageKey);
+                const cycle = cycleStart >= 0
+                    ? [...path.slice(cycleStart), packageKey]
+                    : [...path, packageKey];
+                cycles.push(cycle);
+                return;
+            }
+            if (completed.has(packageKey)) {
+                return;
+            }
+            visiting.add(packageKey);
+            const locked = lockFile.dependencies[packageKey];
+            if (locked) {
+                const cacheDir = this.getCacheDir(packageKey, locked.commit);
+                const deps = await this.loadPackageDependencies(cacheDir);
+                for (const depKey of Object.keys(deps)) {
+                    await dfs(depKey, [...path, packageKey]);
+                }
+            }
+            visiting.delete(packageKey);
+            completed.add(packageKey);
+        };
+        for (const packageKey of Object.keys(lockFile.dependencies)) {
+            await dfs(packageKey, []);
+        }
+        return cycles;
+    }
+    /**
+     * Resolves ref policies (latest, stable) to concrete refs.
+     */
+    async resolveVersionPolicy(_packageKey, policy, availableRefs) {
+        if (policy === 'latest') {
+            // Return the most recent ref
+            const sorted = sortVersionsDescending(availableRefs);
+            return {
+                policy: 'latest',
+                ref: sorted[0] || 'main',
+                availableRefs: sorted,
+            };
+        }
+        if (policy === 'stable') {
+            // Return the most recent stable ref (exclude pre-release)
+            const stable = availableRefs.filter(v => !isPreRelease(v));
+            const sorted = sortVersionsDescending(stable);
+            return {
+                policy: 'stable',
+                ref: sorted[0] || 'main',
+                availableRefs: sorted,
+            };
+        }
+        // Pinned ref
+        return {
+            policy: 'pinned',
+            ref: policy,
+        };
+    }
+    /**
+     * Gets the cache directory for a package.
+     */
+    getCacheDir(packageKey, commit) {
+        const [owner, repo] = packageKey.split('/');
+        return path.join(os.homedir(), '.dlang', 'cache', 'github', // Assume GitHub for now
+        owner, repo, commit);
+    }
+    /**
+     * Loads dependencies from a cached package.
+     */
+    async loadPackageDependencies(cacheDir) {
+        const manifestPath = path.join(cacheDir, 'model.yaml');
+        try {
+            const content = await fs.readFile(manifestPath, 'utf-8');
+            const manifest = YAML.parse(content);
+            const deps = {};
+            if (manifest.dependencies) {
+                for (const [, dep] of Object.entries(manifest.dependencies)) {
+                    deps[dep.source] = dep.version;
+                }
+            }
+            return deps;
+        }
+        catch {
+            return {};
+        }
+    }
+}
+//# sourceMappingURL=dependency-analyzer.js.map

package/out/services/dependency-analyzer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependency-analyzer.js","sourceRoot":"","sources":["../../src/services/dependency-analyzer.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,sBAAsB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEnE;;GAEG;AACH,MAAM,OAAO,kBAAkB;IAC3B;;;;;;OAMG;IACH,KAAK,CAAC,mBAAmB,CAAC,QAAkB,EAAE,aAAqB;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;QAE5D,gDAAgD;QAChD,MAAM,QAAQ,GAA2B,EAAE,CAAC;QAC5C,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,CAElC,CAAC;YAEF,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;gBACxB,KAAK,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC1D,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;gBACvC,CAAC;YACL,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACL,6BAA6B;QACjC,CAAC;QAED,wCAAwC;QACxC,MAAM,SAAS,GAAyB,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;YACvF,IAAI,IAAI,EAAE,CAAC;gBACP,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;QACL,CAAC;QAED,OAAO,SAAS,CAAC;IACrB,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,aAAa,CACvB,UAAkB,EAClB,QAAkB,EAClB,aAAqB,EACrB,KAAa,EACb,OAAoB;QAEpB,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QACjD,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,6BAA6B;QAC7B,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1B,OAAO;gBACH,UAAU;gBACV,GAAG,EAAE,MAAM,CAAC,GAAG;gBACf,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,YAAY,EAAE,EAAE,EAAE,qCAAqC;gBACvD,KAAK;aACR,CAAC;QACN,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAExB,uCAAuC;QACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QAC7D,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QAEjE,oBAAoB;QACpB,MAAM,QAAQ,GAAyB,EAAE,CAAC;QAC1C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YAC5C,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;YACzG,IAAI,SAAS,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC7B,CAAC;QACL,CAAC;QAED,OAAO;YACH,UAAU;YACV,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,YAAY,EAAE,QAAQ;YACtB,KAAK;SACR,CAAC;IACN,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,uBAAuB,CACzB,aAAqB,EACrB,QAAkB,EAClB,aAAqB;QAErB,MAAM,WAAW,GAAwB,EAAE,CAAC;QAC5C,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;QAE5D,iDAAiD;QACjD,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,CAElC,CAAC;YAEF,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;gBACxB,KAAK,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC1D,IAAI,GAAG,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;wBAC/B,WAAW,CAAC,IAAI,CAAC;4BACb,gBAAgB,EAAE,MAAM;4BACxB,GAAG,EAAE,WAAW;4BAChB,IAAI,EAAE,QAAQ;yBACjB,CAAC,CAAC;oBACP,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACL,SAAS;QACb,CAAC;QAED,wCAAwC;QACxC,KAAK,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACvE,IAAI,UAAU,KAAK,aAAa,EAAE,CAAC;gBAC/B,SAAS;YACb,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;YAC7D,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;YAEjE,IAAI,WAAW,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC7B,WAAW,CAAC,IAAI,CAAC;oBACb,gBAAgB,EAAE,UAAU;oBAC5B,GAAG,EAAE,MAAM,CAAC,GAAG;oBACf,IAAI,EAAE,QAAQ;iBACjB,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAED,OAAO,WAAW,CAAC;IACvB,CAAC;IAED;;OAEG;IACH,oBAAoB,CAAC,KAA2B,EAAE,UAAqC,EAAE;QACrF,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,MAAM,UAAU,GAAG,CAAC,IAAwB,EAAE,MAAc,EAAE,MAAe,EAAQ,EAAE;YACnF,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;YACxC,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW;gBAC9B,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;gBAChD,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAEf,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC,UAAU,IAAI,MAAM,EAAE,CAAC,CAAC;YAE7D,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACxD,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;gBACvC,MAAM,WAAW,GAAG,KAAK,KAAK,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC3D,UAAU,CAAC,KAAK,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;YAChD,CAAC,CAAC,CAAC;QACP,CAAC,CAAC;QAEF,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAC1B,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,0BAA0B,CAAC,QAAkB;QAC/C,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QAEpC,MAAM,GAAG,GAAG,KAAK,EAAE,UAAkB,EAAE,IAAc,EAAiB,EAAE;YACpE,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC3B,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;gBAC5C,MAAM,KAAK,GAAG,UAAU,IAAI,CAAC;oBACzB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;oBACzC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,CAAC;gBAC5B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACnB,OAAO;YACX,CAAC;YAED,IAAI,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC5B,OAAO;YACX,CAAC;YAED,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAEzB,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;YACjD,IAAI,MAAM,EAAE,CAAC;gBACT,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC7D,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC;gBAE1D,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrC,MAAM,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;gBAC7C,CAAC;YACL,CAAC;YAED,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YAC5B,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC9B,CAAC,CAAC;QAEF,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YAC1D,MAAM,GAAG,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAC9B,CAAC;QAED,OAAO,MAAM,CAAC;IAClB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,oBAAoB,CACtB,WAAmB,EACnB,MAAc,EACd,aAAuB;QAEvB,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YACtB,6BAA6B;YAC7B,MAAM,MAAM,GAAG,sBAAsB,CAAC,aAAa,CAAC,CAAC;YACrD,OAAO;gBACH,MAAM,EAAE,QAAQ;gBAChB,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM;gBACxB,aAAa,EAAE,MAAM;aACxB,CAAC;QACN,CAAC;QAED,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YACtB,0DAA0D;YAC1D,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;YAC9C,OAAO;gBACH,MAAM,EAAE,QAAQ;gBAChB,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM;gBACxB,aAAa,EAAE,MAAM;aACxB,CAAC;QACN,CAAC;QAED,aAAa;QACb,OAAO;YACH,MAAM,EAAE,QAAQ;YAChB,GAAG,EAAE,MAAM;SACd,CAAC;IACN,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,UAAkB,EAAE,MAAc;QAClD,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC5C,OAAO,IAAI,CAAC,IAAI,CACZ,EAAE,CAAC,OAAO,EAAE,EACZ,QAAQ,EACR,OAAO,EACP,QAAQ,EAAE,wBAAwB;QAClC,KAAK,EACL,IAAI,EACJ,MAAM,CACT,CAAC;IACN,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,uBAAuB,CAAC,QAAgB;QAClD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QAEvD,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,CAElC,CAAC;YAEF,MAAM,IAAI,GAA2B,EAAE,CAAC;YACxC,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;gBACxB,KAAK,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC1D,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;gBACnC,CAAC;YACL,CAAC;YAED,OAAO,IAAI,CAAC;QAChB,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,EAAE,CAAC;QACd,CAAC;IACL,CAAC;CACJ"}

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

@@ -0,0 +1,146 @@
+/**
+ * Dependency Resolution Service
+ *
+ * Discovers and resolves transitive dependencies for DomainLang packages.
+ * Generates lock files for reproducible builds.
+ *
+ * Algorithm:
+ * 1. Parse root model.yaml
+ * 2. Download all direct dependencies
+ * 3. Parse each dependency's model.yaml
+ * 4. Recursively discover transitive dependencies
+ * 5. Resolve version constraints using "Latest Wins" strategy
+ * 6. Generate lock file with pinned commit hashes
+ *
+ * Resolution Strategy ("Latest Wins"):
+ * - SemVer tags (same major): Pick highest compatible version
+ * - Same branch: No conflict, resolve once
+ * - Commit pins: Error (explicit pins are intentional)
+ * - Major version mismatch: Error
+ * - Tag vs Branch: Error (incompatible intent)
+ */
+import { GitUrlResolver } from './git-url-resolver.js';
+import type { LockFile } from './types.js';
+export declare class DependencyResolver {
+    private gitResolver;
+    private workspaceRoot;
+    constructor(workspaceRoot: string, gitResolver?: GitUrlResolver);
+    /**
+     * Resolves all dependencies for a workspace.
+     *
+     * Process:
+     * 1. Load root model.yaml
+     * 2. Build dependency graph (discover transitive deps)
+     * 3. Resolve version constraints
+     * 4. Generate lock file
+     * 5. Download all dependencies to cache
+     *
+     * @returns Generated lock file
+     */
+    resolveDependencies(): Promise<LockFile>;
+    /**
+     * Applies ref overrides from model.yaml to resolve conflicts explicitly.
+     *
+     * Overrides take precedence over all other constraints.
+     *
+     * @example
+     * ```yaml
+     * overrides:
+     *   domainlang/core: v2.0.0
+     * ```
+     */
+    private applyOverrides;
+    /** Override messages for CLI output */
+    private overrideMessages;
+    /**
+     * Returns any override messages from the last dependency resolution.
+     */
+    getOverrideMessages(): string[];
+    /**
+     * Builds the complete dependency graph by recursively discovering transitive dependencies.
+     */
+    private buildDependencyGraph;
+    /**
+     * Resolves ref constraints to specific commits.
+     *
+     * Simple algorithm: Use the ref specified in the constraint.
+     * Detects refType (tag, branch, or commit) based on format.
+     */
+    private resolveVersions;
+    /**
+     * Extracts a ref from a constraint string.
+     *
+     * Examples:
+     * - "^1.0.0" → "1.0.0" (treated as tag)
+     * - "~2.3.0" → "2.3.0" (treated as tag)
+     * - "1.5.0" → "1.5.0" (treated as tag)
+     * - "main" → "main" (treated as branch)
+     * - "abc123def" → "abc123def" (treated as commit)
+     * - "owner/repo@1.0.0" → "1.0.0"
+     */
+    private extractRefFromConstraint;
+    /**
+     * Resolves a version (tag/branch) to a commit hash using git ls-remote.
+     */
+    private resolveCommitHash;
+    /**
+     * Generates a lock file from the resolved dependency graph.
+     */
+    private generateLockFile;
+    /**
+     * Loads and parses a package's model.yaml file.
+     */
+    private loadPackageConfig;
+    /**
+     * Parses model.yaml content.
+     *
+     * Expected structure:
+     * model:
+     *   name: package-name
+     *   version: 1.0.0
+     *   entry: index.dlang
+     *
+     * dependencies:
+     *   package-name:
+     *     source: owner/repo
+     *     ref: v1.0.0
+     */
+    private parseYaml;
+    /**
+     * Detects ref conflicts and applies "Latest Wins" resolution strategy.
+     *
+     * Resolution Rules:
+     * - SemVer tags (same major): Pick highest version automatically
+     * - Same branch refs: No conflict, use single resolution
+     * - Commit SHA conflicts: Error (explicit pins are intentional)
+     * - Major version mismatch: Error (breaking change)
+     * - Tag vs Branch: Error (incompatible intent)
+     *
+     * Modifies graph nodes in-place to set the resolved constraint.
+     * Throws an error only for unresolvable conflicts.
+     */
+    private detectVersionConflicts;
+    /**
+     * Throws a formatted conflict error with actionable hints.
+     */
+    private throwConflictError;
+    /** Resolution messages from "Latest Wins" auto-resolution */
+    private resolutionMessages;
+    /**
+     * Returns any resolution messages from the last dependency resolution.
+     * Useful for CLI output to inform users about auto-resolved conflicts.
+     */
+    getResolutionMessages(): string[];
+    /**
+     * Detects package-level cycles in the dependency graph and throws a clear error.
+     */
+    private detectPackageCycles;
+    /**
+     * Loads an existing lock file from disk.
+     */
+    static loadLockFile(workspaceRoot: string): Promise<LockFile | undefined>;
+    /**
+     * Parses a lock file from JSON format.
+     */
+    static parseLockFile(content: string): LockFile;
+}