paperlint 2.0.0

package/dist/ports/measure-geometry.d.ts

@@ -0,0 +1,8 @@
+/** The port `facts-file.ts` measures page geometry through — shaped by the need, not by a tool. */
+import type { Geometry } from "../domain/geometry.ts";
+import type { PageLayout } from "../domain/page-layout.ts";
+/** Measure a paper's page geometry from its text boxes. Never throws: "not measured" is a value. */
+export interface MeasureGeometry {
+    measure(pages: readonly PageLayout[]): Geometry;
+}
+//# sourceMappingURL=measure-geometry.d.ts.map

package/dist/ports/measure-geometry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"measure-geometry.d.ts","sourceRoot":"","sources":["../../src/ports/measure-geometry.ts"],"names":[],"mappings":"AAAA,mGAAmG;AACnG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAE3D,oGAAoG;AACpG,MAAM,WAAW,eAAe;IAC9B,OAAO,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,QAAQ,CAAC;CACjD"}

package/dist/ports/measure-geometry.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=measure-geometry.js.map

package/dist/ports/measure-geometry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"measure-geometry.js","sourceRoot":"","sources":["../../src/ports/measure-geometry.ts"],"names":[],"mappings":""}

package/dist/ports/process.d.ts

@@ -0,0 +1,45 @@
+/**
+ * Running a program — the generic port an adapter that drives another program is built over (banal's,
+ * curl's). The app does not see it where a need-shaped port (`MeasureGeometry`) would do.
+ */
+import type { AbsolutePath } from "../domain/paths.ts";
+/** A program to run, as data. `env` is the child's WHOLE environment, never merged in by the adapter. */
+export interface Command {
+    readonly file: string;
+    readonly args: readonly string[];
+    readonly env: Readonly<Record<string, string>>;
+    readonly timeoutMs: number;
+    readonly maxOutputBytes?: number;
+    readonly cwd?: AbsolutePath;
+}
+/**
+ * What running a program can come to. `not-found` is the EXECUTABLE itself (ENOENT on `file`) —
+ * perl, curl — never one of its arguments, and it names the program so a message can too.
+ */
+export type ProcessExit = {
+    readonly kind: "exited";
+    readonly status: number;
+    readonly stdout: string;
+    readonly stderr: string;
+} | {
+    readonly kind: "signalled";
+    readonly signal: string;
+    readonly stdout: string;
+    readonly stderr: string;
+} | {
+    readonly kind: "timed-out";
+    readonly afterMs: number;
+    readonly stdout: string;
+    readonly stderr: string;
+} | {
+    readonly kind: "not-found";
+    readonly file: string;
+} | {
+    readonly kind: "spawn-failed";
+    readonly message: string;
+};
+/** Run a program to completion. Synchronous, like the `spawnSync` it replaces. */
+export interface RunProcess {
+    run(c: Command): ProcessExit;
+}
+//# sourceMappingURL=process.d.ts.map

package/dist/ports/process.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"process.d.ts","sourceRoot":"","sources":["../../src/ports/process.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,yGAAyG;AACzG,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,GAAG,CAAC,EAAE,YAAY,CAAC;CAC7B;AAED;;;GAGG;AACH,MAAM,MAAM,WAAW,GACnB;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhE,kFAAkF;AAClF,MAAM,WAAW,UAAU;IACzB,GAAG,CAAC,CAAC,EAAE,OAAO,GAAG,WAAW,CAAC;CAC9B"}

package/dist/ports/process.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=process.js.map

package/dist/ports/process.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"process.js","sourceRoot":"","sources":["../../src/ports/process.ts"],"names":[],"mappings":""}

package/dist/ports/tool-installer.d.ts

@@ -0,0 +1,29 @@
+/**
+ * The port `paperlint toolchain` installs and checks an external program through. One port, many
+ * programs: banal implements it now, TeX Live in #76.
+ */
+import type { Opaque } from "ts-essentials";
+import type { Result } from "../domain/result.ts";
+import type { Lines } from "../domain/text.ts";
+/**
+ * Present, verified, running. BRANDED: a literal `{ where, fresh, verified }` is not a `Ready`, so
+ * only an installer's adapter — one minting function each (banal's is `ready` in
+ * `adapters/banal/index.ts`) — can make one, and a ready line cannot be printed without it.
+ */
+export type Ready = Opaque<{
+    /** Where it is: the program's path or its bin directory. */
+    readonly where: string;
+    /** This run installed it. */
+    readonly fresh: boolean;
+    /** What was checked before calling it ready, as a person reads it. */
+    readonly verified: string;
+}, "Ready">;
+export interface ToolInstaller {
+    /** The program as a person reads it: `banal 1.2 (HotCRP f3e4352)`. */
+    readonly label: string;
+    /** Make it present, verified and running; `report` is told before a slow step (a download). */
+    ensure(report: (line: string) => void): Result<Ready, Lines>;
+    /** Is it present, verified and running? The same predicate as `ensure`, changing nothing. */
+    check(): Result<Ready, Lines>;
+}
+//# sourceMappingURL=tool-installer.d.ts.map

