paperlint 8.0.0 → 9.0.1

package/docs/references.md

@@ -7,7 +7,11 @@ what happens in CI and without a network.
 
 ## What is checked, and where
 
-For each entry in the bibliography (the `filecontents` block inside `paper.tex`, else `refs.bib`):
+For each entry of the databases the build's bibtex **opened** — the `.bib` files its `\bibliography` /
+`\addbibresource` named after every switch and macro, and the file a `filecontents` block wrote. The
+build records them in `<paper>/_build/sources.json` from TeX's own files (`paper.blg`), so nothing here
+guesses which `.bib` TeX reads by reading the `.tex`. Their text is read by the one bibtex reader
+(`src/ports/bib-reader.ts`):
 
 | question                                                                                                 | asked of                                    |
 | -------------------------------------------------------------------------------------------------------- | ------------------------------------------- |
@@ -23,18 +27,40 @@ A work that is simply not found is `unresolvable`, never a failure: plenty of re
 indexed. Only a positive disproof fails an entry, for example a DOI that resolves to a different
 paper, or one the DOI authority says does not exist.
 
-The verdicts land in `<paper>/_build/references.json`. `paperlint lint` reads that file and reports:
+The verdicts land in `<paper>/_build/references.json`: one verdict per entry of those databases, in the
+order bibtex opened them, and a hash of their text. `paperlint lint` reads that file and reports:
 
-| rule                 | when                                                              |
-| -------------------- | ----------------------------------------------------------------- |
-| `paper/cite-exists`  | an entry's identifier provably does not resolve to the work cited |
-| `paper/author-list`  | an entry's authors are the preprint's under a published venue     |
-| `paper/refs-fresh`   | the bibliography changed since the build checked it — build again |
-| `paper/refs-checked` | no build has checked the references, or the last one could not    |
+| rule                 | when                                                                                      |
+| -------------------- | ----------------------------------------------------------------------------------------- |
+| `paper/cite-exists`  | an entry's identifier provably does not resolve to the work cited                         |
+| `paper/author-list`  | an entry's authors are the preprint's under a published venue                             |
+| `paper/refs-fresh`   | the databases changed since the build checked them — build again                          |
+| `paper/refs-checked` | no build has checked the references, or the last one could not, or the reader missed some |
+
+An entry of a `.bib` is reported at the first line of `paper.tex`, with the entry's file, line and
+column at the front of the message (`refs.bib:12:1: …`): ESLint does not lint a `.bib`.
 
 The step never fails the build. Without a network the PDF is still built and lint warns that the
 references were not checked.
 
+**No record of the build, no answer.** Which databases bibtex opened is in `sources.json`, so a paper
+with no record (never built), or one whose files changed since (`paper/sources-fresh`), has none to
+check: the step records nothing, and the four rules are silent while `paper/sources-fresh` says once
+that the paper must be built.
+
+**What bibtex typeset, against what paperlint read.** The record also holds the keys bibtex typeset
+(its `paper.bbl`). bibtex has no comment syntax, so an entry behind `%` or inside `@comment{…}` is one
+it typesets and paperlint's reader does not; `paper/refs-checked` names each such key as not checked.
+(bibtex's keys are case-insensitive: `\cite{SMITH}` typesets `\bibitem{SMITH}` from an entry `smith`,
+which is the same entry.) A malformed `.bib` never gets that far: bibtex fails on it, and `paperlint
+build` fails with bibtex's own lines.
+
+A database TeX wrote itself (a `filecontents` block) is read from the file it left beside the paper.
+The build hashes it like any other, so when that file is edited or removed after the build the record
+is stale and `paper/sources-fresh` says so: build again to write it. A database bibtex found outside
+the paper directory, on its search path (`BIBINPUTS`), is not read: the step says which and
+`paper/refs-checked` warns.
+
 ## `repro/references-cache.json` — commit it
 
 Asking five services about every entry is slow. DBLP asks clients to pause between requests, and a

package/docs/rules/bib/reachable-entry.md

