@hydranium/conformance 1.0.0-next.10

package/lib/lsp/index.js

@@ -0,0 +1,198 @@
+/********************************************************************************
+ * Copyright (c) 2026 CrossBreeze, EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the MIT License which is available in the project root.
+ *
+ * SPDX-License-Identifier: MIT
+ ********************************************************************************/
+/**
+ * The `@hydranium/conformance/lsp` slice — protocol conformance for the LSP
+ * head. The driver port is a STRUCTURAL minimum (`LspConformanceDriver`) that
+ * `@hydranium/core/testing/node`'s `LspHarness` satisfies with NO adapter: the kit
+ * names only `string`, plain coordinates, and tiny structural minima
+ * (`{ message }`, `{ items }`, `{ capabilities }`), never
+ * `vscode-languageserver-protocol` wire types, so the harness's richer return
+ * types are assignable to the narrower port.
+ *
+ * **This slice does not read `LanguageFixture.edit` at all.** The didChange
+ * check drives `valid → invalid` using `invalid.text`, so there is no
+ * adopter-supplied assertion to run and `edit.expect` is never called.
+ * `completionPosition` is the one extra this slice does read.
+ */
+import assert from 'node:assert/strict';
+import { resolveDeferred, resolveModel } from '../model.js';
+/** True when `diagnostic` carries a message in either LSP shape (plain string or markup). */
+function hasTextMessage(diagnostic) {
+    const { message } = diagnostic;
+    return typeof message === 'string' || typeof message?.value === 'string';
+}
+/** Document version sent on the `didChange` of the re-diagnose check (the open is v1). */
+const CHANGED_VERSION = 2;
+/**
+ * Build the LSP check battery: server-level checks once, then the
+ * grammar-bearing checks per language. Completion is an OPTIONAL LSP capability,
+ * so both completion checks are opt-in on the same `fixture.completionPosition`
+ * signal — the functional completion check and the `completionProvider` baseline
+ * advertisement each run only when at least one fixture supplies a position, and
+ * otherwise report skipped with a named reason rather than passing vacuously or
+ * mandating a capability of servers that do not offer completion.
+ * `textDocumentSync` stays mandatory: the document-sync and
+ * diagnostics checks depend on it. Each check connects a fresh driver, drives the
+ * `initialize` handshake, and disposes the driver. Exported for the kit's own
+ * unit tests; adopters call `runLspConformance`.
+ */
+export function buildLspChecks(options) {
+    const { connect } = options;
+    const checks = [];
+    // Server-level (once): initialize advertises the mandatory document-sync capability.
+    checks.push({
+        title: 'initialize advertises the baseline document-sync capability (textDocumentSync)',
+        body: async () => {
+            const driver = await connect();
+            try {
+                const result = await driver.initialize();
+                assert.notStrictEqual(result.capabilities.textDocumentSync, undefined, 'initialize did not advertise textDocumentSync');
+            }
+            finally {
+                driver.dispose();
+            }
+        }
+    });
+    // Server-level (once): the `completionProvider` advertisement, on the same
+    // opt-in gate as the functional completion check below.
+    const completionOptedIn = options.languages.some(language => language.completionPosition !== undefined);
+    if (completionOptedIn) {
+        checks.push({
+            title: 'initialize advertises completionProvider (completion opted in)',
+            body: async () => {
+                const driver = await connect();
+                try {
+                    const result = await driver.initialize();
+                    assert.notStrictEqual(result.capabilities.completionProvider, undefined, 'initialize did not advertise completionProvider');
+                }
+                finally {
+                    driver.dispose();
+                }
+            }
+        });
+    }
+    else {
+        checks.push({
+            title: 'initialize advertises completionProvider (completion opted in)',
+            skipReason: 'no fixture supplied a completionPosition (completion is opt-in)'
+        });
+    }
+    // Server-level (once): shutdown resolves.
+    checks.push({
+        title: 'shutdown resolves cleanly',
+        body: async () => {
+            const driver = await connect();
+            try {
+                await driver.initialize();
+                await driver.shutdown();
+            }
+            finally {
+                driver.dispose();
+            }
+        }
+    });
+    for (const language of options.languages) {
+        const { valid, invalid, completionPosition } = language;
+        const tag = `[${valid.languageId}]`;
+        checks.push({
+            title: `didOpen(valid) publishes empty diagnostics ${tag}`,
+            body: async () => {
+                const driver = await connect();
+                try {
+                    await driver.initialize();
+                    // Resolved AFTER `connect` + `initialize`, so a deferred fixture
+                    // may name a workspace this check's driver just brought up.
+                    const model = resolveModel(valid);
+                    const diagnostics = driver.nextDiagnostics(model.uri);
+                    driver.openDocument(model.uri, model.text, model.languageId);
+                    assert.deepStrictEqual(await diagnostics, []);
+                }
+                finally {
+                    driver.dispose();
+                }
+            }
+        });
+        checks.push({
+            title: `didOpen(invalid) publishes at least one diagnostic, each with a message ${tag}`,
+            body: async () => {
+                const driver = await connect();
+                try {
+                    await driver.initialize();
+                    const model = resolveModel(invalid);
+                    const diagnostics = driver.nextDiagnostics(model.uri);
+                    driver.openDocument(model.uri, model.text, model.languageId);
+                    const published = await diagnostics;
+                    assert.ok(published.length >= 1, 'didOpen(invalid) published no diagnostics');
+                    assert.ok(published.every(hasTextMessage), 'a published diagnostic was missing a message');
+                }
+                finally {
+                    driver.dispose();
+                }
+            }
+        });
+        checks.push({
+            title: `didChange(valid → invalid) re-publishes at least one diagnostic ${tag}`,
+            body: async () => {
+                const driver = await connect();
+                try {
+                    await driver.initialize();
+                    const model = resolveModel(valid);
+                    const initial = driver.nextDiagnostics(model.uri);
+                    driver.openDocument(model.uri, model.text, model.languageId);
+                    await initial;
+                    const reDiagnosed = driver.nextDiagnostics(model.uri);
+                    driver.changeDocument(model.uri, resolveDeferred(invalid.text), CHANGED_VERSION);
+                    assert.ok((await reDiagnosed).length >= 1, 'didChange(valid → invalid) re-published no diagnostics');
+                }
+                finally {
+                    driver.dispose();
+                }
+            }
+        });
+        // Opt-in: completion runs only when the fixture supplies a position.
+        if (completionPosition) {
+            checks.push({
+                title: `completion answers with a well-formed item list ${tag}`,
+                body: async () => {
+                    const driver = await connect();
+                    try {
+                        await driver.initialize();
+                        const model = resolveModel(valid);
+                        const diagnostics = driver.nextDiagnostics(model.uri);
+                        driver.openDocument(model.uri, model.text, model.languageId);
+                        await diagnostics;
+                        const { items } = await driver.completion(model.uri, completionPosition);
+                        assert.ok(Array.isArray(items), 'completion did not return an items array');
+                        // Supplying a `completionPosition` IS the claim that
+                        // completion answers there, so an empty list is a failure
+                        // rather than a vacuous pass. `items` is already typed as a
+                        // list and the driver normalises to one, so the bare
+                        // `Array.isArray` this replaced could not fail at all.
+                        assert.ok(items.length > 0, 'completion returned no items at the position the fixture opted in with');
+                        for (const item of items) {
+                            const label = item.label;
+                            assert.ok(typeof label === 'string' && label.length > 0, `completion returned an item with no label: ${JSON.stringify(item)}`);
+                        }
+                    }
+                    finally {
+                        driver.dispose();
+                    }
+                }
+            });
+        }
+        else {
+            checks.push({
+                title: `completion answers with a well-formed item list ${tag}`,
+                skipReason: 'fixture supplied no completionPosition'
+            });
+        }
+    }
+    return checks;
+}
+//# sourceMappingURL=index.js.map

