@pretextbook/remark-pretext 0.0.4 → 0.0.6

package/README.md

@@ -45,6 +45,47 @@ const ptxast = processor.runSync(mdast, { value: markdownString }) // PtxRoot
 
 > **Note:** Use `.runSync()` (or `.run()`) rather than `.parse()` — `.parse()` only runs the parser phase; transformers (including `remarkPretext`) run during the transform phase.
 
+## Headings and the top-level division
+
+Headings map to divisions **relative to a configurable top-level division
+type** — `#` always means "the title of this document's top-level division",
+and each additional `#` moves one level down the hierarchy:
+
+```
+part → chapter → section → subsection → subsubsection → paragraphs
+```
+
+(`book`/`article` aren't included — they're document roots, never chosen via
+heading depth.) By default the top-level division is `chapter` (`#` →
+`<chapter>`, `##` → `<section>`, etc.), matching historical behavior.
+
+There are two ways to change it:
+
+1. **Frontmatter** — add a `division:` field to a leading YAML-style block,
+   useful for a standalone markdown document that wants to describe its own
+   structure:
+
+   ```markdown
+   ---
+   division: section
+   ---
+
+   # Top-level section
+
+   ## A subsection
+   ```
+
+2. **Explicit option** — pass `topLevelDivision` to `remarkPretext` or
+   `markdownToPretext` when the caller already knows the context. This takes
+   precedence over frontmatter when both are present.
+
+   ```ts
+   import { markdownToPretext } from '@pretextbook/remark-pretext'
+
+   markdownToPretext('# Title\n\n## Sub', { topLevelDivision: 'section' })
+   // → '<section><title>Title</title><subsection>...'
+   ```
+
 ## Syntax Rules
 
 - `:::name[optional title]{#id attr=val}` opens a block directive
@@ -52,11 +93,6 @@ const ptxast = processor.runSync(mdast, { value: markdownString }) // PtxRoot
 - **Nesting**: use one more colon for the outer container when nesting directives:
   - `::::theorem` containing `:::proof` — use `::::` for theorem, `:::` for proof
 - All standard PreTeXt block names are recognised (see `DIRECTIVE_MAP`)
-- Standard Markdown headings map to divisions:
-  - `#` → `<chapter>`
-  - `##` → `<section>`
-  - `###` → `<subsection>`
-  - `####` → `<subsubsection>`
 - Inline elements:
   - `*text*` → `<em>`
   - `**text**` → `<alert>` (semantic emphasis in PreTeXt)

package/dist/index.cjs

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