paperlint 7.2.0 → 9.0.0

package/dist/domain/paper-source.js

@@ -9,16 +9,23 @@
  * answers about one file (the class, the outline, the rendered text, the body's passages) is
  * answered about the paper, unchanged. A subfile is a document of its own; only its body is spliced.
  *
+ * ── THE END OF AN INCLUDED FILE'S LAST LINE ─────────────────────────────────────
+ * TeX ends every line it reads with its end-of-line character, the last line of a file included:
+ * `a\input{f}b` with `f` holding `foo` and no final newline typesets "afoo b" (measured, TeX Live
+ * 2026), not "afoob". The splice does the same: an included file whose text does not end in a newline
+ * gets one, mapped to the end of that file; an empty file read no line and gets nothing. The main file
+ * is the caller's text and is left as given.
+ *
  * ── WHAT IS NOT DONE ─────────────────────────────────────────────────────────────
  * No macro is expanded, so a path built from a macro (`\input{\dir/intro}`) is read as written. A
- * file that cannot be found is left out and named in `missing`; a file that includes itself,
- * directly or through others, is spliced once.
+ * file the caller's `read` has none of contributes nothing; a file that includes itself, directly or
+ * through others, is spliced once.
  */
-import { extname, normalize } from "node:path";
+import { posix } from "node:path";
 /** The paths TeX tries for a target: `name.tex`, then `name` — or the name alone if it has one. */
 const candidates = (target) => {
-    const t = normalize(target.trim());
-    return extname(t) === "" ? [`${t}.tex`, t] : [t];
+    const t = posix.normalize(target.trim());
+    return posix.extname(t) === "" ? [`${t}.tex`, t] : [t];
 };
 /** The first candidate path that exists, with its text. */
 function found(target, read) {
@@ -36,15 +43,13 @@ const copied = ({ file, text, from, to, via }) => ({
     segments: to > from
         ? [{ start: 0, end: to - from, file, source: text, from, via }]
         : [],
-    missing: [],
 });
 /** Nothing: an include left out. */
-const NOTHING = { text: "", segments: [], missing: [] };
+const NOTHING = { text: "", segments: [] };
 /** Pieces joined in order. */
 const joined = (pieces) => pieces.reduce((acc, p) => ({
     text: acc.text + p.text,
     segments: [...acc.segments, ...shifted(p.segments, acc.text.length)],
-    missing: [...acc.missing, ...p.missing],
 }), NOTHING);
 function spliced(file, text, range, ctx) {
     const incs = ctx.deps
@@ -55,35 +60,40 @@ function spliced(file, text, range, ctx) {
         pieces: [
             ...acc.pieces,
             at(acc.cursor, inc.span.start),
-            included(file, inc, ctx),
+            included(inc, ctx),
         ],
         cursor: inc.span.end,
     }), { pieces: [], cursor: range.start });
     return joined([...pieces, at(cursor, range.end)]);
 }