package/dist/ports/tool-installer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool-installer.d.ts","sourceRoot":"","sources":["../../src/ports/tool-installer.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE/C;;;;GAIG;AACH,MAAM,MAAM,KAAK,GAAG,MAAM,CACxB;IACE,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,6BAA6B;IAC7B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,sEAAsE;IACtE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,EACD,OAAO,CACR,CAAC;AAEF,MAAM,WAAW,aAAa;IAC5B,sEAAsE;IACtE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+FAA+F;IAC/F,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7D,6FAA6F;IAC7F,KAAK,IAAI,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;CAC/B"}

package/dist/ports/tool-installer.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=tool-installer.js.map

package/dist/ports/tool-installer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool-installer.js","sourceRoot":"","sources":["../../src/ports/tool-installer.ts"],"names":[],"mappings":""}

package/dist/ports/workspace.d.ts

@@ -0,0 +1,18 @@
+/** A scratch directory with a lifetime — the generic port for temporary files. */
+import type { AbsolutePath } from "../domain/paths.ts";
+/** Rejects a Promise at the type level, so an `await` cannot escape a scope that ends synchronously. */
+export type NotAPromise<T> = T extends PromiseLike<unknown> ? never : T;
+/** A scratch directory that exists only inside `Workspace.within`. */
+export interface Scratch {
+    readonly dir: AbsolutePath;
+    /** Write one file into `dir`; `exec` also sets its execute bit. Returns the file's path. */
+    write(name: string, content: string, mode: "read" | "exec"): AbsolutePath;
+}
+/**
+ * A scratch directory that cannot outlive the callback: it is created before `use` runs and removed
+ * after, whether `use` returns or throws. There is no other way to get one.
+ */
+export interface Workspace {
+    within<T>(prefix: string, use: (scratch: Scratch) => NotAPromise<T>): T;
+}
+//# sourceMappingURL=workspace.d.ts.map

package/dist/ports/workspace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace.d.ts","sourceRoot":"","sources":["../../src/ports/workspace.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,wGAAwG;AACxG,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,OAAO,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;AAExE,sEAAsE;AACtE,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC;IAC3B,4FAA4F;IAC5F,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,YAAY,CAAC;CAC3E;AAED;;;GAGG;AACH,MAAM,WAAW,SAAS;IACxB,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;CACzE"}

package/dist/ports/workspace.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=workspace.js.map

package/dist/ports/workspace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace.js","sourceRoot":"","sources":["../../src/ports/workspace.ts"],"names":[],"mappings":""}

package/dist/rules-config.d.ts

@@ -0,0 +1,34 @@
+/** ESLint's severities, in both of its spellings. */
+export type Severity = "off" | "warn" | "error" | 0 | 1 | 2;
+export type RuleEntry = Severity | readonly [Severity, ...unknown[]];
+/** One block of the `rules` key, parsed. `basePath` is the settings file's directory. */
+export interface RuleBlock {
+    readonly basePath: string;
+    readonly files?: readonly string[];
+    readonly ignores?: readonly string[];
+    readonly rules: Readonly<Record<string, RuleEntry>>;
+}
+export type Parsed<T> = {
+    readonly ok: true;
+    readonly value: T;
+} | {
+    readonly ok: false;
+    readonly error: string;
+};
+/** Every top-level key must be one paperlint or its skills read. */
+export declare function unknownKeys(settings: Record<string, unknown>): string[];
+/**
+ * The `rules` key → config blocks, or one error naming the key path.
+ *
+ * @param raw      the value under `rules` (undefined when absent)
+ * @param where    how the settings are named in messages, e.g. `package.json → "paperlint"`
+ * @param shipped  the rule ids paperlint ships (`shippedRuleIds`)
+ * @param baseDir  the directory of the file holding the settings
+ */
+export declare function parseRuleBlocks(raw: unknown, where: string, shipped: ReadonlySet<string>, baseDir: string): Parsed<readonly RuleBlock[]>;
+/**
+ * The rule ids a config defines through its own plugins, as `<plugin>/<rule>`. Plugins passed in
+ * `foreign` (a dependency's plugin, such as `@eslint/markdown`) are not rpp's and are skipped.
+ */
+export declare function shippedRuleIds(config: readonly unknown[], foreign: readonly unknown[]): Set<string>;
+//# sourceMappingURL=rules-config.d.ts.map

