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

package/dist/reducer/facet-ops.js

@@ -0,0 +1,184 @@
+/* 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 { presentFields } from '../document/fields.js';
+import { locateNode } from '../document/node-index.js';
+import { facetFromDraft } from '../ops/draft.js';
+import { deriveId } from '../uuid.js';
+import { insertItem, itemAt, moveItemWithin, OpApplyError, removeItem, replaceItem, requireFacet, requireIndex, requireSpec, sectionLength, withKey, } from './edit.js';
+import { inv } from './spec-ops.js';
+/** Constraint ids for `facet`: keep `previous` ids, else take `given`, else derive. */
+export function constraintIdsFor(facet, opId, given, previous = {}) {
+    const out = {};
+    for (const field of presentFields(facet)) {
+        out[field] = previous[field] ?? given?.[field] ?? deriveId(opId, field);
+    }
+    return out;
+}
+function ensureFresh(doc, ids) {
+    for (const id of ids) {
+        if (id && locateNode(doc, id))
+            throw new OpApplyError('GATE-STR-001', `node id ${id} already exists`);
+    }
+}
+function snapshotOf(item) {
+    const r = item.requirement;
+    if (!r)
+        return undefined;
+    let snap = { optionality: r.optionality };
+    snap = withKey(snap, 'cardinalityRaw', r.cardinalityRaw);
+    snap = withKey(snap, 'description', r.description);
+    return withKey(snap, 'instructions', r.instructions);
+}
+/** Inverse ops that put `item` back at `loc` after it was removed. */
+function restoreOp(forward, n, loc, item) {
+    const requirement = snapshotOf(item);
+    return inv(forward, n, 'facet.restore', {
+        specId: loc.specId,
+        section: loc.section,
+        index: loc.facetIndex,
+        facet: item.facet,
+        nodes: item.nodes,
+        ...(requirement ? { requirement } : {}),
+    });
+}
+export function applyFacetAdd(doc, op) {
+    const p = op.payload;
+    const specIndex = requireSpec(doc, p.specId);
+    const facet = facetFromDraft(p.facet);
+    const constraints = constraintIdsFor(facet, op.opId, p.constraintIds);
+    ensureFresh(doc, [p.facetId, ...Object.values(constraints)]);
+    const len = sectionLength(doc, specIndex, p.section);
+    const index = p.index ?? len;
+    requireIndex(index, len, 'facet index');
+    let requirement;
+    if (p.section === 'requirements') {
+        requirement = { id: p.facetId, facet, optionality: p.optionality ?? 'required' };
+        requirement = withKey(requirement, 'description', p.description);
+        requirement = withKey(requirement, 'instructions', p.instructions);
+    }
+    else if (p.optionality !== undefined || p.description !== undefined || p.instructions !== undefined) {
+        throw new OpApplyError('GATE-STR-003', 'applicability facets carry no optionality, description or instructions');
+    }
+    return {
+        doc: insertItem(doc, specIndex, p.section, index, { facet, nodes: { id: p.facetId, constraints }, requirement }),
+        inverse: [inv(op, 0, 'facet.remove', { facetId: p.facetId })],
+        touched: [p.specId, p.facetId],
+    };
+}
+export function applyFacetRemove(doc, op) {
+    const loc = requireFacet(doc, op.payload.facetId);
+    const item = itemAt(doc, loc);
+    return {
+        doc: removeItem(doc, loc),
+        inverse: [restoreOp(op, 0, loc, item)],
+        touched: [loc.specId, op.payload.facetId],
+    };
+}
+export function applyFacetRestore(doc, op) {
+    const p = op.payload;
+    const specIndex = requireSpec(doc, p.specId);
+    ensureFresh(doc, [p.nodes.id, ...Object.values(p.nodes.constraints)]);
+    requireIndex(p.index, sectionLength(doc, specIndex, p.section), 'facet index');
+    let requirement;
+    if (p.section === 'requirements') {
+        requirement = { ...(p.requirement ?? { optionality: 'required' }), id: p.nodes.id, facet: p.facet };
+    }
+    else if (p.requirement) {
+        throw new OpApplyError('GATE-STR-003', 'applicability facets carry no requirement fields');
+    }
+    return {
+        doc: insertItem(doc, specIndex, p.section, p.index, { facet: p.facet, nodes: p.nodes, requirement }),
+        inverse: [inv(op, 0, 'facet.remove', { facetId: p.nodes.id })],
+        touched: [p.specId, p.nodes.id],
+    };
+}
+export function applyFacetMove(doc, op) {
+    const p = op.payload;
+    const loc = requireFacet(doc, p.facetId);
+    const toSpecId = p.toSpecId ?? loc.specId;
+    const toSection = p.toSection ?? loc.section;
+    if (toSpecId === loc.specId && toSection === loc.section) {
+        requireIndex(p.toIndex, sectionLength(doc, loc.specIndex, loc.section) - 1, 'facet index');
+        return {
+            doc: moveItemWithin(doc, loc, p.toIndex),
+            inverse: [inv(op, 0, 'facet.move', { facetId: p.facetId, toIndex: loc.facetIndex })],
+            touched: [loc.specId, p.facetId],
+        };
+    }
+    const toSpecIndex = requireSpec(doc, toSpecId);
+    const item = itemAt(doc, loc);
+    const removed = removeItem(doc, loc);
+    requireIndex(p.toIndex, sectionLength(removed, toSpecIndex, toSection), 'facet index');
+    const moved = toSection === 'applicability'
+        ? { facet: item.facet, nodes: item.nodes }
+        : { ...item, requirement: item.requirement ?? { id: item.nodes.id, facet: item.facet, optionality: 'required' } };
+    return {
+        doc: insertItem(removed, toSpecIndex, toSection, p.toIndex, moved),
+        inverse: [inv(op, 0, 'facet.remove', { facetId: p.facetId }), restoreOp(op, 1, loc, item)],
+        touched: [loc.specId, toSpecId, p.facetId],
+    };
+}
+export function applyFacetReplace(doc, op) {
+    const p = op.payload;
+    const loc = requireFacet(doc, p.facetId);
+    const item = itemAt(doc, loc);
+    const facet = facetFromDraft(p.facet);
+    const constraints = constraintIdsFor(facet, op.opId, p.constraintIds, item.nodes.constraints);
+    const reused = new Set(Object.values(item.nodes.constraints));
+    ensureFresh(doc, Object.values(constraints).filter((id) => !reused.has(id)));
+    const nodes = { id: p.facetId, constraints };
+    return {
+        doc: replaceItem(doc, loc, { ...item, facet, nodes }),
+        inverse: [inv(op, 0, 'facet.remove', { facetId: p.facetId }), restoreOp(op, 1, loc, item)],
+        touched: [loc.specId, p.facetId, ...Object.values(constraints).filter((id) => !!id)],
+    };
+}
+const REQUIREMENT_KEYS = ['optionality', 'cardinalityRaw', 'description', 'instructions'];
+/** Apply a `FacetPatch` and return the patch that restores the old values. */
+export function applyFacetPatch(doc, forward, facetId, patch) {
+    const loc = requireFacet(doc, facetId);
+    const item = itemAt(doc, loc);
+    const undo = {};
+    let facet = item.facet;
+    let requirement = item.requirement;
+    for (const key of REQUIREMENT_KEYS) {
+        if (patch[key] === undefined)
+            continue;
+        if (!requirement)
+            throw new OpApplyError('GATE-STR-003', `${key} only exists on requirements`);
+        if (key === 'optionality') {
+            undo.optionality = requirement.optionality;
+            requirement = { ...requirement, optionality: patch.optionality ?? requirement.optionality };
+        }
+        else {
+            undo[key] = requirement[key] ?? null;
+            requirement = withKey(requirement, key, patch[key]);
+        }
+    }
+    if (patch.relation !== undefined || patch.rawRelation !== undefined) {
+        if (facet.type !== 'partOf')
+            throw new OpApplyError('GATE-STR-002', 'relation only exists on partOf facets');
+        if (patch.relation !== undefined) {
+            undo.relation = facet.relation;
+            facet = { ...facet, relation: patch.relation };
+        }
+        if (patch.rawRelation !== undefined) {
+            undo.rawRelation = item.facet.type === 'partOf' ? (item.facet.rawRelation ?? null) : null;
+            facet = withKey(facet, 'rawRelation', patch.rawRelation);
+        }
+    }
+    if (patch.uri !== undefined) {
+        if (facet.type !== 'property' && facet.type !== 'classification' && facet.type !== 'material') {
+            throw new OpApplyError('GATE-STR-002', 'uri only exists on property, classification and material facets');
+        }
+        undo.uri = facet.uri ?? null;
+        facet = withKey(facet, 'uri', patch.uri);
+    }
+    return {
+        doc: replaceItem(doc, loc, { ...item, facet, requirement }),
+        inverse: [inv(forward, 0, 'facet.patch', { facetId, set: undo })],
+        touched: [loc.specId, facetId],
+    };
+}
+//# sourceMappingURL=facet-ops.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"facet-ops.js","sourceRoot":"","sources":["../../src/reducer/facet-ops.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAK/D,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAsB,MAAM,2BAA2B,CAAC;AAE3E,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAWjD,OAAO,EAAE,QAAQ,EAAa,MAAM,YAAY,CAAC;AACjD,OAAO,EACL,UAAU,EACV,MAAM,EACN,cAAc,EACd,YAAY,EACZ,UAAU,EACV,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,aAAa,EACb,OAAO,GAER,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,GAAG,EAAmB,MAAM,eAAe,CAAC;AAErD,uFAAuF;AACvF,MAAM,UAAU,gBAAgB,CAC9B,KAAe,EACf,IAAU,EACV,KAAgC,EAChC,WAA0B,EAAE;IAE5B,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,GAAG,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,GAAmB,EAAE,GAAyB;IACjE,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,EAAE,IAAI,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC;YAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC;IACxG,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAiB;IACnC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;IAC3B,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzB,IAAI,IAAI,GAAwB,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC/D,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC;IACzD,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;IACnD,OAAO,OAAO,CAAC,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;AACvD,CAAC;AAED,sEAAsE;AACtE,SAAS,SAAS,CAAC,OAAuB,EAAE,CAAS,EAAE,GAAkB,EAAE,IAAiB;IAC1F,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACrC,OAAO,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,eAAe,EAAE;QACtC,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,KAAK,EAAE,GAAG,CAAC,UAAU;QACrB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,GAAmB,EAAE,EAAc;IAC/D,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;IACrB,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC;IACtE,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC;IAC7B,YAAY,CAAC,KAAK,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;IACxC,IAAI,WAAuC,CAAC;IAC5C,IAAI,CAAC,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACjC,WAAW,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,UAAU,EAAE,CAAC;QACjF,WAAW,GAAG,OAAO,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;QACjE,WAAW,GAAG,OAAO,CAAC,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;IACrE,CAAC;SAAM,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACtG,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,wEAAwE,CAAC,CAAC;IACnH,CAAC;IACD,OAAO;QACL,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE,WAAW,EAAE,CAAC;QAChH,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,cAAc,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC7D,OAAO,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC;KAC/B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,GAAmB,EAAE,EAA0C;IAC9F,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9B,OAAO;QACL,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;QACzB,OAAO,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACtC,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,GAAmB,EAAE,EAAkB;IACvE,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;IACrB,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAC7C,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACtE,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,CAAC;IAC/E,IAAI,WAAuC,CAAC;IAC5C,IAAI,CAAC,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACjC,WAAW,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;IACtG,CAAC;SAAM,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,kDAAkD,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO;QACL,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC;QACpG,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,cAAc,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9D,OAAO,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;KAChC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,GAAmB,EAAE,EAAe;IACjE,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;IACrB,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC;IAC1C,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,OAAO,CAAC;IAC7C,IAAI,QAAQ,KAAK,GAAG,CAAC,MAAM,IAAI,SAAS,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC;QACzD,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,aAAa,CAAC,CAAC;QAC3F,OAAO;YACL,GAAG,EAAE,cAAc,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC;YACxC,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;YACpF,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC;SACjC,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,WAAW,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACrC,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,aAAa,CAAC,CAAC;IACvF,MAAM,KAAK,GACT,SAAS,KAAK,eAAe;QAC3B,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;QAC1C,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,CAAC;IACtH,OAAO;QACL,GAAG,EAAE,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC;QAClE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,cAAc,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1F,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,GAAmB,EAAE,EAAkB;IACvE,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;IACrB,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,gBAAgB,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC9F,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;IAC9D,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAe,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,WAAW,EAAE,CAAC;IACzD,OAAO;QACL,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACrD,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,cAAc,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1F,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;KACjG,CAAC;AACJ,CAAC;AAED,MAAM,gBAAgB,GAAG,CAAC,aAAa,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,CAAU,CAAC;AAEnG,8EAA8E;AAC9E,MAAM,UAAU,eAAe,CAAC,GAAmB,EAAE,OAAuB,EAAE,OAAa,EAAE,KAAiB;IAC5G,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAe,EAAE,CAAC;IAC5B,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACvB,IAAI,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,SAAS;QACvC,IAAI,CAAC,WAAW;YAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,GAAG,GAAG,8BAA8B,CAAC,CAAC;QAC/F,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YAC1B,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC;YAC3C,WAAW,GAAG,EAAE,GAAG,WAAW,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;QAC9F,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;YACrC,WAAW,GAAG,OAAO,CAAC,WAAW,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACpE,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,uCAAuC,CAAC,CAAC;QAC7G,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;YAC/B,KAAK,GAAG,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;QACjD,CAAC;QACD,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACpC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC1F,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9F,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,iEAAiE,CAAC,CAAC;QAC5G,CAAC;QACD,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC;QAC7B,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO;QACL,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;QAC3D,OAAO,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,aAAa,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QACjE,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC;KAC/B,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,20 @@
+/**
+ * Reducers for `meta.suppress` / `meta.unsuppress`: the writable side of
+ * `meta.suppressions`, which the linter reads (`lint/suppress.ts`). Each
+ * returns its exact inverse.
+ *
+ * Suppressions are sidecar annotations; they change no IDS content, so the
+ * ops touch no node. The linter applies suppressions after its cache, so
+ * writing one never forces a re-lint.
+ *
+ * Whether the node exists, the rule is a lint code and the reason is not
+ * blank is checked by the gate (`checkSuppressionOp`), not here: undo must be able to restore a
+ * suppression exactly as it was, even one on a node that has since been
+ * removed or one imported without a reason.
+ */
+import type { StudioDocument } from '../document/types.js';
+import type { MetaSuppressOp, MetaUnsuppressOp } from '../ops/types.js';
+import { type StepResult } from './spec-ops.js';
+export declare function applySuppress(doc: StudioDocument, op: MetaSuppressOp): StepResult;
+export declare function applyUnsuppress(doc: StudioDocument, op: MetaUnsuppressOp): StepResult;
+//# sourceMappingURL=meta-ops.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"meta-ops.d.ts","sourceRoot":"","sources":["../../src/reducer/meta-ops.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAe,MAAM,sBAAsB,CAAC;AACxE,OAAO,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAGxE,OAAO,EAAO,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AASrD,wBAAgB,aAAa,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,cAAc,GAAG,UAAU,CAuBjF;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,gBAAgB,GAAG,UAAU,CAWrF"}