@@ -0,0 +1,64 @@
+# bib/reachable-entry
+
+**Level:** warn · **Reads:** `paper.tex`, and `_build/sources.json` — the databases the last build's
+bibtex opened, read through the bibtex reader
+
+## What it catches
+
+A bibliography entry with no `doi`, no `url` and no arXiv id: nothing a reader can follow. The entries
+judged are those of the databases bibtex opened in the last build — TeX's own answer, recorded by
+`paperlint build`, not a reading of the source for `\bibliography`.
+
+## Why
+
+Reviewer A on HotCRP #20 (2026-08-23): "not every entry has a DOI/link" — one paper had 0 of 47
+entries reachable. Not "no doi": ICLR, NeurIPS and TMLR issue no DOIs at all (measured 2026-08-24),
+so a url or an arXiv id counts.
+
+## Examples
+
+Reported on the entry's own line when the `.bib` bibtex opened is one TeX wrote from a `filecontents`
+block of `paper.tex`; any other entry — a `.bib` file the author keeps, or a block in an included file —
+at the top of `paper.tex`, with the entry's file, line and column first:
+
+```bibtex
+@book{lost2026, title = {A Book}, year = {2026}}
+```
+
+> refs.bib:12:1: `lost2026` has no doi, url or arXiv id — a reader has nothing to follow. If none
+> exists, keep the exception with `% eslint-disable-next-line bib/reachable-entry -- <why>` above
+> the entry
+
+Not reported:
+
+```bibtex
+@article{a, doi = {10.1/x}}
+@misc{b, url = {https://example.org}}
+@misc{c, note = {arXiv:2310.05736}}
+```
+
+## Options / preset fields
+
+None.
+
+## What it does not check
+
+- Whether the link resolves: that is the references check of `paperlint build`.
+- `@string` and `@preamble`, which are not entries.
+- A paper with no record of a build, or one changed since: the rule is silent, and
+  [`paper/sources-fresh`](../paper/sources-fresh.md) says once that it was not built.
+- A database bibtex found outside the paper directory, and an entry bibtex reads that the `.bib` reader
+  does not (behind `%`, inside `@comment{…}`): that is the post-build check's.
+- With `eslint --cache`, a change to a `.bib` alone does not re-run the rule: its findings depend on
+  files other than `paper.tex`. `paperlint lint` does not cache.
+
+## How to fix
+
+Add the entry's `doi`, `url` or arXiv id. An entry that has none — a talk, a personal communication
+— keeps its exception where it is written, on the line above the entry, in the block or in the
+`.bib`:
+
+```bibtex
+% eslint-disable-next-line bib/reachable-entry -- an invited talk, no recording exists
+@misc{smith2024talk, …}
+```

package/docs/rules/paper/sources-fresh.md

@@ -0,0 +1,81 @@
+# paper/sources-fresh
+
+**Level:** warn · **Reads:** `paper.tex` and `_build/sources.json` · **Reported on:** the first line of
+`paper.tex`
+
+## What it catches
+
+The paper has no usable record of the last build, so paperlint does not know which files TeX reads for
+it. One finding, in one of three forms:
+
+- **not built** — there is no `_build/sources.json`;
+- **unreadable** — the file is not JSON, is of another schema number, or does not have the shape of
+  schema 1;
+- **stale** — a file the build read has other bytes now, was deleted, or appeared where the build saw
+  none. The message names each: `sections/intro.tex edited, refs.bib deleted`.
+
+## Why
+
+`paperlint build` asks TeX itself which files it read (`pdflatex -recorder`) and which databases bibtex
+opened, and writes the answer, with a SHA-256 of every file, to `_build/sources.json`. Nothing in
+paperlint answers "which files make up this paper" or "which bibliography does it use" by reading the
+TeX source: `\input` behind a macro, a `.bib` written by `filecontents`, a database named by a
+switch are TeX's to decide, and TeX has already decided.
+
+The rules that need that answer — the ones over the bibliography, and the prose rules over the files
+`paper.tex` includes — read the record. With no record, or one about an earlier paper, they would
+judge files that are not the paper's, so they stay silent, and this rule speaks once in their place.
+Without it a paper that was never built would lint clean because nothing was looked at.
+
+## Examples
+
+Failing — a paper that was never built:
+
+```text
+papers/my-paper/paper.tex
+  1:1  warning  the paper has not been built — run `npx paperlint build`, which records the files TeX
+                reads. Until it has, the files `paper.tex` includes are not linted, and the rules that
+                read the bibliography say nothing
+                paper/sources-fresh
+```
+
+Failing — `sections/intro.tex` was edited after the last build:
+
+```text
+papers/my-paper/paper.tex
+  1:1  warning  the paper changed since the last build (sections/intro.tex edited) — run `npx paperlint
+                build`; until then the files `paper.tex` includes are not linted, and the rules that
+                read the bibliography say nothing
+                paper/sources-fresh
+```
+
+Passing: a paper whose files are byte for byte what the last build read. Editing a file TeX did not
+read (a figure source the paper does not include, a note beside it) changes nothing.
+
+## Options / preset fields
+
+No rule options. The level is `warn` for every paper; set it in the paper's `paperlint.json`:
+
+```json
+{ "rules": { "paper/sources-fresh": "error" } }
+```
+
+`error` suits a CI job that builds first; `off` suits one that only lints and would rather not hear it.
+
+## What it does not check
+
+- That the build was clean. A record is written after a build whose pdflatex and bibtex runs ended;
+  what they reported is `paper/refs-checked`'s and the build's own.
+- Files TeX never read. A file the paper does not include is not in the record, so its edits are not
+  changes, and it is not linted.
+- A file edited in an editor and not saved: the rule compares the bytes on disk with the record.
+- `.bib` files TeX wrote itself (`filecontents`): their bytes are the block's, which is in a file the
+  record hashes.
+
+## How to fix
+
+Build the paper again; the record is rewritten from the files as they are:
+
+```sh
+npx paperlint build papers/my-paper
+```

