@nowline/core 0.4.1 → 0.5.0

package/dist/diagnostics/index.d.ts

@@ -0,0 +1,106 @@
+import type { LangiumDocument } from 'langium';
+/**
+ * Minimal LSP-style diagnostic shape. Langium re-exports
+ * `vscode-languageserver-types`' `Diagnostic`; we keep a narrow local type to
+ * avoid a direct coupling and to survive cross-version type relocations.
+ */
+export interface LangiumLikeDiagnostic {
+    message: string;
+    severity?: number;
+    code?: string | number;
+    /**
+     * Langium stamps a machine-readable category here. Built-in lexer/parser
+     * errors carry `{ code: 'lexing-error' | 'parsing-error' }`; validator
+     * diagnostics carry the i18n stash `{ code: MessageCode, args }`.
+     */
+    data?: unknown;
+    range?: {
+        start: {
+            line: number;
+            character: number;
+        };
+        end: {
+            line: number;
+            character: number;
+        };
+    };
+}
+/** Minimal Chevrotain lexer-error shape (avoids importing chevrotain types). */
+export interface LexerErrorLike {
+    message: string;
+    line?: number;
+    column?: number;
+    offset?: number;
+    length?: number;
+}
+/** Minimal Chevrotain parser-error shape (avoids importing chevrotain types). */
+export interface ParserErrorLike {
+    message: string;
+    token?: {
+        startLine?: number;
+        startColumn?: number;
+        startOffset?: number;
+        endLine?: number;
+        endColumn?: number;
+        endOffset?: number;
+    };
+}
+export type RawDiagnosticOrigin = 'lexer' | 'parser' | 'validation';
+/**
+ * A diagnostic collected from a built document, tagged by where it came from.
+ * Consumers switch on `origin` and run their own adapter to produce the shape
+ * they need.
+ */
+export type RawDiagnostic = {
+    origin: 'lexer';
+    error: LexerErrorLike;
+} | {
+    origin: 'parser';
+    error: ParserErrorLike;
+} | {
+    origin: 'validation';
+    diagnostic: LangiumLikeDiagnostic;
+};
+export declare const LANGIUM_LEXING_ERROR = "lexing-error";
+export declare const LANGIUM_PARSING_ERROR = "parsing-error";
+/**
+ * True for the lexer/parser errors Langium re-folds into `doc.diagnostics`
+ * inside `validateDocument()`. Callers that already surface those errors
+ * directly from `parseResult.lexerErrors` / `parserErrors` skip these copies
+ * so each syntax error is reported once.
+ */
+export declare function isBuiltinParseDiagnostic(data: unknown): boolean;
+/**
+ * Collect every diagnostic from a built Langium document exactly once,
+ * classified by origin. This is the single place that knows Langium's
+ * `validateDocument()` re-folds lexer + parser errors into `doc.diagnostics`:
+ * we surface those from `parseResult` and skip the re-folded copies, so no
+ * consumer can re-introduce the double-count.
+ *
+ * Order matches insertion (lexer, then parser, then validation diagnostics);
+ * consumers that display by source position sort as needed.
+ */
+export declare function collectDocumentDiagnostics(doc: LangiumDocument): RawDiagnostic[];
+/** Extract a `did you mean "X"` suggestion target from a message, if present. */
+export declare function extractSuggestion(message: string): string | undefined;
+/**
+ * Heuristic fallback code for validator diagnostics that predate stable
+ * codes. Prefer {@link resolveDiagnosticCode}, which checks the stable code
+ * first and only falls back to this.
+ */
+export declare function inferCodeFromMessage(message: string): string;
+/**
+ * The stable validator code if present. Validator diagnostics stash
+ * `{ code: MessageCode, args }` in `data`; the `args`-array guard avoids
+ * mistaking other `data` payloads (VS Code code actions, Langium's built-in
+ * `{ code: 'lexing-error' }`, …) for a stable code.
+ */
+export declare function stableValidatorCode(data: unknown): string | undefined;
+/**
+ * Resolve the diagnostic code shown to users / machine consumers. Prefers the
+ * stable validator code (`NL.Exxxx`) carried in `data`, then Langium's
+ * top-level `code`, then a message-substring heuristic. Shared so the CLI,
+ * preview, and embed label the same diagnostic identically.
+ */
+export declare function resolveDiagnosticCode(diag: LangiumLikeDiagnostic): string;
+//# sourceMappingURL=index.d.ts.map

