paperlint 11.1.3 → 12.1.0

package/src/latex-loop.ts

@@ -6,7 +6,9 @@
  * Both halves are table tests (`latex-loop.harness.ts`), not scenarios that need TeX.
  *
  * ── THE LOOP: `summarize` reduces the history to a `State`, and `nextStep` asks four questions ──
- *   1. did the last program fail?                          → fail, with its error lines
+ *   1. did the last program fail — a non-zero exit, or a
+ *      final log carrying a warning on latex-log's list of
+ *      failing ones (`FAILING_WARNINGS`)?                  → fail, with its lines
  *   2. did the citations, a .bib or the style change since
  *      bibtex last ran?                                    → bibtex
  *   3. did the last pass change a tracked file, or did the
@@ -43,12 +45,17 @@ export const TRACKED: readonly Tracked[] = ["aux", "toc", "out", "bbl"];
 export type Hashes = { readonly [K in Tracked]: string | null };
 
 /** Log markers, as `latex-log.ts` reads them. Re-declared as a type so this module has no imports. */
-export type LogMarker =
-  | "rerun-requested"
-  | "labels-changed"
-  | "rerunfilecheck"
-  | "undefined-references"
-  | "undefined-citations";
+export type LogMarker = "rerun-requested" | "labels-changed" | "rerunfilecheck";
+
+/**
+ * A warning on `latex-log.ts`'s list of those that fail the build, as the log of one pass carries it:
+ * its id, why it fails, and each distinct line quoted once with how many times it appeared.
+ */
+export interface LogFailure {
+  readonly id: string;
+  readonly reason: string;
+  readonly quotes: readonly { readonly text: string; readonly times: number }[];
+}
 
 const RERUN: readonly LogMarker[] = [
   "rerun-requested",
@@ -88,6 +95,8 @@ export type Observation =
       readonly errorLines: readonly string[];
       /** What `-recorder` wrote after this pass (`paper.fls`), or null when pdflatex wrote none. */
       readonly fls: string | null;
+      /** The failing warnings this pass's log carries. Only the final pass's are judged. */
+      readonly failing: readonly LogFailure[];
     }
   | {
       readonly step: "bibtex";
@@ -101,16 +110,13 @@ export type Observation =
 
 export type FailCause =
   | { readonly kind: "exit"; readonly code: number }
-  | { readonly kind: "no-convergence"; readonly unsettled: readonly string[] };
+  | { readonly kind: "no-convergence"; readonly unsettled: readonly string[] }
+  | { readonly kind: "log-warnings"; readonly ids: readonly string[] };
 
 export type Step =
   | { readonly kind: "latex"; readonly final: boolean }
   | { readonly kind: "bibtex" }
-  | {
-      readonly kind: "done";
-      /** Undefined-reference summaries still in the final log — a converged doc with a bad key. */
-      readonly warnings: readonly LogMarker[];
-    }
+  | { readonly kind: "done" }
   | {
       readonly kind: "fail";
       readonly step: "latex" | "bibtex";
@@ -136,13 +142,11 @@ export type State = {
   /** Non-final pdflatex passes so far. */
   readonly latexPasses: number;
   readonly finalDone: boolean;
-  /** Undefined-reference summaries in the log of the final pass. */
-  readonly warnings: readonly LogMarker[];
 };
 
 export function nextStep(s: State): Step {
   if (s.failed) return { kind: "fail", ...s.failed };
-  if (s.finalDone) return { kind: "done", warnings: s.warnings };
+  if (s.finalDone) return { kind: "done" };
   if (s.bibOutdated) return { kind: "bibtex" };
   if (s.unsettled.length === 0) return { kind: "latex", final: true };
   if (s.latexPasses < MAX_PASSES) return { kind: "latex", final: false };
@@ -183,31 +187,48 @@ function unsettledBy(history: readonly Observation[]): string[] {
   return [];
 }
 
+/** A failing warning as the human reads it: the id and reason, then each quoted line. */
+const failureLines = (f: LogFailure): readonly string[] => [
+  `${f.id} — ${f.reason}:`,
+  ...f.quotes.map(
+    (q) => `  ${q.text}${q.times > 1 ? ` (${String(q.times)} times)` : ""}`,
+  ),
+];
+
+/**
+ * Did the last run fail? A non-zero exit, whichever program; or a FINAL pass whose log carries a
+ * failing warning. An earlier pass's log is not judged: before the rerun every reference is
+ * undefined by construction.
+ */
+function failureOf(last: Observation | undefined): State["failed"] {
+  if (last === undefined) return null;
+  if (last.exitCode !== 0)
+    return {
+      step: last.step,
+      cause: { kind: "exit", code: last.exitCode },
+      lines: last.errorLines,
+    };
+  if (last.step !== "latex" || !last.final || last.failing.length === 0)
+    return null;
+  return {
+    step: "latex",
+    cause: { kind: "log-warnings", ids: last.failing.map((f) => f.id) },
+    lines: last.failing.flatMap(failureLines),
+  };
+}
+
 export function summarize(history: readonly Observation[]): State {
   const last = history.at(-1);
   const latexRuns = history.filter((o) => o.step === "latex");
   const lastLatex = latexRuns.at(-1);
   const lastBibtex = history.filter((o) => o.step === "bibtex").at(-1);
   return {
-    failed:
-      last && last.exitCode !== 0
-        ? {
-            step: last.step,
-            cause: { kind: "exit", code: last.exitCode },
-            lines: last.errorLines,
-          }
-        : null,
+    failed: failureOf(last),
     bibOutdated:
       lastLatex?.bib.kind === "needed" &&
       !(lastBibtex && sameBib(lastBibtex.bib, lastLatex.bib)),
     unsettled: unsettledBy(history),
     latexPasses: latexRuns.filter((o) => !o.final).length,
     finalDone: last?.step === "latex" && last.final,
-    warnings:
-      last?.step === "latex"
-        ? last.markers.filter(
-            (m) => m === "undefined-references" || m === "undefined-citations",
-          )
-        : [],
   };
 }

package/src/paper-settings-commands.test.ts

@@ -302,7 +302,7 @@ describe("paperlint lint — the paper over its preset, and the project's own pr
     const r = await lint(root);
     expect(r.code).toBe(1);
     expect(r.out).toMatch(
-      /acm-sigconf, agenticdev, aidc, aisec, ieee-conference, msr, realm/,
+      /acm-sigconf, agent, agenticdev, agentverify, aidc, aisec, ieee-conference, msr, nlbse, realm/,
     );
   });
 });

