paperlint 4.0.0 → 4.2.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.
 
@@ -491,20 +500,55 @@ of the account-wide 3000/month shared with every other private repo, and the bud
 private again, this section and `.github/dependabot.yml` are revisited together** — the bot is
 justified two hundred lines above precisely by these minutes being free.
 
+## Writing checks — what keeps them from pushing papers toward a blog post
+
+The rules and skills that judge a paper's prose follow five principles. A new rule, or a new
+criterion in a skill, is held to them.
+
+1. **Every writing check is two-sided.** A check with only a ceiling — too long, too many markers,
+   too many of X — pushes every paper toward clipped, unsignposted prose, and the one equilibrium of
+   a set of ceilings is a blog post. A new check has a floor as well, or measures the distance to a
+   reference (accepted papers of the target venue); never only "less is better".
+2. **Rules count, skills judge.** What is countable on the parse tree — a density, a number with no
+   owner (`tex/claim-provenance`), a missing section — is a lint rule. What needs reading — register
+   relative to a venue, genre, whether a claim changed strength — is a skill criterion. A skill does
+   not grep prose for what a rule can count; a rule is not asked to judge register.
+3. **The model reader is the venue's reviewer, not only a smart outsider.** A check that simulates a
+   reader includes a skimming reviewer who reads the abstract, the introduction and the conclusion,
+   and judges whether it reads as a paper at that venue and whose result each sentence states.
+4. **Thresholds are calibrated, not borrowed.** A threshold is set with the same counter on real
+   accepted papers, never taken from a published figure measured by a different counter. Those
+   papers are [`fixtures/accepted-papers/`](fixtures/accepted-papers/README.md), and every rule's
+   count on them is recorded there.
+5. **A rewrite is accepted on what reviewers see.** That is the combined count of every surface form
+   of a tic (a narrow rule is gamed by rewording), plus a claims-preservation check that no claim was
+   softened or strengthened — not the one pattern the triggering rule matched.
+
 ## 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,20 @@ 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.
