@sentropic/focus 0.3.0 → 0.5.0-rc.1

package/dist/editing/contract.js

@@ -0,0 +1,76 @@
+import { baseDigest, canonicalJson, returnDigest } from './digest.js';
+import { validateManifest, fieldKey, sourceNodes } from './anchors.js';
+import { matchesSchema, manifestSchema, returnSchema } from './structure.js';
+export const validateManifestStructure = (v) => matchesSchema(manifestSchema, v);
+export const validateReturnStructure = (v) => matchesSchema(returnSchema, v);
+export function validateReturn(value, doc, manifest) {
+    const issues = [];
+    if (!validateReturnStructure(value))
+        return { ok: false, issues: ['unsupported-version-or-structure'] };
+    try {
+        if (value.digest !== returnDigest(value))
+            issues.push('return-digest');
+        if (!validateManifest(manifest, doc).ok || !validateManifest(value.manifest, doc).ok || canonicalJson(value.manifest) !== canonicalJson(manifest))
+            issues.push('manifest-mismatch');
+        if (value.source.documentRef !== doc.ref || value.source.hash !== doc.hash || value.source.cursor !== doc.cursor || value.source.baseHash !== baseDigest(doc) || value.source.manifestId !== manifest.manifestId || value.source.manifestBaseHash !== manifest.manifestBaseHash)
+            issues.push('source-mismatch');
+        const ancestry = value.editReturn.supersededReturnIds;
+        if (ancestry.includes(value.returnId) || (ancestry.length === 0) !== (value.editReturn.supersedesReturnId === undefined) || (ancestry.length && ancestry[0] !== value.editReturn.supersedesReturnId))
+            issues.push('ancestry');
+        const nodes = sourceNodes(doc), targets = new Set([doc.ref, ...nodes.map(n => n.targetRef)]);
+        for (const note of value.notes)
+            if (!targets.has(note.targetRef))
+                issues.push('note-target');
+        const answerIds = new Set();
+        for (const answer of value.answers) {
+            if (answerIds.has(answer.questionId))
+                issues.push('duplicate-answer');
+            answerIds.add(answer.questionId);
+            const question = nodes.find(n => n.kind === 'question' && n.id === answer.questionId && n.targetRef === answer.targetRef);
+            const options = doc.sections.flatMap(n => n.kind === 'optionSet' && n.questionId === answer.questionId ? n.options : []);
+            if (!question || answer.optionIds.some(id => !options.some(o => o.id === id)))
+                issues.push('answer-target');
+        }
+        const txIds = new Set(), changeIds = new Set();
+        for (const tx of value.editReturn.transactions) {
+            if (txIds.has(tx.transactionId))
+                issues.push('duplicate-transaction-id');
+            txIds.add(tx.transactionId);
+            for (const change of tx.changes) {
+                if (changeIds.has(change.changeId))
+                    issues.push('duplicate-change-id');
+                changeIds.add(change.changeId);
+                const f = manifest.fields.find(f => fieldKey(f) === fieldKey(change));
+                if (!f || f.contentFormat !== change.format || change.documentRef !== doc.ref)
+                    issues.push('address');
+                if (change.operation === 'move' && change.before !== change.after)
+                    issues.push('move-content');
+                if (change.operation === 'insert' && (manifest.paragraphs.some(p => p.paragraphId === change.paragraphId) || manifest.retiredParagraphIds.includes(change.paragraphId)))
+                    issues.push('reused-paragraph-id');
+            }
+        }
+    }
+    catch {
+        issues.push('invalid-json-value');
+    }
+    return issues.length ? { ok: false, issues } : { ok: true, value };
+}
+/** Capture metadata/identity is supplied by the host, never invented by the pure core. */
+export function freezeReturn(input) {
+    const { document: doc, manifest, previous } = input;
+    if (previous && !validateReturn(previous, doc, manifest).ok)
+        throw new Error('Invalid previous frozen return: recover complete ancestry');
+    const value = { kind: 'focus.return', schemaVersion: 1, returnId: input.returnId, digest: '', capture: { at: input.capturedAt },
+        scope: input.scope, source: { documentRef: doc.ref, hash: doc.hash, cursor: doc.cursor, baseHash: manifest.baseHash, manifestId: manifest.manifestId, manifestBaseHash: manifest.manifestBaseHash },
+        production: input.production, manifest, answers: input.answers, notes: input.notes,
+        editReturn: { schemaVersion: 1, mode: 'cumulative', transactions: input.transactions.filter(t => t.changes.length), supersededReturnIds: previous ? [previous.returnId, ...previous.editReturn.supersededReturnIds] : [], ...(previous ? { supersedesReturnId: previous.returnId } : {}) } };
+    // Re-copy/download the same completed revision without allocating a new identity.
+    if (previous && canonicalJson([value.answers, value.notes, value.editReturn.transactions, value.production, value.scope]) === canonicalJson([previous.answers, previous.notes, previous.editReturn.transactions, previous.production, previous.scope]))
+        return structuredClone(previous);
+    value.digest = returnDigest(value);
+    const check = validateReturn(value, doc, manifest);
+    if (!check.ok)
+        throw new Error(check.issues.join(', '));
+    return structuredClone(value);
+}
+//# sourceMappingURL=contract.js.map

