@domainlang/language 0.1.82 → 0.4.0

package/out/validation/constants.d.ts

@@ -11,6 +11,39 @@
  * - Clickable documentation link via CodeDescription
  */
 import type { CodeDescription } from 'vscode-languageserver-types';
+/**
+ * Diagnostic codes used to identify validation issues.
+ * Code actions match on these codes to provide quick fixes.
+ *
+ * Naming convention: CATEGORY_SPECIFIC_ISSUE
+ */
+export declare const IssueCodes: {
+    readonly ImportMissingUri: "import-missing-uri";
+    readonly ImportRequiresManifest: "import-requires-manifest";
+    readonly ImportNotInManifest: "import-not-in-manifest";
+    readonly ImportNotInstalled: "import-not-installed";
+    readonly ImportConflictingSourcePath: "import-conflicting-source-path";
+    readonly ImportMissingSourceOrPath: "import-missing-source-or-path";
+    readonly ImportMissingRef: "import-missing-ref";
+    readonly ImportAbsolutePath: "import-absolute-path";
+    readonly ImportEscapesWorkspace: "import-escapes-workspace";
+    readonly DomainNoVision: "domain-no-vision";
+    readonly DomainCircularHierarchy: "domain-circular-hierarchy";
+    readonly BoundedContextNoDescription: "bounded-context-no-description";
+    readonly BoundedContextNoDomain: "bounded-context-no-domain";
+    readonly BoundedContextClassificationConflict: "bounded-context-classification-conflict";
+    readonly BoundedContextTeamConflict: "bounded-context-team-conflict";
+    readonly SharedKernelNotBidirectional: "shared-kernel-not-bidirectional";
+    readonly AclOnWrongSide: "acl-on-wrong-side";
+    readonly ConformistOnWrongSide: "conformist-on-wrong-side";
+    readonly TooManyPatterns: "too-many-patterns";
+    readonly ContextMapNoContexts: "context-map-no-contexts";
+    readonly ContextMapNoRelationships: "context-map-no-relationships";
+    readonly DomainMapNoDomains: "domain-map-no-domains";
+    readonly MetadataMissingName: "metadata-missing-name";
+    readonly DuplicateElement: "duplicate-element";
+};
+export type IssueCode = typeof IssueCodes[keyof typeof IssueCodes];
 /**
  * Creates a CodeDescription for clickable documentation links in VS Code.
  * @param docPath - Relative path from docs/ folder
@@ -23,6 +56,11 @@ export declare const ValidationMessages: {
      * @param name - The name of the domain
      */
     readonly DOMAIN_NO_VISION: (name: string) => string;
+    /**
+     * Error message when a circular domain hierarchy is detected.
+     * @param cycle - Array of domain names forming the cycle
+     */
+    readonly DOMAIN_CIRCULAR_HIERARCHY: (cycle: string[]) => string;
     /**
      * Warning message when a bounded context lacks a description.
      * @param name - The name of the bounded context
@@ -74,4 +112,69 @@ export declare const ValidationMessages: {
      * Suggests possible syntax confusion.
      */
     readonly TOO_MANY_PATTERNS: (count: number, side: "left" | "right") => string;
