@danielsimonjr/sciengjs 0.9.0 → 1.0.0

package/dist/tex/bundles.js

@@ -0,0 +1,170 @@
+import { createHash, randomBytes } from "node:crypto";
+import { mkdir, readFile, rename, rm, writeFile } from "node:fs/promises";
+import path from "node:path";
+import { fileURLToPath } from "node:url";
+import { inflateRawSync } from "node:zlib";
+import { RenderError } from "../errors.js";
+import list from "./bundles.json" with { type: "json" };
+/** The bundles of this build. `tools/tex/bundles.mjs` writes `bundles.json`, and CI fails when a built bundle differs from it. */
+export const BUNDLES = list;
+/** The sub-folder of the cache folder for the bundles. */
+export const CACHE_SUBFOLDER = "tex-bundles";
+const MAGIC = "SCTB1\0\0\0";
+const sha256 = (b) => createHash("sha256").update(b).digest("hex");
+/** The path of a bundle in the cache. */
+export function cachePath(entry, settings) {
+    return path.join(settings.cacheDir, CACHE_SUBFOLDER, entry.file);
+}
+/** The download URL of a bundle. A base URL with no end slash gets one. */
+export function bundleUrl(entry, settings) {
+    const base = settings.texBundleUrl;
+    return `${base.endsWith("/") ? base : `${base}/`}${entry.file}`;
+}
+/** Looks up a bundle of the list by name. A name that is not in the list is an internal error. */
+export function findBundle(name, bundles = BUNDLES) {
+    const entry = bundles.find((b) => b.name === name);
+    if (entry === undefined)
+        throw new RenderError("E_INTERNAL", `the build has no TeX bundle named ${name}`);
+    return entry;
+}
+/** Reads a file or rejects with `undefined` when it is not there. */
+async function readIfThere(file) {
+    try {
+        return new Uint8Array(await readFile(file));
+    }
+    catch (e) {
+        if (e.code === "ENOENT")
+            return undefined;
+        throw e;
+    }
+}
+/** Downloads the bytes of a bundle from an `http:`, `https:` or `file:` URL. */
+async function download(url, settings, entry) {
+    const fail = (why) => new RenderError("E_STAGE_MISSING", `the TeX bundle ${entry.name} is not available at ${url}: ${why}`);
+    let parsed;
+    try {
+        parsed = new URL(url);
+    }
+    catch {
+        throw new RenderError("E_CONFIG", `texBundleUrl gives the URL ${url} for the TeX bundle ${entry.name}, and it is not a URL`);
+    }
+    if (parsed.protocol === "file:") {
+        try {
+            return new Uint8Array(await readFile(fileURLToPath(parsed)));
+        }
+        catch (e) {
+            throw fail(e instanceof Error ? e.message : String(e));
+        }
+    }
+    if (parsed.protocol !== "https:" && parsed.protocol !== "http:")
+        throw fail(`the protocol ${parsed.protocol} is not supported`);
+    try {
+        const res = await fetch(parsed, { redirect: "follow", signal: AbortSignal.timeout(settings.timeoutMs) });
+        if (!res.ok)
+            throw fail(`the server answered ${res.status}`);
+        const length = Number(res.headers.get("content-length") ?? 0);
+        if (length > entry.bytes)
+            throw new RenderError("E_INTEGRITY", `the TeX bundle ${entry.name} from ${url} is ${length} bytes, and the pin says ${entry.bytes}`);
+        return new Uint8Array(await res.arrayBuffer());
+    }
+    catch (e) {
+        if (e instanceof RenderError)
+            throw e;
+        throw fail(e instanceof Error ? e.message : String(e));
+    }
+}
+/**
+ * Returns the verified bytes of a bundle. The order is the cache, then the download.
+ * A cached file is hashed on every load. A cached file with a wrong hash is deleted, and the load goes on to the download.
+ * A download is allowed only when `allowNetwork` has `tex-bundles`. It goes to a temporary file in the cache folder,
+ * its hash and size are checked, and only then does a rename put it in place. A wrong hash deletes the temporary file and
+ * rejects with `E_INTEGRITY`, so a wrong file never stays in the cache. A bundle that is not cached, with the download not allowed,
+ * rejects with `E_STAGE_MISSING`.
+ */
+export async function loadBundleBytes(entry, settings) {
+    const target = cachePath(entry, settings);
+    const cached = await readIfThere(target);
+    if (cached !== undefined) {
+        if (sha256(cached) === entry.sha256)
+            return cached;
+        await rm(target, { force: true });
+    }
+    const url = bundleUrl(entry, settings);
+    if (settings.allowNetwork === "none") {
+        throw new RenderError("E_STAGE_MISSING", `the TeX bundle ${entry.name} is not in the cache (${target}), and the configuration does not allow the download of ${url}. Set allowNetwork to tex-bundles, or put the file ${entry.file} in the cache folder.`);
+    }
+    const bytes = await download(url, settings, entry);
+    await mkdir(path.dirname(target), { recursive: true });
+    const temp = `${target}.${process.pid}.${randomBytes(6).toString("hex")}.tmp`;
+    await writeFile(temp, bytes);
+    try {
+        if (bytes.length !== entry.bytes || sha256(bytes) !== entry.sha256) {
+            await rm(temp, { force: true });
+            throw new RenderError("E_INTEGRITY", `the TeX bundle ${entry.name} from ${url} does not match its pin (sha256 ${entry.sha256}, ${entry.bytes} bytes). The download is deleted.`);
+        }
+        await rename(temp, target);
+    }
+    catch (e) {
+        await rm(temp, { force: true });
+        throw e;
+    }
+    return bytes;
+}
+/** Unpacks an SCTB1 container (see `tools/tex/bundles.mjs`) to a map from the tree name to the file bytes. */
+export function unpackBundle(bytes) {
+    const buf = Buffer.from(bytes.buffer, bytes.byteOffset, bytes.length);
+    if (buf.length < 8 || buf.toString("latin1", 0, 8) !== MAGIC)
+        throw new RenderError("E_INTEGRITY", "a TeX bundle is not an SCTB1 container");
+    let body;
+    try {
+        body = inflateRawSync(buf.subarray(8));
+    }
+    catch (e) {
+        throw new RenderError("E_INTEGRITY", `a TeX bundle does not inflate: ${e instanceof Error ? e.message : String(e)}`);
+    }
+    const out = new Map();
+    let at = 4;
+    const count = body.readUInt32LE(0);
+    for (let i = 0; i < count; i++) {
+        const nameLength = body.readUInt16LE(at);
+        at += 2;
+        const name = body.toString("utf8", at, at + nameLength);
+        at += nameLength;
+        const size = body.readUInt32LE(at);
+        at += 4;
+        out.set(name, new Uint8Array(body.buffer, body.byteOffset + at, size));
+        at += size;
+    }
+    return out;
+}
+/** The files of the core bundle in this process, by the pinned hash and the loader. A rejected load is not kept. */
+let coreFiles;
+const loadCoreFiles = async (settings) => unpackBundle(await loadBundleBytes(findBundle("core"), settings));
+/**
+ * Returns the files of the core bundle. The parent process loads, checks and unpacks the bundle once. Each render
+ * worker then gets a copy of the files, so a fresh worker does not read, hash and inflate the bundle again. A load
+ * that rejects is not kept, so a later render tries again. `load` is a parameter so that tests replace it.
+ */
+export function texCoreFiles(settings, load = loadCoreFiles) {
+    const sha256 = findBundle("core").sha256;
+    if (coreFiles?.sha256 === sha256 && coreFiles.load === load)
+        return coreFiles.files;
+    const files = load(settings);
+    coreFiles = { sha256, load, files };
+    files.catch(() => {
+        if (coreFiles?.files === files)
+            coreFiles = undefined;
+    });
+    return files;
+}
+/** Loads the named bundles and returns the files of each, in the order of the names. A name twice loads once. */
+export async function loadBundles(names, settings, bundles = BUNDLES) {
+    const out = new Map();
+    for (const name of names) {
+        if (out.has(name))
+            continue;
+        out.set(name, unpackBundle(await loadBundleBytes(findBundle(name, bundles), settings)));
+    }
+    return out;
+}
+//# sourceMappingURL=bundles.js.map