package/dist/editing/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../src/editing/contract.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAsB7E,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAU,EAA6B,EAAE,CAAC,aAAa,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;AACrH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAU,EAAoB,EAAE,CAAC,aAAa,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;AACxG,MAAM,UAAU,cAAc,CAAC,KAAc,EAAE,GAA4B,EAAE,QAA8B;IACzG,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,kCAAkC,CAAC,EAAE,CAAC;IACxG,IAAI,CAAC;QACH,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACvE,IAAI,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,aAAa,CAAC,QAAQ,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACpL,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,KAAK,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,CAAC,gBAAgB,KAAK,QAAQ,CAAC,gBAAgB;YAAE,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAChT,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,mBAAmB,CAAC;QACtD,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,kBAAkB,KAAK,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,UAAU,CAAC,kBAAkB,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9N,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC7F,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC7F,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACnC,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACxG,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,UAAU,IAAI,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,CAAC,CAAC;YAC1H,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACzH,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC9G,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,EAAE,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/D,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;YAC/C,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;YAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;YACtG,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBAChC,IAAI,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;gBAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACvG,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;gBACtE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,KAAK,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,WAAW,KAAK,GAAG,CAAC,GAAG;oBAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACtG,IAAI,MAAM,CAAC,SAAS,KAAK,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,KAAK;oBAAE,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC/F,IAAI,MAAM,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,CAAC,IAAI,QAAQ,CAAC,mBAAmB,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;YAC9M,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QAAC,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAAC,CAAC;IAC9C,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACrE,CAAC;AAMD,0FAA0F;AAC1F,MAAM,UAAU,YAAY,CAAC,KAAkB;IAC7C,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IACpD,IAAI,QAAQ,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC1I,MAAM,KAAK,GAAgB,EAAE,IAAI,EAAE,cAAc,EAAE,aAAa,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,UAAU,EAAE;QAC1I,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB,EAAE;QACnM,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK;QAClF,UAAU,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,mBAAmB,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,QAAQ,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;IAC/R,kFAAkF;IAClF,IAAI,QAAQ,IAAI,aAAa,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,YAAY,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,YAAY,EAAE,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,eAAe,CAAC,QAAQ,CAAC,CAAC;IACzR,KAAK,CAAC,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;IAAC,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5G,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC"}

package/dist/editing/diff.d.ts

@@ -0,0 +1,12 @@
+import type { DecisionDossierDocument } from '../model.js';
+import type { Anchors, EditTransaction, FocusEditingManifest, ParagraphValue } from './contract.js';
+export declare const paragraphAnchors: (values: ParagraphValue[], index: number) => Anchors;
+export declare function diffParagraphs(baseline: ParagraphValue[], draft: ParagraphValue[], transactionId: string): EditTransaction;
+/** Applies one atomic batch to source tokens. Opaque gaps are never reserialized.
+ * A retired identity is restored only when explicitly listed in `restoreIds`:
+ * reviving any other retired identity silently reassigns it (D13). */
+export declare function applyParagraphChanges(document: DecisionDossierDocument, manifest: FocusEditingManifest, transactions: EditTransaction[], restoreIds?: ReadonlySet<string> | null): {
+    document: DecisionDossierDocument;
+    manifest: FocusEditingManifest;
+};
+//# sourceMappingURL=diff.d.ts.map

package/dist/editing/diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../src/editing/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAmB,cAAc,EAAa,MAAM,eAAe,CAAC;AAKhI,eAAO,MAAM,gBAAgB,GAAI,QAAQ,cAAc,EAAE,EAAE,OAAO,MAAM,KAAG,OAAqJ,CAAC;AACjO,wBAAgB,cAAc,CAAC,QAAQ,EAAE,cAAc,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,aAAa,EAAE,MAAM,GAAG,eAAe,CA2B1H;AAED;;sEAEsE;AACtE,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,uBAAuB,EAAE,QAAQ,EAAE,oBAAoB,EAAE,YAAY,EAAE,eAAe,EAAE,EAAE,UAAU,GAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAW,GAAG;IAAE,QAAQ,EAAE,uBAAuB,CAAC;IAAC,QAAQ,EAAE,oBAAoB,CAAA;CAAE,CA8C9P"}

package/dist/editing/diff.js