package/dist/reducer/meta-ops.js

@@ -0,0 +1,52 @@
+/* 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 { insertAt, OpApplyError, removeAt, replaceAt } from './edit.js';
+import { inv } from './spec-ops.js';
+function withSuppressions(doc, nodeId, list) {
+    const suppressions = { ...doc.meta.suppressions };
+    if (list === undefined)
+        delete suppressions[nodeId];
+    else
+        suppressions[nodeId] = list;
+    return { ...doc, meta: { ...doc.meta, suppressions } };
+}
+export function applySuppress(doc, op) {
+    const { nodeId, suppression, index } = op.payload;
+    const had = Object.prototype.hasOwnProperty.call(doc.meta.suppressions, nodeId);
+    const list = doc.meta.suppressions[nodeId] ?? [];
+    const existing = list.findIndex((s) => s.rule === suppression.rule);
+    if (existing >= 0) {
+        return {
+            doc: withSuppressions(doc, nodeId, replaceAt(list, existing, suppression)),
+            inverse: [inv(op, 0, 'meta.suppress', { nodeId, suppression: list[existing] })],
+            touched: [],
+        };
+    }
+    const at = index ?? list.length;
+    if (!Number.isInteger(at) || at < 0 || at > list.length) {
+        throw new OpApplyError('GATE-STR-006', `suppression index ${at} is out of range 0..${list.length}`);
+    }
+    const payload = { nodeId, rule: suppression.rule };
+    if (had && list.length === 0)
+        payload.keepEmpty = true;
+    return {
+        doc: withSuppressions(doc, nodeId, insertAt(list, at, suppression)),
+        inverse: [inv(op, 0, 'meta.unsuppress', payload)],
+        touched: [],
+    };
+}
+export function applyUnsuppress(doc, op) {
+    const { nodeId, rule, keepEmpty } = op.payload;
+    const list = doc.meta.suppressions[nodeId] ?? [];
+    const index = list.findIndex((s) => s.rule === rule);
+    if (index < 0)
+        throw new OpApplyError('GATE-SUP-003', `node ${nodeId} has no suppression of ${rule}`);
+    const next = removeAt(list, index);
+    return {
+        doc: withSuppressions(doc, nodeId, next.length === 0 && !keepEmpty ? undefined : next),
+        inverse: [inv(op, 0, 'meta.suppress', { nodeId, suppression: list[index], index })],
+        touched: [],
+    };
+}
+//# sourceMappingURL=meta-ops.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"meta-ops.js","sourceRoot":"","sources":["../../src/reducer/meta-ops.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAoB/D,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACxE,OAAO,EAAE,GAAG,EAAmB,MAAM,eAAe,CAAC;AAErD,SAAS,gBAAgB,CAAC,GAAmB,EAAE,MAAY,EAAE,IAA+B;IAC1F,MAAM,YAAY,GAAG,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;IAClD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;;QAC/C,YAAY,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IACjC,OAAO,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,EAAE,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,GAAmB,EAAE,EAAkB;IACnE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IAClD,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAChF,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC;IACpE,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAClB,OAAO;YACL,GAAG,EAAE,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;YAC1E,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,eAAe,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC/E,OAAO,EAAE,EAAE;SACZ,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,GAAG,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACxD,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,qBAAqB,EAAE,uBAAuB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACtG,CAAC;IACD,MAAM,OAAO,GAAgC,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC;IAChF,IAAI,GAAG,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC;IACvD,OAAO;QACL,GAAG,EAAE,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC;QACnE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAC;QACjD,OAAO,EAAE,EAAE;KACZ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAmB,EAAE,EAAoB;IACvE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IAC/C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACrD,IAAI,KAAK,GAAG,CAAC;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,QAAQ,MAAM,0BAA0B,IAAI,EAAE,CAAC,CAAC;IACtG,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnC,OAAO;QACL,GAAG,EAAE,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QACtF,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,eAAe,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACnF,OAAO,EAAE,EAAE;KACZ,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,29 @@
+import type { StudioDocument } from '../document/types.js';
+import type { DocSetInfoOp, PrimitiveOp, SpecAddOp, SpecCardinality, SpecDuplicateOp, SpecMoveOp, SpecPatch, SpecRestoreOp } from '../ops/types.js';
+import { type Uuid } from '../uuid.js';
+/** What one primitive op did: the new doc, its inverse ops and touched node ids. */
+export interface StepResult {
+    doc: StudioDocument;
+    inverse: PrimitiveOp[];
+    touched: Uuid[];
+}
+/** Build an inverse op with a deterministic id derived from the forward op. */
+export declare function inv<K extends PrimitiveOp['kind']>(forward: {
+    opId: Uuid;
+}, n: number, kind: K, payload: Extract<PrimitiveOp, {
+    kind: K;
+}>['payload']): PrimitiveOp;
+export declare function applyDocSetInfo(doc: StudioDocument, op: DocSetInfoOp): StepResult;
+export declare function cardinalityPatch(cardinality: SpecCardinality): SpecPatch;
+export declare function applySpecAdd(doc: StudioDocument, op: SpecAddOp): StepResult;
+export declare function applySpecRemove(doc: StudioDocument, op: PrimitiveOp & {
+    kind: 'spec.remove';
+}): StepResult;
+export declare function applySpecRestore(doc: StudioDocument, op: SpecRestoreOp): StepResult;
+export declare function applySpecDuplicate(doc: StudioDocument, op: SpecDuplicateOp): StepResult;
+export declare function applySpecMove(doc: StudioDocument, op: SpecMoveOp): StepResult;
+/** Apply a `SpecPatch` and return the patch that restores the old values. */
+export declare function applySpecPatch(doc: StudioDocument, forward: {
+    opId: Uuid;
+}, specId: Uuid, patch: SpecPatch): StepResult;
+//# sourceMappingURL=spec-ops.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"spec-ops.d.ts","sourceRoot":"","sources":["../../src/reducer/spec-ops.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAc,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEvE,OAAO,KAAK,EAEV,YAAY,EACZ,WAAW,EACX,SAAS,EACT,eAAe,EACf,eAAe,EACf,UAAU,EACV,SAAS,EACT,aAAa,EACd,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAY,KAAK,IAAI,EAAE,MAAM,YAAY,CAAC;AAajD,oFAAoF;AACpF,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,cAAc,CAAC;IACpB,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,OAAO,EAAE,IAAI,EAAE,CAAC;CACjB;AAED,+EAA+E;AAC/E,wBAAgB,GAAG,CAAC,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,EAC/C,OAAO,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EACvB,CAAC,EAAE,MAAM,EACT,IAAI,EAAE,CAAC,EACP,OAAO,EAAE,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC,SAAS,CAAC,GACpD,WAAW,CAEb;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,YAAY,GAAG,UAAU,CAUjF;AAED,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,eAAe,GAAG,SAAS,CASxE;AAMD,wBAAgB,YAAY,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,SAAS,GAAG,UAAU,CAsB3E;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,WAAW,GAAG;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,GAAG,UAAU,CAS1G;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,GAAG,UAAU,CAUnF;AAUD,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,eAAe,GAAG,UAAU,CAyBvF;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,UAAU,GAAG,UAAU,CAe7E;AAmCD,6EAA6E;AAC7E,wBAAgB,cAAc,CAC5B,GAAG,EAAE,cAAc,EACnB,OAAO,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,EACvB,MAAM,EAAE,IAAI,EACZ,KAAK,EAAE,SAAS,GACf,UAAU,CAaZ"}

