paperlint 4.2.0 → 6.0.0

package/fixtures/build-e2e/anon-ack/paperlint.json

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

package/fixtures/build-e2e/anon-author/PIPELINE-STATUS.md

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

package/fixtures/build-e2e/anon-author/expect.json

@@ -0,0 +1,19 @@
+{
+  "$comment": "anonymity/identity on a real IEEEtran build: A: the name in the author block. Exactly one finding, naming where.",
+  "build": {
+    "outcome": "pdf"
+  },
+  "lint": {
+    "rules": {
+      "anonymity/identity": [
+        {
+          "severity": 2,
+          "says": [
+            "«Ada Example»",
+            "PDF, page 1"
+          ]
+        }
+      ]
+    }
+  }
+}

package/fixtures/build-e2e/anon-author/paper.tex

@@ -0,0 +1,29 @@
+% A: the name in the author block.
+% The declared identity is invented: "Ada Example", handle "adaexample" (paperlint.json).
+\documentclass[conference,compsoc]{IEEEtran}
+\begin{filecontents*}{refs.bib}
+@article{knuth84,
+  title   = {Literate Programming},
+  author  = {Knuth, Donald E.},
+  journal = {The Computer Journal},
+  volume  = {27},
+  number  = {2},
+  pages   = {97--111},
+  year    = {1984},
+  doi     = {10.1093/comjnl/27.2.97}
+}
+\end{filecontents*}
+\begin{document}
+\title{A Fixture for Double-Blind Review}
+\author{\IEEEauthorblockN{Ada Example}\IEEEauthorblockA{Anonymous Institution}}
+\maketitle
+\section{Introduction}
+This paper builds on earlier work~\cite{knuth84}.
+
+\section{Conclusion}
+The conclusion restates that the fixture builds.
+\bibliographystyle{IEEEtran}
+\bibliography{refs}
+\section*{LLM Usage Statement}
+No LLMs were used in writing this fixture.
+\end{document}

package/fixtures/build-e2e/anon-author/paperlint.json

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

package/fixtures/build-e2e/anon-bib/PIPELINE-STATUS.md

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

package/fixtures/build-e2e/anon-bib/expect.json

@@ -0,0 +1,20 @@
+{
+  "$comment": "anonymity/identity on a real IEEEtran build: C: a self-citation: the name only in a .bib author field, printed by IEEEtran.bst as \"A. Example\". Exactly one finding, naming where.",
+  "build": {
+    "outcome": "pdf"
+  },
+  "lint": {
+    "rules": {
+      "anonymity/identity": [
+        {
+          "severity": 2,
+          "says": [
+            "«A. Example»",
+            "matches «Ada Example»",
+            "PDF, page"
+          ]
+        }
+      ]
+    }
+  }
+}

package/fixtures/build-e2e/anon-bib/paper.tex

@@ -0,0 +1,35 @@
+% C: a self-citation: the name only in a .bib author field, printed by IEEEtran.bst as "A. Example".
+% The declared identity is invented: "Ada Example", handle "adaexample" (paperlint.json).
+\documentclass[conference,compsoc]{IEEEtran}
+\begin{filecontents*}{refs.bib}
+@article{knuth84,
+  title   = {Literate Programming},
+  author  = {Knuth, Donald E.},
+  journal = {The Computer Journal},
+  volume  = {27},
+  number  = {2},
+  pages   = {97--111},
+  year    = {1984},
+  doi     = {10.1093/comjnl/27.2.97}
+}
+@misc{example25,
+  title  = {A Tool for Measuring Things},
+  author = {Example, Ada and Other, Bob},
+  year   = {2025},
+  note   = {Technical report}
+}
+\end{filecontents*}
+\begin{document}
+\title{A Fixture for Double-Blind Review}
+\author{\IEEEauthorblockN{Anonymous Authors}}
+\maketitle
+\section{Introduction}
+This paper builds on earlier work~\cite{knuth84,example25}.
+
+\section{Conclusion}
+The conclusion restates that the fixture builds.
+\bibliographystyle{IEEEtran}
+\bibliography{refs}
+\section*{LLM Usage Statement}
+No LLMs were used in writing this fixture.
+\end{document}

package/fixtures/build-e2e/anon-bib/paperlint.json

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

package/fixtures/build-e2e/anon-href/PIPELINE-STATUS.md

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

package/fixtures/build-e2e/anon-href/expect.json