package/dist/tex/bundles.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundles.js","sourceRoot":"","sources":["../../src/tex/bundles.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAE3C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,IAAI,MAAM,gBAAgB,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,CAAC;AAWxD,kIAAkI;AAClI,MAAM,CAAC,MAAM,OAAO,GAA2B,IAAqB,CAAC;AAcrE,0DAA0D;AAC1D,MAAM,CAAC,MAAM,eAAe,GAAG,aAAa,CAAC;AAE7C,MAAM,KAAK,GAAG,aAAa,CAAC;AAE5B,MAAM,MAAM,GAAG,CAAC,CAAa,EAAU,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAEvF,yCAAyC;AACzC,MAAM,UAAU,SAAS,CAAC,KAAkB,EAAE,QAA0C;IACtF,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,eAAe,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;AACnE,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,SAAS,CAAC,KAAkB,EAAE,QAA8C;IAC1F,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAC;IACnC,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;AAClE,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,OAAO,GAA2B,OAAO;IACpF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACnD,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,WAAW,CAAC,YAAY,EAAE,qCAAqC,IAAI,EAAE,CAAC,CAAC;IAC1G,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qEAAqE;AACrE,KAAK,UAAU,WAAW,CAAC,IAAY;IACrC,IAAI,CAAC;QACH,OAAO,IAAI,UAAU,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAK,CAAuB,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACjE,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,KAAK,UAAU,QAAQ,CAAC,GAAW,EAAE,QAAwB,EAAE,KAAkB;IAC/E,MAAM,IAAI,GAAG,CAAC,GAAW,EAAe,EAAE,CACxC,IAAI,WAAW,CAAC,iBAAiB,EAAE,kBAAkB,KAAK,CAAC,IAAI,wBAAwB,GAAG,KAAK,GAAG,EAAE,CAAC,CAAC;IACxG,IAAI,MAAW,CAAC;IAChB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,WAAW,CAAC,UAAU,EAAE,8BAA8B,GAAG,uBAAuB,KAAK,CAAC,IAAI,uBAAuB,CAAC,CAAC;IAC/H,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QAChC,IAAI,CAAC;YACH,OAAO,IAAI,UAAU,CAAC,MAAM,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/D,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO;QAAE,MAAM,IAAI,CAAC,gBAAgB,MAAM,CAAC,QAAQ,mBAAmB,CAAC,CAAC;IAChI,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACzG,IAAI,CAAC,GAAG,CAAC,EAAE;YAAE,MAAM,IAAI,CAAC,uBAAuB,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9D,IAAI,MAAM,GAAG,KAAK,CAAC,KAAK;YAAE,MAAM,IAAI,WAAW,CAAC,aAAa,EAAE,kBAAkB,KAAK,CAAC,IAAI,SAAS,GAAG,OAAO,MAAM,4BAA4B,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAC/J,OAAO,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;IACjD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,WAAW;YAAE,MAAM,CAAC,CAAC;QACtC,MAAM,IAAI,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAAkB,EAAE,QAAwB;IAChF,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,MAAM;YAAE,OAAO,MAAM,CAAC;QACnD,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACvC,IAAI,QAAQ,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;QACrC,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,kBAAkB,KAAK,CAAC,IAAI,yBAAyB,MAAM,2DAA2D,GAAG,sDAAsD,KAAK,CAAC,IAAI,uBAAuB,CACjN,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACnD,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;IAC9E,MAAM,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7B,IAAI,CAAC;QACH,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YACnE,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAChC,MAAM,IAAI,WAAW,CACnB,aAAa,EACb,kBAAkB,KAAK,CAAC,IAAI,SAAS,GAAG,mCAAmC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,mCAAmC,CAC3I,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC;IACV,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8GAA8G;AAC9G,MAAM,UAAU,YAAY,CAAC,KAAiB;IAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACtE,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK;QAAE,MAAM,IAAI,WAAW,CAAC,aAAa,EAAE,wCAAwC,CAAC,CAAC;IAC7I,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,WAAW,CAAC,aAAa,EAAE,kCAAkC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvH,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC1C,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACzC,EAAE,IAAI,CAAC,CAAC;QACR,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,UAAU,CAAC,CAAC;QACxD,EAAE,IAAI,UAAU,CAAC;QACjB,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACnC,EAAE,IAAI,CAAC,CAAC;QACR,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QACvE,EAAE,IAAI,IAAI,CAAC;IACb,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oHAAoH;AACpH,IAAI,SAAyG,CAAC;AAE9G,MAAM,aAAa,GAAG,KAAK,EAAE,QAAwB,EAA4C,EAAE,CACjG,YAAY,CAAC,MAAM,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEpE;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,QAAwB,EACxB,IAAI,GAA2E,aAAa;IAE5F,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IACzC,IAAI,SAAS,EAAE,MAAM,KAAK,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC,KAAK,CAAC;IACpF,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7B,SAAS,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACpC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE;QACf,IAAI,SAAS,EAAE,KAAK,KAAK,KAAK;YAAE,SAAS,GAAG,SAAS,CAAC;IACxD,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iHAAiH;AACjH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,KAA4B,EAC5B,QAAwB,EACxB,OAAO,GAA2B,OAAO;IAEzC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuC,CAAC;IAC3D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5B,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,MAAM,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/tex/bundles.json