package/dist/reducer/spec-ops.js

@@ -0,0 +1,181 @@
+/* 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 { locateNode } from '../document/node-index.js';
+import { deriveId } from '../uuid.js';
+import { insertAt, insertSpec, OpApplyError, removeAt, removeSpec, requireIndex, requireSpec, setSpec, withKey, } from './edit.js';
+/** Build an inverse op with a deterministic id derived from the forward op. */
+export function inv(forward, n, kind, payload) {
+    return { kind, opId: deriveId(forward.opId, `inverse:${n}`), payload };
+}
+export function applyDocSetInfo(doc, op) {
+    const { field, value } = op.payload;
+    if (field === 'title' && value === null)
+        throw new OpApplyError('GATE-STR-002', 'info.title is required');
+    const old = doc.ids.info[field];
+    const info = withKey(doc.ids.info, field, value);
+    return {
+        doc: { ...doc, ids: { ...doc.ids, info } },
+        inverse: [inv(op, 0, 'doc.setInfo', { field, value: old ?? null })],
+        touched: [doc.nodes.document],
+    };
+}
+export function cardinalityPatch(cardinality) {
+    switch (cardinality) {
+        case 'required':
+            return { minOccurs: 1, maxOccurs: null };
+        case 'optional':
+            return { minOccurs: 0, maxOccurs: null };
+        case 'prohibited':
+            return { minOccurs: 0, maxOccurs: 0 };
+    }
+}
+function ensureFreshId(doc, id) {
+    if (locateNode(doc, id))
+        throw new OpApplyError('GATE-STR-001', `node id ${id} already exists`);
+}
+export function applySpecAdd(doc, op) {
+    const p = op.payload;
+    ensureFreshId(doc, p.specId);
+    const count = doc.ids.specifications.length;
+    const index = p.index ?? count;
+    requireIndex(index, count, 'spec index');
+    let spec = {
+        id: p.specId,
+        name: p.name,
+        ifcVersions: [...p.ifcVersions],
+        applicability: { facets: [] },
+        requirements: [],
+    };
+    if (p.description !== undefined)
+        spec.description = p.description;
+    if (p.instructions !== undefined)
+        spec.instructions = p.instructions;
+    if (p.identifier !== undefined)
+        spec.identifier = p.identifier;
+    spec = patchSpec(spec, cardinalityPatch(p.cardinality ?? 'required'));
+    return {
+        doc: insertSpec(doc, index, spec, { id: p.specId, applicability: [], requirements: [] }),
+        inverse: [inv(op, 0, 'spec.remove', { specId: p.specId })],
+        touched: [p.specId],
+    };
+}
+export function applySpecRemove(doc, op) {
+    const index = requireSpec(doc, op.payload.specId);
+    const spec = doc.ids.specifications[index];
+    const nodes = doc.nodes.specs[index];
+    return {
+        doc: removeSpec(doc, index),
+        inverse: [inv(op, 0, 'spec.restore', { index, spec, nodes })],
+        touched: [op.payload.specId],
+    };
+}
+export function applySpecRestore(doc, op) {
+    const { index, spec, nodes } = op.payload;
+    if (spec.id !== nodes.id)
+        throw new OpApplyError('GATE-STR-001', 'spec.id must equal nodes.id');
+    ensureFreshId(doc, nodes.id);
+    requireIndex(index, doc.ids.specifications.length, 'spec index');
+    return {
+        doc: insertSpec(doc, index, spec, nodes),
+        inverse: [inv(op, 0, 'spec.remove', { specId: spec.id })],
+        touched: [spec.id],
+    };
+}
+function copyFacetNodes(nodes, seed, salt) {
+    const constraints = {};
+    for (const field of Object.keys(nodes.constraints)) {
+        if (nodes.constraints[field])
+            constraints[field] = deriveId(seed, `${salt}:${field}`);
+    }
+    return { id: deriveId(seed, salt), constraints };
+}
+export function applySpecDuplicate(doc, op) {
+    const { specId, newSpecId, nameSuffix } = op.payload;
+    const index = requireSpec(doc, specId);
+    ensureFreshId(doc, newSpecId);
+    const source = doc.ids.specifications[index];
+    const sourceNodes = doc.nodes.specs[index];
+    const applicability = sourceNodes.applicability.map((n, j) => copyFacetNodes(n, op.opId, `app:${j}`));
+    const requirements = sourceNodes.requirements.map((n, j) => copyFacetNodes(n, op.opId, `req:${j}`));
+    // A duplicate is a new specification: it takes a fresh name and drops the
+    // user-controlled `identifier`, which must stay unique per document.
+    const spec = withKey({
+        ...source,
+        id: newSpecId,
+        name: `${source.name}${nameSuffix ?? ' (copy)'}`,
+        requirements: source.requirements.map((r, j) => ({ ...r, id: requirements[j].id })),
+    }, 'identifier', undefined);
+    return {
+        doc: insertSpec(doc, index + 1, spec, { id: newSpecId, applicability, requirements }),
+        inverse: [inv(op, 0, 'spec.remove', { specId: newSpecId })],
+        touched: [newSpecId],
+    };
+}
+export function applySpecMove(doc, op) {
+    const { specId, toIndex } = op.payload;
+    const from = requireSpec(doc, specId);
+    requireIndex(toIndex, doc.ids.specifications.length - 1, 'spec index');
+    const specs = removeAt(doc.ids.specifications, from);
+    const nodes = removeAt(doc.nodes.specs, from);
+    return {
+        doc: {
+            ...doc,
+            ids: { ...doc.ids, specifications: insertAt(specs, toIndex, doc.ids.specifications[from]) },
+            nodes: { ...doc.nodes, specs: insertAt(nodes, toIndex, doc.nodes.specs[from]) },
+        },
+        inverse: [inv(op, 0, 'spec.move', { specId, toIndex: from })],
+        touched: [specId],
+    };
+}
+const PATCH_KEYS = [
+    'name',
+    'description',
+    'instructions',
+    'identifier',
+    'ifcVersions',
+    'ifcVersionRaw',
+    'minOccurs',
+    'maxOccurs',
+    'applicabilityCardinality',
+];
+function readPatchKey(spec, key) {
+    return key === 'applicabilityCardinality' ? spec.applicability.cardinality : spec[key];
+}
+function patchSpec(spec, patch) {
+    let next = spec;
+    for (const key of PATCH_KEYS) {
+        if (!(key in patch) || patch[key] === undefined)
+            continue;
+        if (key === 'applicabilityCardinality') {
+            next = { ...next, applicability: withKey(next.applicability, 'cardinality', patch.applicabilityCardinality) };
+        }
+        else if (key === 'name' || key === 'ifcVersions') {
+            const value = patch[key];
+            if (value === null)
+                throw new OpApplyError('GATE-STR-002', `spec.${key} is required`);
+            next = key === 'name' ? { ...next, name: value } : { ...next, ifcVersions: [...value] };
+        }
+        else {
+            next = withKey(next, key, patch[key]);
+        }
+    }
+    return next;
+}
+/** Apply a `SpecPatch` and return the patch that restores the old values. */
+export function applySpecPatch(doc, forward, specId, patch) {
+    const index = requireSpec(doc, specId);
+    const spec = doc.ids.specifications[index];
+    const undo = {};
+    for (const key of PATCH_KEYS) {
+        if (!(key in patch) || patch[key] === undefined)
+            continue;
+        undo[key] = readPatchKey(spec, key) ?? null;
+    }
+    return {
+        doc: setSpec(doc, index, patchSpec(spec, patch), doc.nodes.specs[index]),
+        inverse: [inv(forward, 0, 'spec.patch', { specId, set: undo })],
+        touched: [specId],
+    };
+}
+//# sourceMappingURL=spec-ops.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"spec-ops.js","sourceRoot":"","sources":["../../src/reducer/spec-ops.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAK/D,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAcvD,OAAO,EAAE,QAAQ,EAAa,MAAM,YAAY,CAAC;AACjD,OAAO,EACL,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,WAAW,EACX,OAAO,EACP,OAAO,GACR,MAAM,WAAW,CAAC;AASnB,+EAA+E;AAC/E,MAAM,UAAU,GAAG,CACjB,OAAuB,EACvB,CAAS,EACT,IAAO,EACP,OAAqD;IAErD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,OAAO,EAAiB,CAAC;AACxF,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAmB,EAAE,EAAgB;IACnE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IACpC,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,IAAI;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,wBAAwB,CAAC,CAAC;IAC1G,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACjD,OAAO;QACL,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;QAC1C,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,aAAa,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,IAAI,IAAI,EAAE,CAAC,CAAC;QACnE,OAAO,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC;KAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,WAA4B;IAC3D,QAAQ,WAAW,EAAE,CAAC;QACpB,KAAK,UAAU;YACb,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAC3C,KAAK,UAAU;YACb,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAC3C,KAAK,YAAY;YACf,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC1C,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,GAAmB,EAAE,EAAQ;IAClD,IAAI,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC;AAClG,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,GAAmB,EAAE,EAAa;IAC7D,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC;IACrB,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC;IAC5C,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC;IAC/B,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;IACzC,IAAI,IAAI,GAAqB;QAC3B,EAAE,EAAE,CAAC,CAAC,MAAM;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC;QAC/B,aAAa,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;QAC7B,YAAY,EAAE,EAAE;KACjB,CAAC;IACF,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS;QAAE,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC;IAClE,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;QAAE,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;IACrE,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;QAAE,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;IAC/D,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,WAAW,IAAI,UAAU,CAAC,CAAC,CAAC;IACtE,OAAO;QACL,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,aAAa,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;QACxF,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,aAAa,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1D,OAAO,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAmB,EAAE,EAAyC;IAC5F,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrC,OAAO;QACL,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC;QAC3B,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,cAAc,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7D,OAAO,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;KAC7B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,GAAmB,EAAE,EAAiB;IACrE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IAC1C,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,6BAA6B,CAAC,CAAC;IAChG,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAC7B,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACjE,OAAO;QACL,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;QACxC,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,aAAa,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACzD,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,KAAiB,EAAE,IAAY,EAAE,IAAY;IACnE,MAAM,WAAW,GAAkB,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAqB,EAAE,CAAC;QACvE,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC;YAAE,WAAW,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,GAAmB,EAAE,EAAmB;IACzE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IACrD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvC,aAAa,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,aAAa,GAAG,WAAW,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IACtG,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IACpG,0EAA0E;IAC1E,qEAAqE;IACrE,MAAM,IAAI,GAAqB,OAAO,CACpC;QACE,GAAG,MAAM;QACT,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,GAAG,UAAU,IAAI,SAAS,EAAE;QAChD,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;KACpF,EACD,YAAY,EACZ,SAAS,CACV,CAAC;IACF,OAAO;QACL,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC;QACrF,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,aAAa,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC3D,OAAO,EAAE,CAAC,SAAS,CAAC;KACrB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,GAAmB,EAAE,EAAc;IAC/D,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IACvC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACtC,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,YAAY,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9C,OAAO;QACL,GAAG,EAAE;YACH,GAAG,GAAG;YACN,GAAG,EAAE,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,cAAc,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE;YAC3F,KAAK,EAAE,EAAE,GAAG,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE;SAChF;QACD,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,OAAO,EAAE,CAAC,MAAM,CAAC;KAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,GAAG;IACjB,MAAM;IACN,aAAa;IACb,cAAc;IACd,YAAY;IACZ,aAAa;IACb,eAAe;IACf,WAAW;IACX,WAAW;IACX,0BAA0B;CAClB,CAAC;AAEX,SAAS,YAAY,CAAC,IAAsB,EAAE,GAAgC;IAC5E,OAAO,GAAG,KAAK,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,SAAS,CAAC,IAAsB,EAAE,KAAgB;IACzD,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,GAAG,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,SAAS;QAC1D,IAAI,GAAG,KAAK,0BAA0B,EAAE,CAAC;YACvC,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,aAAa,EAAE,KAAK,CAAC,wBAAwB,CAAC,EAAE,CAAC;QAChH,CAAC;aAAM,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YACnD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;YACzB,IAAI,KAAK,KAAK,IAAI;gBAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,QAAQ,GAAG,cAAc,CAAC,CAAC;YACtF,IAAI,GAAG,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,KAAe,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,CAAC,GAAI,KAAkB,CAAoC,EAAE,CAAC;QACrJ,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAwC,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,cAAc,CAC5B,GAAmB,EACnB,OAAuB,EACvB,MAAY,EACZ,KAAgB;IAEhB,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,IAAI,GAA4B,EAAE,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,GAAG,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,SAAS;QAC1D,IAAI,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC;IAC9C,CAAC;IACD,OAAO;QACL,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACxE,OAAO,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAiB,EAAE,CAAC,CAAC;QAC5E,OAAO,EAAE,CAAC,MAAM,CAAC;KAClB,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,15 @@
+import type { StudioDocument } from '../document/types.js';
+import type { MetaTestAddOp, MetaTestRemoveOp, MetaTestRestoreOp, MetaTestSetExpectationOp } from '../ops/types.js';
+import type { TestCase } from '../testing/types.js';
+import type { Uuid } from '../uuid.js';
+import { type StepResult } from './spec-ops.js';
+export declare function findTestCase(doc: StudioDocument, testId: Uuid): {
+    specId: Uuid;
+    index: number;
+    testCase: TestCase;
+} | undefined;
+export declare function applyTestAdd(doc: StudioDocument, op: MetaTestAddOp): StepResult;
+export declare function applyTestRestore(doc: StudioDocument, op: MetaTestRestoreOp): StepResult;
+export declare function applyTestRemove(doc: StudioDocument, op: MetaTestRemoveOp): StepResult;
+export declare function applyTestSetExpectation(doc: StudioDocument, op: MetaTestSetExpectationOp): StepResult;
+//# sourceMappingURL=test-ops.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"test-ops.d.ts","sourceRoot":"","sources":["../../src/reducer/test-ops.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAC;AACpH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAEvC,OAAO,EAAO,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AAErD,wBAAgB,YAAY,CAAC,GAAG,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,GAAG;IAAE,MAAM,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAAG,SAAS,CAM/H;AAiBD,wBAAgB,YAAY,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,GAAG,UAAU,CAW/E;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,iBAAiB,GAAG,UAAU,CAOvF;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,gBAAgB,GAAG,UAAU,CAQrF;AAED,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,wBAAwB,GAAG,UAAU,CAmBrG"}

