@hydranium/core 1.0.0-next.37 → 1.0.0-next.371

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

@@ -0,0 +1,306 @@
+/********************************************************************************
+ * 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 { textHash } from '@hydranium/protocol';
+import { diffLines } from 'diff';
+import { Range, uinteger } from 'vscode-languageserver';
+import { TextDocument } from 'vscode-languageserver-textdocument';
+/**
+ * Upper bound on the pending pushes per URI. Echoes normally return within
+ * milliseconds; a queue this deep means the client stopped echoing.
+ */
+const PENDING_ECHO_CAP = 32;
+/** 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 a push emits when it has
+ * no usable baseline. A full replace is position-independent and lands on any
+ * client buffer; a line-keyed diff lands only on the text it was diffed
+ * against, so 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;
+}
+export class DefaultLanguageClientShadow {
+    configuration;
+    tracer;
+    opens = new Map();
+    /** The diff baseline: the text the client holds once every push in flight has landed. */
+    baselines = new Map();
+    /**
+     * What the client was last heard to hold: the text of its open, advanced
+     * through every change since. Each change's ranges address the text the
+     * previous one left, so changes are rebuilt against this; the diff baseline
+     * moves ahead at a push and does not hold it. A push compares against it
+     * for equality only: a line-keyed diff keyed to it splices a buffer the
+     * client may have moved past.
+     */
+    heardTexts = new Map();
+    pending = new Map();
+    /** {@link LanguageClientShadow.heldVersion}, kept beside {@link heardTexts}, which it versions. */
+    heldVersions = new Map();
+    /**
+     * @param configuration the store's text-document factories, the store's own
+     *    `create` and `update`. Probes go through them rather than `TextDocument`
+     *    directly, so an adopter's custom text-document type applies ranges here
+     *    as it does on the synced document; the bare `TextDocument.update` also
+     *    refuses a document it did not create.
+     */
+    constructor(configuration, tracer) {
+        this.configuration = configuration;
+        this.tracer = tracer;
+    }
+    addOpen(key, clientUri, version, text, firstOpen, heldVersion) {
+        let uris = this.opens.get(key);
+        if (uris?.has(clientUri)) {
+            return;
+        }
+        if (!uris) {
+            uris = new Map();
+            this.opens.set(key, uris);
+        }
+        uris.set(clientUri, { declaredVersion: version });
+        // Dropped: a seed set before the open names no buffer, and a line diff
+        // against it splices text the client does not hold.
+        this.invalidateLanguageClientText(clientUri);
+        this.heardTexts.set(clientUri, text);
+        this.setHeldVersion(clientUri, heldVersion);
+        if (firstOpen) {
+            this.baselines.set(clientUri, text);
+        }
+    }
+    declaredVersion(key, clientUri) {
+        return this.opens.get(key)?.get(clientUri)?.declaredVersion;
+    }
+    heldVersion(key, clientUri) {
+        return this.isOpen(key, clientUri) ? this.heldVersions.get(clientUri) : undefined;
+    }
+    acceptChange(key, clientUri, version, document, changes) {
+        const state = this.opens.get(key)?.get(clientUri);
+        if (state) {
+            state.declaredVersion = version;
+        }
+        const verdict = this.classify(clientUri, document, changes);
+        // The echo of a push the store has since moved past keeps the older record.
+        if (verdict.kind === 'echo' && this.heardTexts.get(clientUri) === document.getText()) {
+            this.heldVersions.set(clientUri, document.version);
+        }
+        return verdict;
+    }
+    /**
+     * Reconstruct the client's resulting buffer against what it was last heard
+     * to hold, which its ranges address whatever was pushed meanwhile.
+     *
+     * The client applies pushes in order, so the first echo belongs to the
+     * oldest entry. Matching against every pending hash, not only the oldest,
+     * recognises an echo a newer push already superseded, and consumes
+     * everything older too. A reconstruction matching none means the client's
+     * buffer went somewhere we did not send it, and the queue drops.
+     *
+     * Content equality is a sound echo proof because entries live only between
+     * a push and its echo, and `didChange` arrives in mutation order: an undo
+     * back to a previously pushed text revisits a past state, while the queue
+     * holds only in-flight ones.
+     */
+    classify(clientUri, document, changes) {
+        // The synced text stands in only for a URI with nothing recorded, which
+        // has nothing in flight either.
+        const heard = this.heardTexts.get(clientUri) ?? document.getText();
+        const pending = this.pending.get(clientUri);
+        if (!pending?.length && heard === document.getText()) {
+            // The ranges apply to the synced text as sent, and the caller's
+            // setLanguageClientText records the result. Were it rebuilt here too, every
+            // keystroke would copy the whole text a second time and rescan its lines.
+            return { kind: 'direct' };
+        }
+        const probe = this.configuration.create(clientUri, document.languageId, 0, heard);
+        const reconstructed = this.configuration.update(probe, changes, 0).getText();
+        this.heardTexts.set(clientUri, reconstructed);
+        if (pending?.length) {
+            const matchIndex = pending.findIndex(push => push.afterHash === textHash(reconstructed));
+            if (matchIndex >= 0) {
+                pending.splice(0, matchIndex + 1);
+                return { kind: 'echo' };
+            }
+            this.pending.delete(clientUri);
+        }
+        return heard === document.getText() ? { kind: 'direct' } : { kind: 'divergent', text: reconstructed };
+    }
+    setLanguageClientText(clientUri, text, heldVersion) {
+        this.baselines.set(clientUri, text);
+        this.heardTexts.set(clientUri, text);
+        this.pending.delete(clientUri);
+        this.setHeldVersion(clientUri, heldVersion);
+    }
+    setHeldVersion(clientUri, heldVersion) {
+        if (heldVersion === undefined) {
+            this.heldVersions.delete(clientUri);
+        }
+        else {
+            this.heldVersions.set(clientUri, heldVersion);
+        }
+    }
+    removeOpen(key, clientUri) {
+        const uris = this.opens.get(key);
+        if (uris?.delete(clientUri)) {
+            this.invalidateLanguageClientText(clientUri);
+            this.heardTexts.delete(clientUri);
+            this.heldVersions.delete(clientUri);
+            if (uris.size === 0) {
+                this.opens.delete(key);
+            }
+        }
+    }
+    isOpen(key, clientUri) {
+        const uris = this.opens.get(key);
+        return clientUri === undefined ? uris !== undefined : (uris?.has(clientUri) ?? false);
+    }
+    removeAllOpens(key) {
+        for (const clientUri of this.opens.get(key)?.keys() ?? []) {
+            this.invalidateLanguageClientText(clientUri);
+            this.heardTexts.delete(clientUri);
+            this.heldVersions.delete(clientUri);
+        }
+        this.opens.delete(key);
+    }
+    pushTargets(key) {
+        return [...(this.opens.get(key)?.keys() ?? [])];
+    }
+    preparePush(key, clientUri, text) {
+        // Captured now: a reopen while the push is in flight replaces the state.
+        const state = this.opens.get(key)?.get(clientUri);
+        if (state === undefined) {
+            return undefined;
+        }
+        const edits = this.computeEdits(clientUri, text);
+        if (edits.length === 0) {
+            return undefined;
+        }
+        this.recordPendingPush(clientUri, text);
+        // Gating a full replace turns a stale-by-one version into a refused
+        // update for no safety gain, and refuses the retry after a rejection.
+        const version = isFullReplace(edits) ? null : Math.max(state.declaredVersion, state.pushedVersion ?? state.declaredVersion);
+        let settled = false;
+        return {
+            clientUri,
+            edits,
+            version,
+            notifyOutcome: outcome => {
+                if (!settled) {
+                    settled = true;
+                    // Routine: an edit in the editor moved the version on before the push arrived.
+                    if (outcome === 'refused' && version !== null) {
+                        this.tracer
+                            .with(key)
+                            .debug(`Language client refused applyEdit addressed at version ${version} (it last declared version ${state.declaredVersion})`);
+                    }
+                    // A reopen while the push was in flight reset what is tracked for the new buffer.
+                    if (this.opens.get(key)?.get(clientUri) === state) {
+                        this.settle(clientUri, version, state, outcome);
+                    }
+                }
+            }
+        };
+    }
+    /** What a prepared push's {@link PreparedLanguageClientPush.notifyOutcome} does. */
+    settle(clientUri, version, state, outcome) {
+        if (outcome !== 'applied') {
+            this.invalidateLanguageClientText(clientUri);
+        }
+        else if (version !== null && state) {
+            // A client steps once per applied edit that changes its buffer. Left
+            // to the echo, a push sent next is refused at the old version.
+            state.pushedVersion = version + 1;
+        }
+    }
+    invalidateLanguageClientText(clientUri) {
+        this.baselines.delete(clientUri);
+        this.pending.delete(clientUri);
+    }
+    /**
+     * The edits that bring the client from its baseline to `text`, moving the
+     * baseline to `text`. A full replace without a baseline, none when the
+     * client was last heard to hold exactly `text` (pushing it anyway dirties
+     * the buffer and adds an undo step), and otherwise a line diff, verified by
+     * applying it: a diff that does not reproduce `text` falls back to a full
+     * replace rather than corrupting the client.
+     */
+    computeEdits(clientUri, text) {
+        const old = this.baselines.get(clientUri);
+        if (old === text) {
+            return [];
+        }
+        this.baselines.set(clientUri, text);
+        const fullReplace = { range: FULL_RANGE, newText: text };
+        if (old === undefined) {
+            return this.heardTexts.get(clientUri) === text ? [] : [fullReplace];
+        }
+        const edits = diffToEdits(old, text);
+        const probe = this.configuration.create(clientUri, 'plaintext', 0, old);
+        if (TextDocument.applyEdits(probe, edits) !== text) {
+            this.tracer.with(clientUri).warn('Diff apply-verify fallback (apply-verify-mismatch) — using full-document replace');
+            return [fullReplace];
+        }
+        return edits;
+    }
+    /** Bounded, so an echo that never arrives cannot grow the queue without limit. */
+    recordPendingPush(clientUri, text) {
+        let queue = this.pending.get(clientUri);
+        if (!queue) {
+            queue = [];
+            this.pending.set(clientUri, queue);
+        }
+        queue.push({ afterHash: textHash(text) });
+        if (queue.length > PENDING_ECHO_CAP) {
+            queue.shift();
+            this.tracer.with(clientUri).debug(`Pending-echo queue exceeded ${PENDING_ECHO_CAP} entries; dropped the oldest`);
+        }
+    }
+}
+/**
+ * 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-shadow.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"language-client-shadow.js","sourceRoot":"","sources":["../../src/documents/language-client-shadow.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAElF,OAAO,EAA6C,QAAQ,EAAiC,MAAM,qBAAqB,CAAC;AACzH,OAAO,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AACjC,OAAO,EAAE,KAAK,EAAkD,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACxG,OAAO,EAAE,YAAY,EAAuC,MAAM,oCAAoC,CAAC;AA2JvG;;;GAGG;AACH,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAE5B,kEAAkE;AAClE,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;AAE9E;;;;;GAKG;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,MAAM,OAAO,2BAA2B;IAyBf,aAAa;IACb,MAAM;IAzBT,KAAK,GAAG,IAAI,GAAG,EAAqE,CAAC;IACxG,yFAAyF;IACtE,SAAS,GAAG,IAAI,GAAG,EAA6B,CAAC;IACpE;;;;;;;OAOG;IACgB,UAAU,GAAG,IAAI,GAAG,EAA6B,CAAC;IAClD,OAAO,GAAG,IAAI,GAAG,EAAkD,CAAC;IACvF,mGAAmG;IAChF,YAAY,GAAG,IAAI,GAAG,EAAkC,CAAC;IAE5E;;;;;;OAMG;IACH,YACsB,aAA4C,EAC5C,MAAc;6BADd,aAAa;sBACb,MAAM;IACzB,CAAC;IAEJ,OAAO,CACJ,GAAiB,EACjB,SAA4B,EAC5B,OAAe,EACf,IAAY,EACZ,SAAkB,EAClB,WAAoC;QAEpC,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACxB,OAAO;QACV,CAAC;QACD,IAAI,CAAC,IAAI,EAAE,CAAC;YACT,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;YACjB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAC;QAClD,uEAAuE;QACvE,oDAAoD;QACpD,IAAI,CAAC,4BAA4B,CAAC,SAAS,CAAC,CAAC;QAC7C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACrC,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC5C,IAAI,SAAS,EAAE,CAAC;YACb,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC;IACJ,CAAC;IAED,eAAe,CAAC,GAAiB,EAAE,SAA4B;QAC5D,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,eAAe,CAAC;IAC/D,CAAC;IAED,WAAW,CAAC,GAAiB,EAAE,SAA4B;QACxD,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrF,CAAC;IAED,YAAY,CACT,GAAiB,EACjB,SAA4B,EAC5B,OAAe,EACf,QAAsB,EACtB,OAAyC;QAEzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QAClD,IAAI,KAAK,EAAE,CAAC;YACT,KAAK,CAAC,eAAe,GAAG,OAAO,CAAC;QACnC,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC5D,4EAA4E;QAC5E,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;YACpF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QACtD,CAAC;QACD,OAAO,OAAO,CAAC;IAClB,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACO,QAAQ,CACf,SAA4B,EAC5B,QAAsB,EACtB,OAAyC;QAEzC,wEAAwE;QACxE,gCAAgC;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,KAAK,KAAK,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;YACpD,gEAAgE;YAChE,4EAA4E;YAC5E,0EAA0E;YAC1E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC7B,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,UAAU,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QAClF,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC7E,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QAC9C,IAAI,OAAO,EAAE,MAAM,EAAE,CAAC;YACnB,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;YACzF,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;gBACnB,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,CAAC,CAAC;gBAClC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC3B,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,KAAK,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IACzG,CAAC;IAED,qBAAqB,CAAC,SAA4B,EAAE,IAAY,EAAE,WAAoC;QACnG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/B,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC/C,CAAC;IAES,cAAc,CAAC,SAA4B,EAAE,WAAoC;QACxF,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACvC,CAAC;aAAM,CAAC;YACL,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QACjD,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,GAAiB,EAAE,SAA4B;QACvD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,4BAA4B,CAAC,SAAS,CAAC,CAAC;YAC7C,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAClC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACpC,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACnB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC1B,CAAC;QACJ,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,GAAiB,EAAE,SAA6B;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,OAAO,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,CAAC;IACzF,CAAC;IAED,cAAc,CAAC,GAAiB;QAC7B,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;YACzD,IAAI,CAAC,4BAA4B,CAAC,SAAS,CAAC,CAAC;YAC7C,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAClC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACvC,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC;IAED,WAAW,CAAC,GAAiB;QAC1B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,WAAW,CAAC,GAAiB,EAAE,SAA4B,EAAE,IAAY;QACtE,yEAAyE;QACzE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QAClD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO,SAAS,CAAC;QACpB,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACjD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,OAAO,SAAS,CAAC;QACpB,CAAC;QACD,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACxC,oEAAoE;QACpE,sEAAsE;QACtE,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,aAAa,IAAI,KAAK,CAAC,eAAe,CAAC,CAAC;QAC5H,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,OAAO;YACJ,SAAS;YACT,KAAK;YACL,OAAO;YACP,aAAa,EAAE,OAAO,CAAC,EAAE;gBACtB,IAAI,CAAC,OAAO,EAAE,CAAC;oBACZ,OAAO,GAAG,IAAI,CAAC;oBACf,+EAA+E;oBAC/E,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;wBAC7C,IAAI,CAAC,MAAM;6BACP,IAAI,CAAC,GAAG,CAAC;6BACT,KAAK,CACH,0DAA0D,OAAO,8BAA8B,KAAK,CAAC,eAAe,GAAG,CACzH,CAAC;oBACR,CAAC;oBACD,kFAAkF;oBAClF,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK,EAAE,CAAC;wBACjD,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;oBACnD,CAAC;gBACJ,CAAC;YACJ,CAAC;SACH,CAAC;IACL,CAAC;IAED,oFAAoF;IAC1E,MAAM,CACb,SAA4B,EAC5B,OAAsB,EACtB,KAA8C,EAC9C,OAAkC;QAElC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,4BAA4B,CAAC,SAAS,CAAC,CAAC;QAChD,CAAC;aAAM,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,EAAE,CAAC;YACpC,qEAAqE;YACrE,+DAA+D;YAC/D,KAAK,CAAC,aAAa,GAAG,OAAO,GAAG,CAAC,CAAC;QACrC,CAAC;IACJ,CAAC;IAED,4BAA4B,CAAC,SAA4B;QACtD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACjC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAClC,CAAC;IAED;;;;;;;OAOG;IACO,YAAY,CAAC,SAA4B,EAAE,IAAY;QAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC1C,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAChB,OAAO,EAAE,CAAC;QACb,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACpC,MAAM,WAAW,GAAa,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACnE,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACxE,IAAI,YAAY,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,kFAAkF,CAAC,CAAC;YACrH,OAAO,CAAC,WAAW,CAAC,CAAC;QACxB,CAAC;QACD,OAAO,KAAK,CAAC;IAChB,CAAC;IAED,kFAAkF;IACxE,iBAAiB,CAAC,SAA4B,EAAE,IAAY;QACnE,IAAI,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,EAAE,CAAC;YACV,KAAK,GAAG,EAAE,CAAC;YACX,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACtC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAI,KAAK,CAAC,MAAM,GAAG,gBAAgB,EAAE,CAAC;YACnC,KAAK,CAAC,KAAK,EAAE,CAAC;YACd,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,+BAA+B,gBAAgB,8BAA8B,CAAC,CAAC;QACpH,CAAC;IACJ,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/lib/documents/model-ledger.d.ts

@@ -0,0 +1,47 @@
+/********************************************************************************
+ * Copyright (c) 2026 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 AstNode } from '@hydranium/langium';
+import { type ModelVersion } from '@hydranium/protocol';
+/** What {@link ModelLedger} holds for one root. */
+export interface ModelRecord {
+    readonly version: ModelVersion;
+    /** For a root whose CST no longer is the text it describes: changed in place, or shed. */
+    readonly text?: string;
+}
+/**
+ * The version of the text each root was parsed from, and that text where the
+ * root's CST does not hold it. Stores what it is told; the rest of the
+ * framework relies on these:
+ *
+ * - every workspace root is recorded through `VersionSyncService.modelProduced` when produced;
+ * - a version is recorded only for text the store held at that version, else `STALE_VERSION`;
+ * - the builder's placeholder for a file it has not parsed carries no version;
+ * - re-recording a root without text keeps the text recorded before.
+ */
+export interface ModelLedger {
+    record(root: AstNode, version: number, text?: string): void;
+    /** `UNRECORDED_VERSION`, which every write conflicts with, for a root nothing recorded. */
+    versionOf(root: AstNode): ModelVersion;
+    /** The recorded text, else the root's CST text; `undefined` for a root with neither. */
+    textOf(root: AstNode): string | undefined;
+    /** Mark `root`, registered before any parse, as no parse of any text, dropping its record. */
+    markPlaceholder(root: AstNode): void;
+    /** Keyed on the root, not its state: a rebuilt document is reset below `Parsed` but keeps its root. */
+    isPlaceholder(root: AstNode): boolean;
+}
+export declare class DefaultModelLedger implements ModelLedger {
+    protected readonly records: WeakMap<AstNode, ModelRecord>;
+    protected readonly placeholders: WeakSet<AstNode>;
+    record(root: AstNode, version: number, text?: string): void;
+    versionOf(root: AstNode): ModelVersion;
+    textOf(root: AstNode): string | undefined;
+    markPlaceholder(root: AstNode): void;
+    isPlaceholder(root: AstNode): boolean;
+}
+//# sourceMappingURL=model-ledger.d.ts.map

