@localix-ai/flowdown 0.0.0-stage → 0.5.1

package/dist/tui/math.js

@@ -0,0 +1,242 @@
+// src/tui/math.ts
+/**
+* A formula as a terminal can write it: its LaTeX read into Unicode.
+*
+* A terminal has one size of letter on one line, so a formula is not typeset; it is written the
+* way one is typed in plain text: `\frac{1}{k} \sum_{i=1}^{k} r_i` is `1/k ∑ᵢ₌₁ᵏ rᵢ`. A command
+* with a symbol becomes the symbol, a fraction a slash, a script the small letters Unicode has
+* (`x^2` is `x²`) or, where it has none, the script as written (`e^(iπ)`). A command this does
+* not know stays as it was written: a formula is never shorter than what it says.
+*
+* It reads any text and never throws: a reply is not obliged to hold LaTeX that is right.
+*/
+/** Pairs of a command's name and what it is written as. */
+const NAMED = `alpha α beta β gamma γ delta δ epsilon ϵ varepsilon ε zeta ζ eta η theta θ vartheta ϑ
+iota ι kappa κ lambda λ mu μ nu ν xi ξ pi π varpi ϖ rho ρ varrho ϱ sigma σ varsigma ς tau τ
+upsilon υ phi ϕ varphi φ chi χ psi ψ omega ω Gamma Γ Delta Δ Theta Θ Lambda Λ Xi Ξ Pi Π Sigma Σ
+Upsilon Υ Phi Φ Psi Ψ Omega Ω sum ∑ prod ∏ coprod ∐ int ∫ iint ∬ iiint ∭ oint ∮ infty ∞
+partial ∂ nabla ∇ times × cdot · div ÷ pm ± mp ∓ le ≤ leq ≤ ge ≥ geq ≥ ne ≠ neq ≠ ll ≪ gg ≫
+approx ≈ equiv ≡ sim ∼ simeq ≃ cong ≅ propto ∝ to → rightarrow → gets ← leftarrow ←
+leftrightarrow ↔ Rightarrow ⇒ Leftarrow ⇐ Leftrightarrow ⇔ implies ⇒ iff ⇔ mapsto ↦ uparrow ↑
+downarrow ↓ in ∈ notin ∉ ni ∋ subset ⊂ subseteq ⊆ supset ⊃ supseteq ⊇ cup ∪ cap ∩ setminus ∖
+emptyset ∅ varnothing ∅ forall ∀ exists ∃ nexists ∄ neg ¬ lnot ¬ land ∧ wedge ∧ lor ∨ vee ∨
+oplus ⊕ otimes ⊗ odot ⊙ cdots ⋯ ldots … dots … vdots ⋮ ddots ⋱ angle ∠ perp ⊥ parallel ∥ mid ∣
+circ ∘ bullet • star ⋆ ast ∗ dagger † langle ⟨ rangle ⟩ lfloor ⌊ rfloor ⌋ lceil ⌈ rceil ⌉
+lvert | rvert | vert | lVert ‖ rVert ‖ Vert ‖ ell ℓ hbar ℏ Re ℜ Im ℑ aleph ℵ prime ′ degree °
+top ⊤ bot ⊥ vdash ⊢ models ⊨ therefore ∴ because ∵ triangle △ square □ checkmark ✓ lbrace {
+rbrace } colon :`;
+const SYMBOLS = /* @__PURE__ */ new Map();
+{
+	const words = NAMED.split(/\s+/);
+	for (let at = 0; at + 1 < words.length; at += 2) SYMBOLS.set(words[at], words[at + 1]);
+}
+/** Names that are written upright, as themselves. */
+const FUNCTIONS = new Set("sin cos tan cot sec csc arcsin arccos arctan sinh cosh tanh log ln lg exp lim limsup liminf max min sup inf det dim ker gcd deg arg Pr hom mod bmod".split(" "));
+/** A mark over or under a letter, as the combining character that draws it. */
+const ACCENTS = {
+	bar: 772,
+	overline: 773,
+	hat: 770,
+	widehat: 770,
+	tilde: 771,
+	widetilde: 771,
+	vec: 8407,
+	overrightarrow: 8407,
+	dot: 775,
+	ddot: 776,
+	underline: 818
+};
+/** Commands that change how their argument looks and not what it says. */
+const TRANSPARENT = new Set("text textrm textit textbf textsf texttt mathrm mathit mathbf mathsf mathtt mathcal mathfrak mathscr boldsymbol bm mbox operatorname boxed underbrace overbrace substack".split(" "));
+/** Commands about size and placement, which a terminal has one of. */
+const DROPPED = new Set("left right big Big bigg Bigg bigl bigr Bigl Bigr biggl biggr middle displaystyle textstyle scriptstyle limits nolimits nonumber notag".split(" "));
+/** Pairs of a character and its small form, as a table. */
+const small = (pairs) => {
+	const chars = [...pairs];
+	const table = /* @__PURE__ */ new Map();
+	for (let at = 0; at + 1 < chars.length; at += 2) table.set(chars[at], chars[at + 1]);
+	return table;
+};
+const SUPER = small("0⁰1¹2²3³4⁴5⁵6⁶7⁷8⁸9⁹+⁺-⁻−⁻=⁼(⁽)⁾aᵃbᵇcᶜdᵈeᵉfᶠgᵍhʰiⁱjʲkᵏlˡmᵐnⁿoᵒpᵖrʳsˢtᵗuᵘvᵛwʷxˣyʸzᶻAᴬBᴮDᴰEᴱGᴳHᴴIᴵJᴶKᴷLᴸMᴹNᴺOᴼPᴾRᴿTᵀUᵁVⱽWᵂ∘°′′");
+const SUB = small("0₀1₁2₂3₃4₄5₅6₆7₇8₈9₉+₊-₋−₋=₌(₍)₎aₐeₑhₕiᵢjⱼkₖlₗmₘnₙoₒpₚrᵣsₛtₜuᵤvᵥxₓβᵦγᵧρᵨφᵩχᵪ");
+/** The sets of numbers, the letters `\mathbb` is asked for that every font has. */
+const DOUBLE = small("CℂHℍNℕPℙQℚRℝZℤ");
+/** A script in the small letters of `table`; where one is missing, as written after `mark`. */
+function script(text, table, mark) {
+	const body = text.replace(/\s+/g, " ").trim();
+	if (body === "") return "";
+	let out = "";
+	for (const char of body) {
+		if (char === " ") continue;
+		const to = table.get(char);
+		if (to === void 0) return mark + ([...body].length === 1 ? body : `(${body})`);
+		out += to;
+	}
+	return out;
+}
+/**
+* What needs no brackets to stand over or under a slash: a word (letters, digits, their marks),
+* with a root or a `∂` before it and one bracketed group after it, as in `√π`, `∂x`, `P(B)`.
+*/
+const WORD = /^[√∂∇]?[\p{L}\p{N}\p{M}.′']*(?:\([^()]*\))?$/u;
+const MARK = /\p{M}/u;
+/** `text` as one thing: itself when it is a word, bracketed when it is more. */
+const atom = (text) => {
+	const body = text.trim().replace(/^([∂∇]) +/, "$1");
+	return WORD.test(body) ? body : `(${body})`;
+};
+function accented(text, code) {
+	const mark = String.fromCharCode(code);
+	let out = "";
+	for (const char of text.trim()) out += char === " " || MARK.test(char) ? char : char + mark;
+	return out;
+}
+/** Groups and arguments nested deeper than this are read as text: no formula is, and no stack is that deep. */
+const MAX_DEPTH = 16;
+const LETTERS = /[a-zA-Z]+/y;
+var Reader = class {
+	text;
+	at = 0;
+	depth = 0;
+	/** The environments this is inside, innermost last. */
+	inside = [];
+	constructor(text) {
+		this.text = text;
+	}
+	/** Everything up to the end, or inside a group up to the `}` that closes it. */
+	run(grouped = false) {
+		let out = "";
+		while (this.at < this.text.length) {
+			if (grouped && this.text[this.at] === "}") break;
+			out += this.piece();
+		}
+		return out;
+	}
+	/** The next thing, with what it takes. Always moves on. */
+	piece() {
+		const char = String.fromCodePoint(this.text.codePointAt(this.at));
+		this.at += char.length;
+		switch (char) {
+			case "\\": return this.command();
+			case "{": return this.group();
+			case "^": return script(this.argument(), SUPER, "^");
+			case "_": return script(this.argument(), SUB, "_");
+			case "&": return this.inside.at(-1) === "cases" ? ", " : "";
+			case "~": return " ";
+			default: return char === "\n" || char === "\r" || char === "	" ? " " : char;
+		}
+	}
+	/** The group whose `{` was just read. */
+	group() {
+		if (this.depth >= MAX_DEPTH) return "{";
+		this.depth++;
+		const inside = this.run(true);
+		this.depth--;
+		if (this.text[this.at] === "}") this.at++;
+		return inside;
+	}
+	/** What a command or a script takes: a group, or the one thing that comes next. */
+	argument() {
+		while (this.text[this.at] === " ") this.at++;
+		const next = this.text[this.at];
+		if (next === void 0 || next === "}" || this.depth >= MAX_DEPTH) return "";
+		if (next === "{") {
+			this.at++;
+			return this.group();
+		}
+		this.depth++;
+		const one = this.piece();
+		this.depth--;
+		return one;
+	}
+	/** The `[n]` of a root, when it has one. */
+	index() {
+		if (this.text[this.at] !== "[" || this.depth >= MAX_DEPTH) return "";
+		this.at++;
+		this.depth++;
+		let out = "";
+		while (this.at < this.text.length && this.text[this.at] !== "]" && this.text[this.at] !== "}") out += this.piece();
+		this.depth--;
+		if (this.text[this.at] === "]") this.at++;
+		return out;
+	}
+	/** The `{name}` of an environment, read past. */
+	name() {
+		if (this.text[this.at] !== "{") return "";
+		const from = this.at + 1;
+		const close = this.text.indexOf("}", from);
+		this.at = close === -1 ? this.text.length : close + 1;
+		return this.text.slice(from, close === -1 ? void 0 : close).trim();
+	}
+	/** The command whose backslash was just read. */
+	command() {
+		LETTERS.lastIndex = this.at;
+		const name = LETTERS.exec(this.text)?.[0];
+		if (name === void 0) return this.escaped();
+		this.at += name.length;
+		const symbol = SYMBOLS.get(name);
+		if (symbol !== void 0) return symbol;
+		if (FUNCTIONS.has(name)) return name;
+		const accent = ACCENTS[name];
+		if (accent !== void 0) return accented(this.argument(), accent);
+		if (TRANSPARENT.has(name)) return this.argument();
+		if (DROPPED.has(name)) {
+			if ((name === "left" || name === "right") && this.text[this.at] === ".") this.at++;
+			return "";
+		}
+		switch (name) {
+			case "frac":
+			case "dfrac":
+			case "tfrac":
+			case "cfrac": return `${atom(this.argument())}/${atom(this.argument())}`;
+			case "binom":
+			case "dbinom":
+			case "tbinom": return `C(${this.argument().trim()}, ${this.argument().trim()})`;
+			case "sqrt": return `${script(this.index(), SUPER, "")}√${atom(this.argument())}`;
+			case "mathbb": return [...this.argument()].map((char) => DOUBLE.get(char) ?? char).join("");
+			case "not": return `${this.argument()}̸`;
+			case "tag": return `(${this.argument().trim()})`;
+			case "pmod": return ` (mod ${this.argument().trim()})`;
+			case "begin": {
+				const environment = this.name();
+				this.inside.push(environment);
+				return environment === "cases" ? " { " : " ";
+			}
+			case "end":
+				this.name();
+				this.inside.pop();
+				return " ";
+			case "quad":
+			case "qquad": return " ";
+		}
+		let out = `\\${name}`;
+		while (this.text[this.at] === "{" && this.depth < MAX_DEPTH) {
+			this.at++;
+			out += `{${this.group()}}`;
+		}
+		return out;
+	}
+	/** A backslash before something that is not a letter. */
+	escaped() {
+		const char = this.text[this.at];
+		if (char === void 0) return "\\";
+		this.at++;
+		if (char === "\\") return "\n";
+		if (char === "," || char === ";" || char === ":" || char === " ") return " ";
+		if (char === "!") return "";
+		if (char === "|") return "‖";
+		if ("{}%$&_#".includes(char)) return char;
+		return `\\${char}`;
+	}
+};
+/** A row with its spaces as a reader writes them: one between things, none inside a bracket. */
+const tidy = (row) => row.replace(/\s+/g, " ").replace(/([([⟨⌊⌈]) /g, "$1").replace(/ ([)\]⟩⌋⌉,])/g, "$1").trim().normalize("NFC");
+/** The rows of a formula: one, unless the formula breaks its own (`\\`). */
+function mathRows(source) {
+	return new Reader(source).run().split("\n").map(tidy).filter(Boolean);
+}
+/** A formula on one row, as it is written inside a sentence. */
+const mathText = (source) => mathRows(source).join(" ");
+export { mathRows, mathText };
+
+//# sourceMappingURL=math.js.map

package/dist/tui/math.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"math.js","names":[],"sources":["../../src/tui/math.ts"],"sourcesContent":["/**\n * A formula as a terminal can write it: its LaTeX read into Unicode.\n *\n * A terminal has one size of letter on one line, so a formula is not typeset; it is written the\n * way one is typed in plain text: `\\frac{1}{k} \\sum_{i=1}^{k} r_i` is `1/k ∑ᵢ₌₁ᵏ rᵢ`. A command\n * with a symbol becomes the symbol, a fraction a slash, a script the small letters Unicode has\n * (`x^2` is `x²`) or, where it has none, the script as written (`e^(iπ)`). A command this does\n * not know stays as it was written: a formula is never shorter than what it says.\n *\n * It reads any text and never throws: a reply is not obliged to hold LaTeX that is right.\n */\n\n/** Pairs of a command's name and what it is written as. */\nconst NAMED = `alpha α beta β gamma γ delta δ epsilon ϵ varepsilon ε zeta ζ eta η theta θ vartheta ϑ\niota ι kappa κ lambda λ mu μ nu ν xi ξ pi π varpi ϖ rho ρ varrho ϱ sigma σ varsigma ς tau τ\nupsilon υ phi ϕ varphi φ chi χ psi ψ omega ω Gamma Γ Delta Δ Theta Θ Lambda Λ Xi Ξ Pi Π Sigma Σ\nUpsilon Υ Phi Φ Psi Ψ Omega Ω sum ∑ prod ∏ coprod ∐ int ∫ iint ∬ iiint ∭ oint ∮ infty ∞\npartial ∂ nabla ∇ times × cdot · div ÷ pm ± mp ∓ le ≤ leq ≤ ge ≥ geq ≥ ne ≠ neq ≠ ll ≪ gg ≫\napprox ≈ equiv ≡ sim ∼ simeq ≃ cong ≅ propto ∝ to → rightarrow → gets ← leftarrow ←\nleftrightarrow ↔ Rightarrow ⇒ Leftarrow ⇐ Leftrightarrow ⇔ implies ⇒ iff ⇔ mapsto ↦ uparrow ↑\ndownarrow ↓ in ∈ notin ∉ ni ∋ subset ⊂ subseteq ⊆ supset ⊃ supseteq ⊇ cup ∪ cap ∩ setminus ∖\nemptyset ∅ varnothing ∅ forall ∀ exists ∃ nexists ∄ neg ¬ lnot ¬ land ∧ wedge ∧ lor ∨ vee ∨\noplus ⊕ otimes ⊗ odot ⊙ cdots ⋯ ldots … dots … vdots ⋮ ddots ⋱ angle ∠ perp ⊥ parallel ∥ mid ∣\ncirc ∘ bullet • star ⋆ ast ∗ dagger † langle ⟨ rangle ⟩ lfloor ⌊ rfloor ⌋ lceil ⌈ rceil ⌉\nlvert | rvert | vert | lVert ‖ rVert ‖ Vert ‖ ell ℓ hbar ℏ Re ℜ Im ℑ aleph ℵ prime ′ degree °\ntop ⊤ bot ⊥ vdash ⊢ models ⊨ therefore ∴ because ∵ triangle △ square □ checkmark ✓ lbrace {\nrbrace } colon :`\n\nconst SYMBOLS = new Map<string, string>()\n{\n  const words = NAMED.split(/\\s+/)\n  for (let at = 0; at + 1 < words.length; at += 2) SYMBOLS.set(words[at]!, words[at + 1]!)\n}\n\n/** Names that are written upright, as themselves. */\nconst FUNCTIONS = new Set(\n  'sin cos tan cot sec csc arcsin arccos arctan sinh cosh tanh log ln lg exp lim limsup liminf max min sup inf det dim ker gcd deg arg Pr hom mod bmod'.split(\n    ' ',\n  ),\n)\n\n/** A mark over or under a letter, as the combining character that draws it. */\nconst ACCENTS: Record<string, number> = {\n  bar: 0x304,\n  overline: 0x305,\n  hat: 0x302,\n  widehat: 0x302,\n  tilde: 0x303,\n  widetilde: 0x303,\n  vec: 0x20d7,\n  overrightarrow: 0x20d7,\n  dot: 0x307,\n  ddot: 0x308,\n  underline: 0x332,\n}\n\n/** Commands that change how their argument looks and not what it says. */\nconst TRANSPARENT = new Set(\n  'text textrm textit textbf textsf texttt mathrm mathit mathbf mathsf mathtt mathcal mathfrak mathscr boldsymbol bm mbox operatorname boxed underbrace overbrace substack'.split(\n    ' ',\n  ),\n)\n\n/** Commands about size and placement, which a terminal has one of. */\nconst DROPPED = new Set(\n  'left right big Big bigg Bigg bigl bigr Bigl Bigr biggl biggr middle displaystyle textstyle scriptstyle limits nolimits nonumber notag'.split(\n    ' ',\n  ),\n)\n\n/** Pairs of a character and its small form, as a table. */\nconst small = (pairs: string): Map<string, string> => {\n  const chars = [...pairs]\n  const table = new Map<string, string>()\n  for (let at = 0; at + 1 < chars.length; at += 2) table.set(chars[at]!, chars[at + 1]!)\n  return table\n}\n\nconst SUPER = small(\n  '0⁰1¹2²3³4⁴5⁵6⁶7⁷8⁸9⁹+⁺-⁻−⁻=⁼(⁽)⁾aᵃbᵇcᶜdᵈeᵉfᶠgᵍhʰiⁱjʲkᵏlˡmᵐnⁿoᵒpᵖrʳsˢtᵗuᵘvᵛwʷxˣyʸzᶻAᴬBᴮDᴰEᴱGᴳHᴴIᴵJᴶKᴷLᴸMᴹNᴺOᴼPᴾRᴿTᵀUᵁVⱽWᵂ∘°′′',\n)\nconst SUB = small('0₀1₁2₂3₃4₄5₅6₆7₇8₈9₉+₊-₋−₋=₌(₍)₎aₐeₑhₕiᵢjⱼkₖlₗmₘnₙoₒpₚrᵣsₛtₜuᵤvᵥxₓβᵦγᵧρᵨφᵩχᵪ')\n\n/** The sets of numbers, the letters `\\mathbb` is asked for that every font has. */\nconst DOUBLE = small('CℂHℍNℕPℙQℚRℝZℤ')\n\n/** A script in the small letters of `table`; where one is missing, as written after `mark`. */\nfunction script(text: string, table: Map<string, string>, mark: string): string {\n  const body = text.replace(/\\s+/g, ' ').trim()\n  if (body === '') return ''\n  let out = ''\n  for (const char of body) {\n    if (char === ' ') continue\n    const to = table.get(char)\n    if (to === undefined) return mark + ([...body].length === 1 ? body : `(${body})`)\n    out += to\n  }\n  return out\n}\n\n/**\n * What needs no brackets to stand over or under a slash: a word (letters, digits, their marks),\n * with a root or a `∂` before it and one bracketed group after it, as in `√π`, `∂x`, `P(B)`.\n */\nconst WORD = /^[√∂∇]?[\\p{L}\\p{N}\\p{M}.′']*(?:\\([^()]*\\))?$/u\nconst MARK = /\\p{M}/u\n\n/** `text` as one thing: itself when it is a word, bracketed when it is more. */\nconst atom = (text: string): string => {\n  const body = text.trim().replace(/^([∂∇]) +/, '$1')\n  return WORD.test(body) ? body : `(${body})`\n}\n\nfunction accented(text: string, code: number): string {\n  const mark = String.fromCharCode(code)\n  let out = ''\n  for (const char of text.trim()) out += char === ' ' || MARK.test(char) ? char : char + mark\n  return out\n}\n\n/** Groups and arguments nested deeper than this are read as text: no formula is, and no stack is that deep. */\nconst MAX_DEPTH = 16\n\nconst LETTERS = /[a-zA-Z]+/y\n\nclass Reader {\n  private at = 0\n  private depth = 0\n  /** The environments this is inside, innermost last. */\n  private readonly inside: string[] = []\n\n  constructor(private readonly text: string) {}\n\n  /** Everything up to the end, or inside a group up to the `}` that closes it. */\n  run(grouped = false): string {\n    let out = ''\n    while (this.at < this.text.length) {\n      if (grouped && this.text[this.at] === '}') break\n      out += this.piece()\n    }\n    return out\n  }\n\n  /** The next thing, with what it takes. Always moves on. */\n  private piece(): string {\n    const char = String.fromCodePoint(this.text.codePointAt(this.at)!)\n    this.at += char.length\n    switch (char) {\n      case '\\\\':\n        return this.command()\n      case '{':\n        return this.group()\n      case '^':\n        return script(this.argument(), SUPER, '^')\n      case '_':\n        return script(this.argument(), SUB, '_')\n      // A column: of cases, the condition after its value; of an alignment, nothing to write.\n      case '&':\n        return this.inside.at(-1) === 'cases' ? ', ' : ''\n      case '~':\n        return ' '\n      default:\n        // A line ending of the source is a space: only `\\\\` ends a row.\n        return char === '\\n' || char === '\\r' || char === '\\t' ? ' ' : char\n    }\n  }\n\n  /** The group whose `{` was just read. */\n  private group(): string {\n    if (this.depth >= MAX_DEPTH) return '{'\n    this.depth++\n    const inside = this.run(true)\n    this.depth--\n    if (this.text[this.at] === '}') this.at++\n    return inside\n  }\n\n  /** What a command or a script takes: a group, or the one thing that comes next. */\n  private argument(): string {\n    while (this.text[this.at] === ' ') this.at++\n    const next = this.text[this.at]\n    if (next === undefined || next === '}' || this.depth >= MAX_DEPTH) return ''\n    if (next === '{') {\n      this.at++\n      return this.group()\n    }\n    this.depth++\n    const one = this.piece()\n    this.depth--\n    return one\n  }\n\n  /** The `[n]` of a root, when it has one. */\n  private index(): string {\n    if (this.text[this.at] !== '[' || this.depth >= MAX_DEPTH) return ''\n    this.at++\n    this.depth++\n    let out = ''\n    while (this.at < this.text.length && this.text[this.at] !== ']' && this.text[this.at] !== '}')\n      out += this.piece()\n    this.depth--\n    if (this.text[this.at] === ']') this.at++\n    return out\n  }\n\n  /** The `{name}` of an environment, read past. */\n  private name(): string {\n    if (this.text[this.at] !== '{') return ''\n    const from = this.at + 1\n    const close = this.text.indexOf('}', from)\n    this.at = close === -1 ? this.text.length : close + 1\n    return this.text.slice(from, close === -1 ? undefined : close).trim()\n  }\n\n  /** The command whose backslash was just read. */\n  private command(): string {\n    LETTERS.lastIndex = this.at\n    const name = LETTERS.exec(this.text)?.[0]\n    if (name === undefined) return this.escaped()\n    this.at += name.length\n    const symbol = SYMBOLS.get(name)\n    if (symbol !== undefined) return symbol\n    if (FUNCTIONS.has(name)) return name\n    const accent = ACCENTS[name]\n    if (accent !== undefined) return accented(this.argument(), accent)\n    if (TRANSPARENT.has(name)) return this.argument()\n    if (DROPPED.has(name)) {\n      // `\\left.` and `\\right.` are the side of a pair that is not drawn.\n      if ((name === 'left' || name === 'right') && this.text[this.at] === '.') this.at++\n      return ''\n    }\n    switch (name) {\n      case 'frac':\n      case 'dfrac':\n      case 'tfrac':\n      case 'cfrac': {\n        const over = atom(this.argument())\n        return `${over}/${atom(this.argument())}`\n      }\n      case 'binom':\n      case 'dbinom':\n      case 'tbinom': {\n        const from = this.argument().trim()\n        return `C(${from}, ${this.argument().trim()})`\n      }\n      case 'sqrt': {\n        const index = this.index()\n        return `${script(index, SUPER, '')}√${atom(this.argument())}`\n      }\n      case 'mathbb':\n        return [...this.argument()].map((char) => DOUBLE.get(char) ?? char).join('')\n      case 'not':\n        return `${this.argument()}̸`\n      case 'tag':\n        return `(${this.argument().trim()})`\n      case 'pmod':\n        return ` (mod ${this.argument().trim()})`\n      case 'begin': {\n        const environment = this.name()\n        this.inside.push(environment)\n        return environment === 'cases' ? ' { ' : ' '\n      }\n      case 'end':\n        this.name()\n        this.inside.pop()\n        return ' '\n      case 'quad':\n      case 'qquad':\n        return ' '\n    }\n    // Not known: as it was written, with what it took.\n    let out = `\\\\${name}`\n    while (this.text[this.at] === '{' && this.depth < MAX_DEPTH) {\n      this.at++\n      out += `{${this.group()}}`\n    }\n    return out\n  }\n\n  /** A backslash before something that is not a letter. */\n  private escaped(): string {\n    const char = this.text[this.at]\n    if (char === undefined) return '\\\\'\n    this.at++\n    // `\\\\` ends a row of the formula.\n    if (char === '\\\\') return '\\n'\n    if (char === ',' || char === ';' || char === ':' || char === ' ') return ' '\n    if (char === '!') return ''\n    if (char === '|') return '‖'\n    if ('{}%$&_#'.includes(char)) return char\n    return `\\\\${char}`\n  }\n}\n\n/** A row with its spaces as a reader writes them: one between things, none inside a bracket. */\nconst tidy = (row: string): string =>\n  row\n    .replace(/\\s+/g, ' ')\n    .replace(/([([⟨⌊⌈]) /g, '$1')\n    .replace(/ ([)\\]⟩⌋⌉,])/g, '$1')\n    .trim()\n    // A letter with its mark as one character where there is one: fonts draw `ŷ` better than `y` and a hat.\n    .normalize('NFC')\n\n/** The rows of a formula: one, unless the formula breaks its own (`\\\\`). */\nexport function mathRows(source: string): string[] {\n  return new Reader(source).run().split('\\n').map(tidy).filter(Boolean)\n}\n\n/** A formula on one row, as it is written inside a sentence. */\nexport const mathText = (source: string): string => mathRows(source).join(' ')\n"],"mappings":";;;;;;;;;;;;;AAaA,MAAM,QAAQ;;;;;;;;;;;;;;AAed,MAAM,0BAAU,IAAI,IAAoB;AACxC;CACE,MAAM,QAAQ,MAAM,MAAM,KAAK;CAC/B,KAAK,IAAI,KAAK,GAAG,KAAK,IAAI,MAAM,QAAQ,MAAM,GAAG,QAAQ,IAAI,MAAM,KAAM,MAAM,KAAK,EAAG;AACzF;;AAGA,MAAM,YAAY,IAAI,IACpB,sJAAsJ,MACpJ,GACF,CACF;;AAGA,MAAM,UAAkC;CACtC,KAAK;CACL,UAAU;CACV,KAAK;CACL,SAAS;CACT,OAAO;CACP,WAAW;CACX,KAAK;CACL,gBAAgB;CAChB,KAAK;CACL,MAAM;CACN,WAAW;AACb;;AAGA,MAAM,cAAc,IAAI,IACtB,0KAA0K,MACxK,GACF,CACF;;AAGA,MAAM,UAAU,IAAI,IAClB,wIAAwI,MACtI,GACF,CACF;;AAGA,MAAM,SAAS,UAAuC;CACpD,MAAM,QAAQ,CAAC,GAAG,KAAK;CACvB,MAAM,wBAAQ,IAAI,IAAoB;CACtC,KAAK,IAAI,KAAK,GAAG,KAAK,IAAI,MAAM,QAAQ,MAAM,GAAG,MAAM,IAAI,MAAM,KAAM,MAAM,KAAK,EAAG;CACrF,OAAO;AACT;AAEA,MAAM,QAAQ,MACZ,8HACF;AACA,MAAM,MAAM,MAAM,8EAA8E;;AAGhG,MAAM,SAAS,MAAM,gBAAgB;;AAGrC,SAAS,OAAO,MAAc,OAA4B,MAAsB;CAC9E,MAAM,OAAO,KAAK,QAAQ,QAAQ,GAAG,CAAC,CAAC,KAAK;CAC5C,IAAI,SAAS,IAAI,OAAO;CACxB,IAAI,MAAM;CACV,KAAK,MAAM,QAAQ,MAAM;EACvB,IAAI,SAAS,KAAK;EAClB,MAAM,KAAK,MAAM,IAAI,IAAI;EACzB,IAAI,OAAO,KAAA,GAAW,OAAO,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,WAAW,IAAI,OAAO,IAAI,KAAK;EAC9E,OAAO;CACT;CACA,OAAO;AACT;;;;;AAMA,MAAM,OAAO;AACb,MAAM,OAAO;;AAGb,MAAM,QAAQ,SAAyB;CACrC,MAAM,OAAO,KAAK,KAAK,CAAC,CAAC,QAAQ,aAAa,IAAI;CAClD,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK;AAC3C;AAEA,SAAS,SAAS,MAAc,MAAsB;CACpD,MAAM,OAAO,OAAO,aAAa,IAAI;CACrC,IAAI,MAAM;CACV,KAAK,MAAM,QAAQ,KAAK,KAAK,GAAG,OAAO,SAAS,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,OAAO;CACvF,OAAO;AACT;;AAGA,MAAM,YAAY;AAElB,MAAM,UAAU;AAEhB,IAAM,SAAN,MAAa;CAMkB;CAL7B,KAAa;CACb,QAAgB;;CAEhB,SAAoC,CAAC;CAErC,YAAY,MAA+B;EAAd,KAAA,OAAA;CAAe;;CAG5C,IAAI,UAAU,OAAe;EAC3B,IAAI,MAAM;EACV,OAAO,KAAK,KAAK,KAAK,KAAK,QAAQ;GACjC,IAAI,WAAW,KAAK,KAAK,KAAK,QAAQ,KAAK;GAC3C,OAAO,KAAK,MAAM;EACpB;EACA,OAAO;CACT;;CAGA,QAAwB;EACtB,MAAM,OAAO,OAAO,cAAc,KAAK,KAAK,YAAY,KAAK,EAAE,CAAE;EACjE,KAAK,MAAM,KAAK;EAChB,QAAQ,MAAR;GACE,KAAK,MACH,OAAO,KAAK,QAAQ;GACtB,KAAK,KACH,OAAO,KAAK,MAAM;GACpB,KAAK,KACH,OAAO,OAAO,KAAK,SAAS,GAAG,OAAO,GAAG;GAC3C,KAAK,KACH,OAAO,OAAO,KAAK,SAAS,GAAG,KAAK,GAAG;GAEzC,KAAK,KACH,OAAO,KAAK,OAAO,GAAG,EAAE,MAAM,UAAU,OAAO;GACjD,KAAK,KACH,OAAO;GACT,SAEE,OAAO,SAAS,QAAQ,SAAS,QAAQ,SAAS,MAAO,MAAM;EACnE;CACF;;CAGA,QAAwB;EACtB,IAAI,KAAK,SAAS,WAAW,OAAO;EACpC,KAAK;EACL,MAAM,SAAS,KAAK,IAAI,IAAI;EAC5B,KAAK;EACL,IAAI,KAAK,KAAK,KAAK,QAAQ,KAAK,KAAK;EACrC,OAAO;CACT;;CAGA,WAA2B;EACzB,OAAO,KAAK,KAAK,KAAK,QAAQ,KAAK,KAAK;EACxC,MAAM,OAAO,KAAK,KAAK,KAAK;EAC5B,IAAI,SAAS,KAAA,KAAa,SAAS,OAAO,KAAK,SAAS,WAAW,OAAO;EAC1E,IAAI,SAAS,KAAK;GAChB,KAAK;GACL,OAAO,KAAK,MAAM;EACpB;EACA,KAAK;EACL,MAAM,MAAM,KAAK,MAAM;EACvB,KAAK;EACL,OAAO;CACT;;CAGA,QAAwB;EACtB,IAAI,KAAK,KAAK,KAAK,QAAQ,OAAO,KAAK,SAAS,WAAW,OAAO;EAClE,KAAK;EACL,KAAK;EACL,IAAI,MAAM;EACV,OAAO,KAAK,KAAK,KAAK,KAAK,UAAU,KAAK,KAAK,KAAK,QAAQ,OAAO,KAAK,KAAK,KAAK,QAAQ,KACxF,OAAO,KAAK,MAAM;EACpB,KAAK;EACL,IAAI,KAAK,KAAK,KAAK,QAAQ,KAAK,KAAK;EACrC,OAAO;CACT;;CAGA,OAAuB;EACrB,IAAI,KAAK,KAAK,KAAK,QAAQ,KAAK,OAAO;EACvC,MAAM,OAAO,KAAK,KAAK;EACvB,MAAM,QAAQ,KAAK,KAAK,QAAQ,KAAK,IAAI;EACzC,KAAK,KAAK,UAAU,KAAK,KAAK,KAAK,SAAS,QAAQ;EACpD,OAAO,KAAK,KAAK,MAAM,MAAM,UAAU,KAAK,KAAA,IAAY,KAAK,CAAC,CAAC,KAAK;CACtE;;CAGA,UAA0B;EACxB,QAAQ,YAAY,KAAK;EACzB,MAAM,OAAO,QAAQ,KAAK,KAAK,IAAI,CAAC,GAAG;EACvC,IAAI,SAAS,KAAA,GAAW,OAAO,KAAK,QAAQ;EAC5C,KAAK,MAAM,KAAK;EAChB,MAAM,SAAS,QAAQ,IAAI,IAAI;EAC/B,IAAI,WAAW,KAAA,GAAW,OAAO;EACjC,IAAI,UAAU,IAAI,IAAI,GAAG,OAAO;EAChC,MAAM,SAAS,QAAQ;EACvB,IAAI,WAAW,KAAA,GAAW,OAAO,SAAS,KAAK,SAAS,GAAG,MAAM;EACjE,IAAI,YAAY,IAAI,IAAI,GAAG,OAAO,KAAK,SAAS;EAChD,IAAI,QAAQ,IAAI,IAAI,GAAG;GAErB,KAAK,SAAS,UAAU,SAAS,YAAY,KAAK,KAAK,KAAK,QAAQ,KAAK,KAAK;GAC9E,OAAO;EACT;EACA,QAAQ,MAAR;GACE,KAAK;GACL,KAAK;GACL,KAAK;GACL,KAAK,SAEH,OAAO,GADM,KAAK,KAAK,SAAS,CACnB,EAAE,GAAG,KAAK,KAAK,SAAS,CAAC;GAExC,KAAK;GACL,KAAK;GACL,KAAK,UAEH,OAAO,KADM,KAAK,SAAS,CAAC,CAAC,KACd,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,KAAK,EAAE;GAE9C,KAAK,QAEH,OAAO,GAAG,OADI,KAAK,MACE,GAAG,OAAO,EAAE,EAAE,GAAG,KAAK,KAAK,SAAS,CAAC;GAE5D,KAAK,UACH,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,OAAO,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,KAAK,EAAE;GAC7E,KAAK,OACH,OAAO,GAAG,KAAK,SAAS,EAAE;GAC5B,KAAK,OACH,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,KAAK,EAAE;GACpC,KAAK,QACH,OAAO,SAAS,KAAK,SAAS,CAAC,CAAC,KAAK,EAAE;GACzC,KAAK,SAAS;IACZ,MAAM,cAAc,KAAK,KAAK;IAC9B,KAAK,OAAO,KAAK,WAAW;IAC5B,OAAO,gBAAgB,UAAU,QAAQ;GAC3C;GACA,KAAK;IACH,KAAK,KAAK;IACV,KAAK,OAAO,IAAI;IAChB,OAAO;GACT,KAAK;GACL,KAAK,SACH,OAAO;EACX;EAEA,IAAI,MAAM,KAAK;EACf,OAAO,KAAK,KAAK,KAAK,QAAQ,OAAO,KAAK,QAAQ,WAAW;GAC3D,KAAK;GACL,OAAO,IAAI,KAAK,MAAM,EAAE;EAC1B;EACA,OAAO;CACT;;CAGA,UAA0B;EACxB,MAAM,OAAO,KAAK,KAAK,KAAK;EAC5B,IAAI,SAAS,KAAA,GAAW,OAAO;EAC/B,KAAK;EAEL,IAAI,SAAS,MAAM,OAAO;EAC1B,IAAI,SAAS,OAAO,SAAS,OAAO,SAAS,OAAO,SAAS,KAAK,OAAO;EACzE,IAAI,SAAS,KAAK,OAAO;EACzB,IAAI,SAAS,KAAK,OAAO;EACzB,IAAI,UAAU,SAAS,IAAI,GAAG,OAAO;EACrC,OAAO,KAAK;CACd;AACF;;AAGA,MAAM,QAAQ,QACZ,IACG,QAAQ,QAAQ,GAAG,CAAC,CACpB,QAAQ,eAAe,IAAI,CAAC,CAC5B,QAAQ,iBAAiB,IAAI,CAAC,CAC9B,KAAK,CAAC,CAEN,UAAU,KAAK;;AAGpB,SAAgB,SAAS,QAA0B;CACjD,OAAO,IAAI,OAAO,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,OAAO;AACtE;;AAGA,MAAa,YAAY,WAA2B,SAAS,MAAM,CAAC,CAAC,KAAK,GAAG"}