@@ -0,0 +1,26 @@
+[
+    {
+        "name": "core",
+        "file": "scieng-tex-core.sctb",
+        "sha256": "20b7654bbf6da695eed7eef7895f3a59533f99e675cdb10e48f73d22ac47f43c",
+        "bytes": 9383293
+    },
+    {
+        "name": "diagrams",
+        "file": "scieng-tex-diagrams.sctb",
+        "sha256": "d11be2a1c7931c0d37496852adebe9b3de3deda4bcad98e5396e7eab9c56f2f7",
+        "bytes": 71534
+    },
+    {
+        "name": "science",
+        "file": "scieng-tex-science.sctb",
+        "sha256": "38990ecd718cf5c670c7661418b2a0e427100a8f6b1bb0fc95f21faed0bb45df",
+        "bytes": 90196
+    },
+    {
+        "name": "math",
+        "file": "scieng-tex-math.sctb",
+        "sha256": "ffb760bdb04aa35d4ee56e8bf9ae6a628dd7d204c6aac55d147e651f1854343e",
+        "bytes": 721870
+    }
+]

package/dist/tex/detect.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Package detection of the TeX stage.
+ *
+ * The method follows the templater of the Upmath renderer (parpalak/i.upmath.me, MIT licence,
+ * copyright Roman Parpalak): the scan looks for known environments and commands in the source
+ * and names the package that each one needs. This module adds package lines, TikZ libraries,
+ * the comment and verbatim blanking, the bundle tables and the rejection of packages that no
+ * bundle holds. It copies no code of the templater.
+ *
+ * The scan is not a security boundary. TeX runs on a virtual file tree that holds only the
+ * bundles, so a package that the scan misses fails inside TeX.
+ */
+/** The name of a TeX bundle. */
+export type BundleName = "core" | "diagrams" | "science" | "math";
+/** The result of a scan. */
+export interface Detection {
+    /** The bundles that the source needs, sorted, with `core` first. */
+    bundles: BundleName[];
+    /** The packages that the source names or implies, sorted, each one once. */
+    packages: string[];
+}
+/**
+ * Scans a TeX source and names the bundles that it needs.
+ * Throws E_UNSUPPORTED for a package with the GPL as its only licence, for a package that no bundle holds
+ * and for a `fontenc` option other than OT1.
+ */
+export declare function detectBundles(source: string): Detection;