package/lib/documents/model-ledger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-ledger.d.ts","sourceRoot":"","sources":["../../src/documents/model-ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAElF,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAkB,KAAK,YAAY,EAAsB,MAAM,qBAAqB,CAAC;AAE5F,mDAAmD;AACnD,MAAM,WAAW,WAAW;IACzB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,0FAA0F;IAC1F,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IACzB,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5D,2FAA2F;IAC3F,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,YAAY,CAAC;IACvC,wFAAwF;IACxF,MAAM,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAAC;IAC1C,8FAA8F;IAC9F,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,CAAC;IACrC,uGAAuG;IACvG,aAAa,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;CACxC;AAED,qBAAa,kBAAmB,YAAW,WAAW;IACnD,SAAS,CAAC,QAAQ,CAAC,OAAO,gCAAuC;IACjE,SAAS,CAAC,QAAQ,CAAC,YAAY,mBAA0B;IAEzD,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAE1D;IAED,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,YAAY,CAErC;IAED,MAAM,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAExC;IAED,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,CAGnC;IAED,aAAa,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAEpC;CACH"}

package/lib/documents/model-ledger.js

@@ -0,0 +1,30 @@
+/********************************************************************************
+ * Copyright (c) 2026 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 { asModelVersion, UNRECORDED_VERSION } from '@hydranium/protocol';
+export class DefaultModelLedger {
+    records = new WeakMap();
+    placeholders = new WeakSet();
+    record(root, version, text) {
+        this.records.set(root, { version: asModelVersion(version), text: text ?? this.records.get(root)?.text });
+    }
+    versionOf(root) {
+        return this.records.get(root)?.version ?? UNRECORDED_VERSION;
+    }
+    textOf(root) {
+        return this.records.get(root)?.text ?? root.$cstNode?.root.fullText;
+    }
+    markPlaceholder(root) {
+        this.placeholders.add(root);
+        this.records.delete(root);
+    }
+    isPlaceholder(root) {
+        return this.placeholders.has(root);
+    }
+}
+//# sourceMappingURL=model-ledger.js.map

package/lib/documents/model-ledger.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-ledger.js","sourceRoot":"","sources":["../../src/documents/model-ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAGlF,OAAO,EAAE,cAAc,EAAqB,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AA+B5F,MAAM,OAAO,kBAAkB;IACT,OAAO,GAAG,IAAI,OAAO,EAAwB,CAAC;IAC9C,YAAY,GAAG,IAAI,OAAO,EAAW,CAAC;IAEzD,MAAM,CAAC,IAAa,EAAE,OAAe,EAAE,IAAa;QACjD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5G,CAAC;IAED,SAAS,CAAC,IAAa;QACpB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,IAAI,kBAAkB,CAAC;IAChE,CAAC;IAED,MAAM,CAAC,IAAa;QACjB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC;IACvE,CAAC;IAED,eAAe,CAAC,IAAa;QAC1B,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,aAAa,CAAC,IAAa;QACxB,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;CACH"}

package/lib/documents/text-ledger.d.ts

@@ -0,0 +1,64 @@
+/********************************************************************************
+ * Copyright (c) 2026 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 CanonicalUri, type TextVersion } from '@hydranium/protocol';
+import { type TextDocument } from 'vscode-languageserver-textdocument';
+/** What {@link TextLedger} holds for a document: where its version sequence stands, kept across closes and reopens. */
+export interface TextRecord {
+    readonly version: TextVersion;
+    /** {@link textHash} of the text at that version. */
+    readonly hash: string;
+}
+/**
+ * Where each document's {@link TextVersion} sequence stands, and who authored
+ * each version; the text-side counterpart of `ModelLedger`.
+ *
+ * A record survives the document's release and is never pruned, not even when
+ * the file is deleted: a sequence that restarts lets a write based on the old
+ * text pass the base-version gate. Authors last only until the release.
+ */
+export interface TextLedger {
+    /**
+     * The version a first open of `key` with `text` starts at: the record's
+     * version when the text is unchanged, one step on when it changed;
+     * `undefined` without a record.
+     */
+    openingVersion(key: CanonicalUri, text: string): TextVersion | undefined;
+    /** Keep where the sequence of the released `document` stands. */
+    record(key: CanonicalUri, document: TextDocument): void;
+    recordOf(key: CanonicalUri): TextRecord | undefined;
+    /**
+     * Text reached the closed document `key` outside the store's write paths.
+     * Steps the record iff `text` differs from it, and starts one at `0` when
+     * there is none.
+     */
+    reconcile(key: CanonicalUri, text: string): TextVersion;
+    /** {@link textHash} of `document`'s text, taken once per version. */
+    hashOf(document: TextDocument): string;
+    setAuthor(key: CanonicalUri, version: TextVersion, author: string): void;
+    /** The author of `version`, or of the latest version when `version` is omitted. */
+    authorOf(key: CanonicalUri, version?: TextVersion): string | undefined;
+    clearAuthors(key: CanonicalUri): void;
+}
+export declare class DefaultTextLedger implements TextLedger {
+    protected readonly records: Map<CanonicalUri, TextRecord>;
+    protected readonly authors: Map<CanonicalUri, string[]>;
+    protected readonly hashes: WeakMap<TextDocument, {
+        readonly version: number;
+        readonly hash: string;
+    }>;
+    openingVersion(key: CanonicalUri, text: string): TextVersion | undefined;
+    record(key: CanonicalUri, document: TextDocument): void;
+    recordOf(key: CanonicalUri): TextRecord | undefined;
+    reconcile(key: CanonicalUri, text: string): TextVersion;
+    hashOf(document: TextDocument): string;
+    setAuthor(key: CanonicalUri, version: TextVersion, author: string): void;
+    authorOf(key: CanonicalUri, version?: TextVersion): string | undefined;
+    clearAuthors(key: CanonicalUri): void;
+}
+//# sourceMappingURL=text-ledger.d.ts.map

