paperlint 4.0.0 → 4.2.0

package/docs/rules/tex/template.md

@@ -0,0 +1,74 @@
+# tex/template
+
+**Level:** error · **Reads:** `paper.tex`, and the preset its `paperlint.json` extends
+
+## What it catches
+
+The paper is not set in the class its venue requires. The rule compares the `\documentclass` line
+of `paper.tex` with the preset's `template`: the class must be the same, and every option the
+template names must be there. The paper may add options of its own.
+
+A source that keeps one file for several venues and picks the class behind a TeX switch has several
+`\documentclass` lines. The switch is not evaluated: each line is a candidate, the paper passes when
+one of them is the template's class with its options, and when none is, one finding at the first
+candidate names every one:
+
+```latex
+\def\venue{2}
+\if\venue1 \documentclass{article} \fi
+\if\venue2 \documentclass[conference,compsoc]{IEEEtran} \fi   % passes: the second candidate matches
+```
+
+It only knows the class a preset names. A paper whose `paperlint.json` names no preset, or a
+preset with no `template`, gets no finding.
+
+## Why
+
+A venue checks the template before anyone reads the paper, and a paper in the wrong template can
+be rejected with no review. Venues that name a class say so plainly — AIDC, for one: «LaTeX
+submissions must use the IEEEtran.cls version 1.8b template with the
+\documentclass[conference,compsoc]{IEEEtran} document class option», and «This requirement will be
+strictly enforced» (https://aidcworkshop.github.io/).
+
+The `pdf/*` rules see the consequences of a wrong class only after a build — fonts, page size,
+columns — and some not at all: `compsoc` changes the text block and the headings, not the fonts.
+This rule reads the cause, in the source, before any build.
+
+## Examples
+
+Under a preset with `"template": "\\documentclass[conference,compsoc]{IEEEtran}"`:
+
+```latex
+\documentclass[conference]{IEEEtran}               % fails: compsoc is missing
+\documentclass[sigconf]{acmart}                    % fails: another class
+\documentclass[compsoc, conference]{IEEEtran}      % passes: any order, spaces allowed
+\documentclass[conference,compsoc,final]{IEEEtran} % passes: an extra option of the paper's own
+```
+
+The first line reports:
+
+> the class option `compsoc` is missing: aidc requires `\documentclass[conference,compsoc]{IEEEtran}`
+
+## Preset field
+
+No rule options. It reads `template`, merged along `extends` (a child's replaces its parent's):
+
+```jsonc
+"template": "\\documentclass[conference,compsoc]{IEEEtran}"
+```
+
+A whole `\documentclass[…]{…}` line, or a bare class name (`"article"`), which requires the class
+and no option. A value that is neither is reported as a finding that names the preset file.
+
+## What it does not check
+
+- Options a venue forbids (`review`, `anonymous` in a camera-ready): only that what the venue
+  requires is there.
+- The version of the class file (#94).
+- A `\documentclass` inside a comment: the rule reads the parse tree, so it does not count.
+- Which branch of a TeX switch builds: with several class lines, one matching candidate is enough.
+
+## How to fix
+
+Set the `\documentclass` line to the one the message quotes, keeping your own extra options. A new
+paper made with `paperlint new <name> --venue <preset>` already has it.

package/docs/rules/tex/venue-leftover.md

@@ -0,0 +1,73 @@
+# tex/venue-leftover
+
+**Level:** warn · **Reads:** `paper.tex`, and the shipped venue presets
+
+## What it catches
+
+The paper mentions a venue other than the one set in its `paperlint.json`. Usually that is text
+left over from an earlier submission: "Submission to VenueA 2026" in the author block of a paper
+now going to VenueB.
+
+It only knows the venues paperlint ships a preset for, by each preset's `name` and `aliases`. A
+venue with no preset is not recognized.
+
+It reads the whole paper — `paper.tex` with the files it `\input`s, `\include`s or `\subfile`s
+spliced in; a name found in an included file is reported at that include, with the file and line at
+the front of the message. It looks at what a reader sees — prose, the author block, captions, footnotes, a citation's note in
+square brackets, and front-matter macros such as `\acmConference` — and ignores comments, citation
+keys, labels, URLs (a `\url`, and the address of an `\href` — its link text is read), math, code and
+the bibliography. Names are matched as whole words, case-sensitive.
+
+A macro definition that names another venue — `\newcommand{\oldvenue}{VenueA}` — is reported at the
+definition, whether or not the macro is used: the rule does not expand macros, so a use such as
+`Submitted to \oldvenue` has no text of its own, and the definition is where the old name lives.
+
+## Why
+
+A reviewer reads the author block before the abstract. A line naming the previous venue tells them
+the paper was written for somewhere else, and at a double-blind venue it can say more than that.
+Nothing else compares what the source says about the venue with what the settings say.
+
+## Examples
+
+Under `"extends": "paperlint:realm"`, where the `agenticdev` preset's alias is `AgenticDev`:
+
+```latex
+\acmConference[AgenticDev '26]{Workshop on Agentic Development}  % warns: «AgenticDev»
+As shown~\cite{agenticdev2025}.                                   % silent: a citation key
+% AgenticDev draft                                                 % silent: a comment
+```
+
+The first line reports:
+
+> «AgenticDev» names agenticdev, and this paper extends realm — a leftover from an earlier
+> submission? A reviewer reads it before the abstract. Comments and citation keys are not
+> reported; a sentence that names the other venue on purpose can keep it with a disable directive
+
+The same line passes under `"extends": "paperlint:agenticdev"`: it names the paper's own venue.
+
+## Preset fields
+
+No rule options. It reads every shipped preset's `name` and `aliases`, collected along `extends`:
+
+```jsonc
+"aliases": ["AgenticDev"]
+```
+
+A name the paper's own chain also declares (two workshops of one parent conference) is never
+reported.
+
+## What it does not check
+
+- A venue no shipped preset describes.
+- A name split by markup (`\textbf{AI}Sec`).
+
+## How to fix
+
+Remove or replace the old venue's name. A sentence that names another venue on purpose keeps it
+with ESLint's directive and the reason:
+
+```latex
+% eslint-disable-next-line tex/venue-leftover -- comparing with the venue that published [3]
+Unlike AgenticDev, this workshop …
+```

package/docs/rules.md

@@ -3,30 +3,40 @@
 The README lists what each check catches in one line. This page says exactly which file each one
 reads and when it fails. Errors fail `paperlint lint`; warnings print and do not.
 
-| Rule                           | Level | Reads                                         | Fails when                                                                                                                                                                                                                                                                                                                                                                                                                                                    |
-| ------------------------------ | ----- | --------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| `paper/stages`                 | error | `PIPELINE-STATUS.md`                          | a declared stage's PDF is missing, or the `bytes:` it names does not match the file's real size, or a frozen PDF exists that no stage declares                                                                                                                                                                                                                                                                                                                |
-| `paper/source`                 | error | `PIPELINE-STATUS.md`                          | a declared stage has no frozen `.tex` beside its PDF (a commit hash does not count — squash and gc destroy it)                                                                                                                                                                                                                                                                                                                                                |
-| `paper/author-list`            | error | `paper.tex` → `_build/references.json`        | an entry's authors are not those of the version it cites — typically the arXiv preprint's list under a published venue. Checked online by `paperlint build` (DBLP), reported on the entry's own line                                                                                                                                                                                                                                                          |
-| `paper/research-question`      | warn  | `paper.tex`, `paper.md`, `PIPELINE-STATUS.md` | a stage is declared and either the scorecard has no `researchQuestion` field, or it has one the paper does not contain. The declared sentence is compared against the source with whitespace collapsed — your words, not a pattern. Advisory, because nothing here can judge whether what you declared _is_ a research question                                                                                                                               |
-| `paper/section-word`           | warn  | `paper.tex`, `paper.md`                       | `§` or `\S\ref` instead of the word Section. **Fixable:** `--fix` writes `Section~\ref{…}` / `Section 5`                                                                                                                                                                                                                                                                                                                                                      |
-| `paper/leading-zero`           | warn  | `paper.tex`, `paper.md`                       | a decimal below 1 without its leading zero (`.05` instead of `0.05`, IEEE / ISO 80000-1 style), counted only where the reader sees it — prose, math and table cells, not macro options, column specs, comments, code or tikz. A number right after `¶` or `§` (`¶¶.42`) is a paragraph designator and is not reported; in a paragraph that cites numbers that way, another bare decimal is reported without a fix, with the zero as a suggestion. **Fixable** |
-| `paper/figure-ref-style`       | warn  | `paper.tex`                                   | `Fig.~\ref` and `Figure~\ref` mixed in one document; each minority occurrence is reported. **Fixable:** `--fix` writes the majority form                                                                                                                                                                                                                                                                                                                      |
-| `bib/reachable-entry`          | warn  | `paper.tex` (its `filecontents` bibliography) | an entry has no doi, url or arXiv id — a reader has nothing to follow. Reported on the entry; no fix, the link has to be looked up                                                                                                                                                                                                                                                                                                                            |
-| `paper/cite-exists`            | error | `paper.tex` → `_build/references.json`        | an entry's doi or arXiv id resolves to nothing, or to a different work. Checked online by `paperlint build`; a work that was merely not found is not a finding                                                                                                                                                                                                                                                                                                |
-| `paper/refs-fresh`             | error | `paper.tex` → `_build/references.json`        | the bibliography changed since the build checked it (its SHA-256 differs) — run `npx paperlint build`                                                                                                                                                                                                                                                                                                                                                         |
-| `paper/refs-checked`           | warn  | `paper.tex` → `_build/references.json`        | the paper has a bibliography and no build has checked it, or the last build could not (no network) — so the two rules above did not run                                                                                                                                                                                                                                                                                                                       |
-| `tex/future-promise`           | warn  | `paper.tex`                                   | a camera-ready build still says "will be released" about something already handed over                                                                                                                                                                                                                                                                                                                                                                        |
-| `tex/acm-frontmatter-override` | error | `paper.tex`                                   | an `acmart` build overrides ACM's front-matter commands and drops template elements from page 1                                                                                                                                                                                                                                                                                                                                                               |
-| `review/frontmatter`           | error | `reviews/*.md`                                | the review's frontmatter fails paperlint's JSON Schema — a `findings` record without `id`/`status`, an unknown field, or an **open** finding with no `cause` (`skill-defect` · `missing-skill` · `hook` · `rule`). A review with no `findings` key is not checked for findings                                                                                                                                                                                |
-| `sibling/frontmatter`          | warn  | `siblings/*.md` (not `README.md`)             | a sibling card's frontmatter has no `read:` saying how much of the competing paper was read (`full` · `abstract` · `none`)                                                                                                                                                                                                                                                                                                                                    |
-| `pdf/fresh`                    | error | `paper.tex` → `_build/paper.facts.json`       | the paper names a venue and the facts cannot be judged: not JSON, a schema other than 2, or they describe a PDF that is gone or differs from the one on disk (its SHA-256)                                                                                                                                                                                                                                                                                    |
-| `pdf/profile`                  | error | `paper.tex` → `paperlint.json`                | `paperlint.json` is not JSON or has an unknown key, its `extends` does not resolve (not found, a cycle, a chain longer than four, a preset that fails the schema, an npm name), it names no `kind` while the preset has kinds, or names a kind the preset does not have                                                                                                                                                                                       |
-| `pdf/fonts`                    | error | `paper.tex` → `_build/paper.facts.json`       | a font the pages draw is Type 3 or not embedded, or no font starts with the family the venue preset names for body text (`fonts_text`) or headings (`fonts_title`)                                                                                                                                                                                                                                                                                            |
-| `pdf/geometry`                 | error | `paper.tex` → `_build/paper.facts.json`       | the page width or height is more than `dimTol` (default 0.05 in) off the preset's, or the column count differs                                                                                                                                                                                                                                                                                                                                                |
-| `pdf/limits`                   | error | `paper.tex` → `_build/paper.facts.json`       | body or reference pages exceed the limit of the paper's kind, or the reference font size is outside the preset's range widened by `body_pt_tol`                                                                                                                                                                                                                                                                                                               |
-| `pdf/body-size`                | warn  | `paper.tex` → `_build/paper.facts.json`       | the body font size is more than `body_pt_tol` off the preset's. A warning: banal measures the mode of the rendered text, not the declared size (9.30 pt measured at a declared 9)                                                                                                                                                                                                                                                                             |
-| `pdf/measured`                 | warn  | `paper.tex` → `_build/paper.facts.json`       | the paper's `paperlint.json` names no venue preset yet; or it names one and there are no facts (it was not built), or the facts carry no page geometry (banal was not found) — so the checks above did not run                                                                                                                                                                                                                                                |
+| Rule                                                    | Level | Reads                                         | Fails when                                                                                                                                                                                                                                                                                                                                                                                                                                                    |
+| ------------------------------------------------------- | ----- | --------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `paper/stages`                                          | error | `PIPELINE-STATUS.md`                          | a declared stage's PDF is missing, or the `bytes:` it names does not match the file's real size, or a frozen PDF exists that no stage declares                                                                                                                                                                                                                                                                                                                |
+| `paper/source`                                          | error | `PIPELINE-STATUS.md`                          | a declared stage has no frozen `.tex` beside its PDF (a commit hash does not count — squash and gc destroy it)                                                                                                                                                                                                                                                                                                                                                |
+| `paper/author-list`                                     | error | `paper.tex` → `_build/references.json`        | an entry's authors are not those of the version it cites — typically the arXiv preprint's list under a published venue. Checked online by `paperlint build` (DBLP), reported on the entry's own line                                                                                                                                                                                                                                                          |
+| `paper/research-question`                               | warn  | `paper.tex`, `paper.md`, `PIPELINE-STATUS.md` | a stage is declared and either the scorecard has no `researchQuestion` field, or it has one the paper does not contain. The declared sentence is compared against the source with whitespace collapsed — your words, not a pattern. Advisory, because nothing here can judge whether what you declared _is_ a research question                                                                                                                               |
+| `paper/section-word`                                    | warn  | `paper.tex`, `paper.md`                       | `§` or `\S\ref` instead of the word Section. **Fixable:** `--fix` writes `Section~\ref{…}` / `Section 5`                                                                                                                                                                                                                                                                                                                                                      |
+| `paper/leading-zero`                                    | warn  | `paper.tex`, `paper.md`                       | a decimal below 1 without its leading zero (`.05` instead of `0.05`, IEEE / ISO 80000-1 style), counted only where the reader sees it — prose, math and table cells, not macro options, column specs, comments, code or tikz. A number right after `¶` or `§` (`¶¶.42`) is a paragraph designator and is not reported; in a paragraph that cites numbers that way, another bare decimal is reported without a fix, with the zero as a suggestion. **Fixable** |
+| `paper/figure-ref-style`                                | warn  | `paper.tex`                                   | `Fig.~\ref` and `Figure~\ref` mixed in one document; each minority occurrence is reported. **Fixable:** `--fix` writes the majority form                                                                                                                                                                                                                                                                                                                      |
+| `bib/reachable-entry`                                   | warn  | `paper.tex` (its `filecontents` bibliography) | an entry has no doi, url or arXiv id — a reader has nothing to follow. Reported on the entry; no fix, the link has to be looked up                                                                                                                                                                                                                                                                                                                            |
+| `paper/cite-exists`                                     | error | `paper.tex` → `_build/references.json`        | an entry's doi or arXiv id resolves to nothing, or to a different work. Checked online by `paperlint build`; a work that was merely not found is not a finding                                                                                                                                                                                                                                                                                                |
+| `paper/refs-fresh`                                      | error | `paper.tex` → `_build/references.json`        | the bibliography changed since the build checked it (its SHA-256 differs) — run `npx paperlint build`                                                                                                                                                                                                                                                                                                                                                         |
+| `paper/refs-checked`                                    | warn  | `paper.tex` → `_build/references.json`        | the paper has a bibliography and no build has checked it, or the last build could not (no network) — so the two rules above did not run                                                                                                                                                                                                                                                                                                                       |
+| `tex/future-promise`                                    | warn  | `paper.tex`                                   | a camera-ready build still says "will be released" about something already handed over                                                                                                                                                                                                                                                                                                                                                                        |
+| `tex/acm-frontmatter-override`                          | error | `paper.tex`                                   | an `acmart` build overrides ACM's front-matter commands and drops template elements from page 1                                                                                                                                                                                                                                                                                                                                                               |
+| [`tex/template`](rules/tex/template.md)                 | error | `paper.tex` → `paperlint.json`                | the `\documentclass` is not the preset's `template` class, or lacks an option it names — [page](rules/tex/template.md)                                                                                                                                                                                                                                                                                                                                        |
+| [`tex/required-section`](rules/tex/required-section.md) | error | `paper.tex` → `paperlint.json`                | a section the preset requires (AIDC: «LLM Usage Statement», last) is missing or not where it must be — [page](rules/tex/required-section.md)                                                                                                                                                                                                                                                                                                                  |
+| [`tex/venue-leftover`](rules/tex/venue-leftover.md)     | warn  | `paper.tex` → `paperlint.json`                | the text names another shipped venue than the one the paper extends («Submission to VenueA 2026» in a paper now set for VenueB) — [page](rules/tex/venue-leftover.md)                                                                                                                                                                                                                                                                                         |
+| [`tex/claim-provenance`](rules/tex/claim-provenance.md) | warn  | `paper.tex`                                   | a sentence of the body states a number and does not say whose it is — no citation or link, no _we_/_our_, no `\ref` or "Table 2", no sample ("n = 134", "48 runs") — [page](rules/tex/claim-provenance.md)                                                                                                                                                                                                                                                    |
+| [`tex/missing-input`](rules/tex/missing-input.md)       | warn  | `paper.tex` and the files it includes         | an `\input`, `\include` or `\subfile` names a file that is not there, so no rule read its text — [page](rules/tex/missing-input.md)                                                                                                                                                                                                                                                                                                                           |
+| [`tex/register`](rules/tex/register.md)                 | warn  | `paper.tex` and the files it includes         | the body runs to a post's register: more than 0.8 sentences per 1000 words open with _And_, _So_, _But_, _Nor_, _Or_ or _Yet_ — the limit is an option — [page](rules/tex/register.md)                                                                                                                                                                                                                                                                        |
+| `review/frontmatter`                                    | error | `reviews/*.md`                                | the review's frontmatter fails paperlint's JSON Schema — a `findings` record without `id`/`status`, an unknown field, or an **open** finding with no `cause` (`skill-defect` · `missing-skill` · `hook` · `rule`). A review with no `findings` key is not checked for findings                                                                                                                                                                                |
+| `sibling/frontmatter`                                   | warn  | `siblings/*.md` (not `README.md`)             | a sibling card's frontmatter has no `read:` saying how much of the competing paper was read (`full` · `abstract` · `none`)                                                                                                                                                                                                                                                                                                                                    |
+| `pdf/fresh`                                             | error | `paper.tex` → `_build/paper.facts.json`       | the paper names a venue and the facts cannot be judged: not JSON, a schema other than 2, or they describe a PDF that is gone or differs from the one on disk (its SHA-256)                                                                                                                                                                                                                                                                                    |
+| `pdf/profile`                                           | error | `paper.tex` → `paperlint.json`                | `paperlint.json` is not JSON or has an unknown key, its `extends` does not resolve (not found, a cycle, a chain longer than four, a preset that fails the schema, an npm name), it names no `kind` while the preset has kinds, or names a kind the preset does not have                                                                                                                                                                                       |
+| `pdf/fonts`                                             | error | `paper.tex` → `_build/paper.facts.json`       | a font the pages draw is Type 3 or not embedded, or no font starts with the family the venue preset names for body text (`fonts_text`) or headings (`fonts_title`)                                                                                                                                                                                                                                                                                            |
+| `pdf/geometry`                                          | error | `paper.tex` → `_build/paper.facts.json`       | the page width or height is more than `dimTol` (default 0.05 in) off the preset's, or the column count differs                                                                                                                                                                                                                                                                                                                                                |
+| `pdf/limits`                                            | error | `paper.tex` → `_build/paper.facts.json`       | body or reference pages exceed the limit of the paper's kind, or the reference font size is outside the preset's range widened by `body_pt_tol`                                                                                                                                                                                                                                                                                                               |
+| `pdf/body-size`                                         | warn  | `paper.tex` → `_build/paper.facts.json`       | the body font size is more than `body_pt_tol` off the preset's. A warning: banal measures the mode of the rendered text, not the declared size (9.30 pt measured at a declared 9)                                                                                                                                                                                                                                                                             |
+| `pdf/measured`                                          | warn  | `paper.tex` → `_build/paper.facts.json`       | the paper's `paperlint.json` names no venue preset yet; or it names one and there are no facts (it was not built), or the facts carry no page geometry (banal was not found) — so the checks above did not run                                                                                                                                                                                                                                                |
+
+`tex/required-section` requires AIDC's «LLM Usage Statement» **always**. ACSAC asks for it «if
+LLMs are used», which no rule can know; an author who used none says so in the section
+([page](rules/tex/required-section.md)).
 
 Optional rules — off unless you turn them on in the `rules` setting, because only some venues need
 them — are on their own page: [`optional-rules.md`](optional-rules.md). Today there is one,
@@ -79,21 +89,34 @@ for papers, each with the quote it came from, the TeX packages its template need
 the venue implies. A preset may itself extend another: the ACM venues extend the `acm-sigconf`
 family, which holds everything the ACM template decides.
 
-| preset                  | extends                 | template             | kinds                                                    | page limit checked | rules it turns on       |
-| ----------------------- | ----------------------- | -------------------- | -------------------------------------------------------- | ------------------ | ----------------------- |
-| `paperlint:acm-sigconf` | —                       | ACM `acmart` sigconf | none                                                     | no (no kinds)      | —                       |
-| `paperlint:agenticdev`  | `paperlint:acm-sigconf` | ACM `acmart` sigconf | `short` (5 + 2 refs), `full` (10 + 2), `demo` (5 + 2)    | yes                | `pdf/last-page-balance` |
-| `paperlint:aisec`       | `paperlint:acm-sigconf` | ACM `acmart` sigconf | `research`, `benchmark`, `position`, `sok` (10 + 2 each) | yes                | —                       |
-| `paperlint:realm`       | —                       | ACL                  | `long`, `short`                                          | no — see below     | —                       |
-
-That is all that ships today. There is no IEEE, NeurIPS, USENIX or Springer preset. A paper for an
-ACM venue nobody has profiled can extend `paperlint:acm-sigconf` directly: page size, columns and
-fonts are checked, and `pdf/profile` says the page limit is not. For anything else, write your own
-preset ([below](#writing-your-own-venue-preset)). REALM's preset sets no page limit on purpose:
-banal counts the Limitations and Ethics sections as body, ACL does not, and a limit on banal's
-number would fail a correct paper. AgenticDev's turns on `pdf/last-page-balance` because its
-proceedings are produced by Conference Publishing Consulting, which sends back an unbalanced last
-page; AISec's does not, because nothing in hand says who produces the AISec proceedings.
+| preset                      | extends                     | template                              | kinds                                                    | page limit checked | rules it turns on       |
+| --------------------------- | --------------------------- | ------------------------------------- | -------------------------------------------------------- | ------------------ | ----------------------- |
+| `paperlint:acm-sigconf`     | —                           | ACM `acmart` sigconf                  | none                                                     | no (no kinds)      | —                       |
+| `paperlint:agenticdev`      | `paperlint:acm-sigconf`     | ACM `acmart` sigconf                  | `short` (5 + 2 refs), `full` (10 + 2), `demo` (5 + 2)    | yes                | `pdf/last-page-balance` |
+| `paperlint:aisec`           | `paperlint:acm-sigconf`     | ACM `acmart` sigconf                  | `research`, `benchmark`, `position`, `sok` (10 + 2 each) | yes                | —                       |
+| `paperlint:realm`           | —                           | ACL                                   | `long`, `short`                                          | no — see below     | —                       |
+| `paperlint:ieee-conference` | —                           | IEEE `IEEEtran` conference            | none                                                     | no (no kinds)      | —                       |
+| `paperlint:aidc`            | `paperlint:ieee-conference` | IEEE `IEEEtran` conference, `compsoc` | `regular` (12), `short` (6)                              | no — see below     | —                       |
+
+That is all that ships today. There is no NeurIPS, USENIX or Springer preset. A paper for an ACM or
+IEEE conference venue nobody has profiled can extend `paperlint:acm-sigconf` or
+`paperlint:ieee-conference` directly: page size, columns and fonts are checked, and `pdf/profile`
+says the page limit is not. For anything else, write your own preset
+([below](#writing-your-own-venue-preset)). REALM's preset sets no page limit on purpose: banal
+counts the Limitations and Ethics sections as body, ACL does not, and a limit on banal's number
+would fail a correct paper. AIDC's sets none for the same reason, measured: banal counts a page as
+body when an appendix or the LLM Usage Statement sits on it before the bibliography, and AIDC counts
+neither, so a correct 12-page paper measured 13. AgenticDev's turns on `pdf/last-page-balance`
+because its proceedings are produced by Conference Publishing Consulting, which sends back an
+unbalanced last page; AISec's does not, because nothing in hand says who produces the AISec
+proceedings.
+
+**How presets are named.** A template family — the preset venues extend, owning the template,
+the format and the TeX packages — is `<publisher>-<template variant>`: `acm-sigconf`, `ieee-conference`. A venue
+is its own short name, lowercase, with no publisher and no parent-conference prefix: `aisec`,
+`agenticdev`, `realm`, `aidc`. Which template a venue uses is said by its `extends`, not by its
+name — a name repeating it would be wrong the day the venue changes template — and the parent
+conference (CCS, ASE, ACSAC) goes into the preset's comment and its `aliases`.
 
 **Build, then lint.** The rules judge what `paperlint build` measured and wrote to
 `_build/paper.facts.json` — page count, fonts, and, through banal, page size, columns, font sizes
@@ -130,7 +153,7 @@ To skip a check for one paper — a finding you accept — set it to `"off"` in
 
 A preset is a JSONC file (JSON with comments — keep the call-for-papers quote beside each number)
 of the same shape as the shipped ones, validated by
-[`venue-profile.schema.json`](../skills/submit-paper/references/venues/venue-profile.schema.json).
+[`venue-profile.schema.json`](../presets/venue-profile.schema.json).
 Put it in your repository and extend it by a path relative to the file that names it:
 
 ```
@@ -170,14 +193,16 @@ papers/
 
 The numbers and packages above illustrate the shape; take yours from the venue's own call for papers and template.
 
-| key        | what it is                                                                                          |
-| ---------- | --------------------------------------------------------------------------------------------------- |
-| `extends`  | the preset this one builds on: `paperlint:<name>` or `./path` / `../path`, relative to this file    |
-| `name`     | how messages name the venue; the file name otherwise                                                |
-| `template` | the `\documentclass` the venue's template uses                                                      |
-| `format`   | page size, columns, fonts, font sizes, and `kinds` (page limits per kind of paper)                  |
-| `tex`      | TeX Live packages, each with the files that prove it is installed. Required unless `extends` is set |
-| `rules`    | rules the venue implies, rule id → severity or `[severity, options]`                                |
+| key                 | what it is                                                                                                                                                                                                              |
+| ------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `extends`           | the preset this one builds on: `paperlint:<name>` or `./path` / `../path`, relative to this file                                                                                                                        |
+| `name`              | how messages name the venue; the file name otherwise                                                                                                                                                                    |
+| `template`          | the `\documentclass` the venue's template uses — a whole line (`\documentclass[conference,compsoc]{IEEEtran}`) or a bare class name; `tex/template` requires the paper's class and every option named here              |
+| `aliases`           | other names the venue goes by in a paper's text — its acronym, its parent conference: `["AISec", "ACM CCS"]`. Collected along `extends`, with `name`. Read by `tex/venue-leftover`                                      |
+| `required_sections` | sections the venue requires, `[{ "title": "LLM Usage Statement", "position": "last" }]`: the exact title, and `last` when it must close the paper. Read by `tex/required-section`; a child's list replaces its parent's |
+| `format`            | page size, columns, fonts, font sizes, and `kinds` (page limits per kind of paper)                                                                                                                                      |
+| `tex`               | TeX Live packages, each with the files that prove it is installed. Required unless `extends` is set                                                                                                                     |
+| `rules`             | rules the venue implies, rule id → severity or `[severity, options]`                                                                                                                                                    |
 
 How a chain merges, from the root preset to the paper: `tex` is the union — a child never removes a
 package; `format` keys are replaced one by one, and a child's kind replaces that kind whole;

package/docs/testing.md

@@ -40,6 +40,11 @@ When in doubt between unit and integration: if the function takes a port (`Files
 - **Example:** `src/adapters/references/index.test.ts` — the reference checker over a fake
   `fetch`: a cold run stores every answer, a warm run makes no request at all (the recorded list of
   requests is empty), an edited entry asks only for itself.
+- **A rule through real ESLint is integration, not e2e:** `src/rule-cases.test.ts` reads every rule
+  the registry holds (`rulePlugins`) and runs each through `paperlint lint --json` in-process on a
+  small paper tree — the CLI's own config, the `tex/latex` language, `loc`, message templating. Each
+  rule needs a case that reports (id, severity, line) and one that stays silent; a registered rule
+  without cases fails the test by name. A `_build/` file a rule reads is planted, not built.
 
 ## Harness — vigiles, the agent-facing surface only
 
@@ -56,14 +61,20 @@ When in doubt between unit and integration: if the function takes a port (`Files
 - **Skills are tested through vigiles**, not a bespoke runner: a home-grown runner here once printed
   byte-identical "clean" verdicts for three skills that had never loaded.
 
-## End-to-end — `test/e2e/*.ts`
+## End-to-end — `test/e2e/<area>/*.e2e.ts`
 
 - **Answers:** does the package work once it is somewhere else? The tarball installed into another
   tree, a real `pdflatex` build, the PDF's fonts measured.
 - **May touch:** everything a user's machine has, except the network: a citation service is a
-  counting fake `fetch` even here (`test/e2e/build.ts`).
+  counting fake `fetch` even here (`test/e2e/tex/build.e2e.ts`).
 - **Types:** the runs import the built modules from `dist/` (the shipped path is the point), so
   their types are the declarations `tsc` emits — `npm run build` before type-checking them.
+- **Where:** a directory per environment the tests need — `test/e2e/install/` (npm and pnpm),
+  `test/e2e/tex/` (TeX Live) — each a vitest project that finds `*.e2e.ts` by its glob. A new e2e
+  file needs no list anywhere. Helpers beside them are named without `.e2e.ts`.
+- **A missing tool:** `missing(what, present)` from `test/e2e/need.ts` → `describe.skipIf`. Locally
+  the tests are reported skipped; with `CI` set they fail.
+- **A build fixture:** a folder in `fixtures/build-e2e/` with its own `expect.json`; no test code.
 - **What each run proves, and when a change owes one:** [`e2e.md`](e2e.md).
 
 ## Running
@@ -71,9 +82,11 @@ When in doubt between unit and integration: if the function takes a port (`Files
 ```bash
 npx vitest run <file or folder>   # unit and integration tests
 npx vigiles test <file>           # one harness
-npm test                          # everything: vitest, then every harness
+npm test                          # unit and integration (vitest project `unit`), then every harness
 npm run coverage                  # the same under c8, failing below the thresholds in .c8rc.json
-npm run test:e2e                  # the end-to-end runs
+npm run test:e2e                  # every end-to-end run
+npm run test:e2e:install          # the package packed and installed under npm and pnpm
+npm run test:e2e:tex              # real TeX Live: toolchain, builds of every fixture, banal
 npm run check                     # every gate CI runs, and the list of what it does not reproduce
 ```
 

package/docs/texlive-install-decision.md

@@ -18,7 +18,7 @@ another"_.
 > **Where this ended up (2026-09-24).** Method 5 below won, and it is no longer a CI script: it is
 > `paperlint toolchain` (`src/toolchain.ts`), the command users run and the `build-e2e` job runs on Linux
 > and macOS. The package list and the file contract (`REQUIRED_FILES` in the deleted
-> `ensure-toolchain.sh`) moved into the venue profiles — each `skills/submit-paper/references/venues/*.jsonc`
+> `ensure-toolchain.sh`) moved into the venue profiles — each `presets/*.jsonc`
 > declares a `tex` block of CTAN package → proof files, and `tex-base.jsonc` the set every paper
 > gets. This file stays as the record of why tlmgr and not apt or a container; the scripts it names
 > (`ensure-toolchain.sh`, `ci-install-texlive.sh`) were deleted in the same change.

package/docs/toolchain.md

@@ -58,7 +58,7 @@ that has every declared package, so a new-year install that was interrupted neve
 complete older one.
 
 **Where the package list lives:** in the venue profiles, not here and not in a script.
-`skills/submit-paper/references/venues/<venue>.jsonc` carries a `tex` block — CTAN package → the
+`presets/<venue>.jsonc` carries a `tex` block — CTAN package → the
 files that prove it is installed — and `tex-base.jsonc` carries what every paper gets, and all a
 paper with an unknown venue gets. The shape is `venue-profile.schema.json` in the same directory.
 A venue that needs a new package gets one line there.
@@ -97,7 +97,7 @@ accepts as input. Measured on 50 PDFs / 598 pages (2026-09-25): banal on paperli
 real `pdftohtml` agree on every field the facts file keeps, with no venue verdict changed. They
 agree only because paperlint leaves out rotated and invisible text (as `pdftohtml` does), writes each
 text's colour so banal drops light text by its own rule, and writes sizes and coordinates at the
-zoom and precision banal expects. `test/e2e/banal.ts` checks each of those against the real banal
+zoom and precision banal expects. `test/e2e/tex/banal.e2e.ts` checks each of those against the real banal
 on the committed fixtures.
 
 **How it is installed — and the licence boundary.** banal is **GPL-2.0-or-later**; paperlint is MIT. paperlint

package/eslint-rules/paper-typography.test.mjs

@@ -16,7 +16,10 @@ import { readFileSync } from "node:fs";
 import { dirname, join } from "node:path";
 import { fileURLToPath } from "node:url";
 import { texLanguage } from "./latex-language.ts";
-import typography, { texVisibleRuns } from "./paper-typography.ts";
+import typography, {
+  crefDefinitionRanges,
+  texVisibleRuns,
+} from "./paper-typography.ts";
 import bib from "./bib-reachable-entry.ts";
 
 const HERE = dirname(fileURLToPath(import.meta.url));
@@ -118,6 +121,50 @@ describe("paper/section-word", () => {
     expect(ids(await lint(src), "paper/section-word")).toEqual([]);
   });
 
+  it("🔴 a cleveref name definition is not prose: silent, and --fix leaves it as written", async () => {
+    const src =
+      "\\documentclass{article}\n\\usepackage{cleveref}\n\\crefname{section}{§}{§§}\n\\Crefname{section}{§}{§§}\n" +
+      "\\begin{document}\nText.\n\\end{document}\n";
+    expect(ids(await lint(src), "paper/section-word")).toEqual([]);
+    expect(await fixed(src)).toBe(src);
+  });
+
+  it("a definition's range: its attached arguments, or the groups after a macro the parser did not sign", () => {
+    const signed = "\\crefname{section}{}{§§}";
+    expect(crefDefinitionRanges(signed)).toEqual([[0, signed.length]]);
+    const at = (s, e) => ({ start: { offset: s }, end: { offset: e } });
+    const tree = (macro, after) => ({ content: [macro, ...after] });
+    expect(
+      crefDefinitionRanges("", {
+        parse: () =>
+          tree({ type: "macro", content: "Crefname", position: at(0, 9) }, [
+            { type: "group", content: [], position: at(9, 14) },
+            { type: "string", content: "x", position: at(14, 15) },
+          ]),
+      }),
+    ).toEqual([[0, 14]]);
+    // A node with no position has no range; an argument with no content ends nothing.
+    expect(
+      crefDefinitionRanges("", {
+        parse: () =>
+          tree(
+            {
+              type: "macro",
+              content: "crefname",
+              args: [{ type: "argument" }],
+            },
+            [],
+          ),
+      }),
+    ).toEqual([]);
+  });
+
+  it("…while a § in prose next to such a definition is still reported", async () => {
+    const src =
+      "\\documentclass{article}\n\\crefname{section}{§}{§§}\n\\begin{document}\nSee §5.\n\\end{document}\n";
+    expect(ids(await lint(src), "paper/section-word")).toHaveLength(1);
+  });
+
   it("markdown: `§5` → `Section 5`, code untouched", async () => {
     const src = "See §5 and `§3` here.\n";
     expect(ids(await lint(src, "paper.md"), "paper/section-word")).toHaveLength(

package/eslint-rules/paper-typography.ts

@@ -61,6 +61,7 @@
  */
 import assert from "node:assert/strict";
 import { getParser } from "@unified-latex/unified-latex-util-parse";
+import { takeWhile } from "remeda";
 import type { Nodes } from "mdast";
 import type { TexArg, TexNode, TexRoot } from "./latex-language.ts";
 import type {
@@ -121,7 +122,77 @@ function skippedRanges(
     }
   const bib = bibRange(raw);
   if (bib) out.push([bib.start, bib.end]);
-  return out;
+  return [...out, ...crefDefinitionRanges(raw)];
+}
+
+/**
+ * cleveref's name and format definitions (`\crefname{section}{§}{§§}`): the label a reference
+ * prints is set there, not written as prose, so a sign in them is not a sign in the text.
+ */
+const CREF_DEFINITIONS: ReadonlySet<string> = new Set([
+  "crefname",
+  "Crefname",
+  "crefformat",
+  "Crefformat",
+  "crefrangeformat",
+  "Crefrangeformat",
+  "crefmultiformat",
+  "Crefmultiformat",
+  "crefrangemultiformat",
+  "Crefrangemultiformat",
+]);
+
+const isGroup = (n: TexNode): boolean => n.type === "group";
+
+/**
+ * A macro's range with its arguments: the ones the parser attached (cleveref's are signed) or the
+ * `{…}` groups standing right after it when it was given none — from the first to the last offset
+ * any of them carries. An argument's closing brace is one character past its last node.
+ */
+function withArguments(
+  m: TexNode & { readonly type: "macro" },
+  after: readonly TexNode[],
+): readonly [number, number][] {
+  const offsets = [
+    m.position?.start.offset,
+    m.position?.end.offset,
+    ...(m.args ?? []).map((a) => {
+      const last = a.content?.at(-1)?.position?.end.offset;
+      return last === undefined ? undefined : last + 1;
+    }),
+    takeWhile(after, isGroup).at(-1)?.position?.end.offset,
+  ].filter((o): o is number => o !== undefined);
+  return offsets.length === 0
+    ? []
+    : [[Math.min(...offsets), Math.max(...offsets)]];
+}
+
+/**
+ * The ranges of the cleveref definitions in the preamble and in the document body. `parse` is
+ * unified-latex's; a test hands in a tree with the fields the walk tolerates being absent.
+ */
+export function crefDefinitionRanges(
+  raw: string,
+  {
+    parse = (s: string): TexRoot => getParser().parse(s),
+  }: { readonly parse?: (s: string) => TexRoot } = {},
+): readonly [number, number][] {
+  const root = parse(raw);
+  const doc = root.content.find(
+    (n): n is Extract<TexNode, { type: "environment" | "mathenv" }> =>
+      n.type === "environment" && n.env === "document",
+  );
+  const lists: readonly (readonly TexNode[])[] = [
+    root.content,
+    doc?.content ?? [],
+  ];
+  return lists.flatMap((list) =>
+    list.flatMap((n, i) =>
+      n.type === "macro" && CREF_DEFINITIONS.has(n.content)
+        ? withArguments(n, list.slice(i + 1))
+        : [],
+    ),
+  );
 }
 const inside = (ranges: readonly [number, number][], i: number) =>
   ranges.some(([s, e]) => i >= s && i < e);