-/** One include: the file it names, spliced, or — when not found — nothing, and a report. */
-function included(file, inc, ctx) {
+/** TeX's end of line after the last line of `file`, standing where its text ends: one newline. */
+const endOfLine = (file, text, via) => ({
+    text: "\n",
+    segments: [{ start: 0, end: 1, file, source: text, from: text.length, via }],
+});
+/** One include: the file it names, spliced, or — when the reader has none of it — nothing. */
+function included(inc, ctx) {
     const via = ctx.via ?? inc.span;
     const hit = found(inc.target, ctx.deps.read);
-    if (hit === null)
-        return {
-            ...NOTHING,
-            missing: [{ file, target: inc.target, span: inc.span, via }],
-        };
-    if (ctx.stack.includes(hit.path))
+    if (hit === null || ctx.stack.includes(hit.path))
         return NOTHING;
     const body = inc.macro === "subfile" ? ctx.deps.documentBody(hit.text) : null;
-    return spliced(hit.path, hit.text, body ?? { start: 0, end: hit.text.length }, { deps: ctx.deps, stack: [...ctx.stack, hit.path], via });
+    const range = body ?? { start: 0, end: hit.text.length };
+    const piece = spliced(hit.path, hit.text, range, {
+        deps: ctx.deps,
+        stack: [...ctx.stack, hit.path],
+        via,
+    });
+    // The last line of the file is read to its end; a subfile's body ends inside its last line.
+    const endsLine = range.end === hit.text.length &&
+        hit.text !== "" &&
+        !hit.text.endsWith("\n");
+    return endsLine ? joined([piece, endOfLine(hit.path, hit.text, via)]) : piece;
 }
 /** The paper whose main file is `main` (a path relative to the paper directory) with `text`. */
 export function assemblePaper(main, text, deps) {
     const p = spliced(main, text, { start: 0, end: text.length }, { deps, stack: [main], via: null });
-    return {
-        main,
-        text: p.text,
-        segments: p.segments,
-        missing: p.missing,
-    };
+    return { main, text: p.text, segments: p.segments };
 }
 /**
  * The origin of `span` of the assembled text: the file of its first character. A span that runs

package/dist/domain/paper-source.js.map

@@ -1 +1 @@
-{"version":3,"file":"paper-source.js","sourceRoot":"","sources":["../../src/domain/paper-source.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAiD/C,mGAAmG;AACnG,MAAM,UAAU,GAAG,CAAC,MAAc,EAAqB,EAAE;IACvD,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF,2DAA2D;AAC3D,SAAS,KAAK,CACZ,MAAc,EACd,IAA0B;IAE1B,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACzB,CAAC;AASD,2CAA2C;AAC3C,MAAM,OAAO,GAAG,CACd,QAA4B,EAC5B,EAAU,EACU,EAAE,CACtB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;AAWxE,uEAAuE;AACvE,MAAM,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAW,EAAS,EAAE,CAAC,CAAC;IACjE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;IAC1B,QAAQ,EACN,EAAE,GAAG,IAAI;QACP,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/D,CAAC,CAAC,EAAE;IACR,OAAO,EAAE,EAAE;CACZ,CAAC,CAAC;AAEH,oCAAoC;AACpC,MAAM,OAAO,GAAU,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AAE/D,8BAA8B;AAC9B,MAAM,MAAM,GAAG,CAAC,MAAwB,EAAS,EAAE,CACjD,MAAM,CAAC,MAAM,CACX,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI;IACvB,QAAQ,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpE,OAAO,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC;CACxC,CAAC,EACF,OAAO,CACR,CAAC;AAaJ,SAAS,OAAO,CAAC,IAAY,EAAE,IAAY,EAAE,KAAW,EAAE,GAAY;IACpE,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI;SAClB,QAAQ,CAAC,IAAI,CAAC;SACd,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;IACzE,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,EAAU,EAAS,EAAE,CAC7C,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;IACjD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAIpC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACb,MAAM,EAAE;YACN,GAAG,GAAG,CAAC,MAAM;YACb,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC;SACzB;QACD,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG;KACrB,CAAC,EACF,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,CACpC,CAAC;IACF,OAAO,MAAM,CAAC,CAAC,GAAG,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,4FAA4F;AAC5F,SAAS,QAAQ,CAAC,IAAY,EAAE,GAAY,EAAE,GAAY;IACxD,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC;IAChC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,GAAG,KAAK,IAAI;QACd,OAAO;YACL,GAAG,OAAO;YACV,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;SAC7D,CAAC;IACJ,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC;IACjD,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,OAAO,OAAO,CACZ,GAAG,CAAC,IAAI,EACR,GAAG,CAAC,IAAI,EACR,IAAI,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,EAC1C,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CACzD,CAAC;AACJ,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,aAAa,CAC3B,IAAY,EACZ,IAAY,EACZ,IAAkB;IAElB,MAAM,CAAC,GAAG,OAAO,CACf,IAAI,EACJ,IAAI,EACJ,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,EAC9B,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CACnC,CAAC;IACF,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,OAAO,EAAE,CAAC,CAAC,OAAO;KACnB,CAAC;AACJ,CAAC;AAWD;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAc,EAAE,IAAU;IACjD,uFAAuF;IACvF,MAAM,GAAG,GACP,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC;QACnE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACxC,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,IAAI,EAAE;YACJ,KAAK,EAAE,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK;YACxC,GAAG,EAAE,GAAG,CAAC,IAAI,GAAG,GAAG,GAAG,GAAG,CAAC,KAAK;SAChC;QACD,GAAG,EAAE,GAAG,CAAC,GAAG;KACb,CAAC;AACJ,CAAC"}
+{"version":3,"file":"paper-source.js","sourceRoot":"","sources":["../../src/domain/paper-source.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAuClC,mGAAmG;AACnG,MAAM,UAAU,GAAG,CAAC,MAAc,EAAqB,EAAE;IACvD,MAAM,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF,2DAA2D;AAC3D,SAAS,KAAK,CACZ,MAAc,EACd,IAA0B;IAE1B,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACzB,CAAC;AAQD,2CAA2C;AAC3C,MAAM,OAAO,GAAG,CACd,QAA4B,EAC5B,EAAU,EACU,EAAE,CACtB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;AAWxE,uEAAuE;AACvE,MAAM,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAW,EAAS,EAAE,CAAC,CAAC;IACjE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;IAC1B,QAAQ,EACN,EAAE,GAAG,IAAI;QACP,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QAC/D,CAAC,CAAC,EAAE;CACT,CAAC,CAAC;AAEH,oCAAoC;AACpC,MAAM,OAAO,GAAU,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;AAElD,8BAA8B;AAC9B,MAAM,MAAM,GAAG,CAAC,MAAwB,EAAS,EAAE,CACjD,MAAM,CAAC,MAAM,CACX,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACX,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI;IACvB,QAAQ,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;CACrE,CAAC,EACF,OAAO,CACR,CAAC;AAaJ,SAAS,OAAO,CAAC,IAAY,EAAE,IAAY,EAAE,KAAW,EAAE,GAAY;IACpE,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI;SAClB,QAAQ,CAAC,IAAI,CAAC;SACd,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;IACzE,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,EAAU,EAAS,EAAE,CAC7C,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;IACjD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAIpC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACb,MAAM,EAAE;YACN,GAAG,GAAG,CAAC,MAAM;YACb,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;YAC9B,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;SACnB;QACD,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG;KACrB,CAAC,EACF,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,CACpC,CAAC;IACF,OAAO,MAAM,CAAC,CAAC,GAAG,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,kGAAkG;AAClG,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,GAAgB,EAAS,EAAE,CAAC,CAAC;IAC1E,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC;CAC7E,CAAC,CAAC;AAEH,8FAA8F;AAC9F,SAAS,QAAQ,CAAC,GAAY,EAAE,GAAY;IAC1C,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC;IAChC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC;IACjE,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,MAAM,KAAK,GAAG,IAAI,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACzD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE;QAC/C,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC;QAC/B,GAAG;KACJ,CAAC,CAAC;IACH,4FAA4F;IAC5F,MAAM,QAAQ,GACZ,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM;QAC7B,GAAG,CAAC,IAAI,KAAK,EAAE;QACf,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3B,OAAO,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAChF,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,aAAa,CAC3B,IAAY,EACZ,IAAY,EACZ,IAAkB;IAElB,MAAM,CAAC,GAAG,OAAO,CACf,IAAI,EACJ,IAAI,EACJ,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,EAC9B,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CACnC,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;AACtD,CAAC;AAWD;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAc,EAAE,IAAU;IACjD,uFAAuF;IACvF,MAAM,GAAG,GACP,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC;QACnE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACxC,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,IAAI,EAAE;YACJ,KAAK,EAAE,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK;YACxC,GAAG,EAAE,GAAG,CAAC,IAAI,GAAG,GAAG,GAAG,GAAG,CAAC,KAAK;SAChC;QACD,GAAG,EAAE,GAAG,CAAC,GAAG;KACb,CAAC;AACJ,CAAC"}

package/dist/domain/paper-sources.d.ts

@@ -0,0 +1,72 @@
+/**
+ * WHAT A DATABASE IS — the values the bibtex reader (`BibReader`, src/ports/bib-reader.ts) returns for
+ * a `.bib`, or for the body of a `filecontents` block: its entries, and the bytes bibtex takes from
+ * them. Which databases a paper reads is TeX's answer, recorded by the build (`_build/sources.json`,
+ * src/domain/sources-record.ts, docs/design/paper-sources.md §1); nothing here decides it.
+ */
+import type { AbsolutePath } from "./paths.ts";
+import type { Span } from "./tex-document.ts";
+/** The main file's name — the file TeX is given. */
+export declare const MAIN_FILE = "paper.tex";
+/** A name in a name list (`author`, `editor`), split into its parts as BibTeX defines them. */
+export interface BibName {
+    readonly lastName?: string;
+    readonly firstName?: string;
+    readonly prefix?: string;
+    readonly suffix?: string;
+    /** A name written as one unit (`{World Health Organization}`). */
+    readonly name?: string;
+}
+/**
+ * The `@string`s in force: each name as bibtex folds it (upper case) → its value as bibtex takes it,
+ * the `@string`s it used expanded and its LaTeX as written. bibtex reads a paper's databases one after
+ * the other with one table of them, so a `@string` an earlier database defines is in force in a later
+ * one (measured: `\\bibliography{abbreviations,references}` typesets an entry of `references.bib` with
+ * the author and booktitle `abbreviations.bib` defines; in the other order both are undefined).
+ */
+export type BibStrings = Readonly<Record<string, string>>;
+/** One entry of a database. */
+export interface BibEntry {
+    /** Lower-cased (`@Article` → `article`). */
+    readonly type: string;
+    readonly key: string;
+    /** From its `@` to its closing brace or parenthesis, in the text of the file that holds it. */
+    readonly span: Span;
+    /** Its fields, LaTeX read into text (`{\"u}` → `ü`, `\url{x}` → a link); a list field joined by ` and `. */
+    readonly fields: Readonly<Record<string, string>>;
+    /** Its name lists (`author`, `editor`, …), each name split into its parts. */
+    readonly names: Readonly<Record<string, readonly BibName[]>>;
+}
+/** The bytes of one database, where they sit, and what the reader read from them. */
+export interface BibText {
+    /** The file holding the bytes: the `.bib`, or the `.tex` that holds the block. */
+    readonly path: AbsolutePath;
+    /** That file's whole text; every span here is an offset into it. */
+    readonly text: string;
+    /** The database inside `text`: all of it for a `.bib`, the body for a block. */
+    readonly body: Span;
+    readonly entries: readonly BibEntry[];
+    /** The same entries as bibtex takes them, in order: what two databases are compared by. */
+    readonly written: readonly WrittenEntry[];
+    /** The `@preamble` commands, as written, in order: bibtex writes them into the `.bbl`. */
+    readonly preamble: readonly string[];
+    /** The `@string`s the databases bibtex read before this one left in force: none for one read alone. */
+    readonly inherited: BibStrings;
+    /** The `@string`s in force after it — `inherited` and its own, a later one winning: what the next database starts with. */
+    readonly strings: BibStrings;
+}
+/**
+ * An entry as bibtex takes it from the database: the type, the key, and each field's value with the
+ * `@string`s it uses expanded where it uses them (a later redefinition changes nothing) and its LaTeX
+ * as written — `{\"o}` and `ö` are different values here, as they are in the `.bbl` bibtex writes.
+ */
+export interface WrittenEntry {
+    /** Lower-cased, as bibtex reads it. */
+    readonly type: string;
+    readonly key: string;
+    /** Whitespace runs folded to one space, as bibtex folds them. */
+    readonly fields: Readonly<Record<string, string>>;
+}
+/** Whether two databases hold the same, as TeX's own copy of a block holds the block's. */
+export declare const sameDatabase: (a: BibText, b: BibText) => boolean;
+//# sourceMappingURL=paper-sources.d.ts.map

package/dist/domain/paper-sources.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"paper-sources.d.ts","sourceRoot":"","sources":["../../src/domain/paper-sources.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAE9C,oDAAoD;AACpD,eAAO,MAAM,SAAS,cAAc,CAAC;AAErC,+FAA+F;AAC/F,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,kEAAkE;IAClE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAE1D,+BAA+B;AAC/B,MAAM,WAAW,QAAQ;IACvB,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,+FAA+F;IAC/F,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,4GAA4G;IAC5G,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,8EAA8E;IAC9E,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC,CAAC,CAAC;CAC9D;AAED,qFAAqF;AACrF,MAAM,WAAW,OAAO;IACtB,kFAAkF;IAClF,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gFAAgF;IAChF,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IACtC,2FAA2F;IAC3F,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,0FAA0F;IAC1F,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,uGAAuG;IACvG,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;IAC/B,2HAA2H;IAC3H,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;CAC9B;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,uCAAuC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,iEAAiE;IACjE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACnD;AAiBD,2FAA2F;AAC3F,eAAO,MAAM,YAAY,GAAI,GAAG,OAAO,EAAE,GAAG,OAAO,KAAG,OACvB,CAAC"}

package/dist/domain/paper-sources.js

@@ -0,0 +1,18 @@
+/** The main file's name — the file TeX is given. */
+export const MAIN_FILE = "paper.tex";
+/**
+ * What bibtex takes from a database, for comparing two: each entry as bibtex reads it, in order, its
+ * fields in name order, and the `@preamble` commands. Nothing else in the bytes reaches the `.bbl`:
+ * not the text between entries (a `filecontents` header among it), not a `@string` no entry uses.
+ */
+const contentOf = (b) => JSON.stringify([
+    b.written.map((e) => [
+        e.type,
+        e.key,
+        Object.entries(e.fields).sort(([x], [y]) => x.localeCompare(y)),
+    ]),
+    b.preamble,
+]);
+/** Whether two databases hold the same, as TeX's own copy of a block holds the block's. */
+export const sameDatabase = (a, b) => contentOf(a) === contentOf(b);
+//# sourceMappingURL=paper-sources.js.map

package/dist/domain/paper-sources.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"paper-sources.js","sourceRoot":"","sources":["../../src/domain/paper-sources.ts"],"names":[],"mappings":"AASA,oDAAoD;AACpD,MAAM,CAAC,MAAM,SAAS,GAAG,WAAW,CAAC;AAkErC;;;;GAIG;AACH,MAAM,SAAS,GAAG,CAAC,CAAU,EAAU,EAAE,CACvC,IAAI,CAAC,SAAS,CAAC;IACb,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACnB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,GAAG;QACL,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;KAChE,CAAC;IACF,CAAC,CAAC,QAAQ;CACX,CAAC,CAAC;AAEL,2FAA2F;AAC3F,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAC9D,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC"}

