@kurot/ui-document 0.1.0 → 0.3.1

package/dist/kurot/editing/applyUITransaction.js

@@ -0,0 +1,64 @@
+import { validateUIDocument } from '../validation/validateUIDocument.js';
+import { applyUIOperationUnchecked } from './applyUIOperation.js';
+import { diffUIDocuments } from './diffUIDocuments.js';
+import { UIEditError } from './UIEditError.js';
+/**
+ * Applies an ordered transaction atomically against one revision snapshot.
+ */
+export function applyUITransaction(snapshot, transaction, options = {}) {
+    validateTransaction(snapshot, transaction);
+    let document = snapshot.document;
+    const inverses = [];
+    for (let index = 0; index < transaction.operations.length; index++) {
+        try {
+            const result = applyUIOperationUnchecked(document, transaction.operations[index]);
+            document = result.document;
+            inverses.unshift(result.inverse);
+        }
+        catch (error) {
+            if (!(error instanceof UIEditError))
+                throw error;
+            throw new UIEditError(error.code, `Transaction operation ${index} failed: ${error.message}`, `$.operations[${index}]${error.path === '$' ? '' : error.path.slice(1)}`, error.diagnostics);
+        }
+    }
+    const diagnostics = [
+        ...validateUIDocument(document),
+        ...(options.validate?.(document) ?? []),
+    ];
+    if (diagnostics.length > 0) {
+        throw new UIEditError('invalid-edit-result', 'Transaction produced an invalid UI document.', '$', diagnostics);
+    }
+    const revision = snapshot.revision + 1;
+    return Object.freeze({
+        document,
+        revision,
+        transaction,
+        inverse: {
+            id: `${transaction.id}:inverse`,
+            expectedRevision: revision,
+            summary: `Undo: ${transaction.summary}`,
+            operations: inverses,
+        },
+        changes: diffUIDocuments(snapshot.document, document),
+    });
+}
+function validateTransaction(snapshot, transaction) {
+    if (!Number.isInteger(snapshot.revision) || snapshot.revision < 0) {
+        throw new UIEditError('invalid-operation', 'Snapshot revision must be a non-negative integer.', '$.revision');
+    }
+    if (transaction.expectedRevision !== snapshot.revision) {
+        const message = `Transaction expected revision ${transaction.expectedRevision}, ` +
+            `but the current revision is ${snapshot.revision}.`;
+        throw new UIEditError('revision-conflict', message, '$.expectedRevision');
+    }
+    if (transaction.id.trim().length === 0) {
+        throw new UIEditError('invalid-operation', 'Transaction id must not be empty.', '$.id');
+    }
+    if (transaction.summary.trim().length === 0) {
+        throw new UIEditError('invalid-operation', 'Transaction summary must not be empty.', '$.summary');
+    }
+    if (transaction.operations.length === 0) {
+        throw new UIEditError('transaction-empty', 'Transaction must contain at least one operation.', '$.operations');
+    }
+}
+//# sourceMappingURL=applyUITransaction.js.map

package/dist/kurot/editing/applyUITransaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"applyUITransaction.js","sourceRoot":"","sources":["../../../src/kurot/editing/applyUITransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAS/C;;GAEG;AACH,MAAM,UAAU,kBAAkB,CACjC,QAA4B,EAC5B,WAA0B,EAC1B,UAAqC,EAAE;IAEvC,mBAAmB,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC3C,IAAI,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;IACjC,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACpE,IAAI,CAAC;YACJ,MAAM,MAAM,GAAG,yBAAyB,CAAC,QAAQ,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC,CAAC;YACnF,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC3B,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAClC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAI,CAAC,CAAC,KAAK,YAAY,WAAW,CAAC;gBAAE,MAAM,KAAK,CAAC;YACjD,MAAM,IAAI,WAAW,CACpB,KAAK,CAAC,IAAI,EACV,yBAAyB,KAAK,YAAY,KAAK,CAAC,OAAO,EAAE,EACzD,gBAAgB,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EACxE,KAAK,CAAC,WAAW,CACjB,CAAC;QACH,CAAC;IACF,CAAC;IAED,MAAM,WAAW,GAAG;QACnB,GAAG,kBAAkB,CAAC,QAAQ,CAAC;QAC/B,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;KACvC,CAAC;IACF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,WAAW,CACpB,qBAAqB,EACrB,8CAA8C,EAC9C,GAAG,EACH,WAAW,CACX,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,GAAG,CAAC,CAAC;IACvC,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,QAAQ;QACR,QAAQ;QACR,WAAW;QACX,OAAO,EAAE;YACR,EAAE,EAAE,GAAG,WAAW,CAAC,EAAE,UAAU;YAC/B,gBAAgB,EAAE,QAAQ;YAC1B,OAAO,EAAE,SAAS,WAAW,CAAC,OAAO,EAAE;YACvC,UAAU,EAAE,QAAQ;SACpB;QACD,OAAO,EAAE,eAAe,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;KACrD,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC3B,QAA4B,EAC5B,WAA0B;IAE1B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,WAAW,CACpB,mBAAmB,EACnB,mDAAmD,EACnD,YAAY,CACZ,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,gBAAgB,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACxD,MAAM,OAAO,GACZ,iCAAiC,WAAW,CAAC,gBAAgB,IAAI;YACjE,+BAA+B,QAAQ,CAAC,QAAQ,GAAG,CAAC;QACrD,MAAM,IAAI,WAAW,CACpB,mBAAmB,EACnB,OAAO,EACP,oBAAoB,CACpB,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,WAAW,CACpB,mBAAmB,EACnB,mCAAmC,EACnC,MAAM,CACN,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,WAAW,CACpB,mBAAmB,EACnB,wCAAwC,EACxC,WAAW,CACX,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,WAAW,CACpB,mBAAmB,EACnB,kDAAkD,EAClD,cAAc,CACd,CAAC;IACH,CAAC;AACF,CAAC"}

