paperlint 12.0.0 → 13.0.0

package/docs/rules.md

@@ -5,13 +5,16 @@ 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/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. In a paper that keeps `cycles`, the `stages:` list is retired: one finding names `paperlint versions migrate`, and [`versions/layout`](rules/versions/layout.md) judges `versions/`                                                                                                                                                                                                                                                                                                                                                                                                               |
+| `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). Silent in a paper that keeps `cycles`: there [`versions/layout`](rules/versions/layout.md) holds each PDF to its source                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           |
 | [`study/declare-sample`](rules/study/declare-sample.md)                   | experimental; off unless a paper turns it on (`"error"`) | each study's `repro/<study>/prereg.json`                                                               | a study's pre-registration does not declare its `population` (what the claim is about, source, size), the `strata` and what each of its `screens` removed per stratum value, its `coverage` (share 0–1 or null with a reason, and the strata it cannot reach), or the `author_check` of the drawn units (a doubtful verdict needs a recorded `decision`); reported on `PIPELINE-STATUS.md`, once per problem — [page](rules/study/declare-sample.md)                                                                                                                                                                                                                                                                                              |
 | [`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)                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   |
+| [`cycle/submitted-frozen`](rules/cycle/submitted-frozen.md)               | error                                                    | `paperlint.json` (`cycles`) → `versions/`                                                              | a cycle has `"submission": { "id" }` — a PDF went to the portal — and no `versions/<cycle>/submitted.pdf`; `submission new                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        | update --save`freeze what they send, so this fires for an upload made another way; reported on`PIPELINE-STATUS.md` — [page](rules/cycle/submitted-frozen.md) |
+| [`cycle/draft-drift`](rules/cycle/draft-drift.md)                         | warn                                                     | `paper.tex` → `paperlint.json` (`cycles`) → `versions/<cycle>/submitted.tex`                           | the last cycle is open and `paper.tex` (as the last build assembled it) differs from the source frozen when its PDF was sent; says how many lines were added and removed — [page](rules/cycle/draft-drift.md)                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |
+| [`cycle/camera-ready-source`](rules/cycle/camera-ready-source.md)         | error                                                    | `paper.tex` → `paperlint.json` (`cycles`) → `versions/<cycle>/`                                        | the last cycle is accepted, its camera-ready is frozen, and the frozen `camera-ready.tex` keeps less than half of the lines of the frozen `submitted.tex`, so it was not built from what was accepted; silent until the camera-ready is frozen — [page](rules/cycle/camera-ready-source.md)                                                                                                                                                                                                                                                                                                                                                                                                                                                       |
+| [`versions/layout`](rules/versions/layout.md)                             | error                                                    | `versions/`, `versions/lock.json` → `paperlint.json` (`cycles`)                                        | with `cycles` declared: an entry of `versions/` that is not `lock.json` or a folder named by a cycle id, a file in a cycle's folder that is not `<stage>.pdf`/`.tex` (`submitted`, `camera-ready`, `arxiv`), a PDF without its source (unless the lock records it lost), a PDF sent from a cycle still `porting`, or a frozen file that does not match `versions/lock.json`; reported on `PIPELINE-STATUS.md` — [page](rules/versions/layout.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/allowed-files-only`](rules/paper/allowed-files-only.md)           | error                                                    | the paper folder's root listing → `paperlint.json`                                                     | a file or folder at the paper's root is not part of the layout (`PLAN.md`, `archive/`, a stray PDF); reported on `PIPELINE-STATUS.md`, once per entry, with where it goes; `extra/` takes anything — [page](rules/paper/allowed-files-only.md)                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    |
 | [`repro/allowed-files-only`](rules/repro/allowed-files-only.md)           | error                                                    | the listing of the paper's `repro/`                                                                    | an entry at the top of `repro/` is not `README.md`, `studies.json`, `.gitignore`, `tools/`, `data/` or a study folder named `<id>-<slug>` (or, in a paper without the registry, `<slug>-YYYY-MM-DD`), or a study folder has no `README.md`; reported on `PIPELINE-STATUS.md`, once per entry, with where it goes by kind (a script → `repro/tools/`, data → `repro/data/`, a note → its study or `research/`) — [page](rules/repro/allowed-files-only.md)                                                                                                                                                                                                                                                                                         |