package/dist/tui/printable.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Text made safe to print. A reply is a model's words, and a model can be made to write anything:
+ * an escape sequence that clears the screen, retitles the window or rewrites a row already read,
+ * a direction override that shows `exe.txt` for `txt.exe`. Every character that is an instruction
+ * to the terminal and not a letter is written out as what it is (`\u{1b}`), so it is seen and
+ * does nothing.
+ *
+ * Every piece of text a row is made of passes through here; the escape sequences in the output
+ * are the renderer's own (`style.ts`) and no others.
+ */
+/** `text` with every character a terminal would act on written out as its escape. */
+export declare const printable: (text: string) => string;

package/dist/tui/printable.js

@@ -0,0 +1,31 @@
+// src/tui/printable.ts
+/**
+* Text made safe to print. A reply is a model's words, and a model can be made to write anything:
+* an escape sequence that clears the screen, retitles the window or rewrites a row already read,
+* a direction override that shows `exe.txt` for `txt.exe`. Every character that is an instruction
+* to the terminal and not a letter is written out as what it is (`\u{1b}`), so it is seen and
+* does nothing.
+*
+* Every piece of text a row is made of passes through here; the escape sequences in the output
+* are the renderer's own (`style.ts`) and no others.
+*/
+const RANGES = [
+	[0, 31],
+	[127, 159],
+	[8206, 8207],
+	[8232, 8233],
+	[8234, 8238],
+	[8294, 8297]
+];
+const hex = (code) => `\\u{${code.toString(16)}}`;
+const UNSAFE = new RegExp(`[${RANGES.map(([from, to]) => `${hex(from)}-${hex(to)}`).join("")}]`, "gu");
+const NAMED = {
+	"	": "\\t",
+	"\n": "\\n",
+	"\r": "\\r"
+};
+/** `text` with every character a terminal would act on written out as its escape. */
+const printable = (text) => text.replace(UNSAFE, (c) => NAMED[c] ?? `\\u{${c.codePointAt(0).toString(16)}}`);
+export { printable };
+
+//# sourceMappingURL=printable.js.map

