paperlint 7.0.0 → 7.1.0

package/presets/msr.md

@@ -0,0 +1,94 @@
+---
+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, and re-read the page, since chairs change them.
+- **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 -->

package/presets/venue-profile.schema.json

@@ -34,6 +34,16 @@
       "type": "string",
       "minLength": 1
     },
+    "template_forbids": {
+      "description": "Class options the venue's call forbids in the \\documentclass line (`[\"compsoc\", \"compsocconf\"]`: MSR's «without including the compsoc or compsocconf options»). `tex/template` reports each one a paper's class line carries. Read with the `template` of the same file, and only with it: a child's `template` replaces both.",
+      "type": "array",
+      "minItems": 1,
+      "uniqueItems": true,
+      "items": {
+        "type": "string",
+        "minLength": 1
+      }
+    },
     "blind": {
       "description": "The venue reviews double-blind: its call says submissions must be anonymized. Read by `anonymity/identity`, which then requires the paper's `identity` and finds none of it in the PDF. Set only where the venue says so, with the quote. A child's value replaces its parent's.",
       "type": "boolean"
@@ -47,6 +57,11 @@
         "minLength": 1
       }
     },
+    "mentions": {
+      "description": "When the venue's `name` and `aliases` count as naming it in a paper's text (`tex/venue-leftover`). Absent: any whole-word use. `with-year`: only with a year beside the name — `MSR 2027`, `MSR'27`, `MSR~2027` — for a name that is also a common acronym (MSR: Microsoft Research, or an acronym a paper defines), where a bare use names something else far more often than the venue. A child's value replaces its parent's.",
+      "type": "string",
+      "enum": ["with-year"]
+    },
     "portal": {
       "description": "Where the venue takes submissions, read by `paperlint submission`: the portal's kind (an adapter exists for `hotcrp`) and the site's base URL, the one its pages and `/api/` hang off. A paper says which submission is its own with `submission: { id }` in its paperlint.json. A child's value replaces its parent's.",
       "type": "object",
@@ -86,6 +101,9 @@
       "description": "What the venue's call for papers sets. Every key is optional; a child preset's key replaces its parent's, and a child's kind replaces that kind.",
       "type": "object",
       "additionalProperties": false,
+      "dependencies": {
+        "appendix_in_body": ["body_ends_at"]
+      },
       "properties": {
         "page_size": {
           "type": "string",
@@ -140,6 +158,10 @@
           "type": "string",
           "enum": ["references"]
         },
+        "appendix_in_body": {
+          "description": "With `body_ends_at: references`: the venue counts its appendices in the body limit and allows reference pages that hold only references (MSR: «10 pages for the main text, inclusive of all figures, tables, appendices, etc. Two more pages containing only references are permitted.»). `format/page-limit` then counts as body the pages up to the references and, when the appendix starts after them, every page from the appendix (found by hyperref's anchor) to the last; the pages between are the reference pages, judged against `ref_pages_max`. An appendix before the references is body and ends nothing.",
+          "type": "boolean"
+        },
         "page_limits_not_gated": {
           "type": "object"
         },
@@ -347,6 +369,9 @@
     }
   },
   "required": ["type"],