@@ -279,13 +282,24 @@ The paper body is `paper.tex`, and it gets three rules of its own: `paper/typogr
 run on it but judge the files beside it. The scorecard and the review notes are Markdown files, and
 the other five rules read those.
 
-## The scorecard's `bytes:` and `sourceBytes:`
+## Frozen versions: `versions/<cycle>/` and its lock
+
+**A paper that keeps `cycles`** freezes what it sends without a manual step:
+`paperlint submission new --save` and `submission update --save` write the exact PDF they sent and the
+source it was built from into `versions/<cycle>/submitted.{pdf,tex}` (`camera-ready.*` once the cycle
+is accepted), and record their bytes, sha256 and the time in `versions/lock.json`, a file paperlint
+writes and nobody edits. [`versions/layout`](rules/versions/layout.md) then fails if a frozen file no
+longer matches the lock, and `npx paperlint versions` prints each version's state. A file you freeze
+yourself is recorded with `npx paperlint versions lock`. The layout, the states and the move from the
+`stages:` list (`npx paperlint versions migrate`) are in
+[configuration](configuration.md#the-frozen-versions-one-folder-per-attempt).
+
+### Without `cycles`: the scorecard's `bytes:` and `sourceBytes:`
 
 **When you submit,** copy the PDF and `paper.tex` you sent into the paper's `versions/` folder and
 record the stage in the front matter of `PIPELINE-STATUS.md` (the paper's scorecard). From then on
 `paper/stages` fails if that PDF goes missing or changes size, and `paper/source` if its source was
-not kept. Today you record it by hand; a command for it is planned
-([#100](https://github.com/zernie/paperlint/issues/100)). A stage looks like this:
+not kept. A stage looks like this:
 
 ```yaml
 ---
@@ -301,8 +315,8 @@ stages:
 ```
 
 A stage name may use `a-z`, `0-9`, `.`, `_` and `-`. You write `bytes:` and `sourceBytes:` yourself
-(`wc -c < versions/2026-07-22-submitted.pdf`), or the agent does, once, when the stage is recorded;
-no command in this package generates them. They are not a checksum to maintain: a
-frozen PDF is never supposed to change, so `bytes:` disagreeing with the file means the file was
-replaced after it was declared, and that is exactly the finding. If you really did re-freeze a
-stage, update the number in the same commit.
+(`wc -c < versions/2026-07-22-submitted.pdf`), or the agent does, once, when the stage is recorded.
+They are not a checksum to maintain: a frozen PDF is never supposed to change, so `bytes:`
+disagreeing with the file means the file was replaced after it was declared, and that is exactly the
+finding. If you really did re-freeze a stage, update the number in the same commit. Recording the
+paper's attempts as `cycles` moves all of this to the folders and the generated lock.

package/docs/submission.md

@@ -88,6 +88,22 @@ against the venue's call for papers.
 The safe order: `new`, `new --save` once; then `show`, `update`, `update --save`, and `show` again
 until it says `match yes`. Every `--save` comes after the author has read the dry run and said yes.
 
+## What a save freezes
+
+In a paper that keeps `cycles`, a `new --save` or `update --save` the portal took freezes what it
+sent: the exact PDF, and the source the build read (a paper split into several files, assembled), as
+`versions/<cycle>/submitted.{pdf,tex}` — `camera-ready.{pdf,tex}` once the cycle is accepted — and
+records both in `versions/lock.json`. It prints one line:
+
+```
+frozen        versions/beta-2027/submitted.pdf (186504 bytes) and submitted.tex (57210 bytes), recorded in versions/lock.json
+```
+
+A later save in the same cycle replaces them: the last upload is the one under review. `show` ends
+with the table of the paper's versions and their states, as `paperlint versions` prints it. A paper
+without `cycles` is sent as before, and the save says `not frozen`. The layout and the states:
+[configuration](configuration.md#the-frozen-versions-one-folder-per-attempt).
+
 ## The check before sending
 
 A person confirms every send. To help them decide, `new` and `update` first run the venue rules of
@@ -107,9 +123,11 @@ With no findings it prints one line, `venue rules at their default options: no e
 run at paperlint's default levels and options: a `rules` override in your `paperlint.json` or
 preset is applied by `paperlint lint`, not here.
 