package/dist/kurot/editing/diffUIDocuments.d.ts

@@ -0,0 +1,35 @@
+import type { UIDocument } from '../model/UIDocument.js';
+/**
+ * Stable semantic change categories used by review and history interfaces.
+ */
+export type UIDocumentChangeKind = 'appearance-changed' | 'contract-changed' | 'instance-changed' | 'node-added' | 'node-moved' | 'node-property-changed' | 'node-removed' | 'node-type-changed';
+/**
+ * One deterministic difference between two semantic document snapshots.
+ */
+export interface UIDocumentChange {
+    /**
+     * Semantic category suitable for editor grouping.
+     */
+    readonly kind: UIDocumentChangeKind;
+    /**
+     * Stable node identity when the change belongs to a node.
+     */
+    readonly nodeId?: string;
+    /**
+     * JSON-style path in the resulting semantic document.
+     */
+    readonly path: string;
+    /**
+     * Value from the input snapshot when meaningful.
+     */
+    readonly before?: unknown;
+    /**
+     * Value from the resulting snapshot when meaningful.
+     */
+    readonly after?: unknown;
+}
+/**
+ * Produces a deterministic semantic summary without mutating either document.
+ */
+export declare function diffUIDocuments(before: UIDocument, after: UIDocument): readonly UIDocumentChange[];
+//# sourceMappingURL=diffUIDocuments.d.ts.map

package/dist/kurot/editing/diffUIDocuments.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diffUIDocuments.d.ts","sourceRoot":"","sources":["../../../src/kurot/editing/diffUIDocuments.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAIzD;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAC7B,oBAAoB,GACpB,kBAAkB,GAClB,kBAAkB,GAClB,YAAY,GACZ,YAAY,GACZ,uBAAuB,GACvB,cAAc,GACd,mBAAmB,CAAC;AAEvB;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAChC;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IAEpC;;OAEG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAEzB;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB;;OAEG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAE1B;;OAEG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CACzB;AAQD;;GAEG;AACH,wBAAgB,eAAe,CAC9B,MAAM,EAAE,UAAU,EAClB,KAAK,EAAE,UAAU,GACf,SAAS,gBAAgB,EAAE,CAiB7B"}

package/dist/kurot/editing/diffUIDocuments.js