package/dist/tex/detect.js

@@ -0,0 +1,212 @@
+import { RenderError } from "../errors.js";
+/** The allowed package names of each bundle. */
+const BUNDLE_PACKAGES = {
+    core: [
+        "tikz", "pgf", "xcolor", "color", "circuitikz", "standalone", "graphicx", "xkeyval",
+        "etoolbox", "ifthen", "array", "calc", "fontenc", "inputenc", "textcomp", "xspace",
+    ],
+    diagrams: ["tikz-cd", "tikz-3dplot", "smartdiagram"],
+    science: ["chemfig", "simplekv", "mhchem", "chemgreek", "l3packages", "bussproofs"],
+    math: ["amsmath", "amssymb", "amsfonts", "amsthm", "amscd", "amsbsy", "amsopn", "amstext", "amsgen", "eucal"],
+};
+/** The TikZ libraries that a bundle other than core holds. */
+const DIAGRAM_LIBRARIES = ["hobby", "cd"];
+/** The packages with the GPL as their only licence, each with its replacement. */
+const GPL_REPLACEMENTS = {
+    pgfplots: "the plotly input type and the plot stage",
+    "pgf-umlsd": "a Mermaid sequence diagram",
+    xy: "tikz-cd",
+    esvect: "\\vec or \\overrightarrow",
+    mathrsfs: "\\mathscr from the AMS eucal package",
+};
+/** Environments that need a package. A starred form matches too. */
+const ENVIRONMENT_RULES = [
+    ["tikzpicture", "tikz"],
+    ["circuitikz", "circuitikz"],
+    ["tikzcd", "tikz-cd"],
+    ["prooftree", "bussproofs"],
+    ["sequencediagram", "pgf-umlsd"],
+    ["axis", "pgfplots"],
+    ["xy", "xy"],
+    ...[
+        "align", "alignat", "flalign", "gather", "multline", "split", "aligned", "gathered", "subequations",
+        "cases", "matrix", "pmatrix", "bmatrix", "Bmatrix", "vmatrix", "Vmatrix", "smallmatrix",
+    ].map((name) => [name, "amsmath"]),
+];
+/** Commands that need a package. A longer command name never matches. */
+const COMMAND_RULES = [
+    ["tikz", "tikz"],
+    ["smartdiagram", "smartdiagram"],
+    ["tdplotsetmaincoords", "tikz-3dplot"],
+    ["tdplotsetrotatedcoords", "tikz-3dplot"],
+    ["ce", "mhchem"],
+    ["chemfig", "chemfig"],
+    ["addplot", "pgfplots"],
+    ["xymatrix", "xy"],
+    ["vv", "esvect"],
+    ["mathscr", "mathrsfs"],
+    ...["DisplayProof", "AxiomC", "UnaryInfC", "BinaryInfC", "TrinaryInfC", "QuaternaryInfC", "QuinaryInfC"].map((name) => [name, "bussproofs"]),
+    ...["color", "textcolor", "colorbox", "pagecolor", "definecolor"].map((name) => [name, "xcolor"]),
+    ...["mathbb", "mathfrak"].map((name) => [name, "amssymb"]),
+    ...["text", "dfrac", "tfrac", "binom", "operatorname", "intertext", "substack"].map((name) => [name, "amsmath"]),
+];
+/** Environments whose body the scan blanks. */
+const VERBATIM_BEGIN = /^\\begin\s*\{(verbatim\*?|lstlisting|minted)\}/;
+const VERB = /^\\verb\*?([^A-Za-z\s*])/;
+const PACKAGE_LINE = /\\(?:usepackage|RequirePackage(?:WithOptions)?)\s*(?:\[([^\]]*)\])?\s*\{([^}]*)\}/g;
+const LIBRARY_LINE = /\\usetikzlibrary\s*\{([^}]*)\}/g;
+const BUNDLE_OF = new Map();
+for (const [bundle, names] of Object.entries(BUNDLE_PACKAGES)) {
+    for (const name of names) {
+        BUNDLE_OF.set(name, bundle);
+    }
+}
+/** The only font encoding that the bundles hold. Latin Modern, which T1 and the other encodings need, is in no bundle. */
+const BUNDLED_ENCODING = "OT1";
+/** The first option of a `fontenc` line that names an encoding other than OT1, or `undefined`. */
+function foreignEncoding(options) {
+    return (options ?? "")
+        .split(",")
+        .map((option) => option.trim())
+        .find((option) => option !== "" && option !== BUNDLED_ENCODING);
+}
+/** Replaces the characters of a range with spaces and keeps the line breaks. */
+function blank(chars, from, to) {
+    for (let k = from; k < to; k += 1) {
+        if (chars[k] !== "\n") {
+            chars[k] = " ";
+        }
+    }
+}
+/**
+ * Blanks the comments, the verbatim bodies, the `\verb` text and each double backslash.
+ * The result has the length of the source and the same line breaks.
+ */
+function sanitize(source) {
+    const chars = source.split("");
+    let i = 0;
+    while (i < source.length) {
+        const c = source[i];
+        if (c === "%") {
+            const end = source.indexOf("\n", i);
+            const stop = end < 0 ? source.length : end;
+            blank(chars, i, stop);
+            i = stop;
+        }
+        else if (c === "\\") {
+            const rest = source.slice(i, i + 40);
+            const begin = VERBATIM_BEGIN.exec(rest);
+            const verb = VERB.exec(rest);
+            const next = source[i + 1];
+            if (begin !== null) {
+                const bodyStart = i + begin[0].length;
+                const end = source.indexOf(`\\end{${begin[1]}}`, bodyStart);
+                if (end >= 0) {
+                    blank(chars, bodyStart, end);
+                    i = end;
+                }
+                else {
+                    i = bodyStart;
+                }
+            }
+            else if (verb !== null) {
+                const textStart = i + verb[0].length;
+                const close = source.indexOf(verb[1], textStart);
+                const lineEnd = source.indexOf("\n", textStart);
+                if (close >= 0 && (lineEnd < 0 || close < lineEnd)) {
+                    blank(chars, i, close + 1);
+                    i = close + 1;
+                }
+                else {
+                    i += verb[0].length;
+                }
+            }
+            else if (next === "\\") {
+                blank(chars, i, i + 2);
+                i += 2;
+            }
+            else {
+                i += 2;
+            }
+        }
+        else {
+            i += 1;
+        }
+    }
+    return chars.join("");
+}
+/** Collects the first position of each package that the clean text names or implies. */
+function findPackages(text) {
+    const findings = [];
+    const extra = new Set();
+    for (const m of text.matchAll(PACKAGE_LINE)) {
+        for (const part of m[2].split(",")) {
+            const name = part.trim();
+            if (name !== "") {
+                const encoding = name === "fontenc" ? foreignEncoding(m[1]) : undefined;
+                findings.push(encoding === undefined ? { name, index: m.index } : { name, index: m.index, encoding });
+            }
+        }
+    }
+    for (const m of text.matchAll(LIBRARY_LINE)) {
+        for (const part of m[1].split(",")) {
+            if (DIAGRAM_LIBRARIES.includes(part.trim())) {
+                extra.add("diagrams");
+            }
+        }
+    }
+    for (const [env, name] of ENVIRONMENT_RULES) {
+        const hit = new RegExp(`\\\\begin\\s*\\{${env}\\*?\\}`).exec(text);
+        if (hit !== null) {
+            findings.push({ name, index: hit.index });
+        }
+    }
+    for (const [command, name] of COMMAND_RULES) {
+        const hit = new RegExp(`\\\\${command}(?![A-Za-z])`).exec(text);
+        if (hit !== null) {
+            findings.push({ name, index: hit.index });
+        }
+    }
+    return { findings, extra };
+}
+function lineOf(text, index) {
+    let line = 1;
+    for (let k = 0; k < index; k += 1) {
+        if (text[k] === "\n") {
+            line += 1;
+        }
+    }
+    return line;
+}
+/**
+ * Scans a TeX source and names the bundles that it needs.
+ * Throws E_UNSUPPORTED for a package with the GPL as its only licence, for a package that no bundle holds
+ * and for a `fontenc` option other than OT1.
+ */
+export function detectBundles(source) {
+    const text = sanitize(source);
+    const { findings, extra } = findPackages(text);
+    findings.sort((a, b) => a.index - b.index);
+    const bundles = new Set(["core", ...extra]);
+    const packages = new Set();
+    for (const { name, index, encoding } of findings) {
+        if (encoding !== undefined) {
+            throw new RenderError("E_UNSUPPORTED", `Font encoding "${encoding}" is not available: only the OT1 encoding is bundled, and the Latin Modern fonts that T1 needs are in no bundle. Use the OT1 encoding or remove the fontenc option.`, { line: lineOf(text, index) });
+        }
+        const replacement = Object.hasOwn(GPL_REPLACEMENTS, name) ? GPL_REPLACEMENTS[name] : undefined;
+        const bundle = BUNDLE_OF.get(name);
+        if (replacement !== undefined) {
+            throw new RenderError("E_UNSUPPORTED", `TeX package "${name}" has the GPL as its only licence, so no bundle holds it. Replacement: ${replacement}.`, { line: lineOf(text, index) });
+        }
+        if (bundle === undefined) {
+            throw new RenderError("E_UNSUPPORTED", `TeX package "${name}" is not in any bundle.`, {
+                line: lineOf(text, index),
+            });
+        }
+        bundles.add(bundle);
+        packages.add(name);
+    }
+    const rest = [...bundles].filter((b) => b !== "core").sort();
+    return { bundles: ["core", ...rest], packages: [...packages].sort() };
+}
+//# sourceMappingURL=detect.js.map