package/lib/lsp/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lsp/index.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAElF;;;;;;;;;;;;;GAaG;AAEH,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAGxC,OAAO,EAAwB,eAAe,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AA0BlF,6FAA6F;AAC7F,SAAS,cAAc,CAAC,UAAoC;IACzD,MAAM,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC;IAC/B,OAAO,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,OAAO,EAAE,KAAK,KAAK,QAAQ,CAAC;AAC5E,CAAC;AAwCD,0FAA0F;AAC1F,MAAM,eAAe,GAAG,CAAC,CAAC;AAE1B;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAAC,OAA8B;IAC1D,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAC5B,MAAM,MAAM,GAAuB,EAAE,CAAC;IAEtC,qFAAqF;IACrF,MAAM,CAAC,IAAI,CAAC;QACT,KAAK,EAAE,gFAAgF;QACvF,IAAI,EAAE,KAAK,IAAI,EAAE;YACd,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;YAC/B,IAAI,CAAC;gBACF,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC;gBACzC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,YAAY,CAAC,gBAAgB,EAAE,SAAS,EAAE,+CAA+C,CAAC,CAAC;YAC3H,CAAC;oBAAS,CAAC;gBACR,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACJ,CAAC;KACH,CAAC,CAAC;IAEH,2EAA2E;IAC3E,wDAAwD;IACxD,MAAM,iBAAiB,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,kBAAkB,KAAK,SAAS,CAAC,CAAC;IACxG,IAAI,iBAAiB,EAAE,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,gEAAgE;YACvE,IAAI,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC;oBACF,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC;oBACzC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,YAAY,CAAC,kBAAkB,EAAE,SAAS,EAAE,iDAAiD,CAAC,CAAC;gBAC/H,CAAC;wBAAS,CAAC;oBACR,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,CAAC;YACJ,CAAC;SACH,CAAC,CAAC;IACN,CAAC;SAAM,CAAC;QACL,MAAM,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,gEAAgE;YACvE,UAAU,EAAE,iEAAiE;SAC/E,CAAC,CAAC;IACN,CAAC;IAED,0CAA0C;IAC1C,MAAM,CAAC,IAAI,CAAC;QACT,KAAK,EAAE,2BAA2B;QAClC,IAAI,EAAE,KAAK,IAAI,EAAE;YACd,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;YAC/B,IAAI,CAAC;gBACF,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC;gBAC1B,MAAM,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC3B,CAAC;oBAAS,CAAC;gBACR,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACJ,CAAC;KACH,CAAC,CAAC;IAEH,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACxC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,GAAG,QAAQ,CAAC;QACxD,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,UAAU,GAAG,CAAC;QAEpC,MAAM,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,8CAA8C,GAAG,EAAE;YAC1D,IAAI,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC;oBACF,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC;oBAC1B,iEAAiE;oBACjE,4DAA4D;oBAC5D,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;oBAClC,MAAM,WAAW,GAAG,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBACtD,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;oBAC7D,MAAM,CAAC,eAAe,CAAC,MAAM,WAAW,EAAE,EAAE,CAAC,CAAC;gBACjD,CAAC;wBAAS,CAAC;oBACR,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,CAAC;YACJ,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,2EAA2E,GAAG,EAAE;YACvF,IAAI,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC;oBACF,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC;oBAC1B,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;oBACpC,MAAM,WAAW,GAAG,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBACtD,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;oBAC7D,MAAM,SAAS,GAAG,MAAM,WAAW,CAAC;oBACpC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,2CAA2C,CAAC,CAAC;oBAC9E,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,8CAA8C,CAAC,CAAC;gBAC9F,CAAC;wBAAS,CAAC;oBACR,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,CAAC;YACJ,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,mEAAmE,GAAG,EAAE;YAC/E,IAAI,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC;oBACF,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC;oBAC1B,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;oBAClC,MAAM,OAAO,GAAG,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBAClD,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;oBAC7D,MAAM,OAAO,CAAC;oBACd,MAAM,WAAW,GAAG,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBACtD,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,EAAE,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC,CAAC;oBACjF,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,MAAM,IAAI,CAAC,EAAE,wDAAwD,CAAC,CAAC;gBACxG,CAAC;wBAAS,CAAC;oBACR,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,CAAC;YACJ,CAAC;SACH,CAAC,CAAC;QAEH,qEAAqE;QACrE,IAAI,kBAAkB,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,mDAAmD,GAAG,EAAE;gBAC/D,IAAI,EAAE,KAAK,IAAI,EAAE;oBACd,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;oBAC/B,IAAI,CAAC;wBACF,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC;wBAC1B,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;wBAClC,MAAM,WAAW,GAAG,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;wBACtD,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;wBAC7D,MAAM,WAAW,CAAC;wBAClB,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;wBACzE,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,0CAA0C,CAAC,CAAC;wBAC5E,qDAAqD;wBACrD,0DAA0D;wBAC1D,4DAA4D;wBAC5D,qDAAqD;wBACrD,uDAAuD;wBACvD,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,wEAAwE,CAAC,CAAC;wBACtG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;4BACxB,MAAM,KAAK,GAAI,IAA4B,CAAC,KAAK,CAAC;4BAClD,MAAM,CAAC,EAAE,CACN,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAC7C,8CAA8C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CACtE,CAAC;wBACL,CAAC;oBACJ,CAAC;4BAAS,CAAC;wBACR,MAAM,CAAC,OAAO,EAAE,CAAC;oBACpB,CAAC;gBACJ,CAAC;aACH,CAAC,CAAC;QACN,CAAC;aAAM,CAAC;YACL,MAAM,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,mDAAmD,GAAG,EAAE;gBAC/D,UAAU,EAAE,wCAAwC;aACtD,CAAC,CAAC;QACN,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AACjB,CAAC"}