package/dist/rules-config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules-config.d.ts","sourceRoot":"","sources":["../src/rules-config.ts"],"names":[],"mappings":"AA6BA,qDAAqD;AACrD,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,MAAM,GAAG,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAC5D,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,SAAS,CAAC,QAAQ,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;AAErE,yFAAyF;AACzF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;CACrD;AAED,MAAM,MAAM,MAAM,CAAC,CAAC,IAChB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACxC;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAOnD,oEAAoE;AACpE,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,EAAE,CAEvE;AA8ED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,GAAG,EAAE,OAAO,EACZ,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,EAC5B,OAAO,EAAE,MAAM,GACd,MAAM,CAAC,SAAS,SAAS,EAAE,CAAC,CAa9B;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,SAAS,OAAO,EAAE,EAC1B,OAAO,EAAE,SAAS,OAAO,EAAE,GAC1B,GAAG,CAAC,MAAM,CAAC,CAWb"}

package/dist/rules-config.js

@@ -0,0 +1,132 @@
+/**
+ * THE CONSUMER'S SETTINGS, PARSED AT THE BOUNDARY — unknown keys refused, and the `rules` key
+ * turned into ESLint config blocks.
+ *
+ * ── THE `rules` KEY: ESLint'S OWN SHAPE, NOT A NEW ONE ──────────────────────────
+ * A consumer turns an optional rule on, or changes a built-in rule's severity, by writing what they
+ * would write in an ESLint flat config — a list of `{ files, ignores, rules }` blocks:
+ *
+ *   "rules": [ { "files": ["papers/agenticdev-2026/**"],
+ *                "rules": { "pdf/last-page-balance": ["error", { "tolerancePt": 120 }] } } ]
+ *
+ * The blocks are appended AFTER rpp's built-in config, so a later block wins, exactly as in ESLint.
+ * `files` and `ignores` are resolved relative to the directory of the file that holds the settings,
+ * as ESLint resolves them relative to its config file: each block gets that directory as ESLint's
+ * own `basePath`, so paperlint matches nothing itself.
+ *
+ * ── WHY PARSED HERE, AND WHY STRICT ─────────────────────────────────────────────
+ * ESLint would reject a bad severity or an unknown rule too — but as a stack trace from inside
+ * `lintFiles`, naming neither the settings file nor the block. And a key paperlint does not read, at the
+ * top level or in a block, ESLint never sees at all: a typo would silently read as "not set". So
+ * every problem is one line naming the key path, before ESLint starts, and nothing downstream sees
+ * the raw object again.
+ *
+ * Only rules paperlint ships may be named: the settings configure paperlint, and a rule from another plugin
+ * would need that plugin, which JSON cannot carry. Which rules paperlint ships is read off its own
+ * config (`buildConfig`), not listed a second time.
+ */
+import { SETTINGS_KEYS } from "../lib/paper-config.mjs";
+const SEVERITIES = ["off", "warn", "error", 0, 1, 2];
+const BLOCK_KEYS = new Set(["files", "ignores", "rules"]);
+const bad = (error) => ({ ok: false, error });
+/** Every top-level key must be one paperlint or its skills read. */
+export function unknownKeys(settings) {
+    return Object.keys(settings).filter((k) => !Object.hasOwn(SETTINGS_KEYS, k));
+}
+const isStringList = (v) => Array.isArray(v) &&
+    v.length > 0 &&
+    v.every((x) => typeof x === "string" && x !== "");
+/** A severity, or `[severity, ...options]`. */
+function parseEntry(v) {
+    const sev = Array.isArray(v) ? v[0] : v;
+    if (!SEVERITIES.includes(sev))
+        return null;
+    return v;
+}
+/** One block's `rules` object. */
+function parseRules(v, at, shipped) {
+    if (typeof v !== "object" || v === null || Array.isArray(v))
+        return bad(`${at}.rules must be an object of rule id → severity`);
+    const out = {};
+    for (const [id, raw] of Object.entries(v)) {
+        if (!shipped.has(id))
+            return bad(`${at}.rules: "${id}" is not a rule paperlint ships — known: ${[...shipped].sort().join(", ")}`);
+        const entry = parseEntry(raw);
+        if (entry === null)
+            return bad(`${at}.rules["${id}"]: ${JSON.stringify(raw)} is not a severity — use "off", "warn" or "error", or ["error", { options }]`);
+        out[id] = entry;
+    }
+    return { ok: true, value: out };
+}
+/** `files` and `ignores`, each absent or a non-empty list of globs; the first bad one, or null. */
+function badGlobs(o, at) {
+    for (const k of ["files", "ignores"])
+        if (o[k] !== undefined && !isStringList(o[k]))
+            return `${at}.${k} must be a non-empty list of glob strings`;
+    return null;
+}
+/** The block's `files`/`ignores`, present only when given. */
+const globsOf = (o) => ({
+    ...(o["files"] ? { files: o["files"] } : {}),
+    ...(o["ignores"] ? { ignores: o["ignores"] } : {}),
+});
+/** One element of the `rules` list. */
+function parseBlock(v, at, ctx) {
+    if (typeof v !== "object" || v === null || Array.isArray(v))
+        return bad(`${at} must be an object like { "files": [...], "rules": {...} }`);
+    const o = v;
+    const extra = Object.keys(o).filter((k) => !BLOCK_KEYS.has(k));
+    if (extra.length)
+        return bad(`${at}: unknown key "${extra[0]}" — a block takes "files", "ignores" and "rules"`);
+    const globs = badGlobs(o, at);
+    if (globs)
+        return bad(globs);
+    const rules = parseRules(o["rules"], at, ctx.shipped);
+    if (!rules.ok)
+        return rules;
+    return {
+        ok: true,
+        value: { basePath: ctx.baseDir, ...globsOf(o), rules: rules.value },
+    };
+}
+/**
+ * The `rules` key → config blocks, or one error naming the key path.
+ *
+ * @param raw      the value under `rules` (undefined when absent)
+ * @param where    how the settings are named in messages, e.g. `package.json → "paperlint"`
+ * @param shipped  the rule ids paperlint ships (`shippedRuleIds`)
+ * @param baseDir  the directory of the file holding the settings
+ */
+export function parseRuleBlocks(raw, where, shipped, baseDir) {
+    if (raw === undefined)
+        return { ok: true, value: [] };
+    if (!Array.isArray(raw))
+        return bad(`${where}.rules must be a list of blocks, like ESLint's flat config: [{ "files": [...], "rules": {...} }]`);
+    const out = [];
+    for (const [i, v] of raw.entries()) {
+        const b = parseBlock(v, `${where}.rules[${i}]`, { shipped, baseDir });
+        if (!b.ok)
+            return b;
+        out.push(b.value);
+    }
+    return { ok: true, value: out };
+}
+/**
+ * The rule ids a config defines through its own plugins, as `<plugin>/<rule>`. Plugins passed in
+ * `foreign` (a dependency's plugin, such as `@eslint/markdown`) are not rpp's and are skipped.
+ */
+export function shippedRuleIds(config, foreign) {
+    const ids = new Set();
+    for (const block of config) {
+        const plugins = block.plugins;
+        for (const [name, plugin] of Object.entries(plugins ?? {})) {
+            if (foreign.includes(plugin))
+                continue;
+            const rules = plugin.rules;
+            for (const rule of Object.keys(rules ?? {}))
+                ids.add(`${name}/${rule}`);
+        }
+    }
+    return ids;
+}
+//# sourceMappingURL=rules-config.js.map

