@ifc-lite/ids-authoring 0.0.0-stage → 0.2.1

package/dist/reducer/apply.js

@@ -0,0 +1,123 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+import { expandCompound } from '../compound/expand.js';
+import { applyCommentAdd, applyCommentRemoveReply, applyCommentRemoveThread, applyCommentReply, applyCommentResolve, applyCommentRestoreThread, } from './comment-ops.js';
+import { OpApplyError } from './edit.js';
+import { applySuppress, applyUnsuppress } from './meta-ops.js';
+import { applyTestAdd, applyTestRemove, applyTestRestore, applyTestSetExpectation } from './test-ops.js';
+import { applyFacetAdd, applyFacetMove, applyFacetPatch, applyFacetRemove, applyFacetReplace, applyFacetRestore, } from './facet-ops.js';
+import { applyDocSetInfo, applySpecAdd, applySpecDuplicate, applySpecMove, applySpecPatch, applySpecRemove, applySpecRestore, cardinalityPatch, } from './spec-ops.js';
+import { applyAddEnumValue, applyDeclarePset, applyDeclareUserDefinedType, applyRemoveEnumValue, applyRemovePset, applyRemoveUserDefinedType, applySetField, } from './value-ops.js';
+/** Apply one primitive op. */
+export function applyPrimitive(doc, op) {
+    switch (op.kind) {
+        case 'doc.setInfo':
+            return applyDocSetInfo(doc, op);
+        case 'spec.add':
+            return applySpecAdd(doc, op);
+        case 'spec.remove':
+            return applySpecRemove(doc, op);
+        case 'spec.duplicate':
+            return applySpecDuplicate(doc, op);
+        case 'spec.move':
+            return applySpecMove(doc, op);
+        case 'spec.set':
+            return applySpecPatch(doc, op, op.payload.specId, { [op.payload.field]: op.payload.value });
+        case 'spec.setCardinality':
+            return applySpecPatch(doc, op, op.payload.specId, cardinalityPatch(op.payload.cardinality));
+        case 'spec.setIfcVersions':
+            return applySpecPatch(doc, op, op.payload.specId, { ifcVersions: op.payload.versions, ifcVersionRaw: null });
+        case 'spec.restore':
+            return applySpecRestore(doc, op);
+        case 'spec.patch':
+            return applySpecPatch(doc, op, op.payload.specId, op.payload.set);
+        case 'facet.add':
+            return applyFacetAdd(doc, op);
+        case 'facet.remove':
+            return applyFacetRemove(doc, op);
+        case 'facet.move':
+            return applyFacetMove(doc, op);
+        case 'facet.replace':
+            return applyFacetReplace(doc, op);
+        case 'facet.setField':
+            return applySetField(doc, op, op.payload.facetId, op.payload.field, op.payload.value, op.payload.constraintId);
+        case 'value.set':
+            return applySetField(doc, op, op.payload.facetId, op.payload.field, op.payload.value, op.payload.constraintId);
+        case 'facet.setRelation':
+            return applyFacetPatch(doc, op, op.payload.facetId, { relation: op.payload.relation, rawRelation: null });
+        case 'facet.setUri':
+            return applyFacetPatch(doc, op, op.payload.facetId, { uri: op.payload.uri });
+        case 'facet.restore':
+            return applyFacetRestore(doc, op);
+        case 'facet.patch':
+            return applyFacetPatch(doc, op, op.payload.facetId, op.payload.set);
+        case 'requirement.setOptionality':
+            return applyFacetPatch(doc, op, op.payload.facetId, { optionality: op.payload.optionality, cardinalityRaw: null });
+        case 'requirement.set':
+            return applyFacetPatch(doc, op, op.payload.facetId, { [op.payload.field]: op.payload.value });
+        case 'value.addEnumValue':
+            return applyAddEnumValue(doc, op);
+        case 'value.removeEnumValue':
+            return applyRemoveEnumValue(doc, op);
+        case 'meta.custom.declarePset':
+            return applyDeclarePset(doc, op);
+        case 'meta.custom.removePset':
+            return applyRemovePset(doc, op);
+        case 'meta.custom.declareUserDefinedType':
+            return applyDeclareUserDefinedType(doc, op);
+        case 'meta.custom.removeUserDefinedType':
+            return applyRemoveUserDefinedType(doc, op);
+        case 'meta.comment.add':
+            return applyCommentAdd(doc, op);
+        case 'meta.comment.reply':
+            return applyCommentReply(doc, op);
+        case 'meta.comment.removeReply':
+            return applyCommentRemoveReply(doc, op);
+        case 'meta.comment.resolve':
+            return applyCommentResolve(doc, op);
+        case 'meta.comment.removeThread':
+            return applyCommentRemoveThread(doc, op);
+        case 'meta.comment.restoreThread':
+            return applyCommentRestoreThread(doc, op);
+        case 'meta.test.add':
+            return applyTestAdd(doc, op);
+        case 'meta.test.remove':
+            return applyTestRemove(doc, op);
+        case 'meta.test.restore':
+            return applyTestRestore(doc, op);
+        case 'meta.test.setExpectation':
+            return applyTestSetExpectation(doc, op);
+        case 'meta.suppress':
+            return applySuppress(doc, op);
+        case 'meta.unsuppress':
+            return applyUnsuppress(doc, op);
+    }
+}
+function isPrimitive(op) {
+    return !op.kind.startsWith('bulk.');
+}
+/** Apply `ops` in order. Throws `OpApplyError` without partial effects. */
+export function apply(doc, ops) {
+    let current = doc;
+    const undoSteps = [];
+    const touched = new Set();
+    const expanded = [];
+    for (const op of ops) {
+        const primitives = isPrimitive(op) ? [op] : expandCompound(current, op);
+        for (const p of primitives) {
+            const step = applyPrimitive(current, p);
+            current = step.doc;
+            undoSteps.push(step.inverse);
+            for (const id of step.touched)
+                touched.add(id);
+            expanded.push(p);
+        }
+    }
+    const inverses = [];
+    for (let i = undoSteps.length - 1; i >= 0; i--)
+        inverses.push(...undoSteps[i]);
+    return { doc: current, inverses, touched, expanded };
+}
+export { OpApplyError };
+//# sourceMappingURL=apply.js.map