@@ -0,0 +1,19 @@
+{
+  "$comment": "anonymity/identity on a real IEEEtran build: E: a link whose visible text names nobody and whose target is the author's account. The anonymous mirror beside it is not reported. Exactly one finding, naming where.",
+  "build": {
+    "outcome": "pdf"
+  },
+  "lint": {
+    "rules": {
+      "anonymity/identity": [
+        {
+          "severity": 2,
+          "says": [
+            "link target on page 1 (https://github.com/adaexample/tool)",
+            "«adaexample»"
+          ]
+        }
+      ]
+    }
+  }
+}

package/fixtures/build-e2e/anon-href/paper.tex

@@ -0,0 +1,30 @@
+% E: a link whose visible text names nobody and whose target is the author's account. The anonymous mirror beside it is not reported.
+% The declared identity is invented: "Ada Example", handle "adaexample" (paperlint.json).
+\documentclass[conference,compsoc]{IEEEtran}
+\usepackage{hyperref}
+\begin{filecontents*}{refs.bib}
+@article{knuth84,
+  title   = {Literate Programming},
+  author  = {Knuth, Donald E.},
+  journal = {The Computer Journal},
+  volume  = {27},
+  number  = {2},
+  pages   = {97--111},
+  year    = {1984},
+  doi     = {10.1093/comjnl/27.2.97}
+}
+\end{filecontents*}
+\begin{document}
+\title{A Fixture for Double-Blind Review}
+\author{\IEEEauthorblockN{Anonymous Authors}}
+\maketitle
+\section{Introduction}
+This paper builds on earlier work~\cite{knuth84}.
+The code is at \href{https://github.com/adaexample/tool}{the tool's repository}, mirrored anonymously at \href{https://anonymous.4open.science/r/tool-1A2B}{an anonymous mirror}.
+\section{Conclusion}
+The conclusion restates that the fixture builds.
+\bibliographystyle{IEEEtran}
+\bibliography{refs}
+\section*{LLM Usage Statement}
+No LLMs were used in writing this fixture.
+\end{document}

package/fixtures/build-e2e/anon-href/paperlint.json

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

package/fixtures/build-e2e/anon-macro/PIPELINE-STATUS.md

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

package/fixtures/build-e2e/anon-macro/expect.json

@@ -0,0 +1,19 @@
+{
+  "$comment": "anonymity/identity on a real IEEEtran build: F: the name hidden behind a macro; only the typeset text shows it. Exactly one finding, naming where.",
+  "build": {
+    "outcome": "pdf"
+  },
+  "lint": {
+    "rules": {
+      "anonymity/identity": [
+        {
+          "severity": 2,
+          "says": [
+            "«Ada Example»",
+            "PDF, page 1"
+          ]
+        }
+      ]
+    }
+  }
+}

package/fixtures/build-e2e/anon-macro/paper.tex

@@ -0,0 +1,30 @@
+% F: the name hidden behind a macro; only the typeset text shows it.
+% The declared identity is invented: "Ada Example", handle "adaexample" (paperlint.json).
+\documentclass[conference,compsoc]{IEEEtran}
+\newcommand{\me}{Ada Example}
+\begin{filecontents*}{refs.bib}
+@article{knuth84,
+  title   = {Literate Programming},
+  author  = {Knuth, Donald E.},
+  journal = {The Computer Journal},
+  volume  = {27},
+  number  = {2},
+  pages   = {97--111},
+  year    = {1984},
+  doi     = {10.1093/comjnl/27.2.97}
+}
+\end{filecontents*}
+\begin{document}
+\title{A Fixture for Double-Blind Review}
+\author{\IEEEauthorblockN{Anonymous Authors}}
+\maketitle
+\section{Introduction}
+This paper builds on earlier work~\cite{knuth84}.
+This extends a tool first described by \me.
+\section{Conclusion}
+The conclusion restates that the fixture builds.
+\bibliographystyle{IEEEtran}
+\bibliography{refs}
+\section*{LLM Usage Statement}
+No LLMs were used in writing this fixture.
+\end{document}

package/fixtures/build-e2e/anon-macro/paperlint.json

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

package/fixtures/build-e2e/anon-pdfauthor/PIPELINE-STATUS.md

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

package/fixtures/build-e2e/anon-pdfauthor/expect.json

@@ -0,0 +1,19 @@
+{
+  "$comment": "anonymity/identity on a real IEEEtran build: D: the name only in the PDF metadata, set by hyperref; no page shows it. Exactly one finding, naming where.",
+  "build": {
+    "outcome": "pdf"
+  },
+  "lint": {
+    "rules": {
+      "anonymity/identity": [
+        {
+          "severity": 2,
+          "says": [
+            "PDF metadata: Author",
+            "«Ada Example»"
+          ]
+        }
+      ]
+    }
+  }
+}

package/fixtures/build-e2e/anon-pdfauthor/paper.tex

@@ -0,0 +1,31 @@
+% D: the name only in the PDF metadata, set by hyperref; no page shows it.
+% The declared identity is invented: "Ada Example", handle "adaexample" (paperlint.json).
+\documentclass[conference,compsoc]{IEEEtran}
+\usepackage{hyperref}
+\hypersetup{pdfauthor={Ada Example}}
+\begin{filecontents*}{refs.bib}
+@article{knuth84,
+  title   = {Literate Programming},
+  author  = {Knuth, Donald E.},
+  journal = {The Computer Journal},
+  volume  = {27},
+  number  = {2},
+  pages   = {97--111},
+  year    = {1984},
+  doi     = {10.1093/comjnl/27.2.97}
+}
+\end{filecontents*}
+\begin{document}
+\title{A Fixture for Double-Blind Review}
+\author{\IEEEauthorblockN{Anonymous Authors}}
+\maketitle
+\section{Introduction}
+This paper builds on earlier work~\cite{knuth84}.
+
+\section{Conclusion}
+The conclusion restates that the fixture builds.
+\bibliographystyle{IEEEtran}
+\bibliography{refs}
+\section*{LLM Usage Statement}
+No LLMs were used in writing this fixture.
+\end{document}

package/fixtures/build-e2e/anon-pdfauthor/paperlint.json

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

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

@@ -18,7 +18,7 @@
     }
   },
   "facts": {
-    "schema": 2,
+    "schema": 3,
     "lastPageColumnsPt": [
       621.5,
       264.8
@@ -45,7 +45,7 @@
       "pdf/profile": [],
       "pdf/fonts": [],
       "pdf/geometry": [],
-      "pdf/limits": [],
+      "format/page-limit": [],
       "pdf/body-size": [],
       "pdf/measured": [
         {

package/fixtures/real-markdown-paper/baseline.json

@@ -7,7 +7,7 @@
     "this file names the rule. That is not expressible on an eleven-line stub, where every line was",
     "written by someone who already knew which rule would read it.",
     "",
-    "Recorded 2026-09-19, re-recorded 2026-09-26 for 3.0.0. Three of the four rules are about the",
+    "Recorded 2026-09-19, re-recorded 2026-09-26 for 3.0.0. Two of the three rules are about the",
     "scorecard being deliberately thin (no pdf, no frozen source) rather than about the prose.",
     "paper/leading-zero reports each of the 18 p-values of paperlint#44 where it is (one finding per",
     "occurrence since 3.0.0; before, paper/typography reported them as one count). They are real",
@@ -17,7 +17,6 @@
   "findings": {
     "paper/stages": 2,
     "paper/source": 1,
-    "paper/research-question": 1,
     "paper/leading-zero": 18
   }
 }

package/lib/paper-config.ts

@@ -136,8 +136,10 @@ export const SETTINGS_KEYS: Readonly<Record<string, string>> = Object.freeze({
     "rule overrides: { id: severity } for every paper in scope, or ESLint blocks (files, ignores, rules) — paperlint lint",
   extends:
     "the venue preset: paperlint:<name> or ./path.jsonc — the pdf/ venue rules, paperlint build",
-  kind: "the kind of paper, whose page limit applies — pdf/limits",
+  kind: "the kind of paper, whose page limit applies — format/page-limit",
   pdf: "where the built PDF is, relative to the paper, when it is not paper.pdf — the facts",
+  identity:
+    "what identifies the authors — names, handles, emails, affiliations, own project names; a blind venue's PDF must not say any of them — anonymity/identity. The root's list and a paper's are joined",
   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",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "paperlint",
-  "version": "4.2.0",
+  "version": "6.0.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/acm-sigconf.jsonc

@@ -74,7 +74,9 @@
     // «font size is 9 pt for all body text»
     "body_pt": 9,
     // banal measures the MODE of the rendered text, not the declared size (measured 08-26: 9.30 at
-    // acmart's declared 9). Hence the tolerance — and hence why body size stays a nudge, not a gate.
+    // acmart's declared 9). Hence the tolerance: banal reads 0.3 pt high on every template measured
+    // (fixtures/accepted-papers/body-size.json), and 0.5 absorbs that while a paper one size off is
+    // still reported.
     "body_pt_tol": 0.5,
 
     // «font size of the references can be from 7 pt to 9 pt»

package/presets/aidc.jsonc

@@ -22,6 +22,10 @@
 {
   "extends": "paperlint:ieee-conference",
 
+  // «Submissions must be properly anonymized for double-blind review.» (the call above), and
+  // `"blind":true` in the portal's data. anonymity/identity then requires the paper's `identity`.
+  "blind": true,
+
   // 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"],
@@ -44,30 +48,25 @@
     "textblock_w_in": 7.0,
     "textblock_h_in": 9.02,
 
-    // 🔴 PAGE LIMITS ARE NOT GATED HERE, AND THAT IS A MEASUREMENT. banal splits pages into body
-    // and references by what is on them, and a page that holds ANY non-bibliography text counts as
-    // body. Measured 2026-09-27 on a [conference,compsoc] paper whose body ends at the foot of
-    // page 12:
+    // 🔴 THE PAGE LIMIT IS COUNTED BEFORE THE REFERENCES, NOT BY banal. banal splits pages into
+    // body and references by what is on them, and a page that holds ANY non-bibliography text
+    // counts as body. Measured 2026-09-27 on a [conference,compsoc] paper whose body ends at the
+    // foot of page 12:
     //   LLM Usage Statement before the references → body 13, references 0
     //   an appendix before the references         → body 13, references 2
     //   both placed after the references          → body right, the tail counted as references
     // AIDC counts neither in the limit («excluding references and appendices»; the ACSAC AI policy:
-    // the LLM Usage Statement «does not count towards the page limit»), and tex/required-section
-    // accepts the statement before or after the bibliography. A gate on banal's body count would
-    // therefore fail a correct 12-page paper — the realm.jsonc case again. The numbers below are
-    // data for humans, not an input to pdf/limits.
-    "page_limits_not_gated": {
-      "_": "Body pages, excluding references, appendices and the LLM Usage Statement. banal counts a page holding an appendix or the statement before the bibliography as body, so its body count is not this number.",
-      "regular": 12,
-      "short": 6,
-      "references_and_appendices": "unlimited",
-      "llm_usage_statement": "not counted (ACSAC AI policy)",
-    },
+    // the LLM Usage Statement «does not count towards the page limit»). So format/page-limit counts
+    // the body up to where the references start (`body_ends_at`): the page they start on counts
+    // when body text stands above the heading there, and the limit below is gated. An appendix
+    // ends the body too, wherever it sits, when hyperref anchors it (docs/rules/format/page-limit.md).
+    "body_ends_at": "references",
 
     // «Short position papers or work-in-progress (WIP) papers» share one limit, so one kind.
+    // References, appendices and the LLM Usage Statement: unlimited.
     "kinds": {
-      "regular": {},
-      "short": {},
+      "regular": { "body_pages_max": 12 },
+      "short": { "body_pages_max": 6 },
     },
   },
 }

package/presets/ieee-conference.jsonc

@@ -59,6 +59,14 @@
     "body_pt": 10,
     "body_pt_tol": 0.5,
 
+    // The class sets the bibliography in \footnotesize, 8 pt at 10pt and at 9pt (IEEEtran.cls,
+    // \thebibliography). Measured 2026-09-29 on the four built ACSAC papers in
+    // fixtures/accepted-papers (body-size.json): pdf.js reads the reference glyphs at 8.00 pt
+    // (7.97 without compsoc), banal gives 8.3 on all four. body_pt_tol widens it to 7.5-8.5, so a
+    // bibliography shrunk to \scriptsize (7.3) or grown to \small (9.3) is reported.
+    "ref_pt_min": 8,
+    "ref_pt_max": 8,
+
     // The Times clone. Headings and the title are set in the same family, so a `fonts_title` would
     // repeat this check and report a Computer Modern build twice.
     "fonts_text": "NimbusRomNo9L",

package/presets/venue-profile.schema.json

@@ -24,6 +24,10 @@
       "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"
+    },
     "aliases": {
       "description": "Other names the venue goes by in a paper's text — its acronym, its parent conference (`[\"AISec\", \"ACM CCS\"]`). Read by `tex/venue-leftover`: a paper that extends another venue and says one of these is flagged. Matched as whole words, case-sensitive. Collected along the `extends` chain, with `name`.",
       "type": "array",
@@ -105,6 +109,11 @@
           "type": "string",
           "minLength": 1
         },
+        "body_ends_at": {
+          "description": "How `format/page-limit` counts body pages. Absent: banal's body count (every page holding non-bibliography text). `references`: the pages up to where the body ends — at the references or the appendix, whichever comes first, found by hyperref's anchors and then the heading line — with that page counted when body text stands above the heading on it; for a venue whose limit excludes references and appendices (and what follows them, such as statements).",
+          "type": "string",
+          "enum": ["references"]
+        },
         "page_limits_not_gated": {
           "type": "object"
         },

package/scripts/check.ts

@@ -3,9 +3,9 @@
  * `npm run check` — ONE command you run on yourself before pushing.
  *
  * ── WHY IT EXISTS, AND IT IS A MEASURED FAILURE, NOT A TIDINESS IDEA ───────────────────────
- * On 2026-09-19 a change to `paper/research-question` was pushed that broke the test suite.
+ * On 2026-09-19 a change to a lint rule was pushed that broke the test suite.
  * The gates were run afterwards — `lint`, `check:readme`, `check:globs`, `check:content-only`,
- * and the rule's own (since-removed) mutation battery, all green — but `npm test` and `test:install` were not,
+ * and the rule's own mutation battery, all green — but `npm test` and `test:install` were not,
  * because there were eleven separate scripts and no way to run them except from memory. Five
  * callers across two files had been left behind by the change, and the suite said so; nobody
  * asked it.

package/scripts/eslint-report-guard.mjs

@@ -17,6 +17,7 @@
  * proves the BEHAVIOUR rather than the presence of a string in YAML.
  *
  * Usage: node scripts/eslint-report-guard.mjs <report.json> <eslint-rc> [paths] [config]
+ * An empty or absent `paths` means the CLI was given none and linted the papersDir of the config.
  * Exit:  1 when nothing was measured (unparsable report, or zero files linted)
  *        otherwise ESLint's own return code, passed through untouched
  */
@@ -26,8 +27,10 @@ import { readFileSync } from "node:fs";
 export function guard(
   reportPath,
   eslintRc,
-  { paths = ".", config = "paperlint.json" } = {},
+  { paths = "", config = "paperlint.json" } = {},
 ) {
+  const scope =
+    paths.trim() === "" ? "(none: the papersDir of paperlint.json)" : paths;
   const lines = [];
   let res;
   try {
@@ -48,7 +51,7 @@ export function guard(
   if (res.length === 0) {
     lines.push(
       "::error::ESLint linted ZERO files. In the exit code this is indistinguishable from a clean " +
-        `run, and it means the paths or the config matched nothing. paths=${paths} config=${config}`,
+        `run, and it means the paths or the config matched nothing. paths=${scope} config=${config}`,
     );
     return { code: 1, lines };
   }

package/scripts/harness-api.frozen.json

@@ -5,7 +5,6 @@
     "action.harness.mjs",
     "eslint-rules/install-path-literals.harness.mjs",
     "eslint-rules/latex-language.harness.mjs",
-    "eslint-rules/paper-research-question.harness.mjs",
     "eslint-rules/paper-stages.harness.mjs",
     "eslint-rules/papers.harness.mjs",
     "eslint-rules/pdf-last-page-balance.harness.mjs",

package/skills/paper-pipeline/references/pipeline-status-template.md

@@ -11,7 +11,7 @@ the verdict line's wording and the `☐`/`☑` marks as they are, or the hook go
 
 ## The front matter
 
-Above the sections, the file carries YAML. Two fields are read by rules:
+Above the sections, the file carries YAML. The rules read its `stages` field:
 
 ```yaml
 ---
@@ -22,20 +22,9 @@ stages:
     bytes: 305412
     source: versions/2026-07-22-submitted.tex
     sourceBytes: 57210
-researchQuestion: "Does pruning the state space reduce review cost?"
 ---
 ```
 
-`researchQuestion` is **your sentence, written once** — not a label the checker hunts for in the
-prose. `paper/research-question` then asks two things it can actually answer: is it written down,
-and does the paper contain it (whitespace collapsed). Leave the field out and a shipped paper gets
-an advisory finding, which is the right outcome for a position paper with no question: the absence
-becomes a decision on the record rather than an omission.
-
-⚠️ Write the sentence the way it appears in the paper. If the paper breaks it across lines that is
-fine — only whitespace is normalised — but LaTeX markup inside the sentence (`\emph{cost}`) will not
-match, and the finding will quote exactly what it looked for.
-
 ## The row ids, and what each one runs
 
 The `id` cell is the **join key** — the same string appears in this template, in every paper's
@@ -116,10 +105,7 @@ existed. Neither is expressible now. Keep new ids lowercase, one word, and say w
 The template itself is a FILE, not this page: `templates/paper/PIPELINE-STATUS.md` at the package
 root (beside `templates/paper/paper.tex` and `paper.md`). `paperlint new <name>` copies it with the paper's
 name filled in, and a project that keeps its own richer scorecard puts one at
-`<papers>/.template/PIPELINE-STATUS.md`, which `paperlint new` prefers. It used to live in a fenced block
-here, which meant a command would have had to parse markdown to extract it, and a human had to copy
-it by hand. The copy carries `researchQuestion` (empty) and no `stages` — a new paper has shipped
-nothing.
+`<papers>/.template/PIPELINE-STATUS.md`, which `paperlint new` prefers. The copy carries no `stages` — a new paper has shipped nothing.
 
 ---
 

package/skills/render-paper/extract-pdf-facts.harness.ts

@@ -119,8 +119,8 @@ try {
   const fonts = Fonts.safeParse(facts.fonts);
   const fontList = fonts.success ? fonts.data : [];
   check(
-    "the facts are schema 2, about paper.pdf, for the venue paperlint.json declares",
-    facts.schema === 2 &&
+    "the facts are schema 3, about paper.pdf, for the venue paperlint.json declares",
+    facts.schema === 3 &&
       facts.pdf === "paper.pdf" &&
       facts.venue === "agenticdev" &&
       facts.kind === "short",
@@ -236,5 +236,5 @@ try {
 }
 
 console.log(
-  `✓ ${String(check.count)} assertions passed — extract-pdf-facts: the exit-code contract, schema 2, and the no-no-yes font`,
+  `✓ ${String(check.count)} assertions passed — extract-pdf-facts: the exit-code contract, schema 3, and the no-no-yes font`,
 );

package/src/adapters/latex/includes.ts

@@ -55,10 +55,18 @@ export const includesOf = (t: ParsedTex): readonly Include[] =>
 const isDocument = (n: Node): n is Readonly<Ast.Environment> =>
   n.type === "environment" && n.env === "document";
 
-/** The span of the `document` environment's body, or null when the source has none. */
+/**
+ * The span of the `document` environment's body, or null when the source has none. A macro's own
+ * position ends at its name, so its place is taken with its arguments: a body ending in
+ * `\input{sections/a}` ends at the closing brace.
+ */
 export const documentBodyOf = (t: ParsedTex): Span | null =>
   (t.root.content.find(isDocument)?.content ?? [])
-    .flatMap((n) => inPlace(placeOf(n), (span) => [span]))
+    .flatMap((n) =>
+      inPlace(n.type === "macro" ? macroPlace(n) : placeOf(n), (span) => [
+        span,
+      ]),
+    )
     .reduce<Span | null>(
       (body, span) =>
         body === null ? span : { start: body.start, end: span.end },

package/src/adapters/latex/index.test.ts

@@ -526,6 +526,14 @@ describe("documentBodyOf — the body of a source that is a document of its own"
     expect(latexReader.documentBody(src)).toEqual(body);
   });
 
+  it("a body ending in a macro ends after that macro's arguments, not after its name", () => {
+    const src = "\\begin{document}\nText.\n\\input{sections/a}\\end{document}";
+    const body = documentBodyOf(parseLatex(src));
+    expect(body && src.slice(body.start, body.end)).toBe(
+      "Text.\n\\input{sections/a}",
+    );
+  });
+
   it("none without a document environment, or with an empty one", () => {
     expect(documentBodyOf(parseLatex("just text"))).toBe(null);
     expect(documentBodyOf(parseLatex("\\begin{document}\\end{document}"))).toBe(