@domainlang/language 0.1.20

package/out/validation/import.js.map

@@ -0,0 +1 @@
+{"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[];

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.d.ts

@@ -0,0 +1,21 @@
+import type { ValidationAcceptor } from 'langium';
+import type { ContextMap, DomainMap } from '../generated/ast.js';
+/**
+ * Validates that a context map contains at least one bounded context.
+ * Empty context maps are not useful for documentation purposes.
+ *
+ * @param map - The context map to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+declare function validateContextMapHasContexts(map: ContextMap, accept: ValidationAcceptor): void;
+/**
+ * Validates that a domain map contains at least one domain.
+ * Empty domain maps are not useful for documentation purposes.
+ *
+ * @param map - The domain map to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+declare function validateDomainMapHasDomains(map: DomainMap, accept: ValidationAcceptor): void;
+export declare const contextMapChecks: (typeof validateContextMapHasContexts)[];
+export declare const domainMapChecks: (typeof validateDomainMapHasDomains)[];
+export {};

package/out/validation/maps.js

@@ -0,0 +1,60 @@
+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.
+ *
+ * @param map - The context map to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateContextMapHasContexts(map, accept) {
+    if (!map.boundedContexts || map.boundedContexts.length === 0) {
+        accept('warning', ValidationMessages.CONTEXT_MAP_NO_CONTEXTS(map.name), {
+            node: map,
+            keyword: 'contains',
+            codeDescription: buildCodeDescription('language.md', 'context-maps')
+        });
+    }
+}
+/**
+ * Validates that a context map has at least one relationship if it contains multiple contexts.
+ * Multiple unrelated contexts should have documented relationships.
+ *
+ * @param map - The context map to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateContextMapHasRelationships(map, accept) {
+    const contextCount = map.boundedContexts?.length ?? 0;
+    const relationshipCount = map.relationships?.length ?? 0;
+    // Only warn if multiple contexts exist without relationships
+    if (contextCount > 1 && relationshipCount === 0) {
+        accept('info', ValidationMessages.CONTEXT_MAP_NO_RELATIONSHIPS(map.name, contextCount), {
+            node: map,
+            keyword: 'ContextMap',
+            codeDescription: buildCodeDescription('language.md', 'context-maps')
+        });
+    }
+}
+/**
+ * Validates that a domain map contains at least one domain.
+ * Empty domain maps are not useful for documentation purposes.
+ *
+ * @param map - The domain map to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateDomainMapHasDomains(map, accept) {
+    if (!map.domains || map.domains.length === 0) {
+        accept('warning', ValidationMessages.DOMAIN_MAP_NO_DOMAINS(map.name), {
+            node: map,
+            keyword: 'contains',
+            codeDescription: buildCodeDescription('language.md', 'domain-maps')
+        });
+    }
+}
+export const contextMapChecks = [
+    validateContextMapHasContexts,
+    validateContextMapHasRelationships
+];
+export const domainMapChecks = [
+    validateDomainMapHasDomains
+];
+//# sourceMappingURL=maps.js.map

package/out/validation/maps.js.map

@@ -0,0 +1 @@
+{"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.d.ts

@@ -0,0 +1,7 @@
+import type { ValidationChecks } from 'langium';
+import type { DomainLangAstType } from '../generated/ast.js';
+/**
+ * Validation checks for Metadata elements.
+ * - Ensures metadata keys are defined before use
+ */
+export declare const metadataChecks: ValidationChecks<DomainLangAstType>;

package/out/validation/metadata.js

@@ -0,0 +1,16 @@
+import { ValidationMessages, buildCodeDescription } from './constants.js';
+/**
+ * Validation checks for Metadata elements.
+ * - Ensures metadata keys are defined before use
+ */
+export const metadataChecks = {
+    Metadata(metadata, accept) {
+        if (!metadata.name) {
+            accept('error', ValidationMessages.METADATA_MISSING_NAME(), {
+                node: metadata,
+                codeDescription: buildCodeDescription('language.md', 'metadata')
+            });
+        }
+    },
+};
+//# sourceMappingURL=metadata.js.map

package/out/validation/metadata.js.map

@@ -0,0 +1 @@
+{"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/out/validation/model.d.ts

@@ -0,0 +1,12 @@
+import type { ValidationAcceptor } from 'langium';
+import type { Model } from '../generated/ast.js';
+/**
+ * Validates that all elements in the model have unique fully qualified names.
+ * Also triggers relationship type inference.
+ *
+ * @param model - The model to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+declare function validateModelUniqueNames(model: Model, accept: ValidationAcceptor): void;
+export declare const modelChecks: (typeof validateModelUniqueNames)[];
+export {};

package/out/validation/model.js

@@ -0,0 +1,29 @@
+import { setInferredRelationshipTypes } from '../services/relationship-inference.js';
+import { extractNames } from './shared.js';
+import { ValidationMessages, buildCodeDescription } from './constants.js';
+/**
+ * Validates that all elements in the model have unique fully qualified names.
+ * Also triggers relationship type inference.
+ *
+ * @param model - The model to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateModelUniqueNames(model, accept) {
+    const uniqueNames = new Set();
+    const names = extractNames(model);
+    for (const { fqn, node } of names) {
+        const oldSize = uniqueNames.size;
+        uniqueNames.add(fqn);
+        if (uniqueNames.size === oldSize) {
+            accept('error', ValidationMessages.DUPLICATE_ELEMENT(fqn), {
+                node: node,
+                property: 'name',
+                codeDescription: buildCodeDescription('language.md', 'naming')
+            });
+        }
+    }
+    // Enrich relationships with inferred types
+    setInferredRelationshipTypes(model);
+}
+export const modelChecks = [validateModelUniqueNames];
+//# sourceMappingURL=model.js.map

package/out/validation/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/validation/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,4BAA4B,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAG3C,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE1E;;;;;;GAMG;AACH,SAAS,wBAAwB,CAC7B,KAAY,EACZ,MAA0B;IAE1B,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAElC,KAAK,MAAM,EAAC,GAAG,EAAE,IAAI,EAAC,IAAI,KAAK,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC;QACjC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,WAAW,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE;gBACvD,IAAI,EAAE,IAAI;gBACV,QAAQ,EAAE,MAAM;gBAChB,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,QAAQ,CAAC;aACjE,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,2CAA2C;IAC3C,4BAA4B,CAAC,KAAK,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,wBAAwB,CAAC,CAAC"}