package/dist/reducer/apply.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply.js","sourceRoot":"","sources":["../../src/reducer/apply.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAiB/D,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAGvD,OAAO,EACL,eAAe,EACf,uBAAuB,EACvB,wBAAwB,EACxB,iBAAiB,EACjB,mBAAmB,EACnB,yBAAyB,GAC1B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AACzG,OAAO,EACL,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,eAAe,EACf,YAAY,EACZ,kBAAkB,EAClB,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,gBAAgB,GAEjB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,2BAA2B,EAC3B,oBAAoB,EACpB,eAAe,EACf,0BAA0B,EAC1B,aAAa,GACd,MAAM,gBAAgB,CAAC;AAYxB,8BAA8B;AAC9B,MAAM,UAAU,cAAc,CAAC,GAAmB,EAAE,EAAe;IACjE,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,aAAa;YAChB,OAAO,eAAe,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAClC,KAAK,UAAU;YACb,OAAO,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC/B,KAAK,aAAa;YAChB,OAAO,eAAe,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAClC,KAAK,gBAAgB;YACnB,OAAO,kBAAkB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACrC,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAChC,KAAK,UAAU;YACb,OAAO,cAAc,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9F,KAAK,qBAAqB;YACxB,OAAO,cAAc,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,gBAAgB,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;QAC9F,KAAK,qBAAqB;YACxB,OAAO,cAAc,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/G,KAAK,cAAc;YACjB,OAAO,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,KAAK,YAAY;YACf,OAAO,cAAc,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACpE,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAChC,KAAK,cAAc;YACjB,OAAO,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,KAAK,YAAY;YACf,OAAO,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACjC,KAAK,eAAe;YAClB,OAAO,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACpC,KAAK,gBAAgB;YACnB,OAAO,aAAa,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACjH,KAAK,WAAW;YACd,OAAO,aAAa,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACjH,KAAK,mBAAmB;YACtB,OAAO,eAAe,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5G,KAAK,cAAc;YACjB,OAAO,eAAe,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QAC/E,KAAK,eAAe;YAClB,OAAO,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACpC,KAAK,aAAa;YAChB,OAAO,eAAe,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACtE,KAAK,4BAA4B;YAC/B,OAAO,eAAe,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QACrH,KAAK,iBAAiB;YACpB,OAAO,eAAe,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QAChG,KAAK,oBAAoB;YACvB,OAAO,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACpC,KAAK,uBAAuB;YAC1B,OAAO,oBAAoB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACvC,KAAK,yBAAyB;YAC5B,OAAO,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,KAAK,wBAAwB;YAC3B,OAAO,eAAe,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAClC,KAAK,oCAAoC;YACvC,OAAO,2BAA2B,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC9C,KAAK,mCAAmC;YACtC,OAAO,0BAA0B,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC7C,KAAK,kBAAkB;YACrB,OAAO,eAAe,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAClC,KAAK,oBAAoB;YACvB,OAAO,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACpC,KAAK,0BAA0B;YAC7B,OAAO,uBAAuB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC1C,KAAK,sBAAsB;YACzB,OAAO,mBAAmB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACtC,KAAK,2BAA2B;YAC9B,OAAO,wBAAwB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC3C,KAAK,4BAA4B;YAC/B,OAAO,yBAAyB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC5C,KAAK,eAAe;YAClB,OAAO,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC/B,KAAK,kBAAkB;YACrB,OAAO,eAAe,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAClC,KAAK,mBAAmB;YACtB,OAAO,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACnC,KAAK,0BAA0B;YAC7B,OAAO,uBAAuB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC1C,KAAK,eAAe;YAClB,OAAO,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAChC,KAAK,iBAAiB;YACpB,OAAO,eAAe,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACpC,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,EAAY;IAC/B,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,KAAK,CAAC,GAAmB,EAAE,GAAwB;IACjE,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAQ,CAAC;IAChC,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,UAAU,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACxE,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YACxC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC;YACnB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC7B,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO;gBAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC/C,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACvD,CAAC;AAED,OAAO,EAAE,YAAY,EAAE,CAAC"}