+    /**
+     * Error when import statement has no URI.
+     */
+    readonly IMPORT_MISSING_URI: () => string;
+    /**
+     * Error when external dependency requires model.yaml but none exists.
+     * @param specifier - The import specifier (e.g., "core", "domainlang/patterns")
+     */
+    readonly IMPORT_REQUIRES_MANIFEST: (specifier: string) => string;
+    /**
+     * Error when import specifier not found in manifest dependencies.
+     * @param alias - The dependency alias/specifier
+     */
+    readonly IMPORT_NOT_IN_MANIFEST: (alias: string) => string;
+    /**
+     * Error when dependency not installed (no lock file entry).
+     * @param alias - The dependency alias
+     */
+    readonly IMPORT_NOT_INSTALLED: (alias: string) => string;
+    /**
+     * Error when dependency has conflicting source and path definitions.
+     * @param alias - The dependency alias
+     */
+    readonly IMPORT_CONFLICTING_SOURCE_PATH: (alias: string) => string;
+    /**
+     * Error when dependency is missing both source and path.
+     * @param alias - The dependency alias
+     */
+    readonly IMPORT_MISSING_SOURCE_OR_PATH: (alias: string) => string;
+    /**
+     * Error when git dependency is missing ref (tag, branch, or commit).
+     * @param alias - The dependency alias
+     */
+    readonly IMPORT_MISSING_REF: (alias: string) => string;
+    /**
+     * Error when local path uses absolute path.
+     * @param alias - The dependency alias
+     * @param absolutePath - The absolute path that was specified
+     */
+    readonly IMPORT_ABSOLUTE_PATH: (alias: string, absolutePath: string) => string;
+    /**
+     * Error when local path escapes workspace boundary.
+     * @param alias - The dependency alias
+     */
+    readonly IMPORT_ESCAPES_WORKSPACE: (alias: string) => string;
+    /**
+     * Warning when context map contains no bounded contexts.
+     * @param name - The context map name
+     */
+    readonly CONTEXT_MAP_NO_CONTEXTS: (name: string) => string;
+    /**
+     * Info when context map has multiple contexts but no relationships.
+     * @param name - The context map name
+     * @param count - Number of contexts
+     */
+    readonly CONTEXT_MAP_NO_RELATIONSHIPS: (name: string, count: number) => string;
+    /**
+     * Warning when domain map contains no domains.
+     * @param name - The domain map name
+     */
+    readonly DOMAIN_MAP_NO_DOMAINS: (name: string) => string;
+    /**
+     * Error when metadata is missing a name.
+     */
+    readonly METADATA_MISSING_NAME: () => string;
 };

package/out/validation/constants.js

@@ -11,9 +11,51 @@
  * - Clickable documentation link via CodeDescription
  */
 // ============================================================================
+// Issue Codes for Code Actions
+// ============================================================================
+/**
+ * Diagnostic codes used to identify validation issues.
+ * Code actions match on these codes to provide quick fixes.
+ *
+ * Naming convention: CATEGORY_SPECIFIC_ISSUE
+ */
+export const IssueCodes = {
+    // Import & Dependency Issues
+    ImportMissingUri: 'import-missing-uri',
+    ImportRequiresManifest: 'import-requires-manifest',
+    ImportNotInManifest: 'import-not-in-manifest',
+    ImportNotInstalled: 'import-not-installed',
+    ImportConflictingSourcePath: 'import-conflicting-source-path',
+    ImportMissingSourceOrPath: 'import-missing-source-or-path',
+    ImportMissingRef: 'import-missing-ref',
+    ImportAbsolutePath: 'import-absolute-path',
+    ImportEscapesWorkspace: 'import-escapes-workspace',
+    // Domain Issues
+    DomainNoVision: 'domain-no-vision',
+    DomainCircularHierarchy: 'domain-circular-hierarchy',
+    // Bounded Context Issues
+    BoundedContextNoDescription: 'bounded-context-no-description',
+    BoundedContextNoDomain: 'bounded-context-no-domain',
+    BoundedContextClassificationConflict: 'bounded-context-classification-conflict',
+    BoundedContextTeamConflict: 'bounded-context-team-conflict',
+    // Integration Pattern Issues
+    SharedKernelNotBidirectional: 'shared-kernel-not-bidirectional',
+    AclOnWrongSide: 'acl-on-wrong-side',
+    ConformistOnWrongSide: 'conformist-on-wrong-side',
+    TooManyPatterns: 'too-many-patterns',
+    // Context/Domain Map Issues
+    ContextMapNoContexts: 'context-map-no-contexts',
+    ContextMapNoRelationships: 'context-map-no-relationships',
+    DomainMapNoDomains: 'domain-map-no-domains',
+    // Metadata Issues
+    MetadataMissingName: 'metadata-missing-name',
+    // General Issues
+    DuplicateElement: 'duplicate-element'
+};
+// ============================================================================
 // Documentation Link Utilities
 // ============================================================================
