paperlint 7.0.0 → 7.2.0

package/eslint-rules/cycle-stage.ts

@@ -0,0 +1,141 @@
+/**
+ * `cycle/stage` — a declared stage names the ATTEMPT it belongs to, and that attempt exists.
+ *
+ * With `cycles` in the paper's `paperlint.json`, a `stages` entry in the scorecard's frontmatter
+ * says `cycle: <id>` instead of a free `venue:` string: the venue's name is then the cycle's
+ * preset's, spelled once, and a consumer can tell which rows of the scorecard belong to which
+ * attempt. Three things can be wrong, each an error:
+ *
+ *   noCycle        `cycles` is declared and a stage names no `cycle`
+ *   unknownCycle   the stage's `cycle` is no declared cycle's id
+ *   porting        a `submitted` or `camera-ready` stage in a cycle whose phase is still `porting` —
+ *                  a PDF was sent while the record says the source is in the previous venue's template
+ *
+ * Without `cycles` (the flat form) the rule is silent: `venue:` stays what it was. The settings file
+ * is read here only for the cycles' ids and phases; `cycle/record` (src/cycle-rules.ts) judges the
+ * whole record.
+ */
+import { existsSync, readFileSync } from "node:fs";
+import { dirname, join } from "node:path";
+import { load } from "js-yaml";
+import { z } from "zod";
+import type { RuleContext } from "./rule-context.ts";
+
+const SETTINGS_FILE = "paperlint.json";
+
+/** What this rule reads of a cycle: its id and phase. `cycle/record` parses the rest. */
+const CycleHead = z.looseObject({
+  id: z.string(),
+  phase: z.string().optional(),
+});
+const Settings = z.looseObject({
+  cycles: z.array(CycleHead.catch({ id: "" })).optional(),
+});
+const Frontmatter = z.looseObject({ stages: z.unknown().optional() }).catch({});
+const Stage = z
+  .looseObject({
+    stage: z.unknown().optional(),
+    cycle: z.unknown().optional(),
+    date: z.unknown().optional(),
+  })
+  .catch({});
+
+/** The stages that send a PDF to the venue: a cycle still porting cannot have one. */
+const SENT: readonly string[] = ["submitted", "camera-ready"];
+
+interface Head {
+  readonly id: string;
+  readonly phase: string;
+}
+
+/** The declared cycles' heads, or null when the paper has no `cycles` (or no readable settings). */
+function cyclesOf(dir: string): readonly Head[] | null {
+  const file = join(dir, SETTINGS_FILE);
+  if (!existsSync(file)) return null;
+  try {
+    const s = Settings.safeParse(JSON.parse(readFileSync(file, "utf8")));
+    return s.success && s.data.cycles !== undefined
+      ? s.data.cycles.map((c) => ({ id: c.id, phase: c.phase ?? "prepared" }))
+      : null;
+  } catch {
+    return null;
+  }
+}
+
+const text = (v: unknown): string =>
+  typeof v === "string" ? v : v === undefined ? "" : JSON.stringify(v);
+
+/** A YAML date without quotes is a `Date`; shown as the day it names, as `paper/stages` does. */
+const dateText = (v: unknown): string =>
+  v instanceof Date ? v.toISOString().slice(0, 10) : text(v);
+
+interface Finding {
+  readonly messageId: "noCycle" | "unknownCycle" | "porting";
+  readonly data: Readonly<Record<string, string>>;
+}
+
+/** Each stage against the declared cycles. Pure. */
+export function judgeStages(
+  stages: readonly unknown[],
+  cycles: readonly Head[],
+): readonly Finding[] {
+  const known = cycles.map((c) => c.id).join(" · ") || "(none)";
+  return stages.flatMap((entry): readonly Finding[] => {
+    const s = Stage.parse(entry);
+    const stage = text(s.stage);
+    const date = dateText(s.date);
+    if (s.cycle === undefined)
+      return [{ messageId: "noCycle", data: { stage, date, known } }];
+    const id = text(s.cycle);
+    const cycle = cycles.find((c) => c.id === id);
+    if (cycle === undefined)
+      return [{ messageId: "unknownCycle", data: { stage, date, id, known } }];
+    return SENT.includes(stage) && cycle.phase === "porting"
+      ? [{ messageId: "porting", data: { stage, date, id } }]
+      : [];
+  });
+}
+
+export default {
+  rules: {
+    stage: {
+      meta: {
+        type: "problem" as const,
+        docs: {
+          description:
+            "with `cycles` declared, every stage names the cycle it belongs to, and no PDF is sent from a cycle still porting",
+          url: "https://github.com/zernie/paperlint/blob/main/docs/rules/cycle/stage.md",
+        },
+        schema: [],
+        messages: {
+          noCycle:
+            "the «{{stage}}» stage ({{date}}) names no `cycle` — this paper declares `cycles` in paperlint.json, so each stage says which attempt it belongs to: `cycle: <id>`, one of {{known}}",
+          unknownCycle:
+            "the «{{stage}}» stage ({{date}}) names the cycle «{{id}}», which paperlint.json does not declare — the declared ids: {{known}}",
+          porting:
+            "the «{{stage}}» stage ({{date}}) belongs to the cycle «{{id}}», whose phase is still `porting`: a PDF was sent while the record says the source is in the previous venue's template. Finish the port and drop the phase, or the stage is wrong",
+        },
+      },
+      create(context: RuleContext) {
+        const cycles = cyclesOf(dirname(context.filename));
+        if (cycles === null) return {};
+        return {
+          yaml(node: { readonly value: string }) {
+            const data = ((): unknown => {
+              try {
+                return load(node.value);
+              } catch {
+                return undefined; // `paper/stages` reports the unreadable YAML
+              }
+            })();
+            const stages = Frontmatter.parse(data).stages;
+            if (!Array.isArray(stages)) return;
+            judgeStages(stages, cycles).forEach((f) => {
+              context.report({ node, messageId: f.messageId, data: f.data });
+            });
+          },
+        };
+      },
+    },
+  },
+};

