paperlint 2.0.1 → 2.1.0

package/skills/submit-paper/references/venues/agenticdev.jsonc

@@ -1,108 +1,40 @@
-// Venue format profile — DATA read by the `pdf/profile` rule in eslint-rules/pdf-facts.mjs.
-// Prose about the venue is in agenticdev.md nearby.
-// Source for the numbers: the Conference Publishing author instructions 2026-08-25 + ACM's
-// requirements.
-//
-// 🔴 Why JSONC and not YAML (decided 08-26). I had this in YAML, justifying it with "JSON has no
-// comments, and every number here carries a quote from the instructions." That objection turned
-// out to be false: @eslint/json ships three languages — json, jsonc, json5 — and jsonc is exactly
-// JSON with comments. So the quotes stay in place, the file is read by a real parser
-// (@humanwhocodes/momoa, already a transitive dependency), AND it's linted by the same engine as
-// everything else. One extra dependency (js-yaml on this path) goes away.
+// AgenticDev (an ASE workshop) — a VENUE preset over the ACM sigconf family. Prose about the venue
+// is in agenticdev.md nearby. Everything the ACM template decides (page size, columns, fonts, font
+// sizes, TeX packages) comes from acm-sigconf.jsonc; this file adds what AgenticDev's call for
+// papers sets.
+// Source for the numbers: the Conference Publishing author instructions 2026-08-25.
 {
-  "template": "acmart",
-
-  // TeX Live packages the acmart template needs ON TOP OF tex-base.jsonc, each with the files that
-  // prove it is present (checked with kpsewhich after every install). Read by `paperlint toolchain` and
-  // `paperlint build`; the shape is venue-profile.schema.json.
-  //   libertine · inconsolata (zi4) · newtx — acmart.cls checks ALL THREE and, if ANY is missing,
-  //     silently falls back to Computer Modern: the PDF compiles, looks normal, is set in the wrong
-  //     font, and the other metric gives another pagination. A submitted paper went out that way.
-  //   kastrup (binhex.tex) — pulled in by newtx. Missing it is a HARD stop, so adding the fonts
-  //     without it breaks a build that worked.
-  //   fancyhdr — required by acmart itself; present on most images by accident, absent on a
-  //     minimal one ("File `fancyhdr.sty' not found", measured on TinyTeX, issue #37).
-  //   the rest — pulled in by acmart ITSELF, not by the paper, so reading \usepackage never finds
-  //     them. Found 2026-09-01 by the loop build → missing file → tlmgr search --file → install.
-  "tex": {
-    "packages": {
-      "acmart": ["acmart.cls"],
-      "amscls": ["amsart.cls"],
-      "libertine": ["libertine.sty"],
-      "inconsolata": ["zi4.sty"],
-      "newtx": ["newtxmath.sty"],
-      "kastrup": ["binhex.tex"],
-      "fancyhdr": ["fancyhdr.sty"],
-      "totpages": ["totpages.sty"],
-      "environ": ["environ.sty"],
-      "preprint": ["balance.sty"],
-      // acmart's `pbalance` option (the vendor's first fix for an unbalanced last page, which the
-      // optional rule `pdf/last-page-balance` recommends) loads pbalance, which needs filehook and
-      // zref. Measured 2026-09-25 on an acmart sigconf camera-ready: without them the option stops
-      // the build; with them the last page went from 639.6 / 224.1 to 424.4 / 439.2 pt, same page count.
-      "pbalance": ["pbalance.sty"],
-      "filehook": ["filehook.sty"],
-      "zref": ["zref-abspage.sty"],
-      "xstring": ["xstring.sty"],
-      "everyshi": ["everyshi.sty"],
-      "hyperxmp": ["hyperxmp.sty"],
-      "ncctools": ["manyfoot.sty"],
-      "cmap": ["cmap.sty"],
-      "float": ["float.sty"],
-      "comment": ["comment.sty"],
-      "upquote": ["upquote.sty"],
-      "doclicense": ["doclicense.sty"],
-      "textcase": ["textcase.sty"],
+  "extends": "paperlint:acm-sigconf",
+
+  "format": {
+    // The limits are a property of the paper's TYPE at this venue, not of the venue itself.
+    // A given paper's type is stated in its <paper-dir>/paperlint.json (`kind`).
+    "kinds": {
+      "short": {
+        "body_pages_max": 5,
+        // «up to 2 extra pages of references»
+        "ref_pages_max": 2,
+      },
+      "full": {
+        // «Full ≤10pp (mature)»
+        "body_pages_max": 10,
+        "ref_pages_max": 2,
+      },
+      "demo": {
+        "body_pages_max": 5,
+        "ref_pages_max": 2,
+      },
     },
   },
 
-  // 8.5 x 11 in
-  "page_size": "letter",
-  "page_w_in": 8.5,
-  "page_h_in": 11.0,
-
-  // «text width must not exceed 18 cm»
-  "textblock_w_in": 7.087,
-  // «text height must not exceed 23.5 cm»
-  "textblock_h_in": 9.252,
-  // Last-page balance is NOT a profile field. It is the optional lint rule pdf/last-page-balance,
-  // which a consumer turns on for the papers whose publisher asks (Conference Publishing bounced
-  // an accepted paper for it on 08-29: "Please correct the last page balancing") — see
-  // docs/optional-rules.md.
-
-  "columns": 2,
-
-  // «font size is 9 pt for all body text»
-  "body_pt": 9,
-  // banal measures the MODE of the rendered text, not the declared size (measured 08-26: 9.30 at
-  // acmart's declared 9). Hence the tolerance — and hence why body size stays a nudge, not a gate.
-  "body_pt_tol": 0.5,
-
-  // «font size of the references can be from 7 pt to 9 pt»
-  "ref_pt_min": 7,
-  "ref_pt_max": 9,
-
-  // «text must be in serif font (Libertine)»
-  "fonts_text": "LinLibertine",
-  // «The title must be in sans-serif font (Biolinum)»
-  "fonts_title": "LinBiolinum",
-
-  // The limits are a property of the paper's TYPE at this venue, not of the venue itself.
-  // A given paper's type is stated in its <paper-dir>/venue.json.
-  "kinds": {
-    "short": {
-      "body_pages_max": 5,
-      // «up to 2 extra pages of references»
-      "ref_pages_max": 2,
-    },
-    "full": {
-      // «Full ≤10pp (mature)»
-      "body_pages_max": 10,
-      "ref_pages_max": 2,
-    },
-    "demo": {
-      "body_pages_max": 5,
-      "ref_pages_max": 2,
-    },
+  // The proceedings are produced by Conference Publishing Consulting — agenticdev.md takes its
+  // numbers from their author instructions — which require "balanced columns on the last page, if
+  // the page is not filled" and sent an accepted camera-ready back for it on 2026-08-29, the day
+  // after AgenticDev's camera-ready deadline ("Please correct the last page balancing"). So every
+  // AgenticDev paper gets the optional rule; a paper can still turn it off in its own
+  // paperlint.json. 120 pt is the rule's default, measured: the balanced build ended 2.7 pt apart,
+  // the returned one 321.4 pt apart (docs/optional-rules.md).
+  "rules": {
+    "pdf/last-page-balance": ["error", { "tolerancePt": 120 }],
   },
 }

package/skills/submit-paper/references/venues/aisec.jsonc

@@ -1,4 +1,5 @@
-// AISec @ ACM CCS format profile. Data for the `pdf/*` rules over `_build/paper.facts.json`.
+// AISec @ ACM CCS — a VENUE preset over the ACM sigconf family. Data for the `pdf/*` rules over
+// `_build/paper.facts.json`.
 // Prose about the venue and tracks is in `aisec.md` nearby.
 //
 // PAGE LIMITS — verbatim from https://aisec.cc/ (verified 2026-08-26, not from memory):
@@ -14,88 +15,26 @@
 // a 13th page. That's deliberate: the case is rare, and automation that knows "sometimes it's
 // fine" is worse than a plain rejection a human clears by eye.
 //
-// GEOMETRY AND FONTS are inherited from `acmart sigconf` — the same class as agenticdev, and
-// measured the same way (banal + pdffonts, 08-26). AISec points to the "main ACM CCS'26 formatting
-// instructions" and does not publish its own numbers.
+// GEOMETRY, FONTS AND TeX PACKAGES come from acm-sigconf.jsonc: AISec points to the "main ACM
+// CCS'26 formatting instructions" and does not publish its own numbers.
+//
+// NO `rules` HERE, on purpose: nothing in aisec.md says who produces the AISec proceedings or
+// whether they require a balanced last page (Sheridan does for CCS itself — docs/optional-rules.md —
+// but that is the main conference). Turn pdf/last-page-balance on in the paper's paperlint.json if
+// the camera-ready instructions ask for it.
 {
-  "template": "acmart",
-
-  // TeX Live packages the acmart template needs ON TOP OF tex-base.jsonc, each with the files that
-  // prove it is present (checked with kpsewhich after every install). Read by `paperlint toolchain` and
-  // `paperlint build`; the shape is venue-profile.schema.json.
-  //   libertine · inconsolata (zi4) · newtx — acmart.cls checks ALL THREE and, if ANY is missing,
-  //     silently falls back to Computer Modern: the PDF compiles, looks normal, is set in the wrong
-  //     font, and the other metric gives another pagination. A submitted paper went out that way.
-  //   kastrup (binhex.tex) — pulled in by newtx. Missing it is a HARD stop, so adding the fonts
-  //     without it breaks a build that worked.
-  //   fancyhdr — required by acmart itself; present on most images by accident, absent on a
-  //     minimal one ("File `fancyhdr.sty' not found", measured on TinyTeX, issue #37).
-  //   the rest — pulled in by acmart ITSELF, not by the paper, so reading \usepackage never finds
-  //     them. Found 2026-09-01 by the loop build → missing file → tlmgr search --file → install.
-  "tex": {
-    "packages": {
-      "acmart": ["acmart.cls"],
-      "amscls": ["amsart.cls"],
-      "libertine": ["libertine.sty"],
-      "inconsolata": ["zi4.sty"],
-      "newtx": ["newtxmath.sty"],
-      "kastrup": ["binhex.tex"],
-      "fancyhdr": ["fancyhdr.sty"],
-      "totpages": ["totpages.sty"],
-      "environ": ["environ.sty"],
-      "preprint": ["balance.sty"],
-      // acmart's `pbalance` option (the vendor's first fix for an unbalanced last page, which the
-      // optional rule `pdf/last-page-balance` recommends) loads pbalance, which needs filehook and
-      // zref. Measured 2026-09-25 on an acmart sigconf camera-ready: without them the option stops
-      // the build; with them the last page went from 639.6 / 224.1 to 424.4 / 439.2 pt, same page count.
-      "pbalance": ["pbalance.sty"],
-      "filehook": ["filehook.sty"],
-      "zref": ["zref-abspage.sty"],
-      "xstring": ["xstring.sty"],
-      "everyshi": ["everyshi.sty"],
-      "hyperxmp": ["hyperxmp.sty"],
-      "ncctools": ["manyfoot.sty"],
-      "cmap": ["cmap.sty"],
-      "float": ["float.sty"],
-      "comment": ["comment.sty"],
-      "upquote": ["upquote.sty"],
-      "doclicense": ["doclicense.sty"],
-      "textcase": ["textcase.sty"],
+  "extends": "paperlint:acm-sigconf",
+
+  "format": {
+    // Four tracks (original research · position/open-problem · SoK · benchmark) — the limits are
+    // the SAME for all of them, the venue doesn't split them. The keys are kept separate so a
+    // paper's `paperlint.json` can name its own track: not for the numbers, but so it's visible which
+    // track it was submitted under.
+    "kinds": {
+      "research": { "body_pages_max": 10, "ref_pages_max": 2 },
+      "benchmark": { "body_pages_max": 10, "ref_pages_max": 2 },
+      "position": { "body_pages_max": 10, "ref_pages_max": 2 },
+      "sok": { "body_pages_max": 10, "ref_pages_max": 2 },
     },
   },
-
-  "page_size": "letter",
-  "page_w_in": 8.5,
-  "page_h_in": 11.0,
-
-  "textblock_w_in": 7.087,
-  "textblock_h_in": 9.252,
-  // Last-page balance is NOT a profile field. It is the optional lint rule pdf/last-page-balance,
-  // which a consumer turns on for the papers whose publisher asks (Conference Publishing bounced
-  // an accepted paper for it on 08-29: "Please correct the last page balancing") — see
-  // docs/optional-rules.md.
-
-  "columns": 2,
-
-  "body_pt": 9,
-  // banal measures the rendered text's mode, not the declared size (measured: 9.30 at a
-  // declared 9).
-  "body_pt_tol": 0.5,
-
-  "ref_pt_min": 7,
-  "ref_pt_max": 9,
-
-  "fonts_text": "LinLibertine",
-  "fonts_title": "LinBiolinum",
-
-  // Four tracks (original research · position/open-problem · SoK · benchmark) — the limits are
-  // the SAME for all of them, the venue doesn't split them. The keys are kept separate so a
-  // paper's `venue.json` can name its own track: not for the numbers, but so it's visible which
-  // track it was submitted under.
-  "kinds": {
-    "research": { "body_pages_max": 10, "ref_pages_max": 2 },
-    "benchmark": { "body_pages_max": 10, "ref_pages_max": 2 },
-    "position": { "body_pages_max": 10, "ref_pages_max": 2 },
-    "sok": { "body_pages_max": 10, "ref_pages_max": 2 },
-  },
 }

package/skills/submit-paper/references/venues/realm.jsonc

@@ -28,54 +28,56 @@
     },
   },
 
-  "page_size": "a4",
-  "page_w_in": 8.27,
-  "page_h_in": 11.69,
+  "format": {
+    "page_size": "a4",
+    "page_w_in": 8.27,
+    "page_h_in": 11.69,
 
-  "columns": 2,
+    "columns": 2,
 
-  // ACL's stated body size is 11pt; banal measures the render's mode and gives 11.3.
-  "body_pt": 11,
-  "body_pt_tol": 0.5,
+    // ACL's stated body size is 11pt; banal measures the render's mode and gives 11.3.
+    "body_pt": 11,
+    "body_pt_tol": 0.5,
 
-  // ⚠️ The range is derived from a SINGLE measurement (10.3), not from ACL's spec — I could not
-  // find ACL's own numbers for the reference size. So it's set wide: for an `error`-level rule, a
-  // false positive is worse than a miss. Narrow it once a primary source turns up.
-  "ref_pt_min": 9,
-  "ref_pt_max": 11,
+    // ⚠️ The range is derived from a SINGLE measurement (10.3), not from ACL's spec — I could not
+    // find ACL's own numbers for the reference size. So it's set wide: for an `error`-level rule, a
+    // false positive is worse than a miss. Narrow it once a primary source turns up.
+    "ref_pt_min": 9,
+    "ref_pt_max": 11,
 
-  // The Times clone from the ACL template. Headings are NOT gated: the build also contains
-  // NimbusSanL-Bold, but a `pdffonts` measurement can't establish exactly what the heading is set
-  // in — it only says a typeface IS present in the file, not where it's applied.
-  "fonts_text": "NimbusRomNo9L",
+    // The Times clone from the ACL template. Headings are NOT gated: the build also contains
+    // NimbusSanL-Bold, but a `pdffonts` measurement can't establish exactly what the heading is set
+    // in — it only says a typeface IS present in the file, not where it's applied.
+    "fonts_text": "NimbusRomNo9L",
 
-  // 🔴 PAGE LIMITS ARE NOT GATED HERE, AND THAT IS A MEASUREMENT, NOT LAZINESS.
-  //
-  // banal classifies pages by content and counts Limitations and Ethics as part of the BODY.
-  // ACL excludes them from the limit. Measured 08-26 on our own paper: banal said "body 13," the
-  // build's own counter said "body pages: 9," and both are right — they're just counting
-  // different things (the body ends at Conclusion on p.9; pp.10-13 are Limitations/Ethics; the
-  // bibliography starts at 14).
-  //
-  // 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
-  // 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:
-  // `realm.md`, verified by directly fetching the 2026-08-02/03 CFP.
-  "page_limits_not_gated": {
-    "_": "8 at submission, 9 at camera-ready (+1 page). Both numbers are CURRENTLY hardcoded in build-submission.sh — 8 in the header, 9 in the run — which reads like a mismatch even though these are different STAGES. The script should pull them from here instead.",
-    "long_submission": 8,
-    "long_camera_ready": 9,
-    "short_submission": 4,
-    "short_camera_ready": 5,
-    "refs_and_appendices": "unlimited",
-    "limitations_and_ethics": "not counted (ACL rule)",
-  },
+    // 🔴 PAGE LIMITS ARE NOT GATED HERE, AND THAT IS A MEASUREMENT, NOT LAZINESS.
+    //
+    // banal classifies pages by content and counts Limitations and Ethics as part of the BODY.
+    // ACL excludes them from the limit. Measured 08-26 on our own paper: banal said "body 13," the
+    // build's own counter said "body pages: 9," and both are right — they're just counting
+    // different things (the body ends at Conclusion on p.9; pp.10-13 are Limitations/Ethics; the
+    // bibliography starts at 14).
+    //
+    // 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
+    // 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:
+    // `realm.md`, verified by directly fetching the 2026-08-02/03 CFP.
+    "page_limits_not_gated": {
+      "_": "8 at submission, 9 at camera-ready (+1 page). Both numbers are CURRENTLY hardcoded in build-submission.sh — 8 in the header, 9 in the run — which reads like a mismatch even though these are different STAGES. The script should pull them from here instead.",
+      "long_submission": 8,
+      "long_camera_ready": 9,
+      "short_submission": 4,
+      "short_camera_ready": 5,
+      "refs_and_appendices": "unlimited",
+      "limitations_and_ethics": "not counted (ACL rule)",
+    },
 
-  "kinds": {
-    "long": {},
-    "short": {},
+    "kinds": {
+      "long": {},
+      "short": {},
+    },
   },
 }

package/skills/submit-paper/references/venues/tex-base.jsonc

@@ -1,5 +1,5 @@
 // The TeX Live packages EVERY paper gets — and ALL a paper gets when its venue is unknown (no
-// venue.json, or a venue.json naming a venue with no profile here). A venue's own `tex.packages`
+// paperlint.json, or a paperlint.json naming a venue with no profile here). A venue's own `tex.packages`
 // is added on top of this set, never instead of it.
 //
 // Read by `paperlint toolchain` (it installs this set plus every venue's) and by `paperlint build` (it checks

package/skills/submit-paper/references/venues/venue-profile.schema.json

@@ -1,43 +1,121 @@
 {
   "$schema": "http://json-schema.org/draft-07/schema#",
   "$id": "https://github.com/zernie/paperlint/venue-profile.schema.json",
-  "title": "Venue profile",
-  "description": "One venue's format profile (venues/<venue>.jsonc) and the TeX base set (venues/tex-base.jsonc). The format numbers are read by the consumer's pdf/profile rule; `tex` is read by `paperlint toolchain` and `paperlint build`.",
+  "title": "Venue preset",
+  "description": "One venue preset or template family (venues/<name>.jsonc), and the TeX base set (venues/tex-base.jsonc). A paper's paperlint.json names one with \"extends\"; a preset may extend another. `format` and `rules` are read by paperlint's pdf/* venue rules and its lint config (src/venue-rules.ts, src/presets.ts); `tex` by `paperlint toolchain` and `paperlint build`.",
   "type": "object",
-  "required": ["tex"],
   "additionalProperties": false,
   "properties": {
-    "tex": { "$ref": "#/definitions/tex" },
+    "extends": {
+      "description": "The preset this one builds on: `paperlint:<name>` (shipped) or a path starting with ./ or ../, relative to this file.",
+      "type": "string",
+      "minLength": 1
+    },
+    "name": {
+      "description": "A display name for messages; the file name otherwise.",
+      "type": "string",
+      "minLength": 1
+    },
+    "tex": {
+      "$ref": "#/definitions/tex"
+    },
     "template": {
       "description": "The \\documentclass the venue's template uses.",
       "type": "string",
       "minLength": 1
     },
-    "page_size": { "type": "string", "enum": ["letter", "a4"] },
-    "page_w_in": { "type": "number", "exclusiveMinimum": 0 },
-    "page_h_in": { "type": "number", "exclusiveMinimum": 0 },
-    "textblock_w_in": { "type": "number", "exclusiveMinimum": 0 },
-    "textblock_h_in": { "type": "number", "exclusiveMinimum": 0 },
-    "columns": { "type": "integer", "minimum": 1 },
-    "body_pt": { "type": "number", "exclusiveMinimum": 0 },
-    "body_pt_tol": { "type": "number", "minimum": 0 },
-    "ref_pt_min": { "type": "number", "exclusiveMinimum": 0 },
-    "ref_pt_max": { "type": "number", "exclusiveMinimum": 0 },
-    "fonts_text": { "type": "string", "minLength": 1 },
-    "fonts_title": { "type": "string", "minLength": 1 },
-    "page_limits_not_gated": { "type": "object" },
-    "kinds": {
+    "format": {
+      "description": "What the venue's call for papers sets. Every key is optional; a child preset's key replaces its parent's, and a child's kind replaces that kind.",
       "type": "object",
-      "additionalProperties": {
-        "type": "object",
-        "additionalProperties": false,
-        "properties": {
-          "body_pages_max": { "type": "integer", "minimum": 1 },
-          "ref_pages_max": { "type": "integer", "minimum": 0 }
+      "additionalProperties": false,
+      "properties": {
+        "page_size": {
+          "type": "string",
+          "enum": ["letter", "a4"]
+        },
+        "page_w_in": {
+          "type": "number",
+          "exclusiveMinimum": 0
+        },
+        "page_h_in": {
+          "type": "number",
+          "exclusiveMinimum": 0
+        },
+        "textblock_w_in": {
+          "type": "number",
+          "exclusiveMinimum": 0
+        },
+        "textblock_h_in": {
+          "type": "number",
+          "exclusiveMinimum": 0
+        },
+        "columns": {
+          "type": "integer",
+          "minimum": 1
+        },
+        "body_pt": {
+          "type": "number",
+          "exclusiveMinimum": 0
+        },
+        "body_pt_tol": {
+          "type": "number",
+          "minimum": 0
+        },
+        "ref_pt_min": {
+          "type": "number",
+          "exclusiveMinimum": 0
+        },
+        "ref_pt_max": {
+          "type": "number",
+          "exclusiveMinimum": 0
+        },
+        "fonts_text": {
+          "type": "string",
+          "minLength": 1
+        },
+        "fonts_title": {
+          "type": "string",
+          "minLength": 1
+        },
+        "page_limits_not_gated": {
+          "type": "object"
+        },
+        "kinds": {
+          "type": "object",
+          "additionalProperties": {
+            "type": "object",
+            "additionalProperties": false,
+            "properties": {
+              "body_pages_max": {
+                "type": "integer",
+                "minimum": 1
+              },
+              "ref_pages_max": {
+                "type": "integer",
+                "minimum": 0
+              }
+            }
+          }
         }
       }
+    },
+    "rules": {
+      "description": "Rules the venue implies, rule id \u2192 ESLint entry (a severity, or [severity, options]). Applied to every paper that extends this preset, before the paper's own rules.",
+      "type": "object"
     }
   },
+  "allOf": [
+    {
+      "if": {
+        "not": {
+          "required": ["extends"]
+        }
+      },
+      "then": {
+        "required": ["tex"]
+      }
+    }
+  ],
   "definitions": {
     "ctanName": {
       "description": "A package name as tlmgr knows it (CTAN / TeX Live), not a distribution package name.",
@@ -48,7 +126,11 @@
       "type": "array",
       "minItems": 1,
       "uniqueItems": true,
-      "items": { "type": "string", "minLength": 1, "pattern": "^[^/\\s]+$" }
+      "items": {
+        "type": "string",
+        "minLength": 1,
+        "pattern": "^[^/\\s]+$"
+      }
     },
     "tex": {
       "description": "The TeX Live packages this template needs. Each package maps to the files that PROVE it is present: `kpsewhich` must find every one after an install, or the install failed and says which package.",
@@ -59,14 +141,22 @@
         "packages": {
           "type": "object",
           "minProperties": 1,
-          "propertyNames": { "$ref": "#/definitions/ctanName" },
-          "additionalProperties": { "$ref": "#/definitions/proofs" }
+          "propertyNames": {
+            "$ref": "#/definitions/ctanName"
+          },
+          "additionalProperties": {
+            "$ref": "#/definitions/proofs"
+          }
         },
         "tools": {
           "description": "Packages that ship a PROGRAM rather than a file LaTeX loads. Proved by an executable of that name in TeX Live's bin directory, not by kpsewhich.",
           "type": "object",
-          "propertyNames": { "$ref": "#/definitions/ctanName" },
-          "additionalProperties": { "$ref": "#/definitions/proofs" }
+          "propertyNames": {
+            "$ref": "#/definitions/ctanName"
+          },
+          "additionalProperties": {
+            "$ref": "#/definitions/proofs"
+          }
         }
       }
     }

package/src/build-engine.ts

@@ -29,7 +29,11 @@ import {
   usableTree,
   type InstallResult,
 } from "./toolchain.ts";
-import { declaredUnion, type TexRequirements } from "./tex-requirements.ts";
+import {
+  declaredUnion,
+  mergeRequirements,
+  type TexRequirements,
+} from "./tex-requirements.ts";
 
 export interface EngineOptions {
   /** What the targeted papers need: the base set plus each paper's venue. */
@@ -81,7 +85,11 @@ function withDefaults(o: EngineOptions): Resolved {
   };
   return {
     ...r,
-    install: o.install ?? (() => ensureTexLive(declaredUnion().tex, r)),
+    // The shipped union AND what the targeted papers need: a project's own preset lives outside
+    // the package, and its packages are only in `r.tex`.
+    install:
+      o.install ??
+      (() => ensureTexLive(mergeRequirements(declaredUnion().tex, r.tex), r)),
   };
 }