@domainlang/language 0.1.20

package/out/validation/constants.js

@@ -0,0 +1,235 @@
+/**
+ * Validation message constants for DomainLang.
+ *
+ * Centralizes all validation messages to ensure consistency
+ * and facilitate internationalization in the future.
+ *
+ * Messages follow VS Code conventions:
+ * - Clear problem statement
+ * - Brief DDD context explaining why it matters
+ * - Inline example showing the fix
+ * - 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 DOCS_BASE = `${REPO_BASE}/dsl/domain-lang/docs`;
+/**
+ * Builds a documentation URL for error messages.
+ * @param docPath - Relative path from docs/ folder
+ * @param anchor - Optional section anchor (without #)
+ */
+const buildDocLink = (docPath, anchor) => `${DOCS_BASE}/${docPath}${anchor ? `#${anchor}` : ''}`;
+/**
+ * Creates a CodeDescription for clickable documentation links in VS Code.
+ * @param docPath - Relative path from docs/ folder
+ * @param anchor - Optional section anchor (without #)
+ */
+export const buildCodeDescription = (docPath, anchor) => ({
+    href: buildDocLink(docPath, anchor)
+});
+// ============================================================================
+// Enhanced Validation Messages
+// ============================================================================
+export const ValidationMessages = {
+    /**
+     * Warning message when a domain lacks a vision statement.
+     * @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
+     */
+    BOUNDED_CONTEXT_NO_DESCRIPTION: (name) => `Bounded Context '${name}' is missing a description.`,
+    /**
+     * Warning message when a bounded context lacks a domain reference.
+     * @param name - The name of the bounded context
+     */
+    BOUNDED_CONTEXT_NO_DOMAIN: (name) => `Bounded Context '${name}' must belong to a domain. Use 'for DomainName'.`,
+    /**
+     * Warning when classification is specified both inline and in a block.
+     * Inline value takes precedence.
+     * @param bcName - The name of the bounded context
+     * @param inlineClassification - The inline classification name (from 'as')
+     * @param blockClassification - The block classification name (from 'classification:')
+     */
+    BOUNDED_CONTEXT_CLASSIFICATION_CONFLICT: (bcName, inlineClassification, blockClassification) => `Classification specified both inline${inlineClassification ? ` ('as ${inlineClassification}')` : ''} and in block${blockClassification ? ` ('classification: ${blockClassification}')` : ''}. Inline value takes precedence.`,
+    /**
+     * Warning when team is specified both inline and in a block.
+     * Inline value takes precedence.
+     * @param bcName - The name of the bounded context
+     * @param inlineTeam - The inline team name (from 'by')
+     * @param blockTeam - The block team name (from 'team:')
+     */
+    BOUNDED_CONTEXT_TEAM_CONFLICT: (bcName, inlineTeam, blockTeam) => `Team specified both inline${inlineTeam ? ` ('by ${inlineTeam}')` : ''} and in block${blockTeam ? ` ('team: ${blockTeam}')` : ''}. Inline value takes precedence.`,
+    /**
+     * Error message when an element is defined multiple times.
+     * @param fqn - The fully qualified name of the duplicate element
+     */
+    DUPLICATE_ELEMENT: (fqn) => `Duplicate element: '${fqn}' is already defined.`,
+    // ========================================================================
+    // Integration Pattern & Relationship Validation
+    // ========================================================================
+    /**
+     * Warning when SharedKernel pattern uses incorrect arrow direction.
+     * SharedKernel requires bidirectional relationship.
+     */
+    SHARED_KERNEL_MUST_BE_BIDIRECTIONAL: (leftContext, rightContext, arrow) => `SharedKernel between '${leftContext}' and '${rightContext}' requires bidirectional arrow '<->', not '${arrow}'.`,
+    /**
+     * Warning when Anti-Corruption Layer is on the wrong side of relationship.
+     * ACL should protect the consuming context (downstream).
+     */
+    ACL_ON_WRONG_SIDE: (context, side) => `Anti-Corruption Layer (ACL) on '${context}' should be on downstream (consuming) side, not ${side} side.`,
+    /**
+     * Warning when Conformist pattern is on the wrong side.
+     * Conformist accepts upstream model without translation.
+     */
+    CONFORMIST_ON_WRONG_SIDE: (context, side) => `Conformist (CF) on '${context}' should be on downstream (consuming) side, not ${side} side.`,
+    /**
+     * 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.`,
+    // ========================================================================
+    // 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

@@ -0,0 +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;;;;;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,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,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-lang-validator.d.ts

@@ -0,0 +1,2 @@
+import { DomainLangServices } from '../domain-lang-module.js';
+export declare function registerValidationChecks(services: DomainLangServices): void;

package/out/validation/domain-lang-validator.js

@@ -0,0 +1,27 @@
+import { modelChecks } from './model.js';
+import { domainChecks } from './domain.js';
+import { boundedContextChecks } from './bounded-context.js';
+import { classificationChecks } from './classification.js';
+import { metadataChecks } from './metadata.js';
+import { contextMapChecks, domainMapChecks } from './maps.js';
+import { relationshipChecks } from './relationships.js';
+import { createImportChecks } from './import.js';
+export function registerValidationChecks(services) {
+    const registry = services.validation.ValidationRegistry;
+    // Get import checks
+    const importChecks = createImportChecks(services);
+    // Compose the pipeline for each type
+    const pipeline = {
+        Model: modelChecks,
+        Domain: domainChecks,
+        BoundedContext: boundedContextChecks,
+        Classification: classificationChecks,
+        ContextMap: contextMapChecks,
+        DomainMap: domainMapChecks,
+        Metadata: metadataChecks.Metadata,
+        ImportStatement: importChecks.ImportStatement,
+        Relationship: relationshipChecks,
+    };
+    registry.register(pipeline);
+}
+//# sourceMappingURL=domain-lang-validator.js.map

package/out/validation/domain-lang-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-lang-validator.js","sourceRoot":"","sources":["../../src/validation/domain-lang-validator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAKjD,MAAM,UAAU,wBAAwB,CAAC,QAA4B;IACjE,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,kBAAkB,CAAC;IAExD,oBAAoB;IACpB,MAAM,YAAY,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAElD,qCAAqC;IACrC,MAAM,QAAQ,GAAwC;QAClD,KAAK,EAAE,WAAW;QAClB,MAAM,EAAE,YAAY;QACpB,cAAc,EAAE,oBAAoB;QACpC,cAAc,EAAE,oBAAoB;QACpC,UAAU,EAAE,gBAAgB;QAC5B,SAAS,EAAE,eAAe;QAC1B,QAAQ,EAAE,cAAc,CAAC,QAAQ;QACjC,eAAe,EAAE,YAAY,CAAC,eAAe;QAC7C,YAAY,EAAE,kBAAkB;KACnC,CAAC;IAEF,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAChC,CAAC"}

package/out/validation/domain.d.ts

@@ -0,0 +1,11 @@
+import type { ValidationAcceptor } from 'langium';
+import type { Domain } from '../generated/ast.js';
+/**
+ * Validates that a domain has a vision statement.
+ *
+ * @param domain - The domain to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+declare function validateDomainHasVision(domain: Domain, accept: ValidationAcceptor): void;
+export declare const domainChecks: (typeof validateDomainHasVision)[];
+export {};

package/out/validation/domain.js

@@ -0,0 +1,63 @@
+import { ValidationMessages, buildCodeDescription } from './constants.js';
+/**
+ * Validates that a domain has a vision statement.
+ *
+ * @param domain - The domain to validate
+ * @param accept - The validation acceptor for reporting issues
+ */
+function validateDomainHasVision(domain, accept) {
+    if (!domain.vision) {
+        accept('warning', ValidationMessages.DOMAIN_NO_VISION(domain.name), {
+            node: domain,
+            keyword: 'Domain',
+            codeDescription: buildCodeDescription('language.md', 'domain-vision')
+        });
+    }
+}
+/**
+ * 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

@@ -0,0 +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;;;;;;;;;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

@@ -0,0 +1,68 @@
+import type { ValidationAcceptor, ValidationChecks } from 'langium';
+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:
+ * - External imports require manifest + alias
+ * - Local path dependencies stay inside workspace
+ * - Lock file exists for external dependencies
+ */
+export declare class ImportValidator {
+    private readonly workspaceManager;
+    constructor(services: DomainLangServices);
+    /**
+     * 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, _cancelToken: Cancellation.CancellationToken): Promise<void>;
+    /**
+     * 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)
+     */
+    private isExternalImport;
+    /**
+     * Gets the normalized dependency configuration for an alias.
+     */
+    private getDependency;
+    /**
+     * Validates dependency configuration.
+     */
+    private validateDependencyConfig;
+    /**
+     * Validates local path dependencies stay within workspace.
+     */
+    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>;

package/out/validation/import.js

@@ -0,0 +1,237 @@
+import fs from 'node:fs/promises';
+import path from 'node:path';
+import { ValidationMessages, buildCodeDescription, IssueCodes } from './constants.js';
+/**
+ * Validates import statements in DomainLang.
+ *
+ * Uses async validators (Langium 4.x supports MaybePromise<void>) to leverage
+ * the shared WorkspaceManager service with its cached manifest/lock file reading.
+ *
+ * Checks:
+ * - External imports require manifest + alias
+ * - Local path dependencies stay inside workspace
+ * - Lock file exists for external dependencies
+ */
+export class ImportValidator {
+    constructor(services) {
+        this.workspaceManager = services.imports.WorkspaceManager;
+    }
+    /**
+     * Validates an import statement asynchronously.
+     *
+     * Langium validators can return MaybePromise<void>, enabling async operations
+     * like reading manifests via the shared, cached WorkspaceManager.
+     */
+    async checkImportPath(imp, accept, document, _cancelToken) {
+        if (!imp.uri) {
+            accept('error', ValidationMessages.IMPORT_MISSING_URI(), {
+                node: imp,
+                keyword: 'import',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportMissingUri }
+            });
+            return;
+        }
+        if (!this.isExternalImport(imp.uri)) {
+            return;
+        }
+        // Initialize workspace manager from document location
+        const docDir = path.dirname(document.uri.fsPath);
+        await this.workspaceManager.initialize(docDir);
+        const manifest = await this.workspaceManager.getManifest();
+        if (!manifest) {
+            accept('error', ValidationMessages.IMPORT_REQUIRES_MANIFEST(imp.uri), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportRequiresManifest, specifier: imp.uri }
+            });
+            return;
+        }
+        const alias = imp.uri.split('/')[0];
+        const dependency = this.getDependency(manifest, alias);
+        if (!dependency) {
+            accept('error', ValidationMessages.IMPORT_NOT_IN_MANIFEST(alias), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportNotInManifest, alias }
+            });
+            return;
+        }
+        this.validateDependencyConfig(dependency, alias, accept, imp);
+        // External source dependencies require lock file and cached packages
+        if (dependency.source) {
+            const lockFile = await this.workspaceManager.getLockFile();
+            if (!lockFile) {
+                accept('error', ValidationMessages.IMPORT_NOT_INSTALLED(alias), {
+                    node: imp,
+                    property: 'uri',
+                    codeDescription: buildCodeDescription('language.md', 'imports'),
+                    data: { code: IssueCodes.ImportNotInstalled, alias }
+                });
+                return;
+            }
+            await this.validateCachedPackage(dependency, alias, lockFile, accept, imp);
+        }
+    }
+    /**
+     * Determines if an import URI is external (requires manifest).
+     *
+     * Per PRS-010:
+     * - Local relative: ./path, ../path
+     * - Path aliases: @/path, @alias/path (resolved via manifest paths section)
+     * - External: owner/package (requires manifest dependencies)
+     */
+    isExternalImport(uri) {
+        if (uri.startsWith('./') || uri.startsWith('../')) {
+            return false;
+        }
+        if (uri.startsWith('@')) {
+            return false;
+        }
+        return true;
+    }
+    /**
+     * Gets the normalized dependency configuration for an alias.
+     */
+    getDependency(manifest, alias) {
+        const dep = manifest.dependencies?.[alias];
+        if (!dep) {
+            return undefined;
+        }
+        if (typeof dep === 'string') {
+            return { source: alias, ref: dep };
+        }
+        if (!dep.source && !dep.path) {
+            return { ...dep, source: alias };
+        }
+        return dep;
+    }
+    /**
+     * Validates dependency configuration.
+     */
+    validateDependencyConfig(dependency, alias, accept, imp) {
+        if (dependency.source && dependency.path) {
+            accept('error', ValidationMessages.IMPORT_CONFLICTING_SOURCE_PATH(alias), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportConflictingSourcePath, alias }
+            });
+            return;
+        }
+        if (!dependency.source && !dependency.path) {
+            accept('error', ValidationMessages.IMPORT_MISSING_SOURCE_OR_PATH(alias), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportMissingSourceOrPath, alias }
+            });
+            return;
+        }
+        if (dependency.source && !dependency.ref) {
+            accept('error', ValidationMessages.IMPORT_MISSING_REF(alias), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportMissingRef, alias }
+            });
+        }
+        if (dependency.path) {
+            this.validateLocalPathDependency(dependency.path, alias, accept, imp);
+        }
+    }
+    /**
+     * Validates local path dependencies stay within workspace.
+     */
+    validateLocalPathDependency(dependencyPath, alias, accept, imp) {
+        if (path.isAbsolute(dependencyPath)) {
+            accept('error', ValidationMessages.IMPORT_ABSOLUTE_PATH(alias, dependencyPath), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportAbsolutePath, alias, path: dependencyPath }
+            });
+            return;
+        }
+        const workspaceRoot = this.workspaceManager.getWorkspaceRoot();
+        const resolvedPath = path.resolve(workspaceRoot, dependencyPath);
+        const relativeToWorkspace = path.relative(workspaceRoot, resolvedPath);
+        if (relativeToWorkspace.startsWith('..') || path.isAbsolute(relativeToWorkspace)) {
+            accept('error', ValidationMessages.IMPORT_ESCAPES_WORKSPACE(alias), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportEscapesWorkspace, alias }
+            });
+        }
+    }
+    /**
+     * Validates that external dependency is in lock file and cached.
+     */
+    async validateCachedPackage(dependency, alias, lockFile, accept, imp) {
+        // Source is guaranteed to exist when this method is called (see caller)
+        const packageKey = dependency.source ?? alias;
+        const lockedDep = lockFile.dependencies[packageKey];
+        if (!lockedDep) {
+            accept('error', ValidationMessages.IMPORT_NOT_INSTALLED(alias), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportNotInstalled, alias }
+            });
+            return;
+        }
+        const workspaceRoot = this.workspaceManager.getWorkspaceRoot();
+        const cacheDir = this.getCacheDirectory(workspaceRoot, packageKey, lockedDep.commit);
+        const cacheExists = await this.directoryExists(cacheDir);
+        if (!cacheExists) {
+            accept('error', ValidationMessages.IMPORT_NOT_INSTALLED(alias), {
+                node: imp,
+                property: 'uri',
+                codeDescription: buildCodeDescription('language.md', 'imports'),
+                data: { code: IssueCodes.ImportNotInstalled, alias }
+            });
+        }
+    }
+    /**
+     * Gets the cache directory for a dependency.
+     * Per PRS-010: Project-local cache at .dlang/packages/{owner}/{repo}/{commit}/
+     */
+    getCacheDirectory(workspaceRoot, source, commitHash) {
+        const [owner, repo] = source.split('/');
+        return path.join(workspaceRoot, '.dlang', 'packages', owner, repo, commitHash);
+    }
+    /**
+     * Checks if a directory exists (async).
+     */
+    async directoryExists(dirPath) {
+        try {
+            const stat = await fs.stat(dirPath);
+            return stat.isDirectory();
+        }
+        catch {
+            return false;
+        }
+    }
+}
+/**
+ * Creates validation checks for import statements.
+ *
+ * Returns async validators that leverage the shared WorkspaceManager
+ * for cached manifest/lock file reading.
+ */
+export function createImportChecks(services) {
+    const validator = new ImportValidator(services);
+    return {
+        // Langium 4.x supports async validators via MaybePromise<void>
+        ImportStatement: async (imp, accept, cancelToken) => {
+            const document = imp.$document;
+            if (!document)
+                return;
+            await validator.checkImportPath(imp, accept, document, cancelToken);
+        }
+    };
+}
+//# sourceMappingURL=import.js.map