package/src/preset-card-rule.test.ts

@@ -87,11 +87,14 @@ describe("the shipped cards", () => {
     // Guards: a glob that matched nothing lints nothing and reports clean.
     expect(results.map((r) => r.filePath.slice(P.length + 1)).sort()).toEqual([
       "acm-sigconf.md",
+      "agent.md",
       "agenticdev.md",
+      "agentverify.md",
       "aidc.md",
       "aisec.md",
       "ieee-conference.md",
       "msr.md",
+      "nlbse.md",
       "realm.md",
       "tex-base.md",
     ]);

package/src/presets.test.ts

@@ -174,6 +174,53 @@ const FAMILIES = PARSED.filter((p) =>
   PARSED.some((q) => q.preset.extends === `${SHIPPED_PREFIX}${p.name}`),
 );
 
+// What each shipped preset declares itself to be; a new preset adds its row here.
+const DECLARED = {
+  "acm-sigconf.jsonc": { type: "family" },
+  "agenticdev.jsonc": {
+    type: "venue",
+    name: "AgenticDev",
+    url: "https://conf.researchr.org/home/ase-2026/agenticdev-2026",
+  },
+  "agent.jsonc": {
+    type: "venue",
+    name: "AGENT 2027",
+    url: "https://conf.researchr.org/home/icse-2027/agent-2027",
+  },
+  "agentverify.jsonc": {
+    type: "venue",
+    name: "AGENTVERIFY",
+    url: "https://agentverify2027.github.io/cfp.html",
+  },
+  "aidc.jsonc": {
+    type: "venue",
+    name: "AIDC",
+    url: "https://aidcworkshop.github.io/",
+  },
+  "aisec.jsonc": {
+    type: "venue",
+    name: "AISec",
+    url: "https://aisec.cc/",
+  },
+  "ieee-conference.jsonc": { type: "family" },
+  "msr.jsonc": {
+    type: "venue",
+    name: "MSR",
+    url: "https://2027.msrconf.org/track/msr-2027-technical-papers",
+  },
+  "nlbse.jsonc": {
+    type: "venue",
+    name: "NLBSE",
+    url: "https://conf.researchr.org/home/icse-2027/nlbse-2027",
+  },
+  "realm.jsonc": {
+    type: "venue",
+    name: "REALM",
+    url: "https://realm-workshop.github.io/call_for_papers",
+  },
+  "tex-base.jsonc": { type: "base" },
+};
+
 describe("what each shipped preset declares itself to be", () => {
   it("every shipped preset loads and declares what it is; a venue links its call", () => {
     const declared = Object.fromEntries(
@@ -185,36 +232,7 @@ describe("what each shipped preset declares itself to be", () => {
             .identity,
         ]),
     );
-    expect(declared).toEqual({
-      "acm-sigconf.jsonc": { type: "family" },
-      "agenticdev.jsonc": {
-        type: "venue",
-        name: "AgenticDev",
-        url: "https://conf.researchr.org/home/ase-2026/agenticdev-2026",
-      },
-      "aidc.jsonc": {
-        type: "venue",
-        name: "AIDC",
-        url: "https://aidcworkshop.github.io/",
-      },
-      "aisec.jsonc": {
-        type: "venue",
-        name: "AISec",
-        url: "https://aisec.cc/",
-      },
-      "ieee-conference.jsonc": { type: "family" },
-      "msr.jsonc": {
-        type: "venue",
-        name: "MSR",
-        url: "https://2027.msrconf.org/track/msr-2027-technical-papers",
-      },
-      "realm.jsonc": {
-        type: "venue",
-        name: "REALM",
-        url: "https://realm-workshop.github.io/call_for_papers",
-      },
-      "tex-base.jsonc": { type: "base" },
-    });
+    expect(declared).toEqual(DECLARED);
   });
 
   it("the families another preset extends are exactly the ones that declare `family`", () => {
@@ -457,7 +475,7 @@ describe("what does not resolve, and says why", () => {
       "a shipped name with a typo",
       "paperlint:agenticdve",
       "not-found",
-      /acm-sigconf, agenticdev, aidc, aisec, ieee-conference, msr, realm/,
+      /acm-sigconf, agent, agenticdev, agentverify, aidc, aisec, ieee-conference, msr, nlbse, realm/,
     ],
     ["the base TeX set", "paperlint:tex-base", "not-found", /agenticdev/],
     [
@@ -625,11 +643,14 @@ describe("shippedVenueNames — what each shipped venue is called", () => {
     // A venue is labelled by its `name`, a family by its file name.
     expect(names.map((n) => n.label)).toEqual([
       "acm-sigconf",
+      "AGENT 2027",
       "AgenticDev",
+      "AGENTVERIFY",
       "AIDC",
       "AISec",
       "ieee-conference",
       "MSR",
+      "NLBSE",
       "REALM",
     ]);
     expect(names.find((n) => n.label === "AISec")?.aliases).toEqual(
@@ -647,11 +668,14 @@ describe("shippedVenueNames — what each shipped venue is called", () => {
       shippedVenueNames({ files, venuesDir: VENUES }).map((n) => n.label),
     ).toEqual([
       "acm-sigconf",
+      "AGENT 2027",
       "AgenticDev",
+      "AGENTVERIFY",
       "AIDC",
       "AISec",
       "ieee-conference",
       "MSR",
+      "NLBSE",
     ]);
   });
 });

package/src/tex-venue-rules.test.ts

@@ -998,9 +998,12 @@ describe("otherVenues", () => {
     if (!aidc.ok) return;
     expect(otherVenues(aidc.value, deps).map((o) => o.label)).toEqual([
       "acm-sigconf",
+      "AGENT 2027",
       "AgenticDev",
+      "AGENTVERIFY",
       "AISec",
       "MSR",
+      "NLBSE",
     ]);
   });
 });

package/src/venue-rules.test.ts

@@ -270,13 +270,13 @@ describe("pdf/profile — the declaration must resolve, or nothing is judged", (
       "an unknown venue (a typo would silently disable every check)",
       { extends: "paperlint:agentic-dev", kind: "short" },
       "preset",
-      /agenticdev, aidc, aisec, ieee-conference, msr, realm/,
+      /agent, agenticdev, agentverify, aidc, aisec, ieee-conference, msr, nlbse, realm/,
     ],
     [
       "the base TeX set is not a venue",
       { extends: "paperlint:tex-base" },
       "preset",
-      /agenticdev, aidc, aisec, ieee-conference, msr, realm/,
+      /agent, agenticdev, agentverify, aidc, aisec, ieee-conference, msr, nlbse, realm/,
     ],
     [
       "paperlint.json that is not JSON",