paperlint 4.0.0 → 4.1.0

package/.github/workflows/ci.yml

@@ -19,7 +19,7 @@
 #   vigiles lint . README.md              6 s
 #   rules-see-files.mjs                   5 s
 #   layer-legacy-frozen.ts                3 s
-#   install e2e --strict (npm + pnpm)    28 s
+#   npm run test:e2e:install (npm+pnpm) 38 s
 #   ───────────────────────────────────────────
 #   total work                          ~96 s, plus checkout + install + the claude binary
 #
@@ -178,10 +178,11 @@ jobs:
         run: corepack enable pnpm
         timeout-minutes: 2
 
-      # Called directly with --strict, the same as the build e2e below. --strict: a manager that does not launch is a declared skip on a
-      # contributor's clone and a FAILURE here, because in CI it means a broken environment.
-      - name: install e2e (--strict)
-        run: node test/e2e/install.ts --strict
+      # The vitest project `e2e-install`: pack, install under npm and pnpm, run the binary. A manager
+      # that does not launch is a skip on a contributor's clone and a FAILURE here, because `CI` is set
+      # and in CI it means a broken environment (test/e2e/need.ts).
+      - name: npm run test:e2e:install
+        run: npm run test:e2e:install
         timeout-minutes: 10
 
   # ── BUILDING THE PAPER WITH REAL pdflatex, ON LINUX AND macOS ──────────────────────────────────
@@ -199,7 +200,7 @@ jobs:
   # 🔴 WHY ON EVERY PUSH. It catches silent font substitution — a class that HAS ALREADY shipped a
   # paper typeset in the wrong font. This repository is public, so the macOS minutes are free.
   #
-  # `--strict`: absence of TeX locally is a legitimate skip; here it is an environment failure.
+  # `CI` is set: absence of TeX locally is a legitimate skip; here it is an environment failure.
   build-e2e:
     if: github.event_name != 'pull_request' || github.event.pull_request.draft == false
     strategy:
@@ -258,7 +259,7 @@ jobs:
         uses: actions/cache@v6
         with:
           path: ~/.cache/paperlint-texlive
-          key: texlive-${{ runner.os }}-${{ runner.arch }}-${{ hashFiles('skills/submit-paper/references/venues/*.jsonc') }}
+          key: texlive-${{ runner.os }}-${{ runner.arch }}-${{ hashFiles('presets/*.jsonc') }}
 
       # The same command a user runs. On a cache hit it verifies and says "nothing to do"; on a miss
       # it installs from an empty directory and verifies every declared file with kpsewhich.
@@ -271,19 +272,11 @@ jobs:
         run: node bin/paperlint.mjs toolchain
         timeout-minutes: 15
 
-      # Proves banal works without poppler. This runner has no poppler, and the test also limits
-      # PATH to perl. paperlint turns each fixture PDF into XML with pdf.js, banal measures it, and the
-      # result must equal the numbers banal gave on the same PDFs through poppler's pdftohtml
-      # (recorded once, hardcoded in the test). Runs in seconds, hence the short timeout.
-      - name: banal e2e (--strict)
-        run: node test/e2e/banal.ts --strict
-        timeout-minutes: 3
-
-      # Called directly with --strict (see the install e2e step in the `gates` job).
-      - name: build e2e (--strict)
-        run: node test/e2e/build.ts --strict
-        timeout-minutes: 10
-
-      - name: toolchain e2e (--strict)
-        run: node test/e2e/toolchain.ts --strict
-        timeout-minutes: 10
+      # Every e2e test under test/e2e/tex/, found by the vitest project `e2e-tex`: the toolchain again
+      # (a no-op on the tree above, then a build with only it on PATH), the real banal on the XML
+      # paperlint writes (no poppler on this runner), and a real pdflatex build of every fixture in
+      # fixtures/build-e2e/, each against its own expect.json. `CI` is set on every runner, so a
+      # missing TeX Live or banal FAILS here instead of skipping (test/e2e/need.ts).
+      - name: npm run test:e2e:tex
+        run: npm run test:e2e:tex
+        timeout-minutes: 20

package/CLAUDE.md

@@ -77,6 +77,13 @@ and stay QUIET on a clean fixture. A check that has only been seen quiet is
 indistinguishable from a dead one — silence is its success state. Prove the fire half by
 seeing the test go RED before the fix lands ([`docs/testing.md`](docs/testing.md)).
 
+**A new rule ships with its page**, `docs/rules/<group>/<rule>.md`, in these sections: What it
+catches · Why · Examples (failing / passing) · Options / preset fields · What it does not check ·
+How to fix. Its `meta.docs.url` points at that page, and its row in `docs/rules.md` is one line
+linking there. `src/rule-docs.test.ts` holds every rule the config registers to this; the rules
+older than the convention wait in its `AWAITING_PAGE` list, which only shrinks — #131 writes their
+pages.
+
 **4. `exit 0` with empty output is NOT "clean".** A rule whose glob matched no files reports
 exactly like a rule that passed. Any rule shipped here must be loud when its input set is
 empty. This is the specific defect that blocks stage 1 of the plan: in the source base a
@@ -150,13 +157,15 @@ Four proposals were made and withdrawn in one session on 2026-09-17 for exactly
 
 **10. Effects live in adapters, and WHERE paperlint IS INSTALLED lives in ONE of them.** Rule 6 generalised: the caller's cwd is one case of it. Checking logic — lint rules,
 skills, hooks — must not know its own location, nor its distance from anything else. Every
