@pretextbook/remark-pretext 0.0.5 → 0.0.7

package/README.md

@@ -45,6 +45,99 @@ 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>...'
+   ```
+
+### Section-like divisions
+
+`division:` also accepts a set of section-like types that don't belong to
+the part/chapter/.../paragraphs hierarchy: `worksheet`, `exercises`,
+`references`, `appendix`, `glossary`, `handout`, `solutions`,
+`reading-questions`, `introduction`, and `conclusion`.
+
+`appendix` nests like `chapter` (deeper headings become `section`,
+`subsection`, etc.), since the PreTeXt schema allows nested sections inside
+an appendix. The rest don't support nested sections, so any heading deeper
+than the top-level one becomes a `<paragraphs>` division instead:
+
+```markdown
+---
+division: worksheet
+---
+
+# Worksheet on Limits
+
+## Part A
+
+A `<paragraphs>` division, titled "Part A".
+```
+
+### Attributes from frontmatter
+
+`xmlid:`, `label:`, and `component:` frontmatter fields become `xml:id`,
+`label`, and `component` attributes on the document's first top-level
+division:
+
+```markdown
+---
+division: section
+xmlid: limits-intro
+label: sec-limits-intro
+component: limits
+---
+
+# Introduction to Limits
+```
+
+```xml
+<section xml:id="limits-intro" label="sec-limits-intro" component="limits">
+  <title>Introduction to Limits</title>
+  ...
+</section>
+```
+
+Pass `topLevelAttributes` to `remarkPretext` or `markdownToPretext` to set
+these explicitly instead; like `topLevelDivision`, it overrides frontmatter
+when both are present.
+
 ## Syntax Rules
 
 - `:::name[optional title]{#id attr=val}` opens a block directive
@@ -52,11 +145,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 j=require("unified"),B=require("remark-parse"),z=require("remark-directive"),W=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}},se=q;function le(e){return q[e.toLowerCase()]}const L=new Set(Object.entries(q).filter(([e,t])=>t.category==="proof-like"||t.category==="solution-like").map(([e])=>e));function x(e,t,n){return{type:"element",name:e,attributes:n??{},children:t}}function C(e){return e.type==="containerDirective"&&e.name==="task"}function ce(e){return e.type==="containerDirective"&&L.has(e.name)}function D(e){const t=[];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(x("p",[n])):t.push(n);return t}function ae(e,t,n,o,r,i,s){const l=[];if(n&&l.push(n),e.hasNestedTasks){const c=o.findIndex(C);if(c!==-1){const a=[];for(let p=0;p<o.length;p++)C(o[p])&&a.push(p);const u=a[a.length-1],d=o.slice(0,c),m=o.slice(c).filter(C),v=[],y=[],O=[];for(let p=c;p<o.length;p++){const f=o[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=D(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=D(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,o,r,i,s)}else N(l,e,o,r,i,s);return x(e.type,l,t)}function N(e,t,n,o,r,i){if(t.requiresStatement){const s=[],l=[];for(const c of n)if(c.type==="containerDirective"&&L.has(c.name)){const a=i(c,o);a&&l.push(a)}else s.push(c);if(s.length>0){const c=D(s.map(a=>r(a,o)).filter(a=>a!==null));c.length>0&&e.push(x("statement",c))}e.push(...l)}else{const s=D(n.map(l=>r(l,o)).filter(l=>l!==null));e.push(...s)}}function U(e){return{type:"text",value:e}}function h(e,t,n){return{type:"element",name:e,attributes:n??{},children:t}}function g(e,t,n){return h(e,[U(t)],n)}function H(e){return{type:"comment",value:e.replace(/--/g,"- -")}}function F(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 Z(e,t,n){return h("TODO",[H(`todo: ${t}`),g("pre",n)],{type:e})}function ue(e,t,n){return h("TODO",[H(`todo: ${t}`),g("c",n)],{type:e})}function V(e){const t=[];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 T(e,t){return pe(e,t).tree}function pe(e,t){const n=[],o={ancestors:[],depth:0,messages:n,source:t},r=e.children;return{tree:{type:"root",children:X(r,o)},messages:n}}const P=["chapter","section","subsection","subsubsection","paragraphs"];function fe(e){return P[Math.min(e-1,P.length-1)]}function X(e,t,n=!1){let o=7;for(const a of e)a.type==="heading"&&(o=Math.min(o,a.depth));if(o===7)return w(e,t,n);const r=[];let i=null,s=[],l=[];const c=()=>{i&&(r.push(he(i,l,t)),i=null,l=[])};for(const a of e)a.type==="heading"&&a.depth===o?(!i&&s.length>0&&(r.push(...w(s,t,n)),s=[]),c(),i=a,l=[]):i?l.push(a):s.push(a);return!i&&s.length>0&&r.push(...w(s,t,n)),c(),r}function w(e,t,n=!1){const o=[];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=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),o.push(h("p",d))}continue}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}}o.push(s)}}return n?V(o):o}function he(e,t,n){const o=fe(e.depth),r=h("title",b(e.children,n)),i=de(e),s=X(t,{...n,depth:n.depth+1},!0),l=V(s);return h(o,[r,...l],i)}function de(e){const t=e.data;return t?.id?{"xml:id":t.id}:void 0}const me={paragraph:(e,t)=>K(e,t),blockquote:(e,t)=>ge(e,t),list:(e,t)=>ye(e,t),code:(e,t)=>ve(e),containerDirective:(e,t)=>Y(e,t)};function E(e,t){const n=me[e.type];return n?n(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 ge(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(o,r)});return h("blockquote",n)}function ye(e,t){const n=e.children.map(o=>{const r={...t,ancestors:[...t.ancestors,e],depth:t.depth+1};return ke(o,r)});return h(e.ordered?"ol":"ul",n)}function ke(e,t){const n=w(e.children,t);return h("li",n)}function ve(e,t){return g("program",e.value,e.lang?{language:e.lang}:void 0)}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",n.map(o=>g("mrow",o))):g("md",n[0]??"")}function be(e,t){return e.meta==="inline"?g("m",e.value):xe(e)}function Y(e,t){const n=le(e.name);if(!n)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 o=we(e),r=e.children,{title:i,body:s}=Ce(r,t),l={...t,ancestors:[...t.ancestors,e],depth:t.depth+1};return ae(n,o,i,s,l,(c,a)=>E(c,a),(c,a)=>Y(c,a))}function Ce(e,t){const n=e[0];return n?.type==="paragraph"&&n.data?.directiveLabel===!0?{title:h("title",b(n.children,t)),body:e.slice(1)}:{title:null,body:e}}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 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 Se={text:(e,t)=>U(e.value),emphasis:(e,t)=>{const o=De(e,t.source)==="underscore"?"term":"em";return h(o,b(e.children,t))},strong:(e,t)=>h("alert",b(e.children,t)),inlineCode:(e,t)=>g("c",e.value),math:(e,t)=>be(e)};function b(e,t){return e.flatMap(n=>qe(n,t)).filter(n=>n!==null)}function qe(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"}),ue("unknown-inline-type",`unknown inline type "${e.type}"`,F(e,t));const o={...t,ancestors:[...t.ancestors,e]};return n(e,o)}const Ie=[{open:"$$",close:"$$",isDisplay:!0},{open:"\\[",close:"\\]",isDisplay:!0},{open:"$",close:"$",isDisplay:!1},{open:"\\(",close:"\\)",isDisplay:!1}],G="PTX_MATH_TOKEN_",I=new RegExp(`${G}(\\d+)`,"g");function J(e,t){let n=null;for(const o of Ie){const r=e.indexOf(o.open,t);if(r===-1)continue;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 n}function Te(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);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:o,end:a};l=c+1}n=o+r}return null}function Ee(e){const t=new Map;let n="",o=0,r=0;for(;o<e.length;){const i=Te(e,o),s=J(e,o);if(i&&(!s||i.start<s.index)){n+=e.substring(o,i.end),o=i.end;continue}if(!s){n+=e.substring(o);break}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"}),o=s.index+s.pattern.open.length+s.content.length+s.pattern.close.length,r+=1}return{markdown:n,tokens:t}}function Me(e){const t=[];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}o.index>n&&t.push({type:"text",value:e.substring(n,o.index)}),t.push({type:"math",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 $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>o&&n.push({type:"text",value:e.substring(o,i)});const l=t.get(s);l?n.push(l):n.push({type:"text",value:s}),o=i+s.length,r=I.exec(e)}return o<e.length&&n.push({type:"text",value:e.substring(o)}),n.length===0?[{type:"text",value:e}]:n}function Q(e){W.visit(e,"paragraph",t=>{const n=t.children||[],o=[];for(const r of n)if(r.type==="text"){const i=Me(r.value);o.push(...i)}else o.push(r);t.children=o})}function Le(e,t){W.visit(e,"paragraph",n=>{const o=n.children||[],r=[];for(const i of o)if(i.type==="text"){const s=$e(i.value,t);r.push(...s)}else r.push(i);n.children=r})}const Fe=()=>e=>{Q(e)};function Oe(e){const t=e.trim();if(!t.startsWith(":"))return null;let n=0;for(let i=0;i<t.length&&t[i]===":";i++)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 Ne(e){const t=[],n=[];for(const o of e)if(o.isOpen){const r={colons:o.colons,finalColons:o.colons,label:o.label,openLineIndex:o.lineIndex,closeLineIndex:null,children:[],parent:null};if(t.length>0){const i=t[t.length-1];r.parent=i,i.children.push(r)}else n.push(r);t.push(r)}else{const r=t[t.length-1];r&&r.colons===o.colons&&(r.closeLineIndex=o.lineIndex,t.pop())}return n}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 Pe(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=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&&(o[s.closeLineIndex]=":".repeat(s.finalColons))}return o}function Ae(e){const t=e.split(`
-`),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];o?r&&m[0]===r[0]&&m.length>=r.length&&(o=!1,r=null):(o=!0,r=m);continue}if(o)continue;const d=Oe(c);d&&n.push({...d,lineIndex:l})}if(n.length===0)return e;const i=Ne(n);for(const l of i)ee(l);return Pe(t,i).join(`
-`)}function _e(e){const t=e.trim();if(!t.endsWith(":"))return null;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)||!q[r.toLowerCase()]?null:n}function M(e){let t=0;for(let n=0;n<e.length;n++)if(e[n]===" ")t+=1;else if(e[n]==="	")t+=4;else break;return t}function Re(e,t){const n=M(e[t]);for(let o=t+1;o<e.length;o++)if(!te(e[o]))return M(e[o])>n;return!1}function te(e){return e.trim()===""}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(o)}function Be(e){const t=e.split(`
-`),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=M(i),c=s.match(/^(`{3,}|~{3,})/);if(c){const u=c[1];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(o.inCodeFence){n.push(i);continue}if(te(i)){n.push("");continue}const a=_e(s);if(a&&Re(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=o.openDirectives.length*1+3;n.push(":".repeat(m)+d),o.openDirectives.push({label:d,indentLevel:l,colonCount:m,bodyBaseIndent:-1}),o.level=l}else{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(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 n.push(i);o.level=l}}for(;o.openDirectives.length>0;){const r=o.openDirectives.pop();r&&n.push(":".repeat(r.colonCount))}return n.join(`
-`)}const ne=function(){return function(t,n){if(typeof n?.value=="string"){const o=Be(n.value),r=Ae(o),i=Ee(r),l=j.unified().data("micromarkExtensions",[{disable:{null:["codeIndented"]}}]).use(B).use(z).parse(i.markdown);return Le(l,i.tokens),T(l,i.markdown)}return Q(t),T(t)}},ze=/["&'<>`]/g,We=/[\uD800-\uDBFF][\uDC00-\uDFFF]/g,Ue=/[\x01-\t\v\f\x0E-\x1F\x7F\x81\x8D\x8F\x90\x9D\xA0-\uFFFF]/g,He=/[|\\{}()[\]^$+*?.]/g,A=new WeakMap;function Ze(e,t){if(e=e.replace(t.subset?Ve(t.subset):ze,o),t.subset||t.escapeOnly)return e;return e.replace(We,n).replace(Ue,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 o(r,i,s){return t.format(r.charCodeAt(0),s.charCodeAt(i+1),t)}}function Ve(e){let t=A.get(e);return t||(t=Xe(e),A.set(e,t)),t}function Xe(e){const t=[];let n=-1;for(;++n<e.length;)t.push(e[n].replace(He,"\\$&"));return new RegExp("(?:"+t.join("|")+")","g")}function Ke(e){return"&#x"+e.toString(16).toUpperCase()+";"}function Ye(e,t){return Ze(e,Object.assign({format:Ke},t))}const Ge=/[\u0000-\u0008\u000B\u000C\u000E-\u001F]/g;function k(e,t,n){const o=Je(e);return n?o.replace(n,r):r(o);function r(i){return Ye(i,{subset:t})}}function Je(e){return String(e||"").replace(Ge,"")}const Qe=/]]>/g,et=[">"];function tt(e){return"<![CDATA["+k(e.value,et,Qe)+"]]>"}function nt(e){return"<!--"+k(e.value,["-"])+"-->"}const ot=["	",`
-`," ",'"',"&","'","/","<","=",">"];function S(e){return k(e,ot)}function _(e,t){const n=String(e);if(typeof t!="string")throw new TypeError("Expected character");let o=0,r=n.indexOf(t);for(;r!==-1;)o++,r=n.indexOf(t,r+t.length);return o}function $(e,t){const n=String(e);let o=t.options.quote||'"';if(t.options.quoteSmart){const r=o==='"'?"'":'"';_(n,o)>_(n,r)&&(o=r)}return o+k(n,["<","&",o])+o}function rt(e,t){const n=S(e.name),o=e.public,r=e.system;let i="<!DOCTYPE";return n!==""&&(i+=" "+n),o?i+=" PUBLIC "+$(o,t):r&&(i+=" SYSTEM"),r&&(i+=" "+$(r,t)),i+">"}const it={}.hasOwnProperty;function st(e,t){const n=S(e.name),o=ie(e,t),r=e.attributes||{},i=o?!1:t.options.closeEmptyElements,s=[];let l;for(l in r)if(it.call(r,l)){const c=r[l];c!=null&&s.push(S(l)+"="+$(c,t))}return"<"+n+(s.length===0?"":" "+s.join(" "))+(i?(t.options.tightClose?"":" ")+"/":"")+">"+o+(i?"":"</"+n+">")}const lt=/\?>/g,ct=[">"];function at(e){const t=S(e.name)||"x",n=k(e.value,ct,lt);return"<?"+t+(n?" "+n:"")+"?>"}const ut=["&","<"];function oe(e){return k(e.value,ut)}function pt(e,t){return t.options.allowDangerousXml?e.value:oe(e)}const ft={}.hasOwnProperty,R={cdata:tt,comment:nt,doctype:rt,element:st,instruction:at,raw:pt,root:ie,text:oe};function re(e,t){const n=e&&e.type;if(!n)throw new Error("Expected node, not `"+e+"`");if(!ft.call(R,n))throw new Error("Cannot compile unknown node `"+n+"`");const o=R[n];return o(e,t)}function ie(e,t){const n=e&&e.children||[];let o=-1;const r=[];for(;++o<n.length;)r[o]=re(n[o],t);return r.join("")}function ht(e,t){const n={options:{}};if(typeof n.options.quote=="string"&&n.options.quote!=='"'&&n.options.quote!=="'")throw new Error("Invalid quote `"+n.options.quote+"`, expected `'` or `\"`");const o=Array.isArray(e)?{type:"root",children:e}:e;return re(o,n)}function dt(e){const t=j.unified().use(B).use(z).use(ne),n=t.parse(e),o=t.runSync(n,{value:e});return ht(o.children)}exports.DIRECTIVE_MAP=se;exports.PROOF_SOLUTION_NAMES=L;exports.markdownToPretext=dt;exports.mdastToPtxast=T;exports.remarkMath=Fe;exports.remarkPretext=ne;
+"use strict";Object.defineProperty(exports,Symbol.toStringTag,{value:"Module"});const z=require("unified"),W=require("remark-parse"),U=require("remark-directive"),$=require("@pretextbook/ptxast"),H=require("unist-util-visit"),L={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}},le=L;function ce(e){return L[e.toLowerCase()]}const F=new Set(Object.entries(L).filter(([e,t])=>t.category==="proof-like"||t.category==="solution-like").map(([e])=>e));function b(e,t,n){return{type:"element",name:e,attributes:n??{},children:t}}function D(e){return e.type==="containerDirective"&&e.name==="task"}function ae(e){return e.type==="containerDirective"&&F.has(e.name)}function w(e){const t=[];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 ue(e,t,n,o,r,i,s){const l=[];if(n&&l.push(n),e.hasNestedTasks){const c=o.findIndex(D);if(c!==-1){const a=[];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=[],_=[];for(let p=c;p<o.length;p++){const f=o[p];if(!D(f)){if(p<u){k.push(f);continue}if(ae(f)){_.push(f);continue}y.push(f)}}if(k.length>0&&(r.messages??(r.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=w(d.map(f=>i(f,r)).filter(f=>f!==null));p.length>0&&l.push(b("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(b("conclusion",p))}for(const p of _){const f=s(p,r);f&&l.push(f)}}else P(l,e,o,r,i,s)}else P(l,e,o,r,i,s);return b(e.type,l,t)}function P(e,t,n,o,r,i){if(t.requiresStatement){const s=[],l=[];for(const c of n)if(c.type==="containerDirective"&&F.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,o)).filter(a=>a!==null));c.length>0&&e.push(b("statement",c))}e.push(...l)}else{const s=w(n.map(l=>r(l,o)).filter(l=>l!==null));e.push(...s)}}function V(e){return{type:"text",value:e}}function h(e,t,n){return{type:"element",name:e,attributes:n??{},children:t}}function g(e,t,n){return h(e,[V(t)],n)}function Z(e){return{type:"comment",value:e.replace(/--/g,"- -")}}function O(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 X(e,t,n){return h("TODO",[Z(`todo: ${t}`),g("pre",n)],{type:e})}function pe(e,t,n){return h("TODO",[Z(`todo: ${t}`),g("c",n)],{type:e})}function N(e){const t=[];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 q(e,t,n){return fe(e,t,n).tree}function fe(e,t,n){const o=[],r={ancestors:[],depth:0,messages:o,source:t,topLevelDivision:n?.topLevelDivision??"chapter",topLevelAttributes:n?.topLevelAttributes,topLevelAttributesApplied:n?.topLevelAttributes?{done:!1}:void 0},i=e.children;if($.isTitlelessDivisionType(r.topLevelDivision)){const l=K(r),c=N(T(i,{...r,depth:1},!0));return{tree:{type:"root",children:[h(r.topLevelDivision,c,l)]},messages:o}}return{tree:{type:"root",children:T(i,r)},messages:o}}function T(e,t,n=!1){let o=7;for(const a of e)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(he(i,l,t)),i=null,l=[])};for(const a of e)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(...C(s,t,n)),c(),r}function C(e,t,n=!1){const o=[];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=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),o.push(h("p",d))}continue}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}}o.push(s)}}return n?N(o):o}function he(e,t,n){const o=$.divisionTypeAtRelativeDepth(n.topLevelDivision,e.depth),r=h("title",x(e.children,n)),i=me(e,n),s=T(t,{...n,depth:n.depth+1},!0),l=N(s);return h(o,[r,...l],i)}function de(e){const t=e.data;return t?.id?{"xml:id":t.id}:void 0}function me(e,t){const n=de(e),o=K(t);if(!(!n&&!o))return{...o,...n}}function K(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)=>Y(e,t),blockquote:(e,t)=>ye(e,t),list:(e,t)=>ve(e,t),code:(e,t)=>be(e),containerDirective:(e,t)=>G(e,t)};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"}),X("unknown-block-type",`unknown block type "${e.type}"`,O(e,t)))}function Y(e,t){return h("p",x(e.children,t))}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 Y(o,r)});return h("blockquote",n)}function ve(e,t){const n=e.children.map(o=>{const r={...t,ancestors:[...t.ancestors,e],depth:t.depth+1};return ke(o,r)});return h(e.ordered?"ol":"ul",n)}function ke(e,t){const n=C(e.children,t);return h("li",n)}function be(e,t){return g("program",e.value,e.lang?{language:e.lang}:void 0)}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",n.map(o=>g("mrow",o))):g("md",n[0]??"")}function De(e,t){return e.meta==="inline"?g("m",e.value):xe(e)}function G(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"}),X("unknown-directive",`unknown directive "${e.name}"`,O(e,t));const o=we(e),r=e.children,{title:i,body:s}=Ce(r,t),l={...t,ancestors:[...t.ancestors,e],depth:t.depth+1};return ue(n,o,i,s,l,(c,a)=>E(c,a),(c,a)=>G(c,a))}function Ce(e,t){const n=e[0];return n?.type==="paragraph"&&n.data?.directiveLabel===!0?{title:h("title",x(n.children,t)),body:e.slice(1)}:{title:null,body:e}}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 Se(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 Le={text:(e,t)=>V(e.value),emphasis:(e,t)=>{const o=Se(e,t.source)==="underscore"?"term":"em";return h(o,x(e.children,t))},strong:(e,t)=>h("alert",x(e.children,t)),inlineCode:(e,t)=>g("c",e.value),math:(e,t)=>De(e)};function x(e,t){return e.flatMap(n=>Ie(n,t)).filter(n=>n!==null)}function Ie(e,t){const n=Le[e.type];if(!n)return t.messages&&t.messages.push({type:"warning",reason:`Unknown inline type: ${e.type}`,category:"unknown-inline-type"}),pe("unknown-inline-type",`unknown inline type "${e.type}"`,O(e,t));const o={...t,ancestors:[...t.ancestors,e]};return n(e,o)}const qe=[{open:"$$",close:"$$",isDisplay:!0},{open:"\\[",close:"\\]",isDisplay:!0},{open:"$",close:"$",isDisplay:!1},{open:"\\(",close:"\\)",isDisplay:!1}],J="PTX_MATH_TOKEN_",I=new RegExp(`${J}(\\d+)`,"g");function Q(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(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 n}function Te(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);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:o,end:a};l=c+1}n=o+r}return null}function Ee(e){const t=new Map;let n="",o=0,r=0;for(;o<e.length;){const i=Te(e,o),s=Q(e,o);if(i&&(!s||i.start<s.index)){n+=e.substring(o,i.end),o=i.end;continue}if(!s){n+=e.substring(o);break}n+=e.substring(o,s.index);const l=`${J}${r}`;n+=l,t.set(l,{type:"math",value:s.content,meta:s.pattern.isDisplay?"display":"inline"}),o=s.index+s.pattern.open.length+s.content.length+s.pattern.close.length,r+=1}return{markdown:n,tokens:t}}function Ae(e){const t=[];let n=0;for(;n<e.length;){const o=Q(e,n);if(!o){n<e.length&&t.push({type:"text",value:e.substring(n)});break}o.index>n&&t.push({type:"text",value:e.substring(n,o.index)}),t.push({type:"math",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 Me(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>o&&n.push({type:"text",value:e.substring(o,i)});const l=t.get(s);l?n.push(l):n.push({type:"text",value:s}),o=i+s.length,r=I.exec(e)}return o<e.length&&n.push({type:"text",value:e.substring(o)}),n.length===0?[{type:"text",value:e}]:n}function ee(e){H.visit(e,"paragraph",t=>{const n=t.children||[],o=[];for(const r of n)if(r.type==="text"){const i=Ae(r.value);o.push(...i)}else o.push(r);t.children=o})}function $e(e,t){H.visit(e,"paragraph",n=>{const o=n.children||[],r=[];for(const i of o)if(i.type==="text"){const s=Me(i.value,t);r.push(...s)}else r.push(i);n.children=r})}const Fe=()=>e=>{ee(e)};function Oe(e){const t=e.trim();if(!t.startsWith(":"))return null;let n=0;for(let i=0;i<t.length&&t[i]===":";i++)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 Ne(e){const t=[],n=[];for(const o of e)if(o.isOpen){const r={colons:o.colons,finalColons:o.colons,label:o.label,openLineIndex:o.lineIndex,closeLineIndex:null,children:[],parent:null};if(t.length>0){const i=t[t.length-1];r.parent=i,i.children.push(r)}else n.push(r);t.push(r)}else{const r=t[t.length-1];r&&r.colons===o.colons&&(r.closeLineIndex=o.lineIndex,t.pop())}return n}function te(e){if(e.children.length===0)e.finalColons=e.colons;else{const t=Math.max(...e.children.map(te));e.finalColons=Math.max(e.colons,t+1)}return e.finalColons}function _e(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=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&&(o[s.closeLineIndex]=":".repeat(s.finalColons))}return o}function Pe(e){const t=e.split(`
+`),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];o?r&&m[0]===r[0]&&m.length>=r.length&&(o=!1,r=null):(o=!0,r=m);continue}if(o)continue;const d=Oe(c);d&&n.push({...d,lineIndex:l})}if(n.length===0)return e;const i=Ne(n);for(const l of i)te(l);return _e(t,i).join(`
+`)}function Re(e){const t=e.trim();if(!t.endsWith(":"))return null;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)||!L[r.toLowerCase()]?null:n}function A(e){let t=0;for(let n=0;n<e.length;n++)if(e[n]===" ")t+=1;else if(e[n]==="	")t+=4;else break;return t}function je(e,t){const n=A(e[t]);for(let o=t+1;o<e.length;o++)if(!ne(e[o]))return A(e[o])>n;return!1}function ne(e){return e.trim()===""}function Be(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(o)}function ze(e){const t=e.split(`
+`),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=A(i),c=s.match(/^(`{3,}|~{3,})/);if(c){const u=c[1];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(o.inCodeFence){n.push(i);continue}if(ne(i)){n.push("");continue}const a=Re(s);if(a&&je(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=o.openDirectives.length*1+3;n.push(":".repeat(m)+d),o.openDirectives.push({label:d,indentLevel:l,colonCount:m,bodyBaseIndent:-1}),o.level=l}else{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(o.openDirectives.length>0){const u=o.openDirectives[o.openDirectives.length-1];u.bodyBaseIndent<0&&(u.bodyBaseIndent=l),n.push(Be(i,u.bodyBaseIndent))}else n.push(i);o.level=l}}for(;o.openDirectives.length>0;){const r=o.openDirectives.pop();r&&n.push(":".repeat(r.colonCount))}return n.join(`
+`)}const We=/^---\r?\n([\s\S]*?)\r?\n---\r?\n?/,Ue=/^division:\s*(\S+)\s*$/m,He=/^xmlid:\s*(\S+)\s*$/m,Ve=/^label:\s*(\S+)\s*$/m,Ze=/^component:\s*(\S+)\s*$/m;function Xe(e){const t=e.match(We);if(!t)return{body:e};const n=t[1],o=e.slice(t[0].length),r=n.match(Ue)?.[1],i=r&&$.isTopLevelDivisionType(r)?r:void 0,s={},l=n.match(He)?.[1],c=n.match(Ve)?.[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 oe=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=ze(r.body),c=Pe(l),a=Ee(c),d=z.unified().data("micromarkExtensions",[{disable:{null:["codeIndented"]}}]).use(W).use(U).parse(a.markdown);return $e(d,a.tokens),q(d,a.markdown,{topLevelDivision:i,topLevelAttributes:s})}return ee(n),q(n,void 0,{topLevelDivision:e?.topLevelDivision??"chapter",topLevelAttributes:e?.topLevelAttributes})}},Ke=/["&'<>`]/g,Ye=/[\uD800-\uDBFF][\uDC00-\uDFFF]/g,Ge=/[\x01-\t\v\f\x0E-\x1F\x7F\x81\x8D\x8F\x90\x9D\xA0-\uFFFF]/g,Je=/[|\\{}()[\]^$+*?.]/g,R=new WeakMap;function Qe(e,t){if(e=e.replace(t.subset?et(t.subset):Ke,o),t.subset||t.escapeOnly)return e;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 o(r,i,s){return t.format(r.charCodeAt(0),s.charCodeAt(i+1),t)}}function et(e){let t=R.get(e);return t||(t=tt(e),R.set(e,t)),t}function tt(e){const t=[];let n=-1;for(;++n<e.length;)t.push(e[n].replace(Je,"\\$&"));return new RegExp("(?:"+t.join("|")+")","g")}function nt(e){return"&#x"+e.toString(16).toUpperCase()+";"}function ot(e,t){return Qe(e,Object.assign({format:nt},t))}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 ot(i,{subset:t})}}function it(e){return String(e||"").replace(rt,"")}const st=/]]>/g,lt=[">"];function ct(e){return"<![CDATA["+v(e.value,lt,st)+"]]>"}function at(e){return"<!--"+v(e.value,["-"])+"-->"}const ut=["	",`
+`," ",'"',"&","'","/","<","=",">"];function S(e){return v(e,ut)}function j(e,t){const n=String(e);if(typeof t!="string")throw new TypeError("Expected character");let o=0,r=n.indexOf(t);for(;r!==-1;)o++,r=n.indexOf(t,r+t.length);return o}function M(e,t){const n=String(e);let o=t.options.quote||'"';if(t.options.quoteSmart){const r=o==='"'?"'":'"';j(n,o)>j(n,r)&&(o=r)}return o+v(n,["<","&",o])+o}function pt(e,t){const n=S(e.name),o=e.public,r=e.system;let i="<!DOCTYPE";return n!==""&&(i+=" "+n),o?i+=" PUBLIC "+M(o,t):r&&(i+=" SYSTEM"),r&&(i+=" "+M(r,t)),i+">"}const ft={}.hasOwnProperty;function ht(e,t){const n=S(e.name),o=se(e,t),r=e.attributes||{},i=o?!1:t.options.closeEmptyElements,s=[];let l;for(l in r)if(ft.call(r,l)){const c=r[l];c!=null&&s.push(S(l)+"="+M(c,t))}return"<"+n+(s.length===0?"":" "+s.join(" "))+(i?(t.options.tightClose?"":" ")+"/":"")+">"+o+(i?"":"</"+n+">")}const dt=/\?>/g,mt=[">"];function gt(e){const t=S(e.name)||"x",n=v(e.value,mt,dt);return"<?"+t+(n?" "+n:"")+"?>"}const yt=["&","<"];function re(e){return v(e.value,yt)}function vt(e,t){return t.options.allowDangerousXml?e.value:re(e)}const kt={}.hasOwnProperty,B={cdata:ct,comment:at,doctype:pt,element:ht,instruction:gt,raw:vt,root:se,text:re};function ie(e,t){const n=e&&e.type;if(!n)throw new Error("Expected node, not `"+e+"`");if(!kt.call(B,n))throw new Error("Cannot compile unknown node `"+n+"`");const o=B[n];return o(e,t)}function se(e,t){const n=e&&e.children||[];let o=-1;const r=[];for(;++o<n.length;)r[o]=ie(n[o],t);return r.join("")}function bt(e,t){const n={options:{}};if(typeof n.options.quote=="string"&&n.options.quote!=='"'&&n.options.quote!=="'")throw new Error("Invalid quote `"+n.options.quote+"`, expected `'` or `\"`");const o=Array.isArray(e)?{type:"root",children:e}:e;return ie(o,n)}function xt(e,t){const n=z.unified().use(W).use(U).use(oe,t),o=n.parse(e),r=n.runSync(o,{value:e});return bt(r.children)}exports.DIRECTIVE_MAP=le;exports.PROOF_SOLUTION_NAMES=F;exports.markdownToPretext=xt;exports.mdastToPtxast=q;exports.remarkMath=Fe;exports.remarkPretext=oe;