package/eslint.config.mjs

@@ -413,6 +413,40 @@ export const IO_GLOBALS = {
   },
 };
 
+/**
+ * `paperlint lint` NEVER READS THE CLOCK. Its findings are a function of the files and the installed
+ * package: the same checkout lints the same tomorrow, and a deadline's distance belongs to a status
+ * view or a calendar, not to a gate (a lint that turns red on an untouched tree gets muted). The
+ * clock is an effect like the disk, so it is read where effects are — an adapter's `*.io.ts` and the
+ * root, `src/cli.ts` — and passed in. Matched on the AST: `Date.now` (called or passed along),
+ * `new Date()` and `Date()` without an argument. `new Date(ms)` converts a given time and passes.
+ * `toolchain.ts` and `build-engine.ts` keep `Date.now` as a default for their own timing (build and
+ * install only, neither runs under `lint`); that legacy I/O moves behind a port in #76.
+ */
+const READS_THE_CLOCK = [
+  "MemberExpression[object.name='Date'][property.name='now']",
+  "NewExpression[callee.name='Date'][arguments.length=0]",
+  "CallExpression[callee.name='Date']",
+].map((selector) => ({
+  selector,
+  message:
+    "Lint never reads the clock: its findings are a function of the files. Take the time as an argument; read it in an adapter's *.io.ts or src/cli.ts.",
+}));
+
+/** Every source file the checks are made of, but the places effects are allowed. Same scope as axis B. */
+export const NO_CLOCK = {
+  files: ["src/**/*.ts"],
+  ignores: [
+    ...IO_GLOBALS.ignores,
+    // Legacy I/O, moves behind a port in #76 (see READS_THE_CLOCK).
+    "src/toolchain.ts",
+    "src/build-engine.ts",
+  ],
+  rules: {
+    "no-restricted-syntax": ["error", AS_UNKNOWN_AS, ...READS_THE_CLOCK],
+  },
+};
+
 /**
  * EVERY PRESET HAS A CARD, AND EVERY CARD'S RULES TABLE IS THE PRESET'S. Two checks, one block each:
  *
@@ -608,6 +642,7 @@ export default [
   },
   // Hexagonal layers, both axes (src/CLAUDE.md): knowledge by element, purity by file category.
   IO_GLOBALS,
+  NO_CLOCK,
   layerBoundaries(dirname(fileURLToPath(import.meta.url))),
   // The ratchet: per-file ceilings for the files written before the limits existed. See RATCHET.
   ...Object.entries(RATCHET).map(([file, max]) => ({
@@ -805,7 +840,12 @@ export default [
     files: ["eslint-rules/*.ts", "eslint-rules/*.mjs"],
     ignores: ["eslint-rules/*.test.*", "eslint-rules/*.harness.*"],
     rules: {
-      "no-restricted-syntax": ["error", AS_UNKNOWN_AS, ...GIT_IN_A_RULE],
+      "no-restricted-syntax": [
+        "error",
+        AS_UNKNOWN_AS,
+        ...GIT_IN_A_RULE,
+        ...READS_THE_CLOCK,
+      ],
     },
   },
   // LAST, so no block above can replace its `no-restricted-syntax` options for these files (none

package/fixtures/build-e2e/msr/PIPELINE-STATUS.md

@@ -0,0 +1,3 @@
+# Fixture
+
+Stage: draft

package/fixtures/build-e2e/msr/expect.json

@@ -0,0 +1,18 @@
+{
+  "$comment": "A real IEEEtran [10pt,conference] paper for MSR whose ten pages of main text include an appendix before the references, with two pages of only references: format/page-limit, tex/template and anonymity/identity have nothing to say. banal's own count (body 9, references 3) would fail it.",
+  "build": {
+    "outcome": "pdf",
+    "pages": 12
+  },
+  "fonts": {
+    "some": "NimbusRomNo9L",
+    "none": "^(CMR|CMBX|CMTI|CMTT|CMSS|LMRoman)"
+  },
+  "lint": {
+    "rules": {
+      "format/page-limit": [],
+      "tex/template": [],
+      "anonymity/identity": []
+    }
+  }
+}

package/fixtures/build-e2e/msr/paper.tex

@@ -0,0 +1,49 @@
+% A paper in the class MSR's call names, built by the e2e on paperlint's own TeX Live, that MEETS
+% MSR's limit: ten pages of main text, its appendix included, and two pages holding only references
+% (rendered and looked at, 2026-10-05: the appendix heading stands mid-column on page 9, appendix
+% text then «REFERENCES» on page 10, nothing but entries on pages 11 and 12). banal's count says body
+% 9, references 3 — a page whose first heading reads «Appendix» is typed as bibliography — and would
+% fail it; format/page-limit counts from the text and must not.
+%
+% The prose is one paragraph set many times; each copy carries its own number in words on every
+% line, so no line repeats from page to page as a running header would.
+\documentclass[10pt,conference]{IEEEtran}
+\usepackage{hyperref}
+\newcount\paracount
+\newcommand{\n}{\romannumeral\paracount}
+\newcommand{\para}{\global\advance\paracount by 1
+Paragraph \n{} studies the history of a repository, and \n{} counts its commits by author \n{}
+and by month \n{}, so that the measurement \n{} has a body of prose \n{} set in the two columns
+\n{} of the conference format. Paragraph \n{} says nothing new, and \n{} does not need to: the
+fixture \n{} is about the class, \n{} the fonts and \n{} the page count, and \n{} not about its
+content. A reviewer of \n{} would find it dull, \n{} which is what a measurement \n{} should be.\par}
+\newcount\loopcount
+\newcommand{\paras}[1]{\loopcount=0 \loop\para\advance\loopcount by 1 \ifnum\loopcount<#1\repeat}
+\newcount\bibcount
+\newcommand{\entries}[1]{\bibcount=0 \loop\advance\bibcount by 1
+\bibitem{r\the\bibcount} A. Author, ``Mining study \romannumeral\bibcount,'' in \emph{Proc.
+Workshop}, 2024, pp. 1--10.\ifnum\bibcount<#1\repeat}
+\begin{document}
+\title{A Fixture Typeset in the Class the Venue Requires}
+\author{\IEEEauthorblockN{Anonymous Author}\IEEEauthorblockA{Anonymous Institution}}
+\maketitle
+\begin{abstract}
+The abstract exists so the build has the front matter an IEEE paper carries.
+\end{abstract}
+\section{Introduction}
+\paras{24}
+\section{Part Two}
+\paras{24}
+\section{Part Three}
+\paras{24}
+\section{Part Four}
+\paras{24}
+\section{Part Five}
+\paras{12}
+\appendix
+\section{Detailed Results}
+\paras{12}
+\begin{thebibliography}{999}
+\entries{290}
+\end{thebibliography}
+\end{document}

package/fixtures/build-e2e/msr/paperlint.json

@@ -0,0 +1 @@
+{"extends": "paperlint:msr", "kind": "technical", "identity": ["Ada Example", "adaexample", "ada@example.org", "Example University", "exampletool"]}

package/fixtures/build-e2e/msr-appendix-after/PIPELINE-STATUS.md

@@ -0,0 +1,3 @@
+# Fixture
+
+Stage: draft

package/fixtures/build-e2e/msr-appendix-after/expect.json

@@ -0,0 +1,20 @@
+{
+  "$comment": "MSR: an appendix after the references brings the main text to eleven pages. Exactly one format/page-limit finding, naming where the appendix starts. banal's own count (body 9, references 2) would pass it.",
+  "build": {
+    "outcome": "pdf",
+    "pages": 11
+  },
+  "lint": {
+    "rules": {
+      "format/page-limit": [
+        {
+          "severity": 2,
+          "says": [
+            "body pages (up to the references on page 10, and the appendix from page 10): 11, over the limit 10 for MSR/technical"
+          ]
+        }
+      ],
+      "tex/template": []
+    }
+  }
+}

package/fixtures/build-e2e/msr-appendix-after/paper.tex

@@ -0,0 +1,48 @@
+% A paper in the class MSR's call names, built by the e2e on paperlint's own TeX Live, that is ONE
+% PAGE OVER MSR's limit through its appendix: the body ends on page 10, the references follow it
+% there, and the appendix after them runs from the foot of page 10 through page 11 (rendered and
+% looked at, 2026-10-05) — eleven pages holding main text. banal's count says body 9, references 2,
+% and would pass it; format/page-limit counts the appendix as body and must not.
+%
+% The prose is one paragraph set many times; each copy carries its own number in words on every
+% line, so no line repeats from page to page as a running header would.
+\documentclass[10pt,conference]{IEEEtran}
+\usepackage{hyperref}
+\newcount\paracount
+\newcommand{\n}{\romannumeral\paracount}
+\newcommand{\para}{\global\advance\paracount by 1
+Paragraph \n{} studies the history of a repository, and \n{} counts its commits by author \n{}
+and by month \n{}, so that the measurement \n{} has a body of prose \n{} set in the two columns
+\n{} of the conference format. Paragraph \n{} says nothing new, and \n{} does not need to: the
+fixture \n{} is about the class, \n{} the fonts and \n{} the page count, and \n{} not about its
+content. A reviewer of \n{} would find it dull, \n{} which is what a measurement \n{} should be.\par}
+\newcount\loopcount
+\newcommand{\paras}[1]{\loopcount=0 \loop\para\advance\loopcount by 1 \ifnum\loopcount<#1\repeat}
+\newcount\bibcount
+\newcommand{\entries}[1]{\bibcount=0 \loop\advance\bibcount by 1
+\bibitem{r\the\bibcount} A. Author, ``Mining study \romannumeral\bibcount,'' in \emph{Proc.
+Workshop}, 2024, pp. 1--10.\ifnum\bibcount<#1\repeat}
+\begin{document}
+\title{A Fixture Typeset in the Class the Venue Requires}
+\author{\IEEEauthorblockN{Anonymous Author}\IEEEauthorblockA{Anonymous Institution}}
+\maketitle
+\begin{abstract}
+The abstract exists so the build has the front matter an IEEE paper carries.
+\end{abstract}
+\section{Introduction}
+\paras{24}
+\section{Part Two}
+\paras{24}
+\section{Part Three}
+\paras{24}
+\section{Part Four}
+\paras{24}
+\section{Part Five}
+\paras{24}
+\begin{thebibliography}{999}
+\entries{60}
+\end{thebibliography}
+\appendix
+\section{Detailed Results}
+\paras{12}
+\end{document}

package/fixtures/build-e2e/msr-appendix-after/paperlint.json

@@ -0,0 +1 @@
+{"extends": "paperlint:msr", "kind": "technical", "identity": ["Ada Example", "adaexample", "ada@example.org", "Example University", "exampletool"]}

package/lib/paper-config.ts

@@ -143,6 +143,8 @@ export const SETTINGS_KEYS: Readonly<Record<string, string>> = Object.freeze({
   talk: 'how this paper is presented: { "mode": "remote-video", "dir"?, "files"?, "one_slide"? } — the talk/ rules. A paper\'s own; refused in the root file',
   submission:
     "which submission on the venue's portal is this paper's: { \"id\": <number> } — paperlint submission, with the preset's \"portal\". A paper's own; refused in the root file",
+  cycles:
+    "the paper's attempts at venues, oldest first: [{ id, venue, kind, opened, phase?, deadlines, submission?, outcome }] — extends, kind and submission are then the current attempt's, and the cycle/ rules judge the record. A paper's own; refused in the root file",
   scripts: "how skill prose names the scripts — consumer.mjs",
   timezone: "the zone deadline anchors are written in — consumer.mjs",
   contactEmail: "the polite-pool address for citation lookups — consumer.mjs",
@@ -155,6 +157,7 @@ export const SETTINGS_KEYS: Readonly<Record<string, string>> = Object.freeze({
 export const PAPER_ONLY_KEYS: readonly string[] = Object.freeze([
   "talk",
   "submission",
+  "cycles",
 ]);
 
 /** The keys that only mean something for the whole project: refused in a paper's `paperlint.json`. */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "paperlint",