package/dist/reducer/test-ops.js

@@ -0,0 +1,90 @@
+/* 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.test.*`: the IDS test suites in the sidecar
+ * (`meta.tests[specId]`). A case can only be added to a live
+ * specification; like comments, a suite outlives its specification so an
+ * undo of the removal brings the tests back.
+ */
+import { locateNode } from '../document/node-index.js';
+import { insertAt, OpApplyError, removeAt, replaceAt, withKey } from './edit.js';
+import { inv } from './spec-ops.js';
+export function findTestCase(doc, testId) {
+    for (const [specId, suite] of Object.entries(doc.meta.tests)) {
+        const index = suite.cases.findIndex((c) => c.id === testId);
+        if (index >= 0)
+            return { specId, index, testCase: suite.cases[index] };
+    }
+    return undefined;
+}
+function withCases(doc, specId, cases) {
+    const tests = { ...doc.meta.tests };
+    if (cases.length)
+        tests[specId] = { specId, cases };
+    else
+        delete tests[specId];
+    return { ...doc, meta: { ...doc.meta, tests } };
+}
+function insertCase(doc, specId, testCase, index) {
+    if (findTestCase(doc, testCase.id))
+        throw new OpApplyError('GATE-STR-001', `test case ${testCase.id} already exists`);
+    const cases = doc.meta.tests[specId]?.cases ?? [];
+    const at = index ?? cases.length;
+    if (!Number.isInteger(at) || at < 0 || at > cases.length)
+        throw new OpApplyError('GATE-STR-006', `test index ${at} is out of range 0..${cases.length}`);
+    return withCases(doc, specId, insertAt(cases, at, testCase));
+}
+export function applyTestAdd(doc, op) {
+    const { specId, testCase, index } = op.payload;
+    if (locateNode(doc, specId)?.kind !== 'spec')
+        throw new OpApplyError('GATE-STR-001', `unknown specification ${specId}`);
+    if (testCase.expectFailureOn?.length && testCase.expect !== 'fail') {
+        throw new OpApplyError('GATE-STR-003', 'only a test expecting "fail" can name the requirements that fail');
+    }
+    return {
+        doc: insertCase(doc, specId, testCase, index),
+        inverse: [inv(op, 0, 'meta.test.remove', { testId: testCase.id })],
+        touched: [specId],
+    };
+}
+export function applyTestRestore(doc, op) {
+    const { specId, testCase, index } = op.payload;
+    return {
+        doc: insertCase(doc, specId, testCase, index),
+        inverse: [inv(op, 0, 'meta.test.remove', { testId: testCase.id })],
+        touched: [specId],
+    };
+}
+export function applyTestRemove(doc, op) {
+    const site = findTestCase(doc, op.payload.testId);
+    if (!site)
+        throw new OpApplyError('GATE-STR-001', `unknown test case ${op.payload.testId}`);
+    return {
+        doc: withCases(doc, site.specId, removeAt(doc.meta.tests[site.specId].cases, site.index)),
+        inverse: [inv(op, 0, 'meta.test.restore', { specId: site.specId, testCase: site.testCase, index: site.index })],
+        touched: [site.specId],
+    };
+}
+export function applyTestSetExpectation(doc, op) {
+    const { testId, expect, expectFailureOn } = op.payload;
+    const site = findTestCase(doc, testId);
+    if (!site)
+        throw new OpApplyError('GATE-STR-001', `unknown test case ${testId}`);
+    if (expectFailureOn?.length && expect !== 'fail') {
+        throw new OpApplyError('GATE-STR-003', 'only a test expecting "fail" can name the requirements that fail');
+    }
+    const next = withKey({ ...site.testCase, expect }, 'expectFailureOn', expectFailureOn);
+    return {
+        doc: withCases(doc, site.specId, replaceAt(doc.meta.tests[site.specId].cases, site.index, next)),
+        inverse: [
+            inv(op, 0, 'meta.test.setExpectation', {
+                testId,
+                expect: site.testCase.expect,
+                expectFailureOn: site.testCase.expectFailureOn ?? null,
+            }),
+        ],
+        touched: [site.specId],
+    };
+}
+//# sourceMappingURL=test-ops.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"test-ops.js","sourceRoot":"","sources":["../../src/reducer/test-ops.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAKvD,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACjF,OAAO,EAAE,GAAG,EAAmB,MAAM,eAAe,CAAC;AAErD,MAAM,UAAU,YAAY,CAAC,GAAmB,EAAE,MAAY;IAC5D,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;QAC5D,IAAI,KAAK,IAAI,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IACzE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAAC,GAAmB,EAAE,MAAY,EAAE,KAAiB;IACrE,MAAM,KAAK,GAAG,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM;QAAE,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;;QAC/C,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,OAAO,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,UAAU,CAAC,GAAmB,EAAE,MAAY,EAAE,QAAkB,EAAE,KAAyB;IAClG,IAAI,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,aAAa,QAAQ,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACtH,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;IAClD,MAAM,EAAE,GAAG,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC;IACjC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,MAAM;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,cAAc,EAAE,uBAAuB,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACxJ,OAAO,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,GAAmB,EAAE,EAAiB;IACjE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IAC/C,IAAI,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,IAAI,KAAK,MAAM;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,yBAAyB,MAAM,EAAE,CAAC,CAAC;IACxH,IAAI,QAAQ,CAAC,eAAe,EAAE,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACnE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,kEAAkE,CAAC,CAAC;IAC7G,CAAC;IACD,OAAO;QACL,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC;QAC7C,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,OAAO,EAAE,CAAC,MAAM,CAAC;KAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,GAAmB,EAAE,EAAqB;IACzE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IAC/C,OAAO;QACL,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC;QAC7C,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,OAAO,EAAE,CAAC,MAAM,CAAC;KAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAmB,EAAE,EAAoB;IACvE,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,qBAAqB,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5F,OAAO;QACL,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACzF,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,mBAAmB,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QAC/G,OAAO,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,GAAmB,EAAE,EAA4B;IACvF,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IACvD,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,qBAAqB,MAAM,EAAE,CAAC,CAAC;IACjF,IAAI,eAAe,EAAE,MAAM,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACjD,MAAM,IAAI,YAAY,CAAC,cAAc,EAAE,kEAAkE,CAAC,CAAC;IAC7G,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,iBAAiB,EAAE,eAAe,CAAC,CAAC;IACvF,OAAO;QACL,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAChG,OAAO,EAAE;YACP,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,0BAA0B,EAAE;gBACrC,MAAM;gBACN,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM;gBAC5B,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe,IAAI,IAAI;aACvD,CAAC;SACH;QACD,OAAO,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;KACvB,CAAC;AACJ,CAAC"}