package/dist/domain/sources-record.d.ts

@@ -0,0 +1,102 @@
+/**
+ * WHAT THE LAST BUILD READ — `<paper>/_build/sources.json`, written by `paperlint build` from TeX's
+ * own files (docs/design/paper-sources.md §1) and read, offline, by the rules that need to know which
+ * files make up a paper and which bibliography it uses. Nothing else answers either question: no
+ * code of paperlint reads TeX source to decide them.
+ *
+ *   { "schema": 1,
+ *     "inputs":  [ { "path": "paper.tex", "role": "body" }, … ],  the files of the paper directory TeX
+ *                                                                 read, in first-read order
+ *     "written": [ "refs.bib" ],                                  the `.bib` and `.tex` files TeX wrote (filecontents)
+ *     "bibdata": [ "refs" ],                                      what `\bibdata` told bibtex to read
+ *     "bibtex":  { "ran": true, "databases": [ "refs.bib" ],      the files bibtex opened, the keys it
+ *                  "keys": [ … ], "exit": 0, "errors": [] },      typeset, how it ended
+ *     "sha256":  { "paper.tex": "…", … } }                        every input and every database bibtex
+ *                                                                 opened, by path and bytes
+ *
+ * 🔴 A role is the file's, and the main file is the body. A file is `preamble` when TeX read it only
+ * before `\begin{document}` — before it opened `paper.aux` for writing (measured) — and `body` when
+ * any read of it came after. The main file, the first one read, is `body` whatever its place in that
+ * order: it holds `\begin{document}` itself.
+ *
+ * The text of the file is checked once, where it enters: `SourcesCodec` (`src/ports/sources-codec.ts`),
+ * whose adapter holds the zod schema of this shape. The domain holds the value.
+ *
+ * 🔴 STALENESS is the record's own question: `changesSince` compares the bytes now with `sha256`, one
+ * key per file, so a rule can tell that the paper changed after the build without running TeX. A `.bib`
+ * TeX wrote is hashed too: the rules read it from disk, so an edit to it after the build is a change.
+ */
+import type { Sha256 } from "./sha256.ts";
+export declare const SOURCES_SCHEMA = 1;
+export declare const SOURCES_DIR = "_build";
+export declare const SOURCES_FILE = "sources.json";
+/** The job name every file a build writes carries (`paper.aux`, `paper.fls`): the build names its job so. */
+export declare const JOBNAME = "paper";
+/** Before or after `\begin{document}`. */
+export type InputRole = "preamble" | "body";
+/** One file of the paper directory that TeX read. `path` is relative to it, with forward slashes. */
+export interface RecordedInput {
+    readonly path: string;
+    readonly role: InputRole;
+}
+/** One error bibtex reported, as its `.blg` says it. */
+export interface BibtexError {
+    readonly message: string;
+    /** The file it was reading (`refs.bib`, `paper.aux`). */
+    readonly file: string;
+    /** Null when bibtex named no line. */
+    readonly line: number | null;
+}
+/** What the build's bibtex did — or that the build ran none (the paper names no database). */
+export type RecordedBibtex = {
+    readonly ran: false;
+} | {
+    readonly ran: true;
+    /** The database files it opened, as it names them (`refs.bib`, `bibs/x.bib`). */
+    readonly databases: readonly string[];
+    /** The keys it typeset: every `\bibitem` of the `.bbl`. */
+    readonly keys: readonly string[];
+    readonly exit: number;
+    readonly errors: readonly BibtexError[];
+};
+export interface SourcesRecord {
+    readonly schema: typeof SOURCES_SCHEMA;
+    readonly inputs: readonly RecordedInput[];
+    readonly written: readonly string[];
+    readonly bibdata: readonly string[];
+    readonly bibtex: RecordedBibtex;
+    /** Path → digest of its bytes; null for a file that was not there when the record was made. */
+    readonly sha256: Readonly<Record<string, string | null>>;
+}
+export type ParsedRecord = {
+    readonly ok: true;
+    readonly record: SourcesRecord;
+} | {
+    readonly ok: false;
+    readonly why: string;
+};
+/** The record as the file holds it: two-space JSON and a final newline, so a diff of two builds reads. */
+export declare const serializeSourcesRecord: (r: SourcesRecord) => string;
+export type ChangeKind = "edited" | "deleted" | "added";
+/** One file whose bytes are not those the build hashed. */
+export interface Change {
+    readonly path: string;
+    readonly change: ChangeKind;
+}
+/**
+ * The files whose bytes now differ from the record's: edited, deleted, or present where the record saw
+ * none. `now` answers for one path with the digest of its bytes, or null when there is no such file.
+ * Empty when the record is current.
+ */
+export declare function changesSince(r: SourcesRecord, now: (path: string) => Sha256 | null): readonly Change[];
+/** `paper.tex edited, sections/a.tex deleted` — what a finding names. */
+export declare const describeChanges: (cs: readonly Change[]) => string;
+/**
+ * The name among `names` that `name` stands for: `name` itself, else the one name equal to it ignoring
+ * case — null when there is none, or several. TeX opens a file by the name the source gives it; on a
+ * file system that ignores case that is the source's spelling, on one that does not TeX retries
+ * without case, and the record holds the disk's spelling either way. A name and the record's spelling
+ * of it are matched by this, once, wherever one is looked up in the other.
+ */
+export declare function spelledIn(names: readonly string[], name: string): string | null;
+//# sourceMappingURL=sources-record.d.ts.map