package/lib/model.d.ts

@@ -0,0 +1,111 @@
+/********************************************************************************
+ * Copyright (c) 2026 CrossBreeze, EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the MIT License which is available in the project root.
+ *
+ * SPDX-License-Identifier: MIT
+ ********************************************************************************/
+/**
+ * A fixture value that may be given directly or DEFERRED to check time.
+ *
+ * Fixtures are written as literals at module load, but some values are not
+ * knowable then. The driving case: a grammar whose valid model needs a
+ * MANDATORY cross-document reference cannot be self-contained, so its URI has
+ * to sit inside a booted workspace — and if the adopter wants pristine input
+ * per check, the workspace root does not exist until `connect` runs. A thunk
+ * moves the read to the point where it can succeed.
+ *
+ * Resolved once per check via {@link resolveModel}, never at suite-build time,
+ * so a thunk may safely read state that `connect` just established. `languageId`
+ * is deliberately NOT deferrable — it is read while building check titles, i.e.
+ * before any driver exists.
+ */
+export type Deferred<T> = T | (() => T);
+/**
+ * A single model document an adopter supplies to the conformance kit: a URI,
+ * the language id the server registered the grammar under, and the model
+ * text. Head-agnostic — the SAME `valid` / `invalid` pair feeds the
+ * data-server slice (in the RPC envelope) and the LSP slice (over the
+ * `didOpen` wire); no head's wire types appear here.
+ *
+ * `uri` and `text` accept a {@link Deferred} thunk; `languageId` does not (see
+ * there for why). Read through {@link resolveModel} rather than field-by-field,
+ * so one check sees one consistent set of values.
+ */
+export interface ConformanceModel {
+    readonly uri: Deferred<string>;
+    readonly languageId: string;
+    readonly text: Deferred<string>;
+}
+/** A {@link ConformanceModel} with every {@link Deferred} field already read. */
+export interface ResolvedConformanceModel {
+    readonly uri: string;
+    readonly languageId: string;
+    readonly text: string;
+}
+/** Read a possibly-deferred fixture value. */
+export declare function resolveDeferred<T>(value: Deferred<T>): T;
+/**
+ * Read a fixture model's deferred fields, ONCE, at the top of a check body.
+ *
+ * Resolving the whole model rather than each field at its use site is the point:
+ * a thunk may legitimately return a different value on a later check (that is
+ * what makes per-check pristine input possible), so a check that re-read `uri`
+ * mid-body could act on two different documents.
+ */
+export declare function resolveModel(model: ConformanceModel): ResolvedConformanceModel;
+/**
+ * An edit applied to a fixture's document, plus the adopter's grammar-aware
+ * assertion that the edit took effect. `to` is the replacement model text;
+ * `expect` receives the post-edit transfer/AST root (typed `unknown` because
+ * the kit owns no grammar) and returns whether the edit is observable — only
+ * the adopter knows what "the edit landed" means for its grammar.
+ */
+export interface EditSpec {
+    /** Replacement model text; {@link Deferred} for the same reasons as `ConformanceModel.text`. */
+    readonly to: Deferred<string>;
+    readonly expect: (root: unknown) => boolean;
+}
+/**
+ * The per-language fixture. `valid` and `invalid` are defined once and reused
+ * across heads; the two extras are per-head opt-ins.
+ *
+ * Requiring BOTH a valid and an invalid model is the false-green guard — a
+ * vacuous "invalid" model that actually parses clean fails the diagnostics
+ * checks rather than passing silently.
+ *
+ * **Which slice reads which field.** The type cannot express this, so it is
+ * stated here:
+ *
+ * - `valid` / `invalid` — read by every slice.
+ * - `edit` — read by the **data slice only**. The LSP slice's didChange check
+ *   uses `invalid.text` and never calls `edit.expect`, so an LSP-only adopter
+ *   has nothing to supply here.
+ * - `completionPosition` — read by the **LSP slice only**.
+ *
+ * Both extras are optional and their checks report *skipped* when absent,
+ * rather than silently not running. Making either mandatory would defeat the
+ * shared fixture: the head that ignores the field has to invent a value for it,
+ * and the two heads' inventions drift apart until one fixture contradicts the
+ * other. A required field that one head ignores does not produce a shared
+ * fixture; it produces a misleading one.
+ *
+ * The GLSP fixture is separate (per-diagram-type, generic over the adopter
+ * action type) — see `./glsp`.
+ */
+export interface LanguageFixture {
+    readonly valid: ConformanceModel;
+    readonly invalid: ConformanceModel;
+    /**
+     * Optional: an edit plus its observability assertion. The data slice's
+     * round-trip and subscription-delivery checks run only when it is supplied.
+     */
+    readonly edit?: EditSpec;
+    /** Optional: a position at which the LSP completion check requests completion. */
+    readonly completionPosition?: {
+        readonly line: number;
+        readonly character: number;
+    };
+}
+//# sourceMappingURL=model.d.ts.map