package/dist/diagnostics/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/diagnostics/index.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAE/C;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACvB;;;;OAIG;IACH,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,KAAK,CAAC,EAAE;QACJ,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;QAC3C,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;KAC5C,CAAC;CACL;AAED,gFAAgF;AAChF,MAAM,WAAW,cAAc;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,iFAAiF;AACjF,MAAM,WAAW,eAAe;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE;QACJ,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,SAAS,CAAC,EAAE,MAAM,CAAC;KACtB,CAAC;CACL;AAED,MAAM,MAAM,mBAAmB,GAAG,OAAO,GAAG,QAAQ,GAAG,YAAY,CAAC;AAEpE;;;;GAIG;AACH,MAAM,MAAM,aAAa,GACnB;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,cAAc,CAAA;CAAE,GAC1C;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,eAAe,CAAA;CAAE,GAC5C;IAAE,MAAM,EAAE,YAAY,CAAC;IAAC,UAAU,EAAE,qBAAqB,CAAA;CAAE,CAAC;AAIlE,eAAO,MAAM,oBAAoB,iBAAiB,CAAC;AACnD,eAAO,MAAM,qBAAqB,kBAAkB,CAAC;AAErD;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAI/D;AAED;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CAAC,GAAG,EAAE,eAAe,GAAG,aAAa,EAAE,CAchF;AAID,iFAAiF;AACjF,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAGrE;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAW5D;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAMrE;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,qBAAqB,GAAG,MAAM,CAMzE"}

package/dist/diagnostics/index.js

