@domainlang/language 0.1.82 → 0.4.0

package/out/validation/manifest.js

@@ -0,0 +1,327 @@
+/**
+ * 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 { IssueCodes } from './constants.js';
+// ============================================================================
+// Issue Code Mapping for Manifest Validation
+// ============================================================================
+/**
+ * Issue codes specific to manifest validation.
+ * These extend the general IssueCodes for manifest-specific issues.
+ */
+export const ManifestIssueCodes = {
+    // Model section issues
+    ModelMissingName: 'manifest-model-missing-name',
+    ModelMissingVersion: 'manifest-model-missing-version',
+    ModelInvalidVersion: 'manifest-model-invalid-version',
+    // Dependency section issues
+    DependencyMissingRef: 'manifest-dependency-missing-ref',
+    DependencyInvalidRef: 'manifest-dependency-invalid-ref',
+    DependencyConflictingSourcePath: 'manifest-dependency-conflicting-source-path',
+    DependencyMissingSourceOrPath: 'manifest-dependency-missing-source-or-path',
+    DependencyInvalidSource: 'manifest-dependency-invalid-source',
+    DependencyAbsolutePath: 'manifest-dependency-absolute-path',
+    // Path alias issues
+    PathAliasMissingAtPrefix: 'manifest-path-alias-missing-at-prefix',
+    PathAliasAbsolutePath: 'manifest-path-alias-absolute-path'
+};
+// ============================================================================
+// Manifest Validator
+// ============================================================================
+/**
+ * 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 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, options = {}) {
+        const diagnostics = [];
+        // Validate model section
+        this.validateModelSection(manifest, diagnostics, options.requirePublishable ?? false);
+        // Validate dependencies section
+        this.validateDependenciesSection(manifest, diagnostics);
+        // Validate paths section
+        this.validatePathsSection(manifest, diagnostics);
+        // Calculate counts
+        const errorCount = diagnostics.filter(d => d.severity === 'error').length;
+        const warningCount = diagnostics.filter(d => d.severity === 'warning').length;
+        return {
+            valid: errorCount === 0,
+            diagnostics,
+            errorCount,
+            warningCount
+        };
+    }
+    /**
+     * Validates the model section of the manifest.
+     */
+    validateModelSection(manifest, diagnostics, requirePublishable) {
+        const model = manifest.model;
+        // If no model section and not requiring publishable, that's OK
+        if (!model && !requirePublishable) {
+            return;
+        }
+        // If requiring publishable package, name and version are required
+        if (requirePublishable) {
+            if (!model?.name) {
+                diagnostics.push({
+                    code: ManifestIssueCodes.ModelMissingName,
+                    severity: 'error',
+                    message: 'Publishable packages require a model.name field.',
+                    path: 'model.name',
+                    hint: 'Add "name: my-package" under the model section.'
+                });
+            }
+            if (!model?.version) {
+                diagnostics.push({
+                    code: ManifestIssueCodes.ModelMissingVersion,
+                    severity: 'error',
+                    message: 'Publishable packages require a model.version field.',
+                    path: 'model.version',
+                    hint: 'Add "version: 1.0.0" under the model section.'
+                });
+            }
+        }
+        // Validate version format if present
+        if (model?.version && !this.isValidSemVer(model.version)) {
+            diagnostics.push({
+                code: ManifestIssueCodes.ModelInvalidVersion,
+                severity: 'warning',
+                message: `Version '${model.version}' is not valid SemVer format.`,
+                path: 'model.version',
+                hint: 'Use SemVer format like "1.0.0" or "1.2.3-beta".'
+            });
+        }
+    }
+    /**
+     * Validates the dependencies section of the manifest.
+     */
+    validateDependenciesSection(manifest, diagnostics) {
+        const dependencies = manifest.dependencies;
+        if (!dependencies) {
+            return;
+        }
+        for (const [key, dep] of Object.entries(dependencies)) {
+            this.validateDependency(key, dep, diagnostics);
+        }
+    }
+    /**
+     * Validates a single dependency entry.
+     */
+    validateDependency(key, dep, diagnostics) {
+        const normalized = this.normalizeDependency(key, dep);
+        const basePath = `dependencies.${key}`;
+        // Check for conflicting source and path
+        if (normalized.source && normalized.path) {
+            diagnostics.push({
+                code: IssueCodes.ImportConflictingSourcePath,
+                severity: 'error',
+                message: `Dependency '${key}' cannot have both 'source' and 'path'.`,
+                path: basePath,
+                hint: `Use 'source' for git packages or 'path' for local workspace packages.`
+            });
+            return; // Don't validate further if this fundamental issue exists
+        }
+        // Check that at least one of source or path is present
+        if (!normalized.source && !normalized.path) {
+            diagnostics.push({
+                code: IssueCodes.ImportMissingSourceOrPath,
+                severity: 'error',
+                message: `Dependency '${key}' must have either 'source' or 'path'.`,
+                path: basePath,
+                hint: `Add 'source: owner/repo' for git packages or 'path: ./local' for local packages.`
+            });
+            return;
+        }
+        // Validate source-based dependencies
+        if (normalized.source) {
+            this.validateSourceDependency(key, normalized, basePath, diagnostics);
+        }
+        // Validate path-based dependencies
+        if (normalized.path) {
+            this.validatePathDependency(key, normalized, basePath, diagnostics);
+        }
+    }
+    /**
+     * Validates a git-source based dependency.
+     */
+    validateSourceDependency(key, dep, basePath, diagnostics) {
+        // Source dependencies require a ref (tag, branch, or commit)
+        if (!dep.ref) {
+            diagnostics.push({
+                code: IssueCodes.ImportMissingRef,
+                severity: 'error',
+                message: `Git dependency '${key}' requires a ref.`,
+                path: `${basePath}.ref`,
+                hint: `Add a git ref: 'ref: v1.0.0' (tag), 'ref: main' (branch), or a commit SHA.`
+            });
+        }
+        // Validate ref format
+        if (dep.ref && !this.isValidRefSpec(dep.ref)) {
+            diagnostics.push({
+                code: ManifestIssueCodes.DependencyInvalidRef,
+                severity: 'warning',
+                message: `Ref '${dep.ref}' for '${key}' may be invalid.`,
+                path: `${basePath}.ref`,
+                hint: `Use a tag (v1.0.0), branch name (main), or commit SHA.`
+            });
+        }
+        // Validate source format (should be owner/repo)
+        if (dep.source && !this.isValidSourceFormat(dep.source)) {
+            diagnostics.push({
+                code: ManifestIssueCodes.DependencyInvalidSource,
+                severity: 'error',
+                message: `Source '${dep.source}' is not valid owner/repo format.`,
+                path: `${basePath}.source`,
+                hint: `Use format 'owner/repo' like 'domainlang/core'.`
+            });
+        }
+    }
+    /**
+     * Validates a path-based local dependency.
+     */
+    validatePathDependency(key, dep, basePath, diagnostics) {
+        // Path dependencies should use relative paths
+        if (dep.path && this.isAbsolutePath(dep.path)) {
+            diagnostics.push({
+                code: IssueCodes.ImportAbsolutePath,
+                severity: 'error',
+                message: `Local path '${dep.path}' for '${key}' must be relative.`,
+                path: `${basePath}.path`,
+                hint: `Use a relative path like './packages/shared'.`
+            });
+        }
+    }
+    /**
+     * Validates the paths section of the manifest.
+     */
+    validatePathsSection(manifest, diagnostics) {
+        const paths = manifest.paths;
+        if (!paths) {
+            return;
+        }
+        for (const [alias, targetPath] of Object.entries(paths)) {
+            // Path aliases should start with @
+            if (!alias.startsWith('@')) {
+                diagnostics.push({
+                    code: ManifestIssueCodes.PathAliasMissingAtPrefix,
+                    severity: 'warning',
+                    message: `Path alias '${alias}' should start with '@'.`,
+                    path: `paths.${alias}`,
+                    hint: `Rename to '@${alias}' for consistency.`
+                });
+            }
+            // Target paths should be relative
+            if (this.isAbsolutePath(targetPath)) {
+                diagnostics.push({
+                    code: ManifestIssueCodes.PathAliasAbsolutePath,
+                    severity: 'error',
+                    message: `Path alias '${alias}' cannot map to absolute path '${targetPath}'.`,
+                    path: `paths.${alias}`,
+                    hint: `Use a relative path like './src' or '.'`
+                });
+            }
+        }
+    }
+    // ========================================================================
+    // Helpers
+    // ========================================================================
+    /**
+     * Normalizes a dependency to extended form.
+     */
+    normalizeDependency(key, dep) {
+        if (typeof dep === 'string') {
+            return { source: key, ref: dep };
+        }
+        if (dep.source || dep.path) {
+            return dep;
+        }
+        return { ...dep, source: key };
+    }
+    /**
+     * Checks if a version string is valid SemVer.
+     */
+    isValidSemVer(version) {
+        const semverRegex = /^\d+\.\d+\.\d+(-[\w.]+)?(\+[\w.]+)?$/;
+        return semverRegex.test(version);
+    }
+    /**
+     * Checks if a ref spec is valid (tag, branch, or commit SHA).
+     */
+    isValidRefSpec(ref) {
+        // SemVer with optional v prefix (tags)
+        if (/^v?\d+\.\d+\.\d+/.test(ref)) {
+            return true;
+        }
+        // Branch names (simple word chars)
+        if (/^[\w][\w.-]*$/.test(ref)) {
+            return true;
+        }
+        // Commit SHAs (40 hex chars)
+        if (/^[0-9a-f]{40}$/i.test(ref)) {
+            return true;
+        }
+        // Short commit SHAs (7+ hex chars)
+        if (/^[0-9a-f]{7,}$/i.test(ref)) {
+            return true;
+        }
+        return false;
+    }
+    /**
+     * Checks if source is valid owner/repo format.
+     */
+    isValidSourceFormat(source) {
+        return /^[a-zA-Z0-9_.-]+\/[a-zA-Z0-9_.-]+$/.test(source);
+    }
+    /**
+     * Checks if a path is absolute.
+     */
+    isAbsolutePath(p) {
+        return p.startsWith('/') || /^[A-Za-z]:/.test(p);
+    }
+}
+// ============================================================================
+// Convenience Functions
+// ============================================================================
+/**
+ * Validates a manifest and returns true if valid, false otherwise.
+ * Use this for simple pass/fail checks.
+ */
+export function isManifestValid(manifest) {
+    const validator = new ManifestValidator();
+    return validator.validate(manifest).valid;
+}
+/**
+ * Validates a manifest and returns all diagnostics.
+ * Use this to display validation errors to users.
+ */
+export function validateManifest(manifest, options) {
+    const validator = new ManifestValidator();
+    return validator.validate(manifest, options).diagnostics;
+}
+//# sourceMappingURL=manifest.js.map