package/dist/domain/sources-record.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sources-record.d.ts","sourceRoot":"","sources":["../../src/domain/sources-record.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,eAAO,MAAM,cAAc,IAAI,CAAC;AAChC,eAAO,MAAM,WAAW,WAAW,CAAC;AACpC,eAAO,MAAM,YAAY,iBAAiB,CAAC;AAE3C,6GAA6G;AAC7G,eAAO,MAAM,OAAO,UAAU,CAAC;AAE/B,0CAA0C;AAC1C,MAAM,MAAM,SAAS,GAAG,UAAU,GAAG,MAAM,CAAC;AAE5C,qGAAqG;AACrG,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CAC1B;AAED,wDAAwD;AACxD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,yDAAyD;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sCAAsC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,8FAA8F;AAC9F,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAA;CAAE,GACvB;IACE,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;IACnB,iFAAiF;IACjF,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,2DAA2D;IAC3D,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;CACzC,CAAC;AAEN,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,OAAO,cAAc,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,+FAA+F;IAC/F,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;CAC1D;AAED,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjD,0GAA0G;AAC1G,eAAO,MAAM,sBAAsB,GAAI,GAAG,aAAa,KAAG,MACvB,CAAC;AAIpC,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,SAAS,GAAG,OAAO,CAAC;AAExD,2DAA2D;AAC3D,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,CAAC,EAAE,aAAa,EAChB,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,GACnC,SAAS,MAAM,EAAE,CASnB;AAED,yEAAyE;AACzE,eAAO,MAAM,eAAe,GAAI,IAAI,SAAS,MAAM,EAAE,KAAG,MACL,CAAC;AAEpD;;;;;;GAMG;AACH,wBAAgB,SAAS,CACvB,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,IAAI,EAAE,MAAM,GACX,MAAM,GAAG,IAAI,CAMf"}

