@pretextbook/remark-pretext 0.0.2 → 0.0.4

package/dist/index.cjs

@@ -0,0 +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;

package/dist/index.d.ts

@@ -0,0 +1,8 @@
+export { default as remarkPretext } from './lib/remark-pretext.js';
+export { markdownToPretext } from './lib/markdown-to-pretext.js';
+export { mdastToPtxast } from './lib/remark-pretext.js';
+export { DIRECTIVE_MAP, PROOF_SOLUTION_NAMES } from './lib/directive-map.js';
+export type { DirectiveInfo, DirectiveCategory } from './lib/directive-map.js';
+export type { RemarkPretextOptions } from './lib/remark-pretext.js';
+export { default as remarkMath } from './lib/math-parser.js';
+export type { Math } from './lib/math-parser.js';

package/dist/index.js

@@ -0,0 +1,813 @@
+import { unified as _ } from "unified";
+import R from "remark-parse";
+import j from "remark-directive";
+import { visit as z } from "unist-util-visit";
+const q = {
+  // theorem-like (requires statement wrapping)
+  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-like (requires statement wrapping)
+  definition: { type: "definition", category: "definition-like", requiresStatement: !0 },
+  notation: { type: "notation", category: "definition-like", requiresStatement: !0 },
+  // remark-like (no statement wrapping)
+  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-like (exercise/project/task support nested tasks; require statement if no nested tasks)
+  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 (can have nested tasks, requires statement if no nested tasks)
+  task: { type: "task", category: "example-like", requiresStatement: !0, hasNestedTasks: !0 },
+  // proof-like (no statement wrapping)
+  proof: { type: "proof", category: "proof-like", requiresStatement: !1 },
+  case: { type: "case", category: "proof-like", requiresStatement: !1 },
+  // solution-like (no statement wrapping)
+  solution: { type: "solution", category: "solution-like", requiresStatement: !1 },
+  hint: { type: "hint", category: "solution-like", requiresStatement: !1 },
+  answer: { type: "answer", category: "solution-like", requiresStatement: !1 }
+}, ft = q;
+function ne(e) {
+  return q[e.toLowerCase()];
+}
+const B = new Set(
+  Object.entries(q).filter(([e, t]) => t.category === "proof-like" || t.category === "solution-like").map(([e]) => e)
+);
+function v(e, t, o) {
+  return {
+    type: "element",
+    name: e,
+    attributes: o ?? {},
+    children: t
+  };
+}
+function C(e) {
+  return e.type === "containerDirective" && e.name === "task";
+}
+function oe(e) {
+  return e.type === "containerDirective" && B.has(e.name);
+}
+function D(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(v("p", [o])) : t.push(o);
+  return t;
+}
+function re(e, t, o, n, r, s, i) {
+  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), k = [], g = [], L = [];
+      for (let p = c; p < n.length; p++) {
+        const f = n[p];
+        if (!C(f)) {
+          if (p < u) {
+            k.push(f);
+            continue;
+          }
+          if (oe(f)) {
+            L.push(f);
+            continue;
+          }
+          g.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 = D(
+          d.map((f) => s(f, r)).filter((f) => f !== null)
+        );
+        p.length > 0 && l.push(v("introduction", p));
+      }
+      for (const p of m) {
+        const f = i(p, r);
+        f && l.push(f);
+      }
+      if (g.length > 0) {
+        const p = D(
+          g.map((f) => s(f, r)).filter((f) => f !== null)
+        );
+        p.length > 0 && l.push(v("conclusion", p));
+      }
+      for (const p of L) {
+        const f = i(p, r);
+        f && l.push(f);
+      }
+    } else
+      F(l, e, n, r, s, i);
+  } else
+    F(l, e, n, r, s, i);
+  return v(e.type, l, t);
+}
+function F(e, t, o, n, r, s) {
+  if (t.requiresStatement) {
+    const i = [], l = [];
+    for (const c of o)
+      if (c.type === "containerDirective" && B.has(c.name)) {
+        const a = s(c, n);
+        a && l.push(a);
+      } else
+        i.push(c);
+    if (i.length > 0) {
+      const c = D(
+        i.map((a) => r(a, n)).filter((a) => a !== null)
+      );
+      c.length > 0 && e.push(v("statement", c));
+    }
+    e.push(...l);
+  } else {
+    const i = D(
+      o.map((l) => r(l, n)).filter((l) => l !== null)
+    );
+    e.push(...i);
+  }
+}
+function W(e) {
+  return { type: "text", value: e };
+}
+function h(e, t, o) {
+  return {
+    type: "element",
+    name: e,
+    attributes: o ?? {},
+    children: t
+  };
+}
+function x(e, t, o) {
+  return h(e, [W(t)], o);
+}
+function H(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 $(e, t) {
+  return se(e, t).tree;
+}
+function se(e, t) {
+  const o = [], n = { ancestors: [], depth: 0, messages: o, source: t }, r = e.children;
+  return {
+    tree: { type: "root", children: U(r, n) },
+    messages: o
+  };
+}
+const N = ["chapter", "section", "subsection", "subsubsection", "paragraphs"];
+function ie(e) {
+  return N[Math.min(e - 1, N.length - 1)];
+}
+function U(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 w(e, t, o);
+  const r = [];
+  let s = null, i = [], l = [];
+  const c = () => {
+    s && (r.push(le(s, l, t)), s = null, l = []);
+  };
+  for (const a of e)
+    a.type === "heading" && a.depth === n ? (!s && i.length > 0 && (r.push(...w(i, t, o)), i = []), c(), s = a, l = []) : s ? l.push(a) : i.push(a);
+  return !s && i.length > 0 && r.push(...w(i, t, o)), c(), r;
+}
+function w(e, t, o = !1) {
+  const n = [];
+  for (let r = 0; r < e.length; r += 1) {
+    const s = e[r], i = T(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 = r + 1 < e.length ? T(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 ((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 o ? H(n) : n;
+}
+function le(e, t, o) {
+  const n = ie(e.depth), r = h("title", b(e.children, o)), s = ce(e), i = U(t, { ...o, depth: o.depth + 1 }, !0), l = H(i);
+  return h(n, [r, ...l], s);
+}
+function ce(e) {
+  const t = e.data;
+  return t?.id ? { "xml:id": t.id } : void 0;
+}
+const ae = {
+  paragraph: (e, t) => Z(e, t),
+  blockquote: (e, t) => ue(e, t),
+  list: (e, t) => pe(e, t),
+  code: (e, t) => he(e),
+  containerDirective: (e, t) => X(e, t)
+};
+function T(e, t) {
+  const o = ae[e.type];
+  return o ? o(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 ue(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 Z(n, r);
+  });
+  return h("blockquote", o);
+}
+function pe(e, t) {
+  const o = e.children.map((n) => {
+    const r = { ...t, ancestors: [...t.ancestors, e], depth: t.depth + 1 };
+    return fe(n, r);
+  });
+  return h(e.ordered ? "ol" : "ul", o);
+}
+function fe(e, t) {
+  const o = w(e.children, t);
+  return h("li", o);
+}
+function he(e, t) {
+  return x("program", e.value, e.lang ? { language: e.lang } : void 0);
+}
+function de(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) => x("mrow", n))) : x("md", o[0] ?? "");
+}
+function me(e, t) {
+  return e.meta === "inline" ? x("m", e.value) : de(e);
+}
+function X(e, t) {
+  const o = ne(e.name);
+  if (!o)
+    return t.messages && t.messages.push({
+      type: "warning",
+      reason: `Unknown directive: ${e.name}`,
+      category: "unknown-directive"
+    }), null;
+  const n = ye(e), r = e.children, { title: s, body: i } = ge(r, t), l = { ...t, ancestors: [...t.ancestors, e], depth: t.depth + 1 };
+  return re(
+    o,
+    n,
+    s,
+    i,
+    l,
+    (c, a) => T(c, a),
+    (c, a) => X(c, a)
+  );
+}
+function ge(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 ye(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 ke(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 ve = {
+  text: (e, t) => W(e.value),
+  emphasis: (e, t) => {
+    const n = ke(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) => me(e)
+};
+function b(e, t) {
+  return e.flatMap((o) => xe(o, t)).filter((o) => o !== null);
+}
+function xe(e, t) {
+  const o = ve[e.type];
+  if (!o)
+    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 o(e, n);
+}
+const be = [
+  // 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 }
+], K = "PTX_MATH_TOKEN_", I = new RegExp(`${K}(\\d+)`, "g");
+function Y(e, t) {
+  let o = null;
+  for (const n of be) {
+    const r = e.indexOf(n.open, t);
+    if (r === -1) continue;
+    const s = e.indexOf(n.close, r + n.open.length);
+    if (s !== -1 && !(n.open === "$" && (r > 0 && e[r - 1] === "$" || r + 1 < e.length && e[r + 1] === "$")) && (!o || r < o.index)) {
+      const i = e.substring(r + n.open.length, s);
+      o = { index: r, pattern: n, content: i };
+    }
+  }
+  return o;
+}
+function Ce(e, t) {
+  let o = t;
+  for (; o < e.length; ) {
+    const n = e.indexOf("`", o);
+    if (n === -1) return null;
+    let r = 0, s = n;
+    for (; s < e.length && e[s] === "`"; )
+      r++, s++;
+    const i = "`".repeat(r);
+    let l = s;
+    for (; l < e.length; ) {
+      const c = e.indexOf(i, 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 we(e) {
+  const t = /* @__PURE__ */ new Map();
+  let o = "", n = 0, r = 0;
+  for (; n < e.length; ) {
+    const s = Ce(e, n), i = Y(e, n);
+    if (s && (!i || s.start < i.index)) {
+      o += e.substring(n, s.end), n = s.end;
+      continue;
+    }
+    if (!i) {
+      o += e.substring(n);
+      break;
+    }
+    o += e.substring(n, i.index);
+    const l = `${K}${r}`;
+    o += 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, r += 1;
+  }
+  return { markdown: o, tokens: t };
+}
+function De(e) {
+  const t = [];
+  let o = 0;
+  for (; o < e.length; ) {
+    const n = Y(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 Se(e, t) {
+  const o = [];
+  let n = 0;
+  I.lastIndex = 0;
+  let r = I.exec(e);
+  for (; r; ) {
+    const s = r.index, i = r[0];
+    s > n && o.push({ type: "text", value: e.substring(n, s) });
+    const l = t.get(i);
+    l ? o.push(l) : o.push({ type: "text", value: i }), n = s + i.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;
+}
+function V(e) {
+  z(e, "paragraph", (t) => {
+    const o = t.children || [], n = [];
+    for (const r of o)
+      if (r.type === "text") {
+        const s = De(r.value);
+        n.push(...s);
+      } else
+        n.push(r);
+    t.children = n;
+  });
+}
+function qe(e, t) {
+  z(e, "paragraph", (o) => {
+    const n = o.children || [], r = [];
+    for (const s of n)
+      if (s.type === "text") {
+        const i = Se(s.value, t);
+        r.push(...i);
+      } else
+        r.push(s);
+    o.children = r;
+  });
+}
+const ht = () => (e) => {
+  V(e);
+};
+function Ie(e) {
+  const t = e.trim();
+  if (!t.startsWith(":")) return null;
+  let o = 0;
+  for (let s = 0; s < t.length && t[s] === ":"; s++)
+    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 Te(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 s = t[t.length - 1];
+        r.parent = s, s.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 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 Ee(e, t, o) {
+  const n = e.slice(), r = [], s = t.slice();
+  for (; s.length > 0; ) {
+    const i = s.shift();
+    r.push(i), s.push(...i.children);
+  }
+  for (const i of r) {
+    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 Me(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 = Ie(c);
+    d && o.push({ ...d, lineIndex: l });
+  }
+  if (o.length === 0)
+    return e;
+  const s = Te(o);
+  for (const l of s)
+    G(l);
+  return Ee(t, s).join(`
+`);
+}
+function Le(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, s] = n;
+  return s && !/^(\[[^\]]*\]|\{[^}]*\})*$/.test(s) || !q[r.toLowerCase()] ? null : o;
+}
+function E(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 Fe(e, t) {
+  const o = E(e[t]);
+  for (let n = t + 1; n < e.length; n++)
+    if (!J(e[n]))
+      return E(e[n]) > o;
+  return !1;
+}
+function J(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 Ne(e) {
+  const t = e.split(`
+`), o = [], n = {
+    level: 0,
+    openDirectives: [],
+    inCodeFence: !1,
+    codeFenceMarker: null
+  };
+  for (let r = 0; r < t.length; r++) {
+    const s = t[r], i = s.trim(), l = E(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), o.push(s);
+      continue;
+    }
+    if (n.inCodeFence) {
+      o.push(s);
+      continue;
+    }
+    if (J(s)) {
+      o.push("");
+      continue;
+    }
+    const a = Le(i);
+    if (a && Fe(t, r)) {
+      for (; n.openDirectives.length > 0 && !(n.openDirectives[n.openDirectives.length - 1].indentLevel < l); ) {
+        const g = n.openDirectives.pop();
+        g && o.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;
+      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(s, u.bodyBaseIndent));
+      } else
+        o.push(s);
+      n.level = l;
+    }
+  }
+  for (; n.openDirectives.length > 0; ) {
+    const r = n.openDirectives.pop();
+    r && o.push(":".repeat(r.colonCount));
+  }
+  return o.join(`
+`);
+}
+const Ae = function() {
+  return function(t, o) {
+    if (typeof o?.value == "string") {
+      const n = Ne(o.value), r = Me(n), s = we(r), l = _().data("micromarkExtensions", [{ disable: { null: ["codeIndented"] } }]).use(R).use(j).parse(s.markdown);
+      return qe(l, s.tokens), $(l, s.markdown);
+    }
+    return V(t), $(t);
+  };
+}, Oe = /["&'<>`]/g, Pe = /[\uD800-\uDBFF][\uDC00-\uDFFF]/g, _e = (
+  // 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
+), Re = /[|\\{}()[\]^$+*?.]/g, A = /* @__PURE__ */ new WeakMap();
+function je(e, t) {
+  if (e = e.replace(
+    t.subset ? ze(t.subset) : Oe,
+    n
+  ), t.subset || t.escapeOnly)
+    return e;
+  return e.replace(Pe, o).replace(_e, n);
+  function o(r, s, i) {
+    return t.format(
+      (r.charCodeAt(0) - 55296) * 1024 + r.charCodeAt(1) - 56320 + 65536,
+      i.charCodeAt(s + 2),
+      t
+    );
+  }
+  function n(r, s, i) {
+    return t.format(
+      r.charCodeAt(0),
+      i.charCodeAt(s + 1),
+      t
+    );
+  }
+}
+function ze(e) {
+  let t = A.get(e);
+  return t || (t = Be(e), A.set(e, t)), t;
+}
+function Be(e) {
+  const t = [];
+  let o = -1;
+  for (; ++o < e.length; )
+    t.push(e[o].replace(Re, "\\$&"));
+  return new RegExp("(?:" + t.join("|") + ")", "g");
+}
+function We(e) {
+  return "&#x" + e.toString(16).toUpperCase() + ";";
+}
+function He(e, t) {
+  return je(e, Object.assign({ format: We }, t));
+}
+const Ue = /[\u0000-\u0008\u000B\u000C\u000E-\u001F]/g;
+function y(e, t, o) {
+  const n = Ze(e);
+  return o ? n.replace(o, r) : r(n);
+  function r(s) {
+    return He(s, { subset: t });
+  }
+}
+function Ze(e) {
+  return String(e || "").replace(Ue, "");
+}
+const Xe = /]]>/g, Ke = [">"];
+function Ye(e) {
+  return "<![CDATA[" + y(e.value, Ke, Xe) + "]]>";
+}
+function Ve(e) {
+  return "<!--" + y(e.value, ["-"]) + "-->";
+}
+const Ge = ["	", `
+`, " ", '"', "&", "'", "/", "<", "=", ">"];
+function S(e) {
+  return y(e, Ge);
+}
+function O(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 M(e, t) {
+  const o = String(e);
+  let n = t.options.quote || '"';
+  if (t.options.quoteSmart) {
+    const r = n === '"' ? "'" : '"';
+    O(o, n) > O(o, r) && (n = r);
+  }
+  return n + y(o, ["<", "&", n]) + n;
+}
+function Je(e, t) {
+  const o = S(e.name), n = e.public, r = e.system;
+  let s = "<!DOCTYPE";
+  return o !== "" && (s += " " + o), n ? s += " PUBLIC " + M(n, t) : r && (s += " SYSTEM"), r && (s += " " + M(r, t)), s + ">";
+}
+const Qe = {}.hasOwnProperty;
+function et(e, t) {
+  const o = S(e.name), n = te(e, t), r = e.attributes || {}, s = n ? !1 : t.options.closeEmptyElements, i = [];
+  let l;
+  for (l in r)
+    if (Qe.call(r, l)) {
+      const c = r[l];
+      c != null && i.push(S(l) + "=" + M(c, t));
+    }
+  return "<" + o + (i.length === 0 ? "" : " " + i.join(" ")) + (s ? (t.options.tightClose ? "" : " ") + "/" : "") + ">" + n + (s ? "" : "</" + o + ">");
+}
+const tt = /\?>/g, nt = [">"];
+function ot(e) {
+  const t = S(e.name) || "x", o = y(e.value, nt, tt);
+  return "<?" + t + (o ? " " + o : "") + "?>";
+}
+const rt = ["&", "<"];
+function Q(e) {
+  return y(e.value, rt);
+}
+function st(e, t) {
+  return t.options.allowDangerousXml ? e.value : Q(e);
+}
+const it = {}.hasOwnProperty, P = {
+  cdata: Ye,
+  comment: Ve,
+  doctype: Je,
+  element: et,
+  instruction: ot,
+  raw: st,
+  root: te,
+  text: Q
+};
+function ee(e, t) {
+  const o = e && e.type;
+  if (!o)
+    throw new Error("Expected node, not `" + e + "`");
+  if (!it.call(P, o))
+    throw new Error("Cannot compile unknown node `" + o + "`");
+  const n = P[o];
+  return n(e, t);
+}
+function te(e, t) {
+  const o = e && e.children || [];
+  let n = -1;
+  const r = [];
+  for (; ++n < o.length; )
+    r[n] = ee(o[n], t);
+  return r.join("");
+}
+function lt(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 ee(n, o);
+}
+function dt(e) {
+  const t = _().use(R).use(j).use(Ae), o = t.parse(e), n = t.runSync(o, { value: e });
+  return lt(n.children);
+}
+export {
+  ft as DIRECTIVE_MAP,
+  B as PROOF_SOLUTION_NAMES,
+  dt as markdownToPretext,
+  $ as mdastToPtxast,
+  ht as remarkMath,
+  Ae as remarkPretext
+};

package/dist/lib/context.d.ts

@@ -0,0 +1,22 @@
+import { BlockContent, DefinitionContent, PhrasingContent } from 'mdast';
+export interface VisitContext {
+    /** Parent node, if any. */
+    parent?: BlockContent | DefinitionContent | PhrasingContent;
+    /** All ancestor nodes in traversal order. */
+    ancestors: (BlockContent | DefinitionContent | PhrasingContent)[];
+    /** Nesting depth. */
+    depth: number;
+    /** Accumulated error/warning messages. */
+    messages?: ConversionMessage[];
+    /** Raw source markdown (optional, used for delimiter detection). */
+    source?: string;
+}
+export interface ConversionMessage {
+    type: 'warning' | 'error';
+    reason: string;
+    category: string;
+    position?: {
+        line?: number;
+        column?: number;
+    };
+}

package/dist/lib/directive-factory.d.ts

@@ -0,0 +1,24 @@
+import { BlockContent, DefinitionContent } from 'mdast';
+import { ContainerDirective } from 'mdast-util-directive';
+import { Element } from 'xast';
+import { DirectiveSpec } from './directive-map.js';
+import { VisitContext } from './context.js';
+/**
+ * Generic factory function: applies semantic rules from spec.
+ *
+ * Handles:
+ * - Statement wrapping for theorem-like elements
+ * - Task nesting with introduction wrapping (exercise/project/task)
+ * - Proof/solution sibling extraction
+ *
+ * @param spec Semantic specification for this directive type
+ * @param attrs HTML/XML attributes for the element
+ * @param titleEl Optional <title> element (extracted from first paragraph if present)
+ * @param children Body content of the directive
+ * @param ctx Visitor context
+ * @param convertBlock Callback to recursively convert block children
+ * @param convertDirective Callback to recursively convert nested directives
+ *
+ * @returns XAST element for this directive
+ */
+export declare function buildDirectiveWithSpec(spec: DirectiveSpec, attrs: Record<string, string> | undefined, titleEl: Element | null, children: Array<BlockContent | DefinitionContent>, ctx: VisitContext, convertBlock: (child: BlockContent | DefinitionContent, ctx: VisitContext) => Element | null, convertDirective: (node: ContainerDirective, ctx: VisitContext) => Element | null): Element;

package/dist/lib/directive-map.d.ts

@@ -0,0 +1,64 @@
+/**
+ * Maps directive names (from remark-directive's `:::name`) to their
+ * corresponding xast element names and semantic specifications.
+ *
+ * Architecture (Phase 2 refactor):
+ * - Separated semantic specs (requiresStatement) from routing logic
+ * - Factories apply spec-driven semantic rules uniformly
+ * - Adding new directives requires only configuration change, not new functions
+ */
+export type DirectiveCategory = 'theorem-like' | 'proof-like' | 'definition-like' | 'axiom-like' | 'remark-like' | 'example-like' | 'project-like' | 'exercise-like' | 'solution-like';
+/**
+ * Semantic specification for how a directive type should be converted.
+ * This pattern mirrors unified-latex-to-pretext's factory specifications.
+ */
+export interface DirectiveSpec {
+    /** The PreTeXt XML element name (= xast `name` field). */
+    type: string;
+    /** Routing category for handler selection. */
+    category: DirectiveCategory;
+    /**
+     * If true, the directive's body content is wrapped in a <statement> element,
+     * and proof/solution siblings are extracted as siblings of the statement
+     * (not children of it). This matches PreTeXt semantics where theorems have:
+     *   <theorem><title/><statement>...</statement><proof/></theorem>
+     *
+     * If false, content is added directly without statement wrapping.
+     */
+    requiresStatement: boolean;
+    /**
+     * If true, this directive can have nested task children.
+     * Content before the first task becomes an <introduction> wrapper.
+     * Example:
+     *   <exercise><introduction>...</introduction><task>...</task><task>...</task></exercise>
+     *
+     * Only applies if nested tasks are actually present in the body.
+     * If no tasks are found, requiresStatement still applies.
+     */
+    hasNestedTasks?: boolean;
+}
+/**
+ * Backwards-compatible type for code that only needs type+category.
+ * @deprecated Use DirectiveSpec instead for new code.
+ */
+export interface DirectiveInfo {
+    type: string;
+    category: DirectiveCategory;
+}
+/**
+ * Semantic specification table: directive name → spec.
+ *
+ * Pattern mirrors unified-latex-to-pretext's environment specification approach:
+ * Declarative table + factory functions apply rules uniformly.
+ * To add a new directive: just add an entry here.
+ */
+export declare const DIRECTIVE_SPEC_TABLE: Readonly<Record<string, DirectiveSpec>>;
+/**
+ * @deprecated Use DIRECTIVE_SPEC_TABLE directly or via getDirectiveSpec().
+ * Kept for backwards compatibility. Returns spec as old DirectiveInfo type.
+ */
+export declare const DIRECTIVE_MAP: Readonly<Record<string, DirectiveInfo>>;
+/** Get directive spec, or undefined if not found. */
+export declare function getDirectiveSpec(name: string): DirectiveSpec | undefined;
+/** Set of directive names that are proof/solution-like (used when separating statement siblings). */
+export declare const PROOF_SOLUTION_NAMES: Set<string>;

package/dist/lib/directive-normalizer.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Directive Normalizer (Two-Pass Algorithm)
+ *
+ * Transforms user-friendly flexible colon syntax into standard remark-directive format.
+ *
+ * INPUT (flexible):
+ *   :::exercise
+ *   Intro
+ *   :::task
+ *   Content
+ *   :::
+ *   :::task
+ *   More
+ *   :::
+ *   :::
+ *
+ * OUTPUT (normalized for remark-directive):
+ *   ::::exercise
+ *   Intro
+ *   :::task
+ *   Content
+ *   :::
+ *   :::task
+ *   More
+ *   :::
+ *   ::::
+ *
+ * Algorithm (Two-Pass):
+ * - Pass 1: Parse markers, build nesting tree with parent references
+ * - Pass 2: Traverse tree bottom-up, compute final colon counts
+ *   (each parent = max(children) + 1, ensuring proper nesting)
+ * - Pass 3: Re-emit with adjusted markers
+ */
+/**
+ * Main normalization function
+ */
+export declare function normalizeDirectiveColons(markdown: string): string;

package/dist/lib/indentation-normalizer.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Indentation-Based Directive Normalizer
+ *
+ * Transforms Python-like indentation-based directive syntax into colon syntax.
+ *
+ * INPUT (indentation-based):
+ *   Theorem[Pythagorean]{#thm}:
+ *     Statement text here.
+ *
+ *     Proof:
+ *       Proof content.
+ *
+ *   Plain text (outdented).
+ *
+ * OUTPUT (colon-based):
+ *   :::theorem[Pythagorean]{#thm}
+ *   Statement text here.
+ *
+ *   ::::proof
+ *   Proof content.
+ *   ::::
+ *   :::
+ *
+ *   Plain text (outdented).
+ *
+ * Algorithm:
+ * 1. Track fenced code blocks (``` and ~~~) and skip directive detection inside them
+ * 2. Parse each line to detect directive markers (Keyword[...]{...}:)
+ * 3. Track indentation stack: when indent increases, open a block; when decreases, close block(s)
+ * 4. Convert to colon syntax with proper nesting depth (validated against DIRECTIVE_SPEC_TABLE)
+ * 5. Preserve all non-directive content and indentation outside directives and code fences
+ */
+/**
+ * Normalize indentation-based syntax to colon-based syntax
+ */
+export declare function normalizeIndentationDirectives(markdown: string): string;

package/dist/lib/markdown-to-pretext.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Convert a markdown string (with PreTeXt directive extensions) to a PreTeXt
+ * XML string.
+ *
+ * The output contains the converted XML fragment — the children of the root
+ * node serialized as a string — suitable for embedding in a PreTeXt document.
+ *
+ * @param markdown - The markdown source to convert.
+ * @returns A PreTeXt XML string.
+ *
+ * @example
+ * ```ts
+ * import { markdownToPretext } from '@pretextbook/remark-pretext';
+ *
+ * const xml = markdownToPretext('# Hello\n\nThis is a paragraph.');
+ * // → '<section>\n  <title>Hello</title>\n  <p>This is a paragraph.</p>\n</section>'
+ * ```
+ */
+export declare function markdownToPretext(markdown: string): string;

package/dist/lib/math-parser.d.ts

@@ -0,0 +1,31 @@
+import { Plugin } from 'unified';
+import { Root, Text } from 'mdast';
+export interface Math {
+    type: 'math';
+    value: string;
+    meta?: string;
+}
+declare module 'mdast' {
+    interface PhrasingContentMap {
+        math: Math;
+    }
+}
+export interface MathTokenizationResult {
+    markdown: string;
+    tokens: Map<string, Math>;
+}
+export declare function tokenizeMathInMarkdown(markdown: string): MathTokenizationResult;
+/**
+ * Find math in a string and split into text and math nodes.
+ * Returns array of alternating Text and Math nodes.
+ *
+ * Order matters: we check longer/more specific delimiters first.
+ */
+export declare function splitTextWithMath(text: string): (Text | Math)[];
+/**
+ * Remark plugin that detects and parses math delimiters in text nodes.
+ */
+export declare function applyMathDelimiters(tree: Root): void;
+export declare function applyMathTokens(tree: Root, tokens: Map<string, Math>): void;
+declare const remarkMath: Plugin<[], Root>;
+export default remarkMath;

package/dist/lib/mdast-to-ptxast.d.ts

@@ -0,0 +1,13 @@
+import { Root as MdastRoot } from 'mdast';
+import { Root } from 'xast';
+import { ConversionMessage } from './context.js';
+/** Result type for conversion: tree + diagnostic messages. */
+export interface ConversionResult {
+    tree: Root;
+    messages: ConversionMessage[];
+}
+/** Transform an mdast Root node into an xast Root node (backwards compatible). */
+export declare function mdastToPtxast(tree: MdastRoot, source?: string): Root;
+export { mdastToPtxast as mdastToXast };
+/** Transform an mdast Root node, returning tree + diagnostic messages. */
+export declare function mdastToPtxastWithDiagnostics(tree: MdastRoot, source?: string): ConversionResult;

package/dist/lib/remark-pretext.d.ts

@@ -0,0 +1,11 @@
+import { Plugin } from 'unified';
+import { Root as MdastRoot } from 'mdast';
+import { Root } from 'xast';
+/** Options for the remark-pretext plugin (currently none, reserved for future use). */
+export interface RemarkPretextOptions {
+}
+declare const remarkPretext: Plugin<[RemarkPretextOptions?], MdastRoot, Root>;
+export default remarkPretext;
+export { mdastToPtxast } from './mdast-to-ptxast.js';
+export { DIRECTIVE_MAP, PROOF_SOLUTION_NAMES } from './directive-map.js';
+export type { DirectiveInfo, DirectiveCategory } from './directive-map.js';

package/index.cjs

@@ -1 +1 @@
-module.exports = require('../../dist/packages/remark-pretext/index.cjs');
+module.exports = require('./dist/index.cjs');

package/index.d.ts

@@ -1 +1 @@
-export * from '../../dist/packages/remark-pretext/index.d.ts';
+export * from "./dist/index.d.ts";

package/index.js

@@ -1 +1 @@
-export * from '../../dist/packages/remark-pretext/index.js';
+export * from './dist/index.js';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pretextbook/remark-pretext",
-  "version": "0.0.2",
+  "version": "0.0.4",
   "description": "remark plugin to transform markdown-style PreTeXt directives into ptxast",
   "author": "Oscar Levin",
   "license": "MIT",
@@ -31,7 +31,7 @@
     "*.cjs",
     "*.d.ts",
     "*.d.cts",
-    "lib",
+    "dist",
     "types"
   ],
   "scripts": {
@@ -39,7 +39,7 @@
     "test": "vitest run"
   },
   "dependencies": {
-    "@pretextbook/ptxast": "^0.0.2",
+    "@pretextbook/ptxast": "^0.0.4",
     "@types/mdast": "^4.0.0",
     "mdast-util-directive": "^3.0.0",
     "remark-directive": "^4.0.0",