@ai-matrx/office 0.8.20 → 0.8.21

package/CHANGELOG.md

@@ -1,9 +1,27 @@
 # Changelog
 
+## 0.8.21
+### C5c: Sheets co-editing — merge divergence fixed, number formats, counts and sheets travel
+
+- **Merge divergence across chained row/column deletes, fixed at its cause.** Univer 1.0.4's structural commands only fix the merges that intersect the COMMAND's range on the other axis (any `-by-range` call with a partial range, an API call) and only while its ref-range registration is current (never refreshed after a content load or a remove-merge). A cut merge it skipped stayed put on the sender while every transform moved it, so seats ended a column apart (the session fuzz's merge at column -1 vs 0). Capture now completes the command (`mergeFixupsOwed`): the cut merges still on the sheet are removed right before the structural mutation and re-added at their model position right after it, in the traveling group and on the sender alike. Multi-seat session fuzz: 0 hash mismatches (was 2–18 per run).
+- **Number formats travel** (`sheet.mutation.set.numfmt` / `remove.numfmt`, family `numfmt`): typing a date or a currency no longer rolls back. Ranges follow row/column inserts, removes and moves cell by cell; against another write of the style key `n` (a numfmt, a style with `n`, a style clear, a cell delete) the later-committed op wins.
+- **Row/column counts travel** (`set-worksheet-row-count` / `-column-count`, family `count`): a concurrent insert/remove on that axis shifts the count; two counts at once, the larger wins. "Refresh from table" growing a sheet is no longer rolled back.
+- **Sheets: add, remove, order travel** (family `sheet`): the sheet order is transformed as one more axis. Capture records a removed sheet's index and how many sheets are left (`annotateSheetOps`, side-car `sheetIndex`, `sheetsLeft`); an insert-sheet's styles are inlined (`inlineSheetStyles`). An edit to a sheet removed at the same time is dropped and its author told; a formula naming a removed sheet, and two removes that would leave no sheet, are barriers.
+- **Selections: a seat's own row/column/count/sheet change keeps its selection inside the sheet** (API calls set no selection; the editor crashed with "Range is out of bounds"); a remote count/sheet change clamps it too.
+- **Transform speed:** the group transform walks the OT grid iteratively; untouched cell ops pass through by identity (no overlap, no formula, change elsewhere); barrier checks are cached per op; undo-stack rebase reuses each list's traveling shape and compares by identity.
+- **Tests:** new chained TP1 fuzz (`sheet-transform-chain-fuzz.test.ts`, 3–5 real commands per side, plus capture fidelity); the multi-seat session fuzz is seed-repeatable (`createSheetsOtAdapter` hook `stateHash`, a synchronous hash in tests) and asserts zero incidents. `SHEET_TRANSFORMER_VERSION` = `c5c-1`.
+- `SHEETS_COLLAB_PROTO` = 2: a room opened by this build is raised to proto 2 (when its checkpoint is at head) and older tabs open it read-only, so seats with and without merge completion never share a room.
+- Consumer action: none.
+
 ## 0.8.20
 
-UNVERIFIED: this release has no Unreleased entry and the source comparison could not be made (the caller supplied no source comparison). Whether source changed is unknown; consumer action is unknown.
-Check the package's gitHead on npm against this version's gitHead: `git diff <previous gitHead> <this gitHead> -- apps/shared/office/src`.
+SOURCE CHANGED WITH NO RELEASE NOTE. This release shipped source changes that nobody described in an Unreleased entry,
+so they may include breaking API changes. Consumer action is UNKNOWN: read the diff before upgrading.
+Diff: `git diff 046a506e40 150104f478 -- apps/shared/office/src`
+
+Changed shipped source files (2):
+- `apps/shared/office/src/sheets/workbook-ot-room.ts`
+- `apps/shared/office/src/univer/collab/WorkbookCollabSession.ts`
 
 ## 0.8.19
 ### C7a: the browser editor's plugin resources

package/dist/collab-sheets-transform.cjs

@@ -28,19 +28,24 @@ __export(transform_exports, {
   SIDE_CAR_PARAMS: () => SIDE_CAR_PARAMS,
   allowParams: () => allowParams,
   annotateFormulas: () => annotateFormulas,
+  annotateSheetOps: () => annotateSheetOps,
   cellRef: () => cellRef,
   completeCellContent: () => completeCellContent,
   exactMergeRemovals: () => exactMergeRemovals,
   forApply: () => forApply,
   formulaBarrier: () => formulaBarrier,
+  inlineSheetStyles: () => inlineSheetStyles,
   isBarrier: () => isBarrier,
   isFormulaText: () => isFormulaText,
+  isStructuralMutation: () => isStructuralMutation,
   mapIndex: () => mapIndex,
+  mergeFixupsOwed: () => mergeFixupsOwed,
   mergeThrough: () => mergeThrough,
   refSheetsAfter: () => refSheetsAfter,
   refSheetsFor: () => refSheetsFor,
   rewriteFormula: () => rewriteFormula,
   sheetTransformer: () => sheetTransformer,
+  spanThrough: () => spanThrough,
   transformAxis: () => transformAxis,
   transformGroup: () => transformGroup,
   transformMutation: () => transformMutation
@@ -73,6 +78,14 @@ var SHEET_MUTATIONS = {
   "sheet.mutation.set-worksheet-row-auto-height": covered("size", "rowsAutoHeightInfo"),
   "sheet.mutation.set-worksheet-col-width": covered("size", "ranges", "colWidth"),
   "sheet.mutation.set-worksheet-name": covered("name", "name"),
+  // ── covered (C5c) ────────────────────────────────────────────────────────────────────────────────
+  "sheet.mutation.set.numfmt": covered("numfmt", "values", "refMap"),
+  "sheet.mutation.remove.numfmt": covered("numfmt", "ranges"),
+  "sheet.mutation.set-worksheet-row-count": covered("count", "rowCount"),
+  "sheet.mutation.set-worksheet-column-count": covered("count", "columnCount"),
+  "sheet.mutation.insert-sheet": covered("sheet", "index", "sheet"),
+  "sheet.mutation.remove-sheet": covered("sheet", "sheetIndex", "sheetsLeft"),
+  "sheet.mutation.set-worksheet-order": covered("sheet", "fromOrder", "toOrder"),
   // ── never travels ────────────────────────────────────────────────────────────────────────────────
   "formula.mutation.set-formula-calculation-start": never(FORMULA_RESULT),
   "formula.mutation.set-trigger-formula-calculation-start": never(FORMULA_RESULT),
@@ -107,12 +120,7 @@ var SHEET_MUTATIONS = {
   "thread-comment.mutation.delete-comment": never(UNIVER_COMMENTS),
   // ── barriers: X (no transform yet, design §10) ───────────────────────────────────────────────────
   "sheet.mutation.reorder-range": barrier("X", "sort: a permutation, not transformed yet"),
-  "sheet.mutation.set-worksheet-row-count": barrier("X", "absolute row count; needs delta semantics"),
-  "sheet.mutation.set-worksheet-column-count": barrier("X", "absolute column count; needs delta semantics"),
-  "sheet.mutation.set-worksheet-order": barrier("X", "absolute sheet order; needs move semantics"),
   "sheet.mutation.move-range": barrier("X", "cut-paste carries the sender's cell matrices"),
-  "sheet.mutation.insert-sheet": barrier("X", "sheet add: not in C5a"),
-  "sheet.mutation.remove-sheet": barrier("X", "sheet remove: not in C5a"),
   "sheet.mutation.set-worksheet-hidden": barrier("X", "sheet-level setting: not in C5a"),
   "sheet.mutation.set-tab-color": barrier("X", "sheet-level setting: not in C5a"),
   "sheet.mutation.set-workbook-name": barrier("X", "workbook-level setting: not in C5a"),
@@ -127,8 +135,6 @@ var SHEET_MUTATIONS = {
   "sheet.mutation.set-row-visible": barrier("X", "row visibility: not in C5a"),
   "sheet.mutation.set-col-hidden": barrier("X", "column visibility: not in C5a"),
   "sheet.mutation.set-col-visible": barrier("X", "column visibility: not in C5a"),
-  "sheet.mutation.set.numfmt": barrier("X", "number formats by range: not in C5a"),
-  "sheet.mutation.remove.numfmt": barrier("X", "number formats by range: not in C5a"),
   "sheet.mutation.add-range-protection": barrier("X", "permissions: not in C5a"),
   "sheet.mutation.set-range-protection": barrier("X", "permissions: not in C5a"),
   "sheet.mutation.delete-range-protection": barrier("X", "permissions: not in C5a"),
@@ -523,7 +529,7 @@ function refSheetsFor(texts, sheets) {
 }
 
 // src/collab/sheets/transform/transform.ts
-var SHEET_TRANSFORMER_VERSION = "c5b-1";
+var SHEET_TRANSFORMER_VERSION = "c5c-1";
 var ID = {
   values: "sheet.mutation.set-range-values",
   insertRow: "sheet.mutation.insert-row",
@@ -540,7 +546,14 @@ var ID = {
   colWidth: "sheet.mutation.set-worksheet-col-width",
   name: "sheet.mutation.set-worksheet-name",
   setName: "formula.mutation.set-defined-name",
-  removeName: "formula.mutation.remove-defined-name"
+  removeName: "formula.mutation.remove-defined-name",
+  setNumfmt: "sheet.mutation.set.numfmt",
+  removeNumfmt: "sheet.mutation.remove.numfmt",
+  rowCount: "sheet.mutation.set-worksheet-row-count",
+  colCount: "sheet.mutation.set-worksheet-column-count",
+  insertSheet: "sheet.mutation.insert-sheet",
+  removeSheet: "sheet.mutation.remove-sheet",
+  sheetOrder: "sheet.mutation.set-worksheet-order"
 };
 var PAIR_BARRIERS = {};
 var pairKey = (a, b) => a < b ? `${a}|${b}` : `${b}|${a}`;
@@ -652,6 +665,20 @@ function mergeThrough(s, m) {
   }
   return { range: m, fixup: false };
 }
+function mergeFixupsOwed(m, mergesBefore) {
+  const st = structuralOf(m);
+  if (!st) return null;
+  const remove = [];
+  const add = [];
+  for (const q of mergesBefore) {
+    const t = mergeThrough(st, q);
+    if (!t.fixup) continue;
+    remove.push({ startRow: q.startRow, endRow: q.endRow, startColumn: q.startColumn, endColumn: q.endColumn, ...q.rangeType !== void 0 ? { rangeType: q.rangeType } : {} });
+    if (t.range) add.push({ ...t.range });
+  }
+  return remove.length ? { remove, add } : null;
+}
+var isStructuralMutation = (m) => structuralOf(m) !== null;
 function exactMergeRemovals(group, merges) {
   const sim = new Map(Object.entries(merges).map(([k, v]) => [k, v.map((r) => ({ ...r }))]));
   const out = [];
@@ -698,8 +725,24 @@ function cellsMutation(template, cells) {
 function putCell(cells, r, c, v) {
   (cells[r] ??= {})[c] = v;
 }
+function cellsOverlap(a, b) {
+  for (const r of Object.keys(a)) {
+    const br = b[r];
+    if (!br) continue;
+    for (const c of Object.keys(a[r] ?? {})) if (c in br) return true;
+  }
+  return false;
+}
 var isEmptyMatrix = (cells) => Object.values(cells).every((row) => Object.keys(row).length === 0);
+var cellBarrierCache = /* @__PURE__ */ new WeakMap();
 function cellBarrier(m) {
+  const hit = cellBarrierCache.get(m);
+  if (hit !== void 0) return hit;
+  const why = cellBarrierOf(m);
+  cellBarrierCache.set(m, why);
+  return why;
+}
+function cellBarrierOf(m) {
   if (m.params.isOverrideStyle) return "set-range-values with isOverrideStyle (whole-style replace) is not covered";
   let why = null;
   forEachCell(cellsOf(m), (_r, _c, v) => {
@@ -781,6 +824,7 @@ function transformCell(X, Y, side) {
 function transformCellsOverCells(x, y, side) {
   if (sheetOf(x) !== sheetOf(y)) return ok([x]);
   const ycells = cellsOf(y);
+  if (!cellsOverlap(cellsOf(x), ycells)) return ok([x]);
   const xd = isDerived(x);
   const yd = isDerived(y);
   const eff = derivedSide(x, y, side);
@@ -808,7 +852,7 @@ function transformCellsOverCells(x, y, side) {
   const op = passes.filter((p) => !isEmptyMatrix(p)).map((p) => cellsMutation(x, p));
   return ok(op, lost, dropped);
 }
-var SIDE_CAR_PARAMS = ["refSheets", "previousName", "derived"];
+var SIDE_CAR_PARAMS = ["refSheets", "previousName", "derived", "sheetIndex", "sheetsLeft"];
 var isDerived = (m) => m.params.derived === true;
 function derivedSide(x, y, side) {
   const xd = isDerived(x);
@@ -830,7 +874,15 @@ function withRefSheets(params, rs) {
   return out;
 }
 var hasFormulaText = (v) => !!v && (isFormulaText(v.f) || typeof v.ref === "string");
+var hasFormulaCache = /* @__PURE__ */ new WeakMap();
 function hasFormula(m) {
+  const hit = hasFormulaCache.get(m);
+  if (hit !== void 0) return hit;
+  const any = hasFormulaOf(m);
+  hasFormulaCache.set(m, any);
+  return any;
+}
+function hasFormulaOf(m) {
   let any = false;
   forEachCell(cellsOf(m), (_r, _c, v) => {
     any ||= hasFormulaText(v);
@@ -869,15 +921,18 @@ function cellThrough(sheet, change, r, c) {
   return nr === null || nc === null ? null : [nr, nc];
 }
 function cellsOverChange(x, change) {
+  if (!hasFormula(x) && (change.kind !== "axis" || change.sheet !== sheetOf(x))) return ok([x]);
   const ctx = formulaCtx(x);
   const out = {};
   const dropped = [];
   let why = null;
+  let changed = false;
   forEachCell(cellsOf(x), (r, c, v) => {
     if (why) return;
     const at = cellThrough(sheetOf(x), change, r, c);
     if (!at) {
       dropped.push(cellRef(sheetOf(x), r, c));
+      changed = true;
       return;
     }
     let e = v;
@@ -888,14 +943,19 @@ function cellsOverChange(x, change) {
         return;
       }
       e = res.entry;
+      if (res.changed) changed = true;
     }
+    if (at[0] !== r || at[1] !== c) changed = true;
     putCell(out, at[0], at[1], e);
   });
   if (why) return barrier2(why);
-  const params = { ...withRefSheets(x.params, refSheetsAfter(ctx.refSheets, change)), cellValue: out };
+  const rsAfter = refSheetsAfter(ctx.refSheets, change);
+  if (!changed && JSON.stringify(rsAfter ?? null) === JSON.stringify(ctx.refSheets ?? null)) return ok([x]);
+  const params = { ...withRefSheets(x.params, rsAfter), cellValue: out };
   return ok(isEmptyMatrix(out) ? [] : [{ id: x.id, params }], [], dropped);
 }
 function rewritesOf(y, change) {
+  if (!hasFormula(y)) return null;
   const ctx = formulaCtx(y);
   const out = {};
   let why = null;
@@ -1041,6 +1101,255 @@ function buildSize(template, values) {
   const value = uniform !== void 0 && [...values.values()].every((v) => v === uniform) ? uniform : Object.fromEntries(values);
   return { id: template.id, params: { ...p, ranges, [field]: value } };
 }
+var isNumfmt = (m) => m.id === ID.setNumfmt || m.id === ID.removeNumfmt;
+function nfParts(m) {
+  if (m.id === ID.removeNumfmt) return [{ key: null, ranges: (m.params.ranges ?? []).map((r) => ({ ...r })) }];
+  const values = m.params.values ?? {};
+  return Object.keys(values).map((k) => ({ key: k, ranges: (values[k]?.ranges ?? []).map((r) => ({ ...r })) }));
+}
+function nfBuild(m, parts) {
+  const keep = parts.filter((p) => p.ranges.length);
+  if (!keep.length) return [];
+  if (m.id === ID.removeNumfmt) return [{ id: m.id, params: { ...m.params, ranges: keep[0].ranges } }];
+  const values = {};
+  const refMap = {};
+  const srcValues = m.params.values ?? {};
+  const srcRef = m.params.refMap ?? {};
+  for (const p of keep) {
+    values[p.key] = { ...srcValues[p.key], ranges: p.ranges };
+    refMap[p.key] = srcRef[p.key];
+  }
+  return [{ id: m.id, params: { ...m.params, values, refMap } }];
+}
+function nfValueAt(m, row, col) {
+  for (const p of nfParts(m))
+    if (p.ranges.some((r) => r.startRow <= row && row <= r.endRow && r.startColumn <= col && col <= r.endColumn)) {
+      if (p.key === null) return null;
+      const ref = (m.params.refMap ?? {})[p.key];
+      return { pattern: ref?.pattern };
+    }
+  return void 0;
+}
+function spanThrough(op, lo, hi) {
+  const pieces = [];
+  if (op.kind === "insert") pieces.push([0, op.at - 1, 0], [op.at, Infinity, op.count]);
+  else if (op.kind === "remove") pieces.push([0, op.start - 1, 0], [op.start + op.count, Infinity, -op.count]);
+  else if (op.count <= 0 || op.to >= op.from && op.to <= op.from + op.count) pieces.push([0, Infinity, 0]);
+  else if (op.to > op.from) {
+    const n = op.count;
+    pieces.push([0, op.from - 1, 0], [op.from, op.from + n - 1, op.to - n - op.from], [op.from + n, op.to - 1, -n], [op.to, Infinity, 0]);
+  } else {
+    const n = op.count;
+    pieces.push([0, op.to - 1, 0], [op.to, op.from - 1, n], [op.from, op.from + n - 1, op.to - op.from], [op.from + n, Infinity, 0]);
+  }
+  const out = [];
+  for (const [a, b, d] of pieces) {
+    const x0 = Math.max(a, lo);
+    const x1 = Math.min(b, hi);
+    if (x0 <= x1) out.push([x0 + d, x1 + d]);
+  }
+  out.sort((p, q) => p[0] - q[0]);
+  const merged = [];
+  for (const p of out) {
+    const last = merged[merged.length - 1];
+    if (last && last[1] + 1 >= p[0]) last[1] = Math.max(last[1], p[1]);
+    else merged.push([p[0], p[1]]);
+  }
+  return merged;
+}
+function rectsThrough(st, rects) {
+  const [a0, a1] = S(st.axis);
+  const out = [];
+  for (const r of rects) for (const [lo, hi] of spanThrough(st.op, r[a0], r[a1])) out.push({ ...r, [a0]: lo, [a1]: hi });
+  return out;
+}
+function rectMinus(a, b) {
+  if (a.startRow > b.endRow || b.startRow > a.endRow || a.startColumn > b.endColumn || b.startColumn > a.endColumn) return [a];
+  const out = [];
+  if (a.startRow < b.startRow) out.push({ ...a, endRow: b.startRow - 1 });
+  if (a.endRow > b.endRow) out.push({ ...a, startRow: b.endRow + 1 });
+  const r0 = Math.max(a.startRow, b.startRow);
+  const r1 = Math.min(a.endRow, b.endRow);
+  if (a.startColumn < b.startColumn) out.push({ ...a, startRow: r0, endRow: r1, endColumn: b.startColumn - 1 });
+  if (a.endColumn > b.endColumn) out.push({ ...a, startRow: r0, endRow: r1, startColumn: b.endColumn + 1 });
+  return out;
+}
+function rectsMinus(as, bs) {
+  let cur = as;
+  for (const b of bs) cur = cur.flatMap((a) => rectMinus(a, b));
+  return cur;
+}
+function nWrites(m) {
+  const out = [];
+  forEachCell(cellsOf(m), (r, c, v) => {
+    if (v === null || v.s === null || v.s && typeof v.s === "object" && "n" in v.s)
+      out.push({ startRow: r, endRow: r, startColumn: c, endColumn: c });
+  });
+  return out;
+}
+function numfmtPair(x, y, side, sx, sy) {
+  const nx = isNumfmt(x);
+  const ny = isNumfmt(y);
+  if (!nx && !ny) return null;
+  if (nx && sy) return ok(nfBuild(x, nfParts(x).map((p) => ({ ...p, ranges: rectsThrough(sy, p.ranges) }))));
+  if (ny && sx) return ok([x]);
+  if (nx && ny) {
+    if (side === "left") return ok([x]);
+    const ys = nfParts(y).flatMap((p) => p.ranges);
+    return ok(nfBuild(x, nfParts(x).map((p) => ({ ...p, ranges: rectsMinus(p.ranges, ys) }))));
+  }
+  if (nx && y.id === ID.values) {
+    if (side === "left") return ok([x]);
+    const ys = nWrites(y);
+    return ys.length ? ok(nfBuild(x, nfParts(x).map((p) => ({ ...p, ranges: rectsMinus(p.ranges, ys) })))) : ok([x]);
+  }
+  if (ny && x.id === ID.values) {
+    if (side === "left") return ok([x]);
+    const out = {};
+    const tail = {};
+    let touched = false;
+    forEachCell(cellsOf(x), (r, c, v) => {
+      const n = nfValueAt(y, r, c);
+      if (n === void 0) return putCell(out, r, c, v);
+      if (v === null || v.s === null) {
+        putCell(out, r, c, v);
+        if (n) {
+          putCell(tail, r, c, { s: { n } });
+          touched = true;
+        }
+        return;
+      }
+      if (v.s && typeof v.s === "object" && "n" in v.s) {
+        const { n: _drop, ...rest } = v.s;
+        const e = { ...v };
+        if (Object.keys(rest).length) e.s = rest;
+        else delete e.s;
+        touched = true;
+        if (Object.keys(e).length) putCell(out, r, c, e);
+        return;
+      }
+      putCell(out, r, c, v);
+    });
+    if (!touched) return ok([x]);
+    const ops = [];
+    if (!isEmptyMatrix(out)) ops.push(cellsMutation(x, out));
+    if (!isEmptyMatrix(tail)) ops.push({ id: ID.values, params: { subUnitId: sheetOf(x), cellValue: tail } });
+    return ok(ops);
+  }
+  return ok([x]);
+}
+var isCount = (m) => m.id === ID.rowCount || m.id === ID.colCount;
+var countAxis = (m) => m.id === ID.rowCount ? "row" : "col";
+var countKey = (m) => m.id === ID.rowCount ? "rowCount" : "columnCount";
+function countPair(x, y, sy) {
+  if (!isCount(x)) return isCount(y) ? ok([x]) : null;
+  const k = countKey(x);
+  const v = Number(x.params[k]);
+  if (sy) {
+    if (sy.axis !== countAxis(x) || sy.op.kind === "move") return ok([x]);
+    const d = sy.op.kind === "insert" ? sy.op.count : -sy.op.count;
+    return ok([{ id: x.id, params: { ...x.params, [k]: Math.max(1, v + d) } }]);
+  }
+  if (isCount(y) && y.id === x.id) {
+    const w = Number(y.params[k]);
+    return ok([w > v ? { id: x.id, params: { ...x.params, [k]: w } } : x]);
+  }
+  return ok([x]);
+}
+var isSheetOp = (m) => m.id === ID.insertSheet || m.id === ID.removeSheet || m.id === ID.sheetOrder;
+var sheetIdOf = (m) => m.id === ID.insertSheet ? String(m.params.sheet?.id ?? "") : sheetOf(m);
+function sheetAxisOf(m) {
+  const p = m.params;
+  if (m.id === ID.insertSheet) return typeof p.index === "number" ? { kind: "insert", at: p.index, count: 1 } : null;
+  if (m.id === ID.removeSheet) return typeof p.sheetIndex === "number" ? { kind: "remove", start: p.sheetIndex, count: 1 } : null;
+  if (m.id === ID.sheetOrder) {
+    const f = Number(p.fromOrder);
+    const t = Number(p.toOrder);
+    return { kind: "move", from: f, count: 1, to: t > f ? t + 1 : t };
+  }
+  return null;
+}
+function buildSheetOp(template, op) {
+  if (op.kind === "insert") return { id: template.id, params: { ...template.params, index: op.at } };
+  if (op.kind === "remove") return { id: template.id, params: { ...template.params, sheetIndex: op.start } };
+  return { id: template.id, params: { ...template.params, fromOrder: op.from, toOrder: op.to > op.from ? op.to - 1 : op.to } };
+}
+function namesSheet(m, id) {
+  const rs = refSheetsOf(m);
+  return !!rs && Object.values(rs).includes(id) && (m.id === ID.setName || hasFormula(m));
+}
+function sheetPair(x, y, side) {
+  const xs = isSheetOp(x);
+  const ys = isSheetOp(y);
+  if (!xs && !ys) return null;
+  if (xs && ys) {
+    const a = sheetAxisOf(x);
+    const b = sheetAxisOf(y);
+    if (!a || !b) return barrier2("a sheet add or remove without its index (capture must call annotateSheetOps)");
+    if (x.id === ID.insertSheet && y.id === ID.insertSheet && sheetIdOf(x) === sheetIdOf(y)) {
+      return JSON.stringify(x.params) === JSON.stringify(y.params) ? ok([]) : barrier2("the same sheet id added twice with different content");
+    }
+    if (x.id === ID.removeSheet && typeof x.params.sheetsLeft === "number" && sheetIdOf(x) !== sheetIdOf(y) && (y.id === ID.removeSheet || y.id === ID.insertSheet)) {
+      const left = x.params.sheetsLeft + (y.id === ID.insertSheet ? 1 : -1);
+      if (left < 1) return barrier2("concurrent sheet removes would leave the workbook without a sheet");
+      const out2 = transformAxis(a, b, side);
+      if (!out2) return barrier2("sheet order: no transform");
+      return ok(out2.map((o) => buildSheetOp({ id: x.id, params: { ...x.params, sheetsLeft: left } }, o)));
+    }
+    const out = transformAxis(a, b, side);
+    if (!out) return barrier2("sheet order: no transform");
+    return ok(out.map((o) => buildSheetOp(x, o)), [], out.length === 0 && x.id === ID.sheetOrder ? [`${sheetIdOf(x)}: sheet order`] : []);
+  }
+  if (ys) {
+    if (y.id !== ID.removeSheet) return ok([x]);
+    const gone2 = sheetOf(y);
+    if (namesSheet(x, gone2)) return barrier2("a formula names a sheet removed at the same time");
+    if (sheetOf(x) === gone2 && x.id !== ID.setName && x.id !== ID.removeName)
+      return ok([], [], isDerived(x) ? [] : [`${gone2}: the sheet was removed`]);
+    return ok([x]);
+  }
+  if (x.id !== ID.removeSheet) return ok([x]);
+  const gone = sheetOf(x);
+  if (namesSheet(y, gone)) return barrier2("a formula names a sheet removed at the same time");
+  return ok([x], sheetOf(y) === gone && !isDerived(y) && y.id !== ID.setName && y.id !== ID.removeName ? [`${gone}: the sheet was removed`] : []);
+}
+function annotateSheetOps(group, sheetOrder) {
+  const order = [...sheetOrder];
+  return group.map((m) => {
+    if (m.id === ID.insertSheet) {
+      const index = typeof m.params.index === "number" ? Math.min(m.params.index, order.length) : order.length;
+      order.splice(index, 0, sheetIdOf(m));
+      return index === m.params.index ? m : { id: m.id, params: { ...m.params, index } };
+    }
+    if (m.id === ID.removeSheet) {
+      const i = order.indexOf(sheetOf(m));
+      if (i >= 0) order.splice(i, 1);
+      return i >= 0 ? { id: m.id, params: { ...m.params, sheetIndex: i, sheetsLeft: order.length } } : m;
+    }
+    if (m.id === ID.sheetOrder) {
+      const f = Number(m.params.fromOrder);
+      const [id] = order.splice(f, 1);
+      order.splice(Number(m.params.toOrder), 0, id ?? sheetOf(m));
+    }
+    return m;
+  });
+}
+function inlineSheetStyles(sheet, styleOf) {
+  const out = JSON.parse(JSON.stringify(sheet));
+  const fix = (o) => {
+    if (o && typeof o.s === "string") {
+      const st = styleOf(o.s);
+      if (st) o.s = JSON.parse(JSON.stringify(st));
+    }
+  };
+  for (const row of Object.values(out.cellData ?? {})) for (const cell of Object.values(row ?? {})) fix(cell);
+  for (const key of ["rowData", "columnData"]) for (const v of Object.values(out[key] ?? {})) fix(v);
+  if (typeof out.defaultStyle === "string") {
+    const st = styleOf(out.defaultStyle);
+    if (st) out.defaultStyle = JSON.parse(JSON.stringify(st));
+  }
+  return out;
+}
 function familyOf(id) {
   const e = SHEET_MUTATIONS[id];
   return e && e.kind === "covered" ? e.family : "";
@@ -1057,6 +1366,8 @@ function transformMutation(x, y, side) {
   }
   const pb = PAIR_BARRIERS[pairKey(x.id, y.id)];
   if (pb) return barrier2(`${x.id} \xD7 ${y.id}: ${pb.reason}${pb.seed === null ? "" : ` (fuzz seed ${pb.seed})`}`);
+  const sp = sheetPair(x, y, side);
+  if (sp) return sp;
   const fp = formulaPair(x, y, side);
   if (fp) return fp;
   if (sheetOf(x) !== sheetOf(y)) return ok([x]);
@@ -1064,6 +1375,10 @@ function transformMutation(x, y, side) {
   const fy = familyOf(y.id);
   const sy = structuralOf(y);
   const sx = structuralOf(x);
+  const cp = countPair(x, y, sy);
+  if (cp) return cp;
+  const np = numfmtPair(x, y, side, sx, sy);
+  if (np) return np;
   if (sx && sy) {
     if (sx.axis !== sy.axis) return ok([x]);
     const out = transformAxis(sx.op, sy.op, side);
@@ -1171,22 +1486,45 @@ function tSeq(xs, ys, side, acc) {
     acc.dropped.push(...a.dropped);
     return [a.op, b.op];
   }
+  const outX = [];
+  let curY = ys;
+  for (const x of xs) {
+    let curX = [x];
+    const nextY = [];
+    for (const y of curY) {
+      if (curX.length === 0) {
+        nextY.push(y);
+        continue;
+      }
+      const r = tSeq(curX, [y], side, acc);
+      if (blocked(r)) return r;
+      curX = r[0];
+      for (const m of r[1]) nextY.push(m);
+    }
+    for (const m of curX) outX.push(m);
+    curY = nextY;
+  }
+  return [outX, curY];
+}
+function tSeqOld(xs, ys, side, acc) {
+  if (xs.length === 0 || ys.length === 0) return [xs, ys];
+  if (xs.length === 1 && ys.length === 1) return tSeq(xs, ys, side, acc);
   if (xs.length > 1) {
-    const first2 = tSeq([xs[0]], ys, side, acc);
+    const first2 = tSeqOld([xs[0]], ys, side, acc);
     if (blocked(first2)) return first2;
-    const rest2 = tSeq(xs.slice(1), first2[1], side, acc);
+    const rest2 = tSeqOld(xs.slice(1), first2[1], side, acc);
     if (blocked(rest2)) return rest2;
     return [[...first2[0], ...rest2[0]], rest2[1]];
   }
-  const first = tSeq(xs, [ys[0]], side, acc);
+  const first = tSeqOld(xs, [ys[0]], side, acc);
   if (blocked(first)) return first;
-  const rest = tSeq(first[0], ys.slice(1), side, acc);
+  const rest = tSeqOld(first[0], ys.slice(1), side, acc);
   if (blocked(rest)) return rest;
   return [rest[0], [...first[1], ...rest[1]]];
 }
 function transformGroup(x, y, side) {
   const acc = { lost: [], dropped: [] };
-  const r = tSeq([...x], [...y], side, acc);
+  const r = (process.env.OLD_TSEQ ? tSeqOld : tSeq)([...x], [...y], side, acc);
   if (blocked(r)) return r;
   return { op: r[0], lost: [...new Set(acc.lost)], dropped: [...new Set(acc.dropped)] };
 }