package/dist/tui/printable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"printable.js","names":[],"sources":["../../src/tui/printable.ts"],"sourcesContent":["/**\n * Text made safe to print. A reply is a model's words, and a model can be made to write anything:\n * an escape sequence that clears the screen, retitles the window or rewrites a row already read,\n * a direction override that shows `exe.txt` for `txt.exe`. Every character that is an instruction\n * to the terminal and not a letter is written out as what it is (`\\u{1b}`), so it is seen and\n * does nothing.\n *\n * Every piece of text a row is made of passes through here; the escape sequences in the output\n * are the renderer's own (`style.ts`) and no others.\n */\n\n// C0 and C1 controls and DEL; the marks that reorder what is shown (bidi marks, embeddings,\n// overrides and isolates); and the separators a terminal may take for the end of a row. Written\n// as numbers: a character of this set typed into the source would be invisible, or end the line.\nconst RANGES: ReadonlyArray<readonly [number, number]> = [\n  [0x00, 0x1f],\n  [0x7f, 0x9f],\n  [0x200e, 0x200f],\n  [0x2028, 0x2029],\n  [0x202a, 0x202e],\n  [0x2066, 0x2069],\n]\nconst hex = (code: number): string => `\\\\u{${code.toString(16)}}`\nconst UNSAFE = new RegExp(\n  `[${RANGES.map(([from, to]) => `${hex(from)}-${hex(to)}`).join('')}]`,\n  'gu',\n)\n\nconst NAMED: Record<string, string> = { '\\t': '\\\\t', '\\n': '\\\\n', '\\r': '\\\\r' }\n\n/** `text` with every character a terminal would act on written out as its escape. */\nexport const printable = (text: string): string =>\n  text.replace(UNSAFE, (c) => NAMED[c] ?? `\\\\u{${c.codePointAt(0)!.toString(16)}}`)\n"],"mappings":";;;;;;;;;;;AAcA,MAAM,SAAmD;CACvD,CAAC,GAAM,EAAI;CACX,CAAC,KAAM,GAAI;CACX,CAAC,MAAQ,IAAM;CACf,CAAC,MAAQ,IAAM;CACf,CAAC,MAAQ,IAAM;CACf,CAAC,MAAQ,IAAM;AACjB;AACA,MAAM,OAAO,SAAyB,OAAO,KAAK,SAAS,EAAE,EAAE;AAC/D,MAAM,SAAS,IAAI,OACjB,IAAI,OAAO,KAAK,CAAC,MAAM,QAAQ,GAAG,IAAI,IAAI,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,IACnE,IACF;AAEA,MAAM,QAAgC;CAAE,KAAM;CAAO,MAAM;CAAO,MAAM;AAAM;;AAG9E,MAAa,aAAa,SACxB,KAAK,QAAQ,SAAS,MAAM,MAAM,MAAM,OAAO,EAAE,YAAY,CAAC,CAAC,CAAE,SAAS,EAAE,EAAE,EAAE"}

package/dist/tui/render.d.ts

@@ -0,0 +1,12 @@
+import { CalloutKind } from "../dialect.js";
+/** The words the renderer adds, for a terminal in another language. */
+export interface TerminalLabels {
+  callouts: Record<CalloutKind, string>;
+  /** What a `[!DETAILS]` form with no title of its own is called. */
+  details: string;
+  /** What stands over a diagram's source, which a terminal cannot draw. */
+  diagram: string;
+}
+export declare const DEFAULT_LABELS: TerminalLabels;
+/** The narrowest a terminal is drawn for: under it, rows are as wide as this. */
+export declare const MIN_WIDTH = 8;