@hydranium/conformance 1.0.0-next.10

package/lib/glsp/index.d.ts

@@ -0,0 +1,124 @@
+/********************************************************************************
+ * 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 type { Harness } from '@hydranium/protocol/testing';
+import type { ConformanceCheck } from '../conformance-suite.js';
+/**
+ * The GLSP driver port — a live GLSP server driven through the action
+ * round-trip. Generic over the adopter action type `TAction` so the kit names
+ * no `@eclipse-glsp/*` type. `@hydranium/glsp-server/testing`'s `GlspHarness`
+ * satisfies it structurally with `TAction = Action`. `extends Harness` gives
+ * the kit the universal `dispose()` teardown.
+ */
+export interface GlspConformanceDriver<TAction> extends Harness {
+    /** Drive `initialize` + `initializeClientSession`; resolve once the session exists. */
+    start(): Promise<void>;
+    /** Send an action to the server. Fire-and-forget (GLSP `process` is `void`). */
+    dispatch(action: TAction): void;
+    /** Resolve with the next captured action whose `kind` matches; reject on timeout. */
+    nextAction<T extends TAction = TAction>(kind: string, timeoutMs?: number): Promise<T>;
+}
+/**
+ * Opt-in create-operation spec. The adopter supplies the operation action, the
+ * expected response kind it settles with, and a matcher reading the mutated
+ * source model off the concrete driver.
+ */
+export interface GlspCreateOperationSpec<TAction, TDriver extends GlspConformanceDriver<TAction>> {
+    /**
+     * Construct the create operation to dispatch.
+     *
+     * Receives the driver, and is called AFTER the initial `requestModel` has
+     * settled — so the loaded model is available here. Two things depend on that:
+     *
+     * - **Capturing a "before" snapshot.** {@link expectMutated} gets no
+     *   pre-operation state, so an adopter that wants a delta rather than an
+     *   absolute count records it here, in its own closure.
+     * - **Operations that need real element ids.** A `CreateEdgeOperation` names
+     *   a source and target from the index, which do not exist until the model is
+     *   loaded.
+     */
+    readonly action: (driver: TDriver) => TAction;
+    /** The action kind the server settles the operation with (e.g. a re-`RequestBounds` for client-laid-out diagrams). */
+    readonly expectedResponseKind: string;
+    /**
+     * Returns whether the source model gained the element — the adopter reads its
+     * concrete state off `driver`.
+     *
+     * **Receives no pre-operation snapshot of its own**, because the kit owns no
+     * source-model type and cannot capture one generically. An adopter wanting a
+     * delta rather than an absolute count records the before-state in
+     * {@link GlspCreateOperationSpec.action}, which does get the driver and does
+     * run after the model has loaded.
+     *
+     * Sticking to an absolute count is fine too, with one caveat: it couples the
+     * fixture to its input document, so a fixture whose input was MUTATED by an
+     * earlier check silently expects the wrong number. Give each check pristine
+     * input, or take the delta route above.
+     */
+    readonly expectMutated: (driver: TDriver) => boolean;
+}
+/**
+ * Per-diagram-type GLSP fixture, generic over the adopter action type and the
+ * concrete driver. The `prepare` hook covers both fidelities: LIGHT seeds a
+ * source root directly (`driver.seedSourceRoot(...)`); FAITHFUL no-ops and lets
+ * the `requestModel` action carry a source URI a real storage loads.
+ */
+export interface GlspFixture<TAction, TDriver extends GlspConformanceDriver<TAction>> {
+    /**
+     * **Title only** — the label every check for this fixture is tagged with.
+     *
+     * It is NOT the diagram type the server runs: `connect` supplies that to the
+     * harness. Appending a fidelity or document suffix here is what makes two
+     * fixtures over ONE diagram type read apart in the report. Nothing validates
+     * this string, so treat it as free-form and make it descriptive; a value that
+     * is only ever displayed is checked by nothing.
+     */
+    readonly diagramType: string;
+    /** Seed (light) or no-op (faithful) after `start`, before the first `requestModel` dispatch. */
+    readonly prepare: (driver: TDriver) => void | Promise<void>;
+    /**
+     * Construct the `RequestModel` action (light: bare; faithful: carrying a
+     * source URI).
+     *
+     * A THUNK, called per check and always AFTER `connect` — so a faithful fixture
+     * may read a root that `connect` just created, which is how an adopter gives
+     * every check pristine on-disk input. The `/data` and `/lsp` slices get the
+     * same per-check resolution from `ConformanceModel`'s deferrable fields.
+     */
+    readonly requestModel: () => TAction;
+    /** The action kind the server responds to `requestModel` with (e.g. `RequestBoundsAction.KIND`). */
+    readonly expectedResponseKind: string;
+    /** Optional matcher over the response action — the adopter digs into the projected GModel (the kit owns no GModel types). */
+    readonly expectResponse?: (response: TAction) => boolean;
+    /** Opt-in: a create operation that must mutate the source model. */
+    readonly createOperation?: GlspCreateOperationSpec<TAction, TDriver>;
+}
+/** Options for `runGlspConformance`. */
+export interface GlspConformanceOptions<TAction, TDriver extends GlspConformanceDriver<TAction>> {
+    /**
+     * Establish a freshly-wired GLSP driver (NOT started — the kit drives
+     * `start()` per check). Called once per check for isolation; the kit
+     * disposes it. The faithful path must build the workspace here first, so
+     * storage has something to load.
+     */
+    readonly connect: () => TDriver | Promise<TDriver>;
+    /** Per-diagram-type fixtures. */
+    readonly diagrams: ReadonlyArray<GlspFixture<TAction, TDriver>>;
+    /** Suite title override. Default `'conformance: glsp'`. */
+    readonly suiteTitle?: string;
+}
+/**
+ * Build the GLSP check battery — per diagram type: `start()` resolves;
+ * `RequestModel` responds with the expected kind (+ optional `expectResponse`
+ * matcher); and an OPT-IN create-operation check (absent ⇒ `it.skip` with a
+ * named reason). Each check connects a fresh driver, drives `start` + the
+ * fixture's `prepare`, and disposes the driver. Exported for the kit's own
+ * unit tests; adopters call `runGlspConformance`.
+ */
+export declare function buildGlspChecks<TAction, TDriver extends GlspConformanceDriver<TAction>>(options: GlspConformanceOptions<TAction, TDriver>): ConformanceCheck[];
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/glsp/index.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAoBlF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAEhE;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB,CAAC,OAAO,CAAE,SAAQ,OAAO;IAC5D,uFAAuF;IACvF,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,gFAAgF;IAChF,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC;IAChC,qFAAqF;IACrF,UAAU,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;CACxF;AAED;;;;GAIG;AACH,MAAM,WAAW,uBAAuB,CAAC,OAAO,EAAE,OAAO,SAAS,qBAAqB,CAAC,OAAO,CAAC;IAC7F;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,OAAO,CAAC;IAC9C,sHAAsH;IACtH,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,OAAO,CAAC;CACvD;AAED;;;;;GAKG;AACH,MAAM,WAAW,WAAW,CAAC,OAAO,EAAE,OAAO,SAAS,qBAAqB,CAAC,OAAO,CAAC;IACjF;;;;;;;;OAQG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,gGAAgG;IAChG,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5D;;;;;;;;OAQG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,OAAO,CAAC;IACrC,oGAAoG;IACpG,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,6HAA6H;IAC7H,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC,QAAQ,EAAE,OAAO,KAAK,OAAO,CAAC;IACzD,oEAAoE;IACpE,QAAQ,CAAC,eAAe,CAAC,EAAE,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;CACvE;AAED,wCAAwC;AACxC,MAAM,WAAW,sBAAsB,CAAC,OAAO,EAAE,OAAO,SAAS,qBAAqB,CAAC,OAAO,CAAC;IAC5F;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACnD,iCAAiC;IACjC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAChE,2DAA2D;IAC3D,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,SAAS,qBAAqB,CAAC,OAAO,CAAC,EACpF,OAAO,EAAE,sBAAsB,CAAC,OAAO,EAAE,OAAO,CAAC,GACjD,gBAAgB,EAAE,CAoEpB"}