@@ -0,0 +1,137 @@
+/**
+ * Produces a deterministic semantic summary without mutating either document.
+ */
+export function diffUIDocuments(before, after) {
+    const changes = [];
+    if (!equalValue(before.contract, after.contract)) {
+        changes.push({
+            kind: 'contract-changed',
+            path: '$.contract',
+            before: before.contract,
+            after: after.contract,
+        });
+    }
+    const beforeNodes = indexNodes(before.root);
+    const afterNodes = indexNodes(after.root);
+    const nodeIds = [...new Set([...beforeNodes.keys(), ...afterNodes.keys()])].sort();
+    for (const nodeId of nodeIds) {
+        diffNode(nodeId, beforeNodes.get(nodeId), afterNodes.get(nodeId), changes);
+    }
+    return changes;
+}
+function diffNode(nodeId, before, after, changes) {
+    if (!before && after) {
+        changes.push({ kind: 'node-added', nodeId, path: nodePath(nodeId), after: after.node });
+        return;
+    }
+    if (before && !after) {
+        changes.push({ kind: 'node-removed', nodeId, path: nodePath(nodeId), before: before.node });
+        return;
+    }
+    if (!before || !after)
+        return;
+    if (!equalValue(before.target, after.target) || before.index !== after.index) {
+        changes.push({
+            kind: 'node-moved',
+            nodeId,
+            path: nodePath(nodeId),
+            before: { target: before.target, index: before.index },
+            after: { target: after.target, index: after.index },
+        });
+    }
+    if (before.node.type !== after.node.type) {
+        changes.push({
+            kind: 'node-type-changed',
+            nodeId,
+            path: `${nodePath(nodeId)}.type`,
+            before: before.node.type,
+            after: after.node.type,
+        });
+    }
+    diffProperties(nodeId, before.node, after.node, changes);
+    if (!equalValue(withoutSlots(before.node.instance), withoutSlots(after.node.instance))) {
+        changes.push({
+            kind: 'instance-changed',
+            nodeId,
+            path: `${nodePath(nodeId)}.instance`,
+            before: withoutSlots(before.node.instance),
+            after: withoutSlots(after.node.instance),
+        });
+    }
+    if (!equalValue(before.node.appearance, after.node.appearance)) {
+        changes.push({
+            kind: 'appearance-changed',
+            nodeId,
+            path: `${nodePath(nodeId)}.appearance`,
+            before: before.node.appearance,
+            after: after.node.appearance,
+        });
+    }
+}
+function diffProperties(nodeId, before, after, changes) {
+    const names = [
+        ...new Set([...Object.keys(before.properties), ...Object.keys(after.properties)]),
+    ].sort();
+    for (const name of names) {
+        if (equalValue(before.properties[name], after.properties[name]))
+            continue;
+        changes.push({
+            kind: 'node-property-changed',
+            nodeId,
+            path: `${nodePath(nodeId)}.properties.${name}`,
+            before: before.properties[name],
+            after: after.properties[name],
+        });
+    }
+}
+function indexNodes(root) {
+    const nodes = new Map();
+    visit(root, undefined, 0, nodes);
+    return nodes;
+}
+function visit(node, target, index, nodes) {
+    nodes.set(node.id, { node, target, index });
+    for (let childIndex = 0; childIndex < node.children.length; childIndex++) {
+        visit(node.children[childIndex], { collection: 'children', parentId: node.id }, childIndex, nodes);
+    }
+    if (!node.instance)
+        return;
+    for (const slot of Object.keys(node.instance.slots).sort()) {
+        const children = node.instance.slots[slot];
+        for (let childIndex = 0; childIndex < children.length; childIndex++) {
+            visit(children[childIndex], { collection: 'slot', parentId: node.id, slot }, childIndex, nodes);
+        }
+    }
+}
+function withoutSlots(instance) {
+    if (!instance)
+        return undefined;
+    const { slots: _slots, ...value } = instance;
+    return value;
+}
+function equalValue(a, b) {
+    return stableStringify(a) === stableStringify(b);
+}
+function stableStringify(value) {
+    return JSON.stringify(normalize(value));
+}
+function normalize(value) {
+    if (Array.isArray(value))
+        return value.map(normalize);
+    if (typeof value !== 'object' || value === null)
+        return value;
+    return Object.fromEntries(Object.entries(value)
+        .sort(([a], [b]) => compareStrings(a, b))
+        .map(([key, child]) => [key, normalize(child)]));
+}
+function nodePath(nodeId) {
+    return `$.nodes[${JSON.stringify(nodeId)}]`;
+}
+function compareStrings(a, b) {
+    if (a < b)
+        return -1;
+    if (a > b)
+        return 1;
+    return 0;
+}
+//# sourceMappingURL=diffUIDocuments.js.map

