@domainlang/language 0.1.82 → 0.4.0

package/out/validation/import.js

@@ -1,134 +1,236 @@
-import { resolveImportPath } from '../utils/import-utils.js';
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import { ValidationMessages, buildCodeDescription, IssueCodes } from './constants.js';
 /**
  * Validates import statements in DomainLang.
  *
+ * Uses async validators (Langium 4.x supports MaybePromise<void>) to leverage
+ * the shared WorkspaceManager service with its cached manifest/lock file reading.
+ *
  * Checks:
- * - Import paths are resolvable
- * - Named imports exist in target document
- * - Import aliases don't conflict with local names
+ * - External imports require manifest + alias
+ * - Local path dependencies stay inside workspace
+ * - Lock file exists for external dependencies
  */
 export class ImportValidator {
     constructor(services) {
-        this.documents = services.shared.workspace.LangiumDocuments;
+        this.workspaceManager = services.imports.WorkspaceManager;
     }
     /**
-     * Validates that an import path is resolvable.
+     * Validates an import statement asynchronously.
+     *
+     * Langium validators can return MaybePromise<void>, enabling async operations
+     * like reading manifests via the shared, cached WorkspaceManager.
      */
-    async checkImportPath(imp, accept, document) {
+    async checkImportPath(imp, accept, document, _cancelToken) {
         if (!imp.uri) {
-            accept('error', 'Import statement must have a URI', {
+            accept('error', ValidationMessages.IMPORT_MISSING_URI(), {
                 node: imp,
-                keyword: 'import'
+                keyword: 'import',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportMissingUri }
             });
             return;
         }
-        try {
-            await resolveImportPath(document, imp.uri);
+        if (!this.isExternalImport(imp.uri)) {
+            return;
         }
-        catch (error) {
-            const message = error instanceof Error ? error.message : String(error);
-            accept('error', `Cannot resolve import: ${message}`, {
+        // Initialize workspace manager from document location
+        const docDir = path.dirname(document.uri.fsPath);
+        await this.workspaceManager.initialize(docDir);
+        const manifest = await this.workspaceManager.getManifest();
+        if (!manifest) {
+            accept('error', ValidationMessages.IMPORT_REQUIRES_MANIFEST(imp.uri), {
                 node: imp,
-                property: 'uri'
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportRequiresManifest, specifier: imp.uri }
             });
-        }
-    }
-    /**
-     * Validates that named imports exist in the target document.
-     */
-    async checkNamedImports(imp, accept, document) {
-        // Only check if we have named imports
-        if (!imp.symbols || imp.symbols.length === 0) {
             return;
         }
-        if (!imp.uri) {
-            return; // Already reported by checkImportPath
+        const alias = imp.uri.split('/')[0];
+        const dependency = this.getDependency(manifest, alias);
+        if (!dependency) {
+            accept('error', ValidationMessages.IMPORT_NOT_IN_MANIFEST(alias), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportNotInManifest, alias }
+            });
+            return;
         }
-        try {
-            // Resolve the target document
-            const targetUri = await resolveImportPath(document, imp.uri);
-            const targetDoc = await this.documents.getOrCreateDocument(targetUri);
-            if (!targetDoc.parseResult?.value) {
-                accept('error', `Cannot load imported document: ${imp.uri}`, {
+        this.validateDependencyConfig(dependency, alias, accept, imp);
+        // External source dependencies require lock file and cached packages
+        if (dependency.source) {
+            const lockFile = await this.workspaceManager.getLockFile();
+            if (!lockFile) {
+                accept('error', ValidationMessages.IMPORT_NOT_INSTALLED(alias), {
                     node: imp,
-                    property: 'uri'
+                    property: 'uri',
+                    codeDescription: buildCodeDescription('language.md', 'imports'),
+                    data: { code: IssueCodes.ImportNotInstalled, alias }
                 });
                 return;
             }
-            // Get all exported symbols from target document
-            const targetModel = targetDoc.parseResult.value;
-            const exportedSymbols = this.getExportedSymbols(targetModel);
-            // Check each imported symbol
-            for (const symbol of imp.symbols) {
-                if (!exportedSymbols.has(symbol)) {
-                    accept('error', `Symbol '${symbol}' not found in ${imp.uri}`, {
-                        node: imp,
-                        property: 'symbols'
-                    });
-                }
-            }
+            await this.validateCachedPackage(dependency, alias, lockFile, accept, imp);
         }
-        catch {
-            // Import path error already reported by checkImportPath
+    }
+    /**
+     * Determines if an import URI is external (requires manifest).
+     *
+     * Per PRS-010:
+     * - Local relative: ./path, ../path
+     * - Path aliases: @/path, @alias/path (resolved via manifest paths section)
+     * - External: owner/package (requires manifest dependencies)
+     */
+    isExternalImport(uri) {
+        if (uri.startsWith('./') || uri.startsWith('../')) {
+            return false;
+        }
+        if (uri.startsWith('@')) {
+            return false;
+        }
+        return true;
+    }
+    /**
+     * Gets the normalized dependency configuration for an alias.
+     */
+    getDependency(manifest, alias) {
+        const dep = manifest.dependencies?.[alias];
+        if (!dep) {
+            return undefined;
+        }
+        if (typeof dep === 'string') {
+            return { source: alias, ref: dep };
+        }
+        if (!dep.source && !dep.path) {
+            return { ...dep, source: alias };
+        }
+        return dep;
+    }
+    /**
+     * Validates dependency configuration.
+     */
+    validateDependencyConfig(dependency, alias, accept, imp) {
+        if (dependency.source && dependency.path) {
+            accept('error', ValidationMessages.IMPORT_CONFLICTING_SOURCE_PATH(alias), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportConflictingSourcePath, alias }
+            });
+            return;
+        }
+        if (!dependency.source && !dependency.path) {
+            accept('error', ValidationMessages.IMPORT_MISSING_SOURCE_OR_PATH(alias), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportMissingSourceOrPath, alias }
+            });
             return;
         }
+        if (dependency.source && !dependency.ref) {
+            accept('error', ValidationMessages.IMPORT_MISSING_REF(alias), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportMissingRef, alias }
+            });
+        }
+        if (dependency.path) {
+            this.validateLocalPathDependency(dependency.path, alias, accept, imp);
+        }
     }
     /**
-     * Gets all exportable symbols from a model.
-     *
-     * In DomainLang, top-level declarations are implicitly exported:
-     * - Domains
-     * - BoundedContexts
-     * - Classifications
-     * - Groups
+     * Validates local path dependencies stay within workspace.
      */
-    getExportedSymbols(model) {
-        const symbols = new Set();
-        // Iterate through all structure elements
-        for (const element of model.children ?? []) {
-            // Check if element has a name and add it
-            if ('name' in element && typeof element.name === 'string') {
-                symbols.add(element.name);
-            }
+    validateLocalPathDependency(dependencyPath, alias, accept, imp) {
+        if (path.isAbsolute(dependencyPath)) {
+            accept('error', ValidationMessages.IMPORT_ABSOLUTE_PATH(alias, dependencyPath), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportAbsolutePath, alias, path: dependencyPath }
+            });
+            return;
+        }
+        const workspaceRoot = this.workspaceManager.getWorkspaceRoot();
+        const resolvedPath = path.resolve(workspaceRoot, dependencyPath);
+        const relativeToWorkspace = path.relative(workspaceRoot, resolvedPath);
+        if (relativeToWorkspace.startsWith('..') || path.isAbsolute(relativeToWorkspace)) {
+            accept('error', ValidationMessages.IMPORT_ESCAPES_WORKSPACE(alias), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportEscapesWorkspace, alias }
+            });
         }
-        return symbols;
     }
     /**
-     * Checks for unused imports.
-     *
-     * This is a warning, not an error, to avoid being too strict.
+     * Validates that external dependency is in lock file and cached.
      */
-    checkUnusedImports(imp, _accept, _model) {
-        // Skip check for wildcard imports (no named imports)
-        if (!imp.symbols || imp.symbols.length === 0) {
+    async validateCachedPackage(dependency, alias, lockFile, accept, imp) {
+        // Source is guaranteed to exist when this method is called (see caller)
+        const packageKey = dependency.source ?? alias;
+        const lockedDep = lockFile.dependencies[packageKey];
+        if (!lockedDep) {
+            accept('error', ValidationMessages.IMPORT_NOT_INSTALLED(alias), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportNotInstalled, alias }
+            });
             return;
         }
-        // For now, just a placeholder - would require tracking symbol usage
-        // across the entire document, which is complex
-        // TODO: Implement symbol usage tracking
+        const workspaceRoot = this.workspaceManager.getWorkspaceRoot();
+        const cacheDir = this.getCacheDirectory(workspaceRoot, packageKey, lockedDep.commit);
+        const cacheExists = await this.directoryExists(cacheDir);
+        if (!cacheExists) {
+            accept('error', ValidationMessages.IMPORT_NOT_INSTALLED(alias), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportNotInstalled, alias }
+            });
+        }
+    }
+    /**
+     * Gets the cache directory for a dependency.
+     * Per PRS-010: Project-local cache at .dlang/packages/{owner}/{repo}/{commit}/
+     */
+    getCacheDirectory(workspaceRoot, source, commitHash) {
+        const [owner, repo] = source.split('/');
+        return path.join(workspaceRoot, '.dlang', 'packages', owner, repo, commitHash);
+    }
+    /**
+     * Checks if a directory exists (async).
+     */
+    async directoryExists(dirPath) {
+        try {
+            const stat = await fs.stat(dirPath);
+            return stat.isDirectory();
+        }
+        catch {
+            return false;
+        }
     }
 }
 /**
  * Creates validation checks for import statements.
+ *
+ * Returns async validators that leverage the shared WorkspaceManager
+ * for cached manifest/lock file reading.
  */
