@domainlang/language 0.8.0 → 0.10.0

package/out/sdk/validator.js

@@ -0,0 +1,249 @@
+/**
+ * Model validation utilities for Node.js environments.
+ *
+ * **WARNING: This module is NOT browser-compatible.**
+ *
+ * Provides validation capabilities that leverage the LSP infrastructure
+ * for workspace initialization, import resolution, and document building.
+ *
+ * @module sdk/validator
+ */
+import { NodeFileSystem } from 'langium/node';
+import { URI } from 'langium';
+import { createDomainLangServices } from '../domain-lang-module.js';
+import { ensureImportGraphFromDocument } from '../utils/import-utils.js';
+import { isModel } from '../generated/ast.js';
+import { dirname, resolve, join } from 'node:path';
+import { existsSync } from 'node:fs';
+/**
+ * Convert Langium diagnostic to ValidationDiagnostic.
+ */
+function toValidationDiagnostic(diagnostic, file) {
+    return {
+        severity: diagnostic.severity ?? 1,
+        message: diagnostic.message,
+        file,
+        line: diagnostic.range.start.line + 1,
+        column: diagnostic.range.start.character + 1,
+    };
+}
+/**
+ * Validates a DomainLang model file and all its imports.
+ *
+ * Uses the LSP infrastructure to:
+ * - Initialize the workspace
+ * - Resolve and load imports
+ * - Build and validate all documents
+ *
+ * @param filePath - Path to the entry .dlang file
+ * @param options - Validation options
+ * @returns Validation result with errors, warnings, and model statistics
+ * @throws Error if file doesn't exist or has invalid extension
+ *
+ * @example
+ * ```typescript
+ * import { validateFile } from '@domainlang/language/sdk';
+ *
+ * const result = await validateFile('./index.dlang');
+ *
+ * if (!result.valid) {
+ *   for (const err of result.errors) {
+ *     console.error(`${err.file}:${err.line}:${err.column}: ${err.message}`);
+ *   }
+ *   process.exit(1);
+ * }
+ *
+ * console.log(`✓ Validated ${result.fileCount} files`);
+ * console.log(`  ${result.domainCount} domains, ${result.bcCount} bounded contexts`);
+ * ```
+ */
+export async function validateFile(filePath, options = {}) {
+    // Resolve absolute path
+    const absolutePath = resolve(filePath);
+    // Check file exists
+    if (!existsSync(absolutePath)) {
+        throw new Error(`File not found: ${filePath}`);
+    }
+    // Create services with workspace support
+    const servicesObj = createDomainLangServices(NodeFileSystem);
+    const shared = servicesObj.shared;
+    const services = servicesObj.DomainLang;
+    // Check file extension
+    const extensions = services.LanguageMetaData.fileExtensions;
+    if (!extensions.some(ext => absolutePath.endsWith(ext))) {
+        throw new Error(`Invalid file extension. Expected: ${extensions.join(', ')}`);
+    }
+    // Initialize workspace with the specified directory or file's directory
+    const workspaceDir = options.workspaceDir ?? dirname(absolutePath);
+    const workspaceManager = services.imports.WorkspaceManager;
+    await workspaceManager.initialize(workspaceDir);
+    // Load and parse the document
+    const uri = URI.file(absolutePath);
+    const document = await shared.workspace.LangiumDocuments.getOrCreateDocument(uri);
+    // Build document initially without validation to load imports
+    await shared.workspace.DocumentBuilder.build([document], { validation: false });
+    // Load all imported documents via the import graph
+    const importResolver = services.imports.ImportResolver;
+    await ensureImportGraphFromDocument(document, shared.workspace.LangiumDocuments, importResolver);
+    // Build all documents with validation enabled
+    const allDocuments = Array.from(shared.workspace.LangiumDocuments.all);
+    await shared.workspace.DocumentBuilder.build(allDocuments, { validation: true });
+    // Collect diagnostics from the entry document
+    const diagnostics = document.diagnostics ?? [];
+    const errors = [];
+    const warnings = [];
+    for (const diagnostic of diagnostics) {
+        const validationDiag = toValidationDiagnostic(diagnostic, absolutePath);
+        if (diagnostic.severity === 1) {
+            errors.push(validationDiag);
+        }
+        else if (diagnostic.severity === 2) {
+            warnings.push(validationDiag);
+        }
+    }
+    // Count model elements across all documents
+    let domainCount = 0;
+    let bcCount = 0;
+    for (const doc of allDocuments) {
+        const model = doc.parseResult?.value;
+        if (isModel(model)) {
+            for (const element of model.children ?? []) {
+                if (element.$type === 'Domain') {
+                    domainCount++;
+                }
+                else if (element.$type === 'BoundedContext') {
+                    bcCount++;
+                }
+            }
+        }
+    }
+    return {
+        valid: errors.length === 0,
+        fileCount: allDocuments.length,
+        domainCount,
+        bcCount,
+        errors,
+        warnings,
+    };
+}
+/**
+ * Validates an entire DomainLang workspace.
+ *
+ * Uses the LSP infrastructure to:
+ * - Initialize the workspace from a directory containing model.yaml
+ * - Load the entry file (from manifest or default index.dlang)
+ * - Resolve and load all imports
+ * - Build and validate all documents in the workspace
+ * - Collect diagnostics from ALL documents (like VS Code Problems pane)
+ *
+ * @param workspaceDir - Path to the workspace directory (containing model.yaml)
+ * @returns Validation result with diagnostics from all files
+ * @throws Error if workspace directory doesn't exist or cannot be loaded
+ *
+ * @example
+ * ```typescript
+ * import { validateWorkspace } from '@domainlang/language/sdk';
+ *
+ * const result = await validateWorkspace('./my-workspace');
+ *
+ * if (!result.valid) {
+ *   console.error(`Found ${result.errors.length} errors in ${result.fileCount} files`);
+ *
+ *   for (const err of result.errors) {
+ *     console.error(`${err.file}:${err.line}:${err.column}: ${err.message}`);
+ *   }
+ *   process.exit(1);
+ * }
+ *
+ * console.log(`✓ Validated ${result.fileCount} files`);
+ * console.log(`  ${result.domainCount} domains, ${result.bcCount} bounded contexts`);
+ * console.log(`  0 errors, ${result.warnings.length} warnings`);
+ * ```
+ */
+export async function validateWorkspace(workspaceDir) {
+    // Resolve absolute path
+    const absolutePath = resolve(workspaceDir);
+    // Check directory exists
+    if (!existsSync(absolutePath)) {
+        throw new Error(`Workspace directory not found: ${workspaceDir}`);
+    }
+    // Create services with workspace support
+    const servicesObj = createDomainLangServices(NodeFileSystem);
+    const shared = servicesObj.shared;
+    const services = servicesObj.DomainLang;
+    const workspaceManager = services.imports.WorkspaceManager;
+    try {
+        // Initialize workspace - this will find and load model.yaml
+        await workspaceManager.initialize(absolutePath);
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        throw new Error(`Failed to initialize workspace at ${workspaceDir}: ${message}`);
+    }
+    // Get the manifest to find the entry file
+    const manifest = await workspaceManager.getManifest();
+    let entryFile = 'index.dlang';
+    if (manifest?.model?.entry) {
+        entryFile = manifest.model.entry;
+    }
+    const entryPath = join(absolutePath, entryFile);
+    // Check if entry file exists
+    if (!existsSync(entryPath)) {
+        throw new Error(`Entry file not found: ${entryFile}\n` +
+            `Expected at: ${entryPath}\n` +
+            (manifest ? `Specified in manifest` : `Using default entry file`));
+    }
+    // Load and parse the entry document
+    const uri = URI.file(entryPath);
+    const document = await shared.workspace.LangiumDocuments.getOrCreateDocument(uri);
+    // Build document initially without validation to load imports
+    await shared.workspace.DocumentBuilder.build([document], { validation: false });
+    // Load all imported documents via the import graph
+    const importResolver = services.imports.ImportResolver;
+    await ensureImportGraphFromDocument(document, shared.workspace.LangiumDocuments, importResolver);
+    // Build all documents with validation enabled
+    const allDocuments = Array.from(shared.workspace.LangiumDocuments.all);
+    await shared.workspace.DocumentBuilder.build(allDocuments, { validation: true });
+    // Collect diagnostics from ALL documents (not just entry)
+    const errors = [];
+    const warnings = [];
+    for (const doc of allDocuments) {
+        const diagnostics = doc.diagnostics ?? [];
+        const docPath = doc.uri.fsPath;
+        for (const diagnostic of diagnostics) {
+            const validationDiag = toValidationDiagnostic(diagnostic, docPath);
+            if (diagnostic.severity === 1) {
+                errors.push(validationDiag);
+            }
+            else if (diagnostic.severity === 2) {
+                warnings.push(validationDiag);
+            }
+        }
+    }
+    // Count model elements across all documents
+    let domainCount = 0;
+    let bcCount = 0;
+    for (const doc of allDocuments) {
+        const model = doc.parseResult?.value;
+        if (isModel(model)) {
+            for (const element of model.children ?? []) {
+                if (element.$type === 'Domain') {
+                    domainCount++;
+                }
+                else if (element.$type === 'BoundedContext') {
+                    bcCount++;
+                }
+            }
+        }
+    }
+    return {
+        valid: errors.length === 0,
+        fileCount: allDocuments.length,
+        domainCount,
+        bcCount,
+        errors,
+        warnings,
+        totalDiagnostics: errors.length + warnings.length,
+    };
+}
+//# sourceMappingURL=validator.js.map