package/dist/reducer/comment-ops.d.ts

@@ -0,0 +1,18 @@
+import type { CommentThread, StudioDocument } from '../document/types.js';
+import type { MetaCommentAddOp, MetaCommentRemoveReplyOp, MetaCommentRemoveThreadOp, MetaCommentReplyOp, MetaCommentResolveOp, MetaCommentRestoreThreadOp } from '../ops/types.js';
+import type { Uuid } from '../uuid.js';
+import { type StepResult } from './spec-ops.js';
+interface ThreadSite {
+    nodeId: Uuid;
+    index: number;
+    thread: CommentThread;
+}
+export declare function findThread(doc: StudioDocument, threadId: Uuid): ThreadSite | undefined;
+export declare function applyCommentAdd(doc: StudioDocument, op: MetaCommentAddOp): StepResult;
+export declare function applyCommentReply(doc: StudioDocument, op: MetaCommentReplyOp): StepResult;
+export declare function applyCommentRemoveReply(doc: StudioDocument, op: MetaCommentRemoveReplyOp): StepResult;
+export declare function applyCommentResolve(doc: StudioDocument, op: MetaCommentResolveOp): StepResult;
+export declare function applyCommentRemoveThread(doc: StudioDocument, op: MetaCommentRemoveThreadOp): StepResult;
+export declare function applyCommentRestoreThread(doc: StudioDocument, op: MetaCommentRestoreThreadOp): StepResult;
+export {};
+//# sourceMappingURL=comment-ops.d.ts.map

package/dist/reducer/comment-ops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"comment-ops.d.ts","sourceRoot":"","sources":["../../src/reducer/comment-ops.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,KAAK,EACV,gBAAgB,EAChB,wBAAwB,EACxB,yBAAyB,EACzB,kBAAkB,EAClB,oBAAoB,EACpB,0BAA0B,EAC3B,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAEvC,OAAO,EAAO,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AAErD,UAAU,UAAU;IAClB,MAAM,EAAE,IAAI,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,aAAa,CAAC;CACvB;AAED,wBAAgB,UAAU,CAAC,GAAG,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,GAAG,UAAU,GAAG,SAAS,CAMtF;AAmBD,wBAAgB,eAAe,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,gBAAgB,GAAG,UAAU,CAWrF;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,kBAAkB,GAAG,UAAU,CAQzF;AAED,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,wBAAwB,GAAG,UAAU,CAUrG;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,oBAAoB,GAAG,UAAU,CAO7F;AAED,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,yBAAyB,GAAG,UAAU,CAOvG;AAED,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,0BAA0B,GAAG,UAAU,CAYzG"}

package/dist/reducer/comment-ops.js