@@ -0,0 +1,125 @@
+import { fieldKey, readParagraphs, sealManifest, sourceNode } from './anchors.js';
+import { baseDigest, canonicalJson } from './digest.js';
+import { assertParagraphText } from './codec.js';
+export const paragraphAnchors = (values, index) => ({ parentId: null, previousParagraphId: values[index - 1]?.paragraphId ?? null, nextParagraphId: values[index + 1]?.paragraphId ?? null });
+export function diffParagraphs(baseline, draft, transactionId) {
+    for (const list of [baseline, draft])
+        if (new Set(list.map(p => p.paragraphId)).size !== list.length)
+            throw new Error('duplicate-paragraph-id');
+    const changes = [];
+    const emit = (p, operation, before, after, beforeAnchors, anchors) => {
+        const { text: _text, ...address } = p;
+        changes.push({ ...address, operation, before, after, beforeAnchors, anchors, changeId: `${transactionId}:${changes.length + 1}` });
+    };
+    const keys = [...new Set([...baseline, ...draft].map(fieldKey))];
+    for (const key of keys) {
+        const work = baseline.filter(p => fieldKey(p) === key).map(p => ({ ...p })), desired = draft.filter(p => fieldKey(p) === key);
+        for (let i = work.length - 1; i >= 0; i--)
+            if (!desired.some(p => p.paragraphId === work[i].paragraphId)) {
+                const anchors = paragraphAnchors(work, i);
+                emit(work[i], 'delete', work[i].text, null, anchors, anchors);
+                work.splice(i, 1);
+            }
+        for (const p of desired) {
+            const index = work.findIndex(w => w.paragraphId === p.paragraphId);
+            if (index >= 0 && work[index].text !== p.text) {
+                const anchors = paragraphAnchors(work, index);
+                emit(p, 'replace', work[index].text, p.text, anchors, anchors);
+                work[index].text = p.text;
+            }
+        }
+        desired.forEach((p, index) => {
+            const at = work.findIndex(w => w.paragraphId === p.paragraphId);
+            if (at === index)
+                return;
+            const before = at < 0 ? null : paragraphAnchors(work, at);
+            if (at >= 0)
+                work.splice(at, 1);
+            const anchors = { parentId: null, previousParagraphId: work[index - 1]?.paragraphId ?? null, nextParagraphId: work[index]?.paragraphId ?? null };
+            emit(p, at < 0 ? 'insert' : 'move', at < 0 ? null : p.text, p.text, before, anchors);
+            work.splice(index, 0, p);
+        });
+    }
+    return { transactionId, changes };
+}
+/** Applies one atomic batch to source tokens. Opaque gaps are never reserialized.
+ * A retired identity is restored only when explicitly listed in `restoreIds`:
+ * reviving any other retired identity silently reassigns it (D13). */
+export function applyParagraphChanges(document, manifest, transactions, restoreIds = null) {
+    const values = readParagraphs(document, manifest), changes = transactions.flatMap(t => t.changes);
+    if (!changes.length)
+        return { document: structuredClone(document), manifest: structuredClone(manifest) };
+    const next = structuredClone(document), paragraphs = [], retired = new Set(manifest.retiredParagraphIds);
+    for (const f of manifest.fields) {
+        const key = fieldKey(f), source = sourceNode(document, f)[f.field];
+        const ps = manifest.paragraphs.filter(p => fieldKey(p) === key).sort((a, b) => a.range.start - b.range.start);
+        const tokens = [];
+        let offset = 0;
+        for (const p of ps) {
+            tokens.push({ text: source.slice(offset, p.range.start) }, { text: source.slice(p.range.start, p.range.end), value: values.find(v => v.paragraphId === p.paragraphId) });
+            offset = p.range.end;
+        }
+        tokens.push({ text: source.slice(offset) });
+        const active = () => tokens.filter(t => t.value).map(t => t.value);
+        for (const c of changes.filter(c => fieldKey(c) === key)) {
+            if (c.documentRef !== document.ref || c.format !== f.contentFormat)
+                throw new Error('address');
+            let tokenIndex = tokens.findIndex(t => t.value?.paragraphId === c.paragraphId);
+            const list = active(), index = list.findIndex(p => p.paragraphId === c.paragraphId);
+            if (c.operation === 'insert') {
+                if (values.some(p => p.paragraphId === c.paragraphId) || (retired.has(c.paragraphId) && !restoreIds?.has(c.paragraphId)) || tokenIndex >= 0 || c.before !== null || c.after === null)
+                    throw new Error('reused-paragraph-id');
+            }
+            else {
+                if (index < 0 || list[index].text !== c.before)
+                    throw new Error('paragraph-precondition');
+                if (canonicalJson(paragraphAnchors(list, index)) !== canonicalJson(c.beforeAnchors))
+                    throw new Error('structural-precondition');
+                // Topology-preserving operations carry the same anchors out as in: a
+                // forged output topology would otherwise apply cleanly and break its
+                // own revocation with a structural-precondition failure.
+                if ((c.operation === 'replace' || c.operation === 'delete') && canonicalJson(c.anchors) !== canonicalJson(c.beforeAnchors))
+                    throw new Error('structural-precondition');
+            }
+            if (c.after !== null)
+                assertParagraphText(c.after, c.format);
+            if (c.operation === 'replace') {
+                if (c.after === null)
+                    throw new Error('replace-value');
+                tokens[tokenIndex] = { text: c.after, value: { ...list[index], text: c.after } };
+                continue;
+            }
+            if (c.operation === 'delete') {
+                if (c.after !== null)
+                    throw new Error('delete-value');
+                tokens.splice(tokenIndex, 1);
+                retired.add(c.paragraphId);
+                continue;
+            }
+            if (c.operation === 'move') {
+                if (c.after !== c.before)
+                    throw new Error('move-content');
+                tokens.splice(tokenIndex, 1);
+            }
+            const now = active(), previous = c.anchors.previousParagraphId, following = c.anchors.nextParagraphId;
+            const position = previous === null ? 0 : now.findIndex(p => p.paragraphId === previous) + 1;
+            if ((previous !== null && position === 0) || (now[position]?.paragraphId ?? null) !== following || c.anchors.parentId !== null)
+                throw new Error('ambiguous-placement');
+            tokenIndex = previous === null ? (following === null ? tokens.length : tokens.findIndex(t => t.value?.paragraphId === following)) : tokens.findIndex(t => t.value?.paragraphId === previous) + 1;
+            const value = { documentRef: document.ref, nodeId: c.nodeId, targetRef: c.targetRef, field: c.field, paragraphId: c.paragraphId, blockKind: 'paragraph', format: c.format, text: c.after };
+            tokens.splice(tokenIndex, 0, ...(previous === null ? [] : [{ text: '\n\n' }]), { text: c.after, value }, ...(previous === null && following !== null ? [{ text: '\n\n' }] : []));
+            retired.delete(c.paragraphId);
+        }
+        let text = '', order = 0;
+        for (const token of tokens) {
+            if (token.value)
+                paragraphs.push({ nodeId: f.nodeId, targetRef: f.targetRef, field: f.field, paragraphId: token.value.paragraphId, blockKind: 'paragraph', parentId: null, order: order++, range: { start: text.length, end: text.length + token.text.length, unit: 'utf16' } });
+            text += token.text;
+        }
+        sourceNode(next, f)[f.field] = text;
+    }
+    if (changes.some(c => !manifest.fields.some(f => fieldKey(f) === fieldKey(c))))
+        throw new Error('unsupported-field');
+    return { document: next, manifest: sealManifest({ schemaVersion: 1, manifestId: manifest.manifestId, documentRef: manifest.documentRef, baseHash: baseDigest(next), fields: structuredClone(manifest.fields), paragraphs, retiredParagraphIds: [...retired] }) };
+}
+//# sourceMappingURL=diff.js.map