-The command refuses one thing by itself: `--save` when no build facts describe this PDF (none, or
-of other bytes) exits 2 and sends nothing. Rebuild (`paperlint build`) and run the dry run again.
-Everything else, including over the limit, is the person's call.
+The command refuses two things by itself, each with exit 2 and nothing sent: `--save` when no build
+facts describe this PDF (none, or of other bytes), and — in a paper that keeps `cycles` — `--save`
+when the sources changed since the build, because the PDF and the source on disk would no longer be a
+pair to freeze. Rebuild (`paperlint build`) and run the dry run again. Everything else, including over
+the limit, is the person's call.
 
 **The `submission-confirm` hook** (installed by `paperlint init`) stops any `submission new|update`
 with `--save` or `--submit` until the person has said yes to that exact PDF in that exact folder. The flow:

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

@@ -139,3 +139,65 @@ test("a frontmatter node without a value (another markdown language) reads as em
     stages.rules[rule].create(context).yaml({ type: "yaml" });
   assert.deepEqual(reports, []);
 });
+
+const CYCLES = { "paperlint.json": JSON.stringify({ cycles: [] }) };
+const RETIRED = (paper) =>
+  `\`stages\` is retired for a paper that keeps \`cycles\` in paperlint.json: its frozen versions are versions/<cycle>/<stage>.{pdf,tex}, recorded in versions/lock.json — \`npx paperlint versions migrate ${paper}\` moves the files there and takes the list out`;
+
+test("under `cycles`: a `stages` list is one finding naming the migration, and dated files owe it nothing", () => {
+  const files = {
+    ...CYCLES,
+    "versions/2026-08-02-submitted.pdf": "x",
+  };
+  assert.deepEqual(
+    lint(
+      "retired",
+      "stages:\n  - stage: submitted\n    date: 2026-08-02\n    pdf: versions/2026-08-02-submitted.pdf\n    bytes: 9",
+      { files },
+    ),
+    [RETIRED("retired")],
+  );
+  assert.deepEqual(
+    lint("retired-src", "stages:\n  - stage: submitted\n    date: 2026-08-02", {
+      rule: "source",
+      files,
+    }),
+    [],
+  );
+});
+
+test("under `cycles`: no list, an empty one, or no frontmatter is silent; YAML that does not parse is still named", () => {
+  assert.deepEqual(lint("retired-none", "title: x", { files: CYCLES }), []);
+  assert.deepEqual(lint("retired-empty", "stages: []", { files: CYCLES }), []);
+  const [msg] = lint("retired-yaml", "stages: [", { files: CYCLES });
+  assert.match(msg, /^the frontmatter does not parse as YAML: /);
+  // A paperlint.json that does not parse keeps the flat form's checks: `paperlint lint` refuses it before any rule runs.
+  assert.deepEqual(
+    lint("retired-broken", "stages:", {
+      files: { "paperlint.json": "{" },
+    }),
+    [
+      "`stages` must be a LIST of entries, not empty — a paper can reach the same stage twice",
+    ],
+  );
+});
+
+test("under `cycles`: a frontmatter node without a value reads as empty YAML", () => {
+  const dir = writeTree(join(root, "retired-valueless"), CYCLES);
+  const reports = [];
+  const context = {
+    filename: join(dir, "PIPELINE-STATUS.md"),
+    cwd: dir,
+    report: (r) => reports.push(r),
+  };
+  stages.rules.stages.create(context).yaml({ type: "yaml" });
+  assert.deepEqual(reports, []);
+  // Linted from the paper itself, the command names it as `.`.
+  stages.rules.stages
+    .create(context)
+    .yaml({ type: "yaml", value: "stages:\n  - stage: submitted" });
+  assert.deepEqual(
+    reports.map((r) => r.data),
+    [{ paper: "." }],
+  );
+});

package/eslint-rules/paper-stages.ts

@@ -46,8 +46,8 @@
  * keyed by stage name holds one. The `versions/<date>-<stage>.pdf` convention already holds
  * many, and the field must not be weaker than the filenames it describes.
  */
-import { existsSync, statSync, readdirSync } from "node:fs";
-import { join, dirname } from "node:path";
+import { existsSync, readFileSync, statSync, readdirSync } from "node:fs";
+import { join, dirname, relative } from "node:path";
 import assert from "node:assert/strict";
 import { load } from "js-yaml";
 import { z } from "zod";
@@ -68,6 +68,58 @@ const StageRecord = z
     sourceLost: z.unknown().optional(),
   })
   .catch({});