package/dist/domain/sources-record.js

@@ -0,0 +1,38 @@
+export const SOURCES_SCHEMA = 1;
+export const SOURCES_DIR = "_build";
+export const SOURCES_FILE = "sources.json";
+/** The job name every file a build writes carries (`paper.aux`, `paper.fls`): the build names its job so. */
+export const JOBNAME = "paper";
+/** The record as the file holds it: two-space JSON and a final newline, so a diff of two builds reads. */
+export const serializeSourcesRecord = (r) => `${JSON.stringify(r, null, 2)}\n`;
+/**
+ * The files whose bytes now differ from the record's: edited, deleted, or present where the record saw
+ * none. `now` answers for one path with the digest of its bytes, or null when there is no such file.
+ * Empty when the record is current.
+ */
+export function changesSince(r, now) {
+    return Object.entries(r.sha256).flatMap(([path, recorded]) => {
+        const current = now(path);
+        if (current === recorded)
+            return [];
+        if (current === null)
+            return [{ path, change: "deleted" }];
+        return [{ path, change: recorded === null ? "added" : "edited" }];
+    });
+}
+/** `paper.tex edited, sections/a.tex deleted` — what a finding names. */
+export const describeChanges = (cs) => cs.map((c) => `${c.path} ${c.change}`).join(", ");
+/**
+ * The name among `names` that `name` stands for: `name` itself, else the one name equal to it ignoring
+ * case — null when there is none, or several. TeX opens a file by the name the source gives it; on a
+ * file system that ignores case that is the source's spelling, on one that does not TeX retries
+ * without case, and the record holds the disk's spelling either way. A name and the record's spelling
+ * of it are matched by this, once, wherever one is looked up in the other.
+ */
+export function spelledIn(names, name) {
+    if (names.includes(name))
+        return name;
+    const [only, ...more] = names.filter((n) => n.toLowerCase() === name.toLowerCase());
+    return only !== undefined && more.length === 0 ? only : null;
+}
+//# sourceMappingURL=sources-record.js.map

package/dist/domain/sources-record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sources-record.js","sourceRoot":"","sources":["../../src/domain/sources-record.ts"],"names":[],"mappings":"AA8BA,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC;AAChC,MAAM,CAAC,MAAM,WAAW,GAAG,QAAQ,CAAC;AACpC,MAAM,CAAC,MAAM,YAAY,GAAG,cAAc,CAAC;AAE3C,6GAA6G;AAC7G,MAAM,CAAC,MAAM,OAAO,GAAG,OAAO,CAAC;AA+C/B,0GAA0G;AAC1G,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAgB,EAAU,EAAE,CACjE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AAYpC;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,CAAgB,EAChB,GAAoC;IAEpC,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CACrC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAqB,EAAE;QACtC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,OAAO,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QACpC,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC3D,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpE,CAAC,CACF,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,EAAqB,EAAU,EAAE,CAC/D,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEpD;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CACvB,KAAwB,EACxB,IAAY;IAEZ,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,WAAW,EAAE,CAC9C,CAAC;IACF,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/D,CAAC"}

package/dist/domain/tex-run.d.ts