package/dist/editing/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../src/editing/diff.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAClF,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEjD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAwB,EAAE,KAAa,EAAW,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,WAAW,IAAI,IAAI,EAAE,eAAe,EAAE,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,WAAW,IAAI,IAAI,EAAE,CAAC,CAAC;AACjO,MAAM,UAAU,cAAc,CAAC,QAA0B,EAAE,KAAuB,EAAE,aAAqB;IACvG,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC;QAAE,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAChJ,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,CAAC,CAAiB,EAAE,SAAuC,EAAE,MAAqB,EAAE,KAAoB,EAAE,aAA6B,EAAE,OAAgB,EAAE,EAAE;QACxK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,GAAG,CAAC,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,aAAa,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACrI,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACjE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QAC9H,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;YAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;gBACzG,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9H,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;YACnE,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAAC,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;YAAC,CAAC;QAC9L,CAAC;QACD,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;YAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;YAChE,IAAI,EAAE,KAAK,KAAK;gBAAE,OAAO;YACzB,MAAM,MAAM,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC1D,IAAI,EAAE,IAAI,CAAC;gBAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YAChC,MAAM,OAAO,GAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,WAAW,IAAI,IAAI,EAAE,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,WAAW,IAAI,IAAI,EAAE,CAAC;YAC1J,IAAI,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACjH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC;AACpC,CAAC;AAED;;sEAEsE;AACtE,MAAM,UAAU,qBAAqB,CAAC,QAAiC,EAAE,QAA8B,EAAE,YAA+B,EAAE,aAAyC,IAAI;IACrL,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAClG,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,EAAE,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;IACzG,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,EAAE,UAAU,GAAgB,EAAE,EAAE,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IAEtH,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAW,CAAC;QAC7E,MAAM,EAAE,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9G,MAAM,MAAM,GAAY,EAAE,CAAC;QAAC,IAAI,MAAM,GAAG,CAAC,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,CAAE,EAAE,CAAC,CAAC;YAAC,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QAAC,CAAC;QACxN,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAM,CAAC,CAAC;QACpE,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,CAAC,WAAW,KAAK,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,aAAa;gBAAE,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;YAC/F,IAAI,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,WAAW,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;YAC/E,MAAM,IAAI,GAAG,MAAM,EAAE,EAAE,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;YACpF,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;gBAC7B,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;YAC/N,CAAC;iBAAM,CAAC;gBACN,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM;oBAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;gBAC1F,IAAI,aAAa,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;gBAChI,qEAAqE;gBACrE,qEAAqE;gBACrE,yDAAyD;gBACzD,IAAI,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;YACzK,CAAC;YACD,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;gBAAE,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YAC7D,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBAAC,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,eAAe,CAAC,CAAC;gBAAC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YACtL,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;gBAAC,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;gBAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;gBAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC5J,IAAI,CAAC,CAAC,SAAS,KAAK,MAAM,EAAE,CAAC;gBAAC,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,MAAM;oBAAE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;gBAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YAAC,CAAC;YACxH,MAAM,GAAG,GAAG,MAAM,EAAE,EAAE,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,mBAAmB,EAAE,SAAS,GAAG,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC;YACtG,MAAM,QAAQ,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC5F,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,WAAW,IAAI,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACvK,UAAU,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,WAAW,KAAK,QAAQ,CAAC,GAAG,CAAC,CAAC;YACjM,MAAM,KAAK,GAAmB,EAAE,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,KAAM,EAAE,CAAC;YAC5M,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,KAAM,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,QAAQ,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACnN,CAAC;QACD,IAAI,IAAI,GAAG,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,KAAK;gBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;YACjR,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC;QACrB,CAAC;QACD,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;IACtC,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACrH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,mBAAmB,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;AACnQ,CAAC"}

package/dist/editing/digest.d.ts

@@ -0,0 +1,6 @@
+/** RFC 8785 JSON values: UTF-16 key order, ECMAScript numbers, no coercion. */
+export declare function canonicalJson(value: unknown): string;
+export declare const baseDigest: (value: unknown) => string;
+export declare function manifestDigest(value: object): string;
+export declare function returnDigest(value: object): string;
+//# sourceMappingURL=digest.d.ts.map