package/lib/glsp/index.js

@@ -0,0 +1,99 @@
+/********************************************************************************
+ * 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/glsp` slice — protocol conformance for the GLSP
+ * head, generic over the adopter's action type `TAction`. The kit imports NO
+ * `@eclipse-glsp/*` types: the FIXTURE supplies the native actions
+ * (`requestModel()`, `createOperation.action()`) and the kit matches responses
+ * by `kind` (a `string`) via the driver's `nextAction`.
+ *
+ * The driver port (`GlspConformanceDriver<TAction>`) is the minimal
+ * `start` / `dispatch` / `nextAction` surface that `@hydranium/glsp-server/
+ * testing`'s `GlspHarness` satisfies with no adapter. Grammar-specific setup
+ * and assertions (seeding a source root for the light path, reading the
+ * mutated source model) are the adopter's via `prepare` / `expectResponse` /
+ * `createOperation.expectMutated`, which receive the CONCRETE driver `TDriver`
+ * — so the port stays grammar-agnostic while the adopter keeps full access to
+ * its harness.
+ */
+import assert from 'node:assert/strict';
+/**
+ * Build the GLSP check battery — per diagram type: `start()` resolves;
+ * `RequestModel` responds with the expected kind (+ optional `expectResponse`
+ * matcher); and an OPT-IN create-operation check (absent ⇒ `it.skip` with a
+ * named reason). Each check connects a fresh driver, drives `start` + the
+ * fixture's `prepare`, and disposes the driver. Exported for the kit's own
+ * unit tests; adopters call `runGlspConformance`.
+ */
+export function buildGlspChecks(options) {
+    const { connect } = options;
+    const checks = [];
+    for (const diagram of options.diagrams) {
+        const tag = `[${diagram.diagramType}]`;
+        checks.push({
+            title: `start() initialises a client session ${tag}`,
+            body: async () => {
+                const driver = await connect();
+                try {
+                    await driver.start();
+                }
+                finally {
+                    driver.dispose();
+                }
+            }
+        });
+        checks.push({
+            title: `RequestModel responds with ${diagram.expectedResponseKind} ${tag}`,
+            body: async () => {
+                const driver = await connect();
+                try {
+                    await driver.start();
+                    await diagram.prepare(driver);
+                    driver.dispatch(diagram.requestModel());
+                    const response = await driver.nextAction(diagram.expectedResponseKind);
+                    if (diagram.expectResponse) {
+                        assert.ok(diagram.expectResponse(response), `expectResponse was false for the ${diagram.expectedResponseKind} response`);
+                    }
+                }
+                finally {
+                    driver.dispose();
+                }
+            }
+        });
+        const operation = diagram.createOperation;
+        if (operation) {
+            checks.push({
+                title: `create operation mutates the source model ${tag}`,
+                body: async () => {
+                    const driver = await connect();
+                    try {
+                        await driver.start();
+                        await diagram.prepare(driver);
+                        driver.dispatch(diagram.requestModel());
+                        await driver.nextAction(diagram.expectedResponseKind);
+                        driver.dispatch(operation.action(driver));
+                        await driver.nextAction(operation.expectedResponseKind);
+                        assert.ok(operation.expectMutated(driver), 'expectMutated was false — the create operation did not mutate the source model');
+                    }
+                    finally {
+                        driver.dispose();
+                    }
+                }
+            });
+        }
+        else {
+            checks.push({
+                title: `create operation mutates the source model ${tag}`,
+                skipReason: 'fixture supplied no createOperation'
+            });
+        }
+    }
+    return checks;
+}
+//# sourceMappingURL=index.js.map