-  "version": "7.0.0",
+  "version": "7.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",

package/presets/aidc.jsonc

@@ -13,10 +13,12 @@
 //    and appendices.»
 //   «Submissions must be properly anonymized for double-blind review.»
 //
-// THE DEADLINE PEOPLE GET WRONG (not a lint fact): the HotCRP portal closes 2026-10-02 11:59:59 UTC
+// THE DEADLINE PEOPLE GET WRONG: the HotCRP portal closed 2026-10-02 11:59:59 UTC first
 // (`"sub":1790942399` on https://aidc.submit.acsac.org/deadlines, recorded in paperlint#90), while
-// the workshop page says «October 2, 2026 (Anywhere-on-Earth, AoE)» — a day later. The portal is
-// what refuses the upload.
+// the workshop page said «October 2, 2026 (Anywhere-on-Earth, AoE)» — a day later; by 2026-10-05
+// the portal had moved it a day (`"sub":1791028799`). The portal is what refuses the upload, so its
+// readings are `deadlines` below, rewritten by the scheduled refresh in paperlint's repository
+// (.github/workflows/deadlines.yml) when the portal changes them.
 //
 // THE REVIEW IS DOUBLE-BLIND: `"blind":true` in the same portal data, and the call above.
 //
@@ -38,6 +40,25 @@
   // the HotCRP API, there.
   "portal": { "kind": "hotcrp", "url": "https://aidc.submit.acsac.org" },
 