@@ -0,0 +1,110 @@
+// Shared diagnostic-collection primitives for every surface that turns a
+// built Langium document into user-facing diagnostics (the CLI's text/JSON
+// output, the browser preview table, the embed). The collection +
+// classification logic lives here so the tricky Langium-folding behavior is
+// defined exactly once; consumers keep their own thin mappers to their
+// output shapes (CliDiagnostic, DiagnosticRow, …).
+// Langium's `DocumentValidator` stamps these on the lexer/parser errors it
+// folds into `doc.diagnostics` (see langium/lib/validation/document-validator).
+export const LANGIUM_LEXING_ERROR = 'lexing-error';
+export const LANGIUM_PARSING_ERROR = 'parsing-error';
+/**
+ * True for the lexer/parser errors Langium re-folds into `doc.diagnostics`
+ * inside `validateDocument()`. Callers that already surface those errors
+ * directly from `parseResult.lexerErrors` / `parserErrors` skip these copies
+ * so each syntax error is reported once.
+ */
+export function isBuiltinParseDiagnostic(data) {
+    if (!data || typeof data !== 'object')
+        return false;
+    const code = data.code;
+    return code === LANGIUM_LEXING_ERROR || code === LANGIUM_PARSING_ERROR;
+}
+/**
+ * Collect every diagnostic from a built Langium document exactly once,
+ * classified by origin. This is the single place that knows Langium's
+ * `validateDocument()` re-folds lexer + parser errors into `doc.diagnostics`:
+ * we surface those from `parseResult` and skip the re-folded copies, so no
+ * consumer can re-introduce the double-count.
+ *
+ * Order matches insertion (lexer, then parser, then validation diagnostics);
+ * consumers that display by source position sort as needed.
+ */
+export function collectDocumentDiagnostics(doc) {
+    const out = [];
+    for (const error of doc.parseResult.lexerErrors) {
+        out.push({ origin: 'lexer', error: error });
+    }
+    for (const error of doc.parseResult.parserErrors) {
+        out.push({ origin: 'parser', error: error });
+    }
+    for (const diagnostic of doc.diagnostics ?? []) {
+        const row = diagnostic;
+        if (isBuiltinParseDiagnostic(row.data))
+            continue;
+        out.push({ origin: 'validation', diagnostic: row });
+    }
+    return out;
+}
+const DID_YOU_MEAN_RE = /did you mean ['"]?([^'"?]+)['"]?\??/i;
+/** Extract a `did you mean "X"` suggestion target from a message, if present. */
+export function extractSuggestion(message) {
+    const match = message.match(DID_YOU_MEAN_RE);
+    return match ? match[1].trim() : undefined;
+}
+/**
+ * Heuristic fallback code for validator diagnostics that predate stable
+ * codes. Prefer {@link resolveDiagnosticCode}, which checks the stable code
+ * first and only falls back to this.
+ */
+export function inferCodeFromMessage(message) {
+    const lower = message.toLowerCase();
+    if (lower.includes('duplicate identifier'))
+        return 'duplicate-identifier';
+    if (lower.includes('unknown reference') || lower.includes('did you mean'))
+        return 'unknown-reference';
+    if (lower.includes('circular'))
+        return 'circular-dependency';
+    if (lower.includes('requires') && lower.includes('date:'))
+        return 'missing-date';
+    if (lower.includes('duration'))
+        return 'duration';
+    if (lower.includes('include'))
+        return 'include';
+    if (lower.includes('indent'))
+        return 'indentation';
+    return 'validation';
+}
+/**
+ * The stable validator code if present. Validator diagnostics stash
+ * `{ code: MessageCode, args }` in `data`; the `args`-array guard avoids
+ * mistaking other `data` payloads (VS Code code actions, Langium's built-in
+ * `{ code: 'lexing-error' }`, …) for a stable code.
+ */
+export function stableValidatorCode(data) {
+    if (!data || typeof data !== 'object')
+        return undefined;
+    const obj = data;
+    if (typeof obj.code !== 'string')
+        return undefined;
+    if (!Array.isArray(obj.args))
+        return undefined;
+    return obj.code;
+}
+/**
+ * Resolve the diagnostic code shown to users / machine consumers. Prefers the
+ * stable validator code (`NL.Exxxx`) carried in `data`, then Langium's
+ * top-level `code`, then a message-substring heuristic. Shared so the CLI,
+ * preview, and embed label the same diagnostic identically.
+ */
+export function resolveDiagnosticCode(diag) {
+    const stable = stableValidatorCode(diag.data);
+    if (stable)
+        return stable;
+    if (typeof diag.code === 'string' && diag.code !== '')
+        return diag.code;
+    if (typeof diag.code === 'number')
+        return String(diag.code);
+    return inferCodeFromMessage(diag.message);
+}
+//# sourceMappingURL=index.js.map

package/dist/diagnostics/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/diagnostics/index.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,2EAA2E;AAC3E,kEAAkE;AAClE,4EAA4E;AAC5E,uEAAuE;AACvE,mDAAmD;AA2DnD,2EAA2E;AAC3E,gFAAgF;AAChF,MAAM,CAAC,MAAM,oBAAoB,GAAG,cAAc,CAAC;AACnD,MAAM,CAAC,MAAM,qBAAqB,GAAG,eAAe,CAAC;AAErD;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CAAC,IAAa;IAClD,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACpD,MAAM,IAAI,GAAI,IAA2B,CAAC,IAAI,CAAC;IAC/C,OAAO,IAAI,KAAK,oBAAoB,IAAI,IAAI,KAAK,qBAAqB,CAAC;AAC3E,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B,CAAC,GAAoB;IAC3D,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;QAC9C,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAuB,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,WAAW,CAAC,YAAY,EAAE,CAAC;QAC/C,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAmC,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,GAAG,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,UAAmC,CAAC;QAChD,IAAI,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACjD,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,MAAM,eAAe,GAAG,sCAAsC,CAAC;AAE/D,iFAAiF;AACjF,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC7C,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAAe;IAChD,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,QAAQ,CAAC,sBAAsB,CAAC;QAAE,OAAO,sBAAsB,CAAC;IAC1E,IAAI,KAAK,CAAC,QAAQ,CAAC,mBAAmB,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,cAAc,CAAC;QACrE,OAAO,mBAAmB,CAAC;IAC/B,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,qBAAqB,CAAC;IAC7D,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,cAAc,CAAC;IACjF,IAAI,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IAClD,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,aAAa,CAAC;IACnD,OAAO,YAAY,CAAC;AACxB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAa;IAC7C,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACxD,MAAM,GAAG,GAAG,IAA0C,CAAC;IACvD,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,GAAG,CAAC,IAAI,CAAC;AACpB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAA2B;IAC7D,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACxE,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,OAAO,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC9C,CAAC"}