package/out/sdk/validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../src/sdk/validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,EAAE,wBAAwB,EAAE,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,6BAA6B,EAAE,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AA4CrC;;GAEG;AACH,SAAS,sBAAsB,CAC3B,UAAyG,EACzG,IAAY;IAEZ,OAAO;QACH,QAAQ,EAAE,UAAU,CAAC,QAAQ,IAAI,CAAC;QAClC,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,IAAI;QACJ,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC;QACrC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC;KAC/C,CAAC;AACN,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAC9B,QAAgB,EAChB,UAA6B,EAAE;IAE/B,wBAAwB;IACxB,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEvC,oBAAoB;IACpB,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,mBAAmB,QAAQ,EAAE,CAAC,CAAC;IACnD,CAAC;IAED,yCAAyC;IACzC,MAAM,WAAW,GAAG,wBAAwB,CAAC,cAAc,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;IAClC,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC;IAExC,uBAAuB;IACvB,MAAM,UAAU,GAAG,QAAQ,CAAC,gBAAgB,CAAC,cAAc,CAAC;IAC5D,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,qCAAqC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;IAED,wEAAwE;IACxE,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC;IACnE,MAAM,gBAAgB,GAAG,QAAQ,CAAC,OAAO,CAAC,gBAAgB,CAAC;IAC3D,MAAM,gBAAgB,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IAEhD,8BAA8B;IAC9B,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAElF,8DAA8D;IAC9D,MAAM,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IAEhF,mDAAmD;IACnD,MAAM,cAAc,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC;IACvD,MAAM,6BAA6B,CAC/B,QAAQ,EACR,MAAM,CAAC,SAAS,CAAC,gBAAgB,EACjC,cAAc,CACjB,CAAC;IAEF,8CAA8C;IAC9C,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACvE,MAAM,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IAEjF,8CAA8C;IAC9C,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC;IAC/C,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAE5C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACnC,MAAM,cAAc,GAAG,sBAAsB,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;QACxE,IAAI,UAAU,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAChC,CAAC;aAAM,IAAI,UAAU,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAClC,CAAC;IACL,CAAC;IAED,4CAA4C;IAC5C,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC;QACrC,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACjB,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBACzC,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;oBAC7B,WAAW,EAAE,CAAC;gBAClB,CAAC;qBAAM,IAAI,OAAO,CAAC,KAAK,KAAK,gBAAgB,EAAE,CAAC;oBAC5C,OAAO,EAAE,CAAC;gBACd,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO;QACH,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;QAC1B,SAAS,EAAE,YAAY,CAAC,MAAM;QAC9B,WAAW;QACX,OAAO;QACP,MAAM;QACN,QAAQ;KACX,CAAC;AACN,CAAC;AAsBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACnC,YAAoB;IAEpB,wBAAwB;IACxB,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAE3C,yBAAyB;IACzB,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,kCAAkC,YAAY,EAAE,CAAC,CAAC;IACtE,CAAC;IAED,yCAAyC;IACzC,MAAM,WAAW,GAAG,wBAAwB,CAAC,cAAc,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;IAClC,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC;IACxC,MAAM,gBAAgB,GAAG,QAAQ,CAAC,OAAO,CAAC,gBAAgB,CAAC;IAE3D,IAAI,CAAC;QACD,4DAA4D;QAC5D,MAAM,gBAAgB,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IACpD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,qCAAqC,YAAY,KAAK,OAAO,EAAE,CAAC,CAAC;IACrF,CAAC;IAED,0CAA0C;IAC1C,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,WAAW,EAAE,CAAC;IACtD,IAAI,SAAS,GAAG,aAAa,CAAC;IAE9B,IAAI,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACzB,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;IACrC,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAEhD,6BAA6B;IAC7B,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CACX,yBAAyB,SAAS,IAAI;YACtC,gBAAgB,SAAS,IAAI;YAC7B,CAAC,QAAQ,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,0BAA0B,CAAC,CACpE,CAAC;IACN,CAAC;IAED,oCAAoC;IACpC,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAElF,8DAA8D;IAC9D,MAAM,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IAEhF,mDAAmD;IACnD,MAAM,cAAc,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC;IACvD,MAAM,6BAA6B,CAC/B,QAAQ,EACR,MAAM,CAAC,SAAS,CAAC,gBAAgB,EACjC,cAAc,CACjB,CAAC;IAEF,8CAA8C;IAC9C,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACvE,MAAM,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IAEjF,0DAA0D;IAC1D,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAE5C,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;QAE/B,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACnC,MAAM,cAAc,GAAG,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAEnE,IAAI,UAAU,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAChC,CAAC;iBAAM,IAAI,UAAU,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;gBACnC,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC;QACL,CAAC;IACL,CAAC;IAED,4CAA4C;IAC5C,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC;QACrC,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACjB,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBACzC,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;oBAC7B,WAAW,EAAE,CAAC;gBAClB,CAAC;qBAAM,IAAI,OAAO,CAAC,KAAK,KAAK,gBAAgB,EAAE,CAAC;oBAC5C,OAAO,EAAE,CAAC;gBACd,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO;QACH,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;QAC1B,SAAS,EAAE,YAAY,CAAC,MAAM;QAC9B,WAAW;QACX,OAAO;QACP,MAAM;QACN,QAAQ;QACR,gBAAgB,EAAE,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM;KACpD,CAAC;AACN,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@domainlang/language",
-    "version": "0.8.0",
+    "version": "0.10.0",
     "displayName": "DomainLang Language",
     "description": "Core language library for DomainLang - parse, validate, and query Domain-Driven Design models programmatically",
     "author": "larsbaunwall",