package/lib/documents/text-ledger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"text-ledger.d.ts","sourceRoot":"","sources":["../../src/documents/text-ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAElF,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,WAAW,EAAY,MAAM,qBAAqB,CAAC;AACpF,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAEvE,uHAAuH;AACvH,MAAM,WAAW,UAAU;IACxB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,oDAAoD;IACpD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,UAAU;IACxB;;;;OAIG;IACH,cAAc,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAAC;IACzE,iEAAiE;IACjE,MAAM,CAAC,GAAG,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,GAAG,IAAI,CAAC;IACxD,QAAQ,CAAC,GAAG,EAAE,YAAY,GAAG,UAAU,GAAG,SAAS,CAAC;IACpD;;;;OAIG;IACH,SAAS,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;IACxD,qEAAqE;IACrE,MAAM,CAAC,QAAQ,EAAE,YAAY,GAAG,MAAM,CAAC;IACvC,SAAS,CAAC,GAAG,EAAE,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACzE,mFAAmF;IACnF,QAAQ,CAAC,GAAG,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAAC;IACvE,YAAY,CAAC,GAAG,EAAE,YAAY,GAAG,IAAI,CAAC;CACxC;AAED,qBAAa,iBAAkB,YAAW,UAAU;IACjD,SAAS,CAAC,QAAQ,CAAC,OAAO,gCAAuC;IACjE,SAAS,CAAC,QAAQ,CAAC,OAAO,8BAAqC;IAC/D,SAAS,CAAC,QAAQ,CAAC,MAAM;0BAAiD,MAAM;uBAAiB,MAAM;OAAM;IAE7G,cAAc,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAMvE;IAED,MAAM,CAAC,GAAG,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,GAAG,IAAI,CAEtD;IAED,QAAQ,CAAC,GAAG,EAAE,YAAY,GAAG,UAAU,GAAG,SAAS,CAElD;IAED,SAAS,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAStD;IAED,MAAM,CAAC,QAAQ,EAAE,YAAY,GAAG,MAAM,CAQrC;IAED,SAAS,CAAC,GAAG,EAAE,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAOvE;IAED,QAAQ,CAAC,GAAG,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAIrE;IAED,YAAY,CAAC,GAAG,EAAE,YAAY,GAAG,IAAI,CAEpC;CACH"}