@@ -0,0 +1,25 @@
+import type { RecordedInput } from "./sources-record.ts";
+/** One line of an `.fls`: TeX opened a file to read it, or to write it. */
+export interface FlsLine {
+    readonly op: "INPUT" | "OUTPUT";
+    /** As TeX named the file: `./a.tex` and `a.tex` for one file, an absolute path for the TeX tree's. */
+    readonly path: string;
+}
+/** A pdflatex `-recorder` file: where it ran, and every file it opened, in order. */
+export interface Fls {
+    /** The directory pdflatex ran in, or null when the file names none. */
+    readonly pwd: string | null;
+    readonly lines: readonly FlsLine[];
+}
+export interface RunFiles {
+    readonly inputs: readonly RecordedInput[];
+    readonly written: readonly string[];
+}
+export interface RunOptions {
+    /** The job name: `<jobname>.aux` is the file whose opening marks `\begin{document}`. */
+    readonly jobname: string;
+    /** Files other programs wrote from TeX's own output, relative to the paper directory (`paper.bbl`). */
+    readonly generated: readonly string[];
+}
+export declare function filesOfRun(passes: readonly Fls[], options: RunOptions): RunFiles;
+//# sourceMappingURL=tex-run.d.ts.map

package/dist/domain/tex-run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tex-run.d.ts","sourceRoot":"","sources":["../../src/domain/tex-run.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,2EAA2E;AAC3E,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,EAAE,EAAE,OAAO,GAAG,QAAQ,CAAC;IAChC,sGAAsG;IACtG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,qFAAqF;AACrF,MAAM,WAAW,GAAG;IAClB,uEAAuE;IACvE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,OAAO,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAgCD,MAAM,WAAW,UAAU;IACzB,wFAAwF;IACxF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uGAAuG;IACvG,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AA8BD,wBAAgB,UAAU,CACxB,MAAM,EAAE,SAAS,GAAG,EAAE,EACtB,OAAO,EAAE,UAAU,GAClB,QAAQ,CAyBV"}

package/dist/domain/tex-run.js

@@ -0,0 +1,79 @@
+/**
+ * WHICH FILES A BUILD'S TeX PASSES READ — decided from the lines of each pass's `.fls` (pdflatex
+ * `-recorder`), not from any TeX source (docs/design/paper-sources.md §1).
+ *
+ *   inputs   the files of the paper directory the LAST pass read, in the order it first read them,
+ *            each a `preamble` or `body` file: before or after TeX opened `<jobname>.aux` for writing,
+ *            which `\begin{document}` does (measured). The main file, read first, is `body`.
+ *   written  the `.bib` and `.tex` files ANY pass wrote — a `filecontents` block's.
+ *
+ * 🔴 WHY THE LAST PASS FOR INPUTS AND EVERY PASS FOR WHAT WAS WRITTEN. A block without `[overwrite]`
+ * writes its file on the first pass only; the later passes find it there and read it (measured on TeX
+ * Live 2026: pass 1 `OUTPUT refs.bib`, passes 2 and 3 `INPUT refs.bib`, no OUTPUT). The last pass alone
+ * would list TeX's own copy of a `.bib` as a file of the paper. And the first pass reads no `.aux`,
+ * `.toc` or `.out` yet, so only a later pass lists what the paper reads and the passes after it write.
+ *
+ * 🔴 A FILE TeX WROTE IS AN INPUT ONLY WHEN IT IS TeX SOURCE OF THE PAPER: a `.tex`. A block that
+ * writes `body.tex` the body `\input`s puts that text in the PDF (measured: pass 1 `OUTPUT body.tex`
+ * then `INPUT ./body.tex` after `\begin{document}`; the later passes read it again), so it is an
+ * input like any other: hashed, spliced where its include stands. Every other file a pass wrote is
+ * TeX's bookkeeping or a database — its `.aux`, `.out` and `.toc`, a block's `.bib` — and is no input.
+ * A file another program wrote from TeX's output (`generated`: the `.bbl`, when bibtex ran) is none
+ * either.
+ */
+import { isAbsolute, posix } from "node:path";
+/**
+ * `path` as TeX named it → relative to the paper directory with forward slashes, or null when the file
+ * is not in it: the TeX tree's, a file of a sibling directory, an absolute path outside `pwd`.
+ */
+function inPaperDir(path, pwd) {
+    const rel = isAbsolute(path)
+        ? pwd === null
+            ? null
+            : posix.relative(pwd, path)
+        : posix.normalize(path);
+    // `..` or `../x`: a file of a sibling directory. (`..x` is a file of this one.)
+    return rel === null || rel.split("/")[0] === ".." ? null : rel;
+}
+const distinct = (xs) => [...new Set(xs)];
+/** A file TeX writes that the record names: TeX source of the paper (`.tex`) or a database (`.bib`). */
+const isTexSource = (path) => posix.extname(path) === ".tex";
+const isRecordedWrite = (path) => isTexSource(path) || posix.extname(path) === ".bib";
+/** The files of the paper directory a pass opened, with the op, in order. */
+const opened = (pass) => pass.lines.flatMap((l) => {
+    const rel = inPaperDir(l.path, pass.pwd);
+    return rel === null ? [] : [{ ...l, rel }];
+});
+/**
+ * The reads of the last pass: INPUT lines of files nothing wrote, or that a pass wrote as TeX source,
+ * each with its place against the line that opens `<jobname>.aux` — `\begin{document}`. No such line
+ * (the run stopped first): none is after it.
+ */
+function readsOf(last, outputs, { jobname, generated }) {
+    const boundary = last.findIndex((l) => l.op === "OUTPUT" && l.rel === `${jobname}.aux`);
+    return last.flatMap((l, i) => l.op === "INPUT" &&
+        (!outputs.has(l.rel) || isTexSource(l.rel)) &&
+        !generated.includes(l.rel)
+        ? [{ path: l.rel, afterBegin: boundary >= 0 && i > boundary }]
+        : []);
+}
+export function filesOfRun(passes, options) {
+    const everyPass = passes.flatMap(opened);
+    const wrote = (l) => l.op === "OUTPUT";
+    const outputs = new Set(everyPass.filter(wrote).map((l) => l.rel));
+    const last = passes.at(-1);
+    const reads = readsOf(last === undefined ? [] : opened(last), outputs, options);
+    // The main file holds `\begin{document}` itself, so it is body wherever TeX opened it.
+    const body = (path) => path === reads[0]?.path ||
+        reads.some((r) => r.path === path && r.afterBegin);
+    return {
+        inputs: distinct(reads.map((r) => r.path)).map((path) => ({
+            path,
+            role: body(path) ? "body" : "preamble",
+        })),
+        written: distinct(everyPass
+            .filter((l) => wrote(l) && isRecordedWrite(l.rel))
+            .map((l) => l.rel)),
+    };
+}
+//# sourceMappingURL=tex-run.js.map