-export function createImportChecks(_services) {
+export function createImportChecks(services) {
+    const validator = new ImportValidator(services);
     return {
-        ImportStatement: (imp, accept) => {
+        // Langium 4.x supports async validators via MaybePromise<void>
+        ImportStatement: async (imp, accept, cancelToken) => {
             const document = imp.$document;
             if (!document)
                 return;
-            // Note: Langium's validation is synchronous, so async checks won't
-            // execute during document validation. These checks will run during
-            // the build phase when documents are fully loaded.
-            // For now, just do basic syntax validation
-            if (!imp.uri) {
-                accept('error', 'Import statement must have a URI', {
-                    node: imp,
-                    keyword: 'import'
-                });
-            }
-            // TODO: Implement async validation in a separate build phase
-            // This would require using DocumentBuilder.onBuildPhase() or similar
+            await validator.checkImportPath(imp, accept, document, cancelToken);
         }
     };
 }

package/out/validation/import.js.map

@@ -1 +1 @@
-{"version":3,"file":"import.js","sourceRoot":"","sources":["../../src/validation/import.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAI7D;;;;;;;GAOG;AACH,MAAM,OAAO,eAAe;IAGxB,YAAY,QAA4B;QACpC,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC;IAChE,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,eAAe,CACjB,GAAoB,EACpB,MAA0B,EAC1B,QAAyB;QAEzB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;YACX,MAAM,CAAC,OAAO,EAAE,kCAAkC,EAAE;gBAChD,IAAI,EAAE,GAAG;gBACT,OAAO,EAAE,QAAQ;aACpB,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,CAAC;YACD,MAAM,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACvE,MAAM,CAAC,OAAO,EAAE,0BAA0B,OAAO,EAAE,EAAE;gBACjD,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;aAClB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,iBAAiB,CACnB,GAAoB,EACpB,MAA0B,EAC1B,QAAyB;QAEzB,sCAAsC;QACtC,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,OAAO;QACX,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;YACX,OAAO,CAAC,sCAAsC;QAClD,CAAC;QAED,IAAI,CAAC;YACD,8BAA8B;YAC9B,MAAM,SAAS,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7D,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;YAEtE,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC;gBAChC,MAAM,CAAC,OAAO,EAAE,kCAAkC,GAAG,CAAC,GAAG,EAAE,EAAE;oBACzD,IAAI,EAAE,GAAG;oBACT,QAAQ,EAAE,KAAK;iBAClB,CAAC,CAAC;gBACH,OAAO;YACX,CAAC;YAED,gDAAgD;YAChD,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC,KAAc,CAAC;YACzD,MAAM,eAAe,GAAG,IAAI,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC;YAE7D,6BAA6B;YAC7B,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC/B,MAAM,CAAC,OAAO,EACV,WAAW,MAAM,kBAAkB,GAAG,CAAC,GAAG,EAAE,EAC5C;wBACI,IAAI,EAAE,GAAG;wBACT,QAAQ,EAAE,SAAS;qBACtB,CACJ,CAAC;gBACN,CAAC;YACL,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACL,wDAAwD;YACxD,OAAO;QACX,CAAC;IACL,CAAC;IAED;;;;;;;;OAQG;IACK,kBAAkB,CAAC,KAAY;QACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,yCAAyC;QACzC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;YACzC,yCAAyC;YACzC,IAAI,MAAM,IAAI,OAAO,IAAI,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC9B,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC;IACnB,CAAC;IAED;;;;OAIG;IACH,kBAAkB,CACd,GAAoB,EACpB,OAA2B,EAC3B,MAAa;QAEb,qDAAqD;QACrD,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3C,OAAO;QACX,CAAC;QAED,oEAAoE;QACpE,+CAA+C;QAC/C,wCAAwC;IAC5C,CAAC;CACJ;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,SAA6B;IAE5D,OAAO;QACH,eAAe,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE;YAC7B,MAAM,QAAQ,GAAG,GAAG,CAAC,SAAS,CAAC;YAC/B,IAAI,CAAC,QAAQ;gBAAE,OAAO;YAEtB,mEAAmE;YACnE,mEAAmE;YACnE,mDAAmD;YAEnD,2CAA2C;YAC3C,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;gBACX,MAAM,CAAC,OAAO,EAAE,kCAAkC,EAAE;oBAChD,IAAI,EAAE,GAAG;oBACT,OAAO,EAAE,QAAQ;iBACpB,CAAC,CAAC;YACP,CAAC;YAED,6DAA6D;YAC7D,qEAAqE;QACzE,CAAC;KACJ,CAAC;AACN,CAAC"}
+{"version":3,"file":"import.js","sourceRoot":"","sources":["../../src/validation/import.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAQ7B,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEtF;;;;;;;;;;GAUG;AACH,MAAM,OAAO,eAAe;IAGxB,YAAY,QAA4B;QACpC,IAAI,CAAC,gBAAgB,GAAG,QAAQ,CAAC,OAAO,CAAC,gBAAgB,CAAC;IAC9D,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,eAAe,CACjB,GAAoB,EACpB,MAA0B,EAC1B,QAAyB,EACzB,YAA4C;QAE5C,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;YACX,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,kBAAkB,EAAE,EAAE;gBACrD,IAAI,EAAE,GAAG;gBACT,OAAO,EAAE,QAAQ;gBACjB,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE;aAC9C,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,OAAO;QACX,CAAC;QAED,sDAAsD;QACtD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjD,MAAM,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAE/C,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;QAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,wBAAwB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;gBAClE,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,sBAAsB,EAAE,SAAS,EAAE,GAAG,CAAC,GAAG,EAAE;aACxE,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAEvD,IAAI,CAAC,UAAU,EAAE,CAAC;YACd,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,sBAAsB,CAAC,KAAK,CAAC,EAAE;gBAC9D,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,mBAAmB,EAAE,KAAK,EAAE;aACxD,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,CAAC,wBAAwB,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAE9D,qEAAqE;QACrE,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;YAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE;oBAC5D,IAAI,EAAE,GAAG;oBACT,QAAQ,EAAE,KAAK;oBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;oBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,kBAAkB,EAAE,KAAK,EAAE;iBACvD,CAAC,CAAC;gBACH,OAAO;YACX,CAAC;YAED,MAAM,IAAI,CAAC,qBAAqB,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC/E,CAAC;IACL,CAAC;IAED;;;;;;;OAOG;IACK,gBAAgB,CAAC,GAAW;QAChC,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAChD,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,QAAuB,EAAE,KAAa;QACxD,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,GAAG,EAAE,CAAC;YACP,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC1B,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACvC,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YAC3B,OAAO,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACrC,CAAC;QAED,OAAO,GAAG,CAAC;IACf,CAAC;IAED;;OAEG;IACK,wBAAwB,CAC5B,UAAkC,EAClC,KAAa,EACb,MAA0B,EAC1B,GAAoB;QAEpB,IAAI,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YACvC,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,8BAA8B,CAAC,KAAK,CAAC,EAAE;gBACtE,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,2BAA2B,EAAE,KAAK,EAAE;aAChE,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YACzC,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,6BAA6B,CAAC,KAAK,CAAC,EAAE;gBACrE,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,yBAAyB,EAAE,KAAK,EAAE;aAC9D,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC;YACvC,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE;gBAC1D,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE,KAAK,EAAE;aACrD,CAAC,CAAC;QACP,CAAC;QAED,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YAClB,IAAI,CAAC,2BAA2B,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC1E,CAAC;IACL,CAAC;IAED;;OAEG;IACK,2BAA2B,CAC/B,cAAsB,EACtB,KAAa,EACb,MAA0B,EAC1B,GAAoB;QAEpB,IAAI,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,KAAK,EAAE,cAAc,CAAC,EAAE;gBAC5E,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,kBAAkB,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE;aAC7E,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,CAAC;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;QACjE,MAAM,mBAAmB,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;QAEvE,IAAI,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAC/E,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAAE;gBAChE,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,sBAAsB,EAAE,KAAK,EAAE;aAC3D,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,qBAAqB,CAC/B,UAAkC,EAClC,KAAa,EACb,QAAkB,EAClB,MAA0B,EAC1B,GAAoB;QAEpB,wEAAwE;QACxE,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,IAAI,KAAK,CAAC;QAC9C,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QAEpD,IAAI,CAAC,SAAS,EAAE,CAAC;YACb,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE;gBAC5D,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,kBAAkB,EAAE,KAAK,EAAE;aACvD,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,aAAa,EAAE,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;QAErF,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;QACzD,IAAI,CAAC,WAAW,EAAE,CAAC;YACf,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE;gBAC5D,IAAI,EAAE,GAAG;gBACT,QAAQ,EAAE,KAAK;gBACf,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,SAAS,CAAC;gBAC/D,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,kBAAkB,EAAE,KAAK,EAAE;aACvD,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,iBAAiB,CAAC,aAAqB,EAAE,MAAc,EAAE,UAAkB;QAC/E,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACxC,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IACnF,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,eAAe,CAAC,OAAe;QACzC,IAAI,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpC,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC;QAC9B,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;CACJ;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAA4B;IAC3D,MAAM,SAAS,GAAG,IAAI,eAAe,CAAC,QAAQ,CAAC,CAAC;IAEhD,OAAO;QACH,+DAA+D;QAC/D,eAAe,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE;YAChD,MAAM,QAAQ,GAAG,GAAG,CAAC,SAAS,CAAC;YAC/B,IAAI,CAAC,QAAQ;gBAAE,OAAO;YAEtB,MAAM,SAAS,CAAC,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QACxE,CAAC;KACJ,CAAC;AACN,CAAC"}

package/out/validation/manifest.d.ts

@@ -0,0 +1,144 @@
+/**
+ * Manifest Validation for DomainLang.
+ *
+ * Provides schema validation and issue detection for model.yaml files.
+ * This validation is triggered by the workspace manager when manifests are loaded.
+ *
+ * Validation includes:
+ * - Required fields for publishable packages
+ * - Dependency configuration correctness
+ * - Path alias validation
+ * - Version format validation
+ *
+ * @module
+ */
+import type { ModelManifest } from '../services/types.js';
+/**
+ * Severity levels for manifest diagnostics.
+ */
+export type ManifestSeverity = 'error' | 'warning' | 'info';
+/**
+ * A diagnostic issue found in model.yaml.
+ */
+export interface ManifestDiagnostic {
+    /** Issue code for code action mapping */
+    readonly code: string;
+    /** Error severity */
+    readonly severity: ManifestSeverity;
+    /** Human-readable message */
+    readonly message: string;
+    /** YAML path to the issue (e.g., "dependencies.core.version") */
+    readonly path: string;
+    /** Optional hint for resolution */
+    readonly hint?: string;
+}
+/**
+ * Result of manifest validation.
+ */
+export interface ManifestValidationResult {
+    /** Whether the manifest is valid (no errors) */
+    readonly valid: boolean;
+    /** All diagnostics found */
+    readonly diagnostics: ManifestDiagnostic[];
+    /** Count of errors only */
+    readonly errorCount: number;
+    /** Count of warnings only */
+    readonly warningCount: number;
+}
+/**
+ * Issue codes specific to manifest validation.
+ * These extend the general IssueCodes for manifest-specific issues.
+ */
+export declare const ManifestIssueCodes: {
+    readonly ModelMissingName: "manifest-model-missing-name";
+    readonly ModelMissingVersion: "manifest-model-missing-version";
+    readonly ModelInvalidVersion: "manifest-model-invalid-version";
+    readonly DependencyMissingRef: "manifest-dependency-missing-ref";
+    readonly DependencyInvalidRef: "manifest-dependency-invalid-ref";
+    readonly DependencyConflictingSourcePath: "manifest-dependency-conflicting-source-path";
+    readonly DependencyMissingSourceOrPath: "manifest-dependency-missing-source-or-path";
+    readonly DependencyInvalidSource: "manifest-dependency-invalid-source";
+    readonly DependencyAbsolutePath: "manifest-dependency-absolute-path";
+    readonly PathAliasMissingAtPrefix: "manifest-path-alias-missing-at-prefix";
+    readonly PathAliasAbsolutePath: "manifest-path-alias-absolute-path";
+};
+/**
+ * Validates model.yaml manifests and reports issues.
+ *
+ * Usage:
+ * ```typescript
+ * const validator = new ManifestValidator();
+ * const result = validator.validate(manifest);
+ * if (!result.valid) {
+ *   console.log(result.diagnostics);
+ * }
+ * ```
+ */
+export declare class ManifestValidator {
+    /**
+     * Validates a parsed model.yaml manifest.
+     *
+     * @param manifest - The parsed manifest object
+     * @param options - Optional validation options
+     * @returns Validation result with diagnostics
+     */
+    validate(manifest: ModelManifest, options?: {
+        requirePublishable?: boolean;
+    }): ManifestValidationResult;
+    /**
+     * Validates the model section of the manifest.
+     */
+    private validateModelSection;
+    /**
+     * Validates the dependencies section of the manifest.
+     */
+    private validateDependenciesSection;
+    /**
+     * Validates a single dependency entry.
+     */
+    private validateDependency;
+    /**
+     * Validates a git-source based dependency.
+     */
+    private validateSourceDependency;
+    /**
+     * Validates a path-based local dependency.
+     */
+    private validatePathDependency;
+    /**
+     * Validates the paths section of the manifest.
+     */
+    private validatePathsSection;
+    /**
+     * Normalizes a dependency to extended form.
+     */
+    private normalizeDependency;
+    /**
+     * Checks if a version string is valid SemVer.
+     */
+    private isValidSemVer;
+    /**
+     * Checks if a ref spec is valid (tag, branch, or commit SHA).
+     */
+    private isValidRefSpec;
+    /**
+     * Checks if source is valid owner/repo format.
+     */
+    private isValidSourceFormat;
+    /**
+     * Checks if a path is absolute.
+     */
+    private isAbsolutePath;
+}
+/**
+ * Validates a manifest and returns true if valid, false otherwise.
+ * Use this for simple pass/fail checks.
+ */
+export declare function isManifestValid(manifest: ModelManifest): boolean;
+/**
+ * Validates a manifest and returns all diagnostics.
+ * Use this to display validation errors to users.
+ */
+export declare function validateManifest(manifest: ModelManifest, options?: {
+    requirePublishable?: boolean;
+}): ManifestDiagnostic[];