package/lib/documents/text-ledger.js

@@ -0,0 +1,63 @@
+/********************************************************************************
+ * Copyright (c) 2026 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 { textHash } from '@hydranium/protocol';
+export class DefaultTextLedger {
+    records = new Map();
+    authors = new Map();
+    hashes = new WeakMap();
+    openingVersion(key, text) {
+        const recorded = this.records.get(key);
+        if (recorded === undefined) {
+            return undefined;
+        }
+        return recorded.hash === textHash(text) ? recorded.version : recorded.version + 1;
+    }
+    record(key, document) {
+        this.records.set(key, { version: document.version, hash: this.hashOf(document) });
+    }
+    recordOf(key) {
+        return this.records.get(key);
+    }
+    reconcile(key, text) {
+        const hash = textHash(text);
+        const recorded = this.records.get(key);
+        if (recorded?.hash === hash) {
+            return recorded.version;
+        }
+        const version = recorded === undefined ? 0 : recorded.version + 1;
+        this.records.set(key, { version, hash });
+        return version;
+    }
+    hashOf(document) {
+        const taken = this.hashes.get(document);
+        if (taken?.version === document.version) {
+            return taken.hash;
+        }
+        const hash = textHash(document.getText());
+        this.hashes.set(document, { version: document.version, hash });
+        return hash;
+    }
+    setAuthor(key, version, author) {
+        let history = this.authors.get(key);
+        if (!history) {
+            history = [];
+            this.authors.set(key, history);
+        }
+        history[version] = author;
+    }
+    authorOf(key, version) {
+        const history = this.authors.get(key);
+        // `!== undefined` so version 0 is not read as "latest".
+        return version !== undefined ? history?.[version] : history?.at(-1);
+    }
+    clearAuthors(key) {
+        this.authors.delete(key);
+    }
+}
+//# sourceMappingURL=text-ledger.js.map

package/lib/documents/text-ledger.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"text-ledger.js","sourceRoot":"","sources":["../../src/documents/text-ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;kFAOkF;AAElF,OAAO,EAAuC,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AA0CpF,MAAM,OAAO,iBAAiB;IACR,OAAO,GAAG,IAAI,GAAG,EAA4B,CAAC;IAC9C,OAAO,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC5C,MAAM,GAAG,IAAI,OAAO,EAAqE,CAAC;IAE7G,cAAc,CAAC,GAAiB,EAAE,IAAY;QAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,SAAS,CAAC;QACpB,CAAC;QACD,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC;IACrF,CAAC;IAED,MAAM,CAAC,GAAiB,EAAE,QAAsB;QAC7C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;IAED,QAAQ,CAAC,GAAiB;QACvB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IAED,SAAS,CAAC,GAAiB,EAAE,IAAY;QACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,QAAQ,EAAE,IAAI,KAAK,IAAI,EAAE,CAAC;YAC3B,OAAO,QAAQ,CAAC,OAAO,CAAC;QAC3B,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,GAAG,CAAC,CAAC;QAClE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACzC,OAAO,OAAO,CAAC;IAClB,CAAC;IAED,MAAM,CAAC,QAAsB;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,KAAK,EAAE,OAAO,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC;YACvC,OAAO,KAAK,CAAC,IAAI,CAAC;QACrB,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1C,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/D,OAAO,IAAI,CAAC;IACf,CAAC;IAED,SAAS,CAAC,GAAiB,EAAE,OAAoB,EAAE,MAAc;QAC9D,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,OAAO,EAAE,CAAC;YACZ,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC;IAC7B,CAAC;IAED,QAAQ,CAAC,GAAiB,EAAE,OAAqB;QAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,wDAAwD;QACxD,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,YAAY,CAAC,GAAiB;QAC3B,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC;CACH"}