-const REPO_BASE = 'https://github.com/larsbaunwall/DomainLang/blob/main';
+const REPO_BASE = 'https://github.com/DomainLang/DomainLang/blob/main';
 const DOCS_BASE = `${REPO_BASE}/dsl/domain-lang/docs`;
 /**
  * Builds a documentation URL for error messages.
@@ -38,6 +80,11 @@ export const ValidationMessages = {
      * @param name - The name of the domain
      */
     DOMAIN_NO_VISION: (name) => `Domain '${name}' is missing a vision statement.`,
+    /**
+     * Error message when a circular domain hierarchy is detected.
+     * @param cycle - Array of domain names forming the cycle
+     */
+    DOMAIN_CIRCULAR_HIERARCHY: (cycle) => `Circular domain hierarchy detected: ${cycle.join(' → ')}.`,
     /**
      * Warning message when a bounded context lacks a description.
      * @param name - The name of the bounded context
@@ -91,6 +138,98 @@ export const ValidationMessages = {
      * Info message when relationship has too many integration patterns.
      * Suggests possible syntax confusion.
      */
-    TOO_MANY_PATTERNS: (count, side) => `Too many integration patterns (${count}) on ${side} side. Typically use 1-2 patterns per side.`
+    TOO_MANY_PATTERNS: (count, side) => `Too many integration patterns (${count}) on ${side} side. Typically use 1-2 patterns per side.`,
+    // ========================================================================
+    // Import & Dependency Validation (PRS-010 Phase 8)
+    // ========================================================================
+    /**
+     * Error when import statement has no URI.
+     */
+    IMPORT_MISSING_URI: () => `Import statement must have a URI. Use: import "package" or import "./local-path"`,
+    /**
+     * Error when external dependency requires model.yaml but none exists.
+     * @param specifier - The import specifier (e.g., "core", "domainlang/patterns")
+     */
+    IMPORT_REQUIRES_MANIFEST: (specifier) => `External dependency '${specifier}' requires model.yaml.\n` +
+        `Hint: Create model.yaml and add the dependency:\n` +
+        `  dependencies:\n` +
+        `    ${specifier}:\n` +
+        `      ref: v1.0.0`,
+    /**
+     * Error when import specifier not found in manifest dependencies.
+     * @param alias - The dependency alias/specifier
+     */
+    IMPORT_NOT_IN_MANIFEST: (alias) => `Import '${alias}' not found in model.yaml dependencies.\n` +
+        `Hint: Run 'dlang add ${alias} <source>@<ref>' to add it, or manually add to model.yaml:\n` +
+        `  dependencies:\n` +
+        `    ${alias}:\n` +
+        `      ref: v1.0.0`,
+    /**
+     * Error when dependency not installed (no lock file entry).
+     * @param alias - The dependency alias
+     */
+    IMPORT_NOT_INSTALLED: (alias) => `Dependency '${alias}' not installed.\n` +
+        `Hint: Run 'dlang install' to fetch dependencies and generate model.lock.`,
+    /**
+     * Error when dependency has conflicting source and path definitions.
+     * @param alias - The dependency alias
+     */
+    IMPORT_CONFLICTING_SOURCE_PATH: (alias) => `Dependency '${alias}' cannot define both 'source' and 'path' in model.yaml.\n` +
+        `Hint: Use 'source' for git-based packages or 'path' for local workspace packages.`,
+    /**
+     * Error when dependency is missing both source and path.
+     * @param alias - The dependency alias
+     */
+    IMPORT_MISSING_SOURCE_OR_PATH: (alias) => `Dependency '${alias}' must define either 'source' or 'path' in model.yaml.\n` +
+        `Hint: Add 'source: owner/repo' for git packages, or 'path: ./local/path' for local packages.`,
+    /**
+     * Error when git dependency is missing ref (tag, branch, or commit).
+     * @param alias - The dependency alias
+     */
+    IMPORT_MISSING_REF: (alias) => `Dependency '${alias}' must specify a git ref in model.yaml.\n` +
+        `Hint: Add a git ref: 'ref: v1.0.0' (tag), 'ref: main' (branch), or a commit SHA.`,
+    /**
+     * Error when local path uses absolute path.
+     * @param alias - The dependency alias
+     * @param absolutePath - The absolute path that was specified
+     */
+    IMPORT_ABSOLUTE_PATH: (alias, absolutePath) => `Local path dependency '${alias}' cannot use absolute path '${absolutePath}'.\n` +
+        `Hint: Use a relative path from the workspace root, e.g., 'path: ./packages/shared'.`,
+    /**
+     * Error when local path escapes workspace boundary.
+     * @param alias - The dependency alias
+     */
+    IMPORT_ESCAPES_WORKSPACE: (alias) => `Local path dependency '${alias}' escapes workspace boundary.\n` +
+        `Hint: Local dependencies must be within the workspace. Consider moving the dependency or using a git-based source.`,
+    // ========================================================================
+    // Context Map & Domain Map Validation
+    // ========================================================================
+    /**
+     * Warning when context map contains no bounded contexts.
+     * @param name - The context map name
+     */
+    CONTEXT_MAP_NO_CONTEXTS: (name) => `Context Map '${name}' contains no bounded contexts.\n` +
+        `Hint: Use 'contains ContextA, ContextB' to specify which contexts are in the map.`,
+    /**
+     * Info when context map has multiple contexts but no relationships.
+     * @param name - The context map name
+     * @param count - Number of contexts
+     */
+    CONTEXT_MAP_NO_RELATIONSHIPS: (name, count) => `Context Map '${name}' contains ${count} contexts but no documented relationships.\n` +
+        `Hint: Add relationships to show how contexts integrate (e.g., '[OHS] A -> [CF] B').`,
+    /**
+     * Warning when domain map contains no domains.
+     * @param name - The domain map name
+     */
+    DOMAIN_MAP_NO_DOMAINS: (name) => `Domain Map '${name}' contains no domains.\n` +
+        `Hint: Use 'contains DomainA, DomainB' to specify which domains are in the map.`,
+    // ========================================================================
+    // Metadata Validation
+    // ========================================================================
+    /**
+     * Error when metadata is missing a name.
+     */
+    METADATA_MISSING_NAME: () => `Metadata must have a name.\n` +
+        `Hint: Define metadata with: Metadata MyMetadata { ... }`
 };
 //# sourceMappingURL=constants.js.map