package/lib/glsp/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/glsp/index.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAElF;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,MAAM,MAAM,oBAAoB,CAAC;AAgHxC;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC5B,OAAiD;IAEjD,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAC5B,MAAM,MAAM,GAAuB,EAAE,CAAC;IAEtC,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC,WAAW,GAAG,CAAC;QAEvC,MAAM,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,wCAAwC,GAAG,EAAE;YACpD,IAAI,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC;oBACF,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;gBACxB,CAAC;wBAAS,CAAC;oBACR,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,CAAC;YACJ,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,8BAA8B,OAAO,CAAC,oBAAoB,IAAI,GAAG,EAAE;YAC1E,IAAI,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC;oBACF,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;oBACrB,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAC9B,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;oBACxC,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;oBACvE,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;wBAC1B,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,oCAAoC,OAAO,CAAC,oBAAoB,WAAW,CAAC,CAAC;oBAC5H,CAAC;gBACJ,CAAC;wBAAS,CAAC;oBACR,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,CAAC;YACJ,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,SAAS,GAAG,OAAO,CAAC,eAAe,CAAC;QAC1C,IAAI,SAAS,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,6CAA6C,GAAG,EAAE;gBACzD,IAAI,EAAE,KAAK,IAAI,EAAE;oBACd,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;oBAC/B,IAAI,CAAC;wBACF,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;wBACrB,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;wBAC9B,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;wBACxC,MAAM,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;wBACtD,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;wBAC1C,MAAM,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;wBACxD,MAAM,CAAC,EAAE,CACN,SAAS,CAAC,aAAa,CAAC,MAAM,CAAC,EAC/B,gFAAgF,CAClF,CAAC;oBACL,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,6CAA6C,GAAG,EAAE;gBACzD,UAAU,EAAE,qCAAqC;aACnD,CAAC,CAAC;QACN,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AACjB,CAAC"}