package/dist/rules-config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules-config.js","sourceRoot":"","sources":["../src/rules-config.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAkBxD,MAAM,UAAU,GAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACzE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;AAE1D,MAAM,GAAG,GAAG,CAAI,KAAa,EAAa,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAEpE,oEAAoE;AACpE,MAAM,UAAU,WAAW,CAAC,QAAiC;IAC3D,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,YAAY,GAAG,CAAC,CAAU,EAAiB,EAAE,CACjD,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAChB,CAAC,CAAC,MAAM,GAAG,CAAC;IACZ,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;AAEpD,+CAA+C;AAC/C,SAAS,UAAU,CAAC,CAAU;IAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,OAAO,CAAc,CAAC;AACxB,CAAC;AAED,kCAAkC;AAClC,SAAS,UAAU,CACjB,CAAU,EACV,EAAU,EACV,OAA4B;IAE5B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QACzD,OAAO,GAAG,CAAC,GAAG,EAAE,gDAAgD,CAAC,CAAC;IACpE,MAAM,GAAG,GAA8B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,GAAG,CACR,GAAG,EAAE,YAAY,EAAE,4CAA4C,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAChG,CAAC;QACJ,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,KAAK,KAAK,IAAI;YAChB,OAAO,GAAG,CACR,GAAG,EAAE,WAAW,EAAE,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,8EAA8E,CAC3H,CAAC;QACJ,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;IAClB,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAClC,CAAC;AAED,mGAAmG;AACnG,SAAS,QAAQ,CAAC,CAA0B,EAAE,EAAU;IACtD,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAU;QAC3C,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,OAAO,GAAG,EAAE,IAAI,CAAC,2CAA2C,CAAC;IACjE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8DAA8D;AAC9D,MAAM,OAAO,GAAG,CAAC,CAA0B,EAAE,EAAE,CAAC,CAAC;IAC/C,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,CAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,CAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAC/D,CAAC,CAAC;AAEH,uCAAuC;AACvC,SAAS,UAAU,CACjB,CAAU,EACV,EAAU,EACV,GAAsD;IAEtD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QACzD,OAAO,GAAG,CACR,GAAG,EAAE,4DAA4D,CAClE,CAAC;IACJ,MAAM,CAAC,GAAG,CAA4B,CAAC;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,MAAM;QACd,OAAO,GAAG,CACR,GAAG,EAAE,kBAAkB,KAAK,CAAC,CAAC,CAAC,kDAAkD,CAClF,CAAC;IACJ,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9B,IAAI,KAAK;QAAE,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IACtD,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAC5B,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE;KACpE,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,GAAY,EACZ,KAAa,EACb,OAA4B,EAC5B,OAAe;IAEf,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QACrB,OAAO,GAAG,CACR,GAAG,KAAK,kGAAkG,CAC3G,CAAC;IACJ,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,KAAK,UAAU,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QACtE,IAAI,CAAC,CAAC,CAAC,EAAE;YAAE,OAAO,CAAC,CAAC;QACpB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAClC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,MAA0B,EAC1B,OAA2B;IAE3B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAI,KAA+C,CAAC,OAAO,CAAC;QACzE,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;YAC3D,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAAE,SAAS;YACvC,MAAM,KAAK,GAAI,MAA8C,CAAC,KAAK,CAAC;YACpE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/structure.d.ts