package/dist/kurot/editing/diffUIDocuments.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diffUIDocuments.js","sourceRoot":"","sources":["../../../src/kurot/editing/diffUIDocuments.ts"],"names":[],"mappings":"AAsDA;;GAEG;AACH,MAAM,UAAU,eAAe,CAC9B,MAAkB,EAClB,KAAiB;IAEjB,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClD,OAAO,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,kBAAkB;YACxB,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,MAAM,CAAC,QAAQ;YACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;SACrB,CAAC,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACnF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC9B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,OAAO,CAAC;AAChB,CAAC;AAED,SAAS,QAAQ,CAChB,MAAc,EACd,MAA+B,EAC/B,KAA8B,EAC9B,OAA2B;IAE3B,IAAI,CAAC,MAAM,IAAI,KAAK,EAAE,CAAC;QACtB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACxF,OAAO;IACR,CAAC;IACD,IAAI,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACtB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5F,OAAO;IACR,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK;QAAE,OAAO;IAC9B,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC;QAC9E,OAAO,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,YAAY;YAClB,MAAM;YACN,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC;YACtB,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;YACtD,KAAK,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE;SACnD,CAAC,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1C,OAAO,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,mBAAmB;YACzB,MAAM;YACN,IAAI,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO;YAChC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI;YACxB,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;SACtB,CAAC,CAAC;IACJ,CAAC;IACD,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzD,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QACxF,OAAO,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,kBAAkB;YACxB,MAAM;YACN,IAAI,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,WAAW;YACpC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;YAC1C,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC;SACxC,CAAC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAChE,OAAO,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,oBAAoB;YAC1B,MAAM;YACN,IAAI,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,aAAa;YACtC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU;YAC9B,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU;SAC5B,CAAC,CAAC;IACJ,CAAC;AACF,CAAC;AAED,SAAS,cAAc,CACtB,MAAc,EACd,MAAc,EACd,KAAa,EACb,OAA2B;IAE3B,MAAM,KAAK,GAAG;QACb,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;KACjF,CAAC,IAAI,EAAE,CAAC;IACT,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAAE,SAAS;QAC1E,OAAO,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,uBAAuB;YAC7B,MAAM;YACN,IAAI,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE;YAC9C,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC;YAC/B,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;SAC7B,CAAC,CAAC;IACJ,CAAC;AACF,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACjC,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,KAAK,CACb,IAAY,EACZ,MAAiC,EACjC,KAAa,EACb,KAA+B;IAE/B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5C,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC;QAC1E,KAAK,CACJ,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAE,EAC1B,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,EAC7C,UAAU,EACV,KAAK,CACL,CAAC;IACH,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,QAAQ;QAAE,OAAO;IAC3B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC;QAC5C,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC;YACrE,KAAK,CACJ,QAAQ,CAAC,UAAU,CAAE,EACrB,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAC/C,UAAU,EACV,KAAK,CACL,CAAC;QACH,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,YAAY,CAAC,QAA8B;IACnD,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,GAAG,QAAQ,CAAC;IAC7C,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,CAAU,EAAE,CAAU;IACzC,OAAO,eAAe,CAAC,CAAC,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACtC,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAChC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACtD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,OAAO,MAAM,CAAC,WAAW,CACxB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SACnB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SACxC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAChD,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc;IAC/B,OAAO,WAAW,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC;AAC7C,CAAC;AAED,SAAS,cAAc,CAAC,CAAS,EAAE,CAAS;IAC3C,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC;IACrB,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACpB,OAAO,CAAC,CAAC;AACV,CAAC"}

package/dist/kurot/editing/editHelpers.d.ts

@@ -0,0 +1,44 @@
+import type { UIComponentInstance } from '../model/UIComponentInstance.js';
+import type { UIDocument } from '../model/UIDocument.js';
+import type { UINode } from '../model/UINode.js';
+import { UIEditError } from './UIEditError.js';
+import type { UIChildTarget, UIOperation, UIOperationResult } from './UIOperation.js';
+/**
+ * Replaces one node while preserving the immutable document root.
+ */
+export declare function updateNode(document: UIDocument, nodeId: string, update: (node: UINode) => {
+    readonly documentNode: UINode;
+    readonly inverse: UIOperation;
+}): UIOperationResult;
+/**
+ * Replaces the reusable-instance payload on one immutable node.
+ */
+export declare function updateInstance(document: UIDocument, nodeId: string, update: (instance: UIComponentInstance) => {
+    readonly instance: UIComponentInstance;
+    readonly inverse: UIOperation;
+}): UIOperationResult;
+/**
+ * Verifies that a child collection exists and accepts the requested index.
+ */
+export declare function validateTarget(root: UINode, target: UIChildTarget, index: number): void;
+/**
+ * Rejects an inserted subtree whose IDs collide with the current document.
+ */
+export declare function assertInsertIdsAvailable(root: UINode, inserted: UINode): void;
+/**
+ * Returns a non-empty semantic name or raises a structured edit error.
+ */
+export declare function requireName(value: string, label: string): string;
+/**
+ * Creates the standard missing-node edit error.
+ */
+export declare function nodeNotFound(nodeId: string, path: string): UIEditError;
+/**
+ * Creates the standard missing-instance edit error.
+ */
+export declare function missingInstance(nodeId: string): UIEditError;
+/**
+ * Creates the standard missing semantic value edit error.
+ */
+export declare function missingValue(label: string, path: string): UIEditError;
+//# sourceMappingURL=editHelpers.d.ts.map

package/dist/kurot/editing/editHelpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"editHelpers.d.ts","sourceRoot":"","sources":["../../../src/kurot/editing/editHelpers.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EACX,aAAa,EACb,WAAW,EACX,iBAAiB,EACjB,MAAM,kBAAkB,CAAC;AAG1B;;GAEG;AACH,wBAAgB,UAAU,CACzB,QAAQ,EAAE,UAAU,EACpB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;CAC9B,GACC,iBAAiB,CASnB;AAED;;GAEG;AACH,wBAAgB,cAAc,CAC7B,QAAQ,EAAE,UAAU,EACpB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,CAAC,QAAQ,EAAE,mBAAmB,KAAK;IAC1C,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;CAC9B,GACC,iBAAiB,CASnB;AAED;;GAEG;AACH,wBAAgB,cAAc,CAC7B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,MAAM,GACX,IAAI,CAyBN;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAc7E;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAGhE;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAEtE;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAM3D;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAErE"}