package/lib/index.d.ts

@@ -0,0 +1,11 @@
+/********************************************************************************
+ * 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
+ ********************************************************************************/
+export * from './model.js';
+export * from './conformance-suite.js';
+//# sourceMappingURL=index.d.ts.map

package/lib/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AASlF,cAAc,YAAY,CAAC;AAC3B,cAAc,wBAAwB,CAAC"}

package/lib/index.js

@@ -0,0 +1,19 @@
+/********************************************************************************
+ * 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
+ ********************************************************************************/
+// Head-agnostic core of the hydranium conformance kit (TCK). Exports the
+// shared fixture model + the check/run-loop/reporting primitives the per-head
+// slices build on. Each head ships as a SEPARATE subpath — `@hydranium/
+// conformance/data`, `.../lsp`, `.../glsp` — so importing one slice never
+// pulls another head's protocol types in (the no-root-hub rule). This root
+// barrel deliberately re-exports NONE of the slices.
+export * from './model.js';
+export * from './conformance-suite.js';
+// `waitFor` / `tick` belong to `@hydranium/protocol/testing`, the shared
+// server-free test primitives — import them from there, not from the kit.
+//# sourceMappingURL=index.js.map

package/lib/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAElF,yEAAyE;AACzE,8EAA8E;AAC9E,wEAAwE;AACxE,0EAA0E;AAC1E,2EAA2E;AAC3E,qDAAqD;AAErD,cAAc,YAAY,CAAC;AAC3B,cAAc,wBAAwB,CAAC;AACvC,yEAAyE;AACzE,0EAA0E"}

package/lib/jest/index.d.ts

@@ -0,0 +1,34 @@
+/********************************************************************************
+ * 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 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 Jest. 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 Jest.
+ * 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 Jest. 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/jest/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/jest/index.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAkBlF,OAAO,KAAK,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAE/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/jest/index.js

@@ -0,0 +1,59 @@
+/********************************************************************************
+ * 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 Jest adapter for `@hydranium/conformance` — one of the two runner
+ * adapters, which are the only parts of the kit that import a test runner. It
+ * binds Jest'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-Jest 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/vitest` sibling is
+ * this same binding against Vitest's globals.
+ *
+ * Adopters import the `run*` functions AND the slice types from here, so a
+ * Jest-based suite needs a single import site.
+ */
+import { afterAll, describe, it } from '@jest/globals';
+import { emitConformanceSuite } from '../conformance-suite.js';
+import { buildDataChecks } from '../data/index.js';
+import { buildLspChecks } from '../lsp/index.js';
+import { buildGlspChecks } from '../glsp/index.js';
+/** Jest bound to the kit's runner-agnostic {@link ConformanceRunner} port. */
+const jestRunner = {
+    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 Jest. 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(jestRunner, options.suiteTitle ?? 'conformance: data-server', buildDataChecks(options));
+}
+/**
+ * Run the LSP conformance battery against an adopter's live server under Jest.
+ * 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(jestRunner, options.suiteTitle ?? 'conformance: lsp', buildLspChecks(options));
+}
+/**
+ * Run the GLSP conformance battery against an adopter's live diagram server
+ * under Jest. Emits a `describe` with one `it` per check (per diagram type) and
+ * a ran-vs-skipped summary.
+ */
+export function runGlspConformance(options) {
+    emitConformanceSuite(jestRunner, options.suiteTitle ?? 'conformance: glsp', buildGlspChecks(options));
+}
+//# sourceMappingURL=index.js.map

package/lib/jest/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/jest/index.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAElF;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,eAAe,CAAC;AAEvD,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,8EAA8E;AAC9E,MAAM,UAAU,GAAsB;IACnC,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,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,0BAA0B,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;AAChH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAA8B;IAC7D,oBAAoB,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,kBAAkB,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;AACvG,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAC/B,OAAiD;IAEjD,oBAAoB,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,mBAAmB,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;AACzG,CAAC"}

package/lib/lsp/index.d.ts