package/out/validation/constants.js.map

@@ -1 +1 @@
-{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/validation/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,+EAA+E;AAC/E,+BAA+B;AAC/B,+EAA+E;AAE/E,MAAM,SAAS,GAAG,sDAAsD,CAAC;AACzE,MAAM,SAAS,GAAG,GAAG,SAAS,uBAAuB,CAAC;AAEtD;;;;GAIG;AACH,MAAM,YAAY,GAAG,CAAC,OAAe,EAAE,MAAe,EAAU,EAAE,CAC9D,GAAG,SAAS,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAE3D;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,OAAe,EAAE,MAAe,EAAmB,EAAE,CAAC,CAAC;IACxF,IAAI,EAAE,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC;CACtC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,+BAA+B;AAC/B,+EAA+E;AAE/E,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAC9B;;;OAGG;IACH,gBAAgB,EAAE,CAAC,IAAY,EAAE,EAAE,CAC/B,WAAW,IAAI,kCAAkC;IAErD;;;OAGG;IACH,8BAA8B,EAAE,CAAC,IAAY,EAAE,EAAE,CAC7C,oBAAoB,IAAI,6BAA6B;IAEzD;;;OAGG;IACH,yBAAyB,EAAE,CAAC,IAAY,EAAE,EAAE,CACxC,oBAAoB,IAAI,kDAAkD;IAE9E;;;;;;OAMG;IACH,uCAAuC,EAAE,CAAC,MAAc,EAAE,oBAA6B,EAAE,mBAA4B,EAAE,EAAE,CACrH,uCAAuC,oBAAoB,CAAC,CAAC,CAAC,SAAS,oBAAoB,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,mBAAmB,CAAC,CAAC,CAAC,sBAAsB,mBAAmB,IAAI,CAAC,CAAC,CAAC,EAAE,kCAAkC;IAElO;;;;;;OAMG;IACH,6BAA6B,EAAE,CAAC,MAAc,EAAE,UAAmB,EAAE,SAAkB,EAAE,EAAE,CACvF,6BAA6B,UAAU,CAAC,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,SAAS,CAAC,CAAC,CAAC,YAAY,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,kCAAkC;IAEtK;;;OAGG;IACH,iBAAiB,EAAE,CAAC,GAAW,EAAE,EAAE,CAC/B,uBAAuB,GAAG,uBAAuB;IAErD,2EAA2E;IAC3E,gDAAgD;IAChD,2EAA2E;IAE3E;;;OAGG;IACH,mCAAmC,EAAE,CAAC,WAAmB,EAAE,YAAoB,EAAE,KAAa,EAAE,EAAE,CAC9F,yBAAyB,WAAW,UAAU,YAAY,8CAA8C,KAAK,IAAI;IAErH;;;OAGG;IACH,iBAAiB,EAAE,CAAC,OAAe,EAAE,IAAsB,EAAE,EAAE,CAC3D,mCAAmC,OAAO,mDAAmD,IAAI,QAAQ;IAE7G;;;OAGG;IACH,wBAAwB,EAAE,CAAC,OAAe,EAAE,IAAsB,EAAE,EAAE,CAClE,uBAAuB,OAAO,mDAAmD,IAAI,QAAQ;IAEjG;;;OAGG;IACH,iBAAiB,EAAE,CAAC,KAAa,EAAE,IAAsB,EAAE,EAAE,CACzD,kCAAkC,KAAK,QAAQ,IAAI,6CAA6C;CAC9F,CAAC"}
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/validation/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,+EAA+E;AAC/E,+BAA+B;AAC/B,+EAA+E;AAE/E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG;IACtB,6BAA6B;IAC7B,gBAAgB,EAAE,oBAAoB;IACtC,sBAAsB,EAAE,0BAA0B;IAClD,mBAAmB,EAAE,wBAAwB;IAC7C,kBAAkB,EAAE,sBAAsB;IAC1C,2BAA2B,EAAE,gCAAgC;IAC7D,yBAAyB,EAAE,+BAA+B;IAC1D,gBAAgB,EAAE,oBAAoB;IACtC,kBAAkB,EAAE,sBAAsB;IAC1C,sBAAsB,EAAE,0BAA0B;IAElD,gBAAgB;IAChB,cAAc,EAAE,kBAAkB;IAClC,uBAAuB,EAAE,2BAA2B;IAEpD,yBAAyB;IACzB,2BAA2B,EAAE,gCAAgC;IAC7D,sBAAsB,EAAE,2BAA2B;IACnD,oCAAoC,EAAE,yCAAyC;IAC/E,0BAA0B,EAAE,+BAA+B;IAE3D,6BAA6B;IAC7B,4BAA4B,EAAE,iCAAiC;IAC/D,cAAc,EAAE,mBAAmB;IACnC,qBAAqB,EAAE,0BAA0B;IACjD,eAAe,EAAE,mBAAmB;IAEpC,4BAA4B;IAC5B,oBAAoB,EAAE,yBAAyB;IAC/C,yBAAyB,EAAE,8BAA8B;IACzD,kBAAkB,EAAE,uBAAuB;IAE3C,kBAAkB;IAClB,mBAAmB,EAAE,uBAAuB;IAE5C,iBAAiB;IACjB,gBAAgB,EAAE,mBAAmB;CAC/B,CAAC;AAIX,+EAA+E;AAC/E,+BAA+B;AAC/B,+EAA+E;AAE/E,MAAM,SAAS,GAAG,oDAAoD,CAAC;AACvE,MAAM,SAAS,GAAG,GAAG,SAAS,uBAAuB,CAAC;AAEtD;;;;GAIG;AACH,MAAM,YAAY,GAAG,CAAC,OAAe,EAAE,MAAe,EAAU,EAAE,CAC9D,GAAG,SAAS,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAE3D;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,OAAe,EAAE,MAAe,EAAmB,EAAE,CAAC,CAAC;IACxF,IAAI,EAAE,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC;CACtC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,+BAA+B;AAC/B,+EAA+E;AAE/E,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAC9B;;;OAGG;IACH,gBAAgB,EAAE,CAAC,IAAY,EAAE,EAAE,CAC/B,WAAW,IAAI,kCAAkC;IAErD;;;OAGG;IACH,yBAAyB,EAAE,CAAC,KAAe,EAAE,EAAE,CAC3C,uCAAuC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;IAE/D;;;OAGG;IACH,8BAA8B,EAAE,CAAC,IAAY,EAAE,EAAE,CAC7C,oBAAoB,IAAI,6BAA6B;IAEzD;;;OAGG;IACH,yBAAyB,EAAE,CAAC,IAAY,EAAE,EAAE,CACxC,oBAAoB,IAAI,kDAAkD;IAE9E;;;;;;OAMG;IACH,uCAAuC,EAAE,CAAC,MAAc,EAAE,oBAA6B,EAAE,mBAA4B,EAAE,EAAE,CACrH,uCAAuC,oBAAoB,CAAC,CAAC,CAAC,SAAS,oBAAoB,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,mBAAmB,CAAC,CAAC,CAAC,sBAAsB,mBAAmB,IAAI,CAAC,CAAC,CAAC,EAAE,kCAAkC;IAElO;;;;;;OAMG;IACH,6BAA6B,EAAE,CAAC,MAAc,EAAE,UAAmB,EAAE,SAAkB,EAAE,EAAE,CACvF,6BAA6B,UAAU,CAAC,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,SAAS,CAAC,CAAC,CAAC,YAAY,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,kCAAkC;IAEtK;;;OAGG;IACH,iBAAiB,EAAE,CAAC,GAAW,EAAE,EAAE,CAC/B,uBAAuB,GAAG,uBAAuB;IAErD,2EAA2E;IAC3E,gDAAgD;IAChD,2EAA2E;IAE3E;;;OAGG;IACH,mCAAmC,EAAE,CAAC,WAAmB,EAAE,YAAoB,EAAE,KAAa,EAAE,EAAE,CAC9F,yBAAyB,WAAW,UAAU,YAAY,8CAA8C,KAAK,IAAI;IAErH;;;OAGG;IACH,iBAAiB,EAAE,CAAC,OAAe,EAAE,IAAsB,EAAE,EAAE,CAC3D,mCAAmC,OAAO,mDAAmD,IAAI,QAAQ;IAE7G;;;OAGG;IACH,wBAAwB,EAAE,CAAC,OAAe,EAAE,IAAsB,EAAE,EAAE,CAClE,uBAAuB,OAAO,mDAAmD,IAAI,QAAQ;IAEjG;;;OAGG;IACH,iBAAiB,EAAE,CAAC,KAAa,EAAE,IAAsB,EAAE,EAAE,CACzD,kCAAkC,KAAK,QAAQ,IAAI,6CAA6C;IAEpG,2EAA2E;IAC3E,mDAAmD;IACnD,2EAA2E;IAE3E;;OAEG;IACH,kBAAkB,EAAE,GAAG,EAAE,CACrB,kFAAkF;IAEtF;;;OAGG;IACH,wBAAwB,EAAE,CAAC,SAAiB,EAAE,EAAE,CAC5C,wBAAwB,SAAS,0BAA0B;QAC3D,mDAAmD;QACnD,mBAAmB;QACnB,OAAO,SAAS,KAAK;QACrB,mBAAmB;IAEvB;;;OAGG;IACH,sBAAsB,EAAE,CAAC,KAAa,EAAE,EAAE,CACtC,WAAW,KAAK,2CAA2C;QAC3D,wBAAwB,KAAK,8DAA8D;QAC3F,mBAAmB;QACnB,OAAO,KAAK,KAAK;QACjB,mBAAmB;IAEvB;;;OAGG;IACH,oBAAoB,EAAE,CAAC,KAAa,EAAE,EAAE,CACpC,eAAe,KAAK,oBAAoB;QACxC,0EAA0E;IAE9E;;;OAGG;IACH,8BAA8B,EAAE,CAAC,KAAa,EAAE,EAAE,CAC9C,eAAe,KAAK,2DAA2D;QAC/E,mFAAmF;IAEvF;;;OAGG;IACH,6BAA6B,EAAE,CAAC,KAAa,EAAE,EAAE,CAC7C,eAAe,KAAK,0DAA0D;QAC9E,8FAA8F;IAElG;;;OAGG;IACH,kBAAkB,EAAE,CAAC,KAAa,EAAE,EAAE,CAClC,eAAe,KAAK,2CAA2C;QAC/D,kFAAkF;IAEtF;;;;OAIG;IACH,oBAAoB,EAAE,CAAC,KAAa,EAAE,YAAoB,EAAE,EAAE,CAC1D,0BAA0B,KAAK,+BAA+B,YAAY,MAAM;QAChF,qFAAqF;IAEzF;;;OAGG;IACH,wBAAwB,EAAE,CAAC,KAAa,EAAE,EAAE,CACxC,0BAA0B,KAAK,iCAAiC;QAChE,oHAAoH;IAExH,2EAA2E;IAC3E,sCAAsC;IACtC,2EAA2E;IAE3E;;;OAGG;IACH,uBAAuB,EAAE,CAAC,IAAY,EAAE,EAAE,CACtC,gBAAgB,IAAI,mCAAmC;QACvD,mFAAmF;IAEvF;;;;OAIG;IACH,4BAA4B,EAAE,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE,CAC1D,gBAAgB,IAAI,cAAc,KAAK,8CAA8C;QACrF,qFAAqF;IAEzF;;;OAGG;IACH,qBAAqB,EAAE,CAAC,IAAY,EAAE,EAAE,CACpC,eAAe,IAAI,0BAA0B;QAC7C,gFAAgF;IAEpF,2EAA2E;IAC3E,sBAAsB;IACtB,2EAA2E;IAE3E;;OAEG;IACH,qBAAqB,EAAE,GAAG,EAAE,CACxB,8BAA8B;QAC9B,yDAAyD;CACvD,CAAC"}

package/out/validation/domain.js

@@ -14,5 +14,50 @@ function validateDomainHasVision(domain, accept) {
         });
     }
 }