+  // Read from the portal's public deadlines page; the camera-ready only in its status object
+  // (`"final":{"done":1793447999}`).
+  "deadlines": [
+    {
+      "what": "submission",
+      "at": "2026-10-03T11:59:59Z",
+      "source": "portal",
+      "url": "https://aidc.submit.acsac.org/deadlines",
+      "read": "2026-10-05",
+    },
+    {
+      "what": "camera-ready",
+      "at": "2026-10-31T11:59:59Z",
+      "source": "portal",
+      "url": "https://aidc.submit.acsac.org/deadlines",
+      "read": "2026-10-05",
+    },
+  ],
+
   // What the venue is called in a paper's text (tex/venue-leftover): the workshop, and the
   // conference it is held at.
   "aliases": ["AIDC", "ACSAC"],

package/presets/aidc.md

@@ -21,9 +21,12 @@ from it. The `submit-paper` skill reads this card for the venue's specifics.
 - **Double-blind**: «Submissions must be properly anonymized for double-blind review.», and
   `"blind":true` in the portal's data.
 - **Portal**: HotCRP at `https://aidc.submit.acsac.org`.
-- 🔴 **The deadline people get wrong**: the HotCRP portal closes 2026-10-02 11:59:59 UTC
-  (`"sub":1790942399` on `https://aidc.submit.acsac.org/deadlines`), while the workshop page says
-  «October 2, 2026 (Anywhere-on-Earth, AoE)» — a day later. The portal is what refuses the upload.
+- 🔴 **The deadline people get wrong**: the HotCRP portal closed 2026-10-02 11:59:59 UTC first
+  (`"sub":1790942399` on `https://aidc.submit.acsac.org/deadlines`), while the workshop page said
+  «October 2, 2026 (Anywhere-on-Earth, AoE)» — a day later; on 2026-10-05 the portal read
+  2026-10-03 11:59:59 UTC (`"sub":1791028799`). The portal is what refuses the upload. The preset
+  carries its readings as `deadlines`, refreshed by paperlint's scheduled workflow when the portal
+  changes them.
 
 ## Paper kinds and limits
 