package/docs/rules.md

@@ -3,62 +3,66 @@
 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)                                                                                                                                                                                                                                                                                                                                                                                                                                         |
-| [`cycle/record`](rules/cycle/record.md)                               | error                                        | `paperlint.json` (`cycles`)                                         | the paper's attempts at venues (`cycles`, one entry per attempt) hold one source's deadlines out of order (registration ≤ submission ≤ resubmission < notification < camera-ready), or copy a portal reading the venue's preset carries; reported on `PIPELINE-STATUS.md`. A record that does not parse — a bare date, two open cycles, an unknown key — is refused by `paperlint lint` itself before any rule runs, exit 2 — [page](rules/cycle/record.md)                                                                                            |
-| [`cycle/evidence`](rules/cycle/evidence.md)                           | error                                        | `paperlint.json` (`cycles`) → the paper folder                      | a closed cycle (`accepted`, `rejected`, `withdrawn`) or a deadline's `override` names an `evidence` file — the decision mail, the reviews, the withdrawal note, the chairs' mail — that is not in the paper folder; reported on `PIPELINE-STATUS.md` — [page](rules/cycle/evidence.md)                                                                                                                                                                                                                                                                 |
-| [`cycle/stage`](rules/cycle/stage.md)                                 | error                                        | `PIPELINE-STATUS.md` → `paperlint.json` (`cycles`)                  | with `cycles` declared, a stage names no `cycle: <id>`, names one no cycle has, or a `submitted`/`camera-ready` stage belongs to a cycle whose `phase` is still `porting` — [page](rules/cycle/stage.md)                                                                                                                                                                                                                                                                                                                                               |
-| [`cycle/port-done`](rules/cycle/port-done.md)                         | error                                        | `paper.tex` → `paperlint.json` (`cycles`) → the preset's `template` | the current cycle still declares `"phase": "porting"` (which silences the venue's format rules) while the `\documentclass` is already the venue's template: the port is done, drop the phase — [page](rules/cycle/port-done.md)                                                                                                                                                                                                                                                                                                                        |
-| [`paper/folder-venue-leftover`](rules/paper/folder-venue-leftover.md) | warn                                         | the folder name → `paperlint.json`                                  | the paper's folder is named after another shipped venue than the one it extends (`papers/aisec-2026/` for a paper now set for AIDC); reported on `PIPELINE-STATUS.md` — [page](rules/paper/folder-venue-leftover.md)                                                                                                                                                                                                                                                                                                                                   |
-| `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/section-word`                                                  | warn                                         | `paper.tex` and its body files                                      | `§` or `\S\ref` instead of the word Section. **Fixable:** `--fix` writes `Section~\ref{…}` / `Section 5`                                                                                                                                                                                                                                                                                                                                                                                                                                               |
-| `paper/leading-zero`                                                  | warn                                         | `paper.tex` and its body files                                      | 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` and its body files                                      | `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` and its body files                                      | 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/heading-case`](rules/tex/heading-case.md)                       | optional; the AgenticDev preset sets `error` | `paper.tex` and the files it includes                               | a word in the paper's `\title` or in a `\section`, `\subsection`, `\subsubsection`, `\paragraph` or `\subparagraph` title is not in the style its scope asks: `{ "title", "headings", "levels"? }`, each `chicago-headline` (Conference Publishing's quote of the Chicago Manual of Style), `sentence` (first word only) or `any`. Words that are a preposition in one title and a particle in another (`up`, `on`, `in`) are not read mid-title. **Fixable:** `--fix` — [page](rules/tex/heading-case.md)                                             |
-| [`format/layout-override`](rules/format/layout-override.md)           | error                                        | `paper.tex` → `paperlint.json`                                      | the source changes the page layout the venue's template sets for the whole document — `geometry`, a layout `\setlength`, `\linespread`, `\baselinestretch` — [page](rules/format/layout-override.md)                                                                                                                                                                                                                                                                                                                                                   |
-| [`anonymity/identity`](rules/anonymity/identity.md)                   | error                                        | `paper.tex` → `_build/paper.facts.json`                             | a double-blind venue (`"blind": true`) and no `identity` declared, or a declared name, handle, email or project in the PDF's text, metadata or link targets — [page](rules/anonymity/identity.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/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)                                                                                                                                                                                                                                                                                                                                                                 |
-| [`tex/contrast-frames`](rules/tex/contrast-frames.md)                 | warn                                         | `paper.tex` and the files it includes → `paperlint.json`            | contrast frames (_X, not Y_, _not X but Y_, _rather than_, _instead of_, _as opposed to_) per 10,000 words fall outside the band the venue preset's anchors set (AIDC: 0–10.4, from five accepted ACSAC papers); above it, each frame is reported too — [page](rules/tex/contrast-frames.md)                                                                                                                                                                                                                                                           |
-| [`tex/claim-emphasis`](rules/tex/claim-emphasis.md)                   | warn                                         | `paper.tex` and the files it includes → `paperlint.json`            | claims set in bold inside a sentence (six words or more, or holding a number; not a term, not a label opening a paragraph) per 10,000 words fall outside the preset's band (AIDC: 0–17.8); above it, each is reported too — [page](rules/tex/claim-emphasis.md)                                                                                                                                                                                                                                                                                        |
-| [`tex/relation-markers`](rules/tex/relation-markers.md)               | warn                                         | `paper.tex` and the files it includes → `paperlint.json`            | words that name how a sentence relates to the one before (_because_, _therefore_, _however_, _for example_ …) per 10,000 words fall outside the preset's band (AIDC: 25.4–135.0) — the floor that catches relations left to infer — [page](rules/tex/relation-markers.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 3, 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                                                                                                                                                                                                                                                                                                                                                                                                                                         |
-| [`format/page-limit`](rules/format/page-limit.md)                     | error                                        | `paper.tex` → `_build/paper.facts.json`                             | body or reference pages exceed the limits of the paper's kind. With `body_ends_at: "references"` (AIDC) the body ends at the references or the appendix, whichever comes first — found by hyperref's anchors, then the heading line — and the page it ends on counts when body text stands above the heading; with `appendix_in_body` too (MSR) the appendix is body wherever it sits and the reference pages are the ones holding only references; an end it cannot find, or signals that disagree, are reported — [page](rules/format/page-limit.md) |
-| [`pdf/body-size`](rules/pdf/body-size.md)                             | error                                        | `paper.tex` → `_build/paper.facts.json`                             | the body font size is more than `body_pt_tol` off the preset's, or the reference font size is outside the preset's range widened by `body_pt_tol`. banal reads 0.3 pt above the size the glyphs are set in; checked on five built accepted papers (none reported) and three variants one size off (each reported) — [page](rules/pdf/body-size.md)                                                                                                                                                                                                     |
-| `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                                                                                                                                                                                                                                                                                                                                         |
-| [`talk/profile`](rules/talk/profile.md)                               | error                                        | `paper.tex` → `paperlint.json`                                      | the paper declares `talk` and names no preset, the preset has no `talk` block, the mode is not one the venue allows, or the venue sets no talk slot for the paper's kind — [page](rules/talk/profile.md)                                                                                                                                                                                                                                                                                                                                               |
-| [`talk/required-files`](rules/talk/required-files.md)                 | error                                        | `paper.tex` → `paperlint.json`, the talk folder                     | a file the venue requires for the paper's talk mode (video, one-slide, captions…) is not in the talk folder — [page](rules/talk/required-files.md)                                                                                                                                                                                                                                                                                                                                                                                                     |
-| [`talk/undeclared`](rules/talk/undeclared.md)                         | warn                                         | `paper.tex` → the paper's `talk/` folder                            | an `.mp4` sits in `talk/` and the paper declares no `talk`, so nothing checks it — [page](rules/talk/undeclared.md)                                                                                                                                                                                                                                                                                                                                                                                                                                    |
-| [`talk/duration`](rules/talk/duration.md)                             | error                                        | `paper.tex` → the talk video                                        | the video runs longer than the slot's `talk_s_max`, or its audio track is more than 1 s off the video's length — [page](rules/talk/duration.md)                                                                                                                                                                                                                                                                                                                                                                                                        |
-| [`talk/duration-floor`](rules/talk/duration-floor.md)                 | warn                                         | `paper.tex` → the talk video                                        | the video runs shorter than the slot's `talk_s_min` — [page](rules/talk/duration-floor.md)                                                                                                                                                                                                                                                                                                                                                                                                                                                             |
-| [`talk/video-format`](rules/talk/video-format.md)                     | error                                        | `paper.tex` → the talk video                                        | the video is not ISO media, is QuickTime where the venue asks for MP4, is under `min_height_px`, or over `max_bytes` — [page](rules/talk/video-format.md)                                                                                                                                                                                                                                                                                                                                                                                              |
-| [`talk/one-slide-size`](rules/talk/one-slide-size.md)                 | error                                        | `paper.tex` → the one-slide PNG                                     | the one-slide image is not the size the paper or the preset states, or not a PNG — [page](rules/talk/one-slide-size.md)                                                                                                                                                                                                                                                                                                                                                                                                                                |
-| [`talk/captions-cover`](rules/talk/captions-cover.md)                 | warn                                         | `paper.tex` → the captions and the video                            | the captions start late, end early or leave a long gap (uncalibrated thresholds) — [page](rules/talk/captions-cover.md)                                                                                                                                                                                                                                                                                                                                                                                                                                |
-
-**Body files** are the files `paper.tex` includes from its document body (`\input`, `\include`,
-`\subfile`, nested ones too), found in the paper's directory — not a preamble include, not a file
-found only in paperlint's own inputs, and not any other `.tex` beside the paper (`versions/`). Only
-the `.tex` ones are linted on their own: an included `.bbl` or `.pgf` is a tool's output, read into
-the whole paper where TeX typesets it, but not judged or fixed as prose of its own. A
-finding in a body file is reported at that file and line, and `--fix` edits that file. Which reference form
-is the majority and whether the build is a review build are decided over the whole paper. An include
-that names no file is printed as a note: lint did not read it, and the build will stop on it.
+| 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)                                                                                                                                                                                                                                                                                                                                                                                                                                         |
+| [`cycle/record`](rules/cycle/record.md)                               | error                                        | `paperlint.json` (`cycles`)                                                       | the paper's attempts at venues (`cycles`, one entry per attempt) hold one source's deadlines out of order (registration ≤ submission ≤ resubmission < notification < camera-ready), or copy a portal reading the venue's preset carries; reported on `PIPELINE-STATUS.md`. A record that does not parse — a bare date, two open cycles, an unknown key — is refused by `paperlint lint` itself before any rule runs, exit 2 — [page](rules/cycle/record.md)                                                                                            |
+| [`cycle/evidence`](rules/cycle/evidence.md)                           | error                                        | `paperlint.json` (`cycles`) → the paper folder                                    | a closed cycle (`accepted`, `rejected`, `withdrawn`) or a deadline's `override` names an `evidence` file — the decision mail, the reviews, the withdrawal note, the chairs' mail — that is not in the paper folder; reported on `PIPELINE-STATUS.md` — [page](rules/cycle/evidence.md)                                                                                                                                                                                                                                                                 |
+| [`cycle/stage`](rules/cycle/stage.md)                                 | error                                        | `PIPELINE-STATUS.md` → `paperlint.json` (`cycles`)                                | with `cycles` declared, a stage names no `cycle: <id>`, names one no cycle has, or a `submitted`/`camera-ready` stage belongs to a cycle whose `phase` is still `porting` — [page](rules/cycle/stage.md)                                                                                                                                                                                                                                                                                                                                               |
+| [`cycle/port-done`](rules/cycle/port-done.md)                         | error                                        | `paper.tex` → `paperlint.json` (`cycles`) → the preset's `template`               | the current cycle still declares `"phase": "porting"` (which silences the venue's format rules) while the `\documentclass` is already the venue's template: the port is done, drop the phase — [page](rules/cycle/port-done.md)                                                                                                                                                                                                                                                                                                                        |
+| [`paper/folder-venue-leftover`](rules/paper/folder-venue-leftover.md) | warn                                         | the folder name → `paperlint.json`                                                | the paper's folder is named after another shipped venue than the one it extends (`papers/aisec-2026/` for a paper now set for AIDC); reported on `PIPELINE-STATUS.md` — [page](rules/paper/folder-venue-leftover.md)                                                                                                                                                                                                                                                                                                                                   |
+| [`paper/sources-fresh`](rules/paper/sources-fresh.md)                 | warn                                         | `paper.tex` → `_build/sources.json`                                               | the paper has not been built (no record of the files TeX read), or a file changed since the last build (its SHA-256 differs) — run `npx paperlint build`                                                                                                                                                                                                                                                                                                                                                                                               |
+| `paper/author-list`                                                   | error                                        | `paper.tex` → `_build/references.json`, `_build/sources.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 (or at the top of `paper.tex`, naming the entry's file); silent without a current build record                                                                                                                                                                                                                                                    |
+| `paper/section-word`                                                  | warn                                         | `paper.tex` and its body files                                                    | `§` or `\S\ref` instead of the word Section. **Fixable:** `--fix` writes `Section~\ref{…}` / `Section 5`                                                                                                                                                                                                                                                                                                                                                                                                                                               |
+| `paper/leading-zero`                                                  | warn                                         | `paper.tex` and its body files                                                    | 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` and its body files                                                    | `Fig.~\ref` and `Figure~\ref` mixed in one document; each minority occurrence is reported. **Fixable:** `--fix` writes the majority form                                                                                                                                                                                                                                                                                                                                                                                                               |
+| [`bib/reachable-entry`](rules/bib/reachable-entry.md)                 | warn                                         | `paper.tex` → `_build/sources.json`: the databases the last build's bibtex opened | an entry has no doi, url or arXiv id — a reader has nothing to follow. Reported on the entry in the `filecontents` block of `paper.tex` that wrote its `.bib`, or at the top of `paper.tex` with the entry's file and line first; silent until a build records the paper; no fix, the link has to be looked up — [page](rules/bib/reachable-entry.md)                                                                                                                                                                                                  |
+| `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 databases bibtex opened changed since the build checked them (their SHA-256 differs) — run `npx paperlint build`                                                                                                                                                                                                                                                                                                                                                                                                                                   |
+| `paper/refs-checked`                                                  | warn                                         | `paper.tex` → `_build/references.json`                                            | a build recorded the paper's databases and none has checked their references, or the last build could not (no network), or its bibtex typeset a key paperlint's reader did not read (an entry behind `%`, inside `@comment{…}`), or bibtex found a database outside the paper directory (`BIBINPUTS`) — so the two rules above did not run on it. Silent without a record of the build (`paper/sources-fresh` speaks)                                                                                                                                  |
+| `tex/future-promise`                                                  | warn                                         | `paper.tex` and its body files                                                    | 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/heading-case`](rules/tex/heading-case.md)                       | optional; the AgenticDev preset sets `error` | `paper.tex` and the files it includes                                             | a word in the paper's `\title` or in a `\section`, `\subsection`, `\subsubsection`, `\paragraph` or `\subparagraph` title is not in the style its scope asks: `{ "title", "headings", "levels"? }`, each `chicago-headline` (Conference Publishing's quote of the Chicago Manual of Style), `sentence` (first word only) or `any`. Words that are a preposition in one title and a particle in another (`up`, `on`, `in`) are not read mid-title. **Fixable:** `--fix` — [page](rules/tex/heading-case.md)                                             |
+| [`format/layout-override`](rules/format/layout-override.md)           | error                                        | `paper.tex` → `paperlint.json`                                                    | the source changes the page layout the venue's template sets for the whole document — `geometry`, a layout `\setlength`, `\linespread`, `\baselinestretch` — [page](rules/format/layout-override.md)                                                                                                                                                                                                                                                                                                                                                   |
+| [`anonymity/identity`](rules/anonymity/identity.md)                   | error                                        | `paper.tex` → `_build/paper.facts.json`                                           | a double-blind venue (`"blind": true`) and no `identity` declared, or a declared name, handle, email or project in the PDF's text, metadata or link targets — [page](rules/anonymity/identity.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/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)                                                                                                                                                                                                                                                                                                                                                                 |
+| [`tex/contrast-frames`](rules/tex/contrast-frames.md)                 | warn                                         | `paper.tex` and the files it includes → `paperlint.json`                          | contrast frames (_X, not Y_, _not X but Y_, _rather than_, _instead of_, _as opposed to_) per 10,000 words fall outside the band the venue preset's anchors set (AIDC: 0–10.4, from five accepted ACSAC papers); above it, each frame is reported too — [page](rules/tex/contrast-frames.md)                                                                                                                                                                                                                                                           |
+| [`tex/claim-emphasis`](rules/tex/claim-emphasis.md)                   | warn                                         | `paper.tex` and the files it includes → `paperlint.json`                          | claims set in bold inside a sentence (six words or more, or holding a number; not a term, not a label opening a paragraph) per 10,000 words fall outside the preset's band (AIDC: 0–17.8); above it, each is reported too — [page](rules/tex/claim-emphasis.md)                                                                                                                                                                                                                                                                                        |
+| [`tex/relation-markers`](rules/tex/relation-markers.md)               | warn                                         | `paper.tex` and the files it includes → `paperlint.json`                          | words that name how a sentence relates to the one before (_because_, _therefore_, _however_, _for example_ …) per 10,000 words fall outside the preset's band (AIDC: 25.4–135.0) — the floor that catches relations left to infer — [page](rules/tex/relation-markers.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 3, 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                                                                                                                                                                                                                                                                                                                                                                                                                                         |
+| [`format/page-limit`](rules/format/page-limit.md)                     | error                                        | `paper.tex` → `_build/paper.facts.json`                                           | body or reference pages exceed the limits of the paper's kind. With `body_ends_at: "references"` (AIDC) the body ends at the references or the appendix, whichever comes first — found by hyperref's anchors, then the heading line — and the page it ends on counts when body text stands above the heading; with `appendix_in_body` too (MSR) the appendix is body wherever it sits and the reference pages are the ones holding only references; an end it cannot find, or signals that disagree, are reported — [page](rules/format/page-limit.md) |
+| [`pdf/body-size`](rules/pdf/body-size.md)                             | error                                        | `paper.tex` → `_build/paper.facts.json`                                           | the body font size is more than `body_pt_tol` off the preset's, or the reference font size is outside the preset's range widened by `body_pt_tol`. banal reads 0.3 pt above the size the glyphs are set in; checked on five built accepted papers (none reported) and three variants one size off (each reported) — [page](rules/pdf/body-size.md)                                                                                                                                                                                                     |
+| `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                                                                                                                                                                                                                                                                                                                                         |
+| [`talk/profile`](rules/talk/profile.md)                               | error                                        | `paper.tex` → `paperlint.json`                                                    | the paper declares `talk` and names no preset, the preset has no `talk` block, the mode is not one the venue allows, or the venue sets no talk slot for the paper's kind — [page](rules/talk/profile.md)                                                                                                                                                                                                                                                                                                                                               |
+| [`talk/required-files`](rules/talk/required-files.md)                 | error                                        | `paper.tex` → `paperlint.json`, the talk folder                                   | a file the venue requires for the paper's talk mode (video, one-slide, captions…) is not in the talk folder — [page](rules/talk/required-files.md)                                                                                                                                                                                                                                                                                                                                                                                                     |
+| [`talk/undeclared`](rules/talk/undeclared.md)                         | warn                                         | `paper.tex` → the paper's `talk/` folder                                          | an `.mp4` sits in `talk/` and the paper declares no `talk`, so nothing checks it — [page](rules/talk/undeclared.md)                                                                                                                                                                                                                                                                                                                                                                                                                                    |
+| [`talk/duration`](rules/talk/duration.md)                             | error                                        | `paper.tex` → the talk video                                                      | the video runs longer than the slot's `talk_s_max`, or its audio track is more than 1 s off the video's length — [page](rules/talk/duration.md)                                                                                                                                                                                                                                                                                                                                                                                                        |
+| [`talk/duration-floor`](rules/talk/duration-floor.md)                 | warn                                         | `paper.tex` → the talk video                                                      | the video runs shorter than the slot's `talk_s_min` — [page](rules/talk/duration-floor.md)                                                                                                                                                                                                                                                                                                                                                                                                                                                             |
+| [`talk/video-format`](rules/talk/video-format.md)                     | error                                        | `paper.tex` → the talk video                                                      | the video is not ISO media, is QuickTime where the venue asks for MP4, is under `min_height_px`, or over `max_bytes` — [page](rules/talk/video-format.md)                                                                                                                                                                                                                                                                                                                                                                                              |
+| [`talk/one-slide-size`](rules/talk/one-slide-size.md)                 | error                                        | `paper.tex` → the one-slide PNG                                                   | the one-slide image is not the size the paper or the preset states, or not a PNG — [page](rules/talk/one-slide-size.md)                                                                                                                                                                                                                                                                                                                                                                                                                                |
+| [`talk/captions-cover`](rules/talk/captions-cover.md)                 | warn                                         | `paper.tex` → the captions and the video                                          | the captions start late, end early or leave a long gap (uncalibrated thresholds) — [page](rules/talk/captions-cover.md)                                                                                                                                                                                                                                                                                                                                                                                                                                |
+
+**Body files** are the files of the paper's directory that TeX read after `\begin{document}` in the
+last build, as `paperlint build` recorded them in `_build/sources.json` — not a preamble file, not a
+file found only in paperlint's own inputs, not a file the text names but TeX never read (behind
+`\iffalse`), and not any other `.tex` beside the paper (`versions/`). Lint never looks for an include
+itself. Only the `.tex` ones are linted on their own: an included `.bbl` or `.pgf` is a tool's output,
+read into the whole paper where TeX typesets it, but not judged or fixed as prose of its own. A
+finding in a body file is reported at that file and line, and `--fix` edits that file. Which reference
+form is the majority and whether the build is a review build are decided over the whole paper: the
+files the record lists, spliced where their includes stand, each ended as TeX ends a file's last
+line. A paper with no record, or one it has changed since, is `paper.tex` alone, and
+[`paper/sources-fresh`](rules/paper/sources-fresh.md) says the files it includes went unlinted.
 
 `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
@@ -88,7 +92,8 @@ Also here: .06 % eslint-disable-line paper/leading-zero -- quoted too
 % eslint-enable paper/section-word
 ```
 