package/dist/editing/digest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"digest.d.ts","sourceRoot":"","sources":["../../src/editing/digest.ts"],"names":[],"mappings":"AAGA,+EAA+E;AAC/E,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CA4BpD;AACD,eAAO,MAAM,UAAU,GAAI,OAAO,OAAO,KAAG,MAAwF,CAAC;AACrI,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGpD;AACD,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGlD"}

package/dist/editing/digest.js

@@ -0,0 +1,56 @@
+import { sha256 } from '@noble/hashes/sha2.js';
+import { bytesToHex } from '@noble/hashes/utils.js';
+/** RFC 8785 JSON values: UTF-16 key order, ECMAScript numbers, no coercion. */
+export function canonicalJson(value) {
+    const ancestors = new Set();
+    const string = (s) => {
+        for (let i = 0; i < s.length; i++) {
+            const c = s.charCodeAt(i);
+            if (c >= 0xd800 && c <= 0xdbff) {
+                const next = s.charCodeAt(++i);
+                if (!(next >= 0xdc00 && next <= 0xdfff))
+                    throw new Error('Non-I-JSON surrogate');
+            }
+            else if (c >= 0xdc00 && c <= 0xdfff)
+                throw new Error('Non-I-JSON surrogate');
+        }
+        return JSON.stringify(s);
+    };
+    const encode = (v) => {
+        if (v === null)
+            return 'null';
+        if (typeof v === 'string')
+            return string(v);
+        if (typeof v === 'boolean')
+            return String(v);
+        if (typeof v === 'number' && Number.isFinite(v))
+            return JSON.stringify(v);
+        if (typeof v !== 'object' || ancestors.has(v))
+            throw new Error('Expected acyclic JSON value');
+        ancestors.add(v);
+        let result;
+        if (Array.isArray(v)) {
+            if (Object.keys(v).length !== v.length)
+                throw new Error('Expected dense JSON array');
+            result = `[${v.map(encode).join(',')}]`;
+        }
+        else {
+            if (Object.getPrototypeOf(v) !== Object.prototype && Object.getPrototypeOf(v) !== null)
+                throw new Error('Expected JSON object');
+            result = `{${Object.keys(v).sort().map(k => `${string(k)}:${encode(v[k])}`).join(',')}}`;
+        }
+        ancestors.delete(v);
+        return result;
+    };
+    return encode(value);
+}
+export const baseDigest = (value) => `sha256:${bytesToHex(sha256(new TextEncoder().encode(canonicalJson(value))))}`;
+export function manifestDigest(value) {
+    const { manifestBaseHash: _ignored, ...projection } = value;
+    return baseDigest(projection);
+}
+export function returnDigest(value) {
+    const { digest: _ignored, ...projection } = value;
+    return baseDigest(projection);
+}
+//# sourceMappingURL=digest.js.map

package/dist/editing/digest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"digest.js","sourceRoot":"","sources":["../../src/editing/digest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEpD,+EAA+E;AAC/E,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,MAAM,GAAG,CAAC,CAAS,EAAU,EAAE;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC;gBAAC,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;gBAAC,IAAI,CAAC,CAAC,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;YAAC,CAAC;iBAChJ,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAC/E,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,CAAU,EAAU,EAAE;QACpC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC;QAC9B,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QAC9F,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,MAAc,CAAC;QACnB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;YACrF,MAAM,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAC1C,CAAC;aAAM,CAAC;YACN,IAAI,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;YAChI,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAE,CAA6B,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACxH,CAAC;QACD,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAAC,OAAO,MAAM,CAAC;IACrC,CAAC,CAAC;IACF,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AACD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,UAAU,UAAU,CAAC,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACrI,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,MAAM,EAAE,gBAAgB,EAAE,QAAQ,EAAE,GAAG,UAAU,EAAE,GAAG,KAAgC,CAAC;IACvF,OAAO,UAAU,CAAC,UAAU,CAAC,CAAC;AAChC,CAAC;AACD,MAAM,UAAU,YAAY,CAAC,KAAa;IACxC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,UAAU,EAAE,GAAG,KAAgC,CAAC;IAC7E,OAAO,UAAU,CAAC,UAAU,CAAC,CAAC;AAChC,CAAC"}

package/dist/editing/index.d.ts

@@ -0,0 +1,7 @@
+export * from './contract.js';
+export * from './digest.js';
+export * from './anchors.js';
+export * from './codec.js';
+export * from './diff.js';
+export * from './reconcile.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/editing/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/editing/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC"}

package/dist/editing/index.js

@@ -0,0 +1,7 @@
+export * from './contract.js';
+export * from './digest.js';
+export * from './anchors.js';
+export * from './codec.js';
+export * from './diff.js';
+export * from './reconcile.js';
+//# sourceMappingURL=index.js.map

package/dist/editing/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/editing/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC;AAC5B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC"}

package/dist/editing/reconcile.d.ts