package/dist/kurot/editing/editHelpers.js

@@ -0,0 +1,90 @@
+import { findUINode, visitUINodes } from '../document/query.js';
+import { UIEditError } from './UIEditError.js';
+import { getUIChildCount, updateUINode } from './nodeTree.js';
+/**
+ * Replaces one node while preserving the immutable document root.
+ */
+export function updateNode(document, nodeId, update) {
+    let inverse;
+    const root = updateUINode(document.root, nodeId, node => {
+        const result = update(node);
+        inverse = result.inverse;
+        return result.documentNode;
+    });
+    if (!root || !inverse)
+        throw nodeNotFound(nodeId, '$.nodeId');
+    return { document: { ...document, root }, inverse };
+}
+/**
+ * Replaces the reusable-instance payload on one immutable node.
+ */
+export function updateInstance(document, nodeId, update) {
+    return updateNode(document, nodeId, node => {
+        if (!node.instance)
+            throw missingInstance(node.id);
+        const result = update(node.instance);
+        return {
+            documentNode: { ...node, instance: result.instance },
+            inverse: result.inverse,
+        };
+    });
+}
+/**
+ * Verifies that a child collection exists and accepts the requested index.
+ */
+export function validateTarget(root, target, index) {
+    const parent = findUINode(root, target.parentId);
+    if (!parent)
+        throw nodeNotFound(target.parentId, '$.target.parentId');
+    if (target.collection === 'children' && parent.instance) {
+        throw new UIEditError('invalid-parent', 'Reusable instances accept projected children through Slots only.', '$.target');
+    }
+    if (target.collection === 'slot' && !parent.instance) {
+        throw new UIEditError('invalid-parent', `Node "${parent.id}" is not a reusable component instance.`, '$.target');
+    }
+    const count = getUIChildCount(root, target);
+    if (count === undefined || !Number.isInteger(index) || index < 0 || index > count) {
+        throw new UIEditError('index-out-of-range', `Child index ${index} is outside the range 0..${String(count ?? 0)}.`, '$.index');
+    }
+}
+/**
+ * Rejects an inserted subtree whose IDs collide with the current document.
+ */
+export function assertInsertIdsAvailable(root, inserted) {
+    const existing = new Set();
+    visitUINodes(root, node => existing.add(node.id));
+    const insertedIds = new Set();
+    visitUINodes(inserted, node => {
+        if (existing.has(node.id) || insertedIds.has(node.id)) {
+            throw new UIEditError('duplicate-node-id', `Node id "${node.id}" is already present in the document or inserted subtree.`, '$.node.id');
+        }
+        insertedIds.add(node.id);
+    });
+}
+/**
+ * Returns a non-empty semantic name or raises a structured edit error.
+ */
+export function requireName(value, label) {
+    if (value.trim().length > 0)
+        return value;
+    throw new UIEditError('invalid-operation', `${label} must not be empty.`, '$');
+}
+/**
+ * Creates the standard missing-node edit error.
+ */
+export function nodeNotFound(nodeId, path) {
+    return new UIEditError('node-not-found', `Node "${nodeId}" does not exist.`, path);
+}
+/**
+ * Creates the standard missing-instance edit error.
+ */
+export function missingInstance(nodeId) {
+    return new UIEditError('missing-instance', `Node "${nodeId}" is not a reusable component instance.`, '$.nodeId');
+}
+/**
+ * Creates the standard missing semantic value edit error.
+ */
+export function missingValue(label, path) {
+    return new UIEditError('invalid-operation', `${label} does not exist.`, path);
+}
+//# sourceMappingURL=editHelpers.js.map