@@ -0,0 +1,34 @@
+import type { StructureConfig, StructureFinding } from "./types.ts";
+/** The requirements after the consumer's config is laid over the defaults. */
+type Rules = Required<StructureConfig>;
+/**
+ * The defaults are MEASURED against a live corpus of five paper directories, not picked by taste:
+ * under them it passes in full — zero findings. The counter-case was run too: `paper.pdf` added to
+ * `require` yields two findings straight away on papers that are perfectly fine — two of the four
+ * keep their pdf under a different name. That is why it is not in the defaults; declared pdfs are
+ * byte-compared by the `paper/stages` rule anyway.
+ */
+export declare const STRUCTURE_DEFAULTS: {
+    markers: string[];
+    require: string[];
+    requireOneOf: string[][];
+    ignore: never[];
+};
+/** The consumer's config over the defaults; `structure: false` turns the check off entirely. */
+export declare function structureRules(structure: StructureConfig | false | undefined): Rules | null;
+/**
+ * @returns {{file: string, message: string}[]} findings, one per missing file.
+ */
+export declare function checkStructure(paths: readonly string[], structure: StructureConfig | false | undefined, { cwd }?: {
+    cwd?: string;
+}): StructureFinding[];
+export declare function formatStructure(findings: readonly StructureFinding[]): string;
+/**
+ * 🔴 ONE SCHEMA FOR BOTH HALVES. Findings about absence are emitted in THE SAME shape as ESLint
+ * findings, so `--json` stays a single parseable array. A separate channel would force every
+ * consumer to write a second parser — and the first one who did not write it would read "there
+ * are no structural findings" instead of "I do not parse them".
+ */
+export declare function asEslintResults(findings: readonly StructureFinding[]): unknown[];
+export {};
+//# sourceMappingURL=structure.d.ts.map

package/dist/structure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structure.d.ts","sourceRoot":"","sources":["../src/structure.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEpE,8EAA8E;AAC9E,KAAK,KAAK,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;AAEvC;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB;;;;;CAK9B,CAAC;AAEF,gGAAgG;AAChG,wBAAgB,cAAc,CAC5B,SAAS,EAAE,eAAe,GAAG,KAAK,GAAG,SAAS,GAC7C,KAAK,GAAG,IAAI,CAGd;AAaD;;GAEG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,SAAS,EAAE,eAAe,GAAG,KAAK,GAAG,SAAS,EAE9C,EAAE,GAAmB,EAAE,GAAE;IAAE,GAAG,CAAC,EAAE,MAAM,CAAA;CAAO,GAC7C,gBAAgB,EAAE,CAyCpB;AAcD,wBAAgB,eAAe,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,GAAG,MAAM,CAO7E;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,SAAS,gBAAgB,EAAE,GACpC,OAAO,EAAE,CAqBX"}

package/dist/structure.js