package/lib/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../src/model.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAElF;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAExC;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gBAAgB;IAC9B,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CAClC;AAED,iFAAiF;AACjF,MAAM,WAAW,wBAAwB;IACtC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACxB;AAED,8CAA8C;AAC9C,wBAAgB,eAAe,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAExD;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,gBAAgB,GAAG,wBAAwB,CAM9E;AAED;;;;;;GAMG;AACH,MAAM,WAAW,QAAQ;IACtB,gGAAgG;IAChG,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC;CAC9C;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,WAAW,eAAe;IAC7B,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC;;;OAGG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB,kFAAkF;IAClF,QAAQ,CAAC,kBAAkB,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;CACtF"}

package/lib/model.js

@@ -0,0 +1,28 @@
+/********************************************************************************
+ * Copyright (c) 2026 CrossBreeze, EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the MIT License which is available in the project root.
+ *
+ * SPDX-License-Identifier: MIT
+ ********************************************************************************/
+/** Read a possibly-deferred fixture value. */
+export function resolveDeferred(value) {
+    return typeof value === 'function' ? value() : value;
+}
+/**
+ * Read a fixture model's deferred fields, ONCE, at the top of a check body.
+ *
+ * Resolving the whole model rather than each field at its use site is the point:
+ * a thunk may legitimately return a different value on a later check (that is
+ * what makes per-check pristine input possible), so a check that re-read `uri`
+ * mid-body could act on two different documents.
+ */
+export function resolveModel(model) {
+    return {
+        uri: resolveDeferred(model.uri),
+        languageId: model.languageId,
+        text: resolveDeferred(model.text)
+    };
+}
+//# sourceMappingURL=model.js.map