package/presets/ieee-conference.md

@@ -30,7 +30,7 @@ versions. `compsoc` changes the text block and the headings, and nothing the `pd
 <!-- prettier-ignore-start -->
 <!-- Generated from ieee-conference.jsonc by `npx eslint --fix` (rule preset/card-rules). Edit the preset, not this section. -->
 
-**`paperlint:ieee-conference`** — template family, no venue of its own · extended by `paperlint:aidc`
+**`paperlint:ieee-conference`** — template family, no venue of its own · extended by `paperlint:aidc`, `paperlint:msr`
 
 No preset of this chain sets a rule: under it, every rule keeps paperlint's default.
 

package/presets/msr.jsonc

@@ -0,0 +1,95 @@
+// MSR 2027 Technical Papers (the 24th International Conference on Mining Software Repositories) — a
+// VENUE preset over the IEEE conference family. Everything the IEEEtran template decides (page
+// size, columns, fonts, body size, TeX packages) comes from ieee-conference.jsonc; this file adds
+// what MSR's call for papers sets.
+//
+// Verbatim from https://2027.msrconf.org/track/msr-2027-technical-papers (fetched 2026-10-05):
+//   «All submissions must conform to the IEEE conference proceedings template, specified in the
+//    IEEE Conference Proceedings Formatting Guidelines (title in 24pt font and full text in 10pt
+//    type, LaTeX users must use \documentclass[10pt,conference]{IEEEtran} without including the
+//    compsoc or compsocconf options).»
+//   «Note that IEEE format is being used this year, whereas last year it was ACM format.»
+//   «All submissions must not exceed 10 pages for the main text, inclusive of all figures, tables,
+//    appendices, etc. Two more pages containing only references are permitted. All submissions
+//    must be in PDF. Accepted papers will be allowed one extra page for the main text of the
+//    camera-ready version.»
+//   «The MSR 2027 Technical Track will employ a double-anonymous review process.»
+//
+// THE DEADLINES ARE THE PORTAL'S, as read: `deadlines` below is rewritten by the scheduled refresh
+// in paperlint's repository (.github/workflows/deadlines.yml) when the portal changes them, and a
+// paper reaches the new dates through its normal update of paperlint. The call's own wording
+// (abstract and paper days, AoE) is in the card, msr.md beside this file.
+{
+  "type": "venue",
+  "name": "MSR",
+  // The call quoted above.
+  "url": "https://2027.msrconf.org/track/msr-2027-technical-papers",
+  "extends": "paperlint:ieee-conference",
+
+  // «The MSR 2027 Technical Track will employ a double-anonymous review process. Thus, no
+  // submission may reveal its authors' identities.» (the call above), and `"blind":true` in the
+  // portal's data (https://msr2027.hotcrp.com/deadlines, 2026-10-05). anonymity/identity then
+  // requires the paper's `identity`.
+  "blind": true,
+
+  // «Papers must be submitted through HotCRP: https://msr2027.hotcrp.com/» (the call above).
+  // Recorded 2026-10-05: `/api/whoami` on this site answers 401 "Missing credentials" without a
+  // token — the HotCRP API, there.
+  "portal": { "kind": "hotcrp", "url": "https://msr2027.hotcrp.com" },
+
+  // Read from the portal's public deadlines page (no account) by the adapter in src/adapters/hotcrp/.
+  // «Submissions must be completed by this deadline» is the `submission`: on the CALL's abstract
+  // day, 04:00 UTC — four days before the call's paper day. «Completed submissions may be updated
+  // until this deadline» is the `resubmission`.
+  "deadlines": [
+    {
+      "what": "submission",
+      "at": "2026-10-20T04:00:00Z",
+      "source": "portal",
+      "url": "https://msr2027.hotcrp.com/deadlines",
+      "read": "2026-10-05",
+    },
+    {
+      "what": "resubmission",
+      "at": "2026-10-23T04:00:00Z",
+      "source": "portal",
+      "url": "https://msr2027.hotcrp.com/deadlines",
+      "read": "2026-10-05",
+    },
+  ],
+
+  // What the venue is called in a paper's text (tex/venue-leftover) — and only beside a year
+  // («MSR 2027», «MSR'27»): «MSR» is also Microsoft Research, and an acronym papers define for
+  // themselves («Manual Speech Recognition (MSR)», in an accepted ACSAC paper of
+  // fixtures/accepted-papers/, warned six times when any whole word counted).
+  "aliases": ["MSR"],
+  "mentions": "with-year",
+
+  // The class line the call names, with the two options it forbids (tex/template). The family's
+  // `[conference]` text block (7.14 x 9.30 in) is the one this line builds, so no `format` override.
+  "template": "\\documentclass[10pt,conference]{IEEEtran}",
+  "template_forbids": ["compsoc", "compsocconf"],
+
+  "format": {
+    // 🔴 THE MAIN TEXT INCLUDES THE APPENDICES, AND THE REFERENCE PAGES ARE THE ONES WITH ONLY
+    // REFERENCES — not banal's count. Measured 2026-10-05 on IEEEtran [10pt,conference] builds:
+    //   10 pages of main text, its appendix before the references, 2 reference-only pages
+    //     → banal: body 9, references 3 (a page whose first heading reads «Appendix» is typed as
+    //       bibliography) — a correct paper fails
+    //   11 pages of main text, the appendix after the references
+    //     → banal: body 10, references 2 (the appendix taken for more references) — an over-long
+    //       paper passes
+    // So format/page-limit counts from the text (`appendix_in_body`): the body is every page up to
+    // the references, that page too when body text stands above the heading, plus every page from
+    // an appendix that follows the references; the pages between are the reference pages
+    // (docs/rules/format/page-limit.md). An appendix after the references is found by hyperref's
+    // anchor: load hyperref.
+    "body_ends_at": "references",
+    "appendix_in_body": true,
+
+    // One kind: the Technical Track's papers. The camera-ready's extra page is not this limit.
+    "kinds": {
+      "technical": { "body_pages_max": 10, "ref_pages_max": 2 },
+    },
+  },
+}

package/presets/msr.md

@@ -0,0 +1,98 @@
+---
+title: "MSR — venue card"
+---
+
+# MSR (Technical Papers)
+
+The card of the venue preset `paperlint:msr` ([`msr.jsonc`](msr.jsonc)): what the venue asks for,
+in prose. The numbers a machine checks live in the preset; the section at the end is generated from
+it. The `submit-paper` skill reads this card for the venue's specifics.
+
+**Re-verify the call for papers every year**
+([2027.msrconf.org/track/msr-2027-technical-papers](https://2027.msrconf.org/track/msr-2027-technical-papers)):
+the template changed from ACM to IEEE in 2027 («Note that IEEE format is being used this year,
+whereas last year it was ACM format.»), and limits and dates change between editions.
+
+## The venue (2027 edition)
+
+- **Venue**: the Technical Papers track of **MSR 2027**, the International Conference on Mining
+  Software Repositories.
+- **Portal**: HotCRP, `https://msr2027.hotcrp.com/` («Papers must be submitted through HotCRP»).
+- **Dates** (the call, «AoE (UTC-12h)»): abstract **2026-10-20**, paper **2026-10-23**; early
+  reject notification 2026-12-03; author response 2026-12-04 to 2026-12-08; notification
+  2027-01-08; camera-ready 2027-01-26. The call's prose names the weekdays «Mon, 20 Oct 2026» and
+  «Thurs, 23 Oct 2026», its date table «Tue 20 Oct 2026» and «Fri 23 Oct 2026»; the calendar sides
+  with the table (2026-10-20 is a Tuesday).
+- 🔴 **The portal closes earlier than the call says.** Read 2026-10-05 on
+  `https://msr2027.hotcrp.com/deadlines`: «Submission deadline: Tuesday Oct 20, 2026, 12 AM EDT»
+  (`"sub":1792468800`, 2026-10-20 04:00 UTC) and «Resubmission deadline: Friday Oct 23, 2026, 12 AM
+  EDT» («Completed submissions may be updated until this deadline»). Midnight EDT at the start of
+  each day is about a day and a half before the end of that day AoE. The portal is what refuses the
+  upload: plan for its times. The preset carries them as `deadlines` (`source: "portal"`, with the
+  day read), refreshed by paperlint's scheduled workflow when the portal changes them; a paper whose
+  current cycle names `paperlint:msr` derives them. Recording the call's days in the paper's own
+  cycle maps «abstract» to `registration` and «paper» to `submission` — and the portal's earlier
+  `submission` is then the one in force.
+- **Format**, verbatim from the call: «LaTeX users must use \documentclass[10pt,conference]{IEEEtran}
+  without including the compsoc or compsocconf options», «title in 24pt font and full text in 10pt
+  type», and «Alterations of spacing, font size, and other changes that deviate from the
+  instructions may result in desk rejection without further review.»
+- **Double-anonymous**: «The MSR 2027 Technical Track will employ a double-anonymous review process.
+  Thus, no submission may reveal its authors' identities.» The call adds: names omitted, prior work
+  cited in the third person, and a preprint must not say it was submitted to MSR. The portal's data
+  says `"blind":true`.
+- **Attendance**: «If a submission is accepted, at least one author of the paper is required to
+  register for MSR 2027 and present the paper.» The call does not say whether a remote presentation
+  is allowed.
+- **New in 2027**, from the call: a submission may be desk rejected for fabricated references
+  («citations to papers, authors, venues, datasets, tools, or other artifacts that do not exist»),
+  clear signs of unverified AI-generated text, or hidden instructions aimed at automated tools.
+
+## Paper kinds and limits
+
+| kind        | main-text pages | pages of only references | what the call says                                                                                                                                                        |
+| ----------- | --------------: | -----------------------: | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `technical` |              10 |                        2 | «All submissions must not exceed 10 pages for the main text, inclusive of all figures, tables, appendices, etc. Two more pages containing only references are permitted.» |
+
+«Accepted papers will be allowed one extra page for the main text of the camera-ready version.» —
+not the submission's limit, so not in the preset.
+
+🔴 **Appendices count in the ten pages**, and a page that holds anything but references is a
+main-text page. banal's count gets both wrong on an IEEEtran build (an appendix before the
+references turns its pages into «bibliography»; one after them into «references»), so the preset
+counts from the text (`format.appendix_in_body`): the main text is every page up to the references —
+that page too when text stands above the heading — and every page from an appendix that follows the
+references; the pages between hold only references. **Load hyperref**: an appendix after the
+references is found by hyperref's anchor, and without it is counted as reference pages. See
+`docs/rules/format/page-limit.md`.
+
+## What else the preset encodes
+
+- **The IEEE template**, through `extends: paperlint:ieee-conference` — letter paper, two columns,
+  Times at 10 pt, IEEEtran's TeX packages ([`ieee-conference.md`](ieee-conference.md)) — with
+  `10pt` and `conference` required in the class line and `compsoc` and `compsocconf` forbidden
+  (`tex/template`, `template_forbids`).
+- **Double-blind review** (`blind`), so `anonymity/identity` checks the PDF against the paper's
+  declared `identity`.
+- **Where submissions go** (`portal`): `paperlint submission` reads and updates a paper's
+  submission through HotCRP's API on that site.
+- **Names**: `MSR`, what `tex/venue-leftover` looks for in another venue's paper — only with a year
+  beside it (`mentions: with-year`: «MSR 2027», «MSR'27»), since «MSR» is also Microsoft Research
+  and an acronym papers define for themselves.
+- **Not encoded**: the capitalization of the title and headings (`tex/heading-case` stays off: the
+  IEEE guidelines' rule has not been read and quoted here), and the register of the body (no
+  accepted MSR paper in the IEEE template exists yet to anchor `tex/contrast-frames` and its
+  siblings).
+
+## What the preset resolves to
+
+<!-- paperlint:preset-rules -->
+<!-- prettier-ignore-start -->
+<!-- Generated from msr.jsonc by `npx eslint --fix` (rule preset/card-rules). Edit the preset, not this section. -->
+
+**`paperlint:msr`** — venue preset for MSR · call for papers: <https://2027.msrconf.org/track/msr-2027-technical-papers> · extends `paperlint:ieee-conference`
+
+No preset of this chain sets a rule: under it, every rule keeps paperlint's default.
+
+<!-- prettier-ignore-end -->
+<!-- /paperlint:preset-rules -->