@@ -0,0 +1,104 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/**
+ * Reducers for `meta.comment.*` (sidecar only; IDS content is untouched).
+ * Threads live in `meta.comments[nodeId]` and are addressed by thread id.
+ * A thread can only be opened on a live node, but it outlives its node:
+ * removing a specification leaves its threads in place, so the discussion
+ * survives undo and re-identification.
+ */
+import { locateNode } from '../document/node-index.js';
+import { insertAt, OpApplyError, removeAt, replaceAt } from './edit.js';
+import { inv } from './spec-ops.js';
+export function findThread(doc, threadId) {
+    for (const [nodeId, threads] of Object.entries(doc.meta.comments)) {
+        const index = threads.findIndex((t) => t.id === threadId);
+        if (index >= 0)
+            return { nodeId, index, thread: threads[index] };
+    }
+    return undefined;
+}
+function requireThread(doc, threadId) {
+    const site = findThread(doc, threadId);
+    if (!site)
+        throw new OpApplyError('GATE-STR-001', `unknown comment thread ${threadId}`);
+    return site;
+}
+function withThreads(doc, nodeId, threads) {
+    const comments = { ...doc.meta.comments };
+    if (threads.length)
+        comments[nodeId] = threads;
+    else
+        delete comments[nodeId];
+    return { ...doc, meta: { ...doc.meta, comments } };
+}
+function setThread(doc, site, thread) {
+    return withThreads(doc, site.nodeId, replaceAt(doc.meta.comments[site.nodeId], site.index, thread));
+}
+export function applyCommentAdd(doc, op) {
+    const { nodeId, threadId, author, at, text } = op.payload;
+    if (!locateNode(doc, nodeId))
+        throw new OpApplyError('GATE-STR-001', `unknown node ${nodeId}`);
+    if (findThread(doc, threadId))
+        throw new OpApplyError('GATE-STR-001', `comment thread ${threadId} already exists`);
+    const threads = doc.meta.comments[nodeId] ?? [];
+    const thread = { id: threadId, resolved: false, comments: [{ author, at, text }] };
+    return {
+        doc: withThreads(doc, nodeId, [...threads, thread]),
+        inverse: [inv(op, 0, 'meta.comment.removeThread', { threadId })],
+        touched: [nodeId],
+    };
+}
+export function applyCommentReply(doc, op) {
+    const { threadId, author, at, text } = op.payload;
+    const site = requireThread(doc, threadId);
+    return {
+        doc: setThread(doc, site, { ...site.thread, comments: [...site.thread.comments, { author, at, text }] }),
+        inverse: [inv(op, 0, 'meta.comment.removeReply', { threadId })],
+        touched: [site.nodeId],
+    };
+}
+export function applyCommentRemoveReply(doc, op) {
+    const site = requireThread(doc, op.payload.threadId);
+    const { comments } = site.thread;
+    if (comments.length < 2)
+        throw new OpApplyError('GATE-STR-006', 'the opening comment is removed with its thread (meta.comment.removeThread)');
+    const last = comments[comments.length - 1];
+    return {
+        doc: setThread(doc, site, { ...site.thread, comments: comments.slice(0, -1) }),
+        inverse: [inv(op, 0, 'meta.comment.reply', { threadId: op.payload.threadId, ...last })],
+        touched: [site.nodeId],
+    };
+}
+export function applyCommentResolve(doc, op) {
+    const site = requireThread(doc, op.payload.threadId);
+    return {
+        doc: setThread(doc, site, { ...site.thread, resolved: op.payload.resolved }),
+        inverse: [inv(op, 0, 'meta.comment.resolve', { threadId: op.payload.threadId, resolved: site.thread.resolved })],
+        touched: [site.nodeId],
+    };
+}
+export function applyCommentRemoveThread(doc, op) {
+    const site = requireThread(doc, op.payload.threadId);
+    return {
+        doc: withThreads(doc, site.nodeId, removeAt(doc.meta.comments[site.nodeId], site.index)),
+        inverse: [inv(op, 0, 'meta.comment.restoreThread', { nodeId: site.nodeId, index: site.index, thread: site.thread })],
+        touched: [site.nodeId],
+    };
+}
+export function applyCommentRestoreThread(doc, op) {
+    const { nodeId, index, thread } = op.payload;
+    if (findThread(doc, thread.id))
+        throw new OpApplyError('GATE-STR-001', `comment thread ${thread.id} already exists`);
+    const threads = doc.meta.comments[nodeId] ?? [];
+    if (!Number.isInteger(index) || index < 0 || index > threads.length) {
+        throw new OpApplyError('GATE-STR-006', `thread index ${index} is out of range 0..${threads.length}`);
+    }
+    return {
+        doc: withThreads(doc, nodeId, insertAt(threads, index, thread)),
+        inverse: [inv(op, 0, 'meta.comment.removeThread', { threadId: thread.id })],
+        touched: [nodeId],
+    };
+}
+//# sourceMappingURL=comment-ops.js.map

