@shadow-garden/bapbong-model 0.13.0 → 0.15.0

package/dist/index.cjs

@@ -113,6 +113,22 @@ function astToLinear(row) {
         const hi = astToLinear(n.hi);
         return n.op + (lo ? sub(lo) : "") + (hi ? sup(hi) : "") + paren(astToLinear(n.body));
       }
+      case "func":
+        return `${astToLinear(n.name)}\u2061${paren(astToLinear(n.body))}`;
+      case "acc":
+        return astToLinear(n.body) + n.chr;
+      case "lim": {
+        const l = astToLinear(n.lim);
+        return astToLinear(n.base) + (l ? n.below ? sub(l) : sup(l) : "");
+      }
+      case "mat": {
+        const lines = [];
+        for (let i = 0; i < n.cells.length; i += n.cols)
+          lines.push(
+            n.cells.slice(i, i + n.cols).map((c) => astToLinear(c)).join("&")
+          );
+        return `(${lines.join("@")})`;
+      }
     }
   };
   return row.map(one).join("");
@@ -133,9 +149,227 @@ function isEqRow(v) {
       return typeof n.l === "string" && typeof n.r === "string" && isEqRow(n.body);
     if (t === "big")
       return typeof n.op === "string" && isEqRow(n.lo) && isEqRow(n.hi) && isEqRow(n.body);
+    if (t === "func")
+      return isEqRow(n.name) && isEqRow(n.body);
+    if (t === "acc")
+      return typeof n.chr === "string" && isEqRow(n.body);
+    if (t === "lim")
+      return typeof n.below === "boolean" && isEqRow(n.base) && isEqRow(n.lim);
+    if (t === "mat") {
+      const m = n;
+      return typeof m.cols === "number" && m.cols > 0 && Array.isArray(m.cells) && m.cells.every((c) => isEqRow(c));
+    }
     return false;
   });
 }
