paperlint 6.0.0 → 6.1.0

package/src/rule-cases.test.ts

@@ -168,6 +168,14 @@ const FORMAL = Array.from(
   () =>
     "The rule reads the body of the paper and counts every sentence it holds.",
 ).join(" ");
+/** FORMAL with `n` more sentences `s`: a body whose rate of one register measure is set. */
+const formalWith = (n: number, s: string): string =>
+  `${FORMAL} ${Array.from({ length: n }, () => s).join(" ")}`;
+/** FORMAL with enough relation markers for AIDC's band (above 25.4 per 10,000 words). */
+const LINKED = formalWith(
+  10,
+  "Therefore, the rule counts the sentence because the body holds it.",
+);
 const STATUS_FILE = `${P}/PIPELINE-STATUS.md`;
 const SHIPPED_STATUS =
   "---\nstages:\n  - stage: submitted\n    date: 2026-07-22\n    pdf: versions/a.pdf\n    bytes: 1\n---\n# PIPELINE-STATUS\n";
@@ -357,6 +365,32 @@ const CASES: Readonly<Record<string, RuleCases>> = {
     },
     silent: paper(tex(FORMAL)),
   },
+  // The three register bands judge a body against the anchors of AIDC's preset; the body opens on
+  // line 3, right after the \\section, where the finding about the whole body stands.
+  "tex/contrast-frames": {
+    reports: {
+      tree: aidc(formalWith(5, "It reads the word, not the operation.")),
+      file: TEX_FILE,
+      severity: 1,
+      line: 3,
+    },
+    silent: aidc(LINKED),
+  },
+  "tex/claim-emphasis": {
+    reports: {
+      tree: aidc(
+        formalWith(6, "We find that \\textbf{the rule counts 46 sentences}."),
+      ),
+      file: TEX_FILE,
+      severity: 1,
+      line: 3,
+    },
+    silent: aidc(LINKED),
+  },
+  "tex/relation-markers": {
+    reports: { tree: aidc(FORMAL), file: TEX_FILE, severity: 1, line: 3 },
+    silent: aidc(LINKED),
+  },
   "bib/reachable-entry": {
     reports: {
       tree: paper(inlineBib("@book{a,\n  title = {A},\n  year = {2026}\n}")),
@@ -498,23 +532,39 @@ describe("every registered rule has cases, and every case names a registered rul
   });
 });
 
+/**
+ * A case lints its tree through the whole CLI: a body long enough for a rate to be judged (2 000
+ * words and more) takes seconds under coverage, on a machine running every suite at once.
+ */
+const CASE_TIMEOUT_MS = 30_000;
+
 describe.each(Object.entries(CASES))("%s, through real ESLint", (id, c) => {
-  it(`reports on ${c.reports.file}:${String(c.reports.line)} at severity ${String(c.reports.severity)}`, async () => {
-    const got = (await lintTree(c.reports.tree)).filter((m) => m.ruleId === id);
-    expect(
-      got.some(
-        (m) =>
-          m.file === c.reports.file &&
-          m.line === c.reports.line &&
-          m.severity === c.reports.severity,
-      ),
-      JSON.stringify(got),
-    ).toBe(true);
-  });
+  it(
+    `reports on ${c.reports.file}:${String(c.reports.line)} at severity ${String(c.reports.severity)}`,
+    { timeout: CASE_TIMEOUT_MS },
+    async () => {
+      const got = (await lintTree(c.reports.tree)).filter(
+        (m) => m.ruleId === id,
+      );
+      expect(
+        got.some(
+          (m) =>
+            m.file === c.reports.file &&
+            m.line === c.reports.line &&
+            m.severity === c.reports.severity,
+        ),
+        JSON.stringify(got),
+      ).toBe(true);
+    },
+  );
 
-  it("stays silent on a conforming paper", async () => {
-    expect((await lintTree(c.silent)).filter((m) => m.ruleId === id)).toEqual(
-      [],
-    );
-  });
+  it(
+    "stays silent on a conforming paper",
+    { timeout: CASE_TIMEOUT_MS },
+    async () => {
+      expect((await lintTree(c.silent)).filter((m) => m.ruleId === id)).toEqual(
+        [],
+      );
+    },
+  );
 });

package/src/tex-requirements.ts

@@ -28,6 +28,7 @@ import Ajv from "ajv";
 import { presetsDir } from "./package-dirs.ts";
 import { CONFIG_FILE } from "#lib/paper-config";
 import { fieldOf } from "./domain/record.ts";