package/out/validation/manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../../src/validation/manifest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAyC5C,+EAA+E;AAC/E,6CAA6C;AAC7C,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAC9B,uBAAuB;IACvB,gBAAgB,EAAE,6BAA6B;IAC/C,mBAAmB,EAAE,gCAAgC;IACrD,mBAAmB,EAAE,gCAAgC;IAErD,4BAA4B;IAC5B,oBAAoB,EAAE,iCAAiC;IACvD,oBAAoB,EAAE,iCAAiC;IACvD,+BAA+B,EAAE,6CAA6C;IAC9E,6BAA6B,EAAE,4CAA4C;IAC3E,uBAAuB,EAAE,oCAAoC;IAC7D,sBAAsB,EAAE,mCAAmC;IAE3D,oBAAoB;IACpB,wBAAwB,EAAE,uCAAuC;IACjE,qBAAqB,EAAE,mCAAmC;CACpD,CAAC;AAIX,+EAA+E;AAC/E,qBAAqB;AACrB,+EAA+E;AAE/E;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,iBAAiB;IAE1B;;;;;;OAMG;IACH,QAAQ,CACJ,QAAuB,EACvB,UAA4C,EAAE;QAE9C,MAAM,WAAW,GAAyB,EAAE,CAAC;QAE7C,yBAAyB;QACzB,IAAI,CAAC,oBAAoB,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,kBAAkB,IAAI,KAAK,CAAC,CAAC;QAEtF,gCAAgC;QAChC,IAAI,CAAC,2BAA2B,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAExD,yBAAyB;QACzB,IAAI,CAAC,oBAAoB,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAEjD,mBAAmB;QACnB,MAAM,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;QAC1E,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;QAE9E,OAAO;YACH,KAAK,EAAE,UAAU,KAAK,CAAC;YACvB,WAAW;YACX,UAAU;YACV,YAAY;SACf,CAAC;IACN,CAAC;IAED;;OAEG;IACK,oBAAoB,CACxB,QAAuB,EACvB,WAAiC,EACjC,kBAA2B;QAE3B,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;QAE7B,+DAA+D;QAC/D,IAAI,CAAC,KAAK,IAAI,CAAC,kBAAkB,EAAE,CAAC;YAChC,OAAO;QACX,CAAC;QAED,kEAAkE;QAClE,IAAI,kBAAkB,EAAE,CAAC;YACrB,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;gBACf,WAAW,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,kBAAkB,CAAC,gBAAqC;oBAC9D,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,kDAAkD;oBAC3D,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,iDAAiD;iBAC1D,CAAC,CAAC;YACP,CAAC;YAED,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC;gBAClB,WAAW,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,kBAAkB,CAAC,mBAAwC;oBACjE,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,qDAAqD;oBAC9D,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,+CAA+C;iBACxD,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAED,qCAAqC;QACrC,IAAI,KAAK,EAAE,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACvD,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,kBAAkB,CAAC,mBAAwC;gBACjE,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,YAAY,KAAK,CAAC,OAAO,+BAA+B;gBACjE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,iDAAiD;aAC1D,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED;;OAEG;IACK,2BAA2B,CAC/B,QAAuB,EACvB,WAAiC;QAEjC,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC;QAC3C,IAAI,CAAC,YAAY,EAAE,CAAC;YAChB,OAAO;QACX,CAAC;QAED,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;YACpD,IAAI,CAAC,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;QACnD,CAAC;IACL,CAAC;IAED;;OAEG;IACK,kBAAkB,CACtB,GAAW,EACX,GAAmB,EACnB,WAAiC;QAEjC,MAAM,UAAU,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,gBAAgB,GAAG,EAAE,CAAC;QAEvC,wCAAwC;QACxC,IAAI,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YACvC,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,UAAU,CAAC,2BAA2B;gBAC5C,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,eAAe,GAAG,yCAAyC;gBACpE,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,uEAAuE;aAChF,CAAC,CAAC;YACH,OAAO,CAAC,0DAA0D;QACtE,CAAC;QAED,uDAAuD;QACvD,IAAI,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YACzC,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,UAAU,CAAC,yBAAyB;gBAC1C,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,eAAe,GAAG,wCAAwC;gBACnE,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,kFAAkF;aAC3F,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,qCAAqC;QACrC,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YACpB,IAAI,CAAC,wBAAwB,CAAC,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC1E,CAAC;QAED,mCAAmC;QACnC,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;YAClB,IAAI,CAAC,sBAAsB,CAAC,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QACxE,CAAC;IACL,CAAC;IAED;;OAEG;IACK,wBAAwB,CAC5B,GAAW,EACX,GAA2B,EAC3B,QAAgB,EAChB,WAAiC;QAEjC,6DAA6D;QAC7D,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;YACX,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,UAAU,CAAC,gBAAgB;gBACjC,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,mBAAmB,GAAG,mBAAmB;gBAClD,IAAI,EAAE,GAAG,QAAQ,MAAM;gBACvB,IAAI,EAAE,4EAA4E;aACrF,CAAC,CAAC;QACP,CAAC;QAED,sBAAsB;QACtB,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3C,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,kBAAkB,CAAC,oBAAyC;gBAClE,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,QAAQ,GAAG,CAAC,GAAG,UAAU,GAAG,mBAAmB;gBACxD,IAAI,EAAE,GAAG,QAAQ,MAAM;gBACvB,IAAI,EAAE,wDAAwD;aACjE,CAAC,CAAC;QACP,CAAC;QAED,gDAAgD;QAChD,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACtD,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,kBAAkB,CAAC,uBAA4C;gBACrE,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,WAAW,GAAG,CAAC,MAAM,mCAAmC;gBACjE,IAAI,EAAE,GAAG,QAAQ,SAAS;gBAC1B,IAAI,EAAE,iDAAiD;aAC1D,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED;;OAEG;IACK,sBAAsB,CAC1B,GAAW,EACX,GAA2B,EAC3B,QAAgB,EAChB,WAAiC;QAEjC,8CAA8C;QAC9C,IAAI,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,UAAU,CAAC,kBAAkB;gBACnC,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,eAAe,GAAG,CAAC,IAAI,UAAU,GAAG,qBAAqB;gBAClE,IAAI,EAAE,GAAG,QAAQ,OAAO;gBACxB,IAAI,EAAE,+CAA+C;aACxD,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED;;OAEG;IACK,oBAAoB,CACxB,QAAuB,EACvB,WAAiC;QAEjC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;QAC7B,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,OAAO;QACX,CAAC;QAED,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACtD,mCAAmC;YACnC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,WAAW,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,kBAAkB,CAAC,wBAA6C;oBACtE,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,eAAe,KAAK,0BAA0B;oBACvD,IAAI,EAAE,SAAS,KAAK,EAAE;oBACtB,IAAI,EAAE,eAAe,KAAK,oBAAoB;iBACjD,CAAC,CAAC;YACP,CAAC;YAED,kCAAkC;YAClC,IAAI,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,CAAC;gBAClC,WAAW,CAAC,IAAI,CAAC;oBACb,IAAI,EAAE,kBAAkB,CAAC,qBAA0C;oBACnE,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,eAAe,KAAK,kCAAkC,UAAU,IAAI;oBAC7E,IAAI,EAAE,SAAS,KAAK,EAAE;oBACtB,IAAI,EAAE,yCAAyC;iBAClD,CAAC,CAAC;YACP,CAAC;QACL,CAAC;IACL,CAAC;IAED,2EAA2E;IAC3E,UAAU;IACV,2EAA2E;IAE3E;;OAEG;IACK,mBAAmB,CAAC,GAAW,EAAE,GAAmB;QACxD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC1B,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACrC,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;YACzB,OAAO,GAAG,CAAC;QACf,CAAC;QACD,OAAO,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACnC,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,OAAe;QACjC,MAAM,WAAW,GAAG,sCAAsC,CAAC;QAC3D,OAAO,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,GAAW;QAC9B,uCAAuC;QACvC,IAAI,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,mCAAmC;QACnC,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,6BAA6B;QAC7B,IAAI,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,mCAAmC;QACnC,IAAI,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC;QAChB,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,MAAc;QACtC,OAAO,oCAAoC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7D,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,CAAS;QAC5B,OAAO,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;CACJ;AAED,+EAA+E;AAC/E,wBAAwB;AACxB,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,QAAuB;IACnD,MAAM,SAAS,GAAG,IAAI,iBAAiB,EAAE,CAAC;IAC1C,OAAO,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC;AAC9C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC5B,QAAuB,EACvB,OAA0C;IAE1C,MAAM,SAAS,GAAG,IAAI,iBAAiB,EAAE,CAAC;IAC1C,OAAO,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,WAAW,CAAC;AAC7D,CAAC"}