+/** What these rules read of the paper's settings: whether it keeps `cycles` at all. */
+const Settings = z
+  .looseObject({ cycles: z.array(z.unknown()).optional() })
+  .catch({});
+
+/**
+ * Whether the paper keeps `cycles` in its paperlint.json. Its frozen versions are then
+ * `versions/<cycle>/<stage>.{pdf,tex}` recorded in `versions/lock.json`, judged by `versions/layout`,
+ * and the `stages:` list is retired: `paperlint versions migrate` turns it into folders.
+ */
+function keepsCycles(dir: string): boolean {
+  try {
+    const raw: unknown = JSON.parse(
+      readFileSync(join(dir, "paperlint.json"), "utf8"),
+    );
+    return Settings.parse(raw).cycles !== undefined;
+  } catch {
+    return false;
+  }
+}
+
+/** Under `cycles`: a non-empty `stages:` list is one finding, naming the command that retires it. */
+function retired(context: RuleContext, dir: string) {
+  return {
+    yaml(node: { readonly value?: string }) {
+      const parsed = (() => {
+        try {
+          return { ok: true as const, data: load(node.value ?? "") };
+        } catch (e) {
+          assert.ok(e instanceof Error);
+          return { ok: false as const, reason: e.message };
+        }
+      })();
+      if (!parsed.ok) {
+        context.report({
+          node,
+          messageId: "badYaml",
+          data: { reason: parsed.reason },
+        });
+        return;
+      }
+      const raw = Frontmatter.parse(parsed.data).stages;
+      if (raw === undefined || (Array.isArray(raw) && raw.length === 0)) return;
+      context.report({
+        node,
+        messageId: "retired",
+        data: { paper: relative(context.cwd, dir) || "." },
+      });
+    },
+  };
+}
+
 const REQUIRED = ["date", "pdf", "bytes"] satisfies readonly (
   "date" | "pdf" | "bytes"
 )[];
@@ -126,6 +178,12 @@ function frozenPdfs(
   return out;
 }
 
