paperlint 7.1.0 → 8.0.0

package/lib/skill-eval-fixture.ts

@@ -10,54 +10,61 @@
  * and the zero was an artifact of the empty directory, not a fact about the skill.
  *
  * Extracted from `paper-pipeline/pipeline-firing.eval.mjs`, which had it right
- * from the start, so the two runners cannot drift apart on what the model sees.
+ * from the start; the `paper-pipeline/*.eval.mjs` experiments carry the same
+ * block, byte for byte.
  *
  * ⚠️ AND THE PRICE, so this file is not a one-sided story (measured 2026-08-12).
  * With a fixture present the model OPENS THE PAPER and looks around, so the number
  * stops being "did the DESCRIPTION fire" and becomes "did the model go investigate
  * and then fire". A different quantity, and a costlier one: ~590k → ~780k tokens
- * per skill (+190k) and 67s → 84s, while this whole fixture is 1,537 characters
- * ≈ 384 tokens. The growth is reading, not input size (`cache` 470k → 652k).
+ * per skill (+190k) and 67s → 84s, while the fixture measured then was 1,537
+ * characters ≈ 384 tokens. The growth is reading, not input size (`cache`
+ * 470k → 652k).
  * Cite the trigger numbers with that caveat attached — it is written out in
  * `vigiles/repro/skill-trigger-2026-08-11/README.md` under "How to read".
  */
 export const FIXTURE = {
-  "paper/paper.md": [
-    "# Prose Isn't Policy: Measuring Whether Agent-Config Rules Are Enforceable",
+  "paper/paper.tex": [
+    "\\documentclass{article}",
+    "\\title{Prose Isn't Policy: Measuring Whether Agent-Config Rules Are Enforceable}",
+    "\\begin{document}",
+    "\\maketitle",
     "",
-    "## Abstract",
+    "\\begin{abstract}",
     "Agent configuration files state rules in prose and assume the model obeys them. We compile a",
-    "corpus of real rules and measure what fraction can be mechanically enforced. We find that 84%",
+    "corpus of real rules and measure what fraction can be mechanically enforced. We find that 84\\%",
     "of rules in our corpus are enforceable, and that LLM-authored checkers for the remainder leak",
-    "silently in 84-96% of adversarial cases \\cite{greshake2023}.",
+    "silently in 84--96\\% of adversarial cases~\\cite{greshake2023}.",
+    "\\end{abstract}",
     "",
-    "## 1 Introduction",
+    "\\section{Introduction}",
     "Every agent harness ships a natural-language rulebook. Nothing checks it. This is the same",
-    "mistake as a code comment that claims an invariant no test enforces \\cite{thompson1984}.",
+    "mistake as a code comment that claims an invariant no test enforces~\\cite{thompson1984}.",
     "",
-    "## 2 Method",
+    "\\section{Method}",
     "We gather rules from public repositories, classify each by enforceability, and build a",
     "two-stage adversarial gate that validates a synthesized rule against a blind gold set.",
     "",
-    "## 3 Results",
-    "See Table 1. The headline number is 84%.",
+    "\\section{Results}",
+    "See Table~1. The headline number is 84\\%.",
     "",
-    "## 4 Discussion",
+    "\\section{Discussion}",
     "The result generalizes beyond our corpus in the sense that the mechanism is not corpus-specific,",
     "though of course the specific percentages are, and it is important to note in this context that",
     "the framing itself may be what carries, rather than the measurement.",
     "",
-    "## 5 Threats to Validity",
+    "\\section{Threats to Validity}",
     "Our corpus is drawn from public repositories and may not represent private configurations.",
     "",
-    "## 6 Related Work",
+    "\\section{Related Work}",
     "TODO",
     "",
-    "## 7 Conclusion",
+    "\\section{Conclusion}",
     "Prose is not policy.",
+    "\\end{document}",
   ].join("\n"),
   "paper/repro/README.md":
-    "# Reproduction artifact\n\n`python3 paper_numbers.py` recomputes every bolded figure in paper.md.\n",
+    "# Reproduction artifact\n\n`python3 paper_numbers.py` recomputes every bolded figure in paper.tex.\n",
   "paper/PIPELINE-STATUS.md":
     "# Pipeline status\n\n| gate | state |\n|---|---|\n| numbers | pass |\n| structure | not run |\n| citations | not run |\n",
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "paperlint",
-  "version": "7.1.0",
+  "version": "8.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",
@@ -114,8 +114,6 @@
     "eslint.config.mjs",
     "fixtures",
     "!fixtures/accepted-papers",
-    "!fixtures/real-markdown-paper",
-    "fixtures/real-markdown-paper/baseline.*",
     "hooks",
     "lib",
     "presets",

package/presets/aidc.jsonc

@@ -13,10 +13,12 @@
 //    and appendices.»
 //   «Submissions must be properly anonymized for double-blind review.»
 //
-// THE DEADLINE PEOPLE GET WRONG (not a lint fact): the HotCRP portal closes 2026-10-02 11:59:59 UTC
+// THE DEADLINE PEOPLE GET WRONG: the HotCRP portal closed 2026-10-02 11:59:59 UTC first
 // (`"sub":1790942399` on https://aidc.submit.acsac.org/deadlines, recorded in paperlint#90), while
-// the workshop page says «October 2, 2026 (Anywhere-on-Earth, AoE)» — a day later. The portal is
-// what refuses the upload.
+// the workshop page said «October 2, 2026 (Anywhere-on-Earth, AoE)» — a day later; by 2026-10-05
+// the portal had moved it a day (`"sub":1791028799`). The portal is what refuses the upload, so its
+// readings are `deadlines` below, rewritten by the scheduled refresh in paperlint's repository
+// (.github/workflows/deadlines.yml) when the portal changes them.
 //
 // THE REVIEW IS DOUBLE-BLIND: `"blind":true` in the same portal data, and the call above.
 //
@@ -38,6 +40,25 @@
   // the HotCRP API, there.
   "portal": { "kind": "hotcrp", "url": "https://aidc.submit.acsac.org" },
 
+  // Read from the portal's public deadlines page; the camera-ready only in its status object
+  // (`"final":{"done":1793447999}`).
+  "deadlines": [
+    {
+      "what": "submission",
+      "at": "2026-10-03T11:59:59Z",
+      "source": "portal",
+      "url": "https://aidc.submit.acsac.org/deadlines",
+      "read": "2026-10-05",
+    },
+    {
+      "what": "camera-ready",
+      "at": "2026-10-31T11:59:59Z",
+      "source": "portal",
+      "url": "https://aidc.submit.acsac.org/deadlines",
+      "read": "2026-10-05",
+    },
+  ],
+
   // What the venue is called in a paper's text (tex/venue-leftover): the workshop, and the
   // conference it is held at.
   "aliases": ["AIDC", "ACSAC"],

package/presets/aidc.md

@@ -21,9 +21,12 @@ from it. The `submit-paper` skill reads this card for the venue's specifics.
 - **Double-blind**: «Submissions must be properly anonymized for double-blind review.», and
   `"blind":true` in the portal's data.
 - **Portal**: HotCRP at `https://aidc.submit.acsac.org`.
-- 🔴 **The deadline people get wrong**: the HotCRP portal closes 2026-10-02 11:59:59 UTC
-  (`"sub":1790942399` on `https://aidc.submit.acsac.org/deadlines`), while the workshop page says
-  «October 2, 2026 (Anywhere-on-Earth, AoE)» — a day later. The portal is what refuses the upload.
+- 🔴 **The deadline people get wrong**: the HotCRP portal closed 2026-10-02 11:59:59 UTC first
+  (`"sub":1790942399` on `https://aidc.submit.acsac.org/deadlines`), while the workshop page said
+  «October 2, 2026 (Anywhere-on-Earth, AoE)» — a day later; on 2026-10-05 the portal read
+  2026-10-03 11:59:59 UTC (`"sub":1791028799`). The portal is what refuses the upload. The preset
+  carries its readings as `deadlines`, refreshed by paperlint's scheduled workflow when the portal
+  changes them.
 
 ## Paper kinds and limits
 

package/presets/msr.jsonc

@@ -15,7 +15,10 @@
 //    camera-ready version.»
 //   «The MSR 2027 Technical Track will employ a double-anonymous review process.»
 //
-// The dates are not lint facts; they are in the card, msr.md beside this file.
+// THE DEADLINES ARE THE PORTAL'S, as read: `deadlines` below is rewritten by the scheduled refresh
+// in paperlint's repository (.github/workflows/deadlines.yml) when the portal changes them, and a
+// paper reaches the new dates through its normal update of paperlint. The call's own wording
+// (abstract and paper days, AoE) is in the card, msr.md beside this file.
 {
   "type": "venue",
   "name": "MSR",
@@ -34,6 +37,27 @@
   // token — the HotCRP API, there.
   "portal": { "kind": "hotcrp", "url": "https://msr2027.hotcrp.com" },
 
+  // Read from the portal's public deadlines page (no account) by the adapter in src/adapters/hotcrp/.
+  // «Submissions must be completed by this deadline» is the `submission`: on the CALL's abstract
+  // day, 04:00 UTC — four days before the call's paper day. «Completed submissions may be updated
+  // until this deadline» is the `resubmission`.
+  "deadlines": [
+    {
+      "what": "submission",
+      "at": "2026-10-20T04:00:00Z",
+      "source": "portal",
+      "url": "https://msr2027.hotcrp.com/deadlines",
+      "read": "2026-10-05",
+    },
+    {
+      "what": "resubmission",
+      "at": "2026-10-23T04:00:00Z",
+      "source": "portal",
+      "url": "https://msr2027.hotcrp.com/deadlines",
+      "read": "2026-10-05",
+    },
+  ],
+
   // What the venue is called in a paper's text (tex/venue-leftover) — and only beside a year
   // («MSR 2027», «MSR'27»): «MSR» is also Microsoft Research, and an acronym papers define for
   // themselves («Manual Speech Recognition (MSR)», in an accepted ACSAC paper of

package/presets/msr.md

@@ -28,7 +28,11 @@ whereas last year it was ACM format.»), and limits and dates change between edi
   (`"sub":1792468800`, 2026-10-20 04:00 UTC) and «Resubmission deadline: Friday Oct 23, 2026, 12 AM
   EDT» («Completed submissions may be updated until this deadline»). Midnight EDT at the start of
   each day is about a day and a half before the end of that day AoE. The portal is what refuses the
-  upload: plan for its times, and re-read the page, since chairs change them.
+  upload: plan for its times. The preset carries them as `deadlines` (`source: "portal"`, with the
+  day read), refreshed by paperlint's scheduled workflow when the portal changes them; a paper whose
+  current cycle names `paperlint:msr` derives them. Recording the call's days in the paper's own
+  cycle maps «abstract» to `registration` and «paper» to `submission` — and the portal's earlier
+  `submission` is then the one in force.
 - **Format**, verbatim from the call: «LaTeX users must use \documentclass[10pt,conference]{IEEEtran}
   without including the compsoc or compsocconf options», «title in 24pt font and full text in 10pt
   type», and «Alterations of spacing, font size, and other changes that deviate from the

package/presets/realm.jsonc

@@ -72,7 +72,7 @@
     //
     // A gate on banal's number would give 13 against a limit of 8 and would redden on a paper that
     // is within the limit. For an `error`-level rule that is the worst outcome. The limit stays
-    // owned by the counter inside `build-submission.sh`: it reads the markdown source and therefore
+    // owned by the counter inside `build-submission.sh`: it reads the paper's source and therefore
     // KNOWS where the body ends, which the PDF does not.
     //
     // The numbers below are DATA for that counter and for humans, not an input to the rule. Source:

package/presets/venue-profile.schema.json

@@ -78,6 +78,45 @@
         }
       }
     },
