@shadow-garden/bapbong-model 0.12.0 → 0.14.0

package/dist/index.cjs

@@ -71,6 +71,262 @@ function fieldAt(doc, pos) {
 
 // packages/model/src/lib/model.ts
 var import_prosemirror_model = require("prosemirror-model");
+
+// packages/contracts/dist/index.js
+var FIELD_SET = {
+  family: true,
+  sizePt: true,
+  bold: true,
+  italic: true,
+  letterSpacing: true,
+  scaleX: true,
+  kerning: true
+};
+var FIELDS = Object.keys(FIELD_SET);
+var SUB_DIGIT = "\u2080\u2081\u2082\u2083\u2084\u2085\u2086\u2087\u2088\u2089";
+var SUP_DIGIT = "\u2070\xB9\xB2\xB3\u2074\u2075\u2076\u2077\u2078\u2079";
+var digitsVia = (s, alphabet) => /^[0-9]+$/.test(s) ? [...s].map((d) => alphabet[Number(d)]).join("") : null;
+function astToLinear(row) {
+  const count = (s) => [...s].length;
+  const paren = (s) => count(s) <= 1 || s.startsWith("(") && s.endsWith(")") ? s : `(${s})`;
+  const sub = (s) => digitsVia(s, SUB_DIGIT) ?? (count(s) > 1 ? `_(${s})` : `_${s}`);
+  const sup = (s) => digitsVia(s, SUP_DIGIT) ?? (count(s) > 1 ? `^(${s})` : `^${s}`);
+  const one = (n) => {
+    switch (n.t) {
+      case "chr":
+        return n.ch;
+      case "frac":
+        return `${paren(astToLinear(n.num))}/${paren(astToLinear(n.den))}`;
+      case "rad": {
+        const deg = astToLinear(n.deg);
+        return `${deg ? sup(deg) : ""}\u221A(${astToLinear(n.body)})`;
+      }
+      case "scr": {
+        const lo = astToLinear(n.sub);
+        const hi = astToLinear(n.sup);
+        return astToLinear(n.base) + (lo ? sub(lo) : "") + (hi ? sup(hi) : "");
+      }
+      case "fence":
+        return n.l + astToLinear(n.body) + n.r;
+      case "big": {
+        const lo = astToLinear(n.lo);
+        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("");
+}
+function isEqRow(v) {
+  if (!Array.isArray(v)) return false;
+  return v.every((n) => {
+    if (typeof n !== "object" || n === null) return false;
+    const t = n.t;
+    if (t === "chr") return typeof n.ch === "string";
+    if (t === "frac")
+      return isEqRow(n.num) && isEqRow(n.den);
+    if (t === "rad")
+      return isEqRow(n.deg) && isEqRow(n.body);
+    if (t === "scr")
+      return isEqRow(n.base) && isEqRow(n.sub) && isEqRow(n.sup);
+    if (t === "fence")
+      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 = (showDeg) => ({
+  t: "rad",
+  deg: [],
+  body: [],
+  showDeg
+});
+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 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 lim = (name, below = true) => ({
+  t: "lim",
+  base: upright(name),
+  lim: [],
+  below
+});
+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: ["sup"] },
+  { group: "Script", name: "Subscript", node: scr("sub"), focus: ["sub"] },
+  { group: "Script", name: "Sub and super", node: scr("both"), focus: ["sub"] },
+  { group: "Radical", name: "Square root", node: rad(false), focus: ["body"] },
+  { group: "Radical", name: "Nth root", node: rad(true), 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: "ln", node: func("ln"), focus: ["body"] },
+  { group: "Function", name: "log", node: func("log"), 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"] },
+  { group: "Limit", name: "Limit", node: lim("lim"), focus: ["lim"] },
+  { group: "Limit", name: "Maximum", node: lim("max"), focus: ["lim"] },
+  { group: "Limit", name: "Minimum", node: lim("min"), focus: ["lim"] },
+  { group: "Limit", name: "Over", node: lim("", false), focus: ["base"] },
+  { 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) {
   const raw = el.getAttribute(name);
   if (!raw) return null;
@@ -292,6 +548,42 @@ var schema = new import_prosemirror_model.Schema({
       parseDOM: [{ tag: "br.column-break" }],
       toDOM: () => ["br", { class: "column-break" }]
     },
+    // An equation with 2D structure — the AST (EqNode[], contracts) rides
+    // `ast`. An inline ATOM: the layout engine typesets it into a vector box
+    // sized by `sizePt`; editing goes through the equation plugin's slot
+    // editor, never the hidden text editor. toDOM carries the linear
+    // spelling as text, so the a11y mirror and copy read the math.
+    equation: {
+      inline: true,
+      group: "inline",
+      atom: true,
+      attrs: { ast: {}, sizePt: { default: 12 } },
+      parseDOM: [
+        {
+          tag: "span[data-eq]",
+          getAttrs: (el) => {
+            const ast = dataJson(el, "data-eq");
+            if (!isEqRow(ast)) return false;
+            const size = Number(el.getAttribute("data-eq-size"));
+            return {
+              ast,
+              sizePt: Number.isFinite(size) && size > 0 ? size : 12
+            };
+          }
+        }
+      ],
+      toDOM(node) {
+        const ast = node.attrs["ast"];
+        return [
+          "span",
+          {
+            "data-eq": JSON.stringify(ast),
+            "data-eq-size": String(node.attrs["sizePt"])
+          },
+          astToLinear(isEqRow(ast) ? ast : [])
+        ];
+      }
+    },
     // Inline image. `src` is typically a data URL (the importer inlines the
     // embedded media); width/height are CSS pixels, null if unspecified.
     image: {
@@ -315,6 +607,27 @@ var schema = new import_prosemirror_model.Schema({
         // { kind: 'rect'|'line', stroke?, strokeWidth?, fill?, flipV? } — src
         // is then '' and the box paints as vector. Null for real bitmaps.
         shape: { default: null },
+        // Replayed metafile (VectorImageSpec) — how MathType/OLE equation
+        // previews (vector WMF) paint. `src` keeps the original metafile
+        // data URL for export; the painter draws the ops instead. Null for
+        // bitmaps and preset shapes.
+        vector: { default: null },
+        // The equation's LINEAR text recovered from the metafile's embedded
+        // MTEF (MathType semantics) — what "Convert to editable equation"
+        // replaces the picture with. Null when the picture carries none.
+        equation: { default: null },
+        // 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.
+        raise: { default: 0 },
         // Textbox (wps:txbx) content riding a shape: { paragraphs: <paragraph
         // node JSON>[], inset?: {l,t,r,b} px }. The layout engine flows the
         // paragraphs inside the shape's box (paint-only, not editable v1).
@@ -679,6 +992,15 @@ var schema = new import_prosemirror_model.Schema({
         0
       ]
     },
+    // m:oMath — the run belongs to an equation. Linear v1: the letterforms
+    // live in the TEXT as Unicode math alphanumerics (𝑥, 𝒫, ℝ — see
+    // math.ts), so the mark is semantic, not visual: it scopes math
+    // autocorrect, keeps the region addressable for the coming in-place
+    // editor, and tells the exporter to wrap these runs back into m:oMath.
+    math: {
+      parseDOM: [{ tag: "span[data-math]" }],
+      toDOM: () => ["span", { "data-math": "1" }, 0]
+    },
     // w:highlight / w:shd w:fill — run background color ("#RRGGBB")
     highlight: {
       attrs: { color: {} },

package/dist/index.js

@@ -39,6 +39,262 @@ function fieldAt(doc, pos) {
 
 // packages/model/src/lib/model.ts
 import { Schema } from "prosemirror-model";
+
+// packages/contracts/dist/index.js
+var FIELD_SET = {
+  family: true,
+  sizePt: true,
+  bold: true,
+  italic: true,
+  letterSpacing: true,
+  scaleX: true,
+  kerning: true
+};
+var FIELDS = Object.keys(FIELD_SET);
+var SUB_DIGIT = "\u2080\u2081\u2082\u2083\u2084\u2085\u2086\u2087\u2088\u2089";
+var SUP_DIGIT = "\u2070\xB9\xB2\xB3\u2074\u2075\u2076\u2077\u2078\u2079";
+var digitsVia = (s, alphabet) => /^[0-9]+$/.test(s) ? [...s].map((d) => alphabet[Number(d)]).join("") : null;
+function astToLinear(row) {
+  const count = (s) => [...s].length;
+  const paren = (s) => count(s) <= 1 || s.startsWith("(") && s.endsWith(")") ? s : `(${s})`;
+  const sub = (s) => digitsVia(s, SUB_DIGIT) ?? (count(s) > 1 ? `_(${s})` : `_${s}`);
+  const sup = (s) => digitsVia(s, SUP_DIGIT) ?? (count(s) > 1 ? `^(${s})` : `^${s}`);
+  const one = (n) => {
+    switch (n.t) {
+      case "chr":
+        return n.ch;
+      case "frac":
+        return `${paren(astToLinear(n.num))}/${paren(astToLinear(n.den))}`;
+      case "rad": {
+        const deg = astToLinear(n.deg);
+        return `${deg ? sup(deg) : ""}\u221A(${astToLinear(n.body)})`;
+      }
+      case "scr": {
+        const lo = astToLinear(n.sub);
+        const hi = astToLinear(n.sup);
+        return astToLinear(n.base) + (lo ? sub(lo) : "") + (hi ? sup(hi) : "");
+      }
+      case "fence":
+        return n.l + astToLinear(n.body) + n.r;
+      case "big": {
+        const lo = astToLinear(n.lo);
+        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("");
+}
+function isEqRow(v) {
+  if (!Array.isArray(v)) return false;
+  return v.every((n) => {
+    if (typeof n !== "object" || n === null) return false;
+    const t = n.t;
+    if (t === "chr") return typeof n.ch === "string";
+    if (t === "frac")
+      return isEqRow(n.num) && isEqRow(n.den);
+    if (t === "rad")
+      return isEqRow(n.deg) && isEqRow(n.body);
+    if (t === "scr")
+      return isEqRow(n.base) && isEqRow(n.sub) && isEqRow(n.sup);
+    if (t === "fence")
+      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 = (showDeg) => ({
+  t: "rad",
+  deg: [],
+  body: [],
+  showDeg
+});
+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 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 lim = (name, below = true) => ({
+  t: "lim",
+  base: upright(name),
+  lim: [],
+  below
+});
+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: ["sup"] },
+  { group: "Script", name: "Subscript", node: scr("sub"), focus: ["sub"] },
+  { group: "Script", name: "Sub and super", node: scr("both"), focus: ["sub"] },
+  { group: "Radical", name: "Square root", node: rad(false), focus: ["body"] },
+  { group: "Radical", name: "Nth root", node: rad(true), 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: "ln", node: func("ln"), focus: ["body"] },
+  { group: "Function", name: "log", node: func("log"), 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"] },
+  { group: "Limit", name: "Limit", node: lim("lim"), focus: ["lim"] },
+  { group: "Limit", name: "Maximum", node: lim("max"), focus: ["lim"] },
+  { group: "Limit", name: "Minimum", node: lim("min"), focus: ["lim"] },
+  { group: "Limit", name: "Over", node: lim("", false), focus: ["base"] },
+  { 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) {
   const raw = el.getAttribute(name);
   if (!raw) return null;
@@ -260,6 +516,42 @@ var schema = new Schema({
       parseDOM: [{ tag: "br.column-break" }],
       toDOM: () => ["br", { class: "column-break" }]
     },
+    // An equation with 2D structure — the AST (EqNode[], contracts) rides
+    // `ast`. An inline ATOM: the layout engine typesets it into a vector box
+    // sized by `sizePt`; editing goes through the equation plugin's slot
+    // editor, never the hidden text editor. toDOM carries the linear
+    // spelling as text, so the a11y mirror and copy read the math.
+    equation: {
+      inline: true,
+      group: "inline",
+      atom: true,
+      attrs: { ast: {}, sizePt: { default: 12 } },
+      parseDOM: [
+        {
+          tag: "span[data-eq]",
+          getAttrs: (el) => {
+            const ast = dataJson(el, "data-eq");
+            if (!isEqRow(ast)) return false;
+            const size = Number(el.getAttribute("data-eq-size"));
+            return {
+              ast,
+              sizePt: Number.isFinite(size) && size > 0 ? size : 12
+            };
+          }
+        }
+      ],
+      toDOM(node) {
+        const ast = node.attrs["ast"];
+        return [
+          "span",
+          {
+            "data-eq": JSON.stringify(ast),
+            "data-eq-size": String(node.attrs["sizePt"])
+          },
+          astToLinear(isEqRow(ast) ? ast : [])
+        ];
+      }
+    },
     // Inline image. `src` is typically a data URL (the importer inlines the
     // embedded media); width/height are CSS pixels, null if unspecified.
     image: {
@@ -283,6 +575,27 @@ var schema = new Schema({
         // { kind: 'rect'|'line', stroke?, strokeWidth?, fill?, flipV? } — src
         // is then '' and the box paints as vector. Null for real bitmaps.
         shape: { default: null },
+        // Replayed metafile (VectorImageSpec) — how MathType/OLE equation
+        // previews (vector WMF) paint. `src` keeps the original metafile
+        // data URL for export; the painter draws the ops instead. Null for
+        // bitmaps and preset shapes.
+        vector: { default: null },
+        // The equation's LINEAR text recovered from the metafile's embedded
+        // MTEF (MathType semantics) — what "Convert to editable equation"
+        // replaces the picture with. Null when the picture carries none.
+        equation: { default: null },
+        // 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.
+        raise: { default: 0 },
         // Textbox (wps:txbx) content riding a shape: { paragraphs: <paragraph
         // node JSON>[], inset?: {l,t,r,b} px }. The layout engine flows the
         // paragraphs inside the shape's box (paint-only, not editable v1).
@@ -647,6 +960,15 @@ var schema = new Schema({
         0
       ]
     },
+    // m:oMath — the run belongs to an equation. Linear v1: the letterforms
+    // live in the TEXT as Unicode math alphanumerics (𝑥, 𝒫, ℝ — see
+    // math.ts), so the mark is semantic, not visual: it scopes math
+    // autocorrect, keeps the region addressable for the coming in-place
+    // editor, and tells the exporter to wrap these runs back into m:oMath.
+    math: {
+      parseDOM: [{ tag: "span[data-math]" }],
+      toDOM: () => ["span", { "data-math": "1" }, 0]
+    },
     // w:highlight / w:shd w:fill — run background color ("#RRGGBB")
     highlight: {
       attrs: { color: {} },

package/dist/lib/model.d.ts

@@ -8,7 +8,7 @@ import { Schema } from 'prosemirror-model';
  * extend THIS schema so the importer, layout engine, and (canvas) painter all
  * agree on one document model.
  */
-export declare const schema: Schema<"paragraph" | "doc" | "text" | "hard_break" | "column_break" | "image" | "page_field" | "table" | "table_row" | "table_cell", "strong" | "em" | "underline" | "strike" | "dstrike" | "smallCaps" | "textColor" | "fontSize" | "vertAlign" | "letterSpacing" | "kern" | "charScale" | "position" | "highlight" | "fontFamily" | "link" | "footnote" | "carryRPr">;
+export declare const schema: Schema<"paragraph" | "text" | "table" | "doc" | "hard_break" | "column_break" | "equation" | "image" | "page_field" | "table_row" | "table_cell", "letterSpacing" | "link" | "strike" | "underline" | "strong" | "em" | "dstrike" | "smallCaps" | "textColor" | "fontSize" | "vertAlign" | "kern" | "charScale" | "position" | "math" | "highlight" | "fontFamily" | "footnote" | "carryRPr">;
 /** Concrete schema type, handy for typing Node/Mark across packages. */
 export type BapbongSchema = typeof schema;
 /**
@@ -17,7 +17,7 @@ export type BapbongSchema = typeof schema;
  * (@user). Comment bodies are stored as this schema's JSON on the comment
  * thread, kept separate from the document schema.
  */
-export declare const commentSchema: Schema<"paragraph" | "doc" | "text" | "mention", never>;
+export declare const commentSchema: Schema<"paragraph" | "text" | "doc" | "mention", never>;
 export type CommentSchema = typeof commentSchema;
 /** Paragraph horizontal alignment (mirrors w:jc). */
 export type Align = 'left' | 'center' | 'right' | 'justify';

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;AA0F3C;;;;;;;;GAQG;AACH,eAAO,MAAM,MAAM,yWAwqBjB,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;AA2F3C;;;;;;;;GAQG;AACH,eAAO,MAAM,MAAM,+XA2uBjB,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.12.0",
+  "version": "0.14.0",
   "description": "bapbong — ProseMirror document model / schema",
   "license": "MIT",
   "repository": {
@@ -54,6 +54,7 @@
     }
   },
   "dependencies": {
-    "prosemirror-model": "^1.25.7"
+    "prosemirror-model": "^1.25.7",
+    "@shadow-garden/bapbong-contracts": "^0.15.0"
   }
 }