-export const domainChecks = [validateDomainHasVision];
+/**
+ * Validates that a domain hierarchy does not contain circular references.
+ *
+ * The `Domain A in B` syntax expresses subdomain containment.
+ * Circular containment (A in B, B in C, C in A) is semantically invalid
+ * because it violates the fundamental concept of domain decomposition.
+ *
+ * @param domain - The domain to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateNoCyclicDomainHierarchy(domain, accept) {
+    // Only check if this domain has a parent
+    if (!domain.parent?.ref) {
+        return;
+    }
+    const visited = new Set();
+    const path = [domain.name];
+    let current = domain.parent.ref;
+    while (current) {
+        // Check if we've encountered this domain before (cycle detected)
+        if (visited.has(current)) {
+            // We found a cycle - report it
+            path.push(current.name);
+            accept('error', ValidationMessages.DOMAIN_CIRCULAR_HIERARCHY(path), {
+                node: domain,
+                property: 'parent',
+                codeDescription: buildCodeDescription('language.md', 'domain-hierarchy')
+            });
+            return;
+        }
+        // Check if we've looped back to the starting domain
+        if (current === domain) {
+            path.push(domain.name);
+            accept('error', ValidationMessages.DOMAIN_CIRCULAR_HIERARCHY(path), {
+                node: domain,
+                property: 'parent',
+                codeDescription: buildCodeDescription('language.md', 'domain-hierarchy')
+            });
+            return;
+        }
+        visited.add(current);
+        path.push(current.name);
+        current = current.parent?.ref;
+    }
+}
+export const domainChecks = [validateDomainHasVision, validateNoCyclicDomainHierarchy];
 //# sourceMappingURL=domain.js.map

package/out/validation/domain.js.map

@@ -1 +1 @@
-{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../src/validation/domain.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE1E;;;;;GAKG;AACH,SAAS,uBAAuB,CAC5B,MAAc,EACd,MAA0B;IAE1B,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACjB,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;YAChE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,QAAQ;YACjB,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,eAAe,CAAC;SACxE,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,uBAAuB,CAAC,CAAC"}
+{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../src/validation/domain.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE1E;;;;;GAKG;AACH,SAAS,uBAAuB,CAC5B,MAAc,EACd,MAA0B;IAE1B,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACjB,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;YAChE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,QAAQ;YACjB,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,eAAe,CAAC;SACxE,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,+BAA+B,CACpC,MAAc,EACd,MAA0B;IAE1B,yCAAyC;IACzC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC;QACtB,OAAO;IACX,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,IAAI,GAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,OAAO,GAAuB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;IAEpD,OAAO,OAAO,EAAE,CAAC;QACb,iEAAiE;QACjE,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACvB,+BAA+B;YAC/B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACxB,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE;gBAChE,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE,QAAQ;gBAClB,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,kBAAkB,CAAC;aAC3E,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,oDAAoD;QACpD,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACvB,MAAM,CAAC,OAAO,EAAE,kBAAkB,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE;gBAChE,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE,QAAQ;gBAClB,eAAe,EAAE,oBAAoB,CAAC,aAAa,EAAE,kBAAkB,CAAC;aAC3E,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxB,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;IAClC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,uBAAuB,EAAE,+BAA+B,CAAC,CAAC"}

package/out/validation/import.d.ts

@@ -1,44 +1,68 @@
 import type { ValidationAcceptor, ValidationChecks } from 'langium';
-import type { DomainLangAstType, ImportStatement, Model } from '../generated/ast.js';
+import { Cancellation } from 'langium';
+import type { DomainLangAstType, ImportStatement } from '../generated/ast.js';
 import type { DomainLangServices } from '../domain-lang-module.js';
 import type { LangiumDocument } from 'langium';
 /**
  * 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 declare class ImportValidator {
-    private readonly documents;
+    private readonly workspaceManager;
     constructor(services: DomainLangServices);
     /**
-     * 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.
      */