+    "deadlines": {
+      "description": "The edition's deadlines as they were READ — the portal's readings, rewritten by the scheduled refresh in paperlint's repository when the portal changes them (a patch release), each with the page and the day it was read. A paper whose current cycle names this preset derives them; its own record adds the call's readings and overrides on top, and the earlier reading binds. `what`: registration (abstract registration — a call's \"abstract\" date), submission (the full paper), resubmission (updates to a completed submission), notification, camera-ready. At most one reading per kind and source. A child's list replaces its parent's.",
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["what", "at", "source", "url", "read"],
+        "properties": {
+          "what": {
+            "type": "string",
+            "enum": [
+              "registration",
+              "submission",
+              "resubmission",
+              "notification",
+              "camera-ready"
+            ]
+          },
+          "at": {
+            "description": "An instant in UTC, as the portal publishes it: 2026-10-20T04:00:00Z.",
+            "type": "string",
+            "pattern": "^\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}Z$"
+          },
+          "source": {
+            "type": "string",
+            "enum": ["portal", "call"]
+          },
+          "url": {
+            "type": "string",
+            "pattern": "^https?://[^\\s/]+[^\\s]*$"
+          },
+          "read": {
+            "description": "The day the page was read, YYYY-MM-DD.",
+            "type": "string",
+            "pattern": "^\\d{4}-\\d{2}-\\d{2}$"
+          }
+        }
+      }
+    },
     "required_sections": {
       "description": "Sections the venue requires, read by `tex/required-section`. Each is a `\\section` or `\\section*` whose title equals `title` once whitespace is collapsed. `position: \"last\"`: after every section of the body (the ones before the appendix and the bibliography); it may stand after the bibliography. A child preset's list replaces its parent's.",
       "type": "array",

package/scripts/check.ts

@@ -202,6 +202,10 @@ export const NOT_COVERED: Readonly<Record<string, string>> = {
   validate:
     "pr-title.yml checks the pull request's TITLE (the squash commit semantic-release reads), " +
     "which exists only on GitHub, not in the tree.",
+  refresh:
+    "deadlines.yml reads the venue presets' portals over the network once a day and opens a pull " +
+    "request when a deadline moved; npm test replays the recorded portal pages through " +
+    "scripts/refresh-deadlines.test.ts, and nothing local should read the live portals on every check.",
 };
 
 /**

package/scripts/harness-api.frozen.json

@@ -10,7 +10,6 @@
     "eslint-rules/pdf-last-page-balance.harness.mjs",
     "eslint-rules/temp-root-realpath.harness.mjs",
     "eslint-rules/tex-build.harness.mjs",
-    "fixtures/real-markdown-paper/real-markdown-paper.harness.ts",
     "lib/agent-cli-version.harness.mjs",
     "lib/paper-config.harness.mjs",
     "lib/skill-trigger-cases.harness.mjs",
@@ -30,13 +29,9 @@
     "skills/osf-artifact-upload/osf-artifact-upload.harness.ts",
     "skills/paper-adversarial-review/paper-adversarial-review.harness.mjs",
     "skills/paper-pipeline/paper-pipeline.harness.mjs",
-    "skills/paper-pipeline/scripts/artifact-coverage.harness.mjs",
     "skills/paper-pipeline/scripts/consumer.harness.mjs",
     "skills/paper-pipeline/scripts/extract-ref-facts.harness.mjs",
     "skills/paper-pipeline/scripts/generated-code.harness.mjs",
-    "skills/paper-pipeline/scripts/population-map.harness.mjs",
-    "skills/paper-pipeline/scripts/provenance.harness.mjs",
-    "skills/paper-pipeline/scripts/round-diff.harness.ts",
     "skills/paper-status/paper-status.harness.mjs",
     "skills/pc-panel-review/pc-panel-review.harness.mjs",
     "skills/plan-paper-timeline/plan-paper-timeline.harness.mjs",