+/** The frozen PDFs in `versions/` that no declared stage of the same day names. */
+const undeclared = (dir: string, records: readonly Declared[]) =>
+  frozenPdfs(join(dir, "versions")).filter(
+    (f) => !records.some((r) => r.stage === f.stage && r.date === f.date),
+  );
+
 export default {
   rules: {
     stages: {
@@ -150,12 +208,14 @@ export default {
             "«{{stage}}» ({{date}}): {{want}} bytes declared, {{got}} on disk — this is NOT that file",
           fileNotDeclared:
             "`versions/{{file}}` is frozen, but no «{{stage}}» stage on {{date}} is declared in `stages` — the artefact ran ahead of the declaration",
+          retired:
+            "`stages` is retired for a paper that keeps `cycles` in paperlint.json: its frozen versions are versions/<cycle>/<stage>.{pdf,tex}, recorded in versions/lock.json — `npx paperlint versions migrate {{paper}}` moves the files there and takes the list out",
         },
       },
       create(context: RuleContext) {
         const dir = dirname(context.filename);
+        if (keepsCycles(dir)) return retired(context, dir);
         let declared: Declared[] | null = null; // null = there was no frontmatter at all
-
         return {
           yaml(node: { readonly value?: string }) {
             let data: unknown;
@@ -252,16 +312,13 @@ export default {
           // 🔴 On `root:exit` rather than inside `yaml`, because the case worth catching is
           // precisely the one with NO frontmatter at all — where the `yaml` visitor never runs.
           "root:exit"(node: object) {
-            const records = declared ?? [];
-            for (const f of frozenPdfs(join(dir, "versions"))) {
-              if (records.some((r) => r.stage === f.stage && r.date === f.date))
-                continue;
+            undeclared(dir, declared ?? []).forEach((f) => {
               context.report({
                 node,
                 messageId: "fileNotDeclared",
                 data: { file: f.name, stage: f.stage, date: f.date },
               });
-            }
+            });
           },
         };
       },
@@ -319,6 +376,8 @@ export default {
       },
       create(context: RuleContext) {
         const dir = dirname(context.filename);
+        // Under `cycles` the lock records each frozen source, and `versions/layout` checks it.
+        if (keepsCycles(dir)) return {};
         return {
           yaml(node: { readonly value?: string }) {
             let data: unknown;

package/eslint-rules/prereg-coverage.test.ts

@@ -399,6 +399,7 @@ describe("the rule, on the status file of a paper", () => {
     rule
       .create({
         filename: join(dir, file),
+        cwd: dir,
         options: [],
         settings: {},
         sourceCode: {

package/eslint-rules/rule-context.ts

@@ -55,6 +55,8 @@ export interface RuleReport {
 
 export interface RuleContext {
   readonly filename: string;
+  /** The directory ESLint runs from: what a command a message names is relative to. */
+  readonly cwd: string;
   readonly options: readonly unknown[];
   readonly settings: Readonly<Record<string, unknown>>;
   readonly sourceCode: RuleSourceCode;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "paperlint",
-  "version": "12.0.0",
+  "version": "13.0.0",
   "description": "A linter for scientific papers written in LaTeX: catches mistakes before you submit to a conference or journal.",
   "type": "module",
   "license": "MIT",
@@ -30,6 +30,7 @@
     "@unified-latex/unified-latex-util-replace": "^1.8.4",
     "@unified-latex/unified-latex-util-visit": "^1.8.4",
     "ajv": "^6.12.6",
+    "diff": "^8.0.4",
     "eslint": "^10.9.1",
     "js-yaml": "^4.1.0",
     "markdown-it": "^14.3.0",

package/presets/agent.jsonc

@@ -0,0 +1,75 @@
+// AGENT'27 (the Second International Workshop on Agentic Engineering, an ICSE 2027 workshop) — a
+// VENUE preset over the IEEE conference family. Everything the IEEEtran template decides (page
+// size, columns, fonts, body size, TeX packages) comes from ieee-conference.jsonc; this file adds
+// what AGENT's call for papers sets. Its card, in prose: `agent.md` beside this file.
+//
+// Verbatim from https://conf.researchr.org/home/icse-2027/agent-2027 (fetched 2026-10-26):
+//   «Full papers (research or experience): up to 8 pages, including references.»
+//   «Short papers (position, emerging research, tool, benchmark, or experience): up to 5 pages,
+//    including references.»
+//   «All submissions must be original, written in English, and formatted according to the IEEE
+//    conference proceedings template. Submissions will be reviewed single-anonymously. Accepted
+//    workshop papers will be published by IEEE. It is not possible to pay for extra pages.»
+//   «Workshop paper submission deadline: November 13, 2026 / Notification of acceptance: December
+//    11, 2026 / Camera-ready deadline: January 29, 2027 / All dates are Anywhere on Earth (AoE).»
+{
+  "type": "venue",
+  "name": "AGENT 2027",
+  // The call quoted above.
+  "url": "https://conf.researchr.org/home/icse-2027/agent-2027",
+  "extends": "paperlint:ieee-conference",
+
+  // «AGENT» alone is an ordinary word: as a name it would flag every paper folder called
+  // `agent-…` (paper/folder-venue-leftover compares folder names by words, and `mentions` reaches
+  // only the text rules). So the venue is «AGENT 2027» and «AGENT'27» (the call's own spelling,
+  // with either apostrophe). ICSE is left out: papers cite ICSE papers by name.
+  "aliases": ["AGENT'27", "AGENT\u201927"],
+
+  // No `template` and no `blind`, on purpose. The call names «the IEEE conference proceedings
+  // template» and no class line, so the family's `[conference]` stands (the ICSE workshops page
+  // gives `[10pt,conference]{IEEEtran}` for workshop PROPOSALS only). The review is
+  // single-anonymous (above), so `blind` — which turns on anonymity/identity — stays unset; the
+  // portal agrees: its status data carries no `"blind":true` (read 2026-10-26).
+
+  // «Submission link» on the call's page: HotCRP.
+  "portal": { "kind": "hotcrp", "url": "https://icse2027-agent.hotcrp.com" },
+
+  // The portal's reading: `"sub":1794657599` on https://icse2027-agent.hotcrp.com/deadlines, shown
+  // as «Saturday Nov 14, 2026, 6:59:59 AM EST» = 2026-11-14T11:59:59Z = the end of 13 Nov AoE. The
+  // scheduled refresh rewrites it. The call's two other dates are not on the portal; they are the
+  // call's, in UTC at the end of the AoE day.
+  "deadlines": [
+    {
+      "what": "submission",
+      "at": "2026-11-14T11:59:59Z",
+      "source": "portal",
+      "url": "https://icse2027-agent.hotcrp.com/deadlines",
+      "read": "2026-10-26",
+    },
+    {
+      "what": "notification",
+      "at": "2026-12-12T11:59:59Z",
+      "source": "call",
+      "url": "https://conf.researchr.org/home/icse-2027/agent-2027",
+      "read": "2026-10-26",
+    },
+    {
+      "what": "camera-ready",
+      "at": "2027-01-30T11:59:59Z",
+      "source": "call",
+      "url": "https://conf.researchr.org/home/icse-2027/agent-2027",
+      "read": "2026-10-26",
+    },
+  ],
+
+  "format": {
+    // 🔴 THE LIMITS INCLUDE THE REFERENCES («up to 8 pages, including references»), and no key
+    // gates a total. `body_pages_max` is banal's body count, which is never more than the total, so
+    // a paper over it is over the limit; a paper whose references sit alone on a page after a full
+    // body passes this gate and is still over. The card says so.
+    "kinds": {
+      "full": { "body_pages_max": 8 },
+      "short": { "body_pages_max": 5 },
+    },
+  },
+}

package/presets/agent.md

@@ -0,0 +1,70 @@
+---
+title: "AGENT @ ICSE — venue card"
+---
+
+# AGENT @ ICSE
+
+The card of the venue preset `paperlint:agent` ([`agent.jsonc`](agent.jsonc)): what the venue asks
+for, in prose. The numbers a machine checks live in the preset; the section at the end is generated
+from it. The `submit-paper` skill reads this card for the venue's specifics.
+
+**Re-verify the call for papers every year**
+([conf.researchr.org/home/icse-2027/agent-2027](https://conf.researchr.org/home/icse-2027/agent-2027)).
+Sources read 2026-10-26: that page, the portal's
+[deadlines page](https://icse2027-agent.hotcrp.com/deadlines), and the
+[ICSE 2027 workshops page](https://conf.researchr.org/track/icse-2027/icse-2027-workshops).
+
+## The venue (2027 edition)
+
+- **Venue**: The Second International Workshop on Agentic Engineering, an ICSE 2027 workshop,
+  Mon 26 April 2027, Dublin.
+- **Portal**: HotCRP, `https://icse2027-agent.hotcrp.com/` (the page's «Submission link»).
+- **Format**: «formatted according to the IEEE conference proceedings template». No class line is
+  given for papers, so the preset keeps the family's `\documentclass[conference]{IEEEtran}`.
+- **Review**: «Submissions will be reviewed single-anonymously.» The authors' names stay on the
+  paper; the portal's status data carries no `"blind":true`, which agrees.
+- **Publisher**: «Accepted workshop papers will be published by IEEE.» The page does not say
+  «archival» or offer a non-archival choice.
+- **Deadlines (AoE)**: submission 13 Nov 2026, notification 11 Dec 2026, camera-ready 29 Jan 2027.
+  The portal reads `"sub":1794657599`, 2026-11-14T11:59:59Z, the end of 13 Nov AoE: the two agree.
+
+## Paper kinds and limits
+
+| kind    | pages | what it is (the call's words)                                                                                      |
+| ------- | ----: | ------------------------------------------------------------------------------------------------------------------ |
+| `full`  |     8 | «Full papers (research or experience): up to 8 pages, including references.»                                       |
+| `short` |     5 | «Short papers (position, emerging research, tool, benchmark, or experience): up to 5 pages, including references.» |
+
+🔴 **The limit is a total, references included**, and «It is not possible to pay for extra pages.»
+`format/page-limit` can only compare banal's body count with the number, so a paper whose body
+fills the pages and whose references stand alone on one more page passes the rule and is over the
+limit. Count the PDF's pages yourself before submitting.
+
+## What else the preset encodes
+
+- **The IEEE template**, through `extends: paperlint:ieee-conference` ([`ieee-conference.md`](ieee-conference.md)).
+- **The venue's name** is `AGENT 2027`, with the aliases `AGENT'27` and `AGENT’27` (what
+  `tex/venue-leftover` looks for in another venue's paper). «AGENT» alone is an ordinary word, and
+  as a name it would flag every paper folder called `agent-…` (`paper/folder-venue-leftover`).
+- **Portal and deadlines** (`portal`, `deadlines`): the submission reading is the portal's and is
+  refreshed by paperlint's scheduled workflow; notification and camera-ready are the call's.
+
+## Not verified
+
+- **Remote presentation**: neither the workshop page, the ICSE workshops page nor the ICSE 2027
+  site's «Attending» menu states a policy. Ask the chairs before relying on one.
+- **AI / LLM usage policy and required sections**: none stated on the workshop page.
+- **The proceedings' class line**: see Format above; the page links the IEEE templates page only.
+
+## What the preset resolves to
+
+<!-- paperlint:preset-rules -->
+<!-- prettier-ignore-start -->
+<!-- Generated from agent.jsonc by `npx eslint --fix` (rule preset/card-rules). Edit the preset, not this section. -->
+
+**`paperlint:agent`** — venue preset for AGENT 2027 · call for papers: <https://conf.researchr.org/home/icse-2027/agent-2027> · extends `paperlint:ieee-conference`
+
+No preset of this chain sets a rule: under it, every rule keeps paperlint's default.
+
+<!-- prettier-ignore-end -->
+<!-- /paperlint:preset-rules -->

package/presets/agentverify.jsonc

@@ -0,0 +1,72 @@
+// AGENTVERIFY 2027 (the International Workshop on Infrastructure for Trustworthy Software Agents, an
+// ICSE 2027 workshop) — a VENUE preset over the IEEE conference family. Everything the IEEEtran
+// template decides comes from ieee-conference.jsonc; this file adds what AGENTVERIFY's call sets.
+// Its card, in prose: `agentverify.md` beside this file.
+//
+// Verbatim from https://agentverify2027.github.io/cfp.html (fetched 2026-10-26):
+//   «Full Papers: Maximum of 8 pages, including references.»
+//   «Short & Demonstration Papers: Maximum of 4 pages, including references.»
+//   «Extended Abstracts: Maximum of 2 pages, including references.»
+//   «Papers will be submitted via HotCRP and reviewed double-blind. Submissions should follow the
+//    IEEE format in line with ICSE 2027 and present an original contribution.»
+//   «Papers are due November 13th, 2026 (AoE).»
+// and from https://agentverify2027.github.io/ (same day): «Paper submission deadline November 13,
+// 2026 / Final notification December 11, 2026 / Camera-ready deadline January 29, 2027 / All
+// deadlines are Anywhere on Earth (AoE).»
+{
+  "type": "venue",
+  "name": "AGENTVERIFY",
+  // The call quoted above.
+  "url": "https://agentverify2027.github.io/cfp.html",
+  "extends": "paperlint:ieee-conference",
+
+  // «reviewed double-blind» (the call above), and `"blind":true` in the portal's status data
+  // (https://icse2027-agentverify.hotcrp.com/deadlines, read 2026-10-26). anonymity/identity then
+  // requires the paper's `identity`.
+  "blind": true,
+
+  // «Submit Your Paper →» on the workshop's site: HotCRP.
+  "portal": {
+    "kind": "hotcrp",
+    "url": "https://icse2027-agentverify.hotcrp.com",
+  },
+
+  // The portal's reading: `"sub":1794657599` = 2026-11-14T11:59:59Z = the end of 13 Nov AoE. It
+  // agrees with the call and with the ICSE workshops page; the organizers' email of 2026-10-23
+  // (agentverify.md) says the same and that there is no separate abstract deadline, so there is no
+  // `registration`. Notification and camera-ready are the site's, at the end of the AoE day.
+  "deadlines": [
+    {
+      "what": "submission",
+      "at": "2026-11-14T11:59:59Z",
+      "source": "portal",
+      "url": "https://icse2027-agentverify.hotcrp.com/deadlines",
+      "read": "2026-10-26",
+    },
+    {
+      "what": "notification",
+      "at": "2026-12-12T11:59:59Z",
+      "source": "call",
+      "url": "https://agentverify2027.github.io/",
+      "read": "2026-10-26",
+    },
+    {
+      "what": "camera-ready",
+      "at": "2027-01-30T11:59:59Z",
+      "source": "call",
+      "url": "https://agentverify2027.github.io/",
+      "read": "2026-10-26",
+    },
+  ],
+
+  "format": {
+    // 🔴 THE LIMITS INCLUDE THE REFERENCES, and no key gates a total: `body_pages_max` is banal's
+    // body count, never more than the total, so a paper over it is over the limit; references alone
+    // on a page after a full body pass this gate and are still over (agentverify.md).
+    "kinds": {
+      "full": { "body_pages_max": 8 },
+      "short": { "body_pages_max": 4 },
+      "abstract": { "body_pages_max": 2 },
+    },
+  },
+}