package/dist/reducer/comment-ops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"comment-ops.js","sourceRoot":"","sources":["../../src/reducer/comment-ops.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;GAMG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAWvD,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACxE,OAAO,EAAE,GAAG,EAAmB,MAAM,eAAe,CAAC;AAQrD,MAAM,UAAU,UAAU,CAAC,GAAmB,EAAE,QAAc;IAC5D,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC;QAC1D,IAAI,KAAK,IAAI,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;IACnE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,aAAa,CAAC,GAAmB,EAAE,QAAc;IACxD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,0BAA0B,QAAQ,EAAE,CAAC,CAAC;IACxF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,GAAmB,EAAE,MAAY,EAAE,OAAwB;IAC9E,MAAM,QAAQ,GAAG,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC1C,IAAI,OAAO,CAAC,MAAM;QAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;;QAC1C,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC7B,OAAO,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,SAAS,CAAC,GAAmB,EAAE,IAAgB,EAAE,MAAqB;IAC7E,OAAO,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;AACtG,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAmB,EAAE,EAAoB;IACvE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IAC1D,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,gBAAgB,MAAM,EAAE,CAAC,CAAC;IAC/F,IAAI,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,kBAAkB,QAAQ,iBAAiB,CAAC,CAAC;IACnH,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAChD,MAAM,MAAM,GAAkB,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IAClG,OAAO;QACL,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,OAAO,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,2BAA2B,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;QAChE,OAAO,EAAE,CAAC,MAAM,CAAC;KAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,GAAmB,EAAE,EAAsB;IAC3E,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IAClD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC1C,OAAO;QACL,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACxG,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,0BAA0B,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC/D,OAAO,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,GAAmB,EAAE,EAA4B;IACvF,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACrD,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;IACjC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,4EAA4E,CAAC,CAAC;IAC9I,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,OAAO;QACL,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,oBAAoB,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;QACvF,OAAO,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,GAAmB,EAAE,EAAwB;IAC/E,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACrD,OAAO;QACL,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;QAC5E,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,sBAAsB,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;QAChH,OAAO,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,GAAmB,EAAE,EAA6B;IACzF,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACrD,OAAO;QACL,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACxF,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,4BAA4B,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACpH,OAAO,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,GAAmB,EAAE,EAA8B;IAC3F,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IAC7C,IAAI,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,kBAAkB,MAAM,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACrH,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAChD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACpE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,gBAAgB,KAAK,uBAAuB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,OAAO;QACL,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/D,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,2BAA2B,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3E,OAAO,EAAE,CAAC,MAAM,CAAC;KAClB,CAAC;AACJ,CAAC"}

package/dist/reducer/edit.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Structural-sharing helpers for the reducer. Every helper returns new
+ * objects along the changed path only; untouched specs, facets and node
+ * records are shared with the previous document.
+ */
+import type { IDSFacet, IDSRequirement, IDSSpecification } from '@ifc-lite/ids';
+import { type FacetLocation } from '../document/node-index.js';
+import type { FacetNodes, Section, SpecNodes, StudioDocument } from '../document/types.js';
+import type { Uuid } from '../uuid.js';
+/** Raised when an op cannot be applied. The gate should have refused it. */
+export declare class OpApplyError extends Error {
+    readonly code: string;
+    constructor(code: string, message: string);
+}
+export declare function insertAt<T>(list: readonly T[], index: number, item: T): T[];
+export declare function removeAt<T>(list: readonly T[], index: number): T[];
+export declare function replaceAt<T>(list: readonly T[], index: number, item: T): T[];
+/** Copy of `obj` with `key` set, or removed when `value` is undefined/null. */
+export declare function withKey<T extends object, K extends keyof T>(obj: T, key: K, value: T[K] | null | undefined): T;
+export declare function requireSpec(doc: StudioDocument, specId: Uuid): number;
+export declare function requireFacet(doc: StudioDocument, facetId: Uuid): FacetLocation;
+export declare function requireIndex(index: number, max: number, what: string): void;
+export declare function setSpec(doc: StudioDocument, index: number, spec: IDSSpecification, nodes: SpecNodes): StudioDocument;
+export declare function insertSpec(doc: StudioDocument, index: number, spec: IDSSpecification, nodes: SpecNodes): StudioDocument;
+export declare function removeSpec(doc: StudioDocument, index: number): StudioDocument;
+/** One entry of a section: the facet, its nodes and (requirements only) the requirement. */
+export interface SectionItem {
+    facet: IDSFacet;
+    nodes: FacetNodes;
+    requirement?: IDSRequirement;
+}
+export declare function itemAt(doc: StudioDocument, loc: FacetLocation): SectionItem;
+export declare function insertItem(doc: StudioDocument, specIndex: number, section: Section, index: number, item: SectionItem): StudioDocument;
+export declare function replaceItem(doc: StudioDocument, loc: FacetLocation, item: SectionItem): StudioDocument;
+export declare function removeItem(doc: StudioDocument, loc: FacetLocation): StudioDocument;
+export declare function moveItemWithin(doc: StudioDocument, loc: FacetLocation, toIndex: number): StudioDocument;
+export declare function sectionLength(doc: StudioDocument, specIndex: number, section: Section): number;
+//# sourceMappingURL=edit.d.ts.map

