@hydranium/core 1.0.0-next.205 → 1.0.0-next.206

package/lib/documents/language-client-text-shadow.js

@@ -1,201 +0,0 @@
-/********************************************************************************
- * 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 { diffLines } from 'diff';
-import { Range, uinteger } from 'vscode-languageserver';
-import { TextDocument } from 'vscode-languageserver-textdocument';
-/** The range every full-document replace emitted here carries. */
-const FULL_RANGE = Range.create(0, 0, uinteger.MAX_VALUE, uinteger.MAX_VALUE);
-/**
- * Whether `edits` is the single full-document replace {@link LanguageClientTextShadow.computeEdits}
- * emits when it has no usable baseline.
- *
- * The distinction matters at the `workspace/applyEdit` egress: a full replace is
- * position-INDEPENDENT and therefore lands correctly on any client buffer, while
- * a line-keyed diff only lands correctly on the exact text it was diffed
- * against. Only the latter needs a client-version gate.
- */
-export function isFullReplace(edits) {
-    if (edits.length !== 1) {
-        return false;
-    }
-    const { start, end } = edits[0].range;
-    return start.line === FULL_RANGE.start.line && start.character === FULL_RANGE.start.character && end.line === FULL_RANGE.end.line;
-}
-/**
- * Tracks the text content the language client (typically Monaco) is believed to
- * currently hold so outgoing `workspace/applyEdit` requests can ship minimal
- * diffs instead of full-document replaces.
- *
- * Why it matters: a full-range replace on a moderately-sized YAML or DSL source
- * forces Monaco to re-tokenise the entire document (observed multi-second hangs
- * on large diagrams), whereas line-level diffs usually reduce that to a handful
- * of small edits.
- *
- * Update points the caller is responsible for:
- *  - {@link computeEdits} after each outgoing server→client sync (updates the shadow optimistically).
- *  - {@link set} when the server receives a `didChange` from the language client (the client now
- *    holds that text; we shouldn't resend it).
- *  - {@link setOpenedText} when the client opens a document the server did not baseline for it —
- *    an equality-only baseline, since that text is a snapshot rather than a tracked one.
- *  - {@link invalidate} when the client rejects an edit (`applied=false`) or a doc is closed —
- *    the shadow is now stale and the next sync must fall back to a full replace.
- */
-export class LanguageClientTextShadow {
-    onFallback;
-    documents;
-    shadow = new Map();
-    /**
-     * Per URI, the text the client declared it opened the document with, held
-     * only until a real baseline exists. Consulted by {@link computeEdits} when
-     * there is no shadow, and dropped on {@link invalidate}: a snapshot that
-     * outlived what the client holds would let the equality check skip an edit
-     * the client still needs.
-     */
-    opened = new Map();
-    /**
-     * @param onFallback invoked when {@link computeEdits} falls back to a full-range replace due to
-     *    apply-verify mismatch. Useful for logging regressions.
-     * @param documents the {@link ShadowDocumentSource} used to materialise the throwaway probe
-     *    document in {@link computeEdits}. In production this is the owning
-     *    `HydraniumTextDocuments` (whose `create` threads through its configured
-     *    `TextDocumentsConfiguration`); tests pass a minimal stub. Routing
-     *    through the manager rather than `TextDocument.create` directly avoids the
-     *    `instanceof FullTextDocument` gate in the bare LSP `TextDocument.update`,
-     *    keeping the verifier honest for adopters with a custom text-document type.
-     */
-    constructor(onFallback, documents) {
-        this.onFallback = onFallback;
-        this.documents = documents;
-    }
-    /** Record the text the language client is known to hold (e.g. after a `didChange` echo). */
-    set(uri, text) {
-        this.shadow.set(uri, text);
-    }
-    /**
-     * Record the buffer the language client declared at `didOpen`, for a URI
-     * with no baseline yet.
-     *
-     * Deliberately NOT a {@link set}: this text is only ever compared for
-     * EQUALITY, never diffed against. A line-keyed diff is position-dependent,
-     * so keying one to a `didOpen` snapshot the client may have moved past
-     * splices its buffer — the failure {@link computeEdits}'s full-replace
-     * fallback exists to avoid.
-     */
-    setOpenedText(uri, text) {
-        this.opened.set(uri, text);
-    }
-    /**
-     * The text the language client is believed to hold: the tracked text, else
-     * the buffer it declared at `didOpen`.
-     *
-     * Read at the `workspace/applyEdit` egress BEFORE {@link computeEdits},
-     * which overwrites the tracked text and drops the opened snapshot. A change
-     * the client sends carries ranges addressing this text and nothing else, so
-     * losing it leaves that change unreconstructable — and applying its ranges
-     * to the already-advanced synced text splices lines they never addressed.
-     *
-     * Deliberately wider than what {@link computeEdits} may diff from: an
-     * opened snapshot is a position-dependent key to a buffer the client may
-     * have moved past, so keying a diff to it splices that buffer.
-     */
-    clientText(uri) {
-        return this.shadow.get(uri) ?? this.opened.get(uri);
-    }
-    /**
-     * Whether a tracked text exists for `uri`, which is what decides whether a
-     * push can be diffed at all. Distinct from {@link clientText}, which also
-     * answers from the opened snapshot and so cannot settle this.
-     */
-    isTracked(uri) {
-        return this.shadow.has(uri);
-    }
-    /** Forget the shadow for a URI; next {@link computeEdits} falls back to a full-document replace. */
-    invalidate(uri) {
-        this.shadow.delete(uri);
-        // Drops the opened snapshot too, and this is the only place that has to:
-        // `computeEdits` clears it whenever it consults it, so the sole way it can
-        // outlive what the client holds is surviving under a live shadow until that
-        // shadow is dropped here.
-        this.opened.delete(uri);
-    }
-    /**
-     * Return the minimal LSP {@link TextEdit}s required to bring the language client's content from
-     * the tracked shadow to `newText`. Updates the shadow to `newText` so subsequent calls diff
-     * against it.
-     *
-     *  - Empty array when the shadow already equals `newText` (caller should skip the RPC),
-     *    or when there is no shadow and the client opened the document with exactly `newText`
-     *    (see {@link setOpenedText}) — pushing it anyway dirties the client's buffer on open.
-     *  - Full-range replace when there is no shadow (first sync or post-{@link invalidate}).
-     *  - Line-level diff otherwise. Before returning, we locally reconstruct `newText` by applying
-     *    the diff to `old`; if that doesn't match, we fall back to a full-range replace and notify
-     *    the fallback callback. This catches any algorithmic regression in {@link diffToEdits}
-     *    without risking client corruption.
-     */
-    computeEdits(uri, newText) {
-        const old = this.shadow.get(uri);
-        if (old === newText) {
-            return [];
-        }
-        this.shadow.set(uri, newText);
-        const fullReplace = { range: FULL_RANGE, newText };
-        if (old === undefined) {
-            // The opened snapshot has served its purpose either way: the shadow above
-            // is now the baseline, so leaving it would only risk a later stale match.
-            const openedText = this.opened.get(uri);
-            this.opened.delete(uri);
-            return openedText === newText ? [] : [fullReplace];
-        }
-        const edits = diffToEdits(old, newText);
-        const verifyDoc = this.documents.create(uri, 'plaintext', 0, old);
-        if (TextDocument.applyEdits(verifyDoc, edits) !== newText) {
-            this.onFallback(uri, 'apply-verify-mismatch');
-            return [fullReplace];
-        }
-        return edits;
-    }
-}
-/**
- * Convert a {@link diffLines} result to a list of LSP {@link TextEdit}s keyed on line positions
- * in the *old* text. Contiguous added/removed hunks are coalesced into a single replace so the
- * client sees one edit per changed region.
- */
-export function diffToEdits(oldText, newText) {
-    const hunks = diffLines(oldText, newText);
-    const edits = [];
-    let oldLine = 0;
-    let i = 0;
-    while (i < hunks.length) {
-        const hunk = hunks[i];
-        if (!hunk.added && !hunk.removed) {
-            oldLine += hunk.count ?? 0;
-            i++;
-            continue;
-        }
-        // Coalesce a run of add/remove hunks into a single replace for this region.
-        let removedLines = 0;
-        let addedText = '';
-        while (i < hunks.length && (hunks[i].added || hunks[i].removed)) {
-            if (hunks[i].removed) {
-                removedLines += hunks[i].count ?? 0;
-            }
-            if (hunks[i].added) {
-                addedText += hunks[i].value;
-            }
-            i++;
-        }
-        edits.push({
-            range: Range.create(oldLine, 0, oldLine + removedLines, 0),
-            newText: addedText
-        });
-        oldLine += removedLines;
-    }
-    return edits;
-}
-//# sourceMappingURL=language-client-text-shadow.js.map