package/lib/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../src/model.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AA2ClF,8CAA8C;AAC9C,MAAM,UAAU,eAAe,CAAI,KAAkB;IAClD,OAAO,OAAO,KAAK,KAAK,UAAU,CAAC,CAAC,CAAE,KAAiB,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;AACrE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,KAAuB;IACjD,OAAO;QACJ,GAAG,EAAE,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC;QAC/B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,IAAI,EAAE,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC;KACnC,CAAC;AACL,CAAC"}

package/lib/vitest/index.d.ts

@@ -0,0 +1,48 @@
+/********************************************************************************
+ * Copyright (c) 2026 CrossBreeze, EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the MIT License which is available in the project root.
+ *
+ * SPDX-License-Identifier: MIT
+ ********************************************************************************/
+/**
+ * The Vitest adapter for `@hydranium/conformance` — the Vitest sibling of the
+ * `@hydranium/conformance/jest` adapter. It binds Vitest's `describe` / `it` /
+ * `it.skip` / `afterAll` to the runner-agnostic {@link ConformanceRunner} port
+ * and exposes the `run{Data,Lsp,Glsp}Conformance` entry points an
+ * adopter-on-Vitest calls, each building its slice's pure check list and
+ * emitting it through the bound runner. The core (`.` / `/data` / `/lsp` /
+ * `/glsp`) imports no runner and asserts with `node:assert`; the
+ * `@hydranium/conformance/jest` sibling is this same binding against Jest's
+ * globals.
+ *
+ * Adopters import the `run*` functions AND the slice types from here, so a
+ * Vitest-based suite needs a single import site.
+ */
+import type { TransferDiagnostic, TransferElement } from '@hydranium/protocol';
+import { type DataConformanceOptions } from '../data/index.js';
+import { type LspConformanceOptions } from '../lsp/index.js';
+import { type GlspConformanceDriver, type GlspConformanceOptions } from '../glsp/index.js';
+export type { DataConformanceDriver, DataConformanceOptions } from '../data/index.js';
+export type { LspConformanceCompletionList, LspConformanceDiagnostic, LspConformanceDriver, LspConformanceInitializeResult, LspConformanceOptions } from '../lsp/index.js';
+export type { GlspConformanceDriver, GlspConformanceOptions, GlspCreateOperationSpec, GlspFixture } from '../glsp/index.js';
+/**
+ * Run the data-server conformance battery against an adopter's live server
+ * under Vitest. Emits a `describe` with one `it` per check (server-level once,
+ * grammar-bearing per language) and a ran-vs-skipped summary.
+ */
+export declare function runDataConformance<TTransfer extends TransferElement, TDiagnostic extends TransferDiagnostic = TransferDiagnostic>(options: DataConformanceOptions<TTransfer, TDiagnostic>): void;
+/**
+ * Run the LSP conformance battery against an adopter's live server under Vitest.
+ * Emits a `describe` with one `it` per check (server-level once, grammar-bearing
+ * per language) and a ran-vs-skipped summary.
+ */
+export declare function runLspConformance(options: LspConformanceOptions): void;
+/**
+ * Run the GLSP conformance battery against an adopter's live diagram server
+ * under Vitest. Emits a `describe` with one `it` per check (per diagram type)
+ * and a ran-vs-skipped summary.
+ */
+export declare function runGlspConformance<TAction, TDriver extends GlspConformanceDriver<TAction>>(options: GlspConformanceOptions<TAction, TDriver>): void;
+//# sourceMappingURL=index.d.ts.map