@@ -0,0 +1,88 @@
+/********************************************************************************
+ * 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 type { Harness } from '@hydranium/protocol/testing';
+import type { ConformanceCheck } from '../conformance-suite.js';
+import { type LanguageFixture } from '../model.js';
+/** Structural minimum of an LSP `InitializeResult` — only the baseline capabilities the kit asserts. */
+export interface LspConformanceInitializeResult {
+    readonly capabilities: {
+        readonly textDocumentSync?: unknown;
+        readonly completionProvider?: unknown;
+    };
+}
+/** Structural minimum of a `CompletionList` — the kit asserts only that `items` is an array. */
+export interface LspConformanceCompletionList {
+    readonly items: readonly unknown[];
+}
+/**
+ * Structural minimum of a `Diagnostic` — the kit asserts only that each carries a
+ * `message`. LSP 3.18 widened `Diagnostic.message` to `string | MarkupContent`, so
+ * the minimum admits both shapes — spelled structurally (rather than importing
+ * `MarkupContent`) to keep the kit free of a `vscode-languageserver-types`
+ * dependency, and so a real `Diagnostic[]` stays assignable with no adapter.
+ */
+export interface LspConformanceDiagnostic {
+    readonly message: string | {
+        readonly value: string;
+    };
+}
+/**
+ * The LSP driver port — a live, connected LSP server driven through the
+ * lifecycle + document-sync + completion + diagnostics-capture facades.
+ * `@hydranium/core/testing/node`'s `LspHarness` satisfies this structurally (its
+ * richer return types are assignable to these minima), so the adopter's
+ * `connect` returns a `makeLspHarness(...)` with no adapter. `extends Harness`
+ * gives the kit the universal `dispose()` teardown.
+ */
+export interface LspConformanceDriver extends Harness {
+    /** Drive the `initialize` → `initialized` handshake; resolve with the (structurally-minimal) result. */
+    initialize(): Promise<LspConformanceInitializeResult>;
+    /** Send `didOpen` for `uri` with full `text` under `languageId`. */
+    openDocument(uri: string, text: string, languageId: string, version?: number): void;
+    /** Send `didChange` for `uri` as a single full-text replacement at `version`. */
+    changeDocument(uri: string, text: string, version: number): void;
+    /** Resolve with the diagnostics of the next `publishDiagnostics` matching `uri`; reject on timeout. */
+    nextDiagnostics(uri: string, timeoutMs?: number): Promise<readonly LspConformanceDiagnostic[]>;
+    /** Request completion at `position`, normalized to a list. */
+    completion(uri: string, position: {
+        line: number;
+        character: number;
+    }): Promise<LspConformanceCompletionList>;
+    /** Drive the graceful `shutdown` request. */
+    shutdown(): Promise<void>;
+}
+/** Options for `runLspConformance`. */
+export interface LspConformanceOptions {
+    /**
+     * Establish a freshly-wired, connected LSP driver. Called once per check
+     * for isolation; the kit disposes it after the check. The kit drives the
+     * `initialize` handshake itself per check (it is once-only per connection),
+     * so `connect` must NOT pre-initialise.
+     */
+    readonly connect: () => LspConformanceDriver | Promise<LspConformanceDriver>;
+    /** Per-language fixtures; the grammar-bearing checks run once per language. */
+    readonly languages: ReadonlyArray<LanguageFixture>;
+    /** Suite title override. Default `'conformance: lsp'`. */
+    readonly suiteTitle?: string;
+}
+/**
+ * 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 declare function buildLspChecks(options: LspConformanceOptions): ConformanceCheck[];
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lsp/index.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAkBlF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,KAAK,eAAe,EAAiC,MAAM,aAAa,CAAC;AAElF,wGAAwG;AACxG,MAAM,WAAW,8BAA8B;IAC5C,QAAQ,CAAC,YAAY,EAAE;QACpB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;QACpC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;KACxC,CAAC;CACJ;AAED,gGAAgG;AAChG,MAAM,WAAW,4BAA4B;IAC1C,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAC;CACrC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,wBAAwB;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CACxD;AAQD;;;;;;;GAOG;AACH,MAAM,WAAW,oBAAqB,SAAQ,OAAO;IAClD,wGAAwG;IACxG,UAAU,IAAI,OAAO,CAAC,8BAA8B,CAAC,CAAC;IACtD,oEAAoE;IACpE,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpF,iFAAiF;IACjF,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACjE,uGAAuG;IACvG,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,wBAAwB,EAAE,CAAC,CAAC;IAC/F,8DAA8D;IAC9D,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAC9G,6CAA6C;IAC7C,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC5B;AAED,uCAAuC;AACvC,MAAM,WAAW,qBAAqB;IACnC;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,oBAAoB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAC7E,+EAA+E;IAC/E,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IACnD,0DAA0D;IAC1D,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC/B;AAKD;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,qBAAqB,GAAG,gBAAgB,EAAE,CA2JjF"}