package/dist/kurot/editing/editHelpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"editHelpers.js","sourceRoot":"","sources":["../../../src/kurot/editing/editHelpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAIhE,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAM/C,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE9D;;GAEG;AACH,MAAM,UAAU,UAAU,CACzB,QAAoB,EACpB,MAAc,EACd,MAGC;IAED,IAAI,OAAgC,CAAC;IACrC,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;QACvD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;QACzB,OAAO,MAAM,CAAC,YAAY,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO;QAAE,MAAM,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC9D,OAAO,EAAE,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC;AACrD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAC7B,QAAoB,EACpB,MAAc,EACd,MAGC;IAED,OAAO,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;QAC1C,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,MAAM,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,OAAO;YACN,YAAY,EAAE,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE;YACpD,OAAO,EAAE,MAAM,CAAC,OAAO;SACvB,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAC7B,IAAY,EACZ,MAAqB,EACrB,KAAa;IAEb,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM;QAAE,MAAM,YAAY,CAAC,MAAM,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IACtE,IAAI,MAAM,CAAC,UAAU,KAAK,UAAU,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACzD,MAAM,IAAI,WAAW,CACpB,gBAAgB,EAChB,kEAAkE,EAClE,UAAU,CACV,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtD,MAAM,IAAI,WAAW,CACpB,gBAAgB,EAChB,SAAS,MAAM,CAAC,EAAE,yCAAyC,EAC3D,UAAU,CACV,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,KAAK,EAAE,CAAC;QACnF,MAAM,IAAI,WAAW,CACpB,oBAAoB,EACpB,eAAe,KAAK,4BAA4B,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,EACrE,SAAS,CACT,CAAC;IACH,CAAC;AACF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,wBAAwB,CAAC,IAAY,EAAE,QAAgB;IACtE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE;QAC7B,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,WAAW,CACpB,mBAAmB,EACnB,YAAY,IAAI,CAAC,EAAE,2DAA2D,EAC9E,WAAW,CACX,CAAC;QACH,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,KAAa,EAAE,KAAa;IACvD,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,IAAI,WAAW,CAAC,mBAAmB,EAAE,GAAG,KAAK,qBAAqB,EAAE,GAAG,CAAC,CAAC;AAChF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,IAAY;IACxD,OAAO,IAAI,WAAW,CAAC,gBAAgB,EAAE,SAAS,MAAM,mBAAmB,EAAE,IAAI,CAAC,CAAC;AACpF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,MAAc;IAC7C,OAAO,IAAI,WAAW,CACrB,kBAAkB,EAClB,SAAS,MAAM,yCAAyC,EACxD,UAAU,CACV,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,KAAa,EAAE,IAAY;IACvD,OAAO,IAAI,WAAW,CAAC,mBAAmB,EAAE,GAAG,KAAK,kBAAkB,EAAE,IAAI,CAAC,CAAC;AAC/E,CAAC"}

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

@@ -0,0 +1,10 @@
+export { applyUIOperation } from './applyUIOperation.js';
+export { applyUITransaction } from './applyUITransaction.js';
+export { diffUIDocuments } from './diffUIDocuments.js';
+export type { UIDocumentChange, UIDocumentChangeKind, } from './diffUIDocuments.js';
+export { UIDocumentHistory } from './UIDocumentHistory.js';
+export { UIEditError } from './UIEditError.js';
+export type { UIEditErrorCode } from './UIEditError.js';
+export type { UIChildTarget, UIOperation, UIOperationResult, } from './UIOperation.js';
+export type { ApplyUITransactionOptions, UIRevisionSnapshot, UITransaction, UITransactionResult, UITransactionValidator, } from './UITransaction.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/kurot/editing/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,YAAY,EACX,gBAAgB,EAChB,oBAAoB,GACpB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,YAAY,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,YAAY,EACX,aAAa,EACb,WAAW,EACX,iBAAiB,GACjB,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACX,yBAAyB,EACzB,kBAAkB,EAClB,aAAa,EACb,mBAAmB,EACnB,sBAAsB,GACtB,MAAM,oBAAoB,CAAC"}

package/dist/kurot/editing/index.js

@@ -0,0 +1,6 @@
+export { applyUIOperation } from './applyUIOperation.js';
+export { applyUITransaction } from './applyUITransaction.js';
+export { diffUIDocuments } from './diffUIDocuments.js';
+export { UIDocumentHistory } from './UIDocumentHistory.js';
+export { UIEditError } from './UIEditError.js';
+//# sourceMappingURL=index.js.map

package/dist/kurot/editing/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/kurot/editing/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAKvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/kurot/editing/nodeTree.d.ts

@@ -0,0 +1,40 @@
+import type { UINode } from '../model/UINode.js';
+import type { UIChildTarget } from './UIOperation.js';
+/**
+ * Removed subtree and its exact former child location.
+ */
+export interface UIRemovedNode {
+    /**
+     * Removed subtree root.
+     */
+    readonly node: UINode;
+    /**
+     * Updated immutable document root.
+     */
+    readonly root: UINode;
+    /**
+     * Former parent collection.
+     */
+    readonly target: UIChildTarget;
+    /**
+     * Former collection index.
+     */
+    readonly index: number;
+}
+/**
+ * Immutably updates a node across ordinary and projected Slot children.
+ */
+export declare function updateUINode(root: UINode, nodeId: string, update: (node: UINode) => UINode): UINode | undefined;
+/**
+ * Immutably inserts a subtree into an ordinary or projected child collection.
+ */
+export declare function insertUINode(root: UINode, target: UIChildTarget, index: number, node: UINode): UINode | undefined;
+/**
+ * Immutably removes a non-root subtree and records its former location.
+ */
+export declare function removeUINode(root: UINode, nodeId: string): UIRemovedNode | undefined;
+/**
+ * Returns the current size of an ordinary or projected child collection.
+ */
+export declare function getUIChildCount(root: UINode, target: UIChildTarget): number | undefined;
+//# sourceMappingURL=nodeTree.d.ts.map