-This works inside the `filecontents` bibliography of `paper.tex` too, above the entry:
+This works inside the `filecontents` bibliography of `paper.tex` too, above the entry — and, for
+`bib/reachable-entry`, on the line above an entry in a `.bib` file:
 
 ```latex
 % eslint-disable-next-line bib/reachable-entry -- an invited talk, no recording exists

package/eslint-rules/CLAUDE.md

@@ -0,0 +1,44 @@
+<!-- vigiles:sha256:5231f736e3b1a263 compiled from eslint-rules/CLAUDE.md.spec.ts -->
+
+# CLAUDE.md
+
+## `eslint-rules/`
+
+The rules this package ships. Loaded when working under `eslint-rules/`; the rules for every change
+are in the root `CLAUDE.md`. Each requirement below names what holds it; the reasoning lives in
+that file's header.
+
+## What a new rule ships with, and what holds it
+
+| requirement | held by |
+| --- | --- |
+| **Both halves** (root `CLAUDE.md`), for every registered rule | `src/rule-cases.test.ts` fails on a registered rule with no cases |
+| **One rule, one requirement**: two checks with different reasons to switch them off are two rules | review |
+| **A venue requirement is validated on real accepted papers** of that venue, built to PDF, with the ground truth established independently | review; the papers are in `fixtures/accepted-papers/README.md` |
+| **Its page**, `docs/rules/<group>/<rule>.md`, and `meta.docs.url` pointing at it | `src/rule-docs.test.ts`; its `AWAITING_PAGE` list only shrinks |
+| **Loud on an empty input set**: a rule that matched no files must not report like one that passed | `scripts/rules-see-files.mjs`, per rule and not per glob, in `npm run check` |
+
+The page's sections: What it catches · Why · Examples (failing / passing) · Options / preset fields ·
+What it does not check · How to fix. Its row in `docs/rules.md` is one line linking there.
+
+## A rule that judges prose
+
+A rule, or a skill criterion, that judges a paper's prose is held to five principles. Without them
+the checks push every paper toward a blog post.
+
+1. **Two-sided**: a floor as well as a ceiling, or the distance to accepted papers of the target
+   venue. A set of ceilings alone converges on clipped, unsignposted prose.
+2. **Rules count, skills judge.** Countable on the parse tree → a lint rule; needs reading (register,
+   genre, whether a claim changed strength) → a skill criterion.
+3. **The model reader is the venue's reviewer**, including one who skims the abstract, the
+   introduction and the conclusion.
+4. **Thresholds are calibrated, not borrowed**: set with the same counter on the accepted papers,
+   never taken from a figure measured by a different counter.
+5. **A rewrite is accepted on what reviewers see**: the combined count of every surface form of a
+   tic, plus a check that no claim was softened or strengthened.
+
+## Rules
+
+### Lint Rule Over Script
+
+**Guidance only** — A check over a syntax tree is a lint rule, not a script. It fires in the editor on save, gets the AST for free, and has a suppression syntax people already know. A script is for corpus-wide questions — index connectivity, ratios across many files. When the work has to run a program, a script may do the work and write facts to a JSON file, and a rule judges that file: the verdict still lands in the engine.