package/dist/index.d.ts

@@ -1,3 +1,4 @@
+export { collectDocumentDiagnostics, extractSuggestion, inferCodeFromMessage, isBuiltinParseDiagnostic, LANGIUM_LEXING_ERROR, LANGIUM_PARSING_ERROR, type LangiumLikeDiagnostic, type LexerErrorLike, type ParserErrorLike, type RawDiagnostic, type RawDiagnosticOrigin, resolveDiagnosticCode, stableValidatorCode, } from './diagnostics/index.js';
 export * from './generated/ast.js';
 export * from './generated/module.js';
 export { ALL_CODES, type MessageCode } from './i18n/codes.js';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,cAAc,uBAAuB,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EACH,KAAK,WAAW,EAChB,KAAK,aAAa,EAClB,cAAc,EACd,EAAE,GACL,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACH,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,sBAAsB,EAC3B,KAAK,aAAa,EAClB,eAAe,GAClB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC1F,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AACpF,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,0BAA0B,EAC1B,iBAAiB,EACjB,oBAAoB,EACpB,wBAAwB,EACxB,oBAAoB,EACpB,qBAAqB,EACrB,KAAK,qBAAqB,EAC1B,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,mBAAmB,EACxB,qBAAqB,EACrB,mBAAmB,GACtB,MAAM,wBAAwB,CAAC;AAChC,cAAc,oBAAoB,CAAC;AACnC,cAAc,uBAAuB,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EACH,KAAK,WAAW,EAChB,KAAK,aAAa,EAClB,cAAc,EACd,EAAE,GACL,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACH,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,sBAAsB,EAC3B,KAAK,aAAa,EAClB,eAAe,GAClB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC1F,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AACpF,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC"}

package/dist/index.js