package/dist/domain/tex-run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tex-run.js","sourceRoot":"","sources":["../../src/domain/tex-run.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAsB9C;;;GAGG;AACH,SAAS,UAAU,CAAC,IAAY,EAAE,GAAkB;IAClD,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC;QAC1B,CAAC,CAAC,GAAG,KAAK,IAAI;YACZ,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;QAC7B,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC1B,gFAAgF;IAChF,OAAO,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;AACjE,CAAC;AAED,MAAM,QAAQ,GAAG,CAAI,EAAgB,EAAgB,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AAEzE,wGAAwG;AACxG,MAAM,WAAW,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC;AAC9E,MAAM,eAAe,GAAG,CAAC,IAAY,EAAW,EAAE,CAChD,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC;AAItD,6EAA6E;AAC7E,MAAM,MAAM,GAAG,CAAC,IAAS,EAAqB,EAAE,CAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;IACvB,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACzC,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAeL;;;;GAIG;AACH,SAAS,OAAO,CACd,IAAuB,EACvB,OAA4B,EAC5B,EAAE,OAAO,EAAE,SAAS,EAAc;IAElC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,CAAC,GAAG,KAAK,GAAG,OAAO,MAAM,CACvD,CAAC;IACF,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC3B,CAAC,CAAC,EAAE,KAAK,OAAO;QAChB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC3C,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;QACxB,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,UAAU,EAAE,QAAQ,IAAI,CAAC,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC;QAC9D,CAAC,CAAC,EAAE,CACP,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,MAAsB,EACtB,OAAmB;IAEnB,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC;IACxD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,OAAO,CACnB,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EACtC,OAAO,EACP,OAAO,CACR,CAAC;IACF,uFAAuF;IACvF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CACrC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI;QACvB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC;IACrD,OAAO;QACL,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAiB,EAAE,CAAC,CAAC;YACvE,IAAI;YACJ,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU;SACvC,CAAC,CAAC;QACH,OAAO,EAAE,QAAQ,CACf,SAAS;aACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;aACjD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CACrB;KACF,CAAC;AACJ,CAAC"}

package/dist/eslint-rules/latex-language.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"latex-language.d.ts","sourceRoot":"","sources":["../../eslint-rules/latex-language.ts"],"names":[],"mappings":"AAyGA,OAAO,EACL,kBAAkB,EAClB,aAAa,EAEb,SAAS,EACV,MAAM,oBAAoB,CAAC;AAE5B,OAAO,KAAK,EAGV,WAAW,EACX,QAAQ,EACR,eAAe,EAGhB,MAAM,cAAc,CAAC;AAEtB,0EAA0E;AAC1E,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AACD,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,MAAM,OAAO,GACf;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,OAAO,EAAE,CAAC;IAC1C,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,YAAY,GAAG,aAAa,GAAG,MAAM,CAAC;IAC/D,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAA;CAAE,GACtE,MAAM,CAAC;AAEX,8CAA8C;AAC9C,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B;AAED,0CAA0C;AAC1C,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;CACtC;AAED;;;GAGG;AACH,MAAM,MAAM,MAAM,GACd;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEN,0DAA0D;AAC1D,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAA;CAAE,CAAC,CAAC;AAE3E,yEAAyE;AACzE,UAAU,UAAU;IAClB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;CACzB;AAuFD,wBAAgB,UAAU,CACxB,GAAG,EAAE,MAAM,EACX,EACE,KAAoD,GACrD,GAAE;IAAE,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAA;CAAO,GACzC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAsXhC;AAaD,cAAM,aAAc,SAAQ,kBAAkB,CAAC;IAC7C,WAAW,EAAE,eAAe,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC;;IAKS,GAAG,EAAE,MAAM,CAAC;IACrB;;;;;;;;;OASG;IACH,GAAG,EAAE,MAAM,CAAC;gBACA,EACV,IAAI,EACJ,GAAG,EACH,GAAG,GACJ,EAAE;QACD,IAAI,EAAE,MAAM,CAAC;QACb,GAAG,EAAE,MAAM,CAAC;QACZ,GAAG,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KAC1B;IAMQ,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAGpD,oBAAoB,IAAI,UAAU,EAAE;IAOpC,oBAAoB,IAAI;QAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;QAAC,UAAU,EAAE,SAAS,EAAE,CAAA;KAAE;IAe5E,iBAAiB,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAAC,QAAQ,EAAE,WAAW,EAAE,CAAA;KAAE;IAGzD,QAAQ,IAAI,aAAa,CAAC,aAAa,CAAC;CAkBlD;AAED,eAAO,MAAM,WAAW,EAAE,QAAQ,CAAC;IACjC,WAAW,EAAE,eAAe,CAAC;IAC7B,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd,CAuCA,CAAC"}
+{"version":3,"file":"latex-language.d.ts","sourceRoot":"","sources":["../../eslint-rules/latex-language.ts"],"names":[],"mappings":"AAsGA,OAAO,EACL,kBAAkB,EAClB,aAAa,EAEb,SAAS,EACV,MAAM,oBAAoB,CAAC;AAE5B,OAAO,KAAK,EAGV,WAAW,EACX,QAAQ,EACR,eAAe,EAGhB,MAAM,cAAc,CAAC;AAEtB,0EAA0E;AAC1E,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AACD,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,MAAM,OAAO,GACf;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,OAAO,EAAE,CAAC;IAC1C,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,YAAY,GAAG,aAAa,GAAG,MAAM,CAAC;IAC/D,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAA;CAAE,GACtE,MAAM,CAAC;AAEX,8CAA8C;AAC9C,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B;AAED,0CAA0C;AAC1C,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;CACtC;AAED;;;GAGG;AACH,MAAM,MAAM,MAAM,GACd;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEN,0DAA0D;AAC1D,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAA;CAAE,CAAC,CAAC;AAE3E,yEAAyE;AACzE,UAAU,UAAU;IAClB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;CACzB;AAuFD,wBAAgB,UAAU,CACxB,GAAG,EAAE,MAAM,EACX,EACE,KAAoD,GACrD,GAAE;IAAE,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAA;CAAO,GACzC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAsXhC;AAaD,cAAM,aAAc,SAAQ,kBAAkB,CAAC;IAC7C,WAAW,EAAE,eAAe,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC;;IAKS,GAAG,EAAE,MAAM,CAAC;IACrB;;;;;;;;;OASG;IACH,GAAG,EAAE,MAAM,CAAC;gBACA,EACV,IAAI,EACJ,GAAG,EACH,GAAG,GACJ,EAAE;QACD,IAAI,EAAE,MAAM,CAAC;QACb,GAAG,EAAE,MAAM,CAAC;QACZ,GAAG,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KAC1B;IAMQ,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAGpD,oBAAoB,IAAI,UAAU,EAAE;IAOpC,oBAAoB,IAAI;QAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;QAAC,UAAU,EAAE,SAAS,EAAE,CAAA;KAAE;IAe5E,iBAAiB,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAAC,QAAQ,EAAE,WAAW,EAAE,CAAA;KAAE;IAGzD,QAAQ,IAAI,aAAa,CAAC,aAAa,CAAC;CAkBlD;AAED,eAAO,MAAM,WAAW,EAAE,QAAQ,CAAC;IACjC,WAAW,EAAE,eAAe,CAAC;IAC7B,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd,CAuCA,CAAC"}