+  "dependencies": {
+    "template_forbids": ["template"]
+  },
   "allOf": [
     {
       "if": {

package/skills/camera-ready/SKILL.md

@@ -4,7 +4,7 @@ description: On acceptance, turn the anonymized-for-review paper into the de-ano
 allowed-tools: [Read, Write, Edit, Grep, Glob, Bash, WebSearch, WebFetch]
 ---
 
-<!-- vigiles:sha256:5c85ef4004c31956 compiled from skills/camera-ready/SKILL.md.spec.ts -->
+<!-- vigiles:sha256:1c9ad89e55c3e89a compiled from skills/camera-ready/SKILL.md.spec.ts -->
 
 # camera-ready — de-anonymize an accepted paper into the final proceedings version
 
@@ -94,6 +94,13 @@ and going over is a hard reject at the proceedings stage. Recompile
 If tight, ACM allows references to spill into the reference-only extra pages.
 
 ## 5. Ship
+- **Before the final PDF goes up, hand the last check to the author, in plain words.** Tell them that
+  paperlint passing is not the venue or the publisher accepting the format, and ask them to open the
+  exact PDF they are about to upload and check it against the venue's call for papers and its
+  camera-ready instructions themselves — the page count and what counts toward the limit (the
+  camera-ready's extra page, if any), the template and its class options, the author block and
+  acknowledgements now de-anonymized, and that every figure, table and reference renders. Upload once
+  they say they have looked.
 - Rebuild the final PDF, upload to the camera-ready system (often the same HotCRP, or an ACM eRights /
   TAPS pipeline — follow the copyright email).
 - Complete the **ACM/IEEE eRights** copyright form → paste the returned copyright block + DOI into the

package/skills/camera-ready/SKILL.md.spec.ts

@@ -109,6 +109,13 @@ and going over is a hard reject at the proceedings stage. Recompile
 If tight, ACM allows references to spill into the reference-only extra pages.
 
 ## 5. Ship
+- **Before the final PDF goes up, hand the last check to the author, in plain words.** Tell them that
+  paperlint passing is not the venue or the publisher accepting the format, and ask them to open the
+  exact PDF they are about to upload and check it against the venue's call for papers and its
+  camera-ready instructions themselves — the page count and what counts toward the limit (the
+  camera-ready's extra page, if any), the template and its class options, the author block and
+  acknowledgements now de-anonymized, and that every figure, table and reference renders. Upload once
+  they say they have looked.
 - Rebuild the final PDF, upload to the camera-ready system (often the same HotCRP, or an ACM eRights /
   TAPS pipeline — follow the copyright email).
 - Complete the **ACM/IEEE eRights** copyright form → paste the returned copyright block + DOI into the

package/skills/submission-portal/SKILL.md

@@ -4,7 +4,7 @@ description: "Read or change a paper's submission on the venue's HotCRP portal v
 allowed-tools: [Read, Grep, Glob, Bash]
 ---
 
-<!-- vigiles:sha256:deb3d74f5c3f93a8 compiled from skills/submission-portal/SKILL.md.spec.ts -->
+<!-- vigiles:sha256:4b3a8c0b51ebe206 compiled from skills/submission-portal/SKILL.md.spec.ts -->
 
 # submission-portal — read and update the submission on the portal, then prove it landed
 
@@ -14,7 +14,7 @@ supported; for any other portal the command says so and the upload is done by ha
 ## What must be in place
 
 - **The venue preset declares the portal**: `"portal": { "kind": "hotcrp", "url": "<the site>" }`
-  (`paperlint:aidc` has it). For your own venue preset, add it there.
+  (`paperlint:aidc` and `paperlint:msr` have it). For your own venue preset, add it there.
 - **The paper's `paperlint.json` names its submission**: `"submission": { "id": <number> }` — the
   number HotCRP shows for the paper.
 - **A token in `HOTCRP_TOKEN`**, created by the author on the HotCRP site under Account settings →

package/skills/submission-portal/SKILL.md.spec.ts

@@ -15,7 +15,7 @@ supported; for any other portal the command says so and the upload is done by ha
 ## What must be in place
 
 - **The venue preset declares the portal**: \`"portal": { "kind": "hotcrp", "url": "<the site>" }\`
-  (\`paperlint:aidc\` has it). For your own venue preset, add it there.
+  (\`paperlint:aidc\` and \`paperlint:msr\` have it). For your own venue preset, add it there.
 - **The paper's \`paperlint.json\` names its submission**: \`"submission": { "id": <number> }\` — the
   number HotCRP shows for the paper.
 - **A token in \`HOTCRP_TOKEN\`**, created by the author on the HotCRP site under Account settings →

package/skills/submit-paper/SKILL.md

@@ -4,7 +4,7 @@ description: End-to-end playbook for submitting a peer-reviewed paper to a doubl
 allowed-tools: [Read, Write, Edit, Grep, Glob, Bash, WebSearch, WebFetch, Skill]
 ---
 
-<!-- vigiles:sha256:8f53cae32633b002 compiled from skills/submit-paper/SKILL.md.spec.ts -->
+<!-- vigiles:sha256:81d5777962c2864a compiled from skills/submit-paper/SKILL.md.spec.ts -->
 
 # submit-paper — get a reviewed paper from "done" to "ready for review"
 
@@ -20,6 +20,7 @@ paper against:
 - `presets/agenticdev.md` — AgenticDev @ ASE (workshop; ASE workshop proceedings).
 - `presets/aisec.md` — AISec @ ACM CCS (security workshop; ACM DL; harder bar).
 - `presets/aidc.md` — AIDC @ IEEE ACSAC (workshop; IEEE template, LLM Usage Statement).
+- `presets/msr.md` — MSR Technical Papers (conference; IEEE template from 2027, appendices count in the page limit).
 - `presets/realm.md` — REALM @ EMNLP (ACL family, OpenReview).
 
 **The card is prose; the machine-checked format is the PRESET beside it.** A paper declares its venue
@@ -110,6 +111,13 @@ Many workshop HotCRPs have **no supplementary-upload field** — check first; if
   An independent researcher with no ties usually checks **none** — that's honest.
 
 ## 5. Submit
+- **Before the PDF goes up — and before every Replace — hand the last check to the author, in plain
+  words.** Tell them that paperlint passing is not the venue accepting the format: the preset is
+  transcribed from a call that can change, and any check can miss something. Ask them to open the
+  exact PDF they are about to upload and check it against the venue's call for papers themselves —
+  the page count and what counts toward the limit (appendices, references), the template and its
+  class options, anonymity, and that every figure, table and reference renders. Upload once they say
+  they have looked. (`paperlint submission update` prints the same request before it sends.)
 - **Save and submit**, then **mark it "ready for review."** A saved draft alone is NOT evaluated — this
   is the step people miss.
 - You can edit until the deadline: use **Replace** on the Submission field to swap the PDF for a late

package/skills/submit-paper/SKILL.md.spec.ts

@@ -36,6 +36,7 @@ paper against:
 - \`presets/agenticdev.md\` — AgenticDev @ ASE (workshop; ASE workshop proceedings).
 - \`presets/aisec.md\` — AISec @ ACM CCS (security workshop; ACM DL; harder bar).
 - \`presets/aidc.md\` — AIDC @ IEEE ACSAC (workshop; IEEE template, LLM Usage Statement).
+- \`presets/msr.md\` — MSR Technical Papers (conference; IEEE template from 2027, appendices count in the page limit).
 - \`presets/realm.md\` — REALM @ EMNLP (ACL family, OpenReview).
 
 **The card is prose; the machine-checked format is the PRESET beside it.** A paper declares its venue
@@ -126,6 +127,13 @@ Many workshop HotCRPs have **no supplementary-upload field** — check first; if
   An independent researcher with no ties usually checks **none** — that's honest.
 
 ## 5. Submit
+- **Before the PDF goes up — and before every Replace — hand the last check to the author, in plain
+  words.** Tell them that paperlint passing is not the venue accepting the format: the preset is
+  transcribed from a call that can change, and any check can miss something. Ask them to open the
+  exact PDF they are about to upload and check it against the venue's call for papers themselves —
+  the page count and what counts toward the limit (appendices, references), the template and its
+  class options, anonymity, and that every figure, table and reference renders. Upload once they say
+  they have looked. (\`paperlint submission update\` prints the same request before it sends.)
 - **Save and submit**, then **mark it "ready for review."** A saved draft alone is NOT evaluated — this
   is the step people miss.
 - You can edit until the deadline: use **Replace** on the Submission field to swap the PDF for a late

package/src/cli.ts

@@ -42,7 +42,12 @@ import {
   asEslintResults,
 } from "./structure.ts";
 import { buildPapers, papersIn, anyFailed, remedyFor, MAIN } from "./build.ts";
-import { includeBlocks, paperBodies, unreadLines } from "./paper-includes.ts";
+import {
+  FRAGMENT_FILES,
+  includeBlocks,
+  paperBodies,
+  unreadLines,
+} from "./paper-includes.ts";
 import { prepareEngine } from "./build-engine.ts";
 import { cacheRoot, cachedTree, runToolchain } from "./toolchain.ts";
 import { banalInstaller, parseBanalSettings } from "./adapters/banal/index.ts";
@@ -462,7 +467,7 @@ export function buildConfig(
   const fragments: readonly ConfigBlock[] = texLanguage
     ? [
         {
-          files: ["**/*.tex"],
+          files: [...FRAGMENT_FILES],
           ignores: ["**/paper.tex"],
           plugins: {
             tex: {

package/src/domain/body-pages.test.ts

@@ -3,6 +3,8 @@ import {
   bodyEnd,
   isAppendixHeading,
   isReferencesHeading,
+  pageSplit,
+  type Anchors,
 } from "./body-pages.ts";
 
 describe("isReferencesHeading", () => {
@@ -298,3 +300,145 @@ describe("bodyEnd: where the appendix is not taken, or not found", () => {
     });
   });
 });
+
+describe("pageSplit: the appendix counts as body, the reference pages are the ones holding only references", () => {
+  it("no appendix: the body up to the references, the rest references", () => {
+    expect(
+      pageSplit(["body", "end\nReferences\n[1] A.", "[2] B.", "[3] C."], {
+        bib: 2,
+        appendix: null,
+      }),
+    ).toEqual({
+      kind: "found",
+      page: 2,
+      bodyPages: 2,
+      refPages: 2,
+      appendixFrom: null,
+    });
+  });
+
+  it("🔴 an appendix before the references is body: it does not end the body", () => {
+    expect(
+      pageSplit(
+        [
+          "body",
+          "Appendix A.\nDetails",
+          "more details\nReferences\n[1] A.",
+          "[2] B.",
+        ],
+        { bib: 3, appendix: 2 },
+      ),
+    ).toEqual({
+      kind: "found",
+      page: 3,
+      bodyPages: 3,
+      refPages: 1,
+      appendixFrom: null,
+    });
+  });
+
+  it("🔴 an appendix after the references is body: the pages from it to the end", () => {
+    expect(
+      pageSplit(
+        [
+          "body",
+          "end\nReferences\n[1] A.",
+          "[2] B.",
+          "[3] C.\nAppendix A.\nx",
+          "y",
+        ],
+        { bib: 2, appendix: 4 },
+      ),
+    ).toEqual({
+      kind: "found",
+      page: 2,
+      bodyPages: 4,
+      refPages: 1,
+      appendixFrom: 4,
+    });
+  });
+});
+
+describe("pageSplit: the appendix and the references on one page", () => {
+  it("an appendix after the references on their own page: that page is counted once", () => {
+    expect(
+      pageSplit(["body", "end\nReferences\n[1] A.\nAppendix A.\nx"], {
+        bib: 2,
+        appendix: 2,
+      }),
+    ).toEqual({
+      kind: "found",
+      page: 2,
+      bodyPages: 2,
+      refPages: 0,
+      appendixFrom: 2,
+    });
+  });
+
+  it("an appendix above the references on their page is body before them, like any text", () => {
+    expect(
+      pageSplit(["body", "end\nAppendix A.\nx\nReferences\n[1] A.", "[2] B."], {
+        bib: 2,
+        appendix: 2,
+      }),
+    ).toEqual({
+      kind: "found",
+      page: 2,
+      bodyPages: 2,
+      refPages: 1,
+      appendixFrom: null,
+    });
+  });
+
+  it("the references at the top of their page: that page holds only references", () => {
+    expect(
+      pageSplit(["body", "References\n[1] A.", "Appendix A.\nx"], {
+        bib: 2,
+        appendix: 3,
+      }),
+    ).toEqual({
+      kind: "found",
+      page: 2,
+      bodyPages: 2,
+      refPages: 1,
+      appendixFrom: 3,
+    });
+  });
+});
+
+describe("pageSplit: what is said rather than counted, and what is not looked for", () => {
+  it.each<[string, readonly string[], Anchors, string]>([
+    [
+      "no references heading",
+      ["body", "Appendix\nx"],
+      { bib: null, appendix: 2 },
+      "missing",
+    ],
+    [
+      "an appendix anchor with no heading",
+      ["body", "References\n[1] A.", "x"],
+      { bib: 2, appendix: 3 },
+      "disagree",
+    ],
+    [
+      "a references anchor with no heading",
+      ["body", "x"],
+      { bib: 2, appendix: null },
+      "disagree",
+    ],
+  ])("%s: said, not counted", (_, pages, anchors, kind) => {
+    expect(pageSplit(pages, anchors).kind).toBe(kind);
+  });
+
+  it("without anchors the references heading is found in the text, and no appendix is looked for", () => {
+    expect(
+      pageSplit(["body", "end\nReferences\n[1] A.", "Appendix A.\nx"]),
+    ).toEqual({
+      kind: "found",
+      page: 2,
+      bodyPages: 2,
+      refPages: 1,
+      appendixFrom: null,
+    });
+  });
+});

package/src/domain/body-pages.ts

@@ -186,8 +186,11 @@ function appendixAt(
       };
 }
 
+/** A body end that was found. */
+type Found = Extract<BodyEnd, { readonly kind: "found" }>;
+
 /** The body's end at a heading: the heading's page counts when body text stands above it. */
-function endAt(pages: readonly PageReading[], at: At): BodyEnd {
+function endAt(pages: readonly PageReading[], at: At): Found {
   const running = runningLines(pages);
   const body = at.above.some((l) => /\p{L}/u.test(l) && !running.has(shape(l)));
   return {
@@ -221,3 +224,60 @@ export function bodyEnd(
     .toSorted((a, b) => a.page - b.page || a.line - b.line)[0];
   return first === undefined ? { kind: "missing" } : endAt(pages, first);
 }
+
+/**
+ * The pages of a paper split as a venue counts them when its body limit includes the appendices
+ * and only the pages holding nothing but references are reference pages (MSR: «10 pages for the
+ * main text, inclusive of all figures, tables, appendices, etc. Two more pages containing only
+ * references are permitted.»):
+ *
+ *   body        the pages up to the references — their page too when body text stands above the
+ *               heading — and, when the appendix starts after the references, every page from the
+ *               appendix's to the last, which holds appendix text
+ *   references  the pages between, which hold only references
+ *
+ * An appendix before the references is body like any other text, and ends nothing. The appendix is
+ * found by hyperref's anchor only (`appendixAt`): without hyperref, an appendix after the references
+ * is not told from them and is counted with them. Pure.
+ */
+export type PageSplit =
+  | {
+      readonly kind: "found";
+      /** 1-based page holding the references heading. */
+      readonly page: number;
+      readonly bodyPages: number;
+      readonly refPages: number;
+      /** 1-based page the appendix starts on, when it follows the references; else null. */
+      readonly appendixFrom: number | null;
+    }
+  | { readonly kind: "missing" }
+  | Extract<BodyEnd, { readonly kind: "disagree" }>;
+
+/** Whether heading `a` stands after heading `b` in the document. */
+const after = (a: At, b: At): boolean =>
+  a.page > b.page || (a.page === b.page && a.line > b.line);
+
+export function pageSplit(
+  texts: readonly string[],
+  anchors: Anchors = { bib: null, appendix: null },
+): PageSplit {
+  const pages = texts.map(readPage);
+  const refs = referencesAt(pages, anchors.bib);
+  const appendix = appendixAt(pages, anchors.appendix);
+  if (refs.kind === "disagree") return refs;
+  if (appendix.kind === "disagree") return appendix;
+  if (refs.kind === "missing") return { kind: "missing" };
+  const upTo = endAt(pages, refs).bodyPages;
+  const tail =
+    appendix.kind === "at" && after(appendix, refs) ? appendix.page : null;
+  // The pages from the appendix to the end, less the ones already counted up to the references.
+  const appendixPages = tail === null ? 0 : pages.length - Math.max(tail, upTo);
+  const bodyPages = upTo + appendixPages;
+  return {
+    kind: "found",
+    page: refs.page + 1,
+    bodyPages,
+    refPages: pages.length - bodyPages,
+    appendixFrom: tail === null ? null : tail + 1,
+  };
+}

package/src/new-paper.test.ts

@@ -234,6 +234,33 @@ describe("paperlint new --venue / --kind", () => {
   });
 });
 
+describe("paperlint new --venue msr", () => {
+  it("`new --venue msr` writes MSR's class line, and once the paper declares who wrote it, lint is clean", async () => {
+    const r = await newIn(["--venue", "msr", "--kind", "technical"]);
+    const tex = readFileSync(join(r.dir, "paper.tex"), "utf8");
+    expect(tex).toContain("\\documentclass[10pt,conference]{IEEEtran}\n");
+    expect(r.out).not.toMatch(/tex\/template|format\/page-limit|pdf\/profile/);
+    // MSR reviews double-anonymously: the one thing the stub lacks is the authors' identity.
+    expect(r.out).toMatch(/anonymity\/identity/);
+    expect(r.code).toBe(1);
+    writeFileSync(
+      join(r.dir, "paperlint.json"),
+      JSON.stringify({ ...r.settings(), identity: ["Ada Example"] }),
+    );
+    const out: string[] = [];
+    const code = await run(["lint", r.dir], {
+      cwd: r.dir,
+      log: (s: string) => out.push(s),
+      err: () => {},
+    });
+    // Guards: what remains is the reminder that the PDF is not built yet — a warning, not a finding
+    // about the paper.
+    expect(out.join("\n")).toMatch(/\(0 errors, 1 warning\)/);
+    expect(out.join("\n")).toMatch(/pdf\/measured/);
+    expect(code).toBe(0);
+  });
+});
+
 describe("paperlint new --venue — a venue it cannot use", () => {
   it("an unknown venue exits 2, lists the shipped presets, and creates nothing", async () => {
     const r = await newIn(["--venue", "icse"]);

package/src/paper-includes.test.ts

@@ -102,6 +102,32 @@ describe("lint reads the files paper.tex includes from its body", () => {
     ]);
   });
 
+  it("🔴 an included file that is not `.tex` — a `.bbl` — is not handed to ESLint, which parsed it as JavaScript (#153)", async () => {
+    const { byFile, err } = await lint(
+      project({
+        "papers/a/paper.tex": doc(
+          "{article}",
+          "",
+          "Text, as Figure~\\ref{f1} shows.\n\\input{paper.bbl}",
+        ),
+        // What bibtex writes: a comment first, which ESLint's JavaScript parser stops at.
+        "papers/a/paper.bbl":
+          "% Generated by IEEEtran.bst\n\\begin{thebibliography}{1}\n" +
+          "\\bibitem{a} A. Author, ``A result with p < .05,'' 2024.\n" +
+          "\\end{thebibliography}\n",
+      }),
+    );
+    // Guards: the `.bbl` was the one file of the run with a parse error («Unexpected token %»).
+    // It is bibtex's output, not prose the author edits: no fragment rule reports in it, and
+    // paper.tex — which reads it, spliced, as TeX typesets it — draws no finding from its `.05`.
+    expect(byFile).toEqual({
+      "papers/a/PIPELINE-STATUS.md": [],
+      "papers/a/paper.tex": [],
+    });
+    // Read, not missing: no «lint did not read» note names it.
+    expect(err).not.toMatch(/paper\.bbl/);
+  });
+
   it("--fix rewrites the included file, to the paper's majority form", async () => {
     const root = project({});
     const before = readFileSync(join(root, "papers/a/paper.tex"), "utf8");

package/src/paper-includes.ts

@@ -14,18 +14,35 @@
  *    `paper.tex`, so only the files named here are ever enumerated;
  * 2. `settings.paperlint.paper` for `paper.tex` and its body files: the main file and the whole set,
  *    for the rules whose verdict is the paper's (eslint-rules/paper-context.ts).
+ *
+ * ── ONLY `.tex` FILES ARE HANDED TO ESLint (#153) ────────────────────────────────
+ * An include may resolve to a file of another extension: `\input{paper.bbl}` in a paper that ships
+ * bibtex's output instead of a `.bib`, a plot exported as `.pgf`. Handed to ESLint, such a file got
+ * no language — the fragment block claims `.tex` only — and the JavaScript parser stopped at its
+ * first `%`. It is not given the LaTeX language either: the fragment rules judge and `--fix` the
+ * prose an author writes in that file, and a file of another extension is in practice a tool's
+ * output, whose words are someone else's (the titles of cited works) and whose fix the next run of
+ * the tool overwrites. TeX still reads it, and so does `readPaper`: the rules over the whole paper
+ * see it spliced into `paper.tex`, where TeX typesets it.
  */
-import { join, relative } from "node:path";
+import { extname, join, relative } from "node:path";
 import { PAPERLINT_SETTINGS } from "#eslint-rules/paper-context";
 import { callerPath } from "./caller-path.ts";
 import type { AbsolutePath } from "./domain/paths.ts";
 import type { ConfigBlock } from "./rules-config.ts";
 import { bodyFiles, type PaperDeps, type Unread } from "./tex-paper.ts";
 
+/** The files the fragment block (`buildConfig`) claims: the only body files ESLint is handed. */
+export const FRAGMENT_FILES: readonly string[] = ["**/*.tex"];
+
+/** Whether a body file is one the fragment block claims — the extension its glob names. */
+const isFragment = (file: string): boolean => extname(file) === ".tex";
+
 /** One paper's main file and body files, and the includes that resolved nowhere. */
 export interface PaperBody {
   readonly dir: string;
   readonly main: AbsolutePath;
+  /** The body files ESLint lints, each as a fragment: the `.tex` ones. */
   readonly files: readonly AbsolutePath[];
   readonly missing: readonly Unread[];
 }
@@ -40,7 +57,8 @@ export function paperBodies(
     const bytes = deps.files.readBytes(main);
     if (bytes === null) return [];
     const body = bodyFiles(main, new TextDecoder().decode(bytes), deps);
-    return [{ dir, main, files: body.files, missing: body.missing }];
+    const files = body.files.filter(isFragment);
+    return [{ dir, main, files, missing: body.missing }];
   });
 }
 

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

@@ -299,7 +299,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, realm/,
+      /acm-sigconf, agenticdev, aidc, aisec, ieee-conference, msr, realm/,
     );
   });
 });