@@ -63,16 +63,15 @@
         "./syntaxes/domain-lang.monarch": {
             "types": "./out/syntaxes/domain-lang.monarch.d.ts",
             "default": "./out/syntaxes/domain-lang.monarch.js"
-        },
-        "./src/services/git-url-resolver.js": {
-            "browser": "./src/services/git-url-resolver.browser.js",
-            "default": "./src/services/git-url-resolver.js"
         }
     },
     "typesVersions": {
         "*": {
             ".": [
                 "out/index"
+            ],
+            "sdk": [
+                "out/sdk/index"
             ]
         }
     },

package/src/index.ts

@@ -28,3 +28,4 @@ export * from './utils/manifest-utils.js';
 // Export LSP services
 export * from './lsp/manifest-diagnostics.js';
 export { DomainLangIndexManager } from './lsp/domain-lang-index-manager.js';
+export { registerToolHandlers } from './lsp/tool-handlers.js';

package/src/lsp/explain.ts

@@ -0,0 +1,172 @@
+/**
+ * Explanation generation for model elements (PRS-015)
+ * 
+ * Reuses hover builder functions to generate rich markdown explanations
+ * of any model element. This provides the same content that appears in
+ * hover tooltips, but in a format suitable for Language Model Tools.
+ * 
+ * @module lsp/explain
+ */
+
+import type { AstNode } from 'langium';
+import type {
+    BoundedContext,
+    Classification,
+    ContextMap,
+    Domain,
+    DomainMap,
+    Relationship,
+    Team,
+} from '../generated/ast.js';
+import {
+    isBoundedContext,
+    isClassification,
+    isContextMap,
+    isDomain,
+    isDomainMap,
+    isRelationship,
+    isTeam,
+} from '../generated/ast.js';
+import {
+    formatHoverContent,
+    buildDomainFields,
+    buildBcSignature,
+    codeBlock,
+} from './hover/hover-builders.js';
+import type { RefLinkFn } from './hover/hover-builders.js';
+import { effectiveClassification, effectiveTeam } from '../sdk/resolution.js';
+
+/**
+ * Creates a plain-text reference link function for explain output.
+ * Unlike the hover provider (which creates clickable links), this returns
+ * plain names suitable for Language Model consumption.
+ */
+function createRefLink(): RefLinkFn {
+    return (ref, label) => {
+        if (!ref) return label ?? 'unknown';
+        return label ?? ref.name;
+    };
+}
+
+/**
+ * Generates a rich markdown explanation for any model element.
+ * Delegates to the appropriate builder based on element type.
+ * 
+ * @param node - AST node to explain
+ * @returns Markdown explanation
+ */
+export function generateExplanation(node: AstNode): string {
+    const refLink = createRefLink();
+
+    if (isDomain(node)) {
+        return explainDomain(node, refLink);
+    } else if (isBoundedContext(node)) {
+        return explainBoundedContext(node, refLink);
+    } else if (isTeam(node)) {
+        return explainTeam(node);
+    } else if (isClassification(node)) {
+        return explainClassification(node);
+    } else if (isRelationship(node)) {
+        return explainRelationship(node);
+    } else if (isContextMap(node)) {
+        return explainContextMap(node);
+    } else if (isDomainMap(node)) {
+        return explainDomainMap(node);
+    } else {
+        return `**Unknown element type:** ${node.$type}`;
+    }
+}
+
+/**
+ * Explains a Domain element.
+ */
+function explainDomain(domain: Domain, refLink: RefLinkFn): string {
+    const fields = buildDomainFields(domain, refLink);
+    return formatHoverContent('', '🏛️', 'domain', domain.name, fields);
+}
+
+/**
+ * Explains a BoundedContext element.
+ */
+function explainBoundedContext(bc: BoundedContext, refLink: RefLinkFn): string {
+    const description = bc.description ?? '';
+    const classification = effectiveClassification(bc);
+    const team = effectiveTeam(bc);
+    
+    const signature = codeBlock(buildBcSignature(bc));
+    const fields: string[] = [signature];
+    
+    if (description) fields.push(description);
+    
+    const extraFields: string[] = [];
+    if (bc.domain?.ref) {
+        extraFields.push('---', `📁 **Domain:** ${refLink(bc.domain.ref)}`);
+    }
+    if (classification) {
+        extraFields.push(`🔖 **Classification:** ${refLink(classification)}`);
+    }
+    if (team) {
+        extraFields.push(`👥 **Team:** ${refLink(team)}`);
+    }
+    fields.push(...extraFields);
+    
+    return formatHoverContent('', '📦', 'bounded context', bc.name, fields);
+}
+
+/**
+ * Explains a Team element.
+ */
+function explainTeam(team: Team): string {
+    return formatHoverContent('', '👥', 'team', team.name, []);
+}
+
+/**
+ * Explains a Classification element.
+ */
+function explainClassification(classification: Classification): string {
+    return formatHoverContent('', '🏷️', 'classification', classification.name, []);
+}
+
+/**
+ * Explains a Relationship element.
+ */
+function explainRelationship(relationship: Relationship): string {
+    const leftName = relationship.left.link?.ref?.name ?? 'unknown';
+    const rightName = relationship.right.link?.ref?.name ?? 'unknown';
+    const arrow = relationship.arrow;
+
+    const description = `Relationship from **${leftName}** ${arrow} **${rightName}**`;
+    return formatHoverContent('', '🔗', 'relationship', undefined, [description]);
+}
+
+/**
+ * Explains a ContextMap element.
+ */
+function explainContextMap(contextMap: ContextMap): string {
+    const bcNames = contextMap.boundedContexts
+        .flatMap(mr => mr.items.map(item => item.ref?.name ?? 'unknown'));
+    const relCount = contextMap.relationships.length;
+
+    const fields: string[] = [];
+    if (bcNames.length > 0) {
+        fields.push(`**Bounded contexts:** ${bcNames.join(', ')}`);
+    }
+    fields.push(`**Relationships:** ${relCount}`);
+
+    return formatHoverContent('', '🗺️', 'context map', contextMap.name, fields);
+}
+
+/**
+ * Explains a DomainMap element.
+ */
+function explainDomainMap(domainMap: DomainMap): string {
+    const domainNames = domainMap.domains
+        .flatMap(mr => mr.items.map(item => item.ref?.name ?? 'unknown'));
+
+    const fields: string[] = [];
+    if (domainNames.length > 0) {
+        fields.push(`**Domains:** ${domainNames.join(', ')}`);
+    }
+
+    return formatHoverContent('', '🌐', 'domain map', domainMap.name, fields);
+}