package/lib/vitest/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/vitest/index.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAElF;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAG/E,OAAO,EAAmB,KAAK,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAkB,KAAK,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAC7E,OAAO,EAAmB,KAAK,qBAAqB,EAAE,KAAK,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAI5G,YAAY,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AACtF,YAAY,EACT,4BAA4B,EAC5B,wBAAwB,EACxB,oBAAoB,EACpB,8BAA8B,EAC9B,qBAAqB,EACvB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAU5H;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,SAAS,SAAS,eAAe,EAAE,WAAW,SAAS,kBAAkB,GAAG,kBAAkB,EAC9H,OAAO,EAAE,sBAAsB,CAAC,SAAS,EAAE,WAAW,CAAC,GACvD,IAAI,CAEN;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,qBAAqB,GAAG,IAAI,CAEtE;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,SAAS,qBAAqB,CAAC,OAAO,CAAC,EACvF,OAAO,EAAE,sBAAsB,CAAC,OAAO,EAAE,OAAO,CAAC,GACjD,IAAI,CAEN"}

package/lib/vitest/index.js

@@ -0,0 +1,45 @@
+/********************************************************************************
+ * Copyright (c) 2026 CrossBreeze, EclipseSource and others.
+ *
+ * This program and the accompanying materials are made available under the
+ * terms of the MIT License which is available in the project root.
+ *
+ * SPDX-License-Identifier: MIT
+ ********************************************************************************/
+import { afterAll, describe, it } from 'vitest';
+import { emitConformanceSuite } from '../conformance-suite.js';
+import { buildDataChecks } from '../data/index.js';
+import { buildLspChecks } from '../lsp/index.js';
+import { buildGlspChecks } from '../glsp/index.js';
+/** Vitest bound to the kit's runner-agnostic {@link ConformanceRunner} port. */
+const vitestRunner = {
+    describe: (name, register) => describe(name, register),
+    test: (name, body) => it(name, body),
+    skip: name => it.skip(name, () => undefined),
+    afterAll: fn => afterAll(fn)
+};
+/**
+ * Run the data-server conformance battery against an adopter's live server
+ * under Vitest. Emits a `describe` with one `it` per check (server-level once,
+ * grammar-bearing per language) and a ran-vs-skipped summary.
+ */
+export function runDataConformance(options) {
+    emitConformanceSuite(vitestRunner, options.suiteTitle ?? 'conformance: data-server', buildDataChecks(options));
+}
+/**
+ * Run the LSP conformance battery against an adopter's live server under Vitest.
+ * Emits a `describe` with one `it` per check (server-level once, grammar-bearing
+ * per language) and a ran-vs-skipped summary.
+ */
+export function runLspConformance(options) {
+    emitConformanceSuite(vitestRunner, options.suiteTitle ?? 'conformance: lsp', buildLspChecks(options));
+}
+/**
+ * Run the GLSP conformance battery against an adopter's live diagram server
+ * under Vitest. Emits a `describe` with one `it` per check (per diagram type)
+ * and a ran-vs-skipped summary.
+ */
+export function runGlspConformance(options) {
+    emitConformanceSuite(vitestRunner, options.suiteTitle ?? 'conformance: glsp', buildGlspChecks(options));
+}
+//# sourceMappingURL=index.js.map