package/dist/tex/detect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"detect.js","sourceRoot":"","sources":["../../src/tex/detect.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AA0B3C,gDAAgD;AAChD,MAAM,eAAe,GAA0C;IAC7D,IAAI,EAAE;QACJ,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS;QACnF,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ;KACnF;IACD,QAAQ,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,cAAc,CAAC;IACpD,OAAO,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,CAAC;IACnF,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC;CAC9G,CAAC;AAEF,8DAA8D;AAC9D,MAAM,iBAAiB,GAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAE7D,kFAAkF;AAClF,MAAM,gBAAgB,GAAqC;IACzD,QAAQ,EAAE,0CAA0C;IACpD,WAAW,EAAE,4BAA4B;IACzC,EAAE,EAAE,SAAS;IACb,MAAM,EAAE,2BAA2B;IACnC,QAAQ,EAAE,sCAAsC;CACjD,CAAC;AAEF,oEAAoE;AACpE,MAAM,iBAAiB,GAA6C;IAClE,CAAC,aAAa,EAAE,MAAM,CAAC;IACvB,CAAC,YAAY,EAAE,YAAY,CAAC;IAC5B,CAAC,QAAQ,EAAE,SAAS,CAAC;IACrB,CAAC,WAAW,EAAE,YAAY,CAAC;IAC3B,CAAC,iBAAiB,EAAE,WAAW,CAAC;IAChC,CAAC,MAAM,EAAE,UAAU,CAAC;IACpB,CAAC,IAAI,EAAE,IAAI,CAAC;IACZ,GAAG;QACD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc;QACnG,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa;KACxF,CAAC,GAAG,CAAC,CAAC,IAAI,EAA6B,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;CAC9D,CAAC;AAEF,yEAAyE;AACzE,MAAM,aAAa,GAA6C;IAC9D,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,cAAc,EAAE,cAAc,CAAC;IAChC,CAAC,qBAAqB,EAAE,aAAa,CAAC;IACtC,CAAC,wBAAwB,EAAE,aAAa,CAAC;IACzC,CAAC,IAAI,EAAE,QAAQ,CAAC;IAChB,CAAC,SAAS,EAAE,SAAS,CAAC;IACtB,CAAC,SAAS,EAAE,UAAU,CAAC;IACvB,CAAC,UAAU,EAAE,IAAI,CAAC;IAClB,CAAC,IAAI,EAAE,QAAQ,CAAC;IAChB,CAAC,SAAS,EAAE,UAAU,CAAC;IACvB,GAAG,CAAC,cAAc,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,aAAa,CAAC,CAAC,GAAG,CAC1G,CAAC,IAAI,EAA6B,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAC1D;IACD,GAAG,CAAC,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,GAAG,CACnE,CAAC,IAAI,EAA6B,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CACtD;IACD,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAA6B,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrF,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,GAAG,CACjF,CAAC,IAAI,EAA6B,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CACvD;CACF,CAAC;AAEF,+CAA+C;AAC/C,MAAM,cAAc,GAAG,gDAAgD,CAAC;AACxE,MAAM,IAAI,GAAG,0BAA0B,CAAC;AACxC,MAAM,YAAY,GAAG,oFAAoF,CAAC;AAC1G,MAAM,YAAY,GAAG,iCAAiC,CAAC;AAEvD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAsB,CAAC;AAChD,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,eAAe,CAA2C,EAAE,CAAC;IACxG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AASD,0HAA0H;AAC1H,MAAM,gBAAgB,GAAG,KAAK,CAAC;AAE/B,kGAAkG;AAClG,SAAS,eAAe,CAAC,OAA2B;IAClD,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC;SACnB,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;SAC9B,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,EAAE,IAAI,MAAM,KAAK,gBAAgB,CAAC,CAAC;AACpE,CAAC;AAED,gFAAgF;AAChF,SAAS,KAAK,CAAC,KAAe,EAAE,IAAY,EAAE,EAAU;IACtD,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACtB,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;QACjB,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,QAAQ,CAAC,MAAc;IAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACpC,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;YAC3C,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YACtB,CAAC,GAAG,IAAI,CAAC;QACX,CAAC;aAAM,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;YACrC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,MAAM,SAAS,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBACtC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;gBAC5D,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;oBACb,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;oBAC7B,CAAC,GAAG,GAAG,CAAC;gBACV,CAAC;qBAAM,CAAC;oBACN,CAAC,GAAG,SAAS,CAAC;gBAChB,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBACzB,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBACrC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAW,EAAE,SAAS,CAAC,CAAC;gBAC3D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAChD,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,IAAI,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC;oBACnD,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;oBAC3B,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;gBAChB,CAAC;qBAAM,CAAC;oBACN,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBACtB,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBACzB,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBACvB,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;iBAAM,CAAC;gBACN,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;QACH,CAAC;aAAM,CAAC;YACN,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC;AAED,wFAAwF;AACxF,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAc,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAK,CAAC,CAAC,CAAC,CAAY,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;gBAChB,MAAM,QAAQ,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACxE,QAAQ,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;YACxG,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAK,CAAC,CAAC,CAAC,CAAY,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,IAAI,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC5C,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,iBAAiB,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,mBAAmB,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,aAAa,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,OAAO,OAAO,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,MAAM,CAAC,IAAY,EAAE,KAAa;IACzC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACrB,IAAI,IAAI,CAAC,CAAC;QACZ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/C,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAa,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,QAAQ,EAAE,CAAC;QACjD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,WAAW,CACnB,eAAe,EACf,kBAAkB,QAAQ,qKAAqK,EAC/L,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAC9B,CAAC;QACJ,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/F,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,WAAW,CACnB,eAAe,EACf,gBAAgB,IAAI,0EAA0E,WAAW,GAAG,EAC5G,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAC9B,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,gBAAgB,IAAI,yBAAyB,EAAE;gBACpF,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;aAC1B,CAAC,CAAC;QACL,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7D,OAAO,EAAE,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,IAAI,CAAiB,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AACxF,CAAC"}