+import type { RegisterAnchor, RegisterMeasureName } from "./domain/register.ts";
 
 /** CTAN package name → the names that prove it is installed. */
 export type PackageProofs = Readonly<Record<string, readonly string[]>>;
@@ -180,6 +181,11 @@ export interface PresetFile {
   readonly format: VenueFormat;
   /** rule id → ESLint entry, checked against the shipped rules where a config is built. */
   readonly rules: Readonly<Record<string, unknown>>;
+  /**
+   * The accepted papers the register rules measure a body against; null when the file names none
+   * (a child's list replaces its parent's).
+   */
+  readonly registerAnchors: readonly RegisterAnchor[] | null;
 }
 
 type KindsJson = Readonly<
@@ -217,6 +223,12 @@ interface PresetJson {
     Partial<Pick<TexRequirements, "tools">>;
   readonly format?: FormatJson;
   readonly rules?: Readonly<Record<string, unknown>>;
+  readonly register?: {
+    readonly anchors: readonly ({
+      readonly paper: string;
+      readonly words: number;
+    } & Readonly<Record<RegisterMeasureName, number>>)[];
+  };
 }
 
 /** An optional field as the typed preset holds it: absent is null. */
@@ -258,6 +270,38 @@ const sectionsOf = (
     ? null
     : r.map((x) => ({ title: x.title, position: orNull(x.position) }));
 
+/** A preset's JSONC text → its value, or an Error naming the syntax problem. */
+function jsoncOf(text: string, file: string): unknown {
+  const parsed = typescript().parseConfigFileTextToJson(file, text);
+  const config: unknown = parsed.config;
+  const error = parsed.error;
+  if (error)
+    throw new Error(
+      `${file}: not valid JSONC — ${typescript().flattenDiagnosticMessageText(error.messageText, " ")}`,
+    );
+  return config;
+}
+
+/** A preset's `tex` block, `tools` defaulted; null when the file declares none. */
+const texOf = (t: PresetJson["tex"]): TexRequirements | null =>
+  t ? { packages: t.packages, tools: t.tools ?? {} } : null;
+
+/** A preset's `register.anchors`, each with its counts; null when the file names none. */
+const anchorsOf = (
+  r: PresetJson["register"],
+): readonly RegisterAnchor[] | null =>
+  r === undefined
+    ? null
+    : r.anchors.map((a) => ({
+        paper: a.paper,
+        words: a.words,
+        counts: {
+          contrast_frames: a.contrast_frames,
+          claim_emphasis: a.claim_emphasis,
+          relation_markers: a.relation_markers,
+        },
+      }));
+
 /**
  * The text of one preset file → the typed file, or an Error naming every problem. The ONE parser
  * of a preset: the toolchain reads its `tex`, the venue rules its `format`, the config its `rules`.
@@ -271,13 +315,7 @@ export function parsePreset(
   file: string,
   dir: string = presetsDir(),
 ): PresetFile {
-  const parsed = typescript().parseConfigFileTextToJson(file, text);
-  const config: unknown = parsed.config;
-  const error = parsed.error;
-  if (error)
-    throw new Error(
-      `${file}: not valid JSONC — ${typescript().flattenDiagnosticMessageText(error.messageText, " ")}`,
-    );
+  const config = jsoncOf(text, file);
   const validate = validatorFor(dir);
   if (!matchesSchema(config, validate))
     throw new Error(
@@ -291,9 +329,10 @@ export function parsePreset(
     aliases: j.aliases ?? [],
     blind: orNull(j.blind),
     requiredSections: sectionsOf(j.required_sections),
-    tex: j.tex ? { packages: j.tex.packages, tools: j.tex.tools ?? {} } : null,
+    tex: texOf(j.tex),
     format: formatOf(j.format),
     rules: j.rules ?? {},
+    registerAnchors: anchorsOf(j.register),
   };
 }
 

package/src/tex-venue-rules.ts

@@ -298,7 +298,13 @@ export function judgeLeftover(
 
 /** Where a rule's page lives: `docs/rules/tex/<name>.md` on the default branch. */
 export const ruleDocsUrl = (
-  name: TexVenueRuleName | "claim-provenance" | "register",
+  name:
+    | TexVenueRuleName
+    | "claim-provenance"
+    | "register"
+    | "contrast-frames"
+    | "claim-emphasis"
+    | "relation-markers",
 ): string =>
   `https://github.com/zernie/paperlint/blob/main/docs/rules/tex/${name}.md`;