package/dist/reducer/edit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"edit.d.ts","sourceRoot":"","sources":["../../src/reducer/edit.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAChF,OAAO,EAAkD,KAAK,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC/G,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3F,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAEvC,4EAA4E;AAC5E,qBAAa,YAAa,SAAQ,KAAK;IAEnC,QAAQ,CAAC,IAAI,EAAE,MAAM;gBAAZ,IAAI,EAAE,MAAM,EACrB,OAAO,EAAE,MAAM;CAKlB;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAI3E;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,EAAE,CAIlE;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAI5E;AAED,+EAA+E;AAC/E,wBAAgB,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,SAAS,GAAG,CAAC,CAK9G;AAED,wBAAgB,WAAW,CAAC,GAAG,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,GAAG,MAAM,CAIrE;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,GAAG,aAAa,CAI9E;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAI3E;AAED,wBAAgB,OAAO,CAAC,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,SAAS,GAAG,cAAc,CAMpH;AAED,wBAAgB,UAAU,CAAC,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,SAAS,GAAG,cAAc,CAMvH;AAED,wBAAgB,UAAU,CAAC,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,GAAG,cAAc,CAM7E;AAED,4FAA4F;AAC5F,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,QAAQ,CAAC;IAChB,KAAK,EAAE,UAAU,CAAC;IAClB,WAAW,CAAC,EAAE,cAAc,CAAC;CAC9B;AAED,wBAAgB,MAAM,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,GAAG,WAAW,CAK3E;AAyBD,wBAAgB,UAAU,CAAC,GAAG,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,GAAG,cAAc,CAkBrI;AAED,wBAAgB,WAAW,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,WAAW,GAAG,cAAc,CAGtG;AAED,wBAAgB,UAAU,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,GAAG,cAAc,CAElF;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,GAAG,cAAc,CAMvG;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,MAAM,CAG9F"}

package/dist/reducer/edit.js

@@ -0,0 +1,126 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+import { facetAt, facetNodesAt, locateFacet, locateSpec } from '../document/node-index.js';
+/** Raised when an op cannot be applied. The gate should have refused it. */
+export class OpApplyError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = 'OpApplyError';
+    }
+}
+export function insertAt(list, index, item) {
+    const out = list.slice();
+    out.splice(index, 0, item);
+    return out;
+}
+export function removeAt(list, index) {
+    const out = list.slice();
+    out.splice(index, 1);
+    return out;
+}
+export function replaceAt(list, index, item) {
+    const out = list.slice();
+    out[index] = item;
+    return out;
+}
+/** Copy of `obj` with `key` set, or removed when `value` is undefined/null. */
+export function withKey(obj, key, value) {
+    const next = { ...obj };
+    if (value === undefined || value === null)
+        delete next[key];
+    else
+        next[key] = value;
+    return next;
+}
+export function requireSpec(doc, specId) {
+    const index = locateSpec(doc, specId);
+    if (index === undefined)
+        throw new OpApplyError('GATE-STR-001', `unknown specification ${specId}`);
+    return index;
+}
+export function requireFacet(doc, facetId) {
+    const loc = locateFacet(doc, facetId);
+    if (!loc)
+        throw new OpApplyError('GATE-STR-001', `unknown facet ${facetId}`);
+    return loc;
+}
+export function requireIndex(index, max, what) {
+    if (!Number.isInteger(index) || index < 0 || index > max) {
+        throw new OpApplyError('GATE-STR-006', `${what} ${index} is out of range 0..${max}`);
+    }
+}
+export function setSpec(doc, index, spec, nodes) {
+    return {
+        ...doc,
+        ids: { ...doc.ids, specifications: replaceAt(doc.ids.specifications, index, spec) },
+        nodes: { ...doc.nodes, specs: replaceAt(doc.nodes.specs, index, nodes) },
+    };
+}
+export function insertSpec(doc, index, spec, nodes) {
+    return {
+        ...doc,
+        ids: { ...doc.ids, specifications: insertAt(doc.ids.specifications, index, spec) },
+        nodes: { ...doc.nodes, specs: insertAt(doc.nodes.specs, index, nodes) },
+    };
+}
+export function removeSpec(doc, index) {
+    return {
+        ...doc,
+        ids: { ...doc.ids, specifications: removeAt(doc.ids.specifications, index) },
+        nodes: { ...doc.nodes, specs: removeAt(doc.nodes.specs, index) },
+    };
+}
+export function itemAt(doc, loc) {
+    const facet = facetAt(doc, loc);
+    const nodes = facetNodesAt(doc, loc);
+    if (loc.section === 'applicability')
+        return { facet, nodes };
+    return { facet, nodes, requirement: doc.ids.specifications[loc.specIndex].requirements[loc.facetIndex] };
+}
+function editSection(doc, specIndex, section, edit) {
+    const spec = doc.ids.specifications[specIndex];
+    const nodes = doc.nodes.specs[specIndex];
+    if (section === 'applicability') {
+        return setSpec(doc, specIndex, { ...spec, applicability: { ...spec.applicability, facets: edit(spec.applicability.facets) } }, { ...nodes, applicability: edit(nodes.applicability) });
+    }
+    return setSpec(doc, specIndex, { ...spec, requirements: edit(spec.requirements) }, { ...nodes, requirements: edit(nodes.requirements) });
+}
+/** The value stored in a section array for `item`. */
+function sectionValue(section, item) {
+    if (section === 'applicability')
+        return item.facet;
+    if (!item.requirement)
+        throw new OpApplyError('GATE-STR-003', 'a requirement needs its optionality');
+    return { ...item.requirement, id: item.nodes.id, facet: item.facet };
+}
+export function insertItem(doc, specIndex, section, index, item) {
+    const value = sectionValue(section, item);
+    const spec = doc.ids.specifications[specIndex];
+    const nodes = doc.nodes.specs[specIndex];
+    if (section === 'applicability') {
+        return setSpec(doc, specIndex, { ...spec, applicability: { ...spec.applicability, facets: insertAt(spec.applicability.facets, index, value) } }, { ...nodes, applicability: insertAt(nodes.applicability, index, item.nodes) });
+    }
+    return setSpec(doc, specIndex, { ...spec, requirements: insertAt(spec.requirements, index, value) }, { ...nodes, requirements: insertAt(nodes.requirements, index, item.nodes) });
+}
+export function replaceItem(doc, loc, item) {
+    const removed = removeItem(doc, loc);
+    return insertItem(removed, loc.specIndex, loc.section, loc.facetIndex, item);
+}
+export function removeItem(doc, loc) {
+    return editSection(doc, loc.specIndex, loc.section, (list) => removeAt(list, loc.facetIndex));
+}
+export function moveItemWithin(doc, loc, toIndex) {
+    return editSection(doc, loc.specIndex, loc.section, (list) => {
+        const out = removeAt(list, loc.facetIndex);
+        out.splice(toIndex, 0, list[loc.facetIndex]);
+        return out;
+    });
+}
+export function sectionLength(doc, specIndex, section) {
+    const spec = doc.ids.specifications[specIndex];
+    return section === 'applicability' ? spec.applicability.facets.length : spec.requirements.length;
+}
+//# sourceMappingURL=edit.js.map