package/out/validation/maps.js

@@ -1,3 +1,4 @@
+import { ValidationMessages, buildCodeDescription } from './constants.js';
 /**
  * Validates that a context map contains at least one bounded context.
  * Empty context maps are not useful for documentation purposes.
@@ -7,9 +8,10 @@
  */
 function validateContextMapHasContexts(map, accept) {
     if (!map.boundedContexts || map.boundedContexts.length === 0) {
-        accept('warning', `Context Map '${map.name}' contains no bounded contexts`, {
+        accept('warning', ValidationMessages.CONTEXT_MAP_NO_CONTEXTS(map.name), {
             node: map,
-            keyword: 'contains'
+            keyword: 'contains',
+            codeDescription: buildCodeDescription('language.md', 'context-maps')
         });
     }
 }
@@ -25,9 +27,10 @@ function validateContextMapHasRelationships(map, accept) {
     const relationshipCount = map.relationships?.length ?? 0;
     // Only warn if multiple contexts exist without relationships
     if (contextCount > 1 && relationshipCount === 0) {
-        accept('info', `Context Map '${map.name}' contains ${contextCount} contexts but no documented relationships`, {
+        accept('info', ValidationMessages.CONTEXT_MAP_NO_RELATIONSHIPS(map.name, contextCount), {
             node: map,
-            keyword: 'ContextMap'
+            keyword: 'ContextMap',
+            codeDescription: buildCodeDescription('language.md', 'context-maps')
         });
     }
 }
@@ -40,9 +43,10 @@ function validateContextMapHasRelationships(map, accept) {
  */
 function validateDomainMapHasDomains(map, accept) {
     if (!map.domains || map.domains.length === 0) {
-        accept('warning', `Domain Map '${map.name}' contains no domains`, {
+        accept('warning', ValidationMessages.DOMAIN_MAP_NO_DOMAINS(map.name), {
             node: map,
-            keyword: 'contains'
+            keyword: 'contains',
+            codeDescription: buildCodeDescription('language.md', 'domain-maps')
         });
     }
 }

package/out/validation/maps.js.map

@@ -1 +1 @@
-{"version":3,"file":"maps.js","sourceRoot":"","sources":["../../src/validation/maps.ts"],"names":[],"mappings":"AAGA;;;;;;GAMG;AACH,SAAS,6BAA6B,CAClC,GAAe,EACf,MAA0B;IAE1B,IAAI,CAAC,GAAG,CAAC,eAAe,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,CAAC,SAAS,EAAE,gBAAgB,GAAG,CAAC,IAAI,gCAAgC,EAAE;YACxE,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,UAAU;SACtB,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kCAAkC,CACvC,GAAe,EACf,MAA0B;IAE1B,MAAM,YAAY,GAAG,GAAG,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC;IACtD,MAAM,iBAAiB,GAAG,GAAG,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC;IAEzD,6DAA6D;IAC7D,IAAI,YAAY,GAAG,CAAC,IAAI,iBAAiB,KAAK,CAAC,EAAE,CAAC;QAC9C,MAAM,CAAC,MAAM,EAAE,gBAAgB,GAAG,CAAC,IAAI,cAAc,YAAY,2CAA2C,EAAE;YAC1G,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,YAAY;SACxB,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,2BAA2B,CAChC,GAAc,EACd,MAA0B;IAE1B,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,SAAS,EAAE,eAAe,GAAG,CAAC,IAAI,uBAAuB,EAAE;YAC9D,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,UAAU;SACtB,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC5B,6BAA6B;IAC7B,kCAAkC;CACrC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG;IAC3B,2BAA2B;CAC9B,CAAC"}
+{"version":3,"file":"maps.js","sourceRoot":"","sources":["../../src/validation/maps.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE1E;;;;;;GAMG;AACH,SAAS,6BAA6B,CAClC,GAAe,EACf,MAA0B;IAE1B,IAAI,CAAC,GAAG,CAAC,eAAe,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;YACpE,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,UAAU;YACnB,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,cAAc,CAAC;SACvE,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kCAAkC,CACvC,GAAe,EACf,MAA0B;IAE1B,MAAM,YAAY,GAAG,GAAG,CAAC,eAAe,EAAE,MAAM,IAAI,CAAC,CAAC;IACtD,MAAM,iBAAiB,GAAG,GAAG,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC;IAEzD,6DAA6D;IAC7D,IAAI,YAAY,GAAG,CAAC,IAAI,iBAAiB,KAAK,CAAC,EAAE,CAAC;QAC9C,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,4BAA4B,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE;YACpF,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,YAAY;YACrB,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,cAAc,CAAC;SACvE,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,SAAS,2BAA2B,CAChC,GAAc,EACd,MAA0B;IAE1B,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;YAClE,IAAI,EAAE,GAAG;YACT,OAAO,EAAE,UAAU;YACnB,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,aAAa,CAAC;SACtE,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC5B,6BAA6B;IAC7B,kCAAkC;CACrC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG;IAC3B,2BAA2B;CAC9B,CAAC"}

package/out/validation/metadata.js

@@ -1,3 +1,4 @@
+import { ValidationMessages, buildCodeDescription } from './constants.js';
 /**
  * Validation checks for Metadata elements.
  * - Ensures metadata keys are defined before use
@@ -5,7 +6,10 @@
 export const metadataChecks = {
     Metadata(metadata, accept) {
         if (!metadata.name) {
-            accept('error', 'Metadata must have a name', { node: metadata });
+            accept('error', ValidationMessages.METADATA_MISSING_NAME(), {
+                node: metadata,
+                codeDescription: buildCodeDescription('language.md', 'metadata')
+            });
         }
     },
 };

package/out/validation/metadata.js.map

@@ -1 +1 @@
-{"version":3,"file":"metadata.js","sourceRoot":"","sources":["../../src/validation/metadata.ts"],"names":[],"mappings":"AAGA;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAwC;IAC/D,QAAQ,CAAC,QAAkB,EAAE,MAAM;QAC/B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YACjB,MAAM,CAAC,OAAO,EAAE,2BAA2B,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACrE,CAAC;IACL,CAAC;CACJ,CAAC"}
+{"version":3,"file":"metadata.js","sourceRoot":"","sources":["../../src/validation/metadata.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE1E;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAwC;IAC/D,QAAQ,CAAC,QAAkB,EAAE,MAAM;QAC/B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YACjB,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,qBAAqB,EAAE,EAAE;gBACxD,IAAI,EAAE,QAAQ;gBACd,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,UAAU,CAAC;aACnE,CAAC,CAAC;QACP,CAAC;IACL,CAAC;CACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@domainlang/language",
-    "version": "0.1.82",
+    "version": "0.4.0",
     "displayName": "DomainLang Language",
     "description": "Core language library for DomainLang - parse, validate, and query Domain-Driven Design models programmatically",
     "author": "larsbaunwall",
@@ -23,14 +23,14 @@
         "parser",
         "sdk"
     ],
-    "homepage": "https://github.com/larsbaunwall/DomainLang#readme",
+    "homepage": "https://domainlang.net",
     "repository": {
         "type": "git",
-        "url": "https://github.com/larsbaunwall/DomainLang",
+        "url": "https://github.com/DomainLang/DomainLang",
         "directory": "dsl/domain-lang/packages/language"
     },
     "bugs": {
-        "url": "https://github.com/larsbaunwall/DomainLang/issues"
+        "url": "https://github.com/DomainLang/DomainLang/issues"
     },
     "type": "module",
     "engines": {
@@ -86,13 +86,15 @@
         "test:coverage": "vitest run --coverage"
     },
     "dependencies": {
-        "langium": "~4.1.0",
+        "langium": "~4.2.0",
+        "monaco-editor": "0.55.1",
+        "vite": "6.4.1",
         "yaml": "^2.5.0"
     },
     "devDependencies": {
         "@types/node": "~20.17.48",
         "@vitest/coverage-v8": "^3.1.4",
-        "langium-cli": "~4.1.0",
+        "langium-cli": "~4.2.0",
         "shx": "~0.4.0",
         "typescript": "~5.8.3",
         "vitest": "~3.1.3"

package/src/domain-lang-module.ts

@@ -2,8 +2,9 @@ import { type Module, inject } from 'langium';
 import type { 
     DefaultSharedModuleContext, 
     LangiumServices, 
-    LangiumSharedServices, 
-    PartialLangiumServices 
+    LangiumSharedServices,
+    PartialLangiumServices,
+    PartialLangiumSharedServices 
 } from 'langium/lsp';
 import { createDefaultModule, createDefaultSharedModule } from 'langium/lsp';
 import { DomainLangGeneratedModule, DomainLangGeneratedSharedModule } from './generated/module.js';
@@ -13,8 +14,10 @@ import { DomainLangScopeComputation } from './lsp/domain-lang-scope.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';
+import { DomainLangCodeActionProvider } from './lsp/domain-lang-code-actions.js';
 import { ImportResolver } from './services/import-resolver.js';
 import { WorkspaceManager } from './services/workspace-manager.js';
+import { DomainLangWorkspaceManager } from './lsp/domain-lang-workspace-manager.js';
 
 /**
  * Declaration of custom services - add your own service classes here.
@@ -30,7 +33,8 @@ export type DomainLangAddedServices = {
     lsp: {
         Formatter: DomainLangFormatter,
         HoverProvider: DomainLangHoverProvider,
-        CompletionProvider: DomainLangCompletionProvider
+        CompletionProvider: DomainLangCompletionProvider,
+        CodeActionProvider: DomainLangCodeActionProvider
     }
 }
 
@@ -40,6 +44,12 @@ export type DomainLangAddedServices = {
  */
 export type DomainLangServices = LangiumServices & DomainLangAddedServices
 
+const DomainLangSharedModule: Module<LangiumSharedServices, PartialLangiumSharedServices> = {
+    workspace: {
+        WorkspaceManager: (services: LangiumSharedServices) => new DomainLangWorkspaceManager(services)
+    }
+};
+
 /**
  * Dependency injection module that overrides Langium default services and contributes the
  * declared custom services. The Langium defaults can be partially specified to override only
@@ -48,7 +58,7 @@ export type DomainLangServices = LangiumServices & DomainLangAddedServices
 export const DomainLangModule: Module<DomainLangServices, PartialLangiumServices & DomainLangAddedServices> = {
     imports: {
         ImportResolver: (services) => new ImportResolver(services),
-        WorkspaceManager: () => new WorkspaceManager()
+        WorkspaceManager: () => new WorkspaceManager({ autoResolve: false, allowNetwork: false })
     },
     references: {
         ScopeComputation: (services) => new DomainLangScopeComputation(services),
@@ -57,7 +67,8 @@ export const DomainLangModule: Module<DomainLangServices, PartialLangiumServices
     lsp: {
         Formatter: () => new DomainLangFormatter(),
         HoverProvider: (services) => new DomainLangHoverProvider(services),
-        CompletionProvider: (services) => new DomainLangCompletionProvider(services)
+        CompletionProvider: (services) => new DomainLangCompletionProvider(services),
+        CodeActionProvider: () => new DomainLangCodeActionProvider()
     },
 };
 
@@ -82,7 +93,8 @@ export function createDomainLangServices(context: DefaultSharedModuleContext): {
 } {
     const shared = inject(
         createDefaultSharedModule(context),
-        DomainLangGeneratedSharedModule
+        DomainLangGeneratedSharedModule,
+        DomainLangSharedModule
     );
     const DomainLang = inject(
         createDefaultModule({ shared }),

package/src/domain-lang.langium

@@ -292,23 +292,18 @@ BusinessRule:
 // ============================================================================
 
 /**
- * Import Statement - Git-native import system inspired by Go modules and Deno.
+ * Import Statement - Manifest-centric import system per PRS-010.
  * 
- * Supported formats:
+ * Simplified syntax where import statements use short specifiers:
+ *   - External dependencies (from manifest): import "core" as Core
  *   - Local files: import "./shared/types.dlang"
  *   - Workspace-relative: import "~/contexts/sales.dlang"
- *   - GitHub packages: import "owner/repo@v1.0.0"
- *   - GitLab/Git URLs: import "https://gitlab.com/owner/repo@v1.0.0"
- *   - With aliases: import "ddd-patterns/core@v2.1.0" as DDD
- *   - Named imports: import { OrderContext } from "./contexts.dlang"
+ * 
+ * All resolution details (source, version, integrity) live in model.yaml manifest.
+ * Named imports and inline integrity checks have been removed per PRS-010.
  */
 ImportStatement:
-    /** Imports types or namespaces from another file or module, enabling reuse and modularity. */ ('Import' | 'import') (
-        '{' symbols+=ID (',' symbols+=ID)* '}' 'from' uri=STRING
-        | uri=STRING
-        ('integrity' integrity=STRING)?
-        ('as' alias=ID)?
-    )
+    /** Imports types or namespaces from another file or module, enabling reuse and modularity. */ ('Import' | 'import') uri=STRING ('as' alias=ID)?
 ;
 
 /**

package/src/generated/ast.ts

@@ -1,5 +1,5 @@
 /******************************************************************************
- * This file was generated by langium-cli 4.1.0.
+ * This file was generated by langium-cli 4.2.0.
  * DO NOT EDIT MANUALLY!
  ******************************************************************************/
 
@@ -74,12 +74,10 @@ export type DomainLangKeywordNames =
     | "evolution"
     | "examples"
     | "for"
-    | "from"
     | "glossary"
     | "import"
     | "in"
     | "integrations"
-    | "integrity"
     | "is"
     | "meta"
     | "metadata"
@@ -352,30 +350,26 @@ export function isDomainTerm(item: unknown): item is DomainTerm {
 }
 
 /**
- * Import Statement - Git-native import system inspired by Go modules and Deno.
+ * Import Statement - Manifest-centric import system per PRS-010.
  * 
- * Supported formats:
+ * Simplified syntax where import statements use short specifiers:
+ *   - External dependencies (from manifest): import "core" as Core
  *   - Local files: import "./shared/types.dlang"
  *   - Workspace-relative: import "~/contexts/sales.dlang"
- *   - GitHub packages: import "owner/repo@v1.0.0"
- *   - GitLab/Git URLs: import "https://gitlab.com/owner/repo@v1.0.0"
- *   - With aliases: import "ddd-patterns/core@v2.1.0" as DDD
- *   - Named imports: import { OrderContext } from "./contexts.dlang"
+ * 
+ * All resolution details (source, version, integrity) live in model.yaml manifest.
+ * Named imports and inline integrity checks have been removed per PRS-010.
  */
 export interface ImportStatement extends langium.AstNode {
     readonly $container: Model;
     readonly $type: 'ImportStatement';
     alias?: string;
-    integrity?: string;
-    symbols: Array<string>;
     uri: string;
 }
 
 export const ImportStatement = {
     $type: 'ImportStatement',
     alias: 'alias',
-    integrity: 'integrity',
-    symbols: 'symbols',
     uri: 'uri'
 } as const;
 
@@ -852,13 +846,6 @@ export class DomainLangAstReflection extends langium.AbstractAstReflection {
                 alias: {
                     name: ImportStatement.alias
                 },
-                integrity: {
-                    name: ImportStatement.integrity
-                },
-                symbols: {
-                    name: ImportStatement.symbols,
-                    defaultValue: []
-                },
                 uri: {
                     name: ImportStatement.uri
                 }