package/dist/tex/dvi.d.ts

@@ -0,0 +1,44 @@
+import type { SpecialPosition, SpecialResult } from "./specials.ts";
+/** The files of one font: the TFM, and the PFB when the font has outlines. */
+export interface FontFiles {
+    tfm: Uint8Array;
+    pfb: Uint8Array | null;
+}
+/** The options of the DVI converter. */
+export interface DviOptions {
+    /** The page to draw, counted from 1. The default is 1. */
+    page?: number;
+    /** The border around the marks, in SVG units. The default is 1. */
+    margin?: number;
+    /** The size of one TeX point in SVG units. The default is 1. */
+    unitPerPt?: number;
+    /** Reads one `\special` at the current position. It can give SVG text for the page and a box for the bounds. */
+    special?: (text: string, at: SpecialPosition) => SpecialResult | null;
+    /**
+     * Tells whether the page is inside a transformed group. While it gives true, the boxes of glyphs and rules do not
+     * join the bounds, because their DVI positions are not their places on the page. The boxes of specials still do.
+     */
+    transformed?: () => boolean;
+}
+/** The result of the DVI converter. */
+export interface DviSvg {
+    svg: string;
+    /** The number of glyph paths on the drawn page. */
+    glyphs: number;
+    /** The number of rules on the drawn page. */
+    rules: number;
+    /** The number of `\special` commands in the file. */
+    specials: number;
+    /** The number of pages in the file. */
+    pages: number;
+    /** The fonts and glyphs (`font:code`) that have no file or no outline. */
+    missing: string[];
+    /** The fonts that the file names, by font name. */
+    fonts: string[];
+}
+/**
+ * Converts a DVI file to SVG.
+ * `fontFiles` gives the files of a font by name. It returns `null` for an unknown font.
+ * A font with no PFB keeps its TFM advances, and each of its glyphs goes in the missing list.
+ */
+export declare function dviToSvg(dvi: Uint8Array, fontFiles: (name: string) => FontFiles | null, opt?: DviOptions): DviSvg;