package/dist/reducer/edit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edit.js","sourceRoot":"","sources":["../../src/reducer/edit.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAS/D,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAsB,MAAM,2BAA2B,CAAC;AAI/G,4EAA4E;AAC5E,MAAM,OAAO,YAAa,SAAQ,KAAK;IAE1B;IADX,YACW,IAAY,EACrB,OAAe;QAEf,KAAK,CAAC,OAAO,CAAC,CAAC;QAHN,SAAI,GAAJ,IAAI,CAAQ;QAIrB,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF;AAED,MAAM,UAAU,QAAQ,CAAI,IAAkB,EAAE,KAAa,EAAE,IAAO;IACpE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;IACzB,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,QAAQ,CAAI,IAAkB,EAAE,KAAa;IAC3D,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;IACzB,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACrB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,SAAS,CAAI,IAAkB,EAAE,KAAa,EAAE,IAAO;IACrE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;IACzB,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;IAClB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,OAAO,CAAsC,GAAM,EAAE,GAAM,EAAE,KAA8B;IACzG,MAAM,IAAI,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC;IACxB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;;QACvD,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACvB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,GAAmB,EAAE,MAAY;IAC3D,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,yBAAyB,MAAM,EAAE,CAAC,CAAC;IACnG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,GAAmB,EAAE,OAAa;IAC7D,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,iBAAiB,OAAO,EAAE,CAAC,CAAC;IAC7E,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAa,EAAE,GAAW,EAAE,IAAY;IACnE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;QACzD,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,GAAG,IAAI,IAAI,KAAK,uBAAuB,GAAG,EAAE,CAAC,CAAC;IACvF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,GAAmB,EAAE,KAAa,EAAE,IAAsB,EAAE,KAAgB;IAClG,OAAO;QACL,GAAG,GAAG;QACN,GAAG,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,cAAc,EAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE;QACnF,KAAK,EAAE,EAAE,GAAG,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE;KACzE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAmB,EAAE,KAAa,EAAE,IAAsB,EAAE,KAAgB;IACrG,OAAO;QACL,GAAG,GAAG;QACN,GAAG,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,cAAc,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE;QAClF,KAAK,EAAE,EAAE,GAAG,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE;KACxE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAmB,EAAE,KAAa;IAC3D,OAAO;QACL,GAAG,GAAG;QACN,GAAG,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,cAAc,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,KAAK,CAAC,EAAE;QAC5E,KAAK,EAAE,EAAE,GAAG,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE;KACjE,CAAC;AACJ,CAAC;AASD,MAAM,UAAU,MAAM,CAAC,GAAmB,EAAE,GAAkB;IAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACrC,IAAI,GAAG,CAAC,OAAO,KAAK,eAAe;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC7D,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;AAC3G,CAAC;AAID,SAAS,WAAW,CAAC,GAAmB,EAAE,SAAiB,EAAE,OAAgB,EAAE,IAAiB;IAC9F,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACzC,IAAI,OAAO,KAAK,eAAe,EAAE,CAAC;QAChC,OAAO,OAAO,CACZ,GAAG,EACH,SAAS,EACT,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,EAC9F,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CACvD,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;AAC3I,CAAC;AAED,sDAAsD;AACtD,SAAS,YAAY,CAAC,OAAgB,EAAE,IAAiB;IACvD,IAAI,OAAO,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IACnD,IAAI,CAAC,IAAI,CAAC,WAAW;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,qCAAqC,CAAC,CAAC;IACrG,OAAO,EAAE,GAAG,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAmB,EAAE,SAAiB,EAAE,OAAgB,EAAE,KAAa,EAAE,IAAiB;IACnH,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACzC,IAAI,OAAO,KAAK,eAAe,EAAE,CAAC;QAChC,OAAO,OAAO,CACZ,GAAG,EACH,SAAS,EACT,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,EAAE,KAAiB,CAAC,EAAE,EAAE,EAC5H,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,QAAQ,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAC9E,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CACZ,GAAG,EACH,SAAS,EACT,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,KAAK,EAAE,KAAuB,CAAC,EAAE,EACtF,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAC5E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,GAAmB,EAAE,GAAkB,EAAE,IAAiB;IACpF,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACrC,OAAO,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAmB,EAAE,GAAkB;IAChE,OAAO,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,GAAmB,EAAE,GAAkB,EAAE,OAAe;IACrF,OAAO,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3D,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QAC3C,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;QAC7C,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,GAAmB,EAAE,SAAiB,EAAE,OAAgB;IACpF,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IAC/C,OAAO,OAAO,KAAK,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;AACnG,CAAC"}