-answer to _where_ comes from `skills/paper-pipeline/scripts/consumer.mjs`, which adapts per
-channel: own checkout · `node_modules` · plugin cache · CI. A skill naming a script by an
-install-specific path in its own prose walks around that door, and 208 such literals across 190
-lines do exactly that.
+answer to _where_ comes from one of two modules, each for one side: the consumer (its root, the
+package's name) from `skills/paper-pipeline/scripts/consumer.mjs`, which adapts per channel — own
+checkout · `node_modules` · plugin cache · CI; the package's own data (`presets/`, `presets/tex/`)
+from `src/package-dirs.ts`. A skill naming a script by an install-specific path in its own prose
+walks around that door, and 208 such literals across 190 lines do exactly that.
 
-<!-- The port's path above is resolved by `npm run check` (vigiles lint), since #67. -->
+<!-- The ports' paths above are resolved by `npm run check` (vigiles lint), since #67. -->
 <!-- vigiles:file skills/paper-pipeline/scripts/consumer.mjs -->
+<!-- vigiles:file src/package-dirs.ts -->
 
 The layer rules for `src/` live in [`src/CLAUDE.md`](src/CLAUDE.md) and are enforced by the linter.
 
@@ -493,18 +502,29 @@ justified two hundred lines above precisely by these minutes being free.
 
 ## Testing
 
-| you are testing                                                            | kind                                          |
-| -------------------------------------------------------------------------- | --------------------------------------------- |
-| a pure function                                                            | unit — vitest, `<module>.test.ts` beside it   |
-| a use case or adapter that reaches disk, a process, the network, the clock | integration — vitest, fakes through the ports |
-| a hook's decision, a skill's contract                                      | harness — vigiles, `<surface>.harness.ts`     |
-| the installed package, a real TeX build                                    | e2e — `test/e2e/*.ts`                         |
+| you are testing                                                            | kind                                                        |
+| -------------------------------------------------------------------------- | ----------------------------------------------------------- |
+| a pure function                                                            | unit — vitest, `<module>.test.ts` beside it                 |
+| a use case or adapter that reaches disk, a process, the network, the clock | integration — vitest, fakes through the ports               |
+| a hook's decision, a skill's contract                                      | harness — vigiles, `<surface>.harness.ts`                   |
+| the installed package, a real TeX build                                    | e2e — `test/e2e/<area>/*.e2e.ts`, `npm run test:e2e:<area>` |
 
 Red first · assert the whole value · test what the code does, never what its source says · no test
 touches the real network · 100% coverage, no `c8 ignore`. **Before every push: `npm run check`,
 exit code read without a pipe.** Everything else — where files live, how fakes are injected, the
 `--min=1` trap: [`docs/testing.md`](docs/testing.md).
 
+**A new rule** needs unit tests beside it and a reporting and a silent case in
+`src/rule-cases.test.ts`, which runs every registered rule through real ESLint and fails on one
+without cases. An e2e fixture only when [`docs/e2e.md`](docs/e2e.md)'s triggers say so.
+
+**New code is functional.** In `src/`, `eslint-rules/` and `lib/` (tests aside) there is no
+`let`, no mutation, no loop, and types are read-only (`eslint-plugin-functional`); a `switch` over a
+union names every member. Collections go through [Remeda](https://remedajs.com/) — `lodash`,
+`lodash-es` and `ramda` are refused by `npm run lint`. Old code is listed in
+`eslint-suppressions.json`, ESLint's own bulk suppressions, which may only shrink: fixing a listed
+site without `npx eslint . --prune-suppressions` fails lint, and #134 burns the list down.
+
 ## Commits
 
 Conventional-commit subject, body says what was MEASURED, not what was intended. A number in

package/CONTRIBUTING.md

@@ -37,12 +37,14 @@ install e2e under npm and pnpm, and a real `pdflatex` build — and ends
 by printing **which CI jobs it does not reproduce, and why**.
 
 🔴 **There is no `--fast` flag, and that is the point.** On 2026-09-19 a rule change was pushed
-that broke the suite: the gates were run afterwards and were green, but `npm test` and
-`test:install` were not among them, because there were eleven separate scripts and the only way
+that broke the suite: the gates were run afterwards and were green, but `npm test` and the
+install e2e were not among them, because there were eleven separate scripts and the only way
 to run them all was from memory. A subset flag re-creates exactly that — the cheap half gets run
 and reported as "the gates". If a step genuinely cannot run here, it says so out loud rather than
-being skipped quietly: an e2e that finds no TeX or no pnpm exits 77 _having stated_ why, and
-`npm run check` lists it as skipped instead of counting it as passed.
+being skipped quietly: an e2e test that finds no TeX or no pnpm is reported SKIPPED by vitest,
+and `npm run check` reads that count from vitest's JSON report and lists the gate as skipped
+instead of counting it as passed. The e2e areas also run alone: `npm run test:e2e:install`,
+`npm run test:e2e:tex`, or both with `npm run test:e2e`.
 
 Each gate's command is listed in `scripts/check.ts`; run one of them directly while iterating on
 one rule. They are not what you run before pushing.
@@ -75,6 +77,13 @@ Most of the package's rules run on users' papers and are described for users in
 [`docs/rules.md`](docs/rules.md); the rest lint this package's own source and never see a user's
 files.
 
+A new rule ships with its page, `docs/rules/<group>/<rule>.md`, in these sections: What it
+catches · Why · Examples (failing / passing) · Options / preset fields · What it does not check ·
+How to fix. Its `meta.docs.url` points at that page, and its row in `docs/rules.md` is one line
+linking there. `src/rule-docs.test.ts` holds every rule the config registers to this; the rules
+older than the convention wait in its `AWAITING_PAGE` list, which only shrinks — #131 writes their
+pages.
+
 ## Maintainer docs
 
 The README links only what a user needs. These are for people changing the package:
@@ -102,6 +111,13 @@ npm run coverage         # the same, under c8, failing below the thresholds in .
 None of these are needed to USE the tool — they are here because the gates are part of the
 argument, not decoration.
 
+**New code is functional.** In `src/`, `eslint-rules/` and `lib/` (tests aside) there is no
+`let`, no mutation, no loop, and types are read-only (`eslint-plugin-functional`); a `switch` over a
+union names every member. Collections go through [Remeda](https://remedajs.com/) — `lodash`,
+`lodash-es` and `ramda` are refused by `npm run lint`. Old code is listed in
+`eslint-suppressions.json`, ESLint's own bulk suppressions, which may only shrink: fixing a listed
+site without `npx eslint . --prune-suppressions` fails lint, and #134 burns the list down.
+
 New code is TypeScript (#78). The last block of [`eslint.config.mjs`](eslint.config.mjs) makes any
 `.js`, `.mjs` or `.cjs` file an error in the directories already converted (`TYPESCRIPT_ONLY`), so
 `npm run lint` fails on one; a directory that still mixes the two is not listed yet, and the change
@@ -139,17 +155,17 @@ change to `.c8rc.json`'s exclude list that was not made there on purpose.
 
 ## Adding a venue
 
-A venue is a **preset**, a JSONC file in `skills/submit-paper/references/venues/`, validated by
+A venue is a **preset**, a JSONC file in `presets/`, validated by
 `venue-profile.schema.json` beside it. Adding one is three files and no code:
 
-1. **The preset, thin.** `venues/<name>.jsonc` extends the template family it is built on
+1. **The preset, thin.** `presets/<name>.jsonc` extends the template family it is built on
    (`"extends": "paperlint:acm-sigconf"` for an ACM venue) and adds only what the call for papers
    sets: `format.kinds` (the page limit of each kind of paper) and, when the venue's producer asks
    for something an optional rule checks, `rules`. Every number carries the quote it came from.
    A venue on a template with no family yet stands alone (`template`, `tex`, `format`) — or, better,
    add the family first: measured on a real template build (banal + pdf.js), not copied from
    documentation ([#88](https://github.com/zernie/paperlint/issues/88)).
-2. **The card.** `venues/<name>.md` — prose about the venue: deadlines, tracks, the blind model,
+2. **The card.** `skills/submit-paper/references/venues/<name>.md` — prose about the venue: deadlines, tracks, the blind model,
    what the form asks.
 3. **A test.** A case in `src/presets.test.ts` that `paperlint:<name>` resolves over its family with
    the kinds you declared; `src/tex-requirements.harness.ts` already checks every shipped preset

package/README.md

@@ -69,14 +69,17 @@ build:  compiles and measures the PDF; lint then checks pages, fonts, references
 A **venue preset** holds a venue's format and page limits. A paper's **kind** picks which limit
 applies: at AgenticDev a `short` paper gets 5 pages and a `full` one 10. You choose it once per paper.
 
-| preset                  | venue              | format             | kinds and page limits                                                                       |
-| ----------------------- | ------------------ | ------------------ | ------------------------------------------------------------------------------------------- |
-| `paperlint:acm-sigconf` | any ACM conference | ACM two-column     | no kinds: the format only, no page limit                                                    |
-| `paperlint:agenticdev`  | AgenticDev @ ASE   | ACM two-column     | `short` 5, `full` 10, `demo` 5 pages, + 2 pages of references                               |
-| `paperlint:aisec`       | AISec @ ACM CCS    | ACM two-column     | `research`, `benchmark`, `position`, `sok`: 10 pages + 2 pages of references                |
-| `paperlint:realm`       | REALM @ EMNLP      | ACL two-column, A4 | `long` 8, `short` 4 — recorded, not checked ([why](docs/rules.md#checks-against-the-venue)) |
-
-Not shipped yet: IEEE, USENIX, NeurIPS, Springer, and ACL venues other than REALM.
+| preset                      | venue               | format                     | kinds and page limits                                                                                                               |
+| --------------------------- | ------------------- | -------------------------- | ----------------------------------------------------------------------------------------------------------------------------------- |
+| `paperlint:acm-sigconf`     | any ACM conference  | ACM two-column             | no kinds: the format only, no page limit                                                                                            |
+| `paperlint:agenticdev`      | AgenticDev @ ASE    | ACM two-column             | `short` 5, `full` 10, `demo` 5 pages, + 2 pages of references                                                                       |
+| `paperlint:aisec`           | AISec @ ACM CCS     | ACM two-column             | `research`, `benchmark`, `position`, `sok`: 10 pages + 2 pages of references                                                        |
+| `paperlint:realm`           | REALM @ EMNLP       | ACL two-column, A4         | `long` 8, `short` 4 — recorded, not checked ([why](docs/rules.md#checks-against-the-venue))                                         |
+| `paperlint:ieee-conference` | any IEEE conference | IEEE two-column            | no kinds: the format only, no page limit                                                                                            |
+| `paperlint:aidc`            | AIDC @ IEEE ACSAC   | IEEE two-column, `compsoc` | `regular` 12, `short` 6 — recorded, not checked ([why](docs/rules.md#checks-against-the-venue)); requires the «LLM Usage Statement» |
+
+Not shipped yet: USENIX, NeurIPS, Springer, IEEE venues other than AIDC, and ACL venues other than
+REALM.
 [Add yours](#-add-a-venue-that-isnt-listed) in one small file.
 
 ## 🚀 Getting started

package/dist/adapters/banal/invocation.d.ts

@@ -7,7 +7,7 @@
  * (`Error: Failed to run pdftohtml`, measured); told a version below 0.85 it applies a larger
  * correction and every font size moves. So `$PDFTOHTML` (banal's own override, line 166) points at a
  * stub that answers `-v` with `XML_DIALECT.version` — the pdftohtml whose XML `xml.ts` writes — and
- * refuses anything else. `test/e2e/banal.ts` shows both failures with the real banal.
+ * refuses anything else. `test/e2e/tex/banal.e2e.ts` shows both failures with the real banal.
  */
 import type { Opaque } from "ts-essentials";
 import type { AbsolutePath } from "../../domain/paths.ts";

package/dist/adapters/latex/document-class.d.ts

@@ -0,0 +1,22 @@
+/** The paper's `\documentclass`, a preset's template, and setting a class in a source. */
+import { type ClassLine, type DocumentClass } from "../../domain/tex-document.ts";
+import { type ParsedTex } from "./parse.ts";
+/**
+ * The first `\documentclass` at the top of the tree: missing; empty (`\documentclass{}`); or the
+ * class with each of its options as written (`foo={a,b}` stays one option, braces kept), whitespace
+ * collapsed. Its place spans the macro and its arguments.
+ */
+export declare function documentClassOf(t: ParsedTex): ClassLine;
+/**
+ * A preset's `template` → the class it names: a whole `\documentclass[…]{…}` line, or a bare class
+ * name (`article`), which names no option. Anything else is null.
+ */
+export declare function parseTemplate(text: string): DocumentClass | null;
+/**
+ * The source with its `\documentclass` line changed to satisfy `want` (see `venueClass`): another
+ * class is replaced by the template's line; the same class gains the options it lacks in place. A
+ * source whose class already satisfies `want`, or that has no class line the parser could place, is
+ * returned as it is.
+ */
+export declare function replaceDocumentClass(t: ParsedTex, want: DocumentClass): string;
+//# sourceMappingURL=document-class.d.ts.map

package/dist/adapters/latex/document-class.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"document-class.d.ts","sourceRoot":"","sources":["../../../src/adapters/latex/document-class.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,OAAO,EAGL,KAAK,SAAS,EACd,KAAK,aAAa,EACnB,MAAM,8BAA8B,CAAC;AAUtC,OAAO,EAAc,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAoDxD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,SAAS,GAAG,SAAS,CAGvD;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI,CAShE;AA0BD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,CAAC,EAAE,SAAS,EACZ,IAAI,EAAE,aAAa,GAClB,MAAM,CAoBR"}

package/dist/adapters/latex/document-class.js

@@ -0,0 +1,102 @@
+/** The paper's `\documentclass`, a preset's template, and setting a class in a source. */
+import { documentClassLine, venueClass, } from "../../domain/tex-document.js";
+import { collapse, macroPlace, mandatory, optional, textOf, } from "./nodes.js";
+import { parseLatex } from "./parse.js";
+const isDocumentClass = (n) => n.type === "macro" && n.content === "documentclass";
+const isComma = (n) => n.type === "string" && n.content === ",";
+/** Nodes split wherever `at` holds, the separators dropped: a comma inside braces is its group's. */
+function splitWhere(nodes, at) {
+    const cuts = nodes.flatMap((n, i) => (at(n) ? [i] : []));
+    return [-1, ...cuts].map((from, k) => nodes.slice(from + 1, cuts[k] ?? nodes.length));
+}
+/** The source text a run of nodes spans; its markup-free text if unplaced. */
+function sourceOf(src, nodes) {
+    const start = nodes[0]?.position?.start.offset;
+    const end = nodes.at(-1)?.position?.end.offset;
+    return start === undefined || end === undefined
+        ? textOf(nodes)
+        : src.slice(start, end);
+}
+/**
+ * One option as TeX reads it, whitespace collapsed. A line comment is not part of it, and it joins
+ * its two sides with no space: `foo=bar% note⏎baz` is `foo=barbaz`.
+ */
+const optionText = (src, part) => collapse(splitWhere(part, (n) => n.type === "comment")
+    .map((run) => sourceOf(src, run))
+    .join(""));
+const classNode = (t) => t.root.content.find(isDocumentClass);
+/** A `\documentclass` node as a class line: empty, or the class with its options as read. */
+function classLine(src, node) {
+    const place = macroPlace(node);
+    const cls = collapse(textOf(mandatory(node)[0]?.content));
+    if (cls === "")
+        return { kind: "empty", place };
+    const options = splitWhere(optional(node)?.content ?? [], isComma)
+        .map((part) => optionText(src, part))
+        .filter(Boolean);
+    return { kind: "class", cls, options, place };
+}
+/**
+ * The first `\documentclass` at the top of the tree: missing; empty (`\documentclass{}`); or the
+ * class with each of its options as written (`foo={a,b}` stays one option, braces kept), whitespace
+ * collapsed. Its place spans the macro and its arguments.
+ */
+export function documentClassOf(t) {
+    const node = classNode(t);
+    return node === undefined ? { kind: "missing" } : classLine(t.src, node);
+}
+/**
+ * A preset's `template` → the class it names: a whole `\documentclass[…]{…}` line, or a bare class
+ * name (`article`), which names no option. Anything else is null.
+ */
+export function parseTemplate(text) {
+    const t = parseLatex(text);
+    const [only, ...rest] = t.root.content.filter((n) => n.type !== "whitespace" && n.type !== "comment");
+    if (only === undefined || rest.length > 0)
+        return null;
+    const line = documentClassOf(t);
+    if (line.kind === "class")
+        return { cls: line.cls, options: line.options };
+    return only.type === "string" ? { cls: only.content, options: [] } : null;
+}
+/** `src` with `text` in place of `[from, to)`. */
+const splice = (src, from, to, text) => src.slice(0, from) + text + src.slice(to);
+/**
+ * `options` written into the class line's own source: before the `]` of its `[…]` — right after the
+ * last node inside, or right after the `[` when there is none — or as a new `[…]` after the name.
+ * The bytes between `[` and `]` stay as the author wrote them, comments and braces included.
+ */
+function addOptions(src, node, line, options) {
+    const list = options.join(",");
+    const nameEnd = line.start + 1 + node.content.length; // `\` and the macro's name
+    const opt = optional(node);
+    if (opt === undefined)
+        return splice(src, nameEnd, nameEnd, `[${list}]`);
+    const close = opt.content.at(-1)?.position?.end.offset ?? src.indexOf("[", nameEnd) + 1;
+    return splice(src, close, close, line.empty ? list : `,${list}`);
+}
+/**
+ * The source with its `\documentclass` line changed to satisfy `want` (see `venueClass`): another
+ * class is replaced by the template's line; the same class gains the options it lacks in place. A
+ * source whose class already satisfies `want`, or that has no class line the parser could place, is
+ * returned as it is.
+ */
+export function replaceDocumentClass(t, want) {
+    const node = classNode(t);
+    if (node === undefined)
+        return t.src;
+    const line = classLine(t.src, node);
+    if (line.kind !== "class" || line.place.kind === "unplaced")
+        return t.src;
+    const { start, end } = line.place.span;
+    const change = venueClass(line, want);
+    switch (change.kind) {
+        case "keep":
+            return t.src;
+        case "replace":
+            return splice(t.src, start, end, documentClassLine(change.by));
+        case "add":
+            return addOptions(t.src, node, { start, empty: line.options.length === 0 }, change.options);
+    }
+}
+//# sourceMappingURL=document-class.js.map

package/dist/adapters/latex/document-class.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"document-class.js","sourceRoot":"","sources":["../../../src/adapters/latex/document-class.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,OAAO,EACL,iBAAiB,EACjB,UAAU,GAGX,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,QAAQ,EACR,UAAU,EACV,SAAS,EACT,QAAQ,EACR,MAAM,GAGP,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,UAAU,EAAkB,MAAM,YAAY,CAAC;AAExD,MAAM,eAAe,GAAG,CAAC,CAAO,EAAc,EAAE,CAC9C,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,eAAe,CAAC;AAEtD,MAAM,OAAO,GAAG,CAAC,CAAO,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,GAAG,CAAC;AAE/E,qGAAqG;AACrG,SAAS,UAAU,CACjB,KAAsB,EACtB,EAAwB;IAExB,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzD,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CACnC,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAC/C,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,SAAS,QAAQ,CAAC,GAAW,EAAE,KAAsB;IACnD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC;IAC/C,MAAM,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC;IAC/C,OAAO,KAAK,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS;QAC7C,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;QACf,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAC5B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,GAAG,CAAC,GAAW,EAAE,IAAqB,EAAU,EAAE,CAChE,QAAQ,CACN,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;KAC1C,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;KAChC,IAAI,CAAC,EAAE,CAAC,CACZ,CAAC;AAEJ,MAAM,SAAS,GAAG,CAAC,CAAY,EAAqB,EAAE,CACpD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;AAEvC,6FAA6F;AAC7F,SAAS,SAAS,CAAC,GAAW,EAAE,IAAW;IACzC,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1D,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAChD,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,IAAI,EAAE,EAAE,OAAO,CAAC;SAC/D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;SACpC,MAAM,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,CAAY;IAC1C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC1B,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAC3E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAC3C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CACvD,CAAC;IACF,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IAC3E,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED,kDAAkD;AAClD,MAAM,MAAM,GAAG,CAAC,GAAW,EAAE,IAAY,EAAE,EAAU,EAAE,IAAY,EAAU,EAAE,CAC7E,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAE5C;;;;GAIG;AACH,SAAS,UAAU,CACjB,GAAW,EACX,IAAW,EACX,IAAyD,EACzD,OAA0B;IAE1B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,2BAA2B;IACjF,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3B,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,IAAI,GAAG,CAAC,CAAC;IACzE,MAAM,KAAK,GACT,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IAC5E,OAAO,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;AACnE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,CAAY,EACZ,IAAmB;IAEnB,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC;IACrC,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC;IAC1E,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IACvC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACtC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,GAAG,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACjE,KAAK,KAAK;YACR,OAAO,UAAU,CACf,CAAC,CAAC,GAAG,EACL,IAAI,EACJ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,EAC3C,MAAM,CAAC,OAAO,CACf,CAAC;IACN,CAAC;AACH,CAAC"}

package/dist/adapters/latex/hidden.d.ts

@@ -0,0 +1,16 @@
+/**
+ * What a reader of the PDF never sees, as a walk over the tree prunes it: comments, math and code,
+ * the bibliography's body, and the arguments that are keys, labels, files or URLs. The rendered
+ * text and the outline both prune with it.
+ *
+ * A macro definition's body is NOT pruned here. It is text once the macro is used, and nothing here
+ * expands macros, so the rendered text reads the body where it is written — a definition naming
+ * another venue is a leftover whether it is used or not. The outline prunes it on top
+ * (`isDefinition`): a heading in a definition body is not a section where it is written.
+ */
+import { type Visited } from "./nodes.ts";
+/** Whether the walk prunes `v` (given the node that holds it): see the module comment. */
+export declare const isUnrendered: (v: Visited, parent: Visited | undefined) => boolean;
+/** A macro that defines another macro or an environment (`\newcommand`, `\def`, …). */
+export declare const isDefinition: (v: Visited) => boolean;
+//# sourceMappingURL=hidden.d.ts.map

package/dist/adapters/latex/hidden.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hidden.d.ts","sourceRoot":"","sources":["../../../src/adapters/latex/hidden.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAKL,KAAK,OAAO,EACb,MAAM,YAAY,CAAC;AA4CpB,0FAA0F;AAC1F,eAAO,MAAM,YAAY,GACvB,GAAG,OAAO,EACV,QAAQ,OAAO,GAAG,SAAS,KAC1B,OACsE,CAAC;AAE1E,uFAAuF;AACvF,eAAO,MAAM,YAAY,GAAI,GAAG,OAAO,KAAG,OAC2B,CAAC"}

package/dist/adapters/latex/hidden.js

@@ -0,0 +1,49 @@
+/**
+ * What a reader of the PDF never sees, as a walk over the tree prunes it: comments, math and code,
+ * the bibliography's body, and the arguments that are keys, labels, files or URLs. The rendered
+ * text and the outline both prune with it.
+ *
+ * A macro definition's body is NOT pruned here. It is text once the macro is used, and nothing here
+ * expands macros, so the rendered text reads the body where it is written — a definition naming
+ * another venue is a leftover whether it is used or not. The outline prunes it on top
+ * (`isDefinition`): a heading in a definition body is not a section where it is written.
+ */
+import { isArgument, isNode, } from "./nodes.js";
+import { DEFINITION_MACROS, KEY_ARGUMENT, KEY_SIGNATURES } from "./parse.js";
+/** Environments whose body is not text a reader sees as prose: code, the bibliography, comments. */
+const HIDDEN_ENVS = new Set([
+    "thebibliography",
+    "verbatim",
+    "Verbatim",
+    "lstlisting",
+    "minted",
+    "comment",
+]);
+/** Node types a reader does not see as prose: comments, code, math. */
+const HIDDEN_TYPES = new Set([
+    "comment",
+    "verbatim",
+    "verb",
+    "inlinemath",
+    "displaymath",
+    "mathenv",
+]);
+const KEY_MACROS = new Set(Object.keys(KEY_SIGNATURES));
+/** A key macro that prints none of its arguments (`\label`, `\url`, …). */
+const isHiddenMacro = (name) => KEY_MACROS.has(name) && !KEY_ARGUMENT.has(name);
+const isHiddenNode = (n) => HIDDEN_TYPES.has(n.type) ||
+    (n.type === "environment" && HIDDEN_ENVS.has(n.env)) ||
+    (n.type === "macro" && isHiddenMacro(n.content));
+/**
+ * The one argument of a partly printed macro (`KEY_ARGUMENT`) that is a key or a URL. What holds an
+ * argument is a macro or an environment; the first three tests only narrow the type.
+ */
+const isKeyArgument = (a, parent) => parent !== undefined &&
+    isNode(parent) &&
+    parent.type === "macro" &&
+    parent.args?.indexOf(a) === KEY_ARGUMENT.get(parent.content);
+/** Whether the walk prunes `v` (given the node that holds it): see the module comment. */
+export const isUnrendered = (v, parent) => isArgument(v) ? isKeyArgument(v, parent) : isNode(v) && isHiddenNode(v);
+/** A macro that defines another macro or an environment (`\newcommand`, `\def`, …). */
+export const isDefinition = (v) => isNode(v) && v.type === "macro" && DEFINITION_MACROS.has(v.content);
+//# sourceMappingURL=hidden.js.map

package/dist/adapters/latex/hidden.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hidden.js","sourceRoot":"","sources":["../../../src/adapters/latex/hidden.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EACL,UAAU,EACV,MAAM,GAIP,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE7E,oGAAoG;AACpG,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC;IAC/C,iBAAiB;IACjB,UAAU;IACV,UAAU;IACV,YAAY;IACZ,QAAQ;IACR,SAAS;CACV,CAAC,CAAC;AAEH,uEAAuE;AACvE,MAAM,YAAY,GAA8B,IAAI,GAAG,CAAe;IACpE,SAAS;IACT,UAAU;IACV,MAAM;IACN,YAAY;IACZ,aAAa;IACb,SAAS;CACV,CAAC,CAAC;AAEH,MAAM,UAAU,GAAwB,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;AAE7E,2EAA2E;AAC3E,MAAM,aAAa,GAAG,CAAC,IAAY,EAAW,EAAE,CAC9C,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAElD,MAAM,YAAY,GAAG,CAAC,CAAO,EAAW,EAAE,CACxC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IACxB,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AAEnD;;;GAGG;AACH,MAAM,aAAa,GAAG,CAAC,CAAW,EAAE,MAA2B,EAAW,EAAE,CAC1E,MAAM,KAAK,SAAS;IACpB,MAAM,CAAC,MAAM,CAAC;IACd,MAAM,CAAC,IAAI,KAAK,OAAO;IACvB,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAE/D,0FAA0F;AAC1F,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,CAAU,EACV,MAA2B,EAClB,EAAE,CACX,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC;AAE1E,uFAAuF;AACvF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAU,EAAW,EAAE,CAClD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC"}

package/dist/adapters/latex/index.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Reads a paper.tex and answers three questions — checks nothing itself: `documentClassOf` (which
+ * class, with which options, and where), `outlineOf` (the sections in order, where the back matter
+ * starts, where the document ends) and `renderedRuns` (the text a reader sees, each character with
+ * its source offset). Used by `tex/template`, `tex/required-section`, `tex/venue-leftover` and
+ * `paperlint new`, through the `LatexReader` port (`src/ports/latex.ts`); `src/cli.ts` wires it.
+ *
+ * ── WHY THE PARSE TREE AND NOT THE `tex/latex` PROJECTION ────────────────────────
+ * The ESLint language's projection (`eslint-rules/latex-language.ts`) blanks the preamble,
+ * `\documentclass`, `\author` and every other macro in its OPAQUE list, because prose rules must
+ * not see markup. These questions are about exactly that markup: the class line, a `\section*`
+ * title, an `\institution{…}` in the author block. So the source is parsed here with unified-latex,
+ * the parser the language already uses.
+ *
+ * ── STATES, NOT NULL ─────────────────────────────────────────────────────────────
+ * A class line is missing, empty or a class; a node the parser gave no position is `unplaced`, not
+ * offset 0; a run of text is a non-empty list of contiguous segments, and a range outside it has
+ * no span (`spanIn` in `src/domain/tex-document.ts`). A tree travels only with its own source
+ * (`ParsedTex`, minted by `parseLatex` alone).
+ */
+import type { LatexReader } from "../../ports/latex.ts";
+export { documentClassOf, parseTemplate, replaceDocumentClass, } from "./document-class.ts";
+export { collapse, macroPlace, mandatory, optional, placeOf, textOf, } from "./nodes.ts";
+export { outlineOf } from "./outline.ts";
+export { parseLatex, type ParsedTex } from "./parse.ts";
+export { renderedRuns } from "./rendered.ts";
+/** The `LatexReader` port over unified-latex: each call parses its source once. */
+export declare const latexReader: LatexReader;
+//# sourceMappingURL=index.d.ts.map

package/dist/adapters/latex/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/adapters/latex/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAUxD,OAAO,EACL,eAAe,EACf,aAAa,EACb,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,QAAQ,EACR,UAAU,EACV,SAAS,EACT,QAAQ,EACR,OAAO,EACP,MAAM,GACP,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,mFAAmF;AACnF,eAAO,MAAM,WAAW,EAAE,WAMzB,CAAC"}

package/dist/adapters/latex/index.js

@@ -0,0 +1,18 @@
+import { documentClassOf, parseTemplate, replaceDocumentClass, } from "./document-class.js";
+import { outlineOf } from "./outline.js";
+import { parseLatex } from "./parse.js";
+import { renderedRuns } from "./rendered.js";
+export { documentClassOf, parseTemplate, replaceDocumentClass, } from "./document-class.js";
+export { collapse, macroPlace, mandatory, optional, placeOf, textOf, } from "./nodes.js";
+export { outlineOf } from "./outline.js";
+export { parseLatex } from "./parse.js";
+export { renderedRuns } from "./rendered.js";
+/** The `LatexReader` port over unified-latex: each call parses its source once. */
+export const latexReader = {
+    documentClass: (src) => documentClassOf(parseLatex(src)),
+    outline: (src) => outlineOf(parseLatex(src)),
+    renderedRuns: (src) => renderedRuns(parseLatex(src)),
+    template: parseTemplate,
+    withDocumentClass: (src, want) => replaceDocumentClass(parseLatex(src), want),
+};
+//# sourceMappingURL=index.js.map

package/dist/adapters/latex/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/adapters/latex/index.ts"],"names":[],"mappings":"AAqBA,OAAO,EACL,eAAe,EACf,aAAa,EACb,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,OAAO,EACL,eAAe,EACf,aAAa,EACb,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,QAAQ,EACR,UAAU,EACV,SAAS,EACT,QAAQ,EACR,OAAO,EACP,MAAM,GACP,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,UAAU,EAAkB,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,mFAAmF;AACnF,MAAM,CAAC,MAAM,WAAW,GAAgB;IACtC,aAAa,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACxD,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC5C,YAAY,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACpD,QAAQ,EAAE,aAAa;IACvB,iBAAiB,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC;CAC9E,CAAC"}

package/dist/adapters/latex/nodes.d.ts

@@ -0,0 +1,54 @@
+/** What the three readers share about unified-latex nodes: places, text, and the walk. */
+import type * as Ast from "@unified-latex/unified-latex-types";
+import type { Place } from "../../domain/tex-document.ts";
+export { collapse } from "../../domain/tex-document.ts";
+/** unified-latex's node types, read-only: nothing here writes to a tree. */
+export type Node = Readonly<Ast.Node>;
+export type Macro = Readonly<Ast.Macro>;
+export type Argument = Readonly<Ast.Argument>;
+/** Anything the parser may have given a position: offsets of its first and past its last character. */
+interface Positioned {
+    readonly position?: {
+        readonly start: {
+            readonly offset: number;
+        };
+        readonly end: {
+            readonly offset: number;
+        };
+    };
+}
+/** Where a node stands, or that it has no position. */
+export declare const placeOf: (n: Positioned) => Place;
+/** The first mandatory (`{…}`) and optional (`[…]`) arguments' contents, and the last mandatory one's. */
+export declare const mandatory: (m: Macro) => readonly Argument[];
+export declare const optional: (m: Macro) => Argument | undefined;
+/** What a string node reads as: itself, except a tie (`~`), which is a space the reader sees. */
+export declare const stringText: (content: string) => string;
+/**
+ * The text of a node list with markup dropped: strings, spaces, what groups hold, and the argument a
+ * formatting macro typesets — its last mandatory one (`\textbf{Usage}`, `\textcolor{red}{Usage}`,
+ * `\href{url}{Usage}` → `Usage`) unless `SHOWN_ARGUMENT` says otherwise. A key macro's arguments
+ * (`\label{…}`, `\cite{…}`) are not text.
+ */
+export declare const textOf: (nodes: readonly Node[] | undefined) => string;
+/**
+ * A macro's place with its arguments: from its name to past the closing mark of the last argument
+ * that holds text. unified-latex positions the name and the arguments' contents, never the
+ * arguments themselves, so an empty trailing argument is not covered.
+ */
+export declare function macroPlace(m: Macro): Place;
+/** What visit reaches: a node, an argument, or a node list (a content array, an argument list). */
+export type Visited = Readonly<Ast.Ast> | readonly (Node | Argument)[];
+/**
+ * Everything visit reaches under `tree`, in document order, node lists included; `skip` prunes what
+ * it is given (a node or an argument, with the node that holds it) and everything under it. visit
+ * reports through a callback and returns nothing, so the one collection point of this adapter is here.
+ */
+export declare function visited(tree: Ast.Ast, skip: (v: Visited, parent: Visited | undefined) => boolean): readonly Visited[];
+/** A node list visit reached. `Array.isArray` alone does not narrow a readonly array. */
+export declare const isList: (v: Visited) => v is readonly (Node | Argument)[];
+/** A macro's argument, as visit reports it. */
+export declare const isArgument: (v: Visited) => v is Argument;
+/** A node, as opposed to a node list or an argument (which visit also reports). */
+export declare const isNode: (v: Visited) => v is Node;
+//# sourceMappingURL=nodes.d.ts.map

package/dist/adapters/latex/nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../../src/adapters/latex/nodes.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,OAAO,KAAK,KAAK,GAAG,MAAM,oCAAoC,CAAC;AAE/D,OAAO,KAAK,EAAE,KAAK,EAAQ,MAAM,8BAA8B,CAAC;AAGhE,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAExD,4EAA4E;AAC5E,MAAM,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACtC,MAAM,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACxC,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAE9C,uGAAuG;AACvG,UAAU,UAAU;IAClB,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAClB,QAAQ,CAAC,KAAK,EAAE;YAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;SAAE,CAAC;QAC5C,QAAQ,CAAC,GAAG,EAAE;YAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;SAAE,CAAC;KAC3C,CAAC;CACH;AAED,uDAAuD;AACvD,eAAO,MAAM,OAAO,GAAI,GAAG,UAAU,KAAG,KAMjC,CAAC;AAER,0GAA0G;AAC1G,eAAO,MAAM,SAAS,GAAI,GAAG,KAAK,KAAG,SAAS,QAAQ,EACJ,CAAC;AACnD,eAAO,MAAM,QAAQ,GAAI,GAAG,KAAK,KAAG,QAAQ,GAAG,SACC,CAAC;AAEjD,iGAAiG;AACjG,eAAO,MAAM,UAAU,GAAI,SAAS,MAAM,KAAG,MACZ,CAAC;AA+BlC;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,SAAS,IAAI,EAAE,GAAG,SAAS,KAAG,MAU/C,CAAC;AAEd;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,GAAG,KAAK,CAS1C;AAED,mGAAmG;AACnG,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC;AAEvE;;;;GAIG;AACH,wBAAgB,OAAO,CAErB,IAAI,EAAE,GAAG,CAAC,GAAG,EACb,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,SAAS,KAAK,OAAO,GACzD,SAAS,OAAO,EAAE,CAapB;AAED,yFAAyF;AACzF,eAAO,MAAM,MAAM,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,SAAS,CAAC,IAAI,GAAG,QAAQ,CAAC,EACjD,CAAC;AAEnB,+CAA+C;AAC/C,eAAO,MAAM,UAAU,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,QACR,CAAC;AAEtC,mFAAmF;AACnF,eAAO,MAAM,MAAM,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,IACiB,CAAC"}