@@ -0,0 +1,149 @@
+/**
+ * `paperlint lint` — the half ESLint cannot do BY CONSTRUCTION: checking that the required file
+ * IS THERE.
+ *
+ * 🔴 WHY THIS IS A SEPARATE MODULE AND NOT A RULE. A rule is invoked for a file that was handed
+ * to the linter. A file that does not exist is never handed over — so the rule is not invoked,
+ * and, not having been invoked, it physically cannot report the absence. A paper directory with
+ * no `PIPELINE-STATUS.md` yields NOT ONE finding: not a single pipeline rule runs over it, and
+ * the run is green. This is exactly the green zero the `nothing was linted` guard in the CLI
+ * stands for, only one level down — not "nothing was linted", but "not everything here was".
+ *
+ * ⚠️ THIS IS NOT ls-lint's JOB, AND THE TWO ARE NOT INTERCHANGEABLE. ls-lint judges the NAMES of
+ * files that exist (`versions/2026-07-22-submitted.pdf` is named to the scheme). About a file
+ * that does not exist it says nothing — it has nothing to match. The two halves of structure:
+ *     ls-lint      — "what is there is named correctly"
+ *     this module  — "what is required is there"
+ *
+ * 🔴 DETECTION IS GENEROUS, REQUIREMENTS ARE STRICT — and this is for the sake of false positives.
+ * An error-level rule that fails on a correct tree does not get fixed, it gets turned off, and the
+ * real findings go with it. So a directory counts as a paper only if it ALREADY holds at least one
+ * pipeline marker; `research/`, `plans/` and the other neighbours in the corpus are not touched at
+ * all.
+ */
+// eslint-disable-next-line boundaries/dependencies -- legacy I/O, moves behind a port in #76
+import { readdirSync, existsSync } from "node:fs";
+import { join, relative, basename, isAbsolute, sep } from "node:path";
+/**
+ * The defaults are MEASURED against a live corpus of five paper directories, not picked by taste:
+ * under them it passes in full — zero findings. The counter-case was run too: `paper.pdf` added to
+ * `require` yields two findings straight away on papers that are perfectly fine — two of the four
+ * keep their pdf under a different name. That is why it is not in the defaults; declared pdfs are
+ * byte-compared by the `paper/stages` rule anyway.
+ */
+export const STRUCTURE_DEFAULTS = {
+    markers: ["PIPELINE-STATUS.md", "paper.tex", "paper.md", "venue.json"],
+    require: ["PIPELINE-STATUS.md"],
+    requireOneOf: [["paper.tex", "paper.md"]],
+    ignore: [],
+};
+/** The consumer's config over the defaults; `structure: false` turns the check off entirely. */
+export function structureRules(structure) {
+    if (structure === false)
+        return null;
+    return { ...STRUCTURE_DEFAULTS, ...(structure ?? {}) };
+}
+const dirsIn = (dir) => {
+    try {
+        return readdirSync(dir, { withFileTypes: true })
+            .filter((e) => e.isDirectory() && !e.name.startsWith("."))
+            .map((e) => e.name);
+    }
+    catch {
+        // A non-existent directory is not our concern: the empty-set guard says so loudly.
+        return [];
+    }
+};
+/**
+ * @returns {{file: string, message: string}[]} findings, one per missing file.
+ */
+export function checkStructure(paths, structure, 
+// eslint-disable-next-line no-restricted-globals -- legacy I/O, moves behind a port in #76
+{ cwd = process.cwd() } = {}) {
+    const rules = structureRules(structure);
+    if (!rules)
+        return [];
+    const findings = [];
+    // Relative to where the command was typed — unless the paper lives outside it (#48): then the
+    // absolute path, not a ladder of `../../../` that has to be counted to be read.
+    const say = (p) => {
+        const rel = relative(cwd, p);
+        return rel &&
+            rel !== ".." &&
+            !rel.startsWith(`..${sep}`) &&
+            !isAbsolute(rel)
+            ? rel
+            : p;
+    };
+    for (const root of paths) {
+        for (const name of dirsIn(root)) {
+            if (rules.ignore.includes(name))
+                continue;
+            const dir = join(root, name);
+            // Generous detection: with not one marker this is just a neighbour directory, not a paper.
+            if (!rules.markers.some((m) => existsSync(join(dir, m))))
+                continue;
+            for (const required of rules.require)
+                if (!existsSync(join(dir, required)))
+                    findings.push({
+                        file: say(dir),
+                        message: `missing \`${required}\` — ${whyMissingMatters(required, basename(dir))}`,
+                    });
+            for (const group of rules.requireOneOf)
+                if (!group.some((f) => existsSync(join(dir, f))))
+                    findings.push({
+                        file: say(dir),
+                        message: `missing all of ${group.map((f) => `\`${f}\``).join(", ")} — a paper directory with no source is not something the rules can check`,
+                    });
+        }
+    }
+    return findings;
+}
+/**
+ * The message NAMES THE CONSEQUENCE rather than restating the condition. "missing
+ * PIPELINE-STATUS.md" without the second half reads as nitpicking about formatting; with it you
+ * can see which checks the directory silently loses — the rules that read the scorecard; the rules
+ * over `paper.md` / `paper.tex` still run.
+ */
+function whyMissingMatters(file, dirName) {
+    if (file === "PIPELINE-STATUS.md")
+        return `\`paper/stages\`, \`paper/source\` and \`paper/author-list\` read this file, so nothing \`${dirName}\` declares about its stages, sources or authors is checked`;
+    return `declared as required by your \`structure\` configuration`;
+}
+export function formatStructure(findings) {
+    const byDir = new Map();
+    for (const f of findings)
+        byDir.set(f.file, [...(byDir.get(f.file) ?? []), f.message]);
+    return [...byDir]
+        .map(([dir, msgs]) => [dir, ...msgs.map((m) => `  error  ${m}`)].join("\n"))
+        .join("\n\n");
+}
+/**
+ * 🔴 ONE SCHEMA FOR BOTH HALVES. Findings about absence are emitted in THE SAME shape as ESLint
+ * findings, so `--json` stays a single parseable array. A separate channel would force every
+ * consumer to write a second parser — and the first one who did not write it would read "there
+ * are no structural findings" instead of "I do not parse them".
+ */
+export function asEslintResults(findings) {
+    const byDir = new Map();
+    for (const f of findings)
+        byDir.set(f.file, [...(byDir.get(f.file) ?? []), f.message]);
+    return [...byDir].map(([filePath, msgs]) => ({
+        filePath,
+        messages: msgs.map((message) => ({
+            ruleId: "structure/required-file",
+            severity: 2,
+            message,
+            line: 0,
+            column: 0,
+        })),
+        errorCount: msgs.length,
+        fatalErrorCount: 0,
+        warningCount: 0,
+        fixableErrorCount: 0,
+        fixableWarningCount: 0,
+        suppressedMessages: [],
+        usedDeprecatedRules: [],
+    }));
+}
+//# sourceMappingURL=structure.js.map

package/dist/structure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structure.js","sourceRoot":"","sources":["../src/structure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,6FAA6F;AAC7F,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAClD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAMtE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,OAAO,EAAE,CAAC,oBAAoB,EAAE,WAAW,EAAE,UAAU,EAAE,YAAY,CAAC;IACtE,OAAO,EAAE,CAAC,oBAAoB,CAAC;IAC/B,YAAY,EAAE,CAAC,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACzC,MAAM,EAAE,EAAE;CACX,CAAC;AAEF,gGAAgG;AAChG,MAAM,UAAU,cAAc,CAC5B,SAA8C;IAE9C,IAAI,SAAS,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,EAAE,GAAG,kBAAkB,EAAE,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,CAAC;AACzD,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,GAAW,EAAY,EAAE;IACvC,IAAI,CAAC;QACH,OAAO,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;aAC7C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;aACzD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAAC,MAAM,CAAC;QACP,mFAAmF;QACnF,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,KAAwB,EACxB,SAA8C;AAC9C,2FAA2F;AAC3F,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,KAAuB,EAAE;IAE9C,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,8FAA8F;IAC9F,gFAAgF;IAChF,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE;QAChC,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC7B,OAAO,GAAG;YACR,GAAG,KAAK,IAAI;YACZ,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC;YAC3B,CAAC,UAAU,CAAC,GAAG,CAAC;YAChB,CAAC,CAAC,GAAG;YACL,CAAC,CAAC,CAAC,CAAC;IACR,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAE7B,2FAA2F;YAC3F,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC9D,SAAS;YAEX,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,OAAO;gBAClC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;oBAClC,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;wBACd,OAAO,EAAE,aAAa,QAAQ,QAAQ,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE;qBACnF,CAAC,CAAC;YAEP,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,YAAY;gBACpC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;oBACtD,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;wBACd,OAAO,EAAE,kBAAkB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,0EAA0E;qBACrJ,CAAC,CAAC;QACT,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,IAAY,EAAE,OAAe;IACtD,IAAI,IAAI,KAAK,oBAAoB;QAC/B,OAAO,6FAA6F,OAAO,6DAA6D,CAAC;IAC3K,OAAO,0DAA0D,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,QAAqC;IACnE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,QAAQ;QACtB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/D,OAAO,CAAC,GAAG,KAAK,CAAC;SACd,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SAC3E,IAAI,CAAC,MAAM,CAAC,CAAC;AAClB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,QAAqC;IAErC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,QAAQ;QACtB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/D,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3C,QAAQ;QACR,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,OAAe,EAAE,EAAE,CAAC,CAAC;YACvC,MAAM,EAAE,yBAAyB;YACjC,QAAQ,EAAE,CAAC;YACX,OAAO;YACP,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,CAAC;SACV,CAAC,CAAC;QACH,UAAU,EAAE,IAAI,CAAC,MAAM;QACvB,eAAe,EAAE,CAAC;QAClB,YAAY,EAAE,CAAC;QACf,iBAAiB,EAAE,CAAC;QACpB,mBAAmB,EAAE,CAAC;QACtB,kBAAkB,EAAE,EAAE;QACtB,mBAAmB,EAAE,EAAE;KACxB,CAAC,CAAC,CAAC;AACN,CAAC"}

package/dist/tex-requirements.d.ts

@@ -0,0 +1,43 @@
+/** CTAN package name → the names that prove it is installed. */
+export type PackageProofs = Readonly<Record<string, readonly string[]>>;
+export interface TexRequirements {
+    /** Proved by `kpsewhich <file>` — files LaTeX loads. */
+    readonly packages: PackageProofs;
+    /** Proved by an executable in TeX Live's bin directory — programs, not files. */
+    readonly tools: PackageProofs;
+}
+/** The requirements for one paper, and where they came from — printed, never guessed silently. */
+export interface PaperRequirements {
+    readonly source: string;
+    readonly tex: TexRequirements;
+}
+/** The profile every paper gets, and the only one a paper with an unknown venue gets. */
+export declare const BASE_PROFILE = "tex-base.jsonc";
+export declare const SCHEMA_FILE = "venue-profile.schema.json";
+export declare const NO_REQUIREMENTS: TexRequirements;
+/**
+ * The text of one profile → its typed requirements, or an Error naming every problem.
+ *
+ * @param text  the file's contents
+ * @param file  the name to put in messages
+ * @param dir   the directory holding the schema (the shipped venues directory by default)
+ */
+export declare function parseProfile(text: string, file: string, dir?: string): TexRequirements;
+/** The venues that have a profile — every `.jsonc` in the directory except the base set. */
+export declare function venueNames(dir?: string): string[];
+/** The union of two sets of requirements; a package declared by both keeps every proof of both. */
+export declare function mergeRequirements(a: TexRequirements, b: TexRequirements): TexRequirements;
+/** Every package name, packages and tools together, sorted — what tlmgr is asked for. */
+export declare function packageNames(tex: TexRequirements): string[];
+/**
+ * What ONE paper needs: the base set plus its venue's block. A paper with no venue, or a venue this
+ * package has no profile for, gets the base set — and the source says which, so an ACM paper built
+ * without `venue.json` is visibly running on the base set rather than silently.
+ */
+export declare function requirementsFor(venue: string | null, dir?: string): PaperRequirements;
+/** Everything any profile declares — the set `paperlint toolchain` installs, so one tree builds any paper. */
+export declare function declaredUnion(dir?: string): {
+    readonly tex: TexRequirements;
+    readonly profiles: number;
+};
+//# sourceMappingURL=tex-requirements.d.ts.map

package/dist/tex-requirements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tex-requirements.d.ts","sourceRoot":"","sources":["../src/tex-requirements.ts"],"names":[],"mappings":"AA6BA,gEAAgE;AAChE,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;AAExE,MAAM,WAAW,eAAe;IAC9B,wDAAwD;IACxD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,iFAAiF;IACjF,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B;AAED,kGAAkG;AAClG,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC;CAC/B;AAED,yFAAyF;AACzF,eAAO,MAAM,YAAY,mBAAmB,CAAC;AAC7C,eAAO,MAAM,WAAW,8BAA8B,CAAC;AAGvD,eAAO,MAAM,eAAe,EAAE,eAA6C,CAAC;AA8B5E;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,GAAG,GAAE,MAA2B,GAC/B,eAAe,CAajB;AAMD,4FAA4F;AAC5F,wBAAgB,UAAU,CAAC,GAAG,GAAE,MAA2B,GAAG,MAAM,EAAE,CAKrE;AAED,mGAAmG;AACnG,wBAAgB,iBAAiB,CAC/B,CAAC,EAAE,eAAe,EAClB,CAAC,EAAE,eAAe,GACjB,eAAe,CAWjB;AAED,yFAAyF;AACzF,wBAAgB,YAAY,CAAC,GAAG,EAAE,eAAe,GAAG,MAAM,EAAE,CAI3D;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,MAAM,GAAG,IAAI,EACpB,GAAG,GAAE,MAA2B,GAC/B,iBAAiB,CAiBnB;AAED,8GAA8G;AAC9G,wBAAgB,aAAa,CAAC,GAAG,GAAE,MAA2B,GAAG;IAC/D,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,CAOA"}