paperlint 12.0.0 → 12.1.0

package/CONTRIBUTING.md

@@ -179,7 +179,8 @@ change to `.c8rc.json`'s exclude list that was not made there on purpose.
 ## Adding a venue
 
 A venue is a **preset**, a JSONC file in `presets/`, validated by
-`venue-profile.schema.json` beside it. Adding one is three files and no code:
+`venue-profile.schema.json` beside it. Adding one is three files and no code (the maintainer skill
+`.claude/skills/add-venue/` walks an agent through it, from the call for papers):
 
 1. **The preset, thin.** `presets/<name>.jsonc` extends the template family it is built on
    (`"extends": "paperlint:acm-sigconf"` for an ACM venue) and adds only what the call for papers

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "paperlint",
-  "version": "12.0.0",
+  "version": "12.1.0",
   "description": "A linter for scientific papers written in LaTeX: catches mistakes before you submit to a conference or journal.",
   "type": "module",
   "license": "MIT",

package/presets/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 },
+    },
+  },
+}

package/presets/agentverify.md

@@ -0,0 +1,85 @@
+---
+title: "AGENTVERIFY @ ICSE — venue card"
+---
+
+# AGENTVERIFY @ ICSE
+
+The card of the venue preset `paperlint:agentverify` ([`agentverify.jsonc`](agentverify.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**
+([agentverify2027.github.io/cfp.html](https://agentverify2027.github.io/cfp.html)). Sources read
+2026-10-26: that page, [the home page](https://agentverify2027.github.io/), the portal's
+[deadlines page](https://icse2027-agentverify.hotcrp.com/deadlines), and the
+[ICSE 2027 workshops page](https://conf.researchr.org/track/icse-2027/icse-2027-workshops). The
+researchr page `conf.researchr.org/home/agentverify-2027` only redirects to the workshop's site.
+
+## The venue (2027 edition)
+
+- **Venue**: Workshop on Infrastructure for Trustworthy Software Agents, an ICSE 2027 workshop,
+  Sun 25 April 2027, Dublin.
+- **Portal**: HotCRP, `https://icse2027-agentverify.hotcrp.com/` («Submit Your Paper →»).
+- **Format and review**: «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.» The portal's status data carries `"blind":true`. No class line is given, so the
+  preset keeps the family's `\documentclass[conference]{IEEEtran}`.
+- **Publisher**: «Accepted papers will appear in the ICSE 2027 workshop proceedings by default.»
+  The ICSE workshops page: «The workshop papers will be published by the IEEE.» The CFP does not
+  say what a non-default route would be, or whether it is archival.
+- **Presenting**: «At least one author of each accepted paper must register and present.»
+- **Deadlines (AoE)**: submission 13 Nov 2026, reviews due 5 Dec, final notification 11 Dec 2026,
+  camera-ready 29 Jan 2027.
+
+## 🔴 The submission deadline moved
+
+The organizers' email of 2026-10-23 (as received by an author; the email itself is not public):
+
+> The submission deadline for AGENTVERIFY 2027 has been updated to November 13, 2026. We do not
+> have a separate abstract submission deadline.
+
+Source: **organizers' email, 2026-10-23**. On 2026-10-26 every public source agreed with it: the
+CFP, the home page («Papers are due November 13th, 2026 (AoE)»), the ICSE workshops page («Workshop
+Papers Submission Deadline for all Workshops: 13 November 2026») and the portal (`"sub":1794657599`,
+2026-11-14T11:59:59Z). None of the pages read showed 6 November. If a cached copy of any of them
+does, the email and the live pages win.
+
+## Paper kinds and limits
+
+| kind       | pages | the call's words                                                                                                                        |
+| ---------- | ----: | --------------------------------------------------------------------------------------------------------------------------------------- |
+| `full`     |     8 | «Full Papers: Maximum of 8 pages, including references.»                                                                                |
+| `short`    |     4 | «Short & Demonstration Papers: Maximum of 4 pages, including references.»                                                               |
+| `abstract` |     2 | «Extended Abstracts: Maximum of 2 pages, including references.» They «are free of APC charges and will be included in the proceedings.» |
+
+🔴 **Every limit is a total, references included.** `format/page-limit` can only compare banal's
+body count with the number, so references standing alone on a page after a full body pass the rule
+and are 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)).
+- **Double-blind review** (`blind`), so `anonymity/identity` checks the PDF against the paper's
+  declared `identity`.
+- **Portal and deadlines**: the submission reading is the portal's, refreshed by paperlint's
+  scheduled workflow; notification and camera-ready are the site's. No `registration`: there is no
+  abstract deadline.
+
+## Not verified
+
+- **Remote presentation**: not stated (only «must register and present»).
+- **Archival / non-archival choice**: «by default» suggests an alternative; none is described.
+- **AI / LLM usage policy and required sections**: none stated.
+
+## What the preset resolves to
+
+<!-- paperlint:preset-rules -->
+<!-- prettier-ignore-start -->
+<!-- Generated from agentverify.jsonc by `npx eslint --fix` (rule preset/card-rules). Edit the preset, not this section. -->
+
+**`paperlint:agentverify`** — venue preset for AGENTVERIFY · call for papers: <https://agentverify2027.github.io/cfp.html> · 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/ieee-conference.md

@@ -30,7 +30,7 @@ versions. `compsoc` changes the text block and the headings, and nothing the `pd
 <!-- prettier-ignore-start -->
 <!-- Generated from ieee-conference.jsonc by `npx eslint --fix` (rule preset/card-rules). Edit the preset, not this section. -->
 
-**`paperlint:ieee-conference`** — template family, no venue of its own · extended by `paperlint:aidc`, `paperlint:msr`
+**`paperlint:ieee-conference`** — template family, no venue of its own · extended by `paperlint:agent`, `paperlint:agentverify`, `paperlint:aidc`, `paperlint:msr`, `paperlint:nlbse`
 
 No preset of this chain sets a rule: under it, every rule keeps paperlint's default.
 

package/presets/nlbse.jsonc

@@ -0,0 +1,76 @@
+// NLBSE 2027 (the 6th Natural Language-based Software Engineering Workshop, 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 NLBSE's call sets. Its card, in prose:
+// `nlbse.md` beside this file.
+//
+// Verbatim from https://conf.researchr.org/home/icse-2027/nlbse-2027 (fetched 2026-10-26):
+//   «Full papers (maximum of 8 pages, including references).» · «Education tools and materials
+//    (maximum of 8 pages, including references).» · «Replication Studies and Negative results
+//    (maximum of 8 pages, including references).» · «Short and demonstration papers (maximum of 4
+//    pages, including references).» · «Position papers (maximum of 2 pages, including
+//    references).» · «Tool Competition entries (maximum of 4 pages, including references).»
+//   «All submissions must conform to the ICSE’27 formatting and submission instructions. All
+//    submissions must be anonymized, in PDF format and should be performed electronically through
+//    HotCRP: https://icse2027-nlbse.hotcrp.com/.»
+//   Dates: «Fri 13 Nov 2026 (updated) Paper submission / Fri 27 Nov 2026 (new) Tool
+//    competition/Research challenge paper submission / Fri 11 Dec 2026 Author notification / Fri
+//    29 Jan 2027 Camera ready», «All dates are Anywhere on Earth (AoE).»
+{
+  "type": "venue",
+  "name": "NLBSE",
+  // The call quoted above.
+  "url": "https://conf.researchr.org/home/icse-2027/nlbse-2027",
+  "extends": "paperlint:ieee-conference",
+
+  // «All submissions must be anonymized» (the call above), and `"blind":true` in the portal's
+  // status data (https://icse2027-nlbse.hotcrp.com/deadlines, read 2026-10-26). The call never
+  // says «double-blind»; anonymity/identity then requires the paper's `identity`.
+  "blind": true,
+
+  // «should be performed electronically through HotCRP» (the call above).
+  "portal": { "kind": "hotcrp", "url": "https://icse2027-nlbse.hotcrp.com" },
+
+  // 🔴 THE PORTAL HOLDS NO DEADLINE YET: on 2026-10-26 its status data read `"sub":{"open":false}`
+  // with no date, while the call lists 13 Nov. So these are the call's readings, in UTC at the end
+  // of the AoE day; the refresh adds the portal's the day it publishes one (the earlier binds).
+  // The competition papers' 27 Nov is in the card only: one reading per kind and source.
+  "deadlines": [
+    {
+      "what": "submission",
+      "at": "2026-11-14T11:59:59Z",
+      "source": "call",
+      "url": "https://conf.researchr.org/home/icse-2027/nlbse-2027",
+      "read": "2026-10-26",
+    },
+    {
+      "what": "notification",
+      "at": "2026-12-12T11:59:59Z",
+      "source": "call",
+      "url": "https://conf.researchr.org/home/icse-2027/nlbse-2027",
+      "read": "2026-10-26",
+    },
+    {
+      "what": "camera-ready",
+      "at": "2027-01-30T11:59:59Z",
+      "source": "call",
+      "url": "https://conf.researchr.org/home/icse-2027/nlbse-2027",
+      "read": "2026-10-26",
+    },
+  ],
+
+  "format": {
+    // 🔴 EVERY LIMIT INCLUDES 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 (nlbse.md). The competition
+    // papers' «2-4 pages» (Multitask Code Classification) does not say whether references count, so
+    // only the call's «Tool Competition entries» line is a kind; the research challenge has no limit.
+    "kinds": {
+      "full": { "body_pages_max": 8 },
+      "education": { "body_pages_max": 8 },
+      "replication": { "body_pages_max": 8 },
+      "short": { "body_pages_max": 4 },
+      "position": { "body_pages_max": 2 },
+      "tool-competition": { "body_pages_max": 4 },
+    },
+  },
+}

package/presets/nlbse.md

@@ -0,0 +1,85 @@
+---
+title: "NLBSE @ ICSE — venue card"
+---
+
+# NLBSE @ ICSE
+
+The card of the venue preset `paperlint:nlbse` ([`nlbse.jsonc`](nlbse.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/nlbse-2027](https://conf.researchr.org/home/icse-2027/nlbse-2027)).
+Sources read 2026-10-26: that page, the portal's
+[deadlines page](https://icse2027-nlbse.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 6th Natural Language-based Software Engineering Workshop, an ICSE 2027 workshop,
+  Sun 25 April 2027, Dublin. «NLBSE 2027 is sponsored by ACM SIGSOFT and IEEE-CS TCSE.»
+- **Portal**: HotCRP, `https://icse2027-nlbse.hotcrp.com/`.
+- **Format**: «All submissions must conform to the ICSE’27 formatting and submission instructions.»
+  No template or class line is named on the page; the ICSE 2027 workshops page says «The workshop
+  papers will be published by the IEEE.» and links the IEEE templates only for workshop proposals.
+  The preset keeps the family's `\documentclass[conference]{IEEEtran}`, an inference, not a quote.
+- **Review**: «All submissions must be anonymized, in PDF format». The call never says single- or
+  double-blind; the portal's status data carries `"blind":true`, which the preset follows.
+- **Publisher**: the call says only «The accepted submissions will be published in the workshop
+  proceedings.» (tool competitions) and «Accepted papers will appear in the NLBSE ’27 proceedings.»
+  (research challenge, skill classification). IEEE comes from the ICSE page above. No archival /
+  non-archival choice is mentioned.
+- **Deadlines (AoE)**: paper submission 13 Nov 2026 (marked «updated»), tool competition and
+  research challenge papers **27 Nov 2026** (marked «new»), notification 11 Dec 2026, camera-ready
+  29 Jan 2027. Only the 13 Nov line is in the preset.
+- 🔴 **Disagreement**: the call lists 13 Nov, but the portal's status data on 2026-10-26 reads
+  `"sub":{"open":false}` with no date, i.e. it was closed and showed none. The preset therefore
+  carries the call's reading until the portal publishes one.
+
+## Paper kinds and limits
+
+Every limit says «including references».
+
+| kind               | pages | the call's words                                                                       |
+| ------------------ | ----: | -------------------------------------------------------------------------------------- |
+| `full`             |     8 | «Full papers (maximum of 8 pages, including references).»                              |
+| `education`        |     8 | «Education tools and materials (maximum of 8 pages, including references).»            |
+| `replication`      |     8 | «Replication Studies and Negative results (maximum of 8 pages, including references).» |
+| `short`            |     4 | «Short and demonstration papers (maximum of 4 pages, including references).»           |
+| `position`         |     2 | «Position papers (maximum of 2 pages, including references).»                          |
+| `tool-competition` |     4 | «Tool Competition entries (maximum of 4 pages, including references).»                 |
+
+Two competition papers have no kind. Multitask Code Classification: «you must write a paper (2-4
+pages)», references not mentioned. The research challenge states no limit.
+
+🔴 **The limits are totals.** `format/page-limit` can only compare banal's body count with the
+number, so references standing alone on a page after a full body pass the rule and are 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)).
+- **Anonymous review** (`blind`), so `anonymity/identity` checks the PDF against the paper's
+  declared `identity`.
+- **Portal and deadlines**: all three readings are the call's for now (see Disagreement above).
+
+## Not verified
+
+- **Remote presentation**: not stated on the page.
+- **AI / LLM usage policy**: not stated. Required content exists only for the competition papers
+  (model, pre-processing, tuning, validation results, code link; the challenge: research problem,
+  role of natural language, dataset version, methods, findings, reproducibility link).
+- **The template's class line** and **whether a non-archival route exists**: not stated.
+
+## What the preset resolves to
+
+<!-- paperlint:preset-rules -->
+<!-- prettier-ignore-start -->
+<!-- Generated from nlbse.jsonc by `npx eslint --fix` (rule preset/card-rules). Edit the preset, not this section. -->
+
+**`paperlint:nlbse`** — venue preset for NLBSE · call for papers: <https://conf.researchr.org/home/icse-2027/nlbse-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/scripts/coverage-config.test.ts

@@ -403,6 +403,9 @@ test("the exclude list is exactly the justified set", () => {
     // skill and CLAUDE.md sources vigiles compiles; a glob's `**` skips a dot directory
     "**/*.spec.ts",
     ".github/*.spec.ts",
+    // the same two kinds in a maintainer skill, which does not ship (`.claude/skills/<name>/`)
+    ".claude/skills/*/*.spec.ts",
+    ".claude/skills/*/*.eval.*",
     // type declarations
     "**/*.d.ts",
     "**/*.d.mts",

package/skills/CLAUDE.md

@@ -1,4 +1,4 @@
-<!-- vigiles:sha256:e0aa2cec8926b04f compiled from skills/CLAUDE.md.spec.ts -->
+<!-- vigiles:sha256:b9427668f4875ea5 compiled from skills/CLAUDE.md.spec.ts -->
 
 # CLAUDE.md
 
@@ -12,7 +12,7 @@ package's location come from `skills/paper-pipeline/scripts/consumer.mjs`; the l
 
 ### Skills Ship In Skills
 
-**Guidance only** — Skills ship in `skills/`, never `.claude/skills/`. `paperlint init` symlinks each one into the consumer's `.claude/skills/<name>`; the link's directory name is the skill's name. `skills/` is the npm layout: of 855 packages scanned, 336 shipped `skills/` against 15 `.claude/skills/`. Rejected: leaving the skills for Claude Code to find inside `node_modules` (`docs/install.md`); a symlink loads at startup, deterministically.
+**Guidance only** — Skills ship in `skills/`, never `.claude/skills/`. `paperlint init` symlinks each one into the consumer's `.claude/skills/<name>`; the link's directory name is the skill's name. `skills/` is the npm layout: of 855 packages scanned, 336 shipped `skills/` against 15 `.claude/skills/`. Rejected: leaving the skills for Claude Code to find inside `node_modules` (`docs/install.md`); a symlink loads at startup, deterministically. A skill for working on paperlint itself (it edits this repository's presets, tests or source) does not ship: it lives in `.claude/skills/<name>/` as a real directory, outside `files`, and no shipped skill or user doc names it (`add-venue`).
 
 ### A Criterion That Judges Prose
 

package/skills/CLAUDE.md.spec.ts

@@ -9,7 +9,7 @@ ${file("src/link-skills.ts")}; install-specific paths are flagged by ${file("esl
   },
   rules: {
     "skills-ship-in-skills": guidance(
-      "Skills ship in `skills/`, never `.claude/skills/`. `paperlint init` symlinks each one into the consumer's `.claude/skills/<name>`; the link's directory name is the skill's name. `skills/` is the npm layout: of 855 packages scanned, 336 shipped `skills/` against 15 `.claude/skills/`. Rejected: leaving the skills for Claude Code to find inside `node_modules` (`docs/install.md`); a symlink loads at startup, deterministically.",
+      "Skills ship in `skills/`, never `.claude/skills/`. `paperlint init` symlinks each one into the consumer's `.claude/skills/<name>`; the link's directory name is the skill's name. `skills/` is the npm layout: of 855 packages scanned, 336 shipped `skills/` against 15 `.claude/skills/`. Rejected: leaving the skills for Claude Code to find inside `node_modules` (`docs/install.md`); a symlink loads at startup, deterministically. A skill for working on paperlint itself (it edits this repository's presets, tests or source) does not ship: it lives in `.claude/skills/<name>/` as a real directory, outside `files`, and no shipped skill or user doc names it (`add-venue`).",
     ),
     "a-criterion-that-judges-prose": guidance(
       'It follows the five principles in `eslint-rules/CLAUDE.md` ("A rule that judges prose"). A skill does not grep prose for what a rule can count.',

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

@@ -302,7 +302,7 @@ describe("paperlint lint — the paper over its preset, and the project's own pr
     const r = await lint(root);
     expect(r.code).toBe(1);
     expect(r.out).toMatch(
-      /acm-sigconf, agenticdev, aidc, aisec, ieee-conference, msr, realm/,
+      /acm-sigconf, agent, agenticdev, agentverify, aidc, aisec, ieee-conference, msr, nlbse, realm/,
     );
   });
 });

package/src/preset-card-rule.test.ts

@@ -87,11 +87,14 @@ describe("the shipped cards", () => {
     // Guards: a glob that matched nothing lints nothing and reports clean.
     expect(results.map((r) => r.filePath.slice(P.length + 1)).sort()).toEqual([
       "acm-sigconf.md",
+      "agent.md",
       "agenticdev.md",
+      "agentverify.md",
       "aidc.md",
       "aisec.md",
       "ieee-conference.md",
       "msr.md",
+      "nlbse.md",
       "realm.md",
       "tex-base.md",
     ]);

package/src/presets.test.ts

@@ -174,6 +174,53 @@ const FAMILIES = PARSED.filter((p) =>
   PARSED.some((q) => q.preset.extends === `${SHIPPED_PREFIX}${p.name}`),
 );
 
+// What each shipped preset declares itself to be; a new preset adds its row here.
+const DECLARED = {
+  "acm-sigconf.jsonc": { type: "family" },
+  "agenticdev.jsonc": {
+    type: "venue",
+    name: "AgenticDev",
+    url: "https://conf.researchr.org/home/ase-2026/agenticdev-2026",
+  },
+  "agent.jsonc": {
+    type: "venue",
+    name: "AGENT 2027",
+    url: "https://conf.researchr.org/home/icse-2027/agent-2027",
+  },
+  "agentverify.jsonc": {
+    type: "venue",
+    name: "AGENTVERIFY",
+    url: "https://agentverify2027.github.io/cfp.html",
+  },
+  "aidc.jsonc": {
+    type: "venue",
+    name: "AIDC",
+    url: "https://aidcworkshop.github.io/",
+  },
+  "aisec.jsonc": {
+    type: "venue",
+    name: "AISec",
+    url: "https://aisec.cc/",
+  },
+  "ieee-conference.jsonc": { type: "family" },
+  "msr.jsonc": {
+    type: "venue",
+    name: "MSR",
+    url: "https://2027.msrconf.org/track/msr-2027-technical-papers",
+  },
+  "nlbse.jsonc": {
+    type: "venue",
+    name: "NLBSE",
+    url: "https://conf.researchr.org/home/icse-2027/nlbse-2027",
+  },
+  "realm.jsonc": {
+    type: "venue",
+    name: "REALM",
+    url: "https://realm-workshop.github.io/call_for_papers",
+  },
+  "tex-base.jsonc": { type: "base" },
+};
+
 describe("what each shipped preset declares itself to be", () => {
   it("every shipped preset loads and declares what it is; a venue links its call", () => {
     const declared = Object.fromEntries(
@@ -185,36 +232,7 @@ describe("what each shipped preset declares itself to be", () => {
             .identity,
         ]),
     );
-    expect(declared).toEqual({
-      "acm-sigconf.jsonc": { type: "family" },
-      "agenticdev.jsonc": {
-        type: "venue",
-        name: "AgenticDev",
-        url: "https://conf.researchr.org/home/ase-2026/agenticdev-2026",
-      },
-      "aidc.jsonc": {
-        type: "venue",
-        name: "AIDC",
-        url: "https://aidcworkshop.github.io/",
-      },
-      "aisec.jsonc": {
-        type: "venue",
-        name: "AISec",
-        url: "https://aisec.cc/",
-      },
-      "ieee-conference.jsonc": { type: "family" },
-      "msr.jsonc": {
-        type: "venue",
-        name: "MSR",
-        url: "https://2027.msrconf.org/track/msr-2027-technical-papers",
-      },
-      "realm.jsonc": {
-        type: "venue",
-        name: "REALM",
-        url: "https://realm-workshop.github.io/call_for_papers",
-      },
-      "tex-base.jsonc": { type: "base" },
-    });
+    expect(declared).toEqual(DECLARED);
   });
 
   it("the families another preset extends are exactly the ones that declare `family`", () => {
@@ -457,7 +475,7 @@ describe("what does not resolve, and says why", () => {
       "a shipped name with a typo",
       "paperlint:agenticdve",
       "not-found",
-      /acm-sigconf, agenticdev, aidc, aisec, ieee-conference, msr, realm/,
+      /acm-sigconf, agent, agenticdev, agentverify, aidc, aisec, ieee-conference, msr, nlbse, realm/,
     ],
     ["the base TeX set", "paperlint:tex-base", "not-found", /agenticdev/],
     [
@@ -625,11 +643,14 @@ describe("shippedVenueNames — what each shipped venue is called", () => {
     // A venue is labelled by its `name`, a family by its file name.
     expect(names.map((n) => n.label)).toEqual([
       "acm-sigconf",
+      "AGENT 2027",
       "AgenticDev",
+      "AGENTVERIFY",
       "AIDC",
       "AISec",
       "ieee-conference",
       "MSR",
+      "NLBSE",
       "REALM",
     ]);
     expect(names.find((n) => n.label === "AISec")?.aliases).toEqual(
@@ -647,11 +668,14 @@ describe("shippedVenueNames — what each shipped venue is called", () => {
       shippedVenueNames({ files, venuesDir: VENUES }).map((n) => n.label),
     ).toEqual([
       "acm-sigconf",
+      "AGENT 2027",
       "AgenticDev",
+      "AGENTVERIFY",
       "AIDC",
       "AISec",
       "ieee-conference",
       "MSR",
+      "NLBSE",
     ]);
   });
 });

package/src/tex-venue-rules.test.ts

@@ -998,9 +998,12 @@ describe("otherVenues", () => {
     if (!aidc.ok) return;
     expect(otherVenues(aidc.value, deps).map((o) => o.label)).toEqual([
       "acm-sigconf",
+      "AGENT 2027",
       "AgenticDev",
+      "AGENTVERIFY",
       "AISec",
       "MSR",
+      "NLBSE",
     ]);
   });
 });

package/src/venue-rules.test.ts

@@ -270,13 +270,13 @@ describe("pdf/profile — the declaration must resolve, or nothing is judged", (
       "an unknown venue (a typo would silently disable every check)",
       { extends: "paperlint:agentic-dev", kind: "short" },
       "preset",
-      /agenticdev, aidc, aisec, ieee-conference, msr, realm/,
+      /agent, agenticdev, agentverify, aidc, aisec, ieee-conference, msr, nlbse, realm/,
     ],
     [
       "the base TeX set is not a venue",
       { extends: "paperlint:tex-base" },
       "preset",
-      /agenticdev, aidc, aisec, ieee-conference, msr, realm/,
+      /agent, agenticdev, agentverify, aidc, aisec, ieee-conference, msr, nlbse, realm/,
     ],
     [
       "paperlint.json that is not JSON",