+
+**A rule or a skill criterion that judges prose is two-sided.** A check that only caps something —
+length, markers, hedges — drives papers toward clipped, unsignposted prose that reviewers call a
+blog post, so a new one also has a floor, or measures the distance to accepted papers of the target
+venue, with its threshold measured by the same counter on those papers. What the parse tree can
+count is a rule; what needs reading (register, genre) is a skill criterion. The five principles are
+in [`CLAUDE.md`](CLAUDE.md#writing-checks--what-keeps-them-from-pushing-papers-toward-a-blog-post).
+
 ## Maintainer docs
 
 The README links only what a user needs. These are for people changing the package:
@@ -102,6 +118,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 +162,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,23 @@
+/** 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 `\documentclass` at the top of the tree: missing; empty (`\documentclass{}`); the class with
+ * each of its options as written (`foo={a,b}` stays one option, braces kept), whitespace collapsed,
+ * its place spanning the macro and its arguments; or, when there are several (behind a TeX switch),
+ * each of them as a candidate.
+ */
+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`, that has no class line the parser could place, or
+ * that has several, 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,EAIL,KAAK,SAAS,EACd,KAAK,aAAa,EACnB,MAAM,8BAA8B,CAAC;AAUtC,OAAO,EAAc,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAqDxD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,SAAS,GAAG,SAAS,CAOvD;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,CAqBR"}

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

@@ -0,0 +1,110 @@
+/** 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(""));
+/** Every `\documentclass` at the top of the tree, in source order. */
+const classNodes = (t) => t.root.content.filter(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 `\documentclass` at the top of the tree: missing; empty (`\documentclass{}`); the class with
+ * each of its options as written (`foo={a,b}` stays one option, braces kept), whitespace collapsed,
+ * its place spanning the macro and its arguments; or, when there are several (behind a TeX switch),
+ * each of them as a candidate.
+ */
+export function documentClassOf(t) {
+    const lines = classNodes(t).map((n) => classLine(t.src, n));
+    const [first, second, ...rest] = lines;
+    if (first === undefined)
+        return { kind: "missing" };
+    return second === undefined
+        ? first
+        : { kind: "ambiguous", candidates: [first, second, ...rest] };
+}
+/**
+ * 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`, that has no class line the parser could place, or
+ * that has several, is returned as it is.
+ */
+export function replaceDocumentClass(t, want) {
+    // Several lines behind a switch: which one builds is not known, so none is rewritten.
+    const [node, ...others] = classNodes(t);
+    if (node === undefined || others.length > 0)
+        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,GAIX,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,sEAAsE;AACtE,MAAM,UAAU,GAAG,CAAC,CAAY,EAAoB,EAAE,CACpD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;AAEzC,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;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,CAAY;IAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5D,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC;IACvC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpD,OAAO,MAAM,KAAK,SAAS;QACzB,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;AAClE,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,sFAAsF;IACtF,MAAM,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC;IAC1D,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/includes.d.ts

@@ -0,0 +1,12 @@
+import type { Include } from "../../domain/paper-source.ts";
+import type { Span } from "../../domain/tex-document.ts";
+import type { ParsedTex } from "./parse.ts";
+/**
+ * Every `\input`, `\include` and `\subfile` of the source, in source order — not in a comment (a
+ * comment is a node of its own) and not in a macro definition's body, which is read where the macro
+ * is used, and nothing here expands macros.
+ */
+export declare const includesOf: (t: ParsedTex) => readonly Include[];
+/** The span of the `document` environment's body, or null when the source has none. */
+export declare const documentBodyOf: (t: ParsedTex) => Span | null;
+//# sourceMappingURL=includes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"includes.d.ts","sourceRoot":"","sources":["../../../src/adapters/latex/includes.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAC;AAYzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AA6B5C;;;;GAIG;AACH,eAAO,MAAM,UAAU,GAAI,GAAG,SAAS,KAAG,SAAS,OAAO,EAGU,CAAC;AAKrE,uFAAuF;AACvF,eAAO,MAAM,cAAc,GAAI,GAAG,SAAS,KAAG,IAAI,GAAG,IAOhD,CAAC"}

package/dist/adapters/latex/includes.js

@@ -0,0 +1,42 @@
+import { isDefinition } from "./hidden.js";
+import { inPlace, isNode, macroPlace, mandatory, placeOf, visited, } from "./nodes.js";
+const INCLUDE_MACROS = new Map([
+    ["input", "input"],
+    ["include", "include"],
+    ["subfile", "subfile"],
+]);
+/**
+ * The path an include names, as written: its braced argument, or — TeX's own form, `\input name` —
+ * the name up to the next space. unified-latex gives the unbraced form an argument of the first
+ * token only (`sections` of `sections/a`), so the source is read for it.
+ */
+function argumentText(src, m) {
+    const start = mandatory(m)[0]?.content[0]?.position?.start.offset;
+    if (start === undefined)
+        return null;
+    const rest = src.slice(start);
+    const stop = rest.search(src[start - 1] === "{" ? /\}/u : /[\s{}%]/u);
+    return stop < 0 ? rest : rest.slice(0, stop);
+}
+/** One include macro as an `Include`, or nothing when it names no file or has no place. */
+function includeOf(src, m) {
+    const macro = INCLUDE_MACROS.get(m.content);
+    const target = argumentText(src, m);
+    if (macro === undefined || target === null || target.trim() === "")
+        return [];
+    return inPlace(macroPlace(m), (span) => [{ macro, target, span }]);
+}
+/**
+ * Every `\input`, `\include` and `\subfile` of the source, in source order — not in a comment (a
+ * comment is a node of its own) and not in a macro definition's body, which is read where the macro
+ * is used, and nothing here expands macros.
+ */
+export const includesOf = (t) => visited(t.root, isDefinition)
+    .filter(isNode)
+    .flatMap((n) => (n.type === "macro" ? includeOf(t.src, n) : []));
+const isDocument = (n) => n.type === "environment" && n.env === "document";
+/** The span of the `document` environment's body, or null when the source has none. */
+export const documentBodyOf = (t) => (t.root.content.find(isDocument)?.content ?? [])
+    .flatMap((n) => inPlace(placeOf(n), (span) => [span]))
+    .reduce((body, span) => body === null ? span : { start: body.start, end: span.end }, null);
+//# sourceMappingURL=includes.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"includes.js","sourceRoot":"","sources":["../../../src/adapters/latex/includes.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EACL,OAAO,EACP,MAAM,EACN,UAAU,EACV,SAAS,EACT,OAAO,EACP,OAAO,GAGR,MAAM,YAAY,CAAC;AAGpB,MAAM,cAAc,GAA0C,IAAI,GAAG,CAAC;IACpE,CAAC,OAAO,EAAE,OAAO,CAAC;IAClB,CAAC,SAAS,EAAE,SAAS,CAAC;IACtB,CAAC,SAAS,EAAE,SAAS,CAAC;CACvB,CAAC,CAAC;AAEH;;;;GAIG;AACH,SAAS,YAAY,CAAC,GAAW,EAAE,CAAQ;IACzC,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC;IAClE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IACtE,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAC/C,CAAC;AAED,2FAA2F;AAC3F,SAAS,SAAS,CAAC,GAAW,EAAE,CAAQ;IACtC,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IAC9E,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACrE,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAY,EAAsB,EAAE,CAC7D,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC;KAC1B,MAAM,CAAC,MAAM,CAAC;KACd,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAErE,MAAM,UAAU,GAAG,CAAC,CAAO,EAAkC,EAAE,CAC7D,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,GAAG,KAAK,UAAU,CAAC;AAEnD,uFAAuF;AACvF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAY,EAAe,EAAE,CAC1D,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC;KAC7C,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;KACrD,MAAM,CACL,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CACb,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAC7D,IAAI,CACL,CAAC"}

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

@@ -0,0 +1,33 @@
+/**
+ * Reads a paper.tex and answers four 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), `renderedRuns` (the text a reader sees, each character with
+ * its source offset) and `bodyProse` (the body's prose as passages, with its citation and
+ * cross-reference marks). Used by `tex/template`, `tex/required-section`, `tex/venue-leftover`,
+ * `tex/claim-provenance` 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, inPlace, macroPlace, mandatory, optional, placeOf, textOf, } from "./nodes.ts";
+export { documentBodyOf, includesOf } from "./includes.ts";
+export { outlineOf } from "./outline.ts";
+export { parseLatex, type ParsedTex } from "./parse.ts";
+export { bodyProse } from "./prose.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