@hydranium/conformance 1.0.0-next.10

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 CrossBreeze, EclipseSource and others.
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,97 @@
+# `@hydranium/conformance`
+
+The protocol conformance kit — a TCK — for the
+[Hydranium](https://github.com/eclipse-emfcloud/hydranium) framework.
+
+A TCK is a test suite you do not write: the framework ships the checks, and **you run them against
+your own server** to prove it actually speaks each head's protocol. You supply two things — a way to
+stand a server up (`connect`) and per-language fixtures (a valid and an invalid model) — and the kit
+emits one test per check in your own test runner, alongside your own suites.
+
+Install it if you are building a Hydranium head and want a protocol contract you did not have to
+author, and that keeps checking you as the framework moves.
+
+## What it gives you
+
+- **Per-head batteries**, one subpath each: `/data`, `/lsp` and `/glsp`. Importing one never pulls
+  another head's protocol types in, so an LSP-only adopter takes no data-head surface.
+- **Driver ports rather than adapters.** Each slice names a minimal port — `DataConformanceDriver`,
+  `LspConformanceDriver`, `GlspConformanceDriver<TAction>` — spelled in `@hydranium/protocol` types,
+  plain coordinates and tiny structural minima. The framework's own harnesses
+  (`DataServerHarness`, `LspHarness`, `GlspHarness`) satisfy them **structurally, with no adapter**,
+  and so can a hand-rolled driver.
+- **Runner-agnostic core.** `ConformanceCheck`, `ConformanceRunner` and `emitConformanceSuite` name
+  no test runner and assert with `node:assert/strict`; the thin `/vitest` and `/jest` adapters bind
+  `describe` / `it` / `it.skip` / `afterAll`.
+- **Skips that are visible, not silent.** A check whose optional fixture input is absent is emitted
+  as a named `it.skip`, and every suite prints a ran-vs-skipped summary (`formatSummary`), so a
+  half-wired adopter reads as _skipped_ rather than as a green run.
+- **A false-green guard in the fixture type.** `LanguageFixture` requires **both** a `valid` and an
+  `invalid` model, so an "invalid" model that in fact parses clean fails the diagnostics checks
+  instead of passing vacuously.
+
+## Install
+
+```bash
+npm install --save-dev @hydranium/conformance
+```
+
+`@hydranium/protocol` is a required peer. The two runners are **optional** peers — `vitest` and
+`@jest/globals` — so you install only the one you use, and the core never loads the other. The
+package has no runtime dependencies of its own.
+
+## Subpaths
+
+| Subpath    | Contents                                                    |
+| ---------- | ----------------------------------------------------------- |
+| `.`        | Fixture model + check/runner primitives. No head, no runner. |
+| `./data`   | Data-head driver port + `buildDataChecks`.                   |
+| `./lsp`    | LSP-head driver port + `buildLspChecks`.                     |
+| `./glsp`   | GLSP-head driver port + `buildGlspChecks`.                   |
+| `./vitest` | Vitest adapter: `run{Data,Lsp,Glsp}Conformance`.             |
+| `./jest`   | Jest adapter: the same three entry points.                   |
+
+Each named subpath also resolves as `@hydranium/conformance/lib/<name>`, so a consumer on classic
+`moduleResolution: "Node"` can reach it. The root barrel deliberately re-exports none of the slices.
+
+## Usage
+
+In one test file per head, call the `run*Conformance` function from your runner's adapter subpath —
+`@hydranium/conformance/vitest` or `@hydranium/conformance/jest`. Both adapters also re-export the
+slice types (driver ports, options, fixtures), so a suite needs a single import site.
+
+Each takes `connect` plus `languages`:
+
+- **`connect`** returns a freshly wired driver and is called **once per check**, so checks cannot
+  interfere; the kit disposes the driver afterwards. The data slice wants a server already ready; the
+  LSP slice drives the `initialize` handshake itself, so `connect` must **not** pre-initialise; the
+  GLSP slice drives `start()`.
+- **`languages`** is an array of `LanguageFixture`: `valid` and `invalid` (both read by every
+  slice), plus two opt-ins — `edit` (data slice only: a replacement text and an `expect(root)`
+  predicate, because only you know what "the edit landed" means for your grammar) and
+  `completionPosition` (LSP slice only). A fixture's `uri` and `text` may be thunks, resolved after
+  `connect`, which is how each check gets pristine input in a workspace `connect` just created.
+
+The GLSP slice is generic over your action type and takes `GlspFixture` per diagram type — the
+fixture builds the native actions and the kit matches responses by `kind`, so no `@eclipse-glsp/*`
+type enters the kit.
+
+Then run your normal test command:
+
+```bash
+npx vitest run test/data-conformance.integration.test.ts
+```
+
+The suite prints, per head, how many checks ran and which were skipped and why. For where this sits
+among the framework's test layers, see [`docs/contributing/testing.md`](../../docs/contributing/testing.md).
+
+## Status
+
+Alpha — pre-v0, not yet published. The check batteries are being populated incrementally and the
+driver ports are not yet stable — a new check can turn a passing adopter red by design. See the
+[repository README](../../README.md) for the current status and known limitations.
+
+## License
+
+`MIT` — see this package's [`LICENSE`](./LICENSE), and the repository
+[`NOTICE.md`](../../NOTICE.md) for third-party notices.

package/lib/conformance-suite.d.ts

@@ -0,0 +1,97 @@
+/********************************************************************************
+ * 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
+ ********************************************************************************/
+/**
+ * One conformance check. A check with a {@link body} is RUN (emitted as a
+ * runner test); a check WITHOUT a body is SKIPPED — its optional fixture input
+ * was absent, so it reports as skipped with a named {@link skipReason} rather
+ * than passing vacuously. The false-green guard (require both a valid and an
+ * invalid model) lives in the slices; this type is the head-agnostic unit they
+ * build.
+ */
+export interface ConformanceCheck {
+    readonly title: string;
+    /** Present ⇒ the check runs. Absent ⇒ the check is skipped with {@link skipReason}. */
+    readonly body?: () => void | Promise<void>;
+    /** Why the check was skipped — surfaced in the `it.skip` title and the summary. */
+    readonly skipReason?: string;
+}
+/** A single skipped check in a {@link ConformanceSummary}. */
+export interface SkippedCheck {
+    readonly title: string;
+    readonly reason: string;
+}
+/** Ran-vs-skipped tally over a battery of {@link ConformanceCheck}s. */
+export interface ConformanceSummary {
+    readonly total: number;
+    readonly ran: number;
+    readonly skipped: ReadonlyArray<SkippedCheck>;
+}
+/**
+ * Tally a battery of checks into ran-vs-skipped counts. A check is RAN when
+ * it carries a {@link ConformanceCheck.body}; otherwise it is SKIPPED and its
+ * (possibly defaulted) reason is collected.
+ */
+export declare function summarizeChecks(checks: ReadonlyArray<ConformanceCheck>): ConformanceSummary;
+/**
+ * The `it.skip` title for a skipped check — the check title annotated with
+ * its (possibly defaulted) reason, so the runner's report explains the skip
+ * inline instead of showing a bare greyed-out line.
+ */
+export declare function skippedTitle(check: Pick<ConformanceCheck, 'title' | 'skipReason'>): string;
+/**
+ * Render a one-or-more-line human summary of a {@link ConformanceSummary},
+ * prefixed by the suite name. Printed once per suite so a half-implemented
+ * adopter reads as *skipped*, never as a silent false green.
+ */
+export declare function formatSummary(suite: string, summary: ConformanceSummary): string;
+/**
+ * Write the ran-vs-skipped summary somewhere a test runner does not swallow.
+ *
+ * `console.log` is NOT that place: vitest attributes console output to the
+ * running task, and an `afterAll` hook has none, so the line is dropped with no
+ * warning — measured, not inferred. That silently disables the kit's only
+ * false-green guard: a half-implemented adopter is supposed to read as
+ * *skipped*, and with the summary gone it reads as a clean pass.
+ *
+ * `process.stderr` bypasses the interception. A runner with no `process` (a
+ * browser runner) falls back to `console.log`, where nothing is intercepting in
+ * the first place — the kit's `.` entry is neutrality-gated, so this must not
+ * assume Node.
+ */
+export declare function writeConformanceSummary(text: string): void;
+/**
+ * The minimal test-runner surface {@link emitConformanceSuite} drives, so the
+ * kit core names NO concrete runner (`@jest/globals` / `vitest` / `node:test`)
+ * and stays runner-agnostic. A thin per-runner adapter subpath
+ * (`@hydranium/conformance/jest`, `@hydranium/conformance/vitest`) binds these
+ * methods to its runner's `describe` / `it` / `it.skip` / `afterAll`.
+ * Structural by design — jest and vitest both satisfy it directly.
+ */
+export interface ConformanceRunner {
+    /** Group the suite's checks under `name`; `register` queues them (called synchronously). */
+    describe(name: string, register: () => void): void;
+    /** Register a running check. */
+    test(name: string, body: () => void | Promise<void>): void;
+    /** Register a skipped check (greyed out, never executed). */
+    skip(name: string): void;
+    /** Register a once-per-suite teardown — used to print the ran-vs-skipped summary. */
+    afterAll(fn: () => void | Promise<void>): void;
+}
+/**
+ * Emit a battery of {@link ConformanceCheck}s through an injected
+ * {@link ConformanceRunner} — each check with a body becomes a `test`, each
+ * without becomes a `skip` carrying its {@link skippedTitle}, and an `afterAll`
+ * prints the {@link formatSummary} so the suite always reports ran-vs-skipped.
+ * The thin, runner-agnostic translation layer between a slice's planned checks
+ * (whose ran/skip decisions are the tested pure logic above) and a runner; a
+ * per-runner adapter's `runXxxConformance` builds the check list and hands it
+ * here with the runner bound.
+ */
+export declare function emitConformanceSuite(runner: ConformanceRunner, suite: string, checks: ReadonlyArray<ConformanceCheck>): void;
+//# sourceMappingURL=conformance-suite.d.ts.map

package/lib/conformance-suite.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance-suite.d.ts","sourceRoot":"","sources":["../src/conformance-suite.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAElF;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,uFAAuF;IACvF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3C,mFAAmF;IACnF,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,8DAA8D;AAC9D,MAAM,WAAW,YAAY;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC1B;AAED,wEAAwE;AACxE,MAAM,WAAW,kBAAkB;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;CAChD;AAKD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,aAAa,CAAC,gBAAgB,CAAC,GAAG,kBAAkB,CAW3F;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE,OAAO,GAAG,YAAY,CAAC,GAAG,MAAM,CAE1F;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,kBAAkB,GAAG,MAAM,CAOhF;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAO1D;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,iBAAiB;IAC/B,4FAA4F;IAC5F,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,GAAG,IAAI,CAAC;IACnD,gCAAgC;IAChC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAC3D,6DAA6D;IAC7D,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,qFAAqF;IACrF,QAAQ,CAAC,EAAE,EAAE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;CACjD;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,CAAC,gBAAgB,CAAC,GAAG,IAAI,CAa5H"}

package/lib/conformance-suite.js

@@ -0,0 +1,97 @@
+/********************************************************************************
+ * 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
+ ********************************************************************************/
+/** Placeholder reason for a skipped check that supplied none. */
+const NO_REASON = 'no reason given';
+/**
+ * Tally a battery of checks into ran-vs-skipped counts. A check is RAN when
+ * it carries a {@link ConformanceCheck.body}; otherwise it is SKIPPED and its
+ * (possibly defaulted) reason is collected.
+ */
+export function summarizeChecks(checks) {
+    const skipped = [];
+    let ran = 0;
+    for (const check of checks) {
+        if (check.body) {
+            ran++;
+        }
+        else {
+            skipped.push({ title: check.title, reason: check.skipReason ?? NO_REASON });
+        }
+    }
+    return { total: checks.length, ran, skipped };
+}
+/**
+ * The `it.skip` title for a skipped check — the check title annotated with
+ * its (possibly defaulted) reason, so the runner's report explains the skip
+ * inline instead of showing a bare greyed-out line.
+ */
+export function skippedTitle(check) {
+    return `${check.title} [skipped: ${check.skipReason ?? NO_REASON}]`;
+}
+/**
+ * Render a one-or-more-line human summary of a {@link ConformanceSummary},
+ * prefixed by the suite name. Printed once per suite so a half-implemented
+ * adopter reads as *skipped*, never as a silent false green.
+ */
+export function formatSummary(suite, summary) {
+    const header = `${suite}: ${summary.ran}/${summary.total} ran, ${summary.skipped.length} skipped`;
+    if (summary.skipped.length === 0) {
+        return header;
+    }
+    const lines = summary.skipped.map(skip => `  - skipped: ${skip.title} (${skip.reason})`);
+    return [header, ...lines].join('\n');
+}
+/**
+ * Write the ran-vs-skipped summary somewhere a test runner does not swallow.
+ *
+ * `console.log` is NOT that place: vitest attributes console output to the
+ * running task, and an `afterAll` hook has none, so the line is dropped with no
+ * warning — measured, not inferred. That silently disables the kit's only
+ * false-green guard: a half-implemented adopter is supposed to read as
+ * *skipped*, and with the summary gone it reads as a clean pass.
+ *
+ * `process.stderr` bypasses the interception. A runner with no `process` (a
+ * browser runner) falls back to `console.log`, where nothing is intercepting in
+ * the first place — the kit's `.` entry is neutrality-gated, so this must not
+ * assume Node.
+ */
+export function writeConformanceSummary(text) {
+    const stderr = globalThis.process?.stderr;
+    if (typeof stderr?.write === 'function') {
+        stderr.write(`${text}\n`);
+        return;
+    }
+    console.log(text);
+}
+/**
+ * Emit a battery of {@link ConformanceCheck}s through an injected
+ * {@link ConformanceRunner} — each check with a body becomes a `test`, each
+ * without becomes a `skip` carrying its {@link skippedTitle}, and an `afterAll`
+ * prints the {@link formatSummary} so the suite always reports ran-vs-skipped.
+ * The thin, runner-agnostic translation layer between a slice's planned checks
+ * (whose ran/skip decisions are the tested pure logic above) and a runner; a
+ * per-runner adapter's `runXxxConformance` builds the check list and hands it
+ * here with the runner bound.
+ */
+export function emitConformanceSuite(runner, suite, checks) {
+    runner.describe(suite, () => {
+        for (const check of checks) {
+            if (check.body) {
+                runner.test(check.title, check.body);
+            }
+            else {
+                runner.skip(skippedTitle(check));
+            }
+        }
+        runner.afterAll(() => {
+            writeConformanceSummary(formatSummary(suite, summarizeChecks(checks)));
+        });
+    });
+}
+//# sourceMappingURL=conformance-suite.js.map

package/lib/conformance-suite.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conformance-suite.js","sourceRoot":"","sources":["../src/conformance-suite.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AA+BlF,iEAAiE;AACjE,MAAM,SAAS,GAAG,iBAAiB,CAAC;AAEpC;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,MAAuC;IACpE,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACd,GAAG,EAAE,CAAC;QACT,CAAC;aAAM,CAAC;YACL,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,IAAI,SAAS,EAAE,CAAC,CAAC;QAC/E,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;AACjD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,KAAqD;IAC/E,OAAO,GAAG,KAAK,CAAC,KAAK,cAAc,KAAK,CAAC,UAAU,IAAI,SAAS,GAAG,CAAC;AACvE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,OAA2B;IACrE,MAAM,MAAM,GAAG,GAAG,KAAK,KAAK,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,KAAK,SAAS,OAAO,CAAC,OAAO,CAAC,MAAM,UAAU,CAAC;IAClG,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC;IACjB,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;IACzF,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxC,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAY;IACjD,MAAM,MAAM,GAAI,UAA4E,CAAC,OAAO,EAAE,MAAM,CAAC;IAC7G,IAAI,OAAO,MAAM,EAAE,KAAK,KAAK,UAAU,EAAE,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC;QAC1B,OAAO;IACV,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACrB,CAAC;AAqBD;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAyB,EAAE,KAAa,EAAE,MAAuC;IACnH,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE;QACzB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC1B,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBACd,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC;iBAAM,CAAC;gBACL,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;YACpC,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE;YAClB,uBAAuB,CAAC,aAAa,CAAC,KAAK,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;IACN,CAAC,CAAC,CAAC;AACN,CAAC"}

package/lib/data/index.d.ts

@@ -0,0 +1,69 @@
+/********************************************************************************
+ * 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, type TransferElement } from '@hydranium/protocol';
+import type { DataServerProtocol, TransferDocumentUpdatedEvent } from '@hydranium/protocol/data';
+import { type Harness } from '@hydranium/protocol/testing';
+import type { ConformanceCheck } from '../conformance-suite.js';
+import { type LanguageFixture } from '../model.js';
+/**
+ * The data-server driver port — a live, connected, READY data-server exposed
+ * through its protocol-native proxy plus the captured client-side update
+ * events. The kit names only `@hydranium/protocol` types, so a
+ * `DataServerHarness` satisfies the port structurally (it has `proxy` +
+ * `events` + `dispose`) with NO adapter. `extends Harness` gives the kit the
+ * universal `dispose()` teardown.
+ *
+ * The kit seeds documents purely through the proxy: `updateModelDocument` is
+ * an upsert (it creates a cold URI from the payload, not just modifies an
+ * existing one), so the slice needs no services-level open hook. The adopter
+ * only has to stand the server up READY in its `connect` — see
+ * {@link DataConformanceOptions.connect}.
+ */
+export interface DataConformanceDriver<TTransfer extends TransferElement, TDiagnostic extends TransferDiagnostic = TransferDiagnostic> extends Harness {
+    readonly proxy: DataServerProtocol<TTransfer, TDiagnostic>;
+    /** Captured `onDocumentUpdated` events, append order — the subscription check's observation target. */
+    readonly events: ReadonlyArray<TransferDocumentUpdatedEvent<TTransfer, TDiagnostic>>;
+}
+/** Options for `runDataConformance`. */
+export interface DataConformanceOptions<TTransfer extends TransferElement, TDiagnostic extends TransferDiagnostic = TransferDiagnostic> {
+    /**
+     * Establish a freshly-wired, connected, READY data-server driver. Called
+     * once per check for isolation; the kit disposes it after the check. The
+     * adopter must initialise the workspace before returning, so `waitForReady`
+     * resolves rather than hanging.
+     */
+    readonly connect: () => DataConformanceDriver<TTransfer, TDiagnostic> | Promise<DataConformanceDriver<TTransfer, TDiagnostic>>;
+    /** Per-language fixtures; the grammar-bearing checks run once per language. */
+    readonly languages: ReadonlyArray<LanguageFixture>;
+    /**
+     * Set this when the head under test HAS a project tier. Supplying it IS the
+     * claim that `getProjects` answers at least one project, so an empty array
+     * becomes a failure rather than a vacuous pass.
+     *
+     * Left unset the claim is not made and the check reports skipped with a
+     * named reason, because `[]` is the documented answer for a head with no
+     * project tier (`UNQUALIFIED_PROJECT_REFERENCE` everywhere) — indistinguishable
+     * from "never implemented" without the adopter saying which it is.
+     */
+    readonly expectsProjects?: boolean;
+    /** Suite title override. Default `'conformance: data-server'`. */
+    readonly suiteTitle?: string;
+}
+/**
+ * Build the data-server check battery: server-level checks once, then the
+ * grammar-bearing checks per language. Each check connects a fresh driver
+ * and disposes it, so checks never interfere. Exported for the kit's own
+ * unit tests; adopters call `runDataConformance`.
+ *
+ * `LanguageFixture.edit` is read HERE and nowhere else in the kit, and is
+ * optional: its two checks report skipped when it is absent. See
+ * {@link LanguageFixture} for which slice reads which field.
+ */
+export declare function buildDataChecks<TTransfer extends TransferElement, TDiagnostic extends TransferDiagnostic = TransferDiagnostic>(options: DataConformanceOptions<TTransfer, TDiagnostic>): ConformanceCheck[];
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/data/index.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAWlF,OAAO,EAAoB,KAAK,kBAAkB,EAAE,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtG,OAAO,KAAK,EAAE,kBAAkB,EAAE,4BAA4B,EAAE,MAAM,0BAA0B,CAAC;AACjG,OAAO,EAAE,KAAK,OAAO,EAAW,MAAM,6BAA6B,CAAC;AACpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,KAAK,eAAe,EAAiC,MAAM,aAAa,CAAC;AAElF;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,qBAAqB,CACnC,SAAS,SAAS,eAAe,EACjC,WAAW,SAAS,kBAAkB,GAAG,kBAAkB,CAC5D,SAAQ,OAAO;IACd,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC3D,uGAAuG;IACvG,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,4BAA4B,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;CACvF;AAED,wCAAwC;AACxC,MAAM,WAAW,sBAAsB,CAAC,SAAS,SAAS,eAAe,EAAE,WAAW,SAAS,kBAAkB,GAAG,kBAAkB;IACnI;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,qBAAqB,CAAC,SAAS,EAAE,WAAW,CAAC,GAAG,OAAO,CAAC,qBAAqB,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;IAC/H,+EAA+E;IAC/E,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IACnD;;;;;;;;;OASG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC,kEAAkE;IAClE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC/B;AAeD;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,SAAS,SAAS,eAAe,EAAE,WAAW,SAAS,kBAAkB,GAAG,kBAAkB,EAC3H,OAAO,EAAE,sBAAsB,CAAC,SAAS,EAAE,WAAW,CAAC,GACvD,gBAAgB,EAAE,CAsMpB"}

package/lib/data/index.js

@@ -0,0 +1,223 @@
+/********************************************************************************
+ * 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/data` slice — protocol conformance for the
+ * data-server head. The driver port IS the protocol-native
+ * {@link DataServerProtocol} proxy (plus the captured `onDocumentUpdated`
+ * events), so no upstream wire-lib dep enters the kit and `DataServerHarness`
+ * satisfies the port structurally with no adapter.
+ */
+import assert from 'node:assert/strict';
+import { TransferDocument } from '@hydranium/protocol';
+import { waitFor } from '@hydranium/protocol/testing';
+import { resolveDeferred, resolveModel } from '../model.js';
+/** Client id the kit seeds/edits documents under (the originating author). */
+const AUTHOR = 'conformance-author';
+/** Client id the kit subscribes under — distinct from {@link AUTHOR} so the echo is recognisable. */
+const SUBSCRIBER = 'conformance-subscriber';
+/**
+ * Client id for a write made BEFORE any subscription exists. Distinct from
+ * {@link AUTHOR} so an event caused by it is recognisable: a head that fans
+ * notifications out regardless of its subscription table is otherwise
+ * indistinguishable from one that honours the table, since both deliver
+ * something for the post-subscribe write.
+ */
+const SEEDER = 'conformance-seeder';
+/**
+ * Build the data-server check battery: server-level checks once, then the
+ * grammar-bearing checks per language. Each check connects a fresh driver
+ * and disposes it, so checks never interfere. Exported for the kit's own
+ * unit tests; adopters call `runDataConformance`.
+ *
+ * `LanguageFixture.edit` is read HERE and nowhere else in the kit, and is
+ * optional: its two checks report skipped when it is absent. See
+ * {@link LanguageFixture} for which slice reads which field.
+ */
+export function buildDataChecks(options) {
+    const { connect, expectsProjects } = options;
+    const checks = [];
+    // Split from `waitForReady` so a failure names which of the two broke.
+    //
+    // SHAPE ONLY: an empty array is the documented answer for a head with no
+    // project tier, so "returns `[]`" passes here and is indistinguishable from
+    // "never implemented". The discriminating part is the element-type assertion
+    // (it fails a head answering with the wrong element type, which the bare
+    // `Array.isArray` it replaced could not) plus the separate emptiness check
+    // below, which only an adopter's `expectsProjects` can license.
+    checks.push({
+        title: 'getProjects answers an array of well-formed projects',
+        body: async () => {
+            const driver = await connect();
+            try {
+                const projects = await driver.proxy.getProjects();
+                assert.ok(Array.isArray(projects), 'getProjects did not return an array');
+                for (const project of projects) {
+                    assert.ok(typeof project?.id === 'string' && project.id.length > 0, `getProjects returned a project with no id: ${JSON.stringify(project)}`);
+                    // Type, not emptiness: the empty string is
+                    // `UNQUALIFIED_PROJECT_REFERENCE`, the documented value for a
+                    // project that does not qualify names, and the framework's own
+                    // reference example uses it. Requiring non-empty here failed
+                    // that example and would have failed every adopter taking the
+                    // documented default.
+                    assert.ok(typeof project.referenceName === 'string', `project ${project.id} has no referenceName`);
+                }
+                const ids = projects.map(project => project.id);
+                assert.strictEqual(new Set(ids).size, ids.length, `getProjects returned duplicate project ids: ${ids.join(', ')}`);
+            }
+            finally {
+                driver.dispose();
+            }
+        }
+    });
+    // Separate from the shape check so a failure names which claim broke, and
+    // gated because only the adopter knows whether their head has a project
+    // tier at all. Planned either way — reported as skipped with a reason
+    // rather than silently absent, which is what distinguishes an opt-out from
+    // lost coverage.
+    checks.push({
+        title: 'getProjects answers at least one project (projects expected)',
+        skipReason: expectsProjects
+            ? undefined
+            : 'options supplied no `expectsProjects` (an empty project list is the documented answer for a head with no project tier)',
+        body: expectsProjects
+            ? async () => {
+                const driver = await connect();
+                try {
+                    const projects = await driver.proxy.getProjects();
+                    assert.ok(projects.length > 0, 'getProjects returned an empty array although `expectsProjects` claims the head has a project tier');
+                }
+                finally {
+                    driver.dispose();
+                }
+            }
+            : undefined
+    });
+    checks.push({
+        title: 'waitForReady resolves rather than hanging or rejecting',
+        body: async () => {
+            const driver = await connect();
+            try {
+                // Resolves `Promise<void>`, and over JSON-RPC a void response comes
+                // back as `null` — so the value carries no information and only the
+                // fact that it settles at all is assertable here.
+                await driver.proxy.waitForReady();
+            }
+            finally {
+                driver.dispose();
+            }
+        }
+    });
+    for (const language of options.languages) {
+        const { valid, invalid, edit } = language;
+        const tag = `[${valid.languageId}]`;
+        checks.push({
+            title: `getModelDocument(valid) returns a coherent envelope ${tag}`,
+            body: async () => {
+                const driver = await connect();
+                try {
+                    // Resolved AFTER `connect`, which is the whole point of allowing a
+                    // thunk: the fixture may name a workspace `connect` just created.
+                    const model = resolveModel(valid);
+                    await driver.proxy.updateModelDocument({ uri: model.uri, clientId: AUTHOR, model: model.text });
+                    // `includeDiagnostics` for the same reason the invalid check
+                    // passes it: a synchronous read settles at the integrity-settled
+                    // phase, so an empty array without it can mean "validation has
+                    // not run" rather than "the document is clean".
+                    const document = await driver.proxy.getModelDocument({ uri: model.uri, includeDiagnostics: true });
+                    assert.strictEqual(document.uri, model.uri);
+                    // The SHAPE, not truthiness: `{}` is truthy, so a head answering
+                    // a shaped-but-contentless envelope for a document it did parse
+                    // would pass. `$type` is the one field every TransferElement
+                    // carries, so it is assertable with no fixture knowledge.
+                    const { root } = TransferDocument.assertLoaded(document);
+                    assert.ok(typeof root.$type === 'string' && root.$type.length > 0, `getModelDocument(valid) returned a root with no $type: ${JSON.stringify(root)}`);
+                    // `version` is the conflict token every later update gates on, so
+                    // an envelope that omits it is unusable however good the root is.
+                    assert.ok(Number.isInteger(document.version), `getModelDocument(valid) returned a non-integer version: ${String(document.version)}`);
+                    assert.deepStrictEqual(document.diagnostics, []);
+                }
+                finally {
+                    driver.dispose();
+                }
+            }
+        });
+        checks.push({
+            title: `getModelDocument(invalid) reports at least one diagnostic ${tag}`,
+            body: async () => {
+                const driver = await connect();
+                try {
+                    const model = resolveModel(invalid);
+                    await driver.proxy.updateModelDocument({ uri: model.uri, clientId: AUTHOR, model: model.text });
+                    // Diagnostics are a validation-phase product; a synchronous read settles at the
+                    // integrity-settled phase by default, so request validation explicitly here.
+                    // Safe despite `includeDiagnostics` waiting rather than forcing a build: the
+                    // update above has already driven this document through validation.
+                    const document = await driver.proxy.getModelDocument({ uri: model.uri, includeDiagnostics: true });
+                    assert.ok(document.diagnostics.length >= 1, 'getModelDocument(invalid) reported no diagnostics');
+                }
+                finally {
+                    driver.dispose();
+                }
+            }
+        });
+        // Opt-in: both remaining checks need a second, observably different model
+        // text, which only `edit` supplies.
+        const editSkipReason = 'fixture supplies no `edit` (data-slice only; omit it if this language is not driven through the data head)';
+        checks.push({
+            title: `updateModelDocument applies an edit a follow-up get reflects ${tag}`,
+            skipReason: edit ? undefined : editSkipReason,
+            body: edit
+                ? async () => {
+                    const driver = await connect();
+                    try {
+                        const model = resolveModel(valid);
+                        await driver.proxy.updateModelDocument({ uri: model.uri, clientId: AUTHOR, model: model.text });
+                        await driver.proxy.updateModelDocument({ uri: model.uri, clientId: AUTHOR, model: resolveDeferred(edit.to) });
+                        const document = await driver.proxy.getModelDocument({ uri: model.uri });
+                        assert.ok(edit.expect(document.root), 'edit.expect(root) was false — the edit was not reflected by a follow-up get');
+                    }
+                    finally {
+                        driver.dispose();
+                    }
+                }
+                : undefined
+        });
+        checks.push({
+            title: `subscribe + update delivers an onDocumentUpdated event with the originating clientId ${tag}`,
+            skipReason: edit ? undefined : editSkipReason,
+            body: edit
+                ? async () => {
+                    const driver = await connect();
+                    try {
+                        const model = resolveModel(valid);
+                        await driver.proxy.updateModelDocument({ uri: model.uri, clientId: SEEDER, model: model.text });
+                        await driver.proxy.watchModelDocument({ uri: model.uri, clientId: SUBSCRIBER });
+                        await driver.proxy.updateModelDocument({ uri: model.uri, clientId: AUTHOR, model: resolveDeferred(edit.to) });
+                        await waitFor(() => driver.events.some(event => event.sourceClientId === AUTHOR), {
+                            message: `no onDocumentUpdated event for ${model.uri} after the post-subscription update`
+                        });
+                        const last = driver.events[driver.events.length - 1];
+                        assert.strictEqual(last.document.uri, model.uri);
+                        assert.strictEqual(last.sourceClientId, AUTHOR);
+                        // Nothing from before the subscription. Waiting for the
+                        // post-subscribe event first is what makes this provable: the
+                        // two notifications share one ordered connection, so a seeding
+                        // event that was ever going to arrive has arrived by now.
+                        assert.ok(!driver.events.some(event => event.sourceClientId === SEEDER), 'an onDocumentUpdated event arrived for the update made BEFORE watchModelDocument');
+                    }
+                    finally {
+                        driver.dispose();
+                    }
+                }
+                : undefined
+        });
+    }
+    return checks;
+}
+//# sourceMappingURL=index.js.map

package/lib/data/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/data/index.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAElF;;;;;;GAMG;AAEH,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAiD,MAAM,qBAAqB,CAAC;AAEtG,OAAO,EAAgB,OAAO,EAAE,MAAM,6BAA6B,CAAC;AAEpE,OAAO,EAAwB,eAAe,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAmDlF,8EAA8E;AAC9E,MAAM,MAAM,GAAG,oBAAoB,CAAC;AACpC,qGAAqG;AACrG,MAAM,UAAU,GAAG,wBAAwB,CAAC;AAC5C;;;;;;GAMG;AACH,MAAM,MAAM,GAAG,oBAAoB,CAAC;AAEpC;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAC5B,OAAuD;IAEvD,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,GAAG,OAAO,CAAC;IAC7C,MAAM,MAAM,GAAuB,EAAE,CAAC;IAEtC,uEAAuE;IACvE,EAAE;IACF,yEAAyE;IACzE,4EAA4E;IAC5E,6EAA6E;IAC7E,yEAAyE;IACzE,2EAA2E;IAC3E,gEAAgE;IAChE,MAAM,CAAC,IAAI,CAAC;QACT,KAAK,EAAE,sDAAsD;QAC7D,IAAI,EAAE,KAAK,IAAI,EAAE;YACd,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;YAC/B,IAAI,CAAC;gBACF,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;gBAClD,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,qCAAqC,CAAC,CAAC;gBAC1E,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;oBAC9B,MAAM,CAAC,EAAE,CACN,OAAO,OAAO,EAAE,EAAE,KAAK,QAAQ,IAAI,OAAO,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,EACxD,8CAA8C,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CACzE,CAAC;oBACF,2CAA2C;oBAC3C,8DAA8D;oBAC9D,+DAA+D;oBAC/D,6DAA6D;oBAC7D,8DAA8D;oBAC9D,sBAAsB;oBACtB,MAAM,CAAC,EAAE,CAAC,OAAO,OAAO,CAAC,aAAa,KAAK,QAAQ,EAAE,WAAW,OAAO,CAAC,EAAE,uBAAuB,CAAC,CAAC;gBACtG,CAAC;gBACD,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBAChD,MAAM,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,+CAA+C,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtH,CAAC;oBAAS,CAAC;gBACR,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACJ,CAAC;KACH,CAAC,CAAC;IAEH,0EAA0E;IAC1E,wEAAwE;IACxE,sEAAsE;IACtE,2EAA2E;IAC3E,iBAAiB;IACjB,MAAM,CAAC,IAAI,CAAC;QACT,KAAK,EAAE,8DAA8D;QACrE,UAAU,EAAE,eAAe;YACxB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,wHAAwH;QAC7H,IAAI,EAAE,eAAe;YAClB,CAAC,CAAC,KAAK,IAAI,EAAE;gBACR,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC;oBACF,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;oBAClD,MAAM,CAAC,EAAE,CACN,QAAQ,CAAC,MAAM,GAAG,CAAC,EACnB,mGAAmG,CACrG,CAAC;gBACL,CAAC;wBAAS,CAAC;oBACR,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,CAAC;YACJ,CAAC;YACH,CAAC,CAAC,SAAS;KAChB,CAAC,CAAC;IAEH,MAAM,CAAC,IAAI,CAAC;QACT,KAAK,EAAE,wDAAwD;QAC/D,IAAI,EAAE,KAAK,IAAI,EAAE;YACd,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;YAC/B,IAAI,CAAC;gBACF,oEAAoE;gBACpE,oEAAoE;gBACpE,kDAAkD;gBAClD,MAAM,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;YACrC,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,IAAI,EAAE,GAAG,QAAQ,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,UAAU,GAAG,CAAC;QAEpC,MAAM,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,uDAAuD,GAAG,EAAE;YACnE,IAAI,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC;oBACF,mEAAmE;oBACnE,kEAAkE;oBAClE,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;oBAClC,MAAM,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;oBAChG,6DAA6D;oBAC7D,iEAAiE;oBACjE,+DAA+D;oBAC/D,gDAAgD;oBAChD,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,CAAC;oBACnG,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;oBAC5C,iEAAiE;oBACjE,gEAAgE;oBAChE,6DAA6D;oBAC7D,0DAA0D;oBAC1D,MAAM,EAAE,IAAI,EAAE,GAAG,gBAAgB,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;oBACzD,MAAM,CAAC,EAAE,CACN,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EACvD,0DAA0D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAClF,CAAC;oBACF,kEAAkE;oBAClE,kEAAkE;oBAClE,MAAM,CAAC,EAAE,CACN,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,EAClC,2DAA2D,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CACvF,CAAC;oBACF,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;gBACpD,CAAC;wBAAS,CAAC;oBACR,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,CAAC;YACJ,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,6DAA6D,GAAG,EAAE;YACzE,IAAI,EAAE,KAAK,IAAI,EAAE;gBACd,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;gBAC/B,IAAI,CAAC;oBACF,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;oBACpC,MAAM,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;oBAChG,gFAAgF;oBAChF,6EAA6E;oBAC7E,6EAA6E;oBAC7E,oEAAoE;oBACpE,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,CAAC;oBACnG,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,mDAAmD,CAAC,CAAC;gBACpG,CAAC;wBAAS,CAAC;oBACR,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,CAAC;YACJ,CAAC;SACH,CAAC,CAAC;QAEH,0EAA0E;QAC1E,oCAAoC;QACpC,MAAM,cAAc,GAAG,4GAA4G,CAAC;QAEpI,MAAM,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,gEAAgE,GAAG,EAAE;YAC5E,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc;YAC7C,IAAI,EAAE,IAAI;gBACP,CAAC,CAAC,KAAK,IAAI,EAAE;oBACR,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;oBAC/B,IAAI,CAAC;wBACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;wBAClC,MAAM,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;wBAChG,MAAM,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBAC9G,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;wBACzE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,6EAA6E,CAAC,CAAC;oBACxH,CAAC;4BAAS,CAAC;wBACR,MAAM,CAAC,OAAO,EAAE,CAAC;oBACpB,CAAC;gBACJ,CAAC;gBACH,CAAC,CAAC,SAAS;SAChB,CAAC,CAAC;QAEH,MAAM,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,wFAAwF,GAAG,EAAE;YACpG,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc;YAC7C,IAAI,EAAE,IAAI;gBACP,CAAC,CAAC,KAAK,IAAI,EAAE;oBACR,MAAM,MAAM,GAAG,MAAM,OAAO,EAAE,CAAC;oBAC/B,IAAI,CAAC;wBACF,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;wBAClC,MAAM,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;wBAChG,MAAM,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC;wBAChF,MAAM,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBAC9G,MAAM,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,KAAK,MAAM,CAAC,EAAE;4BAC/E,OAAO,EAAE,kCAAkC,KAAK,CAAC,GAAG,qCAAqC;yBAC3F,CAAC,CAAC;wBACH,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;wBACrD,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;wBACjD,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;wBAChD,wDAAwD;wBACxD,8DAA8D;wBAC9D,+DAA+D;wBAC/D,0DAA0D;wBAC1D,MAAM,CAAC,EAAE,CACN,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,KAAK,MAAM,CAAC,EAC7D,kFAAkF,CACpF,CAAC;oBACL,CAAC;4BAAS,CAAC;wBACR,MAAM,CAAC,OAAO,EAAE,CAAC;oBACpB,CAAC;gBACJ,CAAC;gBACH,CAAC,CAAC,SAAS;SAChB,CAAC,CAAC;IACN,CAAC;IAED,OAAO,MAAM,CAAC;AACjB,CAAC"}