paperlint 7.1.0 → 7.2.0

package/eslint.config.mjs

@@ -413,6 +413,40 @@ export const IO_GLOBALS = {
   },
 };
 
+/**
+ * `paperlint lint` NEVER READS THE CLOCK. Its findings are a function of the files and the installed
+ * package: the same checkout lints the same tomorrow, and a deadline's distance belongs to a status
+ * view or a calendar, not to a gate (a lint that turns red on an untouched tree gets muted). The
+ * clock is an effect like the disk, so it is read where effects are — an adapter's `*.io.ts` and the
+ * root, `src/cli.ts` — and passed in. Matched on the AST: `Date.now` (called or passed along),
+ * `new Date()` and `Date()` without an argument. `new Date(ms)` converts a given time and passes.
+ * `toolchain.ts` and `build-engine.ts` keep `Date.now` as a default for their own timing (build and
+ * install only, neither runs under `lint`); that legacy I/O moves behind a port in #76.
+ */
+const READS_THE_CLOCK = [
+  "MemberExpression[object.name='Date'][property.name='now']",
+  "NewExpression[callee.name='Date'][arguments.length=0]",
+  "CallExpression[callee.name='Date']",
+].map((selector) => ({
+  selector,
+  message:
+    "Lint never reads the clock: its findings are a function of the files. Take the time as an argument; read it in an adapter's *.io.ts or src/cli.ts.",
+}));
+
+/** Every source file the checks are made of, but the places effects are allowed. Same scope as axis B. */
+export const NO_CLOCK = {
+  files: ["src/**/*.ts"],
+  ignores: [
+    ...IO_GLOBALS.ignores,
+    // Legacy I/O, moves behind a port in #76 (see READS_THE_CLOCK).
+    "src/toolchain.ts",
+    "src/build-engine.ts",
+  ],
+  rules: {
+    "no-restricted-syntax": ["error", AS_UNKNOWN_AS, ...READS_THE_CLOCK],
+  },
+};
+
 /**
  * EVERY PRESET HAS A CARD, AND EVERY CARD'S RULES TABLE IS THE PRESET'S. Two checks, one block each:
  *
@@ -608,6 +642,7 @@ export default [
   },
   // Hexagonal layers, both axes (src/CLAUDE.md): knowledge by element, purity by file category.
   IO_GLOBALS,
+  NO_CLOCK,
   layerBoundaries(dirname(fileURLToPath(import.meta.url))),
   // The ratchet: per-file ceilings for the files written before the limits existed. See RATCHET.
   ...Object.entries(RATCHET).map(([file, max]) => ({
@@ -805,7 +840,12 @@ export default [
     files: ["eslint-rules/*.ts", "eslint-rules/*.mjs"],
     ignores: ["eslint-rules/*.test.*", "eslint-rules/*.harness.*"],
     rules: {
-      "no-restricted-syntax": ["error", AS_UNKNOWN_AS, ...GIT_IN_A_RULE],
+      "no-restricted-syntax": [
+        "error",
+        AS_UNKNOWN_AS,
+        ...GIT_IN_A_RULE,
+        ...READS_THE_CLOCK,
+      ],
     },
   },
   // LAST, so no block above can replace its `no-restricted-syntax` options for these files (none

package/lib/paper-config.ts

@@ -143,6 +143,8 @@ export const SETTINGS_KEYS: Readonly<Record<string, string>> = Object.freeze({
   talk: 'how this paper is presented: { "mode": "remote-video", "dir"?, "files"?, "one_slide"? } — the talk/ rules. A paper\'s own; refused in the root file',
   submission:
     "which submission on the venue's portal is this paper's: { \"id\": <number> } — paperlint submission, with the preset's \"portal\". A paper's own; refused in the root file",
+  cycles:
+    "the paper's attempts at venues, oldest first: [{ id, venue, kind, opened, phase?, deadlines, submission?, outcome }] — extends, kind and submission are then the current attempt's, and the cycle/ rules judge the record. A paper's own; refused in the root file",
   scripts: "how skill prose names the scripts — consumer.mjs",
   timezone: "the zone deadline anchors are written in — consumer.mjs",
   contactEmail: "the polite-pool address for citation lookups — consumer.mjs",
@@ -155,6 +157,7 @@ export const SETTINGS_KEYS: Readonly<Record<string, string>> = Object.freeze({
 export const PAPER_ONLY_KEYS: readonly string[] = Object.freeze([
   "talk",
   "submission",
+  "cycles",
 ]);
 
 /** The keys that only mean something for the whole project: refused in a paper's `paperlint.json`. */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "paperlint",
-  "version": "7.1.0",
+  "version": "7.2.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/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/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.",
 };
 
 /**