package/dist/kurot/editing/nodeTree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodeTree.d.ts","sourceRoot":"","sources":["../../../src/kurot/editing/nodeTree.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEtD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC7B;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,wBAAgB,YAAY,CAC3B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAC9B,MAAM,GAAG,SAAS,CA8BpB;AAED;;GAEG;AACH,wBAAgB,YAAY,CAC3B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,aAAa,EACrB,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,GACV,MAAM,GAAG,SAAS,CAcpB;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAEpF;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,GAAG,MAAM,GAAG,SAAS,CAUvF"}

package/dist/kurot/editing/nodeTree.js

@@ -0,0 +1,156 @@
+/**
+ * Immutably updates a node across ordinary and projected Slot children.
+ */
+export function updateUINode(root, nodeId, update) {
+    if (root.id === nodeId)
+        return update(root);
+    let changed = false;
+    const children = root.children.map(child => {
+        const result = updateUINode(child, nodeId, update);
+        if (!result)
+            return child;
+        changed = true;
+        return result;
+    });
+    let instance = root.instance;
+    if (instance) {
+        let slotsChanged = false;
+        const slots = Object.fromEntries(Object.entries(instance.slots).map(([name, nodes]) => [
+            name,
+            nodes.map(child => {
+                const result = updateUINode(child, nodeId, update);
+                if (!result)
+                    return child;
+                slotsChanged = true;
+                return result;
+            }),
+        ]));
+        if (slotsChanged) {
+            changed = true;
+            instance = { ...instance, slots };
+        }
+    }
+    return changed ? { ...root, children, ...(instance ? { instance } : {}) } : undefined;
+}
+/**
+ * Immutably inserts a subtree into an ordinary or projected child collection.
+ */
+export function insertUINode(root, target, index, node) {
+    return updateUINode(root, target.parentId, parent => {
+        if (target.collection === 'children') {
+            const children = insertAt(parent.children, index, node);
+            return { ...parent, children };
+        }
+        if (!parent.instance)
+            return parent;
+        const current = parent.instance.slots[target.slot] ?? [];
+        const slots = {
+            ...parent.instance.slots,
+            [target.slot]: insertAt(current, index, node),
+        };
+        return { ...parent, instance: { ...parent.instance, slots } };
+    });
+}
+/**
+ * Immutably removes a non-root subtree and records its former location.
+ */
+export function removeUINode(root, nodeId) {
+    return removeFromDescendants(root, nodeId);
+}
+/**
+ * Returns the current size of an ordinary or projected child collection.
+ */
+export function getUIChildCount(root, target) {
+    let count;
+    updateUINode(root, target.parentId, parent => {
+        count =
+            target.collection === 'children'
+                ? parent.children.length
+                : parent.instance?.slots[target.slot]?.length ?? 0;
+        return parent;
+    });
+    return count;
+}
+function removeFromDescendants(parent, nodeId) {
+    const childIndex = parent.children.findIndex(child => child.id === nodeId);
+    if (childIndex >= 0) {
+        return {
+            node: parent.children[childIndex],
+            root: {
+                ...parent,
+                children: removeAt(parent.children, childIndex),
+            },
+            target: { collection: 'children', parentId: parent.id },
+            index: childIndex,
+        };
+    }
+    if (parent.instance) {
+        for (const slot of Object.keys(parent.instance.slots).sort()) {
+            const nodes = parent.instance.slots[slot];
+            const slotIndex = nodes.findIndex(child => child.id === nodeId);
+            if (slotIndex < 0)
+                continue;
+            return {
+                node: nodes[slotIndex],
+                root: {
+                    ...parent,
+                    instance: {
+                        ...parent.instance,
+                        slots: {
+                            ...parent.instance.slots,
+                            [slot]: removeAt(nodes, slotIndex),
+                        },
+                    },
+                },
+                target: { collection: 'slot', parentId: parent.id, slot },
+                index: slotIndex,
+            };
+        }
+    }
+    return removeNested(parent, nodeId);
+}
+function removeNested(parent, nodeId) {
+    for (const child of parent.children) {
+        const removed = removeFromDescendants(child, nodeId);
+        if (!removed)
+            continue;
+        return {
+            ...removed,
+            root: {
+                ...parent,
+                children: parent.children.map(item => item.id === child.id ? removed.root : item),
+            },
+        };
+    }
+    if (!parent.instance)
+        return undefined;
+    for (const slot of Object.keys(parent.instance.slots).sort()) {
+        const nodes = parent.instance.slots[slot];
+        for (const child of nodes) {
+            const removed = removeFromDescendants(child, nodeId);
+            if (!removed)
+                continue;
+            return {
+                ...removed,
+                root: {
+                    ...parent,
+                    instance: {
+                        ...parent.instance,
+                        slots: {
+                            ...parent.instance.slots,
+                            [slot]: nodes.map(item => item.id === child.id ? removed.root : item),
+                        },
+                    },
+                },
+            };
+        }
+    }
+    return undefined;
+}
+function insertAt(values, index, value) {
+    return [...values.slice(0, index), value, ...values.slice(index)];
+}
+function removeAt(values, index) {
+    return [...values.slice(0, index), ...values.slice(index + 1)];
+}
+//# sourceMappingURL=nodeTree.js.map

