@pretextbook/remark-pretext 0.0.6 → 0.0.7

package/dist/index.js

@@ -1,9 +1,9 @@
-import { unified as R } from "unified";
-import _ from "remark-parse";
-import j from "remark-directive";
-import { divisionTypeAtRelativeDepth as re, isDivisionType as ie } from "@pretextbook/ptxast";
-import { visit as B } from "unist-util-visit";
-const I = {
+import { unified as j } from "unified";
+import B from "remark-parse";
+import z from "remark-directive";
+import { isTitlelessDivisionType as ie, divisionTypeAtRelativeDepth as se, isTopLevelDivisionType as le } from "@pretextbook/ptxast";
+import { visit as W } from "unist-util-visit";
+const S = {
   // theorem-like (requires statement wrapping)
   theorem: { type: "theorem", category: "theorem-like", requiresStatement: !0 },
   lemma: { type: "lemma", category: "theorem-like", requiresStatement: !0 },
@@ -44,66 +44,66 @@ const I = {
   solution: { type: "solution", category: "solution-like", requiresStatement: !1 },
   hint: { type: "hint", category: "solution-like", requiresStatement: !1 },
   answer: { type: "answer", category: "solution-like", requiresStatement: !1 }
-}, xt = I;
-function se(e) {
-  return I[e.toLowerCase()];
+}, St = S;
+function ce(e) {
+  return S[e.toLowerCase()];
 }
-const z = new Set(
-  Object.entries(I).filter(([e, t]) => t.category === "proof-like" || t.category === "solution-like").map(([e]) => e)
+const H = new Set(
+  Object.entries(S).filter(([e, t]) => t.category === "proof-like" || t.category === "solution-like").map(([e]) => e)
 );
-function x(e, t, o) {
+function b(e, t, n) {
   return {
     type: "element",
     name: e,
-    attributes: o ?? {},
+    attributes: n ?? {},
     children: t
   };
 }
-function C(e) {
+function D(e) {
   return e.type === "containerDirective" && e.name === "task";
 }
-function le(e) {
-  return e.type === "containerDirective" && z.has(e.name);
+function ae(e) {
+  return e.type === "containerDirective" && H.has(e.name);
 }
 function w(e) {
   const t = [];
-  for (const o of e)
-    o.name === "ul" || o.name === "ol" ? t.length > 0 && t[t.length - 1]?.name === "p" ? t[t.length - 1].children.push(o) : t.push(x("p", [o])) : t.push(o);
+  for (const n of e)
+    n.name === "ul" || n.name === "ol" ? t.length > 0 && t[t.length - 1]?.name === "p" ? t[t.length - 1].children.push(n) : t.push(b("p", [n])) : t.push(n);
   return t;
 }
-function ce(e, t, o, n, r, i, s) {
+function ue(e, t, n, o, r, i, s) {
   const l = [];
-  if (o && l.push(o), e.hasNestedTasks) {
-    const c = n.findIndex(C);
+  if (n && l.push(n), e.hasNestedTasks) {
+    const c = o.findIndex(D);
     if (c !== -1) {
       const a = [];
-      for (let p = 0; p < n.length; p++)
-        C(n[p]) && a.push(p);
-      const u = a[a.length - 1], d = n.slice(0, c), m = n.slice(c).filter(C), v = [], y = [], $ = [];
-      for (let p = c; p < n.length; p++) {
-        const f = n[p];
-        if (!C(f)) {
+      for (let p = 0; p < o.length; p++)
+        D(o[p]) && a.push(p);
+      const u = a[a.length - 1], d = o.slice(0, c), m = o.slice(c).filter(D), k = [], y = [], F = [];
+      for (let p = c; p < o.length; p++) {
+        const f = o[p];
+        if (!D(f)) {
           if (p < u) {
-            v.push(f);
+            k.push(f);
             continue;
           }
-          if (le(f)) {
-            $.push(f);
+          if (ae(f)) {
+            F.push(f);
             continue;
           }
           y.push(f);
         }
       }
-      if (v.length > 0 && (r.messages ?? (r.messages = [])).push({
+      if (k.length > 0 && (r.messages ?? (r.messages = [])).push({
         type: "warning",
-        reason: `Dropped ${v.length} non-task node(s) between task directives in ${e.type}.`,
+        reason: `Dropped ${k.length} non-task node(s) between task directives in ${e.type}.`,
         category: "dropped-content-between-tasks",
-        position: v[0].position?.start
+        position: k[0].position?.start
       }), d.length > 0) {
         const p = w(
           d.map((f) => i(f, r)).filter((f) => f !== null)
         );
-        p.length > 0 && l.push(x("introduction", p));
+        p.length > 0 && l.push(b("introduction", p));
       }
       for (const p of m) {
         const f = s(p, r);
@@ -113,238 +113,257 @@ function ce(e, t, o, n, r, i, s) {
         const p = w(
           y.map((f) => i(f, r)).filter((f) => f !== null)
         );
-        p.length > 0 && l.push(x("conclusion", p));
+        p.length > 0 && l.push(b("conclusion", p));
       }
-      for (const p of $) {
+      for (const p of F) {
         const f = s(p, r);
         f && l.push(f);
       }
     } else
-      F(l, e, n, r, i, s);
+      N(l, e, o, r, i, s);
   } else
-    F(l, e, n, r, i, s);
-  return x(e.type, l, t);
+    N(l, e, o, r, i, s);
+  return b(e.type, l, t);
 }
-function F(e, t, o, n, r, i) {
+function N(e, t, n, o, r, i) {
   if (t.requiresStatement) {
     const s = [], l = [];
-    for (const c of o)
-      if (c.type === "containerDirective" && z.has(c.name)) {
-        const a = i(c, n);
+    for (const c of n)
+      if (c.type === "containerDirective" && H.has(c.name)) {
+        const a = i(c, o);
         a && l.push(a);
       } else
         s.push(c);
     if (s.length > 0) {
       const c = w(
-        s.map((a) => r(a, n)).filter((a) => a !== null)
+        s.map((a) => r(a, o)).filter((a) => a !== null)
       );
-      c.length > 0 && e.push(x("statement", c));
+      c.length > 0 && e.push(b("statement", c));
     }
     e.push(...l);
   } else {
     const s = w(
-      o.map((l) => r(l, n)).filter((l) => l !== null)
+      n.map((l) => r(l, o)).filter((l) => l !== null)
     );
     e.push(...s);
   }
 }
-function W(e) {
+function U(e) {
   return { type: "text", value: e };
 }
-function h(e, t, o) {
+function h(e, t, n) {
   return {
     type: "element",
     name: e,
-    attributes: o ?? {},
+    attributes: n ?? {},
     children: t
   };
 }
-function g(e, t, o) {
-  return h(e, [W(t)], o);
+function g(e, t, n) {
+  return h(e, [U(t)], n);
 }
-function H(e) {
+function Z(e) {
   return { type: "comment", value: e.replace(/--/g, "- -") };
 }
-function M(e, t) {
-  const o = e?.position, n = o?.start?.offset, r = o?.end?.offset;
-  return t.source && n != null && r != null ? t.source.slice(n, r) : "";
+function $(e, t) {
+  const n = e?.position, o = n?.start?.offset, r = n?.end?.offset;
+  return t.source && o != null && r != null ? t.source.slice(o, r) : "";
 }
-function U(e, t, o) {
-  return h("TODO", [H(`todo: ${t}`), g("pre", o)], {
+function X(e, t, n) {
+  return h("TODO", [Z(`todo: ${t}`), g("pre", n)], {
     type: e
   });
 }
-function ae(e, t, o) {
-  return h("TODO", [H(`todo: ${t}`), g("c", o)], {
+function pe(e, t, n) {
+  return h("TODO", [Z(`todo: ${t}`), g("c", n)], {
     type: e
   });
 }
-function Z(e) {
+function M(e) {
   const t = [];
-  for (const o of e)
-    o.name === "ul" || o.name === "ol" ? t.length > 0 && t[t.length - 1]?.name === "p" ? t[t.length - 1].children.push(o) : t.push(h("p", [o])) : t.push(o);
+  for (const n of e)
+    n.name === "ul" || n.name === "ol" ? t.length > 0 && t[t.length - 1]?.name === "p" ? t[t.length - 1].children.push(n) : t.push(h("p", [n])) : t.push(n);
   return t;
 }
-function N(e, t, o) {
-  return ue(e, t, o).tree;
+function O(e, t, n) {
+  return fe(e, t, n).tree;
 }
-function ue(e, t, o) {
-  const n = [], r = {
+function fe(e, t, n) {
+  const o = [], r = {
     ancestors: [],
     depth: 0,
-    messages: n,
+    messages: o,
     source: t,
-    topLevelDivision: o?.topLevelDivision ?? "chapter"
+    topLevelDivision: n?.topLevelDivision ?? "chapter",
+    topLevelAttributes: n?.topLevelAttributes,
+    topLevelAttributesApplied: n?.topLevelAttributes ? { done: !1 } : void 0
   }, i = e.children;
+  if (ie(r.topLevelDivision)) {
+    const l = V(r), c = M(
+      q(i, { ...r, depth: 1 }, !0)
+    );
+    return { tree: { type: "root", children: [h(r.topLevelDivision, c, l)] }, messages: o };
+  }
   return {
-    tree: { type: "root", children: X(i, r) },
-    messages: n
+    tree: { type: "root", children: q(i, r) },
+    messages: o
   };
 }
-function X(e, t, o = !1) {
-  let n = 7;
+function q(e, t, n = !1) {
+  let o = 7;
   for (const a of e)
-    a.type === "heading" && (n = Math.min(n, a.depth));
-  if (n === 7)
-    return D(e, t, o);
+    a.type === "heading" && (o = Math.min(o, a.depth));
+  if (o === 7)
+    return C(e, t, n);
   const r = [];
   let i = null, s = [], l = [];
   const c = () => {
-    i && (r.push(pe(i, l, t)), i = null, l = []);
+    i && (r.push(he(i, l, t)), i = null, l = []);
   };
   for (const a of e)
-    a.type === "heading" && a.depth === n ? (!i && s.length > 0 && (r.push(
-      ...D(s, t, o)
+    a.type === "heading" && a.depth === o ? (!i && s.length > 0 && (r.push(
+      ...C(s, t, n)
     ), s = []), c(), i = a, l = []) : i ? l.push(a) : s.push(a);
   return !i && s.length > 0 && r.push(
-    ...D(s, t, o)
+    ...C(s, t, n)
   ), c(), r;
 }
-function D(e, t, o = !1) {
-  const n = [];
+function C(e, t, n = !1) {
+  const o = [];
   for (let r = 0; r < e.length; r += 1) {
-    const i = e[r], s = T(i, t);
+    const i = e[r], s = E(i, t);
     if (s !== null) {
       if (s.name === "p" && s.children.length === 1 && s.children[0].name === "md") {
-        const l = s.children[0], c = n[n.length - 1], a = r + 1 < e.length ? T(e[r + 1], t) : null, u = a?.name === "p" ? a.children : null;
+        const l = s.children[0], c = o[o.length - 1], a = r + 1 < e.length ? E(e[r + 1], t) : null, u = a?.name === "p" ? a.children : null;
         if (c?.name === "p")
           c.children.push(l), u && (c.children.push(
             ...u
           ), r += 1);
         else {
           const d = [l];
-          u && (d.push(...u), r += 1), n.push(h("p", d));
+          u && (d.push(...u), r += 1), o.push(h("p", d));
         }
         continue;
       }
-      if ((s.name === "ul" || s.name === "ol") && n.length > 0) {
-        const l = n[n.length - 1];
+      if ((s.name === "ul" || s.name === "ol") && o.length > 0) {
+        const l = o[o.length - 1];
         if (l?.name === "p") {
           l.children.push(s);
           continue;
         }
       }
-      n.push(s);
+      o.push(s);
     }
   }
-  return o ? Z(n) : n;
+  return n ? M(o) : o;
 }
-function pe(e, t, o) {
-  const n = re(
-    o.topLevelDivision,
+function he(e, t, n) {
+  const o = se(
+    n.topLevelDivision,
     e.depth
-  ), r = h("title", b(e.children, o)), i = fe(e), s = X(
+  ), r = h("title", x(e.children, n)), i = me(e, n), s = q(
     t,
-    { ...o, depth: o.depth + 1 },
+    { ...n, depth: n.depth + 1 },
     !0
-  ), l = Z(s);
-  return h(n, [r, ...l], i);
+  ), l = M(s);
+  return h(o, [r, ...l], i);
 }
-function fe(e) {
+function de(e) {
   const t = e.data;
   return t?.id ? { "xml:id": t.id } : void 0;
 }
-const he = {
+function me(e, t) {
+  const n = de(e), o = V(t);
+  if (!(!n && !o))
+    return { ...o, ...n };
+}
+function V(e) {
+  if (e.depth !== 0) return;
+  const t = e.topLevelAttributesApplied;
+  if (!(!e.topLevelAttributes || !t || t.done))
+    return t.done = !0, e.topLevelAttributes;
+}
+const ge = {
   paragraph: (e, t) => K(e, t),
-  blockquote: (e, t) => de(e, t),
-  list: (e, t) => me(e, t),
-  code: (e, t) => ye(e),
-  containerDirective: (e, t) => V(e, t)
+  blockquote: (e, t) => ye(e, t),
+  list: (e, t) => ve(e, t),
+  code: (e, t) => be(e),
+  containerDirective: (e, t) => Y(e, t)
 };
-function T(e, t) {
-  const o = he[e.type];
-  return o ? o(e, t) : (t.messages && t.messages.push({
+function E(e, t) {
+  const n = ge[e.type];
+  return n ? n(e, t) : (t.messages && t.messages.push({
     type: "warning",
     reason: `Unknown block type: ${e.type}`,
     category: "unknown-block-type"
-  }), U(
+  }), X(
     "unknown-block-type",
     `unknown block type "${e.type}"`,
-    M(e, t)
+    $(e, t)
   ));
 }
 function K(e, t) {
-  return h("p", b(e.children, t));
+  return h("p", x(e.children, t));
 }
-function de(e, t) {
-  const o = e.children.filter((n) => n.type === "paragraph").map((n) => {
+function ye(e, t) {
+  const n = e.children.filter((o) => o.type === "paragraph").map((o) => {
     const r = {
       ...t,
       ancestors: [...t.ancestors, e],
       depth: t.depth + 1
     };
-    return K(n, r);
+    return K(o, r);
   });
-  return h("blockquote", o);
+  return h("blockquote", n);
 }
-function me(e, t) {
-  const o = e.children.map((n) => {
+function ve(e, t) {
+  const n = e.children.map((o) => {
     const r = {
       ...t,
       ancestors: [...t.ancestors, e],
       depth: t.depth + 1
     };
-    return ge(n, r);
+    return ke(o, r);
   });
-  return h(e.ordered ? "ol" : "ul", o);
+  return h(e.ordered ? "ol" : "ul", n);
 }
-function ge(e, t) {
-  const o = D(
+function ke(e, t) {
+  const n = C(
     e.children,
     t
   );
-  return h("li", o);
+  return h("li", n);
 }
-function ye(e, t) {
+function be(e, t) {
   return g(
     "program",
     e.value,
     e.lang ? { language: e.lang } : void 0
   );
 }
-function ke(e, t) {
-  const o = e.value.split(/\\\\|[\r\n]+/).map((n) => n.trim()).filter((n) => n.length > 0);
-  return o.length > 1 ? h(
+function xe(e, t) {
+  const n = e.value.split(/\\\\|[\r\n]+/).map((o) => o.trim()).filter((o) => o.length > 0);
+  return n.length > 1 ? h(
     "md",
-    o.map((n) => g("mrow", n))
-  ) : g("md", o[0] ?? "");
+    n.map((o) => g("mrow", o))
+  ) : g("md", n[0] ?? "");
 }
-function ve(e, t) {
-  return e.meta === "inline" ? g("m", e.value) : ke(e);
+function De(e, t) {
+  return e.meta === "inline" ? g("m", e.value) : xe(e);
 }
-function V(e, t) {
-  const o = se(e.name);
-  if (!o)
+function Y(e, t) {
+  const n = ce(e.name);
+  if (!n)
     return t.messages && t.messages.push({
       type: "warning",
       reason: `Unknown directive: ${e.name}`,
       category: "unknown-directive"
-    }), U(
+    }), X(
       "unknown-directive",
       `unknown directive "${e.name}"`,
-      M(e, t)
+      $(e, t)
     );
-  const n = be(e), r = e.children, { title: i, body: s } = xe(
+  const o = we(e), r = e.children, { title: i, body: s } = Ce(
     r,
     t
   ), l = {
@@ -352,90 +371,90 @@ function V(e, t) {
     ancestors: [...t.ancestors, e],
     depth: t.depth + 1
   };
-  return ce(
-    o,
+  return ue(
     n,
+    o,
     i,
     s,
     l,
-    (c, a) => T(c, a),
-    (c, a) => V(c, a)
+    (c, a) => E(c, a),
+    (c, a) => Y(c, a)
   );
 }
-function xe(e, t) {
-  const o = e[0];
-  return o?.type === "paragraph" && o.data?.directiveLabel === !0 ? {
+function Ce(e, t) {
+  const n = e[0];
+  return n?.type === "paragraph" && n.data?.directiveLabel === !0 ? {
     title: h(
       "title",
-      b(o.children, t)
+      x(n.children, t)
     ),
     body: e.slice(1)
   } : { title: null, body: e };
 }
-function be(e) {
-  const t = e.attributes ?? {}, o = {};
-  for (const [n, r] of Object.entries(t))
-    r != null && (o[n === "id" ? "xml:id" : n] = r);
-  return Object.keys(o).length > 0 ? o : void 0;
+function we(e) {
+  const t = e.attributes ?? {}, n = {};
+  for (const [o, r] of Object.entries(t))
+    r != null && (n[o === "id" ? "xml:id" : o] = r);
+  return Object.keys(n).length > 0 ? n : void 0;
 }
-function Ce(e, t) {
+function Le(e, t) {
   return !t || e.position?.start?.offset === null || e.position?.start?.offset === void 0 ? "asterisk" : t.charAt(e.position.start.offset) === "_" ? "underscore" : "asterisk";
 }
-const De = {
-  text: (e, t) => W(e.value),
+const Se = {
+  text: (e, t) => U(e.value),
   emphasis: (e, t) => {
-    const n = Ce(e, t.source) === "underscore" ? "term" : "em";
-    return h(n, b(e.children, t));
+    const o = Le(e, t.source) === "underscore" ? "term" : "em";
+    return h(o, x(e.children, t));
   },
-  strong: (e, t) => h("alert", b(e.children, t)),
+  strong: (e, t) => h("alert", x(e.children, t)),
   inlineCode: (e, t) => g("c", e.value),
-  math: (e, t) => ve(e)
+  math: (e, t) => De(e)
 };
-function b(e, t) {
-  return e.flatMap((o) => we(o, t)).filter((o) => o !== null);
+function x(e, t) {
+  return e.flatMap((n) => Ie(n, t)).filter((n) => n !== null);
 }
-function we(e, t) {
-  const o = De[e.type];
-  if (!o)
+function Ie(e, t) {
+  const n = Se[e.type];
+  if (!n)
     return t.messages && t.messages.push({
       type: "warning",
       reason: `Unknown inline type: ${e.type}`,
       category: "unknown-inline-type"
-    }), ae(
+    }), pe(
       "unknown-inline-type",
       `unknown inline type "${e.type}"`,
-      M(e, t)
+      $(e, t)
     );
-  const n = { ...t, ancestors: [...t.ancestors, e] };
-  return o(e, n);
+  const o = { ...t, ancestors: [...t.ancestors, e] };
+  return n(e, o);
 }
-const Se = [
+const qe = [
   // Display math (check these first, before single $)
   { open: "$$", close: "$$", isDisplay: !0 },
   { open: "\\[", close: "\\]", isDisplay: !0 },
   // Inline math
   { open: "$", close: "$", isDisplay: !1 },
   { open: "\\(", close: "\\)", isDisplay: !1 }
-], Y = "PTX_MATH_TOKEN_", q = new RegExp(`${Y}(\\d+)`, "g");
-function G(e, t) {
-  let o = null;
-  for (const n of Se) {
-    const r = e.indexOf(n.open, t);
+], G = "PTX_MATH_TOKEN_", I = new RegExp(`${G}(\\d+)`, "g");
+function J(e, t) {
+  let n = null;
+  for (const o of qe) {
+    const r = e.indexOf(o.open, t);
     if (r === -1) continue;
-    const i = e.indexOf(n.close, r + n.open.length);
-    if (i !== -1 && !(n.open === "$" && (r > 0 && e[r - 1] === "$" || r + 1 < e.length && e[r + 1] === "$")) && (!o || r < o.index)) {
-      const s = e.substring(r + n.open.length, i);
-      o = { index: r, pattern: n, content: s };
+    const i = e.indexOf(o.close, r + o.open.length);
+    if (i !== -1 && !(o.open === "$" && (r > 0 && e[r - 1] === "$" || r + 1 < e.length && e[r + 1] === "$")) && (!n || r < n.index)) {
+      const s = e.substring(r + o.open.length, i);
+      n = { index: r, pattern: o, content: s };
     }
   }
-  return o;
+  return n;
 }
-function Ie(e, t) {
-  let o = t;
-  for (; o < e.length; ) {
-    const n = e.indexOf("`", o);
-    if (n === -1) return null;
-    let r = 0, i = n;
+function Ee(e, t) {
+  let n = t;
+  for (; n < e.length; ) {
+    const o = e.indexOf("`", n);
+    if (o === -1) return null;
+    let r = 0, i = o;
     for (; i < e.length && e[i] === "`"; )
       r++, i++;
     const s = "`".repeat(r);
@@ -445,115 +464,115 @@ function Ie(e, t) {
       if (c === -1) break;
       const a = c + r;
       if (a >= e.length || e[a] !== "`")
-        return { start: n, end: a };
+        return { start: o, end: a };
       l = c + 1;
     }
-    o = n + r;
+    n = o + r;
   }
   return null;
 }
-function qe(e) {
+function Te(e) {
   const t = /* @__PURE__ */ new Map();
-  let o = "", n = 0, r = 0;
-  for (; n < e.length; ) {
-    const i = Ie(e, n), s = G(e, n);
+  let n = "", o = 0, r = 0;
+  for (; o < e.length; ) {
+    const i = Ee(e, o), s = J(e, o);
     if (i && (!s || i.start < s.index)) {
-      o += e.substring(n, i.end), n = i.end;
+      n += e.substring(o, i.end), o = i.end;
       continue;
     }
     if (!s) {
-      o += e.substring(n);
+      n += e.substring(o);
       break;
     }
-    o += e.substring(n, s.index);
-    const l = `${Y}${r}`;
-    o += l, t.set(l, {
+    n += e.substring(o, s.index);
+    const l = `${G}${r}`;
+    n += l, t.set(l, {
       type: "math",
       value: s.content,
       meta: s.pattern.isDisplay ? "display" : "inline"
-    }), n = s.index + s.pattern.open.length + s.content.length + s.pattern.close.length, r += 1;
+    }), o = s.index + s.pattern.open.length + s.content.length + s.pattern.close.length, r += 1;
   }
-  return { markdown: o, tokens: t };
+  return { markdown: n, tokens: t };
 }
-function Te(e) {
+function Ae(e) {
   const t = [];
-  let o = 0;
-  for (; o < e.length; ) {
-    const n = G(e, o);
-    if (!n) {
-      o < e.length && t.push({ type: "text", value: e.substring(o) });
+  let n = 0;
+  for (; n < e.length; ) {
+    const o = J(e, n);
+    if (!o) {
+      n < e.length && t.push({ type: "text", value: e.substring(n) });
       break;
     }
-    n.index > o && t.push({
+    o.index > n && t.push({
       type: "text",
-      value: e.substring(o, n.index)
+      value: e.substring(n, o.index)
     }), t.push({
       type: "math",
-      value: n.content,
-      meta: n.pattern.isDisplay ? "display" : "inline"
-    }), o = n.index + n.pattern.open.length + n.content.length + n.pattern.close.length;
+      value: o.content,
+      meta: o.pattern.isDisplay ? "display" : "inline"
+    }), n = o.index + o.pattern.open.length + o.content.length + o.pattern.close.length;
   }
   return t.length === 0 ? [{ type: "text", value: e }] : t;
 }
-function Le(e, t) {
-  const o = [];
-  let n = 0;
-  q.lastIndex = 0;
-  let r = q.exec(e);
+function $e(e, t) {
+  const n = [];
+  let o = 0;
+  I.lastIndex = 0;
+  let r = I.exec(e);
   for (; r; ) {
     const i = r.index, s = r[0];
-    i > n && o.push({ type: "text", value: e.substring(n, i) });
+    i > o && n.push({ type: "text", value: e.substring(o, i) });
     const l = t.get(s);
-    l ? o.push(l) : o.push({ type: "text", value: s }), n = i + s.length, r = q.exec(e);
+    l ? n.push(l) : n.push({ type: "text", value: s }), o = i + s.length, r = I.exec(e);
   }
-  return n < e.length && o.push({ type: "text", value: e.substring(n) }), o.length === 0 ? [{ type: "text", value: e }] : o;
+  return o < e.length && n.push({ type: "text", value: e.substring(o) }), n.length === 0 ? [{ type: "text", value: e }] : n;
 }
-function J(e) {
-  B(e, "paragraph", (t) => {
-    const o = t.children || [], n = [];
-    for (const r of o)
+function Q(e) {
+  W(e, "paragraph", (t) => {
+    const n = t.children || [], o = [];
+    for (const r of n)
       if (r.type === "text") {
-        const i = Te(r.value);
-        n.push(...i);
+        const i = Ae(r.value);
+        o.push(...i);
       } else
-        n.push(r);
-    t.children = n;
+        o.push(r);
+    t.children = o;
   });
 }
-function Ee(e, t) {
-  B(e, "paragraph", (o) => {
-    const n = o.children || [], r = [];
-    for (const i of n)
+function Me(e, t) {
+  W(e, "paragraph", (n) => {
+    const o = n.children || [], r = [];
+    for (const i of o)
       if (i.type === "text") {
-        const s = Le(i.value, t);
+        const s = $e(i.value, t);
         r.push(...s);
       } else
         r.push(i);
-    o.children = r;
+    n.children = r;
   });
 }
-const bt = () => (e) => {
-  J(e);
+const It = () => (e) => {
+  Q(e);
 };
-function Me(e) {
+function Fe(e) {
   const t = e.trim();
   if (!t.startsWith(":")) return null;
-  let o = 0;
+  let n = 0;
   for (let i = 0; i < t.length && t[i] === ":"; i++)
-    o++;
-  if (o < 3) return null;
-  const n = t.slice(o).trim(), r = n.match(/^([a-zA-Z0-9_-]+)(\[[^\]]*\])?(\{[^}]*\})?$/);
-  return n === "" ? { colons: o, label: null, lineIndex: -1, isOpen: !1 } : r ? { colons: o, label: r[0], lineIndex: -1, isOpen: !0 } : null;
+    n++;
+  if (n < 3) return null;
+  const o = t.slice(n).trim(), r = o.match(/^([a-zA-Z0-9_-]+)(\[[^\]]*\])?(\{[^}]*\})?$/);
+  return o === "" ? { colons: n, label: null, lineIndex: -1, isOpen: !1 } : r ? { colons: n, label: r[0], lineIndex: -1, isOpen: !0 } : null;
 }
-function $e(e) {
-  const t = [], o = [];
-  for (const n of e)
-    if (n.isOpen) {
+function Ne(e) {
+  const t = [], n = [];
+  for (const o of e)
+    if (o.isOpen) {
       const r = {
-        colons: n.colons,
-        finalColons: n.colons,
-        label: n.label,
-        openLineIndex: n.lineIndex,
+        colons: o.colons,
+        finalColons: o.colons,
+        label: o.label,
+        openLineIndex: o.lineIndex,
         closeLineIndex: null,
         children: [],
         parent: null
@@ -562,200 +581,205 @@ function $e(e) {
         const i = t[t.length - 1];
         r.parent = i, i.children.push(r);
       } else
-        o.push(r);
+        n.push(r);
       t.push(r);
     } else {
       const r = t[t.length - 1];
-      r && r.colons === n.colons && (r.closeLineIndex = n.lineIndex, t.pop());
+      r && r.colons === o.colons && (r.closeLineIndex = o.lineIndex, t.pop());
     }
-  return o;
+  return n;
 }
-function Q(e) {
+function ee(e) {
   if (e.children.length === 0)
     e.finalColons = e.colons;
   else {
-    const t = Math.max(...e.children.map(Q));
+    const t = Math.max(...e.children.map(ee));
     e.finalColons = Math.max(e.colons, t + 1);
   }
   return e.finalColons;
 }
-function Fe(e, t, o) {
-  const n = e.slice(), r = [], i = t.slice();
+function Oe(e, t, n) {
+  const o = e.slice(), r = [], i = t.slice();
   for (; i.length > 0; ) {
     const s = i.shift();
     r.push(s), i.push(...s.children);
   }
   for (const s of r) {
     if (s.openLineIndex >= 0) {
-      const l = n[s.openLineIndex], c = l.match(/^:+/)?.[0].length || 3, a = l.slice(c);
-      n[s.openLineIndex] = ":".repeat(s.finalColons) + a;
+      const l = o[s.openLineIndex], c = l.match(/^:+/)?.[0].length || 3, a = l.slice(c);
+      o[s.openLineIndex] = ":".repeat(s.finalColons) + a;
     }
-    s.closeLineIndex !== null && s.closeLineIndex >= 0 && (n[s.closeLineIndex] = ":".repeat(s.finalColons));
+    s.closeLineIndex !== null && s.closeLineIndex >= 0 && (o[s.closeLineIndex] = ":".repeat(s.finalColons));
   }
-  return n;
+  return o;
 }
-function Ne(e) {
+function _e(e) {
   const t = e.split(`
-`), o = [];
-  let n = !1, r = null;
+`), n = [];
+  let o = !1, r = null;
   for (let l = 0; l < t.length; l++) {
     const c = t[l], u = c.trim().match(/^(`{3,}|~{3,})/);
     if (u) {
       const m = u[1];
-      n ? r && m[0] === r[0] && m.length >= r.length && (n = !1, r = null) : (n = !0, r = m);
+      o ? r && m[0] === r[0] && m.length >= r.length && (o = !1, r = null) : (o = !0, r = m);
       continue;
     }
-    if (n)
+    if (o)
       continue;
-    const d = Me(c);
-    d && o.push({ ...d, lineIndex: l });
+    const d = Fe(c);
+    d && n.push({ ...d, lineIndex: l });
   }
-  if (o.length === 0)
+  if (n.length === 0)
     return e;
-  const i = $e(o);
+  const i = Ne(n);
   for (const l of i)
-    Q(l);
-  return Fe(t, i).join(`
+    ee(l);
+  return Oe(t, i).join(`
 `);
 }
-function Oe(e) {
+function Re(e) {
   const t = e.trim();
   if (!t.endsWith(":")) return null;
-  const o = t.slice(0, -1);
-  if (!/^[a-zA-Z]/.test(o)) return null;
-  const n = o.match(/^([a-zA-Z][a-zA-Z0-9_-]*)(.*)$/);
-  if (!n) return null;
-  const [, r, i] = n;
-  return i && !/^(\[[^\]]*\]|\{[^}]*\})*$/.test(i) || !I[r.toLowerCase()] ? null : o;
-}
-function L(e) {
+  const n = t.slice(0, -1);
+  if (!/^[a-zA-Z]/.test(n)) return null;
+  const o = n.match(/^([a-zA-Z][a-zA-Z0-9_-]*)(.*)$/);
+  if (!o) return null;
+  const [, r, i] = o;
+  return i && !/^(\[[^\]]*\]|\{[^}]*\})*$/.test(i) || !S[r.toLowerCase()] ? null : n;
+}
+function T(e) {
   let t = 0;
-  for (let o = 0; o < e.length; o++)
-    if (e[o] === " ")
+  for (let n = 0; n < e.length; n++)
+    if (e[n] === " ")
       t += 1;
-    else if (e[o] === "	")
+    else if (e[n] === "	")
       t += 4;
     else
       break;
   return t;
 }
-function Ae(e, t) {
-  const o = L(e[t]);
-  for (let n = t + 1; n < e.length; n++)
-    if (!ee(e[n]))
-      return L(e[n]) > o;
+function Pe(e, t) {
+  const n = T(e[t]);
+  for (let o = t + 1; o < e.length; o++)
+    if (!te(e[o]))
+      return T(e[o]) > n;
   return !1;
 }
-function ee(e) {
+function te(e) {
   return e.trim() === "";
 }
-function Pe(e, t) {
-  let o = 0, n = 0;
-  for (; n < e.length && o < t; )
-    if (e[n] === " ")
-      o++, n++;
-    else if (e[n] === "	")
-      o += 4, n++;
+function je(e, t) {
+  let n = 0, o = 0;
+  for (; o < e.length && n < t; )
+    if (e[o] === " ")
+      n++, o++;
+    else if (e[o] === "	")
+      n += 4, o++;
     else
       break;
-  return e.slice(n);
+  return e.slice(o);
 }
-function Re(e) {
+function Be(e) {
   const t = e.split(`
-`), o = [], n = {
+`), n = [], o = {
     level: 0,
     openDirectives: [],
     inCodeFence: !1,
     codeFenceMarker: null
   };
   for (let r = 0; r < t.length; r++) {
-    const i = t[r], s = i.trim(), l = L(i), c = s.match(/^(`{3,}|~{3,})/);
+    const i = t[r], s = i.trim(), l = T(i), c = s.match(/^(`{3,}|~{3,})/);
     if (c) {
       const u = c[1];
-      n.inCodeFence ? n.codeFenceMarker && s.startsWith(n.codeFenceMarker) && (n.inCodeFence = !1, n.codeFenceMarker = null) : (n.inCodeFence = !0, n.codeFenceMarker = u), o.push(i);
+      o.inCodeFence ? o.codeFenceMarker && s.startsWith(o.codeFenceMarker) && (o.inCodeFence = !1, o.codeFenceMarker = null) : (o.inCodeFence = !0, o.codeFenceMarker = u), n.push(i);
       continue;
     }
-    if (n.inCodeFence) {
-      o.push(i);
+    if (o.inCodeFence) {
+      n.push(i);
       continue;
     }
-    if (ee(i)) {
-      o.push("");
+    if (te(i)) {
+      n.push("");
       continue;
     }
-    const a = Oe(s);
-    if (a && Ae(t, r)) {
-      for (; n.openDirectives.length > 0 && !(n.openDirectives[n.openDirectives.length - 1].indentLevel < l); ) {
-        const y = n.openDirectives.pop();
-        y && o.push(":".repeat(y.colonCount));
+    const a = Re(s);
+    if (a && Pe(t, r)) {
+      for (; o.openDirectives.length > 0 && !(o.openDirectives[o.openDirectives.length - 1].indentLevel < l); ) {
+        const y = o.openDirectives.pop();
+        y && n.push(":".repeat(y.colonCount));
       }
-      const u = a.match(/^([a-zA-Z][a-zA-Z0-9_-]*)(.*)/), d = u ? u[1].toLowerCase() + (u[2] || "") : a, m = n.openDirectives.length * 1 + 3;
-      o.push(":".repeat(m) + d), n.openDirectives.push({
+      const u = a.match(/^([a-zA-Z][a-zA-Z0-9_-]*)(.*)/), d = u ? u[1].toLowerCase() + (u[2] || "") : a, m = o.openDirectives.length * 1 + 3;
+      n.push(":".repeat(m) + d), o.openDirectives.push({
         label: d,
         indentLevel: l,
         colonCount: m,
         bodyBaseIndent: -1
-      }), n.level = l;
+      }), o.level = l;
     } else {
-      for (; n.openDirectives.length > 0 && l <= n.openDirectives[n.openDirectives.length - 1].indentLevel; ) {
-        const u = n.openDirectives.pop();
-        u && o.push(":".repeat(u.colonCount));
+      for (; o.openDirectives.length > 0 && l <= o.openDirectives[o.openDirectives.length - 1].indentLevel; ) {
+        const u = o.openDirectives.pop();
+        u && n.push(":".repeat(u.colonCount));
       }
-      if (n.openDirectives.length > 0) {
-        const u = n.openDirectives[n.openDirectives.length - 1];
-        u.bodyBaseIndent < 0 && (u.bodyBaseIndent = l), o.push(Pe(i, u.bodyBaseIndent));
+      if (o.openDirectives.length > 0) {
+        const u = o.openDirectives[o.openDirectives.length - 1];
+        u.bodyBaseIndent < 0 && (u.bodyBaseIndent = l), n.push(je(i, u.bodyBaseIndent));
       } else
-        o.push(i);
-      n.level = l;
+        n.push(i);
+      o.level = l;
     }
   }
-  for (; n.openDirectives.length > 0; ) {
-    const r = n.openDirectives.pop();
-    r && o.push(":".repeat(r.colonCount));
+  for (; o.openDirectives.length > 0; ) {
+    const r = o.openDirectives.pop();
+    r && n.push(":".repeat(r.colonCount));
   }
-  return o.join(`
+  return n.join(`
 `);
 }
-const _e = /^---\r?\n([\s\S]*?)\r?\n---\r?\n?/, je = /^division:\s*(\S+)\s*$/m;
-function Be(e) {
-  const t = e.match(_e);
+const ze = /^---\r?\n([\s\S]*?)\r?\n---\r?\n?/, We = /^division:\s*(\S+)\s*$/m, He = /^xmlid:\s*(\S+)\s*$/m, Ue = /^label:\s*(\S+)\s*$/m, Ze = /^component:\s*(\S+)\s*$/m;
+function Xe(e) {
+  const t = e.match(ze);
   if (!t)
     return { body: e };
-  const o = t[1], n = e.slice(t[0].length), i = o.match(je)?.[1];
-  return {
-    division: i && ie(i) ? i : void 0,
-    body: n
+  const n = t[1], o = e.slice(t[0].length), r = n.match(We)?.[1], i = r && le(r) ? r : void 0, s = {}, l = n.match(He)?.[1], c = n.match(Ue)?.[1], a = n.match(Ze)?.[1];
+  return l && (s["xml:id"] = l), c && (s.label = c), a && (s.component = a), {
+    division: i,
+    attributes: Object.keys(s).length > 0 ? s : void 0,
+    body: o
   };
 }
-const ze = function(e) {
-  return function(o, n) {
-    if (typeof n?.value == "string") {
-      const r = Be(n.value), i = e?.topLevelDivision ?? r.division ?? "chapter", s = Re(r.body), l = Ne(s), c = qe(l), u = R().data("micromarkExtensions", [{ disable: { null: ["codeIndented"] } }]).use(_).use(j).parse(c.markdown);
-      return Ee(u, c.tokens), N(u, c.markdown, { topLevelDivision: i });
+const Ve = function(e) {
+  return function(n, o) {
+    if (typeof o?.value == "string") {
+      const r = Xe(o.value), i = e?.topLevelDivision ?? r.division ?? "chapter", s = e?.topLevelAttributes ?? r.attributes, l = Be(r.body), c = _e(l), a = Te(c), d = j().data("micromarkExtensions", [{ disable: { null: ["codeIndented"] } }]).use(B).use(z).parse(a.markdown);
+      return Me(d, a.tokens), O(d, a.markdown, {
+        topLevelDivision: i,
+        topLevelAttributes: s
+      });
     }
-    return J(o), N(o, void 0, {
-      topLevelDivision: e?.topLevelDivision ?? "chapter"
+    return Q(n), O(n, void 0, {
+      topLevelDivision: e?.topLevelDivision ?? "chapter",
+      topLevelAttributes: e?.topLevelAttributes
     });
   };
-}, We = /["&'<>`]/g, He = /[\uD800-\uDBFF][\uDC00-\uDFFF]/g, Ue = (
+}, Ke = /["&'<>`]/g, Ye = /[\uD800-\uDBFF][\uDC00-\uDFFF]/g, Ge = (
   // eslint-disable-next-line no-control-regex, unicorn/no-hex-escape
   /[\x01-\t\v\f\x0E-\x1F\x7F\x81\x8D\x8F\x90\x9D\xA0-\uFFFF]/g
-), Ze = /[|\\{}()[\]^$+*?.]/g, O = /* @__PURE__ */ new WeakMap();
-function Xe(e, t) {
+), Je = /[|\\{}()[\]^$+*?.]/g, _ = /* @__PURE__ */ new WeakMap();
+function Qe(e, t) {
   if (e = e.replace(
-    t.subset ? Ke(t.subset) : We,
-    n
+    t.subset ? et(t.subset) : Ke,
+    o
   ), t.subset || t.escapeOnly)
     return e;
-  return e.replace(He, o).replace(Ue, n);
-  function o(r, i, s) {
+  return e.replace(Ye, n).replace(Ge, o);
+  function n(r, i, s) {
     return t.format(
       (r.charCodeAt(0) - 55296) * 1024 + r.charCodeAt(1) - 56320 + 65536,
       s.charCodeAt(i + 2),
       t
     );
   }
-  function n(r, i, s) {
+  function o(r, i, s) {
     return t.format(
       r.charCodeAt(0),
       s.charCodeAt(i + 1),
@@ -763,137 +787,137 @@ function Xe(e, t) {
     );
   }
 }
-function Ke(e) {
-  let t = O.get(e);
-  return t || (t = Ve(e), O.set(e, t)), t;
+function et(e) {
+  let t = _.get(e);
+  return t || (t = tt(e), _.set(e, t)), t;
 }
-function Ve(e) {
+function tt(e) {
   const t = [];
-  let o = -1;
-  for (; ++o < e.length; )
-    t.push(e[o].replace(Ze, "\\$&"));
+  let n = -1;
+  for (; ++n < e.length; )
+    t.push(e[n].replace(Je, "\\$&"));
   return new RegExp("(?:" + t.join("|") + ")", "g");
 }
-function Ye(e) {
+function nt(e) {
   return "&#x" + e.toString(16).toUpperCase() + ";";
 }
-function Ge(e, t) {
-  return Xe(e, Object.assign({ format: Ye }, t));
+function ot(e, t) {
+  return Qe(e, Object.assign({ format: nt }, t));
 }
-const Je = /[\u0000-\u0008\u000B\u000C\u000E-\u001F]/g;
-function k(e, t, o) {
-  const n = Qe(e);
-  return o ? n.replace(o, r) : r(n);
+const rt = /[\u0000-\u0008\u000B\u000C\u000E-\u001F]/g;
+function v(e, t, n) {
+  const o = it(e);
+  return n ? o.replace(n, r) : r(o);
   function r(i) {
-    return Ge(i, { subset: t });
+    return ot(i, { subset: t });
   }
 }
-function Qe(e) {
-  return String(e || "").replace(Je, "");
+function it(e) {
+  return String(e || "").replace(rt, "");
 }
-const et = /]]>/g, tt = [">"];
-function nt(e) {
-  return "<![CDATA[" + k(e.value, tt, et) + "]]>";
+const st = /]]>/g, lt = [">"];
+function ct(e) {
+  return "<![CDATA[" + v(e.value, lt, st) + "]]>";
 }
-function ot(e) {
-  return "<!--" + k(e.value, ["-"]) + "-->";
+function at(e) {
+  return "<!--" + v(e.value, ["-"]) + "-->";
 }
-const rt = ["	", `
+const ut = ["	", `
 `, " ", '"', "&", "'", "/", "<", "=", ">"];
-function S(e) {
-  return k(e, rt);
+function L(e) {
+  return v(e, ut);
 }
-function A(e, t) {
-  const o = String(e);
+function R(e, t) {
+  const n = String(e);
   if (typeof t != "string")
     throw new TypeError("Expected character");
-  let n = 0, r = o.indexOf(t);
+  let o = 0, r = n.indexOf(t);
   for (; r !== -1; )
-    n++, r = o.indexOf(t, r + t.length);
-  return n;
+    o++, r = n.indexOf(t, r + t.length);
+  return o;
 }
-function E(e, t) {
-  const o = String(e);
-  let n = t.options.quote || '"';
+function A(e, t) {
+  const n = String(e);
+  let o = t.options.quote || '"';
   if (t.options.quoteSmart) {
-    const r = n === '"' ? "'" : '"';
-    A(o, n) > A(o, r) && (n = r);
+    const r = o === '"' ? "'" : '"';
+    R(n, o) > R(n, r) && (o = r);
   }
-  return n + k(o, ["<", "&", n]) + n;
+  return o + v(n, ["<", "&", o]) + o;
 }
-function it(e, t) {
-  const o = S(e.name), n = e.public, r = e.system;
+function pt(e, t) {
+  const n = L(e.name), o = e.public, r = e.system;
   let i = "<!DOCTYPE";
-  return o !== "" && (i += " " + o), n ? i += " PUBLIC " + E(n, t) : r && (i += " SYSTEM"), r && (i += " " + E(r, t)), i + ">";
+  return n !== "" && (i += " " + n), o ? i += " PUBLIC " + A(o, t) : r && (i += " SYSTEM"), r && (i += " " + A(r, t)), i + ">";
 }
-const st = {}.hasOwnProperty;
-function lt(e, t) {
-  const o = S(e.name), n = oe(e, t), r = e.attributes || {}, i = n ? !1 : t.options.closeEmptyElements, s = [];
+const ft = {}.hasOwnProperty;
+function ht(e, t) {
+  const n = L(e.name), o = re(e, t), r = e.attributes || {}, i = o ? !1 : t.options.closeEmptyElements, s = [];
   let l;
   for (l in r)
-    if (st.call(r, l)) {
+    if (ft.call(r, l)) {
       const c = r[l];
-      c != null && s.push(S(l) + "=" + E(c, t));
+      c != null && s.push(L(l) + "=" + A(c, t));
     }
-  return "<" + o + (s.length === 0 ? "" : " " + s.join(" ")) + (i ? (t.options.tightClose ? "" : " ") + "/" : "") + ">" + n + (i ? "" : "</" + o + ">");
-}
-const ct = /\?>/g, at = [">"];
-function ut(e) {
-  const t = S(e.name) || "x", o = k(e.value, at, ct);
-  return "<?" + t + (o ? " " + o : "") + "?>";
-}
-const pt = ["&", "<"];
-function te(e) {
-  return k(e.value, pt);
-}
-function ft(e, t) {
-  return t.options.allowDangerousXml ? e.value : te(e);
-}
-const ht = {}.hasOwnProperty, P = {
-  cdata: nt,
-  comment: ot,
-  doctype: it,
-  element: lt,
-  instruction: ut,
-  raw: ft,
-  root: oe,
-  text: te
+  return "<" + n + (s.length === 0 ? "" : " " + s.join(" ")) + (i ? (t.options.tightClose ? "" : " ") + "/" : "") + ">" + o + (i ? "" : "</" + n + ">");
+}
+const dt = /\?>/g, mt = [">"];
+function gt(e) {
+  const t = L(e.name) || "x", n = v(e.value, mt, dt);
+  return "<?" + t + (n ? " " + n : "") + "?>";
+}
+const yt = ["&", "<"];
+function ne(e) {
+  return v(e.value, yt);
+}
+function vt(e, t) {
+  return t.options.allowDangerousXml ? e.value : ne(e);
+}
+const kt = {}.hasOwnProperty, P = {
+  cdata: ct,
+  comment: at,
+  doctype: pt,
+  element: ht,
+  instruction: gt,
+  raw: vt,
+  root: re,
+  text: ne
 };
-function ne(e, t) {
-  const o = e && e.type;
-  if (!o)
+function oe(e, t) {
+  const n = e && e.type;
+  if (!n)
     throw new Error("Expected node, not `" + e + "`");
-  if (!ht.call(P, o))
-    throw new Error("Cannot compile unknown node `" + o + "`");
-  const n = P[o];
-  return n(e, t);
+  if (!kt.call(P, n))
+    throw new Error("Cannot compile unknown node `" + n + "`");
+  const o = P[n];
+  return o(e, t);
 }
-function oe(e, t) {
-  const o = e && e.children || [];
-  let n = -1;
+function re(e, t) {
+  const n = e && e.children || [];
+  let o = -1;
   const r = [];
-  for (; ++n < o.length; )
-    r[n] = ne(o[n], t);
+  for (; ++o < n.length; )
+    r[o] = oe(n[o], t);
   return r.join("");
 }
-function dt(e, t) {
-  const o = { options: {} };
-  if (typeof o.options.quote == "string" && o.options.quote !== '"' && o.options.quote !== "'")
+function bt(e, t) {
+  const n = { options: {} };
+  if (typeof n.options.quote == "string" && n.options.quote !== '"' && n.options.quote !== "'")
     throw new Error(
-      "Invalid quote `" + o.options.quote + "`, expected `'` or `\"`"
+      "Invalid quote `" + n.options.quote + "`, expected `'` or `\"`"
     );
-  const n = Array.isArray(e) ? { type: "root", children: e } : e;
-  return ne(n, o);
+  const o = Array.isArray(e) ? { type: "root", children: e } : e;
+  return oe(o, n);
 }
-function Ct(e, t) {
-  const o = R().use(_).use(j).use(ze, t), n = o.parse(e), r = o.runSync(n, { value: e });
-  return dt(r.children);
+function qt(e, t) {
+  const n = j().use(B).use(z).use(Ve, t), o = n.parse(e), r = n.runSync(o, { value: e });
+  return bt(r.children);
 }
 export {
-  xt as DIRECTIVE_MAP,
-  z as PROOF_SOLUTION_NAMES,
-  Ct as markdownToPretext,
-  N as mdastToPtxast,
-  bt as remarkMath,
-  ze as remarkPretext
+  St as DIRECTIVE_MAP,
+  H as PROOF_SOLUTION_NAMES,
+  qt as markdownToPretext,
+  O as mdastToPtxast,
+  It as remarkMath,
+  Ve as remarkPretext
 };