@@ -0,0 +1,66 @@
+import type { DecisionDossierDocument } from '../model.js';
+import type { EditTransaction, FocusEditingManifest, Production } from './contract.js';
+export interface EditingSnapshot {
+    document: DecisionDossierDocument;
+    manifest: FocusEditingManifest;
+}
+export interface EditingConflict {
+    paragraphId?: string;
+    reason: string;
+    baseline?: string | null;
+    lineageApplied?: string | null;
+    current?: string | null;
+    requested?: string | null;
+}
+export interface EditReceipt {
+    returnId: string;
+    digest: string;
+    status: string;
+    baseHash?: string;
+    resultHash?: string;
+    previousStatus?: string;
+    transactions: {
+        transactionId: string;
+        changeIds: string[];
+        status: string;
+    }[];
+    conflicts: EditingConflict[];
+}
+export interface ReturnLineage {
+    baseHash: string;
+    manifestBaseHash: string;
+    production: Production;
+    head?: {
+        returnId: string;
+        supersededReturnIds: string[];
+    };
+    tombstones: string[];
+    seen: {
+        returnId: string;
+        digest: string;
+        receipt: EditReceipt;
+    }[];
+    applied: EditTransaction[];
+    applications: {
+        returnId: string;
+        baseHash: string;
+        resultHash: string;
+        transactions: EditTransaction[];
+    }[];
+}
+export interface ReconcileInput {
+    baseline: EditingSnapshot;
+    current: EditingSnapshot;
+    value: unknown;
+    production: Production;
+    lineage?: ReturnLineage;
+}
+export interface ReconcileResult extends EditingSnapshot {
+    ok: boolean;
+    lineage: ReturnLineage;
+    receipt: EditReceipt;
+    conflicts: EditingConflict[];
+}
+/** Data in/data out. Persistence and the final publication boundary belong to the host. */
+export declare function reconcile(input: ReconcileInput): ReconcileResult;
+//# sourceMappingURL=reconcile.d.ts.map

package/dist/editing/reconcile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconcile.d.ts","sourceRoot":"","sources":["../../src/editing/reconcile.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,oBAAoB,EAAgC,UAAU,EAAE,MAAM,eAAe,CAAC;AAMrH,MAAM,WAAW,eAAe;IAAG,QAAQ,EAAE,uBAAuB,CAAC;IAAC,QAAQ,EAAE,oBAAoB,CAAA;CAAE;AACtG,MAAM,WAAW,eAAe;IAAG,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE;AACvL,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IACzF,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE;QAAE,aAAa,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC/E,SAAS,EAAE,eAAe,EAAE,CAAC;CAC9B;AACD,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,UAAU,CAAC;IACnE,IAAI,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,mBAAmB,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAC3D,UAAU,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,WAAW,CAAA;KAAE,EAAE,CAAC;IACzF,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,YAAY,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,eAAe,EAAE,CAAA;KAAE,EAAE,CAAC;CAC7G;AACD,MAAM,WAAW,cAAc;IAAG,QAAQ,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,OAAO,CAAC,EAAE,aAAa,CAAA;CAAE;AACxJ,MAAM,WAAW,eAAgB,SAAQ,eAAe;IAAG,EAAE,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,aAAa,CAAC;IAAC,OAAO,EAAE,WAAW,CAAC;IAAC,SAAS,EAAE,eAAe,EAAE,CAAA;CAAE;AAqDpJ,2FAA2F;AAC3F,wBAAgB,SAAS,CAAC,KAAK,EAAE,cAAc,GAAG,eAAe,CAsFhE"}

package/dist/editing/reconcile.js