package/lib/documents/language-client-text-shadow.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"language-client-text-shadow.js","sourceRoot":"","sources":["../../src/documents/language-client-text-shadow.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAElF,OAAO,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AACjC,OAAO,EAAE,KAAK,EAAiB,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAclE,kEAAkE;AAClE,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;AAE9E;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,KAA0B;IACrD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,KAAK,CAAC;IAChB,CAAC;IACD,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACtC,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,CAAC,KAAK,CAAC,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;AACrI,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,OAAO,wBAAwB;IAwBrB,UAAU;IACV,SAAS;IAxBZ,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE7C;;;;;;OAMG;IACO,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE7C;;;;;;;;;;OAUG;IACH,YACa,UAAiD,EACjD,SAA+B;0BAD/B,UAAU;yBACV,SAAS;IACnB,CAAC;IAEJ,4FAA4F;IAC5F,GAAG,CAAC,GAAW,EAAE,IAAY;QAC1B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED;;;;;;;;;OASG;IACH,aAAa,CAAC,GAAW,EAAE,IAAY;QACpC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,UAAU,CAAC,GAAW;QACnB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACvD,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,GAAW;QAClB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED,oGAAoG;IACpG,UAAU,CAAC,GAAW;QACnB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACxB,yEAAyE;QACzE,2EAA2E;QAC3E,4EAA4E;QAC5E,0BAA0B;QAC1B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,YAAY,CAAC,GAAW,EAAE,OAAe;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;YACnB,OAAO,EAAE,CAAC;QACb,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAC9B,MAAM,WAAW,GAAa,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;QAC7D,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACrB,0EAA0E;YAC1E,0EAA0E;YAC1E,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACxC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACxB,OAAO,UAAU,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QAClE,IAAI,YAAY,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,OAAO,EAAE,CAAC;YACzD,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,uBAAuB,CAAC,CAAC;YAC9C,OAAO,CAAC,WAAW,CAAC,CAAC;QACxB,CAAC;QACD,OAAO,KAAK,CAAC;IAChB,CAAC;CACH;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,OAAe,EAAE,OAAe;IACzD,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChC,OAAO,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;YAC3B,CAAC,EAAE,CAAC;YACJ,SAAS;QACZ,CAAC;QACD,4EAA4E;QAC5E,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,IAAI,SAAS,GAAG,EAAE,CAAC;QACnB,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/D,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;gBACpB,YAAY,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;YACvC,CAAC;YACD,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;gBAClB,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YAC/B,CAAC;YACD,CAAC,EAAE,CAAC;QACP,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACR,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,YAAY,EAAE,CAAC,CAAC;YAC1D,OAAO,EAAE,SAAS;SACpB,CAAC,CAAC;QACH,OAAO,IAAI,YAAY,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC;AAChB,CAAC"}