-    checkImportPath(imp: ImportStatement, accept: ValidationAcceptor, document: LangiumDocument): Promise<void>;
+    checkImportPath(imp: ImportStatement, accept: ValidationAcceptor, document: LangiumDocument, _cancelToken: Cancellation.CancellationToken): Promise<void>;
     /**
-     * Validates that named imports exist in the target document.
+     * 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)
      */
-    checkNamedImports(imp: ImportStatement, accept: ValidationAcceptor, document: LangiumDocument): Promise<void>;
+    private isExternalImport;
     /**
-     * Gets all exportable symbols from a model.
-     *
-     * In DomainLang, top-level declarations are implicitly exported:
-     * - Domains
-     * - BoundedContexts
-     * - Classifications
-     * - Groups
+     * Gets the normalized dependency configuration for an alias.
      */
-    private getExportedSymbols;
+    private getDependency;
     /**
-     * Checks for unused imports.
-     *
-     * This is a warning, not an error, to avoid being too strict.
+     * Validates dependency configuration.
+     */
+    private validateDependencyConfig;
+    /**
+     * Validates local path dependencies stay within workspace.
      */
-    checkUnusedImports(imp: ImportStatement, _accept: ValidationAcceptor, _model: Model): void;
+    private validateLocalPathDependency;
+    /**
+     * Validates that external dependency is in lock file and cached.
+     */
+    private validateCachedPackage;
+    /**
+     * Gets the cache directory for a dependency.
+     * Per PRS-010: Project-local cache at .dlang/packages/{owner}/{repo}/{commit}/
+     */
+    private getCacheDirectory;
+    /**
+     * Checks if a directory exists (async).
+     */
+    private directoryExists;
 }
 /**
  * Creates validation checks for import statements.
+ *
+ * Returns async validators that leverage the shared WorkspaceManager
+ * for cached manifest/lock file reading.
  */
-export declare function createImportChecks(_services: DomainLangServices): ValidationChecks<DomainLangAstType>;
+export declare function createImportChecks(services: DomainLangServices): ValidationChecks<DomainLangAstType>;