package/dist/reducer/facet-ops.d.ts

@@ -0,0 +1,20 @@
+/** Reducers for `facet.*` and `requirement.*` ops. Each returns its exact inverse. */
+import type { IDSFacet } from '@ifc-lite/ids';
+import type { StudioDocument } from '../document/types.js';
+import type { ConstraintIds, FacetAddOp, FacetMoveOp, FacetPatch, FacetReplaceOp, FacetRestoreOp, PrimitiveOp } from '../ops/types.js';
+import { type Uuid } from '../uuid.js';
+import { type StepResult } from './spec-ops.js';
+/** Constraint ids for `facet`: keep `previous` ids, else take `given`, else derive. */
+export declare function constraintIdsFor(facet: IDSFacet, opId: Uuid, given: ConstraintIds | undefined, previous?: ConstraintIds): ConstraintIds;
+export declare function applyFacetAdd(doc: StudioDocument, op: FacetAddOp): StepResult;
+export declare function applyFacetRemove(doc: StudioDocument, op: PrimitiveOp & {
+    kind: 'facet.remove';
+}): StepResult;
+export declare function applyFacetRestore(doc: StudioDocument, op: FacetRestoreOp): StepResult;
+export declare function applyFacetMove(doc: StudioDocument, op: FacetMoveOp): StepResult;
+export declare function applyFacetReplace(doc: StudioDocument, op: FacetReplaceOp): StepResult;
+/** Apply a `FacetPatch` and return the patch that restores the old values. */
+export declare function applyFacetPatch(doc: StudioDocument, forward: {
+    opId: Uuid;
+}, facetId: Uuid, patch: FacetPatch): StepResult;
+//# sourceMappingURL=facet-ops.d.ts.map

package/dist/reducer/facet-ops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"facet-ops.d.ts","sourceRoot":"","sources":["../../src/reducer/facet-ops.ts"],"names":[],"mappings":"AAIA,sFAAsF;AAEtF,OAAO,KAAK,EAAE,QAAQ,EAAkB,MAAM,eAAe,CAAC;AAG9D,OAAO,KAAK,EAAc,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEvE,OAAO,KAAK,EACV,aAAa,EACb,UAAU,EACV,WAAW,EACX,UAAU,EACV,cAAc,EACd,cAAc,EACd,WAAW,EAEZ,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAY,KAAK,IAAI,EAAE,MAAM,YAAY,CAAC;AAejD,OAAO,EAAO,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AAErD,uFAAuF;AACvF,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,QAAQ,EACf,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,aAAa,GAAG,SAAS,EAChC,QAAQ,GAAE,aAAkB,GAC3B,aAAa,CAMf;AA8BD,wBAAgB,aAAa,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,UAAU,GAAG,UAAU,CAsB7E;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,WAAW,GAAG;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,GAAG,UAAU,CAQ5G;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,cAAc,GAAG,UAAU,CAgBrF;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,WAAW,GAAG,UAAU,CA0B/E;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,cAAc,GAAG,UAAU,CAcrF;AAID,8EAA8E;AAC9E,wBAAgB,eAAe,CAAC,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,GAAG,UAAU,CAwC1H"}