package/dist/kurot/editing/nodeTree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodeTree.js","sourceRoot":"","sources":["../../../src/kurot/editing/nodeTree.ts"],"names":[],"mappings":"AAyBA;;GAEG;AACH,MAAM,UAAU,YAAY,CAC3B,IAAY,EACZ,MAAc,EACd,MAAgC;IAEhC,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IAE5C,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;QAC1C,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACnD,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,OAAO,GAAG,IAAI,CAAC;QACf,OAAO,MAAM,CAAC;IACf,CAAC,CAAC,CAAC;IACH,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC7B,IAAI,QAAQ,EAAE,CAAC;QACd,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAC/B,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;YACrD,IAAI;YACJ,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;gBACjB,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;gBACnD,IAAI,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBAC1B,YAAY,GAAG,IAAI,CAAC;gBACpB,OAAO,MAAM,CAAC;YACf,CAAC,CAAC;SACF,CAAC,CACF,CAAC;QACF,IAAI,YAAY,EAAE,CAAC;YAClB,OAAO,GAAG,IAAI,CAAC;YACf,QAAQ,GAAG,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,CAAC;QACnC,CAAC;IACF,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACvF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAC3B,IAAY,EACZ,MAAqB,EACrB,KAAa,EACb,IAAY;IAEZ,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE;QACnD,IAAI,MAAM,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACxD,OAAO,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC;QAChC,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,QAAQ;YAAE,OAAO,MAAM,CAAC;QACpC,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG;YACb,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK;YACxB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC;SAC7C,CAAC;QACF,OAAO,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,EAAE,GAAG,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC;IAC/D,CAAC,CAAC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,MAAc;IACxD,OAAO,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAC5C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,MAAqB;IAClE,IAAI,KAAyB,CAAC;IAC9B,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE;QAC5C,KAAK;YACJ,MAAM,CAAC,UAAU,KAAK,UAAU;gBAC/B,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM;gBACxB,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC;QACrD,OAAO,MAAM,CAAC;IACf,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,qBAAqB,CAC7B,MAAc,EACd,MAAc;IAEd,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;IAC3E,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO;YACN,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAE;YAClC,IAAI,EAAE;gBACL,GAAG,MAAM;gBACT,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC;aAC/C;YACD,MAAM,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE;YACvD,KAAK,EAAE,UAAU;SACjB,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC;YAC3C,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;YAChE,IAAI,SAAS,GAAG,CAAC;gBAAE,SAAS;YAC5B,OAAO;gBACN,IAAI,EAAE,KAAK,CAAC,SAAS,CAAE;gBACvB,IAAI,EAAE;oBACL,GAAG,MAAM;oBACT,QAAQ,EAAE;wBACT,GAAG,MAAM,CAAC,QAAQ;wBAClB,KAAK,EAAE;4BACN,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK;4BACxB,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;yBAClC;qBACD;iBACD;gBACD,MAAM,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE;gBACzD,KAAK,EAAE,SAAS;aAChB,CAAC;QACH,CAAC;IACF,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,YAAY,CAAC,MAAc,EAAE,MAAc;IACnD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACrD,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,OAAO;YACN,GAAG,OAAO;YACV,IAAI,EAAE;gBACL,GAAG,MAAM;gBACT,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CACpC,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAC1C;aACD;SACD,CAAC;IACH,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC;QAC3C,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACrD,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,OAAO;gBACN,GAAG,OAAO;gBACV,IAAI,EAAE;oBACL,GAAG,MAAM;oBACT,QAAQ,EAAE;wBACT,GAAG,MAAM,CAAC,QAAQ;wBAClB,KAAK,EAAE;4BACN,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK;4BACxB,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CACxB,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAC1C;yBACD;qBACD;iBACD;aACD,CAAC;QACH,CAAC;IACF,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAED,SAAS,QAAQ,CAAI,MAAoB,EAAE,KAAa,EAAE,KAAQ;IACjE,OAAO,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,QAAQ,CAAI,MAAoB,EAAE,KAAa;IACvD,OAAO,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC"}