paperlint 6.3.0 → 7.1.0

package/src/presets.test.ts

@@ -7,7 +7,7 @@
  * resolving shows here.
  */
 import { readdirSync, readFileSync } from "node:fs";
-import { join } from "node:path";
+import { join, relative } from "node:path";
 import { describe, expect, it } from "vitest";
 import { memoryFiles } from "./adapters/memory/index.ts";
 import { presetsDir } from "./package-dirs.ts";
@@ -35,6 +35,17 @@ const deps = (extra: Record<string, string> = {}) => ({
 });
 const resolve = (spec: string, extra: Record<string, string> = {}) =>
   resolvePreset(spec, PAPER_FILE, deps(extra));
+/** A venue preset of a project's own: the identity every venue declares, then `body`. */
+const venue = (body: Record<string, unknown>, name = "Our Workshop"): string =>
+  JSON.stringify({
+    type: "venue",
+    name,
+    url: "https://example.org/cfp",
+    ...body,
+  });
+/** A template family of a project's own. */
+const family = (body: Record<string, unknown>): string =>
+  JSON.stringify({ type: "family", ...body });
 
 describe("shipped presets", () => {
   it("paperlint:agenticdev → agenticdev over acm-sigconf: the family's format, the venue's kinds", () => {
@@ -52,11 +63,53 @@ describe("shipped presets", () => {
     expect(r.value.template).toEqual({
       text: "\\documentclass[sigconf]{acmart}",
       file: join(VENUES, "acm-sigconf.jsonc"),
+      forbids: [],
     });
     expect("acmart" in r.value.tex.packages).toBe(true);
-    expect(r.value.label).toBe("agenticdev");
+    // The label is the venue's own name, from its file's `name`; the id stays the file name — the
+    // stable key the facts file and the build plan carry.
+    expect(r.value.label).toBe("AgenticDev");
+    expect(r.value.id).toBe("agenticdev");
+    expect(r.value.identity).toEqual({
+      type: "venue",
+      name: "AgenticDev",
+      url: "https://conf.researchr.org/home/ase-2026/agenticdev-2026",
+    });
+  });
+});
+
+describe("shipped presets: paperlint:msr", () => {
+  it("paperlint:msr → msr over ieee-conference: one kind, appendices counted as body, compsoc forbidden", () => {
+    const r = resolve("paperlint:msr");
+    expect(r.ok).toBe(true);
+    if (!r.ok) return;
+    expect(r.value.chain.map((f) => f.split("/").pop())).toEqual([
+      "ieee-conference.jsonc",
+      "msr.jsonc",
+    ]);
+    expect([...r.value.format.kinds]).toEqual([
+      ["technical", { bodyPagesMax: 10, refPagesMax: 2 }],
+    ]);
+    expect(r.value.format.bodyEndsAt).toBe("references");
+    expect(r.value.format.appendixInBody).toBe(true);
+    expect(r.value.format.pageWidthIn).toBe(8.5);
+    expect(r.value.template).toEqual({
+      text: "\\documentclass[10pt,conference]{IEEEtran}",
+      file: join(VENUES, "msr.jsonc"),
+      forbids: ["compsoc", "compsocconf"],
+    });
+    expect(r.value.blind).toBe(true);
+    expect(r.value.portal).toEqual({
+      kind: "hotcrp",
+      url: "https://msr2027.hotcrp.com",
+    });
+    // No rule turned on: the IEEE capitalization rule has not been read and quoted.
+    expect(r.value.rules).toEqual({});
+    expect(r.value.registerAnchors).toEqual([]);
   });
+});
 
+describe("shipped presets: a family, and a venue that stands alone", () => {
   it("a paper may extend a family directly: format and fonts, and no kinds", () => {
     const r = resolve("paperlint:acm-sigconf");
     expect(r.ok && r.value.format.kinds.size).toBe(0);
@@ -78,19 +131,77 @@ describe("shipped presets", () => {
   });
 });
 
-describe("the naming convention of shipped presets (docs/rules.md)", () => {
-  // Each shipped preset, parsed: its file name and what it extends. The families are DERIVED — a
-  // shipped preset another shipped preset extends — so a new family is checked the day it ships.
-  const presets = shippedPresets(VENUES).map((name) => {
-    const file = join(VENUES, `${name}.jsonc`);
-    return {
-      name,
-      extends: parsePreset(readFileSync(file, "utf8"), file, VENUES).extends,
-    };
+// Each shipped preset, parsed: its file name and what it extends. The families are DERIVED — a
+// shipped preset another shipped preset extends — so a new family is checked the day it ships.
+const PARSED = shippedPresets(VENUES).map((name) => {
+  const file = join(VENUES, `${name}.jsonc`);
+  return {
+    name,
+    preset: parsePreset(readFileSync(file, "utf8"), file, VENUES),
+  };
+});
+const FAMILIES = PARSED.filter((p) =>
+  PARSED.some((q) => q.preset.extends === `${SHIPPED_PREFIX}${p.name}`),
+);
+
+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(
+      readdirSync(VENUES)
+        .filter((f) => f.endsWith(".jsonc"))
+        .map((f) => [
+          f,
+          parsePreset(readFileSync(join(VENUES, f), "utf8"), f, VENUES)
+            .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" },
+    });
   });
-  const families = presets.filter((p) =>
-    presets.some((q) => q.extends === `${SHIPPED_PREFIX}${p.name}`),
-  );
+
+  it("the families another preset extends are exactly the ones that declare `family`", () => {
+    expect(
+      PARSED.filter((p) => p.preset.identity.type === "family").map(
+        (p) => p.name,
+      ),
+    ).toEqual(FAMILIES.map((f) => f.name));
+  });
+});
+
+describe("the naming convention of shipped presets (docs/rules.md)", () => {
+  const families = FAMILIES;
+  const presets = PARSED.map((p) => ({
+    name: p.name,
+    extends: p.preset.extends,
+  }));
   const publishers = families.map((f) => f.name.slice(0, f.name.indexOf("-")));
 
   it("there are families to check (else the checks below see nothing)", () => {
@@ -118,16 +229,18 @@ describe("the naming convention of shipped presets (docs/rules.md)", () => {
 });
 
 describe("a project's own preset, by relative path", () => {
-  const usenix = JSON.stringify({
-    extends: "paperlint:acm-sigconf",
-    name: "USENIX Security",
-    format: {
-      columns: 1,
-      kinds: { full: { body_pages_max: 13, ref_pages_max: 0 } },
+  const usenix = venue(
+    {
+      extends: "paperlint:acm-sigconf",
+      format: {
+        columns: 1,
+        kinds: { full: { body_pages_max: 13, ref_pages_max: 0 } },
+      },
+      tex: { packages: { usenix: ["usenix.sty"] } },
+      rules: { "pdf/body-size": "off" },
     },
-    tex: { packages: { usenix: ["usenix.sty"] } },
-    rules: { "pdf/body-size": "off" },
-  });
+    "USENIX Security",
+  );
 
   it("./ is relative to the file that says it; merged per block, child wins", () => {
     const r = resolve("../../venues/usenix-sec.jsonc", {
@@ -147,18 +260,21 @@ describe("a project's own preset, by relative path", () => {
     expect(r.value.label).toBe("USENIX Security");
   });
 
-  it("without `name`, the label is the file name without its extension", () => {
+  it("a family names no venue: its label is the file name without its extension", () => {
     const r = resolve("./venues/usenix-sec.jsonc", {
-      "/work/papers/p/venues/usenix-sec.jsonc": JSON.stringify({
+      "/work/papers/p/venues/usenix-sec.jsonc": family({
         extends: "paperlint:acm-sigconf",
       }),
     });
     expect(r.ok && r.value.label).toBe("usenix-sec");
+    expect(r.ok && r.value.identity).toEqual({ type: "family" });
   });
+});
 
+describe("a project's own preset: what its children replace", () => {
   it("a child kind replaces that kind wholesale; other kinds are kept", () => {
     const r = resolve("./mine.jsonc", {
-      "/work/papers/p/mine.jsonc": JSON.stringify({
+      "/work/papers/p/mine.jsonc": venue({
         extends: "paperlint:agenticdev",
         format: { kinds: { short: { body_pages_max: 6 } } },
       }),
@@ -174,13 +290,40 @@ describe("a project's own preset, by relative path", () => {
 
   it("rules: the leaf wins over its parent, per rule id", () => {
     const r = resolve("./mine.jsonc", {
-      "/work/papers/p/mine.jsonc": JSON.stringify({
+      "/work/papers/p/mine.jsonc": venue({
         extends: "paperlint:agenticdev",
         rules: { "pdf/last-page-balance": "off" },
       }),
     });
     expect(r.ok && r.value.rules["pdf/last-page-balance"]).toBe("off");
   });
+
+  it("ruleOrigins: each rule's entry names the file of the chain that set it", () => {
+    const r = resolve("./mine.jsonc", {
+      "/work/papers/p/mine.jsonc": venue({
+        extends: "paperlint:agenticdev",
+        rules: { "pdf/body-size": "off" },
+      }),
+    });
+    // Guards: an own rule is the leaf's, an inherited one names the parent that set it.
+    expect(r.ok && r.value.ruleOrigins).toEqual({
+      "pdf/last-page-balance": join(VENUES, "agenticdev.jsonc"),
+      "tex/heading-case": join(VENUES, "agenticdev.jsonc"),
+      "pdf/body-size": "/work/papers/p/mine.jsonc",
+    });
+  });
+
+  it("ruleOrigins: a rule the leaf sets again is the leaf's, not its parent's", () => {
+    const r = resolve("./mine.jsonc", {
+      "/work/papers/p/mine.jsonc": venue({
+        extends: "paperlint:agenticdev",
+        rules: { "tex/heading-case": "off" },
+      }),
+    });
+    expect(r.ok && r.value.ruleOrigins["tex/heading-case"]).toBe(
+      "/work/papers/p/mine.jsonc",
+    );
+  });
 });
 
 describe("what does not resolve, and says why", () => {
@@ -196,7 +339,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, realm/,
+      /acm-sigconf, agenticdev, aidc, aisec, ieee-conference, msr, realm/,
     ],
     ["the base TeX set", "paperlint:tex-base", "not-found", /agenticdev/],
     [
@@ -217,8 +360,8 @@ describe("what does not resolve, and says why", () => {
 describe("chains that do not resolve", () => {
   it("a cycle is refused, naming the chain", () => {
     const r = resolve("./a.jsonc", {
-      "/work/papers/p/a.jsonc": JSON.stringify({ extends: "./b.jsonc" }),
-      "/work/papers/p/b.jsonc": JSON.stringify({ extends: "./a.jsonc" }),
+      "/work/papers/p/a.jsonc": family({ extends: "./b.jsonc" }),
+      "/work/papers/p/b.jsonc": family({ extends: "./a.jsonc" }),
     });
     expect(r.ok).toBe(false);
     if (r.ok) return;
@@ -231,7 +374,7 @@ describe("chains that do not resolve", () => {
   it(`a chain longer than ${String(MAX_PRESET_DEPTH)} is refused, printing it`, () => {
     const files: Record<string, string> = {};
     for (let i = 1; i <= 5; i++)
-      files[`/work/papers/p/p${String(i)}.jsonc`] = JSON.stringify({
+      files[`/work/papers/p/p${String(i)}.jsonc`] = venue({
         extends: i < 5 ? `./p${String(i + 1)}.jsonc` : "paperlint:acm-sigconf",
       });
     const r = resolve("./p1.jsonc", files);
@@ -243,17 +386,17 @@ describe("chains that do not resolve", () => {
 
   it("a chain of exactly the limit resolves", () => {
     const r = resolve("./p1.jsonc", {
-      "/work/papers/p/p1.jsonc": JSON.stringify({ extends: "./p2.jsonc" }),
-      "/work/papers/p/p2.jsonc": JSON.stringify({
-        extends: "paperlint:agenticdev",
-      }),
+      "/work/papers/p/p1.jsonc": venue({ extends: "./p2.jsonc" }),
+      "/work/papers/p/p2.jsonc": venue({ extends: "paperlint:agenticdev" }),
     });
     expect(r.ok && r.value.chain.length).toBe(MAX_PRESET_DEPTH);
   });
+});
 
+describe("chains that do not resolve: the files themselves", () => {
   it("a preset that fails the schema is named with its file", () => {
     const r = resolve("./bad.jsonc", {
-      "/work/papers/p/bad.jsonc": JSON.stringify({
+      "/work/papers/p/bad.jsonc": family({
         extends: "paperlint:acm-sigconf",
         colums: 2,
       }),
@@ -266,16 +409,51 @@ describe("chains that do not resolve", () => {
 
   it("a preset with no `extends` must carry `tex` (it is a root)", () => {
     const r = resolve("./root.jsonc", {
-      "/work/papers/p/root.jsonc": JSON.stringify({ format: { columns: 1 } }),
+      "/work/papers/p/root.jsonc": family({ format: { columns: 1 } }),
+    });
+    expect(r.ok).toBe(false);
+  });
+
+  it("a family that extends a venue is refused, naming both files", () => {
+    const r = resolve("./fam.jsonc", {
+      "/work/papers/p/fam.jsonc": family({ extends: "paperlint:aisec" }),
+    });
+    expect(r.ok).toBe(false);
+    if (r.ok) return;
+    expect(presetProblemText(r.error)).toBe(
+      `the preset /work/papers/p/fam.jsonc is a template family and extends ${join(VENUES, "aisec.jsonc")}, a venue — a family builds only on a family; a venue extends a family or another venue`,
+    );
+  });
+
+  it("nothing extends the TeX base set, even by a relative path", () => {
+    const r = resolve("./mine.jsonc", {
+      "/work/papers/p/mine.jsonc": venue({
+        extends: relative("/work/papers/p", join(VENUES, "tex-base.jsonc")),
+      }),
     });
     expect(r.ok).toBe(false);
+    if (r.ok) return;
+    expect(presetProblemText(r.error)).toBe(
+      `the preset /work/papers/p/mine.jsonc extends ${join(VENUES, "tex-base.jsonc")}, the TeX base set — every paper gets that set already, and no preset extends it`,
+    );
+  });
+
+  it("a venue may extend a venue, and the resolved identity is the leaf's", () => {
+    const r = resolve("./mine.jsonc", {
+      "/work/papers/p/mine.jsonc": venue({ extends: "paperlint:aisec" }),
+    });
+    expect(r.ok && r.value.identity).toEqual({
+      type: "venue",
+      name: "Our Workshop",
+      url: "https://example.org/cfp",
+    });
   });
 });
 
 describe("a preset's template: kept as its file spells it, with that file", () => {
   it("a child's template replaces its parent's, and names its own file", () => {
     const r = resolve("./own.jsonc", {
-      "/work/papers/p/own.jsonc": JSON.stringify({
+      "/work/papers/p/own.jsonc": venue({
         extends: "paperlint:aidc",
         template: "\\documentclass[conference]{IEEEtran}",
       }),
@@ -283,7 +461,31 @@ describe("a preset's template: kept as its file spells it, with that file", () =
     expect(r.ok && r.value.template).toEqual({
       text: "\\documentclass[conference]{IEEEtran}",
       file: "/work/papers/p/own.jsonc",
+      forbids: [],
+    });
+  });
+
+  it("the options a file forbids travel with its template", () => {
+    const r = resolve("./own.jsonc", {
+      "/work/papers/p/own.jsonc": venue({
+        extends: "paperlint:ieee-conference",
+        template: "\\documentclass[conference]{IEEEtran}",
+        template_forbids: ["compsoc"],
+      }),
+    });
+    expect(r.ok && r.value.template?.forbids).toEqual(["compsoc"]);
+  });
+
+  it("forbidden options without a template of the same file are refused by the schema", () => {
+    const r = resolve("./own.jsonc", {
+      "/work/papers/p/own.jsonc": venue({
+        extends: "paperlint:aidc",
+        template_forbids: ["compsoc"],
+      }),
     });
+    expect(r.ok).toBe(false);
+    if (r.ok) return;
+    expect(presetProblemText(r.error)).toMatch(/template_forbids/);
   });
 });
 
@@ -302,8 +504,17 @@ describe("labelOf — display only, never used to resolve", () => {
 describe("shippedVenueNames — what each shipped venue is called", () => {
   it("every shipped preset, by its label and the names along its chain", () => {
     const names = shippedVenueNames(deps());
-    expect(names.map((n) => n.label)).toEqual(shippedPresets(VENUES));
-    expect(names.find((n) => n.label === "aisec")?.aliases).toEqual(
+    // A venue is labelled by its `name`, a family by its file name.
+    expect(names.map((n) => n.label)).toEqual([
+      "acm-sigconf",
+      "AgenticDev",
+      "AIDC",
+      "AISec",
+      "ieee-conference",
+      "MSR",
+      "REALM",
+    ]);
+    expect(names.find((n) => n.label === "AISec")?.aliases).toEqual(
       expect.arrayContaining(["AISec", "ACM CCS"]),
     );
   });
@@ -316,6 +527,13 @@ describe("shippedVenueNames — what each shipped venue is called", () => {
     );
     expect(
       shippedVenueNames({ files, venuesDir: VENUES }).map((n) => n.label),
-    ).toEqual(shippedPresets(VENUES).filter((n) => n !== "realm"));
+    ).toEqual([
+      "acm-sigconf",
+      "AgenticDev",
+      "AIDC",
+      "AISec",
+      "ieee-conference",
+      "MSR",
+    ]);
   });
 });