@@ -0,0 +1,167 @@
+import { validateReturn, validateReturnStructure } from './contract.js';
+import { fieldKey, readParagraphs, validateManifest, sourceNode, sealManifest } from './anchors.js';
+import { applyParagraphChanges, diffParagraphs, paragraphAnchors } from './diff.js';
+import { baseDigest, canonicalJson } from './digest.js';
+/** Source gaps are addressed by paragraph identities, never matched by prose similarity. */
+function fieldGaps(snapshot, field) {
+    const source = sourceNode(snapshot.document, field)[field.field];
+    const ps = snapshot.manifest.paragraphs.filter(p => fieldKey(p) === fieldKey(field)).sort((a, b) => a.order - b.order);
+    const gaps = new Map();
+    for (let i = 0; i <= ps.length; i++)
+        gaps.set(canonicalJson([ps[i - 1]?.paragraphId ?? null, ps[i]?.paragraphId ?? null]), source.slice(ps[i - 1]?.range.end ?? 0, ps[i]?.range.start ?? source.length));
+    return gaps;
+}
+/** Restore the original layout of structural edits, replaying independent third-party units.
+ * The source baseline supplies exact separators; unrelated source gaps remain current. */
+function restoreStructuralFields(baseline, applied, current, keys, restoreIds) {
+    const document = structuredClone(current.document), paragraphs = structuredClone(current.manifest.paragraphs.filter(p => !keys.has(fieldKey(p))));
+    for (const f of baseline.manifest.fields.filter(f => keys.has(fieldKey(f)))) {
+        const previous = readParagraphs(applied.document, applied.manifest).filter(p => fieldKey(p) === fieldKey(f));
+        const now = readParagraphs(current.document, current.manifest).filter(p => fieldKey(p) === fieldKey(f));
+        const independent = diffParagraphs(previous, now, 'reconciler:independent');
+        // Pure text corrections carry the applied layout in their anchors. Re-anchor
+        // them onto the baseline topology before replaying: the text precondition
+        // stays third-party, but the topology precondition must describe the base
+        // being replayed onto, not the layout the lineage had already changed.
+        const baseValues = readParagraphs(baseline.document, baseline.manifest).filter(p => fieldKey(p) === fieldKey(f));
+        for (const c of independent.changes) {
+            if (c.operation !== 'replace')
+                continue;
+            const at = baseValues.findIndex(p => p.paragraphId === c.paragraphId);
+            if (at < 0)
+                continue;
+            const reanchored = paragraphAnchors(baseValues, at);
+            c.beforeAnchors = { ...reanchored };
+            c.anchors = { ...reanchored };
+        }
+        const rebased = applyParagraphChanges(baseline.document, baseline.manifest, independent.changes.length ? [independent] : [], restoreIds);
+        const baseGaps = fieldGaps(baseline, f), appliedGaps = fieldGaps(applied, f), currentGaps = fieldGaps(current, f), restoredGaps = fieldGaps(rebased, f);
+        for (const [key, gap] of currentGaps) {
+            if (appliedGaps.has(key) && gap !== appliedGaps.get(key) && baseGaps.get(key) !== appliedGaps.get(key))
+                throw new Error('structural-gap-diverged');
+            if (!appliedGaps.has(key) || baseGaps.get(key) === appliedGaps.get(key))
+                restoredGaps.set(key, gap);
+        }
+        const ps = rebased.manifest.paragraphs.filter(p => fieldKey(p) === fieldKey(f)).sort((a, b) => a.order - b.order);
+        const source = sourceNode(rebased.document, f)[f.field];
+        let text = '';
+        ps.forEach((p, index) => {
+            text += restoredGaps.get(canonicalJson([ps[index - 1]?.paragraphId ?? null, p.paragraphId])) ?? '';
+            const value = source.slice(p.range.start, p.range.end), start = text.length;
+            text += value;
+            paragraphs.push({ ...p, range: { start, end: text.length, unit: 'utf16' } });
+        });
+        text += restoredGaps.get(canonicalJson([ps.at(-1)?.paragraphId ?? null, null])) ?? '';
+        sourceNode(document, f)[f.field] = text;
+    }
+    const active = new Set(paragraphs.map(p => p.paragraphId));
+    const retiredParagraphIds = [...new Set([...current.manifest.retiredParagraphIds, ...current.manifest.paragraphs.map(p => p.paragraphId)])].filter(id => !active.has(id));
+    return { document, manifest: sealManifest({ ...current.manifest, baseHash: baseDigest(document), paragraphs, retiredParagraphIds }) };
+}
+/** Data in/data out. Persistence and the final publication boundary belong to the host. */
+export function reconcile(input) {
+    const { baseline, current, production } = input;
+    const lineage = structuredClone(input.lineage ?? { baseHash: baseline.manifest.baseHash, manifestBaseHash: baseline.manifest.manifestBaseHash, production, tombstones: [], seen: [], applied: [], applications: [] });
+    const value = input.value;
+    let rememberIdentity = false;
+    const result = (status, conflicts = [], candidate = current, ok = false, appliedTransition) => {
+        const transactions = (validateReturnStructure(value) ? value.editReturn.transactions : []).map(t => ({ transactionId: t.transactionId, changeIds: t.changes.map(c => c.changeId), status }));
+        // The receipt names the changes the reconciler effectively applied or
+        // revoked — including revocation inverses the incoming return never
+        // listed — so a revocation is auditable by change identity.
+        if (ok && appliedTransition && appliedTransition.changes.length)
+            transactions.push({ transactionId: appliedTransition.transactionId, changeIds: appliedTransition.changes.map(c => c.changeId), status });
+        const receipt = { returnId: typeof value?.returnId === 'string' ? value.returnId : '', digest: typeof value?.digest === 'string' ? value.digest : '', status,
+            transactions, conflicts };
+        if (ok) {
+            receipt.baseHash = baseDigest(current.document);
+            receipt.resultHash = baseDigest(candidate.document);
+        }
+        if (rememberIdentity && !lineage.seen.some(s => s.returnId === value.returnId))
+            lineage.seen.push({ returnId: value.returnId, digest: value.digest, receipt });
+        return { ok, ...structuredClone(candidate), lineage, receipt, conflicts };
+    };
+    const validation = validateReturn(value, baseline.document, baseline.manifest);
+    if (!validation.ok)
+        return result('validation-refused', validation.issues.map(reason => ({ reason })));
+    if (canonicalJson(value.production) !== canonicalJson(production) || lineage.baseHash !== baseline.manifest.baseHash || lineage.manifestBaseHash !== baseline.manifest.manifestBaseHash || canonicalJson(lineage.production) !== canonicalJson(production))
+        return result('generation-mismatch');
+    const seen = lineage.seen.find(s => s.returnId === value.returnId);
+    if (seen) {
+        const out = result(seen.digest === value.digest ? 'already-processed' : 'identity-reuse');
+        // A replay reports the original diagnostic, never an empty success: the
+        // unsuccessful character of a refused return survives the replay.
+        out.receipt.previousStatus = seen.receipt.status;
+        out.receipt.conflicts = seen.receipt.conflicts;
+        if (seen.digest === value.digest) {
+            out.receipt.baseHash = seen.receipt.baseHash;
+            out.receipt.resultHash = seen.receipt.resultHash;
+        }
+        return out;
+    }
+    rememberIdentity = true;
+    if (lineage.tombstones.includes(value.returnId) || lineage.head?.supersededReturnIds.includes(value.returnId))
+        return result('superseded');
+    if (lineage.head) {
+        const at = value.editReturn.supersededReturnIds.indexOf(lineage.head.returnId);
+        if (at < 0 || canonicalJson(value.editReturn.supersededReturnIds.slice(at + 1)) !== canonicalJson(lineage.head.supersededReturnIds)) {
+            const fork = value.editReturn.supersedesReturnId === lineage.head.supersededReturnIds[0];
+            return result('lineage-order-indeterminate', [{ reason: fork ? 'fork' : 'ancestry-does-not-prove-succession' }]);
+        }
+    }
+    if (!validateManifest(current.manifest, current.document).ok || current.manifest.manifestId !== baseline.manifest.manifestId)
+        return result('conflict', [{ reason: 'mapping-loss' }]);
+    try {
+        const desired = applyParagraphChanges(baseline.document, baseline.manifest, value.editReturn.transactions);
+        // Compare the whole submitted batch before publication, including previously applied units
+        // that this cumulative head no longer requests.
+        const base = readParagraphs(baseline.document, baseline.manifest), actual = readParagraphs(current.document, current.manifest);
+        const applied = applyParagraphChanges(baseline.document, baseline.manifest, lineage.applied);
+        const appliedValues = readParagraphs(applied.document, applied.manifest), desiredValues = readParagraphs(desired.document, desired.manifest);
+        const oldChanges = lineage.applied.flatMap(t => t.changes), newChanges = value.editReturn.transactions.flatMap(t => t.changes);
+        const affected = new Set([...oldChanges, ...newChanges].map(c => c.paragraphId)), conflicts = [];
+        for (const id of affected) {
+            const b = base.find(p => p.paragraphId === id), a = actual.find(p => p.paragraphId === id), r = appliedValues.find(p => p.paragraphId === id), d = desiredValues.find(p => p.paragraphId === id);
+            const recorded = oldChanges.filter(c => c.paragraphId === id), expected = recorded.length ? r : b;
+            const sameAddress = !expected || (!!a && fieldKey(a) === fieldKey(expected));
+            let matches = (a?.text ?? null) === (expected?.text ?? null) && sameAddress;
+            // Every affected unit carries a topology precondition, including pure
+            // text replacements: a paragraph moved by a third party no longer
+            // matches, even when its text is unchanged.
+            if (matches && expected && a) {
+                const expectedList = (recorded.length ? appliedValues : base).filter(p => fieldKey(p) === fieldKey(expected));
+                const actualList = actual.filter(p => fieldKey(p) === fieldKey(a));
+                matches = canonicalJson(paragraphAnchors(expectedList, expectedList.indexOf(expected))) === canonicalJson(paragraphAnchors(actualList, actualList.indexOf(a)));
+            }
+            if (!matches)
+                conflicts.push({ paragraphId: id, reason: 'precondition-or-attribution', baseline: b?.text ?? null, ...(recorded.length ? { lineageApplied: r?.text ?? null } : {}), current: a?.text ?? null, requested: d?.text ?? null });
+        }
+        if (conflicts.length)
+            return result('conflict', conflicts);
+        const structuralFields = new Set(oldChanges.filter(c => c.operation !== 'replace').map(fieldKey));
+        // Only identities this lineage retired may be restored: revocation must
+        // revive lineage content, while a collision with a third-party
+        // retirement refuses instead of reassigning the identity (D13).
+        const deletedIds = (txs) => txs.flatMap(t => t.changes).filter(c => c.operation === 'delete').map(c => c.paragraphId);
+        const restoreIds = new Set([...deletedIds(lineage.applied), ...lineage.applications.flatMap(a => deletedIds(a.transactions))]);
+        const sourceRestored = restoreStructuralFields(baseline, applied, current, structuralFields, restoreIds);
+        const inverse = oldChanges.filter(c => !structuralFields.has(fieldKey(c))).slice().reverse().map(c => ({ ...c, operation: c.operation === 'insert' ? 'delete' : c.operation === 'delete' ? 'insert' : c.operation,
+            before: c.after, after: c.before, beforeAnchors: c.operation === 'delete' ? null : c.anchors, anchors: c.beforeAnchors ?? c.anchors }));
+        const restored = applyParagraphChanges(sourceRestored.document, sourceRestored.manifest, inverse.length ? [{ transactionId: 'reconciler:revoke', changes: inverse }] : [], restoreIds);
+        const candidate = applyParagraphChanges(restored.document, restored.manifest, value.editReturn.transactions, restoreIds);
+        if (!validateManifest(candidate.manifest, candidate.document).ok)
+            return result('conflict', [{ reason: 'result-mapping' }]);
+        const transition = diffParagraphs(actual, readParagraphs(candidate.document, candidate.manifest), `application:${value.returnId}`);
+        const revoked = oldChanges.some(c => !newChanges.some(n => n.paragraphId === c.paragraphId));
+        const out = result(revoked ? 'revocation-applied' : 'applied', [], candidate, true, transition);
+        lineage.head = { returnId: value.returnId, supersededReturnIds: [...value.editReturn.supersededReturnIds] };
+        lineage.tombstones = [...new Set([...lineage.tombstones, ...value.editReturn.supersededReturnIds])];
+        lineage.applied = structuredClone(value.editReturn.transactions);
+        lineage.applications.push({ returnId: value.returnId, baseHash: out.receipt.baseHash, resultHash: out.receipt.resultHash, transactions: transition.changes.length ? [transition] : [] });
+        return out;
+    }
+    catch (error) {
+        return result('conflict', [{ reason: error instanceof Error ? error.message : 'reconciliation-failed' }]);
+    }
+}
+//# sourceMappingURL=reconcile.js.map