package/dist/eslint-rules/latex-language.js

@@ -1,7 +1,7 @@
 /**
- * AN ESLint LANGUAGE FOR `.tex` — so that the ~30 prose rules of a paper pipeline read papers
- * written in LaTeX, and not only papers written in markdown. The spike it grew out of lives in
- * the source corpus as a coverage measurement plus an executable prototype kept as history.
+ * AN ESLint LANGUAGE FOR `.tex` — so that prose rules read a paper's LaTeX source. The spike it
+ * grew out of lives in the source corpus as a coverage measurement plus an executable prototype
+ * kept as history.
  *
  * ── CONSTRUCTION: two legs ──────────────────────────────────────────────────
  *  1. AST — a flat mdast-like root (heading / code / html / strong) with REAL positions taken
@@ -9,9 +9,8 @@
  *  2. TEXT — a projection of `.tex` into a markdown-like view THAT PRESERVES LENGTHS AND
  *     OFFSETS: comments, the preamble, math, service macros and code environments are blanked
  *     with spaces; `\section{X}` projects to `##      X `, `\texttt{X}` to `` `X` ``.
- *     The point: a rule receives what it used to see in markdown and KNOWS NOTHING about
- *     LaTeX, while the position of a finding points into the real `.tex`. Not one rule was
- *     rewritten for LaTeX.
+ *     The point: a rule reads a plain, heading-marked text and KNOWS NOTHING about LaTeX, while
+ *     the position of a finding points into the real `.tex`.
  *
  * ── HEADING SYNTHESIS: not decoration, but the repair of seven silent rules ──
  * Measured 2026-08-26 across three real papers: NONE of them has a `Limitations` /
@@ -47,10 +46,8 @@
  *     `95   of it, costing   5 and A  B`. This matters: a word splitter counts `%` as part of
  *     a word, and a plain-language rule counts NUMBERS — so the percent sign detaches from
  *     its number. Not fixed: three exceptions would have to be written and pinned.
- *  3. THRESHOLDS WERE CALIBRATED ON MARKDOWN. 60 / 350 / 700 words were taken from a markdown
- *     paper. The projection counts differently: the same place gave 1239 words before macro
- *     blanking and 1208 after — a 2.5% discrepancy. The discrepancy is ACCEPTED deliberately;
- *     the thresholds were not recalibrated.
+ *  3. MACRO BLANKING SHIFTS WORD COUNTS. The same place gave 1239 words before macro blanking
+ *     and 1208 after — a 2.5% discrepancy, ACCEPTED deliberately.
  *  4. ONE FILE AT A TIME. `\input` / `\include` are in OPAQUE: the projection of `paper.tex`
  *     does not hold what they pull in. `paperlint lint` hands ESLint each file the paper includes
  *     from its body as a file of its own (src/paper-includes.ts), and a file with no `document`
@@ -400,9 +397,9 @@ export function texToMdast(src, { parse = (s) => getParser().parse(s), } = {}) {
             // 🔴 AND SYMMETRICALLY ON THE LEFT (found by a run on 2026-08-27, not by reading). A
             // comment that follows a line of text directly, rather than a blank line, comes back from
             // unified-latex with a position starting at the PREVIOUS newline instead of at `%`.
-            // Consumers recognise a comment by its first character (`<!--` in markdown, `%` in
-            // LaTeX), so such a node was not a comment to them: notes above bold appendix lead-ins
-            // never bound, and the block-note / block-verdict rules could NEVER fire. Measured:
+            // Consumers recognise a comment by its first character (`%`), so such a node was not a
+            // comment to them: notes above bold appendix lead-ins never bound, and the block-note /
+            // block-verdict rules could NEVER fire. Measured:
             // 2 out of 2 blocks were reported as "no note AT ALL" while the notes were right there.
             let cs = pos.start.offset;
             while (cs < ce && src[cs] !== "%")