package/lib/vitest/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/vitest/index.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAkBlF,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAChD,OAAO,EAA0B,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACvF,OAAO,EAAE,eAAe,EAA+B,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,cAAc,EAA8B,MAAM,iBAAiB,CAAC;AAC7E,OAAO,EAAE,eAAe,EAA2D,MAAM,kBAAkB,CAAC;AAc5G,gFAAgF;AAChF,MAAM,YAAY,GAAsB;IACrC,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACtD,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;IACpC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC;IAC5C,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;CAC9B,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAC/B,OAAuD;IAEvD,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC,UAAU,IAAI,0BAA0B,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;AAClH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAA8B;IAC7D,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC,UAAU,IAAI,kBAAkB,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;AACzG,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAC/B,OAAiD;IAEjD,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC,UAAU,IAAI,mBAAmB,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;AAC3G,CAAC"}

package/package.json

@@ -0,0 +1,120 @@
+{
+  "name": "@hydranium/conformance",
+  "version": "1.0.0-next.10",
+  "description": "Protocol conformance kit (TCK) for hydranium adopters. Per-head slices (/data, /lsp, /glsp) of fixture-parameterized, protocol-only smoke checks an adopter runs against its own server.",
+  "keywords": [
+    "hydranium",
+    "langium",
+    "language-server",
+    "lsp",
+    "testing",
+    "conformance"
+  ],
+  "homepage": "https://github.com/eclipse-emfcloud/hydranium/tree/main/packages/conformance",
+  "bugs": {
+    "url": "https://github.com/eclipse-emfcloud/hydranium/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/eclipse-emfcloud/hydranium.git",
+    "directory": "packages/conformance"
+  },
+  "license": "MIT",
+  "author": {
+    "name": "Hydranium Team"
+  },
+  "sideEffects": false,
+  "type": "module",
+  "exports": {
+    ".": {
+      "types": "./lib/index.d.ts",
+      "default": "./lib/index.js"
+    },
+    "./data": {
+      "types": "./lib/data/index.d.ts",
+      "default": "./lib/data/index.js"
+    },
+    "./lib/data": {
+      "types": "./lib/data/index.d.ts",
+      "default": "./lib/data/index.js"
+    },
+    "./lsp": {
+      "types": "./lib/lsp/index.d.ts",
+      "default": "./lib/lsp/index.js"
+    },
+    "./lib/lsp": {
+      "types": "./lib/lsp/index.d.ts",
+      "default": "./lib/lsp/index.js"
+    },
+    "./glsp": {
+      "types": "./lib/glsp/index.d.ts",
+      "default": "./lib/glsp/index.js"
+    },
+    "./lib/glsp": {
+      "types": "./lib/glsp/index.d.ts",
+      "default": "./lib/glsp/index.js"
+    },
+    "./jest": {
+      "types": "./lib/jest/index.d.ts",
+      "default": "./lib/jest/index.js"
+    },
+    "./lib/jest": {
+      "types": "./lib/jest/index.d.ts",
+      "default": "./lib/jest/index.js"
+    },
+    "./vitest": {
+      "types": "./lib/vitest/index.d.ts",
+      "default": "./lib/vitest/index.js"
+    },
+    "./lib/vitest": {
+      "types": "./lib/vitest/index.d.ts",
+      "default": "./lib/vitest/index.js"
+    }
+  },
+  "main": "lib/index.js",
+  "types": "lib/index.d.ts",
+  "files": [
+    "lib",
+    "src",
+    "!lib/**/*.tsbuildinfo"
+  ],
+  "scripts": {
+    "build": "tsc -b",
+    "clean": "rimraf lib tsconfig.tsbuildinfo",
+    "lint": "eslint src test --max-warnings 0",
+    "prepack": "node -e \"const m=require('./package.json'),fs=require('node:fs');const missing=[m.main,...Object.values(m.bin||{})].filter(entry=>entry&&!fs.existsSync(entry));if(missing.length){console.error('prepack '+m.name+': not built ('+missing.join(', ')+' missing). Run the build before packing: a files entry that matches nothing is skipped silently, so the tarball would ship src only.');process.exit(1);}\"",
+    "test": "npm run typecheck:test && vitest run && cross-env NODE_OPTIONS=--experimental-vm-modules NODE_NO_WARNINGS=1 jest",
+    "typecheck:test": "tsc --noEmit -p tsconfig.test.json",
+    "watch": "tsc -b -w --preserveWatchOutput"
+  },
+  "devDependencies": {
+    "@hydranium/protocol": "1.0.0-next.10",
+    "@jest/globals": "^29.7.0",
+    "@types/jest": "^29.5.12",
+    "jest": "^29.7.0",
+    "rimraf": "^5.0.0",
+    "ts-jest": "^29.2.0",
+    "typescript": "^5.8.0",
+    "vitest": "^4.0.0"
+  },
+  "peerDependencies": {
+    "@hydranium/protocol": "1.0.0-next.10",
+    "@jest/globals": "^29.0.0",
+    "vitest": "^4.0.0"
+  },
+  "peerDependenciesMeta": {
+    "@jest/globals": {
+      "optional": true
+    },
+    "vitest": {
+      "optional": true
+    }
+  },
+  "engines": {
+    "node": ">=22.13"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "//prepack": "The publish guard, and it deliberately is NOT a `prepare`: npm runs a workspace `prepare` BEFORE the root `postinstall` that applies patches/vscode-jsonrpc+9.0.1.patch, so building there fails on a cold clone and npm rolls the entire install back. `prepack` runs only when a tarball is made (`npm pack`, `npm publish`) and never on install, so it cannot break the install it has no business touching. It FAILS rather than rebuilds, because the rebuild is exactly the part that ordering defeats. What it defends against: `files` lists `lib`, `lib` is gitignored, and a `files` entry matching nothing is skipped SILENTLY — so `npm publish` from an unbuilt tree emits a tarball of `src` and nothing else, with no error."
+}