package/src/documents/language-client-text-shadow.ts

@@ -1,223 +0,0 @@
-/********************************************************************************
- * 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 { diffLines } from 'diff';
-import { Range, type TextEdit, uinteger } from 'vscode-languageserver';
-import { TextDocument } from 'vscode-languageserver-textdocument';
-
-/**
- * The minimum surface the shadow needs from a `HydraniumTextDocuments`:
- * a `create` method that materialises a fresh text document via the
- * configured `TextDocumentsConfiguration`. Declared as a narrow
- * structural interface so the manager satisfies it without an explicit
- * import (sidestepping the circular `HydraniumTextDocuments → shadow → manager`
- * dependency) and so tests can stub it with a minimal object literal.
- */
-export interface ShadowDocumentSource {
-   create(uri: string, languageId: string, version: number, content: string): TextDocument;
-}
-
-/** The range every full-document replace emitted here carries. */
-const FULL_RANGE = Range.create(0, 0, uinteger.MAX_VALUE, uinteger.MAX_VALUE);
-
-/**
- * Whether `edits` is the single full-document replace {@link LanguageClientTextShadow.computeEdits}
- * emits when it has no usable baseline.
- *
- * The distinction matters at the `workspace/applyEdit` egress: a full replace is
- * position-INDEPENDENT and therefore lands correctly on any client buffer, while
- * a line-keyed diff only lands correctly on the exact text it was diffed
- * against. Only the latter needs a client-version gate.
- */
-export function isFullReplace(edits: readonly TextEdit[]): boolean {
-   if (edits.length !== 1) {
-      return false;
-   }
-   const { start, end } = edits[0].range;
-   return start.line === FULL_RANGE.start.line && start.character === FULL_RANGE.start.character && end.line === FULL_RANGE.end.line;
-}
-
-/**
- * Tracks the text content the language client (typically Monaco) is believed to
- * currently hold so outgoing `workspace/applyEdit` requests can ship minimal
- * diffs instead of full-document replaces.
- *
- * Why it matters: a full-range replace on a moderately-sized YAML or DSL source
- * forces Monaco to re-tokenise the entire document (observed multi-second hangs
- * on large diagrams), whereas line-level diffs usually reduce that to a handful
- * of small edits.
- *
- * Update points the caller is responsible for:
- *  - {@link computeEdits} after each outgoing server→client sync (updates the shadow optimistically).
- *  - {@link set} when the server receives a `didChange` from the language client (the client now
- *    holds that text; we shouldn't resend it).
- *  - {@link setOpenedText} when the client opens a document the server did not baseline for it —
- *    an equality-only baseline, since that text is a snapshot rather than a tracked one.
- *  - {@link invalidate} when the client rejects an edit (`applied=false`) or a doc is closed —
- *    the shadow is now stale and the next sync must fall back to a full replace.
- */
-export class LanguageClientTextShadow {
-   protected shadow = new Map<string, string>();
-
-   /**
-    * Per URI, the text the client declared it opened the document with, held
-    * only until a real baseline exists. Consulted by {@link computeEdits} when
-    * there is no shadow, and dropped on {@link invalidate}: a snapshot that
-    * outlived what the client holds would let the equality check skip an edit
-    * the client still needs.
-    */
-   protected opened = new Map<string, string>();
-
-   /**
-    * @param onFallback invoked when {@link computeEdits} falls back to a full-range replace due to
-    *    apply-verify mismatch. Useful for logging regressions.
-    * @param documents the {@link ShadowDocumentSource} used to materialise the throwaway probe
-    *    document in {@link computeEdits}. In production this is the owning
-    *    `HydraniumTextDocuments` (whose `create` threads through its configured
-    *    `TextDocumentsConfiguration`); tests pass a minimal stub. Routing
-    *    through the manager rather than `TextDocument.create` directly avoids the
-    *    `instanceof FullTextDocument` gate in the bare LSP `TextDocument.update`,
-    *    keeping the verifier honest for adopters with a custom text-document type.
-    */
-   constructor(
-      protected onFallback: (uri: string, reason: string) => void,
-      protected documents: ShadowDocumentSource
-   ) {}
-
-   /** Record the text the language client is known to hold (e.g. after a `didChange` echo). */
-   set(uri: string, text: string): void {
-      this.shadow.set(uri, text);
-   }
-
-   /**
-    * Record the buffer the language client declared at `didOpen`, for a URI
-    * with no baseline yet.
-    *
-    * Deliberately NOT a {@link set}: this text is only ever compared for
-    * EQUALITY, never diffed against. A line-keyed diff is position-dependent,
-    * so keying one to a `didOpen` snapshot the client may have moved past
-    * splices its buffer — the failure {@link computeEdits}'s full-replace
-    * fallback exists to avoid.
-    */
-   setOpenedText(uri: string, text: string): void {
-      this.opened.set(uri, text);
-   }
-
-   /**
-    * The text the language client is believed to hold: the tracked text, else
-    * the buffer it declared at `didOpen`.
-    *
-    * Read at the `workspace/applyEdit` egress BEFORE {@link computeEdits},
-    * which overwrites the tracked text and drops the opened snapshot. A change
-    * the client sends carries ranges addressing this text and nothing else, so
-    * losing it leaves that change unreconstructable — and applying its ranges
-    * to the already-advanced synced text splices lines they never addressed.
-    *
-    * Deliberately wider than what {@link computeEdits} may diff from: an
-    * opened snapshot is a position-dependent key to a buffer the client may
-    * have moved past, so keying a diff to it splices that buffer.
-    */
-   clientText(uri: string): string | undefined {
-      return this.shadow.get(uri) ?? this.opened.get(uri);
-   }
-
-   /**
-    * Whether a tracked text exists for `uri`, which is what decides whether a
-    * push can be diffed at all. Distinct from {@link clientText}, which also
-    * answers from the opened snapshot and so cannot settle this.
-    */
-   isTracked(uri: string): boolean {
-      return this.shadow.has(uri);
-   }
-
-   /** Forget the shadow for a URI; next {@link computeEdits} falls back to a full-document replace. */
-   invalidate(uri: string): void {
-      this.shadow.delete(uri);
-      // Drops the opened snapshot too, and this is the only place that has to:
-      // `computeEdits` clears it whenever it consults it, so the sole way it can
-      // outlive what the client holds is surviving under a live shadow until that
-      // shadow is dropped here.
-      this.opened.delete(uri);
-   }
-
-   /**
-    * Return the minimal LSP {@link TextEdit}s required to bring the language client's content from
-    * the tracked shadow to `newText`. Updates the shadow to `newText` so subsequent calls diff
-    * against it.
-    *
-    *  - Empty array when the shadow already equals `newText` (caller should skip the RPC),
-    *    or when there is no shadow and the client opened the document with exactly `newText`
-    *    (see {@link setOpenedText}) — pushing it anyway dirties the client's buffer on open.
-    *  - Full-range replace when there is no shadow (first sync or post-{@link invalidate}).
-    *  - Line-level diff otherwise. Before returning, we locally reconstruct `newText` by applying
-    *    the diff to `old`; if that doesn't match, we fall back to a full-range replace and notify
-    *    the fallback callback. This catches any algorithmic regression in {@link diffToEdits}
-    *    without risking client corruption.
-    */
-   computeEdits(uri: string, newText: string): TextEdit[] {
-      const old = this.shadow.get(uri);
-      if (old === newText) {
-         return [];
-      }
-      this.shadow.set(uri, newText);
-      const fullReplace: TextEdit = { range: FULL_RANGE, newText };
-      if (old === undefined) {
-         // The opened snapshot has served its purpose either way: the shadow above
-         // is now the baseline, so leaving it would only risk a later stale match.
-         const openedText = this.opened.get(uri);
-         this.opened.delete(uri);
-         return openedText === newText ? [] : [fullReplace];
-      }
-      const edits = diffToEdits(old, newText);
-      const verifyDoc = this.documents.create(uri, 'plaintext', 0, old);
-      if (TextDocument.applyEdits(verifyDoc, edits) !== newText) {
-         this.onFallback(uri, 'apply-verify-mismatch');
-         return [fullReplace];
-      }
-      return edits;
-   }
-}
-
-/**
- * Convert a {@link diffLines} result to a list of LSP {@link TextEdit}s keyed on line positions
- * in the *old* text. Contiguous added/removed hunks are coalesced into a single replace so the
- * client sees one edit per changed region.
- */
-export function diffToEdits(oldText: string, newText: string): TextEdit[] {
-   const hunks = diffLines(oldText, newText);
-   const edits: TextEdit[] = [];
-   let oldLine = 0;
-   let i = 0;
-   while (i < hunks.length) {
-      const hunk = hunks[i];
-      if (!hunk.added && !hunk.removed) {
-         oldLine += hunk.count ?? 0;
-         i++;
-         continue;
-      }
-      // Coalesce a run of add/remove hunks into a single replace for this region.
-      let removedLines = 0;
-      let addedText = '';
-      while (i < hunks.length && (hunks[i].added || hunks[i].removed)) {
-         if (hunks[i].removed) {
-            removedLines += hunks[i].count ?? 0;
-         }
-         if (hunks[i].added) {
-            addedText += hunks[i].value;
-         }
-         i++;
-      }
-      edits.push({
-         range: Range.create(oldLine, 0, oldLine + removedLines, 0),
-         newText: addedText
-      });
-      oldLine += removedLines;
-   }
-   return edits;
-}