@@ -1,3 +1,4 @@
+export { collectDocumentDiagnostics, extractSuggestion, inferCodeFromMessage, isBuiltinParseDiagnostic, LANGIUM_LEXING_ERROR, LANGIUM_PARSING_ERROR, resolveDiagnosticCode, stableValidatorCode, } from './diagnostics/index.js';
 export * from './generated/ast.js';
 export * from './generated/module.js';
 export { ALL_CODES } from './i18n/codes.js';

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,cAAc,uBAAuB,CAAC;AACtC,OAAO,EAAE,SAAS,EAAoB,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAGH,cAAc,EACd,EAAE,GACL,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAQH,eAAe,GAClB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AACpF,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,0BAA0B,EAC1B,iBAAiB,EACjB,oBAAoB,EACpB,wBAAwB,EACxB,oBAAoB,EACpB,qBAAqB,EAMrB,qBAAqB,EACrB,mBAAmB,GACtB,MAAM,wBAAwB,CAAC;AAChC,cAAc,oBAAoB,CAAC;AACnC,cAAc,uBAAuB,CAAC;AACtC,OAAO,EAAE,SAAS,EAAoB,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAGH,cAAc,EACd,EAAE,GACL,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAQH,eAAe,GAClB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AACpF,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nowline/core",
-  "version": "0.4.1",
+  "version": "0.5.0",
   "description": "Nowline DSL parser, AST, and validation",
   "license": "Apache-2.0",
   "engines": {

package/src/diagnostics/index.ts

@@ -0,0 +1,160 @@
+// Shared diagnostic-collection primitives for every surface that turns a
+// built Langium document into user-facing diagnostics (the CLI's text/JSON
+// output, the browser preview table, the embed). The collection +
+// classification logic lives here so the tricky Langium-folding behavior is
+// defined exactly once; consumers keep their own thin mappers to their
+// output shapes (CliDiagnostic, DiagnosticRow, …).
+
+import type { LangiumDocument } from 'langium';
+
+/**
+ * Minimal LSP-style diagnostic shape. Langium re-exports
+ * `vscode-languageserver-types`' `Diagnostic`; we keep a narrow local type to
+ * avoid a direct coupling and to survive cross-version type relocations.
+ */
+export interface LangiumLikeDiagnostic {
+    message: string;
+    severity?: number;
+    code?: string | number;
+    /**
+     * Langium stamps a machine-readable category here. Built-in lexer/parser
+     * errors carry `{ code: 'lexing-error' | 'parsing-error' }`; validator
+     * diagnostics carry the i18n stash `{ code: MessageCode, args }`.
+     */
+    data?: unknown;
+    range?: {
+        start: { line: number; character: number };
+        end: { line: number; character: number };
+    };
+}
+
+/** Minimal Chevrotain lexer-error shape (avoids importing chevrotain types). */
+export interface LexerErrorLike {
+    message: string;
+    line?: number;
+    column?: number;
+    offset?: number;
+    length?: number;
+}
+
+/** Minimal Chevrotain parser-error shape (avoids importing chevrotain types). */
+export interface ParserErrorLike {
+    message: string;
+    token?: {
+        startLine?: number;
+        startColumn?: number;
+        startOffset?: number;
+        endLine?: number;
+        endColumn?: number;
+        endOffset?: number;
+    };
+}
+
+export type RawDiagnosticOrigin = 'lexer' | 'parser' | 'validation';
+
+/**
+ * A diagnostic collected from a built document, tagged by where it came from.
+ * Consumers switch on `origin` and run their own adapter to produce the shape
+ * they need.
+ */
+export type RawDiagnostic =
+    | { origin: 'lexer'; error: LexerErrorLike }
+    | { origin: 'parser'; error: ParserErrorLike }
+    | { origin: 'validation'; diagnostic: LangiumLikeDiagnostic };
+
+// Langium's `DocumentValidator` stamps these on the lexer/parser errors it
+// folds into `doc.diagnostics` (see langium/lib/validation/document-validator).
+export const LANGIUM_LEXING_ERROR = 'lexing-error';
+export const LANGIUM_PARSING_ERROR = 'parsing-error';
+
+/**
+ * True for the lexer/parser errors Langium re-folds into `doc.diagnostics`
+ * inside `validateDocument()`. Callers that already surface those errors
+ * directly from `parseResult.lexerErrors` / `parserErrors` skip these copies
+ * so each syntax error is reported once.
+ */
+export function isBuiltinParseDiagnostic(data: unknown): boolean {
+    if (!data || typeof data !== 'object') return false;
+    const code = (data as { code?: unknown }).code;
+    return code === LANGIUM_LEXING_ERROR || code === LANGIUM_PARSING_ERROR;
+}
+
+/**
+ * Collect every diagnostic from a built Langium document exactly once,
+ * classified by origin. This is the single place that knows Langium's
+ * `validateDocument()` re-folds lexer + parser errors into `doc.diagnostics`:
+ * we surface those from `parseResult` and skip the re-folded copies, so no
+ * consumer can re-introduce the double-count.
+ *
+ * Order matches insertion (lexer, then parser, then validation diagnostics);
+ * consumers that display by source position sort as needed.
+ */
+export function collectDocumentDiagnostics(doc: LangiumDocument): RawDiagnostic[] {
+    const out: RawDiagnostic[] = [];
+    for (const error of doc.parseResult.lexerErrors) {
+        out.push({ origin: 'lexer', error: error as LexerErrorLike });
+    }
+    for (const error of doc.parseResult.parserErrors) {
+        out.push({ origin: 'parser', error: error as unknown as ParserErrorLike });
+    }
+    for (const diagnostic of doc.diagnostics ?? []) {
+        const row = diagnostic as LangiumLikeDiagnostic;
+        if (isBuiltinParseDiagnostic(row.data)) continue;
+        out.push({ origin: 'validation', diagnostic: row });
+    }
+    return out;
+}
+
+const DID_YOU_MEAN_RE = /did you mean ['"]?([^'"?]+)['"]?\??/i;
+
+/** Extract a `did you mean "X"` suggestion target from a message, if present. */
+export function extractSuggestion(message: string): string | undefined {
+    const match = message.match(DID_YOU_MEAN_RE);
+    return match ? match[1].trim() : undefined;
+}
+
+/**
+ * Heuristic fallback code for validator diagnostics that predate stable
+ * codes. Prefer {@link resolveDiagnosticCode}, which checks the stable code
+ * first and only falls back to this.
+ */
+export function inferCodeFromMessage(message: string): string {
+    const lower = message.toLowerCase();
+    if (lower.includes('duplicate identifier')) return 'duplicate-identifier';
+    if (lower.includes('unknown reference') || lower.includes('did you mean'))
+        return 'unknown-reference';
+    if (lower.includes('circular')) return 'circular-dependency';
+    if (lower.includes('requires') && lower.includes('date:')) return 'missing-date';
+    if (lower.includes('duration')) return 'duration';
+    if (lower.includes('include')) return 'include';
+    if (lower.includes('indent')) return 'indentation';
+    return 'validation';
+}
+
+/**
+ * The stable validator code if present. Validator diagnostics stash
+ * `{ code: MessageCode, args }` in `data`; the `args`-array guard avoids
+ * mistaking other `data` payloads (VS Code code actions, Langium's built-in
+ * `{ code: 'lexing-error' }`, …) for a stable code.
+ */
+export function stableValidatorCode(data: unknown): string | undefined {
+    if (!data || typeof data !== 'object') return undefined;
+    const obj = data as { code?: unknown; args?: unknown };
+    if (typeof obj.code !== 'string') return undefined;
+    if (!Array.isArray(obj.args)) return undefined;
+    return obj.code;
+}
+
+/**
+ * Resolve the diagnostic code shown to users / machine consumers. Prefers the
+ * stable validator code (`NL.Exxxx`) carried in `data`, then Langium's
+ * top-level `code`, then a message-substring heuristic. Shared so the CLI,
+ * preview, and embed label the same diagnostic identically.
+ */
+export function resolveDiagnosticCode(diag: LangiumLikeDiagnostic): string {
+    const stable = stableValidatorCode(diag.data);
+    if (stable) return stable;
+    if (typeof diag.code === 'string' && diag.code !== '') return diag.code;
+    if (typeof diag.code === 'number') return String(diag.code);
+    return inferCodeFromMessage(diag.message);
+}

package/src/index.ts

@@ -1,3 +1,18 @@
+export {
+    collectDocumentDiagnostics,
+    extractSuggestion,
+    inferCodeFromMessage,
+    isBuiltinParseDiagnostic,
+    LANGIUM_LEXING_ERROR,
+    LANGIUM_PARSING_ERROR,
+    type LangiumLikeDiagnostic,
+    type LexerErrorLike,
+    type ParserErrorLike,
+    type RawDiagnostic,
+    type RawDiagnosticOrigin,
+    resolveDiagnosticCode,
+    stableValidatorCode,
+} from './diagnostics/index.js';
 export * from './generated/ast.js';
 export * from './generated/module.js';
 export { ALL_CODES, type MessageCode } from './i18n/codes.js';