+var frac = () => ({ t: "frac", num: [], den: [] });
+var scr = (slots) => ({
+  t: "scr",
+  base: [],
+  sub: [],
+  sup: [],
+  slots
+});
+var rad = (deg) => ({
+  t: "rad",
+  // A degree the template fills in — the 3 of a cube root — is content like
+  // any other: the caret can reach it and type over it.
+  deg: deg ? upright(deg) : [],
+  body: [],
+  showDeg: deg !== null
+});
+var fence = (l, r) => ({
+  t: "fence",
+  l,
+  r,
+  body: []
+});
+var upright = (s) => [...s].map((ch) => ({ t: "chr", ch }));
+var func = (name) => ({
+  t: "func",
+  name: upright(name),
+  body: []
+});
+var acc = (chr) => ({ t: "acc", chr, body: [] });
+var funcSub = (name) => ({
+  t: "func",
+  name: [{ t: "scr", base: upright(name), sub: [], sup: [], slots: "sub" }],
+  body: []
+});
+var mat = (rows, cols) => ({
+  t: "mat",
+  cols,
+  cells: Array.from({ length: rows * cols }, () => [])
+});
+var braced = (l, r, rows, cols) => ({
+  t: "fence",
+  l,
+  r,
+  body: [mat(rows, cols)]
+});
+var limFunc = (name) => ({
+  t: "func",
+  name: [{ t: "lim", base: upright(name), lim: [], below: true }],
+  body: []
+});
+var big = (op, limits = false) => ({
+  t: "big",
+  op,
+  lo: [],
+  hi: [],
+  body: [],
+  showLo: limits,
+  showHi: limits
+});
+var EQ_STRUCTURES = [
+  { group: "Fraction", name: "Stacked", node: frac(), focus: ["num"] },
+  { group: "Script", name: "Superscript", node: scr("sup"), focus: ["base"] },
+  { group: "Script", name: "Subscript", node: scr("sub"), focus: ["base"] },
+  {
+    group: "Script",
+    name: "Sub and super",
+    node: scr("both"),
+    focus: ["base"]
+  },
+  { group: "Radical", name: "Square root", node: rad(null), focus: ["body"] },
+  { group: "Radical", name: "Cube root", node: rad("3"), focus: ["body"] },
+  { group: "Radical", name: "Nth root", node: rad(""), focus: ["deg"] },
+  { group: "Integral", name: "Integral", node: big("\u222B"), focus: ["body"] },
+  { group: "Integral", name: "Definite", node: big("\u222B", true), focus: ["lo"] },
+  { group: "Integral", name: "Double", node: big("\u222C"), focus: ["body"] },
+  { group: "Integral", name: "Contour", node: big("\u222E"), focus: ["body"] },
+  {
+    group: "Large operator",
+    name: "Summation",
+    node: big("\u2211"),
+    focus: ["body"]
+  },
+  {
+    group: "Large operator",
+    name: "Sum with limits",
+    node: big("\u2211", true),
+    focus: ["lo"]
+  },
+  { group: "Large operator", name: "Product", node: big("\u220F"), focus: ["body"] },
+  {
+    group: "Large operator",
+    name: "Product with limits",
+    node: big("\u220F", true),
+    focus: ["lo"]
+  },
+  { group: "Large operator", name: "Union", node: big("\u22C3"), focus: ["body"] },
+  {
+    group: "Large operator",
+    name: "Intersection",
+    node: big("\u22C2"),
+    focus: ["body"]
+  },
+  {
+    group: "Bracket",
+    name: "Parentheses",
+    node: fence("(", ")"),
+    focus: ["body"]
+  },
+  {
+    group: "Bracket",
+    name: "Brackets",
+    node: fence("[", "]"),
+    focus: ["body"]
+  },
+  { group: "Bracket", name: "Braces", node: fence("{", "}"), focus: ["body"] },
+  {
+    group: "Bracket",
+    name: "Absolute value",
+    node: fence("|", "|"),
+    focus: ["body"]
+  },
+  { group: "Bracket", name: "Norm", node: fence("\u2016", "\u2016"), focus: ["body"] },
+  { group: "Bracket", name: "Angle", node: fence("\u27E8", "\u27E9"), focus: ["body"] },
+  { group: "Bracket", name: "Floor", node: fence("\u230A", "\u230B"), focus: ["body"] },
+  { group: "Bracket", name: "Ceiling", node: fence("\u2308", "\u2309"), focus: ["body"] },
+  { group: "Function", name: "sin", node: func("sin"), focus: ["body"] },
+  { group: "Function", name: "cos", node: func("cos"), focus: ["body"] },
+  { group: "Function", name: "tan", node: func("tan"), focus: ["body"] },
+  { group: "Function", name: "cot", node: func("cot"), focus: ["body"] },
+  { group: "Function", name: "sec", node: func("sec"), focus: ["body"] },
+  { group: "Function", name: "csc", node: func("csc"), focus: ["body"] },
+  { group: "Function", name: "arcsin", node: func("arcsin"), focus: ["body"] },
+  { group: "Function", name: "arccos", node: func("arccos"), focus: ["body"] },
+  { group: "Function", name: "arctan", node: func("arctan"), focus: ["body"] },
+  { group: "Function", name: "sinh", node: func("sinh"), focus: ["body"] },
+  { group: "Function", name: "cosh", node: func("cosh"), focus: ["body"] },
+  { group: "Function", name: "tanh", node: func("tanh"), focus: ["body"] },
+  { group: "Function", name: "exp", node: func("exp"), focus: ["body"] },
+  // The name is empty and editable — for anything the list does not carry.
+  { group: "Function", name: "Custom", node: func(""), focus: ["name"] },
+  { group: "Accent", name: "Bar", node: acc("\u0305"), focus: ["body"] },
+  { group: "Accent", name: "Vector", node: acc("\u20D7"), focus: ["body"] },
+  { group: "Accent", name: "Hat", node: acc("\u0302"), focus: ["body"] },
+  { group: "Accent", name: "Tilde", node: acc("\u0303"), focus: ["body"] },
+  { group: "Accent", name: "Dot", node: acc("\u0307"), focus: ["body"] },
+  { group: "Accent", name: "Double dot", node: acc("\u0308"), focus: ["body"] },
+  // Word keeps the logarithms and the limit operators in ONE gallery, and so
+  // do we: they are the same shape — a name that may carry something under
+  // or beside it, applied to an expression.
+  // The base rides the NAME, not the argument, and the caret opens on it —
+  // it is the part you came to this entry to type.
+  {
+    group: "Limit and log",
+    name: "log base",
+    node: funcSub("log"),
+    focus: ["name", 0, "sub"]
+  },
+  { group: "Limit and log", name: "log", node: func("log"), focus: ["body"] },
+  {
+    group: "Limit and log",
+    name: "lim",
+    node: limFunc("lim"),
+    focus: ["name", 0, "lim"]
+  },
+  {
+    group: "Limit and log",
+    name: "min",
+    node: limFunc("min"),
+    focus: ["name", 0, "lim"]
+  },
+  {
+    group: "Limit and log",
+    name: "max",
+    node: limFunc("max"),
+    focus: ["name", 0, "lim"]
+  },
+  { group: "Limit and log", name: "ln", node: func("ln"), focus: ["body"] },
+  { group: "Matrix", name: "1\xD72", node: mat(1, 2), focus: ["c0"] },
+  { group: "Matrix", name: "2\xD71", node: mat(2, 1), focus: ["c0"] },
+  { group: "Matrix", name: "2\xD72", node: mat(2, 2), focus: ["c0"] },
+  { group: "Matrix", name: "3\xD73", node: mat(3, 3), focus: ["c0"] },
+  {
+    group: "Matrix",
+    name: "Bracketed 2\xD72",
+    node: braced("[", "]", 2, 2),
+    focus: ["body", 0, "c0"]
+  },
+  {
+    group: "Matrix",
+    name: "Determinant 2\xD72",
+    node: braced("|", "|", 2, 2),
+    focus: ["body", 0, "c0"]
+  },
+  // Two and three equations under one brace — how a system is set in
+  // Vietnamese exam papers, and awkward to build out of the pieces.
+  {
+    group: "Matrix",
+    name: "System of 2",
+    node: braced("{", "", 2, 1),
+    focus: ["body", 0, "c0"]
+  },
+  {
+    group: "Matrix",
+    name: "System of 3",
+    node: braced("{", "", 3, 1),
+    focus: ["body", 0, "c0"]
+  }
+];
 
 // packages/model/src/lib/model.ts
 function dataJson(el, name) {
@@ -193,8 +427,8 @@ function pastedCellAttrs(el) {
     colspan: span("colspan"),
     rowspan: span("rowspan"),
     colwidth: dataJson(el, "data-colwidth"),
-    background: bg ? bg[1].trim() : null,
-    vAlign: e.getAttribute("data-valign"),
+    background: bg ? bg[1].trim() : e.getAttribute("data-background") === "none" ? false : null,
+    vAlign: e.getAttribute("data-valign") === "none" ? false : e.getAttribute("data-valign"),
     borders: dataJson(el, "data-borders"),
     diagonals: dataJson(el, "data-diagonals"),
     padding: dataJson(el, "data-padding"),
@@ -224,6 +458,13 @@ var schema = new import_prosemirror_model.Schema({
         // CommentNode[] (contracts) — comment threads keyed to `comment` marks.
         // Edited via setDocAttribute so add/reply/resolve/delete undo cleanly.
         comments: { default: null },
+        // TableStyleSheet (contracts) — every table style the document's
+        // tables name, fully resolved (basedOn rolled up, theme colours hex).
+        // LIVE data, not a bake: tables carry styleId/look attrs and the
+        // layout applies the sheet per cell, so flipping a tblLook gate or
+        // switching styles is one small attr transaction. Importer-set;
+        // extended when the editor applies a style the sheet lacks.
+        tableStyles: { default: null },
         // Per-section header/footer story OVERRIDES, keyed by section index →
         // story ('headers'|'footers') → variant ('default'|'first'|'even') →
         // the full story doc as JSON. The first chrome EDIT the model supports
@@ -430,6 +671,11 @@ var schema = new import_prosemirror_model.Schema({
         // The same equation as an AST (EqNode[]) — what conversion turns
         // into a real 2D equation node. Null when undecodable.
         equationAst: { default: null },
+        // `o:OLEObject/@ProgID` when this box is an EMBEDDED OBJECT rather
+        // than a picture ("Equation.DSMT4" for MathType). The bitmap is only
+        // the object's preview, so the editor offers object tools, not the
+        // picture toolkit. Null for real pictures.
+        oleProgId: { default: null },
         // w:position on the run holding a legacy object — baseline shift in
         // px, positive UP (same convention as InlineRun.raise). MathType
         // lowers every equation so its baseline meets the text line's.
@@ -502,6 +748,14 @@ var schema = new import_prosemirror_model.Schema({
         // the importer). null = Word's implicit outdent by the left cell
         // margin. Importer-set; the element itself rides carry for export.
         indent: { default: null },
+        // w:tblStyle — the table style this table names, or null. The style's
+        // definition lives in doc.attrs.tableStyles; the LAYOUT applies it,
+        // so this attr (with `look`) is the whole apply-a-style transaction.
+        styleId: { default: null },
+        // w:tblLook — the six conditional-formatting gates (TableLook,
+        // contracts), or null for Word's default 04A0 (firstRow + firstCol +
+        // hBand on).
+        look: { default: null },
         // Carry-through fidelity: unmodelled w:tblPr children (tblStyle,
         // tblLayout, tblLook, tblInd, floating tblpPr, …) as one raw XML
         // string ({ tblPr: string }), or null. Importer-set; the exporter
@@ -519,6 +773,8 @@ var schema = new import_prosemirror_model.Schema({
             cellPadding: dataJson(el, "data-cell-padding"),
             align: el.getAttribute("data-align"),
             indent: dataJson(el, "data-indent"),
+            styleId: el.getAttribute("data-style-id"),
+            look: dataJson(el, "data-look"),
             carry: dataJson(el, "data-carry")
           })
         }
@@ -531,6 +787,8 @@ var schema = new import_prosemirror_model.Schema({
           dom["data-cell-padding"] = JSON.stringify(a["cellPadding"]);
         if (a["align"]) dom["data-align"] = String(a["align"]);
         if (a["indent"] != null) dom["data-indent"] = String(a["indent"]);
+        if (a["styleId"]) dom["data-style-id"] = String(a["styleId"]);
+        if (a["look"]) dom["data-look"] = JSON.stringify(a["look"]);
         if (a["carry"]) dom["data-carry"] = JSON.stringify(a["carry"]);
         return ["table", dom, ["tbody", 0]];
       }
@@ -579,10 +837,13 @@ var schema = new import_prosemirror_model.Schema({
         rowspan: { default: 1 },
         colwidth: { default: null },
         // px widths of the spanned columns, or null
+        // w:shd w:fill — cell fill "#RRGGBB". `false` is an EXPLICIT no-fill
+        // (w:fill="auto"), which must beat a table style's fill; null means
+        // the cell says nothing and the style layer may paint.
         background: { default: null },
-        // w:shd w:fill — cell fill "#RRGGBB"
+        // w:vAlign — 'center' | 'bottom' (top is Word's default). `false` is
+        // an explicit reset ("top"/"both" declared), beating a style's.
         vAlign: { default: null },
-        // w:vAlign — 'center' | 'bottom' (top default)
         borders: { default: null },
         // w:tcBorders per-side visibility override
         // w:tcBorders/w:tl2br + w:br2tl — rules across the cell's corners
@@ -605,10 +866,13 @@ var schema = new import_prosemirror_model.Schema({
           attrs["rowspan"] = String(node.attrs["rowspan"]);
         if (node.attrs["background"])
           attrs["style"] = `background-color: ${node.attrs["background"]}`;
+        else if (node.attrs["background"] === false)
+          attrs["data-background"] = "none";
         if (node.attrs["colwidth"])
           attrs["data-colwidth"] = JSON.stringify(node.attrs["colwidth"]);
         if (node.attrs["vAlign"])
           attrs["data-valign"] = String(node.attrs["vAlign"]);
+        else if (node.attrs["vAlign"] === false) attrs["data-valign"] = "none";
         if (node.attrs["borders"])
           attrs["data-borders"] = JSON.stringify(node.attrs["borders"]);
         if (node.attrs["diagonals"])

package/dist/index.js

@@ -81,6 +81,22 @@ function astToLinear(row) {
         const hi = astToLinear(n.hi);
         return n.op + (lo ? sub(lo) : "") + (hi ? sup(hi) : "") + paren(astToLinear(n.body));
       }
+      case "func":
+        return `${astToLinear(n.name)}\u2061${paren(astToLinear(n.body))}`;
+      case "acc":
+        return astToLinear(n.body) + n.chr;
+      case "lim": {
+        const l = astToLinear(n.lim);
+        return astToLinear(n.base) + (l ? n.below ? sub(l) : sup(l) : "");
+      }
+      case "mat": {
+        const lines = [];
+        for (let i = 0; i < n.cells.length; i += n.cols)
+          lines.push(
+            n.cells.slice(i, i + n.cols).map((c) => astToLinear(c)).join("&")
+          );
+        return `(${lines.join("@")})`;
+      }
     }
   };
   return row.map(one).join("");
@@ -101,9 +117,227 @@ function isEqRow(v) {
       return typeof n.l === "string" && typeof n.r === "string" && isEqRow(n.body);
     if (t === "big")
       return typeof n.op === "string" && isEqRow(n.lo) && isEqRow(n.hi) && isEqRow(n.body);
+    if (t === "func")
+      return isEqRow(n.name) && isEqRow(n.body);
+    if (t === "acc")
+      return typeof n.chr === "string" && isEqRow(n.body);
+    if (t === "lim")
+      return typeof n.below === "boolean" && isEqRow(n.base) && isEqRow(n.lim);
+    if (t === "mat") {
+      const m = n;
+      return typeof m.cols === "number" && m.cols > 0 && Array.isArray(m.cells) && m.cells.every((c) => isEqRow(c));
+    }
     return false;
   });
 }
+var frac = () => ({ t: "frac", num: [], den: [] });
+var scr = (slots) => ({
+  t: "scr",
+  base: [],
+  sub: [],
+  sup: [],
+  slots
+});
+var rad = (deg) => ({
+  t: "rad",
+  // A degree the template fills in — the 3 of a cube root — is content like
+  // any other: the caret can reach it and type over it.
+  deg: deg ? upright(deg) : [],
+  body: [],
+  showDeg: deg !== null
+});
+var fence = (l, r) => ({
+  t: "fence",
+  l,
+  r,
+  body: []
+});
+var upright = (s) => [...s].map((ch) => ({ t: "chr", ch }));
+var func = (name) => ({
+  t: "func",
+  name: upright(name),
+  body: []
+});
+var acc = (chr) => ({ t: "acc", chr, body: [] });
+var funcSub = (name) => ({
+  t: "func",
+  name: [{ t: "scr", base: upright(name), sub: [], sup: [], slots: "sub" }],
+  body: []
+});
+var mat = (rows, cols) => ({
+  t: "mat",
+  cols,
+  cells: Array.from({ length: rows * cols }, () => [])
+});
+var braced = (l, r, rows, cols) => ({
+  t: "fence",
+  l,
+  r,
+  body: [mat(rows, cols)]
+});
+var limFunc = (name) => ({
+  t: "func",
+  name: [{ t: "lim", base: upright(name), lim: [], below: true }],
+  body: []
+});
+var big = (op, limits = false) => ({
+  t: "big",
+  op,
+  lo: [],
+  hi: [],
+  body: [],
+  showLo: limits,
+  showHi: limits
+});
+var EQ_STRUCTURES = [
+  { group: "Fraction", name: "Stacked", node: frac(), focus: ["num"] },
+  { group: "Script", name: "Superscript", node: scr("sup"), focus: ["base"] },
+  { group: "Script", name: "Subscript", node: scr("sub"), focus: ["base"] },
+  {
+    group: "Script",
+    name: "Sub and super",
+    node: scr("both"),
+    focus: ["base"]
+  },
+  { group: "Radical", name: "Square root", node: rad(null), focus: ["body"] },
+  { group: "Radical", name: "Cube root", node: rad("3"), focus: ["body"] },
+  { group: "Radical", name: "Nth root", node: rad(""), focus: ["deg"] },
+  { group: "Integral", name: "Integral", node: big("\u222B"), focus: ["body"] },
+  { group: "Integral", name: "Definite", node: big("\u222B", true), focus: ["lo"] },
+  { group: "Integral", name: "Double", node: big("\u222C"), focus: ["body"] },
+  { group: "Integral", name: "Contour", node: big("\u222E"), focus: ["body"] },
+  {
+    group: "Large operator",
+    name: "Summation",
+    node: big("\u2211"),
+    focus: ["body"]
+  },
+  {
+    group: "Large operator",
+    name: "Sum with limits",
+    node: big("\u2211", true),
+    focus: ["lo"]
+  },
+  { group: "Large operator", name: "Product", node: big("\u220F"), focus: ["body"] },
+  {
+    group: "Large operator",
+    name: "Product with limits",
+    node: big("\u220F", true),
+    focus: ["lo"]
+  },
+  { group: "Large operator", name: "Union", node: big("\u22C3"), focus: ["body"] },
+  {
+    group: "Large operator",
+    name: "Intersection",
+    node: big("\u22C2"),
+    focus: ["body"]
+  },
+  {
+    group: "Bracket",
+    name: "Parentheses",
+    node: fence("(", ")"),
+    focus: ["body"]
+  },
+  {
+    group: "Bracket",
+    name: "Brackets",
+    node: fence("[", "]"),
+    focus: ["body"]
+  },
+  { group: "Bracket", name: "Braces", node: fence("{", "}"), focus: ["body"] },
+  {
+    group: "Bracket",
+    name: "Absolute value",
+    node: fence("|", "|"),
+    focus: ["body"]
+  },
+  { group: "Bracket", name: "Norm", node: fence("\u2016", "\u2016"), focus: ["body"] },
+  { group: "Bracket", name: "Angle", node: fence("\u27E8", "\u27E9"), focus: ["body"] },
+  { group: "Bracket", name: "Floor", node: fence("\u230A", "\u230B"), focus: ["body"] },
+  { group: "Bracket", name: "Ceiling", node: fence("\u2308", "\u2309"), focus: ["body"] },
+  { group: "Function", name: "sin", node: func("sin"), focus: ["body"] },
+  { group: "Function", name: "cos", node: func("cos"), focus: ["body"] },
+  { group: "Function", name: "tan", node: func("tan"), focus: ["body"] },
+  { group: "Function", name: "cot", node: func("cot"), focus: ["body"] },
+  { group: "Function", name: "sec", node: func("sec"), focus: ["body"] },
+  { group: "Function", name: "csc", node: func("csc"), focus: ["body"] },
+  { group: "Function", name: "arcsin", node: func("arcsin"), focus: ["body"] },
+  { group: "Function", name: "arccos", node: func("arccos"), focus: ["body"] },
+  { group: "Function", name: "arctan", node: func("arctan"), focus: ["body"] },
+  { group: "Function", name: "sinh", node: func("sinh"), focus: ["body"] },
+  { group: "Function", name: "cosh", node: func("cosh"), focus: ["body"] },
+  { group: "Function", name: "tanh", node: func("tanh"), focus: ["body"] },
+  { group: "Function", name: "exp", node: func("exp"), focus: ["body"] },
+  // The name is empty and editable — for anything the list does not carry.
+  { group: "Function", name: "Custom", node: func(""), focus: ["name"] },
+  { group: "Accent", name: "Bar", node: acc("\u0305"), focus: ["body"] },
+  { group: "Accent", name: "Vector", node: acc("\u20D7"), focus: ["body"] },
+  { group: "Accent", name: "Hat", node: acc("\u0302"), focus: ["body"] },
+  { group: "Accent", name: "Tilde", node: acc("\u0303"), focus: ["body"] },
+  { group: "Accent", name: "Dot", node: acc("\u0307"), focus: ["body"] },
+  { group: "Accent", name: "Double dot", node: acc("\u0308"), focus: ["body"] },
+  // Word keeps the logarithms and the limit operators in ONE gallery, and so
+  // do we: they are the same shape — a name that may carry something under
+  // or beside it, applied to an expression.
+  // The base rides the NAME, not the argument, and the caret opens on it —
+  // it is the part you came to this entry to type.
+  {
+    group: "Limit and log",
+    name: "log base",
+    node: funcSub("log"),
+    focus: ["name", 0, "sub"]
+  },
+  { group: "Limit and log", name: "log", node: func("log"), focus: ["body"] },
+  {
+    group: "Limit and log",
+    name: "lim",
+    node: limFunc("lim"),
+    focus: ["name", 0, "lim"]
+  },
+  {
+    group: "Limit and log",
+    name: "min",
+    node: limFunc("min"),
+    focus: ["name", 0, "lim"]
+  },
+  {
+    group: "Limit and log",
+    name: "max",
+    node: limFunc("max"),
+    focus: ["name", 0, "lim"]
+  },
+  { group: "Limit and log", name: "ln", node: func("ln"), focus: ["body"] },
+  { group: "Matrix", name: "1\xD72", node: mat(1, 2), focus: ["c0"] },
+  { group: "Matrix", name: "2\xD71", node: mat(2, 1), focus: ["c0"] },
+  { group: "Matrix", name: "2\xD72", node: mat(2, 2), focus: ["c0"] },
+  { group: "Matrix", name: "3\xD73", node: mat(3, 3), focus: ["c0"] },
+  {
+    group: "Matrix",
+    name: "Bracketed 2\xD72",
+    node: braced("[", "]", 2, 2),
+    focus: ["body", 0, "c0"]
+  },
+  {
+    group: "Matrix",
+    name: "Determinant 2\xD72",
+    node: braced("|", "|", 2, 2),
+    focus: ["body", 0, "c0"]
+  },
+  // Two and three equations under one brace — how a system is set in
+  // Vietnamese exam papers, and awkward to build out of the pieces.
+  {
+    group: "Matrix",
+    name: "System of 2",
+    node: braced("{", "", 2, 1),
+    focus: ["body", 0, "c0"]
+  },
+  {
+    group: "Matrix",
+    name: "System of 3",
+    node: braced("{", "", 3, 1),
+    focus: ["body", 0, "c0"]
+  }
+];
 
 // packages/model/src/lib/model.ts
 function dataJson(el, name) {
@@ -161,8 +395,8 @@ function pastedCellAttrs(el) {
     colspan: span("colspan"),
     rowspan: span("rowspan"),
     colwidth: dataJson(el, "data-colwidth"),
-    background: bg ? bg[1].trim() : null,
-    vAlign: e.getAttribute("data-valign"),
+    background: bg ? bg[1].trim() : e.getAttribute("data-background") === "none" ? false : null,
+    vAlign: e.getAttribute("data-valign") === "none" ? false : e.getAttribute("data-valign"),
     borders: dataJson(el, "data-borders"),
     diagonals: dataJson(el, "data-diagonals"),
     padding: dataJson(el, "data-padding"),
@@ -192,6 +426,13 @@ var schema = new Schema({
         // CommentNode[] (contracts) — comment threads keyed to `comment` marks.
         // Edited via setDocAttribute so add/reply/resolve/delete undo cleanly.
         comments: { default: null },
+        // TableStyleSheet (contracts) — every table style the document's
+        // tables name, fully resolved (basedOn rolled up, theme colours hex).
+        // LIVE data, not a bake: tables carry styleId/look attrs and the
+        // layout applies the sheet per cell, so flipping a tblLook gate or
+        // switching styles is one small attr transaction. Importer-set;
+        // extended when the editor applies a style the sheet lacks.
+        tableStyles: { default: null },
         // Per-section header/footer story OVERRIDES, keyed by section index →
         // story ('headers'|'footers') → variant ('default'|'first'|'even') →
         // the full story doc as JSON. The first chrome EDIT the model supports
@@ -398,6 +639,11 @@ var schema = new Schema({
         // The same equation as an AST (EqNode[]) — what conversion turns
         // into a real 2D equation node. Null when undecodable.
         equationAst: { default: null },
+        // `o:OLEObject/@ProgID` when this box is an EMBEDDED OBJECT rather
+        // than a picture ("Equation.DSMT4" for MathType). The bitmap is only
+        // the object's preview, so the editor offers object tools, not the
+        // picture toolkit. Null for real pictures.
+        oleProgId: { default: null },
         // w:position on the run holding a legacy object — baseline shift in
         // px, positive UP (same convention as InlineRun.raise). MathType
         // lowers every equation so its baseline meets the text line's.
@@ -470,6 +716,14 @@ var schema = new Schema({
         // the importer). null = Word's implicit outdent by the left cell
         // margin. Importer-set; the element itself rides carry for export.
         indent: { default: null },
+        // w:tblStyle — the table style this table names, or null. The style's
+        // definition lives in doc.attrs.tableStyles; the LAYOUT applies it,
+        // so this attr (with `look`) is the whole apply-a-style transaction.
+        styleId: { default: null },
+        // w:tblLook — the six conditional-formatting gates (TableLook,
+        // contracts), or null for Word's default 04A0 (firstRow + firstCol +
+        // hBand on).
+        look: { default: null },
         // Carry-through fidelity: unmodelled w:tblPr children (tblStyle,
         // tblLayout, tblLook, tblInd, floating tblpPr, …) as one raw XML
         // string ({ tblPr: string }), or null. Importer-set; the exporter
@@ -487,6 +741,8 @@ var schema = new Schema({
             cellPadding: dataJson(el, "data-cell-padding"),
             align: el.getAttribute("data-align"),
             indent: dataJson(el, "data-indent"),
+            styleId: el.getAttribute("data-style-id"),
+            look: dataJson(el, "data-look"),
             carry: dataJson(el, "data-carry")
           })
         }
@@ -499,6 +755,8 @@ var schema = new Schema({
           dom["data-cell-padding"] = JSON.stringify(a["cellPadding"]);
         if (a["align"]) dom["data-align"] = String(a["align"]);
         if (a["indent"] != null) dom["data-indent"] = String(a["indent"]);
+        if (a["styleId"]) dom["data-style-id"] = String(a["styleId"]);
+        if (a["look"]) dom["data-look"] = JSON.stringify(a["look"]);
         if (a["carry"]) dom["data-carry"] = JSON.stringify(a["carry"]);
         return ["table", dom, ["tbody", 0]];
       }
@@ -547,10 +805,13 @@ var schema = new Schema({
         rowspan: { default: 1 },
         colwidth: { default: null },
         // px widths of the spanned columns, or null
+        // w:shd w:fill — cell fill "#RRGGBB". `false` is an EXPLICIT no-fill
+        // (w:fill="auto"), which must beat a table style's fill; null means
+        // the cell says nothing and the style layer may paint.
         background: { default: null },
-        // w:shd w:fill — cell fill "#RRGGBB"
+        // w:vAlign — 'center' | 'bottom' (top is Word's default). `false` is
+        // an explicit reset ("top"/"both" declared), beating a style's.
         vAlign: { default: null },
-        // w:vAlign — 'center' | 'bottom' (top default)
         borders: { default: null },
         // w:tcBorders per-side visibility override
         // w:tcBorders/w:tl2br + w:br2tl — rules across the cell's corners
@@ -573,10 +834,13 @@ var schema = new Schema({
           attrs["rowspan"] = String(node.attrs["rowspan"]);
         if (node.attrs["background"])
           attrs["style"] = `background-color: ${node.attrs["background"]}`;
+        else if (node.attrs["background"] === false)
+          attrs["data-background"] = "none";
         if (node.attrs["colwidth"])
           attrs["data-colwidth"] = JSON.stringify(node.attrs["colwidth"]);
         if (node.attrs["vAlign"])
           attrs["data-valign"] = String(node.attrs["vAlign"]);
+        else if (node.attrs["vAlign"] === false) attrs["data-valign"] = "none";
         if (node.attrs["borders"])
           attrs["data-borders"] = JSON.stringify(node.attrs["borders"]);
         if (node.attrs["diagonals"])

package/dist/lib/model.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/lib/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AA2F3C;;;;;;;;GAQG;AACH,eAAO,MAAM,MAAM,+XAsuBjB,CAAC;AAEH,wEAAwE;AACxE,MAAM,MAAM,aAAa,GAAG,OAAO,MAAM,CAAC;AAE1C;;;;;GAKG;AACH,eAAO,MAAM,aAAa,yDA0CxB,CAAC;AAEH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC;AAEjD,qDAAqD;AACrD,MAAM,MAAM,KAAK,GAAG,MAAM,GAAG,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;AAE5D;+EAC+E;AAC/E,MAAM,WAAW,MAAM;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,2EAA2E;AAC3E,MAAM,WAAW,OAAO;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;IACxC;;;6EAGyE;IACzE,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,QAAQ,GAAG,IAAI,CAAC;IACtB,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;IACpB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,OAAO,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,OAAO,CAAC,EAAE,OAAO,GAAG,UAAU,GAAG,IAAI,CAAC;CACvC;AA0BD;;;4EAG4E;AAC5E,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB"}
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/lib/model.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAkG3C;;;;;;;;GAQG;AACH,eAAO,MAAM,MAAM,+XAswBjB,CAAC;AAEH,wEAAwE;AACxE,MAAM,MAAM,aAAa,GAAG,OAAO,MAAM,CAAC;AAE1C;;;;;GAKG;AACH,eAAO,MAAM,aAAa,yDA0CxB,CAAC;AAEH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC;AAEjD,qDAAqD;AACrD,MAAM,MAAM,KAAK,GAAG,MAAM,GAAG,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;AAE5D;+EAC+E;AAC/E,MAAM,WAAW,MAAM;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,2EAA2E;AAC3E,MAAM,WAAW,OAAO;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;IACxC;;;6EAGyE;IACzE,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,QAAQ,GAAG,IAAI,CAAC;IACtB,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;IACpB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,OAAO,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;IACzB,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,OAAO,CAAC,EAAE,OAAO,GAAG,UAAU,GAAG,IAAI,CAAC;CACvC;AA0BD;;;4EAG4E;AAC5E,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shadow-garden/bapbong-model",
-  "version": "0.13.0",
+  "version": "0.15.0",
   "description": "bapbong — ProseMirror document model / schema",
   "license": "MIT",
   "repository": {
@@ -55,6 +55,6 @@
   },
   "dependencies": {
     "prosemirror-model": "^1.25.7",
-    "@shadow-garden/bapbong-contracts": "^0.14.0"
+    "@shadow-garden/bapbong-contracts": "^0.16.0"
   }
 }