paperlint 4.1.0 → 5.0.0

package/CLAUDE.md

@@ -209,8 +209,8 @@ again on every build, so a checker fix reaches every paper ([`docs/references.md
 then does what only a command can, because it depends on the project it lands in: it finds the
 papers directory and declares it in a root `paperlint.json` when it is not the default `papers`, links each skill into `.claude/skills/`, writes
 the hook commands into `.claude/settings.json` (vigiles' `mergeRegistrations`, reading
-`plugin/hooks/hooks.json` as the one source), and offers a CI workflow pinned to the installed
-release's tag. `paperlint doctor` reads all of it back. Details: `docs/install.md`.
+`plugin/hooks/hooks.json` as the one source), and offers a CI workflow that runs the action from
+`node_modules` after `npm ci`. `paperlint doctor` reads all of it back. Details: `docs/install.md`.
 
 **There is no Claude Code plugin or marketplace entry; it was removed in the release after 1.0.0
 (#82).** Do not bring it back without answering these, each measured:
@@ -500,6 +500,30 @@ 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                                                        |

package/CONTRIBUTING.md

@@ -84,6 +84,13 @@ linking there. `src/rule-docs.test.ts` holds every rule the config registers to
 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:

package/README.md

@@ -190,6 +190,9 @@ Every skill, by stage: [`docs/skills.md`](docs/skills.md).
 - Commit `repro/references-cache.json`: it keeps what the citation services answered, so a build
   asks only about new or edited entries (and answers older than 30 days), so an unchanged
   bibliography usually builds without the network ([`docs/references.md`](docs/references.md)).
+- A paper whose body is in other files (`\input{sections/intro}`) is linted file by file: a finding
+  lands at the file and line it is in, and `--fix` edits that file. The files are the ones
+  `paper.tex` includes from its body, found where the build finds them — not every `.tex` beside it.
 - Lint also checks the pipeline's own records: `PIPELINE-STATUS.md`, reviews, notes on related
   papers ([`docs/rules.md`](docs/rules.md)).
 - The rules run on ESLint, so a deliberate exception is a comment on the line above:
@@ -274,14 +277,22 @@ jobs:
       - run: npx paperlint lint
 ```
 
-Lint only — each paper then gets one warning that it was not built:
+Lint only — each paper then gets one warning that it was not built. Call the action from the
+installed package, after `npm ci`: the action and the CLI it runs are then one revision, pinned by
+your lockfile.
 
 ```yaml
-- uses: zernie/paperlint@v3.0.0
-  with:
-    paths: papers # your papersDir
+steps:
+  - uses: actions/checkout@v4
+  - uses: actions/setup-node@v4
+    with:
+      node-version: 22
+  - run: npm ci
+  - uses: ./node_modules/paperlint
 ```
 
+With no `paths` it lints the `papersDir` of your `paperlint.json`; pass `paths:` only to lint less.
+
 ## ❓ FAQ
 
 **Does it install anything without asking?**

package/action.harness.mjs

@@ -33,8 +33,8 @@ assert.equal(action.runs.using, "composite", "the action must be composite");
 const names = action.runs.steps.map((s) => s.name);
 assert.equal(
   action.runs.steps.length,
-  4,
-  `expected 4 steps, got ${action.runs.steps.length}: ${names}`,
+  3,
+  `expected 3 steps, got ${action.runs.steps.length}: ${names}`,
 );
 
 const eslintStep = action.runs.steps.find((s) => s.name === "paperlint lint");
@@ -92,7 +92,7 @@ assert.match(
 //
 // So: execute the REAL `run:` block under the REAL flags, with a stub standing in for `npx`, and
 // require that the guard was reached and that ESLint's code came through it.
-const stubbedStepRun = (stubRc) => {
+const stubbedStepRun = (stubRc, paths = ".") => {
   const bin = realpathSync(mkdtempSync(join(tmpdir(), "paperlint-bin-")));
   writeFileSync(
     join(bin, "npx"),
@@ -100,6 +100,7 @@ const stubbedStepRun = (stubRc) => {
     // `-o`, it REDIRECTS output. So the stub also checks the redirect itself — if it disappears
     // from the step, the file stays empty and the guard says "nothing was measured".
     `#!/usr/bin/env bash\n` +
+      `printf '%s\\n' "$@" > "$RUNNER_TEMP/npx-args"\n` +
       `printf '%s' "$REPORT_JSON"\n` +
       `exit "$STUB_RC"\n`,
     { mode: 0o755 },
@@ -115,8 +116,8 @@ const stubbedStepRun = (stubRc) => {
         PATH: `${bin}:${process.env.PATH}`,
         RUNNER_TEMP: TMP,
         GITHUB_ACTION_PATH: HERE,
-        PAPERLINT_CONFIG: "eslint.config.mjs",
-        PAPERLINT_PATHS: ".",
+        PAPERLINT_CONFIG: "",
+        PAPERLINT_PATHS: paths,
         PAPERLINT_MAXWARN: "-1",
         STUB_RC: String(stubRc),
         REPORT_JSON: JSON.stringify([{ filePath: "/x/a.md", messages: [] }]),
@@ -169,41 +170,46 @@ for (const key of [
 ])
   assert.ok(action.inputs[key], `input \`${key}\` is missing`);
 
-// ── `paths` is REQUIRED, and the requirement is ENFORCED, not merely declared ─────────────────
-// 🔴 GitHub does not enforce `required: true` for COMPOSITE actions. A caller who omits the
-// input reaches the first step with an empty string and no error at all. So two separate things
-// are asserted here, and neither implies the other: that the contract is DECLARED, and that a
-// step exists which can actually fail on it.
+// ── `paths` is OPTIONAL: with none, the CLI lints the papersDir its paperlint.json declares ──────
+// `paperlint lint` with no path finds the root paperlint.json and lints its `papersDir`, so that is
+// the normal call and the action must not refuse it. What is asserted is the behaviour: the real
+// `run:` block, handed an empty `paths`, calls the CLI with no path argument at all, and the guard
+// still runs over what the CLI reported.
 assert.equal(
   action.inputs.paths.required,
-  true,
-  "`paths` must be declared required",
+  false,
+  "`paths` must be optional — the CLI finds papersDir itself",
 );
-assert.ok(
-  !("default" in action.inputs.paths),
-  "`paths` must have NO default — the old default `.` linted the whole checkout, so a caller " +
-    "who never chose a scope still got a green job over one",
-);
-const pathsGuard = action.runs.steps.find((s) =>
-  /paths was actually given/i.test(s.name ?? ""),
-);
-assert.ok(
-  pathsGuard,
-  `no step enforcing the \`paths\` contract among: ${names}`,
-);
-assert.match(
-  pathsGuard.run,
-  /exit 1/,
-  "the `paths` guard must FAIL, not warn — a declaration nobody checks is documentation",
-);
-// And it must come FIRST: checking scope after texlive setup would burn apt minutes
-// for a call already wrong.
 assert.equal(
-  action.runs.steps[0].name,
-  pathsGuard.name,
-  "the `paths` guard must run FIRST — checking scope after an apt install burns minutes on a " +
-    "call that was already wrong",
+  action.inputs.paths.default,
+  "",
+  "`paths` must default to empty, which means: the papersDir of paperlint.json",
 );
+{
+  const r = stubbedStepRun(0, "");
+  assert.equal(r.status, 0, `an empty \`paths\` must run clean: ${r.stderr}`);
+  assert.deepEqual(
+    readFileSync(join(TMP, "npx-args"), "utf8").trim().split("\n"),
+    ["paperlint", "lint", "--max-warnings=-1", "--json"],
+    "with no `paths` the CLI must get no path argument — not an empty string, not `.`",
+  );
+  assert.match(r.stdout, /linted 1 file\(s\)/, "the guard must still run");
+}
+{
+  stubbedStepRun(0, "papers/a papers/b");
+  assert.deepEqual(
+    readFileSync(join(TMP, "npx-args"), "utf8").trim().split("\n"),
+    [
+      "paperlint",
+      "lint",
+      "papers/a",
+      "papers/b",
+      "--max-warnings=-1",
+      "--json",
+    ],
+    "named paths are handed to the CLI one argument each",
+  );
+}
 
 // ── II. BEHAVIOUR of the guard — both halves, on fixtures ─────────────────────────────────────
 const fixture = (name, body) => {
@@ -225,6 +231,18 @@ const fixture = (name, body) => {
   );
   assert.match(lines.join("\n"), /linted ZERO files/);
 }
+// With no paths given, the guard names where the scope came from instead of printing `paths=`.
+{
+  const { lines } = guard(fixture("empty2.json", "[]"), 0, {
+    paths: "",
+    config: "paperlint.json",
+  });
+  assert.match(
+    lines.join("\n"),
+    /paths=\(none: the papersDir of paperlint\.json\)/,
+    "an empty paths value must be named as the papersDir, not printed blank",
+  );
+}
 // FIRES: the report is absent or unparsable — nothing was measured either way.
 assert.equal(
   guard(join(TMP, "absent.json"), 0).code,
@@ -283,5 +301,5 @@ assert.equal(
 }
 
 console.log(
-  "✓ action.yml shape (parsed, not grepped) + guard behaviour, both halves — 20 assertions",
+  "✓ action.yml shape (parsed, not grepped) + guard behaviour, both halves",
 );

package/action.yml

@@ -7,11 +7,12 @@
 # which is the one place it has to hold. The same bypass also meant the consumer's settings were never read and
 # the caller still had to keep an ESLint flat config — the exact thing the CLI exists to remove.
 #
-# WHY AN ACTION AND NOT A DOCUMENTED `run:` BLOCK. Two steps have to happen in this order and
-# neither is guessable from the outside: `texcount` must exist on PATH before linting starts, and
-# the scope has to be checked before any install spends minutes on a call that was already wrong.
-# A consumer who copies only the last step gets a green job over rules that silently degraded —
-# see the `texcount` note below.
+# WHY AN ACTION AND NOT A DOCUMENTED `run:` BLOCK. `texcount` must exist on PATH before linting
+# starts, and that is not guessable from the outside. A consumer who copies only the last step gets
+# a green job over rules that silently degraded — see the `texcount` note below.
+#
+# CALL IT AS `uses: ./node_modules/paperlint`, after `npm ci`: the action and the CLI it runs are
+# then one revision, pinned by the consumer's lockfile.
 #
 # 🔴 THE GREEN-ZERO GUARD IS PART OF THIS ACTION, NOT AN OPTIONAL EXTRA. `eslint` prints findings
 # and exits 0 when there are none — and "no findings" is byte-identical to "not one rule was handed
@@ -33,11 +34,12 @@ inputs:
     default: ""
   paths:
     description: >-
-      What to lint, as ESLint would take it on the command line. REQUIRED, and deliberately
-      without a default: the previous default was "." — the whole checkout — so a caller who
-      never thought about scope still got a green job, over whatever happened to be in the
-      repository. Scope is the one thing this action cannot guess.
-    required: true
+      What to lint, as `paperlint lint` takes it on the command line. Optional: empty — the
+      default — runs `paperlint lint` with no path, and the CLI lints the `papersDir` its root
+      `paperlint.json` declares (default `papers`), and fails when that directory holds no paper.
+      Name paths only to lint less than that.
+    required: false
+    default: ""
   max-warnings:
     description: >-
       Passed through to ESLint. The default -1 means warnings never fail the job: in this rule set
@@ -62,23 +64,6 @@ inputs:
 runs:
   using: composite
   steps:
-    # 🔴 `required: true` ABOVE IS A DECLARATION, NOT AN ENFORCEMENT. GitHub does not enforce
-    # required inputs for COMPOSITE actions — a caller who omits `paths` reaches this step with
-    # an empty string and no error of any kind. So the contract is checked here, where it can
-    # actually fail, rather than trusted where it is merely written down. Same reasoning as the
-    # green-zero guard below: the declaration and the check are different things.
-    - name: paths was actually given
-      shell: bash
-      env:
-        PAPERLINT_PATHS: ${{ inputs.paths }}
-      run: |
-        if [ -z "${PAPERLINT_PATHS// /}" ]; then
-          echo "::error::input \`paths\` is required and was empty. Name what to lint, e.g." \
-               "\`paths: papers\`. There is no default on purpose: linting the whole checkout" \
-               "by accident produces a green job over a scope nobody chose."
-          exit 1
-        fi
-
     # texlive-extra-utils is what carries /usr/bin/texcount. Cached, because the apt fetch is the
     # only network hop in this action and a slow mirror once cost a caller 14 minutes.
     - name: texcount (for a CONSUMER's texcount/* rules — this package ships none)

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

@@ -2,9 +2,10 @@
 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.
+ * 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;
 /**
@@ -15,8 +16,8 @@ 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.
+ * 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

@@ -1 +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"}
+{"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

@@ -24,7 +24,8 @@ function sourceOf(src, nodes) {
 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);
+/** 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);
@@ -37,13 +38,19 @@ function classLine(src, node) {
     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.
+ * 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 node = classNode(t);
-    return node === undefined ? { kind: "missing" } : classLine(t.src, node);
+    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
@@ -78,12 +85,13 @@ function addOptions(src, node, line, options) {
 /**
  * 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.
+ * 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) {
-    const node = classNode(t);
-    if (node === undefined)
+    // 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")

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

@@ -1 +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"}
+{"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/includes.d.ts

@@ -0,0 +1,16 @@
+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. A macro's own
+ * position ends at its name, so its place is taken with its arguments: a body ending in
+ * `\input{sections/a}` ends at the closing brace.
+ */
+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;;;;GAIG;AACH,eAAO,MAAM,cAAc,GAAI,GAAG,SAAS,KAAG,IAAI,GAAG,IAWhD,CAAC"}

package/dist/adapters/latex/includes.js

@@ -0,0 +1,48 @@
+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. A macro's own
+ * position ends at its name, so its place is taken with its arguments: a body ending in
+ * `\input{sections/a}` ends at the closing brace.
+ */
+export const documentBodyOf = (t) => (t.root.content.find(isDocument)?.content ?? [])
+    .flatMap((n) => inPlace(n.type === "macro" ? macroPlace(n) : 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;;;;GAIG;AACH,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,CACb,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;IACjE,IAAI;CACL,CAAC,CACH;KACA,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

@@ -1,9 +1,11 @@
 /**
- * Reads a paper.tex and answers three questions — checks nothing itself: `documentClassOf` (which
+ * 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) 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.
+ * 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,
@@ -20,9 +22,11 @@
  */
 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 { 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;

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

@@ -1 +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"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/adapters/latex/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAYxD,OAAO,EACL,eAAe,EACf,aAAa,EACb,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,QAAQ,EACR,OAAO,EACP,UAAU,EACV,SAAS,EACT,QAAQ,EACR,OAAO,EACP,MAAM,GACP,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,mFAAmF;AACnF,eAAO,MAAM,WAAW,EAAE,WASzB,CAAC"}

package/dist/adapters/latex/index.js

@@ -1,17 +1,24 @@
 import { documentClassOf, parseTemplate, replaceDocumentClass, } from "./document-class.js";
+import { documentBodyOf, includesOf } from "./includes.js";
 import { outlineOf } from "./outline.js";
 import { parseLatex } from "./parse.js";
+import { bodyProse } from "./prose.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 { collapse, inPlace, macroPlace, mandatory, optional, placeOf, textOf, } from "./nodes.js";
+export { documentBodyOf, includesOf } from "./includes.js";
 export { outlineOf } from "./outline.js";
 export { parseLatex } from "./parse.js";
+export { bodyProse } from "./prose.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)),
+    bodyProse: (src) => bodyProse(parseLatex(src)),
+    includes: (src) => includesOf(parseLatex(src)),
+    documentBody: (src) => documentBodyOf(parseLatex(src)),
     template: parseTemplate,
     withDocumentClass: (src, want) => replaceDocumentClass(parseLatex(src), want),
 };

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

@@ -1 +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"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/adapters/latex/index.ts"],"names":[],"mappings":"AAuBA,OAAO,EACL,eAAe,EACf,aAAa,EACb,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,OAAO,EACL,eAAe,EACf,aAAa,EACb,oBAAoB,GACrB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,QAAQ,EACR,OAAO,EACP,UAAU,EACV,SAAS,EACT,QAAQ,EACR,OAAO,EACP,MAAM,GACP,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,UAAU,EAAkB,MAAM,YAAY,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,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,SAAS,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9C,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9C,YAAY,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACtD,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

@@ -1,6 +1,6 @@
 /** 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";
+import type { Place, Span } 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>;
@@ -19,6 +19,10 @@ interface Positioned {
 }
 /** Where a node stands, or that it has no position. */
 export declare const placeOf: (n: Positioned) => Place;
+/** What `f` makes of a place's span, or nothing for a node the parser gave no position. */
+export declare const inPlace: <T>(p: Place, f: (span: Span) => readonly T[]) => readonly T[];
+/** A macro's arguments, in order: none when the parser attached none. */
+export declare const argumentsOf: (m: Macro) => readonly Argument[];
 /** 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;

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

@@ -1 +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"}
+{"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,EAAE,IAAI,EAAE,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,2FAA2F;AAC3F,eAAO,MAAM,OAAO,GAAI,CAAC,EACvB,GAAG,KAAK,EACR,GAAG,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,EAAE,KAC9B,SAAS,CAAC,EAAwC,CAAC;AAEtD,yEAAyE;AACzE,eAAO,MAAM,WAAW,GAAI,GAAG,KAAK,KAAG,SAAS,QAAQ,EAAkB,CAAC;AAE3E,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"}

package/dist/adapters/latex/nodes.js

@@ -8,9 +8,13 @@ export const placeOf = (n) => n.position === undefined
         kind: "at",
         span: { start: n.position.start.offset, end: n.position.end.offset },
     };
+/** What `f` makes of a place's span, or nothing for a node the parser gave no position. */
+export const inPlace = (p, f) => (p.kind === "at" ? f(p.span) : []);
+/** A macro's arguments, in order: none when the parser attached none. */
+export const argumentsOf = (m) => m.args ?? [];
 /** The first mandatory (`{…}`) and optional (`[…]`) arguments' contents, and the last mandatory one's. */
-export const mandatory = (m) => (m.args ?? []).filter((a) => a.openMark === "{");
-export const optional = (m) => (m.args ?? []).find((a) => a.openMark === "[");
+export const mandatory = (m) => argumentsOf(m).filter((a) => a.openMark === "{");
+export const optional = (m) => argumentsOf(m).find((a) => a.openMark === "[");
 /** What a string node reads as: itself, except a tie (`~`), which is a space the reader sees. */
 export const stringText = (content) => content === "~" ? " " : content;
 const LAST = { kind: "argument", at: -1 };