paperlint 4.1.0 → 4.2.0

package/dist/tex-venue-rules.js

@@ -24,6 +24,7 @@ import { basename, dirname, join } from "node:path";
 import { CONFIG_FILE } from "#lib/paper-config";
 import { collapse, documentClassLine, missingOptions, runText, spanIn, } from "./domain/tex-document.js";
 import { paperPreset, resolvePreset, SHIPPED_PREFIX, shippedPresets, } from "./presets.js";
+import { readPaper, reportInPaper } from "./tex-paper.js";
 // ── the judges: what the source says + a resolved preset → findings. Pure. ─────────
 /** A place as a finding points at it: its span, or null — the top of the file — when unplaced. */
 const spanOf = (p) => (p.kind === "at" ? p.span : null);
@@ -38,6 +39,22 @@ function judgeClass(line, want, data) {
         at,
     }));
 }
+/** A candidate as the message names it: its line, or an empty `\documentclass{}`. */
+const candidateLine = (c) => c.kind === "class" ? documentClassLine(c) : "\\documentclass{}";
+/**
+ * Several class lines behind a TeX switch: satisfied when any candidate is the template's class
+ * with its options; otherwise one finding, at the first candidate, naming every one.
+ */
+function judgeCandidates(candidates, want, data) {
+    const matches = candidates.some((c) => c.kind === "class" && judgeClass(c, want, data).length === 0);
+    if (matches)
+        return [];
+    const named = candidates.map((c) => `\`${candidateLine(c)}\``).join(", ");
+    const found = { ...data, count: candidates.length, candidates: named };
+    return [
+        { messageId: "noCandidate", data: found, at: spanOf(candidates[0].place) },
+    ];
+}
 /** The paper's class line against a template that was read: present, naming a class, that class. */
 function judgeClassLine(line, want, data) {
     switch (line.kind) {
@@ -47,6 +64,8 @@ function judgeClassLine(line, want, data) {
             return [{ messageId: "emptyClass", data, at: spanOf(line.place) }];
         case "class":
             return judgeClass(line, want, data);
+        case "ambiguous":
+            return judgeCandidates(line.candidates, want, data);
     }
 }
 /**
@@ -148,6 +167,7 @@ const RULES = {
                 badTemplate: '{{file}}: the preset\'s "template" {{text}} is neither a \\documentclass line nor a class name, so the class cannot be checked',
                 wrongClass: "the class is `{{got}}`, and {{venue}} requires `{{template}}` — the page size, fonts and layout the venue checks come from the class",
                 missingOption: "the class option `{{option}}` is missing: {{venue}} requires `{{template}}`",
+                noCandidate: "none of the {{count}} \\documentclass lines is `{{template}}`, which {{venue}} requires: {{candidates}}. The source picks one behind a TeX switch, which is not evaluated; make one of them the venue's",
             },
         },
     },
@@ -201,8 +221,9 @@ export function otherVenues(preset, fromFile, deps) {
     });
 }
 /**
- * What a judge reads for the paper whose `paper.tex` is `filename`, or null when the paper has no
- * resolved preset (`pdf/measured` and `pdf/profile` already say so).
+ * What a judge reads for the paper whose `paper.tex` is `filename` — the paper with its includes
+ * spliced (`readPaper`) — or null when the paper has no resolved preset (`pdf/measured` and
+ * `pdf/profile` already say so).
  */
 function readingOf(filename, src, deps) {
     const dir = dirname(filename);
@@ -211,18 +232,11 @@ function readingOf(filename, src, deps) {
         return null;
     const preset = p.preset;
     const others = () => otherVenues(preset, join(dir, CONFIG_FILE), deps);
-    return { src, latex: deps.latex, preset, others };
-}
-/** Each finding reported at its span, or at the top of the file when it has none. */
-function reportAll(context, findings) {
-    const at = (i) => context.sourceCode.getLocFromIndex(i);
-    findings.forEach((f) => {
-        context.report({
-            loc: { start: at(f.at?.start ?? 0), end: at(f.at?.end ?? 0) },
-            messageId: f.messageId,
-            data: f.data,
-        });
-    });
+    const paper = readPaper(filename, src, deps);
+    return {
+        reading: { src: paper.text, latex: deps.latex, preset, others },
+        paper,
+    };
 }
 function rule(name, deps) {
     const { judge, meta } = RULES[name];
@@ -235,9 +249,9 @@ function rule(name, deps) {
             return {
                 root() {
                     const sc = context.sourceCode;
-                    const reading = readingOf(context.filename, sc.raw ?? sc.text, deps);
-                    if (reading !== null)
-                        reportAll(context, judge(reading));
+                    const r = readingOf(context.filename, sc.raw ?? sc.text, deps);
+                    if (r !== null)
+                        reportInPaper(context, meta.messages, r.paper, judge(r.reading));
                 },
             };
         },

package/dist/tex-venue-rules.js.map

@@ -1 +1 @@
-{"version":3,"file":"tex-venue-rules.js","sourceRoot":"","sources":["../src/tex-venue-rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EACL,QAAQ,EACR,iBAAiB,EACjB,cAAc,EACd,OAAO,EACP,MAAM,GAQP,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,WAAW,EACX,aAAa,EACb,cAAc,EACd,cAAc,GAEf,MAAM,cAAc,CAAC;AAqCtB,sFAAsF;AAEtF,kGAAkG;AAClG,MAAM,MAAM,GAAG,CAAC,CAAQ,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAW5E,kGAAkG;AAClG,SAAS,UAAU,CACjB,IAAoD,EACpD,IAAmB,EACnB,IAAkB;IAElB,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG;QACvB,OAAO,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7E,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACjD,SAAS,EAAE,eAAe;QAC1B,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE;QACzB,EAAE;KACH,CAAC,CAAC,CAAC;AACN,CAAC;AAED,oGAAoG;AACpG,SAAS,cAAc,CACrB,IAAe,EACf,IAAmB,EACnB,IAAkB;IAElB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,KAAK,OAAO;YACV,OAAO,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrE,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAe,EACf,MAAc,EACd,KAAoC;IAEpC,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC1B,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5D,OAAO,CAAC,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;IACxE,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED,wEAAwE;AACxE,MAAM,OAAO,GAAG,CAAC,CAAQ,EAAiB,EAAE,CAC1C,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAExC,+FAA+F;AAC/F,MAAM,cAAc,GAAG,CACrB,OAAgB,EAChB,IAAwD,EAC/C,EAAE,CAAC,CAAC;IACb,SAAS,EAAE,SAAS;IACpB,IAAI;IACJ,EAAE,EAAE,OAAO,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE;CAC3E,CAAC,CAAC;AAEH,yFAAyF;AACzF,SAAS,gBAAgB,CACvB,OAAgB,EAChB,KAAa,EACb,KAAa;IAEb,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAClE,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACjC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3B,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CACnB,OAAgB,EAChB,IAAqB,EACrB,KAAa;IAEb,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC9B,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAC9D,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAC1D,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,OAAO,GAAG,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IAChD,OAAO,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC3E,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,qBAAqB,CACnC,OAAsB,EACtB,MAAc;IAEd,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpD,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,OAAO,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3C,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CACjC,CAAC;AACJ,CAAC;AAQD,kDAAkD;AAClD,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE,CACpC,CAAC,CAAC,OAAO,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC;AAE5C;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAwB,EACxB,MAAc,EACd,MAA6B;IAE7B,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CACjC,CAAC,CAAC,OAAO;SACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAC1B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACf,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,EAAE,EAAE,IAAI,MAAM,CACZ,sBAAsB,OAAO,CAAC,KAAK,CAAC,oBAAoB,EACxD,IAAI,CACL;KACF,CAAC,CAAC,CACN,CAAC;IACF,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAC1B,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,CAC9B,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,SAAS,EAAE,UAAU;QACrB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;QAChD,EAAE,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;KAChD,CAAC,CAAC,CACJ,CACF,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAsB,EAAU,EAAE,CAC5D,gEAAgE,IAAI,KAAK,CAAC;AAc5E,MAAM,KAAK,GAKP;IACF,QAAQ,EAAE;QACR,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CACX,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC;QAChE,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE;gBACJ,WAAW,EACT,qFAAqF;gBACvF,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC;aAC7B;YACD,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE;gBACR,OAAO,EACL,qEAAqE;gBACvE,UAAU,EACR,uEAAuE;gBACzE,WAAW,EACT,gIAAgI;gBAClI,UAAU,EACR,sIAAsI;gBACxI,aAAa,EACX,6EAA6E;aAChF;SACF;KACF;IACD,kBAAkB,EAAE;QAClB,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;QAC3E,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE;gBACJ,WAAW,EACT,6FAA6F;gBAC/F,GAAG,EAAE,WAAW,CAAC,kBAAkB,CAAC;aACrC;YACD,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE;gBACR,OAAO,EACL,sJAAsJ;gBACxJ,OAAO,EACL,yKAAyK;aAC5K;SACF;KACF;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CACX,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QAClE,IAAI,EAAE;YACJ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE;gBACJ,WAAW,EACT,6GAA6G;gBAC/G,GAAG,EAAE,WAAW,CAAC,gBAAgB,CAAC;aACnC;YACD,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE;gBACR,QAAQ,EACN,mRAAmR;aACtR;SACF;KACF;CACF,CAAC;AAEF,qFAAqF;AACrF,MAAM,CAAC,MAAM,qBAAqB,GAE9B;IACF,cAAc,EAAE,OAAO;IACvB,sBAAsB,EAAE,OAAO;IAC/B,oBAAoB,EAAE,MAAM;CAC7B,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,WAAW,CACzB,MAAc,EACd,QAAgB,EAChB,IAAmB;IAEnB,OAAO,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACrD,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,cAAc,GAAG,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QACpE,yFAAyF;QACzF,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAClE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACtD,CAAC,CAAC,EAAE,CAAC;IACT,CAAC,CAAC,CAAC;AACL,CAAC;AAOD;;;GAGG;AACH,SAAS,SAAS,CAChB,QAAgB,EAChB,GAAW,EACX,IAAsB;IAEtB,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9B,MAAM,CAAC,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;IACxB,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC;IACvE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AACpD,CAAC;AAED,qFAAqF;AACrF,SAAS,SAAS,CAChB,OAAuB,EACvB,QAA4B;IAE5B,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QACrB,OAAO,CAAC,MAAM,CAAC;YACb,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,EAAE;YAC7D,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,IAAI,EAAE,CAAC,CAAC,IAAI;SACb,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,IAAI,CAAC,IAAsB,EAAE,IAAsB;IAC1D,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO;QACL,IAAI;QACJ,MAAM,CAAC,OAAO;YACZ,wFAAwF;YACxF,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,WAAW;gBAAE,OAAO,EAAE,CAAC;YAC1D,OAAO;gBACL,IAAI;oBACF,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC;oBAC9B,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBACrE,IAAI,OAAO,KAAK,IAAI;wBAAE,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;gBAC3D,CAAC;aACF,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,aAAa,CAC3B,IAAsB;IAEtB,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC;QAChC,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC;QAClD,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC;KAC/C,CAAC;AACJ,CAAC"}
+{"version":3,"file":"tex-venue-rules.js","sourceRoot":"","sources":["../src/tex-venue-rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EACL,QAAQ,EACR,iBAAiB,EACjB,cAAc,EACd,OAAO,EACP,MAAM,GASP,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,WAAW,EACX,aAAa,EACb,cAAc,EACd,cAAc,GAEf,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AA6C1D,sFAAsF;AAEtF,kGAAkG;AAClG,MAAM,MAAM,GAAG,CAAC,CAAQ,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAW5E,kGAAkG;AAClG,SAAS,UAAU,CACjB,IAAoD,EACpD,IAAmB,EACnB,IAAkB;IAElB,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG;QACvB,OAAO,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7E,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACjD,SAAS,EAAE,eAAe;QAC1B,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE;QACzB,EAAE;KACH,CAAC,CAAC,CAAC;AACN,CAAC;AAED,qFAAqF;AACrF,MAAM,aAAa,GAAG,CAAC,CAAiB,EAAU,EAAE,CAClD,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC;AAElE;;;GAGG;AACH,SAAS,eAAe,CACtB,UAA0D,EAC1D,IAAmB,EACnB,IAAkB;IAElB,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CACpE,CAAC;IACF,IAAI,OAAO;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IACvE,OAAO;QACL,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;KAC3E,CAAC;AACJ,CAAC;AAED,oGAAoG;AACpG,SAAS,cAAc,CACrB,IAAe,EACf,IAAmB,EACnB,IAAkB;IAElB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,KAAK,OAAO;YACV,OAAO,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrE,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACtC,KAAK,WAAW;YACd,OAAO,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACxD,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAe,EACf,MAAc,EACd,KAAoC;IAEpC,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC1B,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5D,OAAO,CAAC,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;IACxE,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED,wEAAwE;AACxE,MAAM,OAAO,GAAG,CAAC,CAAQ,EAAiB,EAAE,CAC1C,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAExC,+FAA+F;AAC/F,MAAM,cAAc,GAAG,CACrB,OAAgB,EAChB,IAAwD,EAC/C,EAAE,CAAC,CAAC;IACb,SAAS,EAAE,SAAS;IACpB,IAAI;IACJ,EAAE,EAAE,OAAO,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE;CAC3E,CAAC,CAAC;AAEH,yFAAyF;AACzF,SAAS,gBAAgB,CACvB,OAAgB,EAChB,KAAa,EACb,KAAa;IAEb,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAClE,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACjC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3B,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,GAAG,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CACnB,OAAgB,EAChB,IAAqB,EACrB,KAAa;IAEb,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC9B,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/D,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAC9D,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAC1D,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,OAAO,GAAG,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IAChD,OAAO,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC3E,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,qBAAqB,CACnC,OAAsB,EACtB,MAAc;IAEd,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpD,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;IACpB,OAAO,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAC3C,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CACjC,CAAC;AACJ,CAAC;AAQD,kDAAkD;AAClD,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE,CACpC,CAAC,CAAC,OAAO,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC;AAE5C;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAwB,EACxB,MAAc,EACd,MAA6B;IAE7B,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CACjC,CAAC,CAAC,OAAO;SACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAC1B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACf,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,EAAE,EAAE,IAAI,MAAM,CACZ,sBAAsB,OAAO,CAAC,KAAK,CAAC,oBAAoB,EACxD,IAAI,CACL;KACF,CAAC,CAAC,CACN,CAAC;IACF,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAC1B,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,CAC9B,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,SAAS,EAAE,UAAU;QACrB,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE;QAChD,EAAE,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;KAChD,CAAC,CAAC,CACJ,CACF,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAwD,EAChD,EAAE,CACV,gEAAgE,IAAI,KAAK,CAAC;AAc5E,MAAM,KAAK,GAKP;IACF,QAAQ,EAAE;QACR,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CACX,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC;QAChE,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE;gBACJ,WAAW,EACT,qFAAqF;gBACvF,GAAG,EAAE,WAAW,CAAC,UAAU,CAAC;aAC7B;YACD,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE;gBACR,OAAO,EACL,qEAAqE;gBACvE,UAAU,EACR,uEAAuE;gBACzE,WAAW,EACT,gIAAgI;gBAClI,UAAU,EACR,sIAAsI;gBACxI,aAAa,EACX,6EAA6E;gBAC/E,WAAW,EACT,yMAAyM;aAC5M;SACF;KACF;IACD,kBAAkB,EAAE;QAClB,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;QAC3E,IAAI,EAAE;YACJ,IAAI,EAAE,SAAS;YACf,IAAI,EAAE;gBACJ,WAAW,EACT,6FAA6F;gBAC/F,GAAG,EAAE,WAAW,CAAC,kBAAkB,CAAC;aACrC;YACD,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE;gBACR,OAAO,EACL,sJAAsJ;gBACxJ,OAAO,EACL,yKAAyK;aAC5K;SACF;KACF;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CACX,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QAClE,IAAI,EAAE;YACJ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE;gBACJ,WAAW,EACT,6GAA6G;gBAC/G,GAAG,EAAE,WAAW,CAAC,gBAAgB,CAAC;aACnC;YACD,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE;gBACR,QAAQ,EACN,mRAAmR;aACtR;SACF;KACF;CACF,CAAC;AAEF,qFAAqF;AACrF,MAAM,CAAC,MAAM,qBAAqB,GAE9B;IACF,cAAc,EAAE,OAAO;IACvB,sBAAsB,EAAE,OAAO;IAC/B,oBAAoB,EAAE,MAAM;CAC7B,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,WAAW,CACzB,MAAc,EACd,QAAgB,EAChB,IAAmB;IAEnB,OAAO,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACrD,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,cAAc,GAAG,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QACpE,yFAAyF;QACzF,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAClE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACtD,CAAC,CAAC,EAAE,CAAC;IACT,CAAC,CAAC,CAAC;AACL,CAAC;AAOD;;;;GAIG;AACH,SAAS,SAAS,CAChB,QAAgB,EAChB,GAAW,EACX,IAAsB;IAEtB,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9B,MAAM,CAAC,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;IACxB,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC7C,OAAO;QACL,OAAO,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE;QAC/D,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,IAAsB,EAAE,IAAsB;IAC1D,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO;QACL,IAAI;QACJ,MAAM,CAAC,OAAO;YACZ,wFAAwF;YACxF,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,WAAW;gBAAE,OAAO,EAAE,CAAC;YAC1D,OAAO;gBACL,IAAI;oBACF,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC;oBAC9B,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBAC/D,IAAI,CAAC,KAAK,IAAI;wBACZ,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;gBACrE,CAAC;aACF,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,aAAa,CAC3B,IAAsB;IAEtB,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC;QAChC,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC;QAClD,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC;KAC/C,CAAC;AACJ,CAAC"}

package/docs/rules/tex/claim-provenance.md

@@ -0,0 +1,83 @@
+# tex/claim-provenance
+
+**Level:** warn · **Reads:** `paper.tex`
+
+## What it catches
+
+A sentence of the body that states a number and does not say whose the number is. The sentence is
+reported once, however many numbers it holds. Any one of these owners silences it:
+
+| owner                        | in the sentence                                                                                                                   |
+| ---------------------------- | --------------------------------------------------------------------------------------------------------------------------------- |
+| a work outside the paper     | a `\cite` (any of natbib's or biblatex's forms), a `\url`, an `\href`, or a footnote that cites or links                          |
+| the authors                  | _we_, _our_, _ours_, _us_ (the capitalised country _US_ is not the authors)                                                       |
+| a place in the paper         | `\ref`, `\cref`, `\autoref` and their kin, or the words _Section 4_, _Table 2_, _Fig. 3_, _Appendix B_, _§4_                      |
+| a claimant named as one      | _advertises_, _claims_: _"the skill advertises a 65% reduction"_, _"(claim 63%)"_                                                 |
+| the sample the number counts | _n = 134_ (in prose or in math), or a count followed by what it counts: _48 runs_, _48 independent runs_, _of 1,836 repositories_ |
+
+It reads the body of the whole paper — `paper.tex` with the files it `\input`s, `\include`s or
+`\subfile`s spliced in — from the start of the document, the abstract included, to `\appendix` or the
+bibliography. A sentence in an included file is reported at that include, with the file and line at
+the front of the message. Footnotes are read as sentences of their own. A citation or a footnote set right after
+the full stop belongs to the sentence the full stop ends.
+
+A number is digits a reader sees — `42\%`, `0.37`, `1,836`, `3x`, `3×`. Not a number: a year on its
+own (1900–2099); a number right after a capitalised word inside the sentence (_Claude 3_, _Python
+3.12_, _Node 22_), which is a name; the level of an interval (the 95 of _95% CI_); digits glued to a letter, a hyphen or a point (`GPT-4`, `COVID-19`, `v1.2`, `10k`,
+`0x1F`); anything inside math, a table, a figure, a caption, a heading (a run-in one too: `\textbf{Threats.}` opening a paragraph), code, a comment, a macro
+definition, or the title block.
+
+## Why
+
+A reviewer who cannot tell a property of the world from a cited finding from the authors' own
+measurement says so, and scores the paper's soundness on it. Academic prose carries the owner by
+default — _we found_, _[12] report_, _(Table 2)_ — and a sentence rewritten for punch loses it first:
+_"Under test the rules held in 97% of cases"_ has no subject, and a reader takes it
+for a result from the literature. This rule is the floor under the rules that shorten sentences.
+
+## Examples
+
+```latex
+Agents ignore 42\% of the rules they are given.            % warns
+Under test the rules held in 97\% of cases.                  % warns: no one ran the test
+We find that agents ignore 42\% of the rules.                % silent: the authors
+Agents ignore 42\% of the rules~\cite{smith2025}.            % silent: a citation
+Agents ignore 42\% of the rules (Table~\ref{t:rates}).       % silent: a place in the paper
+Of 1,836 repositories, 12\% ship hooks.                      % silent: the sample
+In 2024 the first agents shipped with GPT-4.                 % silent: a year and a name
+```
+
+The first line reports:
+
+> «42%» — whose number is this? A reader cannot tell a cited finding from your own measurement from
+> a general fact. Say it in the sentence: cite the work (\cite), claim it (we measured, our census),
+> point to where it is shown (\ref, Section N, Table N), or name the sample it counts (n = 134, 48
+> runs)
+
+## Options / preset fields
+
+None. It is on, as a warning, for every `paper.tex`; turn it off or up in the `rules` setting like
+any other rule.
+
+## What it does not check
+
+- Whether the owner is the right one: a citation that does not report the number, or a _we_ in a
+  sentence about someone else's work, silences the sentence all the same.
+- What a custom macro prints: `\rate{}` defined as `42\%` is not a number here.
+- Which numbers are names, beyond the two shapes it knows: a number after a lowercase word (_version
+  3 of the model_) is read as a quantity, and so is the number of a name that opens the sentence
+  (_Claude 3 fails …_).
+- Whether a count followed by a plural noun is really the sample (_3 times faster_ passes as one).
+- Markdown papers (`paper.md`): it reads the LaTeX parse tree only.
+
+## How to fix
+
+Say whose the number is, in the sentence — usually by putting back the subject a punchy rewrite took
+out: _"We ran the rules in 48 sessions and saw no violation"_, not _"No violation in 48 runs."_ A
+number that is common knowledge, or quoted on purpose, keeps its sentence with ESLint's directive and
+the reason:
+
+```latex
+% eslint-disable-next-line tex/claim-provenance -- the venue's own page limit, quoted
+The limit is 8.
+```

package/docs/rules/tex/missing-input.md

@@ -0,0 +1,58 @@
+# tex/missing-input
+
+**Level:** warn · **Reads:** `paper.tex`, and every file it includes
+
+## What it catches
+
+An `\input`, `\include` or `\subfile` that names a file which is not there. The path is resolved the
+way TeX resolves it, from the paper's directory: `name.tex` first, then `name` as written. An
+include inside an included file is resolved from the paper's directory too.
+
+## Why
+
+The rules that read the parse tree — `tex/template`, `tex/required-section`, `tex/venue-leftover`,
+`tex/claim-provenance` — read the whole paper: `paper.tex` with every included file spliced in where
+it is included, as TeX reads it. A file that is not there cannot be read, and without this rule the
+others would report a clean body for text they never saw. TeX stops on it too.
+
+## Examples
+
+```latex
+\input{sections/results}   % warns when neither sections/results.tex nor sections/results exists
+\input{sections/intro}     % silent: sections/intro.tex is there
+```
+
+The first line reports:
+
+> `sections/results` is not there (tried `sections/results.tex` and `sections/results`, from the
+> paper's directory): TeX stops on it, and no rule read what it should hold
+
+A missing file included by another included file is reported at the include in `paper.tex` that
+brought that file in, and the message names the file that holds it.
+
+## Options / preset fields
+
+None.
+
+## What it does not check
+
+- A path built from a macro (`\input{\dir/intro}`): macros are not expanded, so the path is looked
+  up as written.
+- `\import{dir}{file}` and other packages' include macros.
+
+## How to fix
+
+Correct the path, or add the file. A file that a build step writes (a table of generated numbers)
+is absent before that step runs — keep the include with a disable directive and the reason:
+
+```latex
+% eslint-disable-next-line tex/missing-input -- written by repro/numbers.sh before the build
+\input{generated/numbers}
+```
+
+## Where findings in included files are reported
+
+ESLint reports a finding in the file it lints, and paperlint lints `paper.tex`. A finding of any of
+the rules above whose text came from an included file is reported at the include in `paper.tex`,
+with the included file, line and column at the front of its message
+(`sections/results.tex:12:3: …`). A disable directive for it goes above that include.

package/docs/rules/tex/register.md

@@ -0,0 +1,77 @@
+# tex/register
+
+**Level:** warn · **Reads:** `paper.tex` and the files it includes
+
+## What it catches
+
+A body in which more than 0.8 sentences per 1000 words open with _And_, _So_, _But_, _Nor_, _Or_ or
+_Yet_. It is reported once, at the body's first sentence, with the count, the rate and the first
+three such sentences.
+
+It reads the body of the whole paper — `paper.tex` with the files it `\input`s, `\include`s or
+`\subfile`s spliced in — from the start of the document, the abstract included, to `\appendix` or the
+bibliography: paragraphs, list items and footnotes. Headings are not sentences, and neither is a
+run-in heading — a bold or italic phrase ending in `.` or `:` that opens a paragraph or an item
+(`\textbf{Threats.} …`). Captions, tables, figures, code and math environments are left out. A
+citation, a cross-reference or inline math counts as one word, as it reads on the page. Sentences
+are cut exactly as [`tex/claim-provenance`](claim-provenance.md) cuts them.
+
+A conjunction counts only as the capitalised first word of a sentence; the _and_ that opens a list
+item continuing the sentence before the list does not.
+
+A body under 2 000 words is not judged: there one sentence decides the rate.
+
+## Why
+
+Reviewers called our prose "too informal" and "a blogpost". Measured against eleven accepted
+papers, sentences opening with a coordinating conjunction set our four drafts apart:
+
+| measure                                                      |           11 accepted papers | our 4 drafts |
+| ------------------------------------------------------------ | ---------------------------: | -----------: |
+| sentences opening with And/So/But/Nor/Or/Yet, per 1000 words | 0–0.58 (the ACSAC papers: 0) |    0.29–2.98 |
+
+The limit sits above the accepted range with room to spare: the rule flags a body that has drifted
+to a post's register, not one a little above the median. Mean sentence length did not separate the
+two groups. The share of sentences under eight words did not either, once measured on the parse
+tree: 3.3–7.3% on the two accepted papers in this repository's corpus, 5.1–7.0% on three of ours.
+
+On the corpus (`fixtures/accepted-papers/`) the rule measures:
+
+| paper                               | per 1000 words |
+| ----------------------------------- | -------------: |
+| `secure-acsac24` (ACSAC 2024)       |           0.00 |
+| `llm-splained-acsac25` (ACSAC 2025) |           0.00 |
+| `agenticdev-acm26` (ours, accepted) |           1.60 |
+
+The vocabulary of machine-written text (_delve_, _crucial_) is a different question, and a different
+check; a paper can avoid every such word and still read as a post.
+
+## Examples
+
+```latex
+We measured the cost on four tools. But the bill barely moves.       % a conjunction start
+We measured the cost on four tools, and the bill barely moves.       % none
+We measured the cost on four tools. However, the bill barely moves.  % none
+```
+
+On a body where such sentences run above the limit, the rule reports:
+
+> 7 sentences open with And, So, But, Nor, Or or Yet — 1.60 per 1000 words (first: «…», «…», «…»).
+> Accepted papers measured 0–0.58; this rule warns above 0.8. Join the sentence to the one before,
+> or open with the connective a paper uses (However, Therefore, Moreover)
+
+## Options / preset fields
+
+In a paper's `paperlint.json`:
+
+```json
+{
+  "rules": {
+    "tex/register": ["warn", { "conjunctionStartsPer1000": 0.8 }]
+  }
+}
+```
+
+| option                     | default | what it is                                                 |
+| -------------------------- | ------: | ---------------------------------------------------------- |
+| `conjunctionStartsPer1000` |     0.8 | the conjunction starts per 1000 words above which it warns |

package/docs/rules/tex/required-section.md

@@ -9,6 +9,9 @@ the required sections by title in `required_sections`; the paper must have a `\s
 `\section*` with exactly that title (whitespace collapsed), and, when the preset says
 `position: "last"`, no section of the main text may come after it.
 
+It reads the sections of the whole paper, the files `paper.tex` includes spliced in where they are
+included, so a required section kept in `sections/llm-usage.tex` counts.
+
 It only knows the sections a preset lists. A paper whose `paperlint.json` names no preset, or a
 preset with no `required_sections`, gets no finding.
 
@@ -66,7 +69,6 @@ the bibliography or an appendix is fine. Without `position`, anywhere will do.
 ## What it does not check
 
 - Whether LLMs were used, or what the section says.
-- Sections pulled in with `\input` or `\include`: the rule reads `paper.tex` alone.
 
 ## How to fix
 

package/docs/rules/tex/template.md

@@ -8,6 +8,17 @@ The paper is not set in the class its venue requires. The rule compares the `\do
 of `paper.tex` with the preset's `template`: the class must be the same, and every option the
 template names must be there. The paper may add options of its own.
 
+A source that keeps one file for several venues and picks the class behind a TeX switch has several
+`\documentclass` lines. The switch is not evaluated: each line is a candidate, the paper passes when
+one of them is the template's class with its options, and when none is, one finding at the first
+candidate names every one:
+
+```latex
+\def\venue{2}
+\if\venue1 \documentclass{article} \fi
+\if\venue2 \documentclass[conference,compsoc]{IEEEtran} \fi   % passes: the second candidate matches
+```
+
 It only knows the class a preset names. A paper whose `paperlint.json` names no preset, or a
 preset with no `template`, gets no finding.
 
@@ -55,6 +66,7 @@ and no option. A value that is neither is reported as a finding that names the p
   requires is there.
 - The version of the class file (#94).
 - A `\documentclass` inside a comment: the rule reads the parse tree, so it does not count.
+- Which branch of a TeX switch builds: with several class lines, one matching candidate is enough.
 
 ## How to fix
 

package/docs/rules/tex/venue-leftover.md

@@ -11,7 +11,9 @@ now going to VenueB.
 It only knows the venues paperlint ships a preset for, by each preset's `name` and `aliases`. A
 venue with no preset is not recognized.
 
-It looks at what a reader sees — prose, the author block, captions, footnotes, a citation's note in
+It reads the whole paper — `paper.tex` with the files it `\input`s, `\include`s or `\subfile`s
+spliced in; a name found in an included file is reported at that include, with the file and line at
+the front of the message. It looks at what a reader sees — prose, the author block, captions, footnotes, a citation's note in
 square brackets, and front-matter macros such as `\acmConference` — and ignores comments, citation
 keys, labels, URLs (a `\url`, and the address of an `\href` — its link text is read), math, code and
 the bibliography. Names are matched as whole words, case-sensitive.
@@ -58,7 +60,7 @@ reported.
 ## What it does not check
 
 - A venue no shipped preset describes.
-- A name split by markup (`\textbf{AI}Sec`), and text pulled in with `\input`.
+- A name split by markup (`\textbf{AI}Sec`).
 
 ## How to fix
 

package/docs/rules.md

@@ -21,6 +21,9 @@ reads and when it fails. Errors fail `paperlint lint`; warnings print and do not
 | [`tex/template`](rules/tex/template.md)                 | error | `paper.tex` → `paperlint.json`                | the `\documentclass` is not the preset's `template` class, or lacks an option it names — [page](rules/tex/template.md)                                                                                                                                                                                                                                                                                                                                        |
 | [`tex/required-section`](rules/tex/required-section.md) | error | `paper.tex` → `paperlint.json`                | a section the preset requires (AIDC: «LLM Usage Statement», last) is missing or not where it must be — [page](rules/tex/required-section.md)                                                                                                                                                                                                                                                                                                                  |
 | [`tex/venue-leftover`](rules/tex/venue-leftover.md)     | warn  | `paper.tex` → `paperlint.json`                | the text names another shipped venue than the one the paper extends («Submission to VenueA 2026» in a paper now set for VenueB) — [page](rules/tex/venue-leftover.md)                                                                                                                                                                                                                                                                                         |
+| [`tex/claim-provenance`](rules/tex/claim-provenance.md) | warn  | `paper.tex`                                   | a sentence of the body states a number and does not say whose it is — no citation or link, no _we_/_our_, no `\ref` or "Table 2", no sample ("n = 134", "48 runs") — [page](rules/tex/claim-provenance.md)                                                                                                                                                                                                                                                    |
+| [`tex/missing-input`](rules/tex/missing-input.md)       | warn  | `paper.tex` and the files it includes         | an `\input`, `\include` or `\subfile` names a file that is not there, so no rule read its text — [page](rules/tex/missing-input.md)                                                                                                                                                                                                                                                                                                                           |
+| [`tex/register`](rules/tex/register.md)                 | warn  | `paper.tex` and the files it includes         | the body runs to a post's register: more than 0.8 sentences per 1000 words open with _And_, _So_, _But_, _Nor_, _Or_ or _Yet_ — the limit is an option — [page](rules/tex/register.md)                                                                                                                                                                                                                                                                        |
 | `review/frontmatter`                                    | error | `reviews/*.md`                                | the review's frontmatter fails paperlint's JSON Schema — a `findings` record without `id`/`status`, an unknown field, or an **open** finding with no `cause` (`skill-defect` · `missing-skill` · `hook` · `rule`). A review with no `findings` key is not checked for findings                                                                                                                                                                                |
 | `sibling/frontmatter`                                   | warn  | `siblings/*.md` (not `README.md`)             | a sibling card's frontmatter has no `read:` saying how much of the competing paper was read (`full` · `abstract` · `none`)                                                                                                                                                                                                                                                                                                                                    |
 | `pdf/fresh`                                             | error | `paper.tex` → `_build/paper.facts.json`       | the paper names a venue and the facts cannot be judged: not JSON, a schema other than 2, or they describe a PDF that is gone or differs from the one on disk (its SHA-256)                                                                                                                                                                                                                                                                                    |

package/eslint-rules/paper-typography.test.mjs

@@ -16,7 +16,10 @@ import { readFileSync } from "node:fs";
 import { dirname, join } from "node:path";
 import { fileURLToPath } from "node:url";
 import { texLanguage } from "./latex-language.ts";
-import typography, { texVisibleRuns } from "./paper-typography.ts";
+import typography, {
+  crefDefinitionRanges,
+  texVisibleRuns,
+} from "./paper-typography.ts";
 import bib from "./bib-reachable-entry.ts";
 
 const HERE = dirname(fileURLToPath(import.meta.url));
@@ -118,6 +121,50 @@ describe("paper/section-word", () => {
     expect(ids(await lint(src), "paper/section-word")).toEqual([]);
   });
 
+  it("🔴 a cleveref name definition is not prose: silent, and --fix leaves it as written", async () => {
+    const src =
+      "\\documentclass{article}\n\\usepackage{cleveref}\n\\crefname{section}{§}{§§}\n\\Crefname{section}{§}{§§}\n" +
+      "\\begin{document}\nText.\n\\end{document}\n";
+    expect(ids(await lint(src), "paper/section-word")).toEqual([]);
+    expect(await fixed(src)).toBe(src);
+  });
+
+  it("a definition's range: its attached arguments, or the groups after a macro the parser did not sign", () => {
+    const signed = "\\crefname{section}{}{§§}";
+    expect(crefDefinitionRanges(signed)).toEqual([[0, signed.length]]);
+    const at = (s, e) => ({ start: { offset: s }, end: { offset: e } });
+    const tree = (macro, after) => ({ content: [macro, ...after] });
+    expect(
+      crefDefinitionRanges("", {
+        parse: () =>
+          tree({ type: "macro", content: "Crefname", position: at(0, 9) }, [
+            { type: "group", content: [], position: at(9, 14) },
+            { type: "string", content: "x", position: at(14, 15) },
+          ]),
+      }),
+    ).toEqual([[0, 14]]);
+    // A node with no position has no range; an argument with no content ends nothing.
+    expect(
+      crefDefinitionRanges("", {
+        parse: () =>
+          tree(
+            {
+              type: "macro",
+              content: "crefname",
+              args: [{ type: "argument" }],
+            },
+            [],
+          ),
+      }),
+    ).toEqual([]);
+  });
+
+  it("…while a § in prose next to such a definition is still reported", async () => {
+    const src =
+      "\\documentclass{article}\n\\crefname{section}{§}{§§}\n\\begin{document}\nSee §5.\n\\end{document}\n";
+    expect(ids(await lint(src), "paper/section-word")).toHaveLength(1);
+  });
+
   it("markdown: `§5` → `Section 5`, code untouched", async () => {
     const src = "See §5 and `§3` here.\n";
     expect(ids(await lint(src, "paper.md"), "paper/section-word")).toHaveLength(

package/eslint-rules/paper-typography.ts

@@ -61,6 +61,7 @@
  */
 import assert from "node:assert/strict";
 import { getParser } from "@unified-latex/unified-latex-util-parse";
+import { takeWhile } from "remeda";
 import type { Nodes } from "mdast";
 import type { TexArg, TexNode, TexRoot } from "./latex-language.ts";
 import type {
@@ -121,7 +122,77 @@ function skippedRanges(
     }
   const bib = bibRange(raw);
   if (bib) out.push([bib.start, bib.end]);
-  return out;
+  return [...out, ...crefDefinitionRanges(raw)];
+}
+
+/**
+ * cleveref's name and format definitions (`\crefname{section}{§}{§§}`): the label a reference
+ * prints is set there, not written as prose, so a sign in them is not a sign in the text.
+ */
+const CREF_DEFINITIONS: ReadonlySet<string> = new Set([
+  "crefname",
+  "Crefname",
+  "crefformat",
+  "Crefformat",
+  "crefrangeformat",
+  "Crefrangeformat",
+  "crefmultiformat",
+  "Crefmultiformat",
+  "crefrangemultiformat",
+  "Crefrangemultiformat",
+]);
+
+const isGroup = (n: TexNode): boolean => n.type === "group";
+
+/**
+ * A macro's range with its arguments: the ones the parser attached (cleveref's are signed) or the
+ * `{…}` groups standing right after it when it was given none — from the first to the last offset
+ * any of them carries. An argument's closing brace is one character past its last node.
+ */
+function withArguments(
+  m: TexNode & { readonly type: "macro" },
+  after: readonly TexNode[],
+): readonly [number, number][] {
+  const offsets = [
+    m.position?.start.offset,
+    m.position?.end.offset,
+    ...(m.args ?? []).map((a) => {
+      const last = a.content?.at(-1)?.position?.end.offset;
+      return last === undefined ? undefined : last + 1;
+    }),
+    takeWhile(after, isGroup).at(-1)?.position?.end.offset,
+  ].filter((o): o is number => o !== undefined);
+  return offsets.length === 0
+    ? []
+    : [[Math.min(...offsets), Math.max(...offsets)]];
+}
+
+/**
+ * The ranges of the cleveref definitions in the preamble and in the document body. `parse` is
+ * unified-latex's; a test hands in a tree with the fields the walk tolerates being absent.
+ */
+export function crefDefinitionRanges(
+  raw: string,
+  {
+    parse = (s: string): TexRoot => getParser().parse(s),
+  }: { readonly parse?: (s: string) => TexRoot } = {},
+): readonly [number, number][] {
+  const root = parse(raw);
+  const doc = root.content.find(
+    (n): n is Extract<TexNode, { type: "environment" | "mathenv" }> =>
+      n.type === "environment" && n.env === "document",
+  );
+  const lists: readonly (readonly TexNode[])[] = [
+    root.content,
+    doc?.content ?? [],
+  ];
+  return lists.flatMap((list) =>
+    list.flatMap((n, i) =>
+      n.type === "macro" && CREF_DEFINITIONS.has(n.content)
+        ? withArguments(n, list.slice(i + 1))
+        : [],
+    ),
+  );
 }
 const inside = (ranges: readonly [number, number][], i: number) =>
   ranges.some(([s, e]) => i >= s && i < e);

package/eslint.config.mjs

@@ -428,6 +428,7 @@ const TYPESCRIPT_ONLY = [
   "test/*.{js,mjs,cjs}",
   "test/e2e/**/*.{js,mjs,cjs}",
   "test/fixtures/layers/src/**/*.{js,mjs,cjs}",
+  "fixtures/accepted-papers/**/*.{js,mjs,cjs}",
   "fixtures/real-markdown-paper/**/*.{js,mjs,cjs}",
   "skills/paper-pipeline/scripts/fixtures/**/*.{js,mjs,cjs}",
   "skills/plan-paper-timeline/fixtures/**/*.{js,mjs,cjs}",

package/fixtures/real-markdown-paper/baseline.ts

@@ -1,8 +1,9 @@
 /**
- * ONE reader of `baseline.json`, shared by the two runs that compare against it: the harness
- * beside this file (the repository's own `bin/paperlint.mjs`) and `test/e2e/install/install.e2e.ts` (the binary
- * a consumer actually got). Two copies of "growth fails, a drop never does" would drift the first
- * time one of them is tightened, and the two runs would then disagree about the same article.
+ * ONE reader of `baseline.json`, shared by every run that compares against one: the harness beside
+ * this file (the repository's own `bin/paperlint.mjs`), `test/e2e/install/install.e2e.ts` (the
+ * binary a consumer actually got), and `fixtures/accepted-papers/accepted-papers.test.ts` (one
+ * baseline per accepted paper). Two copies of "growth fails, a drop never does" would drift the
+ * first time one of them is tightened, and the runs would then disagree about the same rules.
  */
 import { readFileSync } from "node:fs";
 import { dirname, join } from "node:path";
@@ -21,10 +22,10 @@ const LintOutput = z.array(
 
 const HERE = dirname(fileURLToPath(import.meta.url));
 
-/** The recorded counts, `{ruleId: n}`. */
-export function recordedFindings(): Counts {
+/** The counts recorded in `dir`'s `baseline.json` (this article's by default), `{ruleId: n}`. */
+export function recordedFindings(dir: string = HERE): Counts {
   return Baseline.parse(
-    JSON.parse(readFileSync(join(HERE, "baseline.json"), "utf8")),
+    JSON.parse(readFileSync(join(dir, "baseline.json"), "utf8")),
   ).findings;
 }
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "paperlint",
-  "version": "4.1.0",
+  "version": "4.2.0",
   "description": "A linter for scientific papers written in LaTeX: catches mistakes before you submit to a conference or journal.",
   "type": "module",
   "license": "MIT",
@@ -110,6 +110,7 @@
     "eslint-rules",
     "eslint.config.mjs",
     "fixtures",
+    "!fixtures/accepted-papers",
     "!fixtures/real-markdown-paper",
     "fixtures/real-markdown-paper/baseline.*",
     "hooks",