paperlint 8.0.0 → 9.0.0

package/dist/recorded-bibliography.d.ts

@@ -0,0 +1,89 @@
+import { type BibEntry, type BibText } from "./domain/paper-sources.ts";
+import type { AbsolutePath } from "./domain/paths.ts";
+import type { Span } from "./domain/tex-document.ts";
+import { type SourcesRecord } from "./domain/sources-record.ts";
+import { type PaperRecord, type RecordReadDeps } from "./paper-record.ts";
+import type { BibReader } from "./ports/bib-reader.ts";
+import type { LatexReader } from "./ports/latex.ts";
+/** What reading the recorded bibliography needs: the disk, the record's schema, the bibtex reader. */
+export interface RecordedReadDeps extends RecordReadDeps {
+    readonly bib: BibReader;
+}
+/** And what finding where a `.bib` TeX wrote stands needs besides: the reader of `filecontents` blocks. */
+export interface RecordedDeps extends RecordedReadDeps {
+    readonly latex: Pick<LatexReader, "filecontents">;
+}
+/** A database bibtex opened that is on disk now, as the bibtex reader reads it. */
+export interface ReadDatabase {
+    /** As bibtex names it: `refs.bib`, `bibs/x.bib`. */
+    readonly name: string;
+    /** A `.bib` TeX wrote (a `filecontents` block), not one the author keeps. */
+    readonly written: boolean;
+    readonly bib: BibText;
+}
+export type RecordedBibliography = {
+    readonly kind: "unrecorded";
+    readonly record: Exclude<PaperRecord, {
+        readonly kind: "fresh";
+    }>;
+} | {
+    readonly kind: "recorded";
+    readonly record: SourcesRecord;
+    /** In the order bibtex opened them, each once. */
+    readonly databases: readonly ReadDatabase[];
+    /**
+     * As bibtex names them: the databases it opened that the paper directory does not hold — found on
+     * its search path (BIBINPUTS). One that was there when the build recorded it and is gone now made
+     * the record stale instead: every database bibtex opened is hashed.
+     */
+    readonly unread: readonly string[];
+};
+/** The bibliography the last build of the paper in `dir` read. */
+export declare function recordedBibliography(dir: string, deps: RecordedReadDeps): RecordedBibliography;
+/** An entry of a database bibtex opened, and where it stands in that database. */
+export interface RecordedEntry {
+    readonly database: ReadDatabase;
+    readonly entry: BibEntry;
+    /** Its place among the database's entries: what pairs it with the same entry of a block. */
+    readonly index: number;
+}
+/** Every entry of the databases, in the order bibtex opened them and the entries stand. */
+export declare const entriesOfDatabases: (databases: readonly ReadDatabase[]) => readonly RecordedEntry[];
+/** Where a finding about an entry is reported in paper.tex. */
+export type EntryReport = {
+    readonly kind: "here";
+    readonly span: Span;
+}
+/** At the top of paper.tex; `where` names the entry (`refs.bib:12:1`). */
+ | {
+    readonly kind: "elsewhere";
+    readonly span: Span;
+    readonly where: string;
+};
+/** A text of the paper that may hold a block: a file of the record, the main file as the editor has it. */
+interface Holder {
+    readonly path: AbsolutePath;
+    readonly text: string;
+}
+/** The paper being linted: where it is, the record of its build, and its main file as the editor holds it. */
+export interface LintedPaper {
+    readonly dir: string;
+    readonly record: SourcesRecord;
+    readonly main: Holder;
+}
+/**
+ * Where each finding about `found` is reported, in the same order. The main file is read as the editor
+ * holds it; the record's other `.tex` files are read from disk.
+ */
+export declare function entryReports(paper: LintedPaper, found: readonly RecordedEntry[], deps: RecordedDeps): readonly EntryReport[];
+/**
+ * The text the author edits for each database bibtex opened, in the order it opened them: for a `.bib`
+ * TeX wrote, the block of `paper.tex` or of an included file that holds what bibtex read; for any other
+ * database, and for a written one no block holds, the file itself. What a script reads, so its entries
+ * stand where the author finds them.
+ */
+export declare function authoredTexts(dir: string, recorded: Extract<RecordedBibliography, {
+    readonly kind: "recorded";
+}>, deps: RecordedDeps): readonly BibText[];
+export {};
+//# sourceMappingURL=recorded-bibliography.d.ts.map

package/dist/recorded-bibliography.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"recorded-bibliography.d.ts","sourceRoot":"","sources":["../src/recorded-bibliography.ts"],"names":[],"mappings":"AA0BA,OAAO,EAEL,KAAK,QAAQ,EAEb,KAAK,OAAO,EACb,MAAM,2BAA2B,CAAC;AACnC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,EAGL,KAAK,aAAa,EACnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAEL,KAAK,WAAW,EAChB,KAAK,cAAc,EACpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAGpD,sGAAsG;AACtG,MAAM,WAAW,gBAAiB,SAAQ,cAAc;IACtD,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;CACzB;AAED,2GAA2G;AAC3G,MAAM,WAAW,YAAa,SAAQ,gBAAgB;IACpD,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;CACnD;AAED,mFAAmF;AACnF,MAAM,WAAW,YAAY;IAC3B,oDAAoD;IACpD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,MAAM,oBAAoB,GAC5B;IACE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;CACnE,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,kDAAkD;IAClD,QAAQ,CAAC,SAAS,EAAE,SAAS,YAAY,EAAE,CAAC;IAC5C;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC,CAAC;AAkCN,kEAAkE;AAClE,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,gBAAgB,GACrB,oBAAoB,CAoBtB;AAED,kFAAkF;AAClF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,4FAA4F;IAC5F,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,2FAA2F;AAC3F,eAAO,MAAM,kBAAkB,GAC7B,WAAW,SAAS,YAAY,EAAE,KACjC,SAAS,aAAa,EAGtB,CAAC;AAIJ,+DAA+D;AAC/D,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE;AAChD,0EAA0E;GACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAahF,2GAA2G;AAC3G,UAAU,MAAM;IACd,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAiDD,8GAA8G;AAC9G,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAyBD;;;GAGG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,WAAW,EAClB,KAAK,EAAE,SAAS,aAAa,EAAE,EAC/B,IAAI,EAAE,YAAY,GACjB,SAAS,WAAW,EAAE,CAUxB;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,OAAO,CAAC,oBAAoB,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,EACtE,IAAI,EAAE,YAAY,GACjB,SAAS,OAAO,EAAE,CAKpB"}

package/dist/recorded-bibliography.js

@@ -0,0 +1,136 @@
+/**
+ * THE BIBLIOGRAPHY THE LAST BUILD READ — the entries of the databases bibtex opened, from the build's
+ * record (`_build/sources.json`, docs/design/paper-sources.md §1), through the one bibtex reader. Nothing
+ * here reads TeX source to decide which bibliography a paper has: TeX answered, the build wrote it
+ * down, and `paperRecord` says whether the paper is still the one it was written for.
+ *
+ *   unrecorded   no record, or a stale one — the rules that need it are silent (`paper/sources-fresh`
+ *                speaks), the scripts refuse ("run `npx paperlint build` first")
+ *   recorded     a current record, and the databases bibtex opened that are on disk now (none when
+ *                bibtex ran none), and the names of those that are not
+ *
+ * The databases are read in the order bibtex opened them, each with the `@string`s the ones before it
+ * left in force — bibtex keeps one table of them across its databases, so `\\bibliography{abbrev,refs}`
+ * expands an entry of `refs.bib` with a `@string` of `abbrev.bib`. A database that is not on disk adds
+ * none: its `@string`s are bibtex's alone.
+ *
+ * WHERE A FINDING ABOUT AN ENTRY GOES (`entryReports`). ESLint lints `paper.tex` only, so every finding
+ * is a place in it. An entry of a `.bib` TeX wrote (a `filecontents` block) is reported on its own line
+ * in the block of `paper.tex` whose body bibtex takes as the same database (`sameDatabase`) — a lookup
+ * of where the text stands, which decides nothing: the record said what TeX read. When no block of
+ * `paper.tex` is that database — the block is in an included file, or `paper.tex` was edited after the
+ * build — and for the entry of every other `.bib`, the finding is at the top of `paper.tex`, the file,
+ * line and column of the entry at the front of the message (`refs.bib:12:1:`).
+ */
+import { extname, posix, relative, resolve } from "node:path";
+import { callerPath } from "./caller-path.js";
+import { sameDatabase, } from "./domain/paper-sources.js";
+import { JOBNAME, spelledIn, } from "./domain/sources-record.js";
+import { paperRecord, } from "./paper-record.js";
+import { decoded, lineColumn } from "./tex-paper.js";
+/**
+ * The databases `names`, in this order, each read with the `@string`s the ones before it left in force,
+ * as bibtex reads them. One that is not on disk adds none.
+ */
+const readInSequence = (dir, names, deps) => names.reduce((acc, name) => {
+    const path = callerPath(resolve(dir, name));
+    const text = decoded(deps.files.readBytes(path));
+    const bib = text === null ? null : deps.bib.readFile(path, text, acc.inForce);
+    return {
+        inForce: bib?.strings ?? acc.inForce,
+        read: [...acc.read, { name, bib }],
+    };
+}, { inForce: {}, read: [] }).read;
+/** The bibliography the last build of the paper in `dir` read. */
+export function recordedBibliography(dir, deps) {
+    const r = paperRecord(dir, deps);
+    if (r.kind !== "fresh")
+        return { kind: "unrecorded", record: r };
+    const { bibtex, written } = r.record;
+    const opened = readInSequence(dir, (bibtex.ran ? bibtex.databases : []).filter((d, i, all) => all.findIndex((o) => resolve(dir, o) === resolve(dir, d)) === i), deps);
+    return {
+        kind: "recorded",
+        record: r.record,
+        databases: opened.flatMap(({ name, bib }) => bib === null ? [] : [{ name, written: written.includes(name), bib }]),
+        unread: opened.filter((d) => d.bib === null).map((d) => d.name),
+    };
+}
+/** Every entry of the databases, in the order bibtex opened them and the entries stand. */
+export const entriesOfDatabases = (databases) => databases.flatMap((database) => database.bib.entries.map((entry, index) => ({ database, entry, index })));
+/** The first line of an entry: `@misc{key,` — what a finding underlines. */
+const headOf = (bib, e) => {
+    const first = bib.text
+        .slice(e.span.start, e.span.end)
+        .split("\n", 1)
+        .join("");
+    return { start: e.span.start, end: e.span.start + first.length };
+};
+const TOP = { start: 0, end: 0 };
+/**
+ * The text of every `.tex` the record lists, in the order TeX first read them: from disk, except
+ * `override` (the main file as the editor holds it), which stands for its own path. A record is only
+ * current while every file it lists is on disk, so none is skipped for being absent.
+ */
+function holders(dir, record, override, deps) {
+    return record.inputs
+        .map((i) => callerPath(resolve(dir, i.path)))
+        .filter((p) => extname(p) === ".tex")
+        .map((path) => override !== null && override.path === path
+        ? override
+        : { path, text: decoded(deps.files.readBytes(path)) })
+        .filter((h) => h.text !== null);
+}
+/** The block, in some text of the paper, that holds what bibtex read of `db`. */
+const blockHolding = (db, texts, deps) => texts
+    .flatMap((holder) => deps.latex
+    .filecontents(holder.text, JOBNAME)
+    // The block that wrote this database: its file, then its text.
+    .filter((b) => spelledIn([posix.normalize(b.writes)], db.name) !== null)
+    // Read as bibtex read the database: with the `@string`s in force before it.
+    .map((b) => ({
+    holder,
+    bib: deps.bib.read(holder.path, holder.text, b.body, db.bib.inherited),
+})))
+    .find((b) => sameDatabase(b.bib, db.bib)) ?? null;
+/** Where a finding about `f` is reported, given the block of a text of the paper that holds its database (or none). */
+function reportOf(paper, block, f) {
+    const there = block?.bib.entries[f.index];
+    if (block === null || there?.key !== f.entry.key)
+        return {
+            kind: "elsewhere",
+            span: TOP,
+            where: `${f.database.name}:${lineColumn(f.database.bib.text, headOf(f.database.bib, f.entry).start)}`,
+        };
+    const span = headOf(block.bib, there);
+    return block.holder.path === paper.main.path
+        ? { kind: "here", span }
+        : {
+            kind: "elsewhere",
+            span: TOP,
+            where: `${relative(paper.dir, block.holder.path)}:${lineColumn(block.holder.text, span.start)}`,
+        };
+}
+/**
+ * Where each finding about `found` is reported, in the same order. The main file is read as the editor
+ * holds it; the record's other `.tex` files are read from disk.
+ */
+export function entryReports(paper, found, deps) {
+    const texts = holders(paper.dir, paper.record, paper.main, deps);
+    // Only the written databases that have a finding are searched for their block.
+    const blocks = new Map(found
+        .map((f) => f.database)
+        .filter((d, i, all) => d.written && all.indexOf(d) === i)
+        .map((d) => [d, blockHolding(d, texts, deps)]));
+    return found.map((f) => reportOf(paper, blocks.get(f.database) ?? null, f));
+}
+/**
+ * The text the author edits for each database bibtex opened, in the order it opened them: for a `.bib`
+ * TeX wrote, the block of `paper.tex` or of an included file that holds what bibtex read; for any other
+ * database, and for a written one no block holds, the file itself. What a script reads, so its entries
+ * stand where the author finds them.
+ */
+export function authoredTexts(dir, recorded, deps) {
+    const texts = holders(dir, recorded.record, null, deps);
+    return recorded.databases.map((d) => (d.written ? blockHolding(d, texts, deps)?.bib : undefined) ?? d.bib);
+}
+//# sourceMappingURL=recorded-bibliography.js.map

package/dist/recorded-bibliography.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recorded-bibliography.js","sourceRoot":"","sources":["../src/recorded-bibliography.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EACL,YAAY,GAIb,MAAM,2BAA2B,CAAC;AAGnC,OAAO,EACL,OAAO,EACP,SAAS,GAEV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,WAAW,GAGZ,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AA6CrD;;;GAGG;AACH,MAAM,cAAc,GAAG,CACrB,GAAW,EACX,KAAwB,EACxB,IAAsB,EACH,EAAE,CACrB,KAAK,CAAC,MAAM,CAIV,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;IACZ,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IACjD,MAAM,GAAG,GACP,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IACpE,OAAO;QACL,OAAO,EAAE,GAAG,EAAE,OAAO,IAAI,GAAG,CAAC,OAAO;QACpC,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;KACnC,CAAC;AACJ,CAAC,EACD,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAC1B,CAAC,IAAI,CAAC;AAET,kEAAkE;AAClE,MAAM,UAAU,oBAAoB,CAClC,GAAW,EACX,IAAsB;IAEtB,MAAM,CAAC,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACjE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,MAAM,MAAM,GAAG,cAAc,CAC3B,GAAG,EACH,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CACZ,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAClE,EACD,IAAI,CACL,CAAC;IACF,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAA2B,EAAE,CACnE,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CACrE;QACD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KAChE,CAAC;AACJ,CAAC;AAUD,2FAA2F;AAC3F,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,SAAkC,EACR,EAAE,CAC5B,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC7B,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CACzE,CAAC;AAUJ,4EAA4E;AAC5E,MAAM,MAAM,GAAG,CAAC,GAAY,EAAE,CAAW,EAAQ,EAAE;IACjD,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI;SACnB,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;SAC/B,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;SACd,IAAI,CAAC,EAAE,CAAC,CAAC;IACZ,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;AACnE,CAAC,CAAC;AAEF,MAAM,GAAG,GAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAQvC;;;;GAIG;AACH,SAAS,OAAO,CACd,GAAW,EACX,MAAqB,EACrB,QAAuB,EACvB,IAAkB;IAElB,OAAO,MAAM,CAAC,MAAM;SACjB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;SAC5C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC;SACpC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACZ,QAAQ,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI;QACzC,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CACxD;SACA,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACjD,CAAC;AAED,iFAAiF;AACjF,MAAM,YAAY,GAAG,CACnB,EAAgB,EAChB,KAAwB,EACxB,IAAkB,EACyC,EAAE,CAC7D,KAAK;KACF,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAClB,IAAI,CAAC,KAAK;KACP,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;IACnC,+DAA+D;KAC9D,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;IACxE,4EAA4E;KAC3E,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACX,MAAM;IACN,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAChB,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,IAAI,EACX,CAAC,CAAC,IAAI,EACN,EAAE,CAAC,GAAG,CAAC,SAAS,CACjB;CACF,CAAC,CAAC,CACN;KACA,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC;AAStD,uHAAuH;AACvH,SAAS,QAAQ,CACf,KAAkB,EAClB,KAAgE,EAChE,CAAgB;IAEhB,MAAM,KAAK,GAAG,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG;QAC9C,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,GAAG;YACT,KAAK,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE;SACtG,CAAC;IACJ,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACtC,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI;QAC1C,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;QACxB,CAAC,CAAC;YACE,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,GAAG;YACT,KAAK,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE;SAChG,CAAC;AACR,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAkB,EAClB,KAA+B,EAC/B,IAAkB;IAElB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjE,+EAA+E;IAC/E,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,KAAK;SACF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;SACtB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAU,CAAC,CAC1D,CAAC;IACF,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,GAAW,EACX,QAAsE,EACtE,IAAkB;IAElB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACxD,OAAO,QAAQ,CAAC,SAAS,CAAC,GAAG,CAC3B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAC5E,CAAC;AACJ,CAAC"}

package/dist/reference-rules.d.ts

@@ -1,4 +1,4 @@
-import type { Files } from "./ports/files.ts";
+import { type RecordedDeps } from "./recorded-bibliography.ts";
 interface Loc {
     readonly line: number;
     readonly column: number;
@@ -7,6 +7,8 @@ interface RuleContext {
     readonly filename: string;
     readonly cwd: string;
     readonly sourceCode: {
+        /** The file as written (the `tex/latex` language's source code). */
+        readonly raw: string;
         getLocFromIndex(i: number): Loc;
     };
     report(d: {
@@ -32,10 +34,8 @@ export interface ReferenceRuleModule {
     };
 }
 type Name = "author-list" | "cite-exists" | "refs-checked" | "refs-fresh";
-/** The four rules, reading through `files`. They act on `paper.tex` only. */
-export declare function referenceRules({ files, }: {
-    files: Files;
-}): Record<Name, ReferenceRuleModule>;
+/** The four rules, reading the paper through `deps`. They act on `paper.tex` only. */
+export declare function referenceRules(deps: RecordedDeps): Record<Name, ReferenceRuleModule>;
 /** The level each is on at for every `paper.tex` in paperlint's own config. */
 export declare const REFERENCE_RULE_LEVELS: {
     readonly "paper/author-list": "error";

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

@@ -1 +1 @@
-{"version":3,"file":"reference-rules.d.ts","sourceRoot":"","sources":["../src/reference-rules.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAS9C,UAAU,GAAG;IACX,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AACD,UAAU,WAAW;IACnB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE;QACnB,eAAe,CAAC,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC;KACjC,CAAC;IACF,MAAM,CAAC,CAAC,EAAE;QACR,GAAG,EAAE;YAAE,KAAK,EAAE,GAAG,CAAC;YAAC,GAAG,EAAE,GAAG,CAAA;SAAE,CAAC;QAC9B,SAAS,EAAE,MAAM,CAAC;QAClB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KAC/B,GAAG,IAAI,CAAC;CACV;AACD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE;QACb,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,YAAY,CAAC;QACxC,QAAQ,CAAC,IAAI,EAAE;YAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;SAAE,CAAC;QAChD,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;QACnC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;KACrD,CAAC;IACF,MAAM,CAAC,OAAO,EAAE,WAAW,GAAG;QAAE,WAAW,CAAC,EAAE,MAAM,IAAI,CAAA;KAAE,CAAC;CAC5D;AAED,KAAK,IAAI,GAAG,aAAa,GAAG,aAAa,GAAG,cAAc,GAAG,YAAY,CAAC;AAgI1E,6EAA6E;AAC7E,wBAAgB,cAAc,CAAC,EAC7B,KAAK,GACN,EAAE;IACD,KAAK,EAAE,KAAK,CAAC;CACd,GAAG,MAAM,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAiCpC;AAED,+EAA+E;AAC/E,eAAO,MAAM,qBAAqB;;;;;CAKxB,CAAC"}
+{"version":3,"file":"reference-rules.d.ts","sourceRoot":"","sources":["../src/reference-rules.ts"],"names":[],"mappings":"AAkCA,OAAO,EAGL,KAAK,YAAY,EAElB,MAAM,4BAA4B,CAAC;AAWpC,UAAU,GAAG;IACX,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AACD,UAAU,WAAW;IACnB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE;QACnB,oEAAoE;QACpE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QACrB,eAAe,CAAC,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC;KACjC,CAAC;IACF,MAAM,CAAC,CAAC,EAAE;QACR,GAAG,EAAE;YAAE,KAAK,EAAE,GAAG,CAAC;YAAC,GAAG,EAAE,GAAG,CAAA;SAAE,CAAC;QAC9B,SAAS,EAAE,MAAM,CAAC;QAClB,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KAC/B,GAAG,IAAI,CAAC;CACV;AACD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE;QACb,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,YAAY,CAAC;QACxC,QAAQ,CAAC,IAAI,EAAE;YAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;SAAE,CAAC;QAChD,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;QACnC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;KACrD,CAAC;IACF,MAAM,CAAC,OAAO,EAAE,WAAW,GAAG;QAAE,WAAW,CAAC,EAAE,MAAM,IAAI,CAAA;KAAE,CAAC;CAC5D;AAED,KAAK,IAAI,GAAG,aAAa,GAAG,aAAa,GAAG,cAAc,GAAG,YAAY,CAAC;AA+N1E,sFAAsF;AACtF,wBAAgB,cAAc,CAC5B,IAAI,EAAE,YAAY,GACjB,MAAM,CAAC,IAAI,EAAE,mBAAmB,CAAC,CA6BnC;AAED,+EAA+E;AAC/E,eAAO,MAAM,qBAAqB;;;;;CAKxB,CAAC"}

package/dist/reference-rules.js

@@ -5,47 +5,76 @@
  *
  *   entry whose authors are the preprint's   paper/author-list (error), on the entry
  *   entry whose identifier provably fails    paper/cite-exists (error), on the entry
- *   no record, or recorded "not checked"     paper/refs-checked (warn) — like pdf/measured
- *   bibliography edited after the build      paper/refs-fresh (error) — like pdf/fresh
+ *   no verdicts, or recorded "not checked"   paper/refs-checked (warn) — like pdf/measured
+ *   a key bibtex typeset that no entry the  paper/refs-checked (warn): that reference was not
+ *   reader read has (`unseenKeys`)           checked
+ *   a database bibtex found outside the      paper/refs-checked (warn): its references were not checked
+ *   paper directory (BIBINPUTS)
+ *   databases edited after the build         paper/refs-fresh (error) — like pdf/fresh
  *
- * While the record is stale, the per-entry rules are silent: they would judge a bibliography
- * that no longer exists, and refs-fresh already says so once. A paper with no bibliography gets
- * nothing.
+ * The databases are the ones the last build's bibtex opened (`_build/sources.json`,
+ * docs/design/paper-sources.md §1) — `readBibliography` answers only from a record the paper has not
+ * changed since. With no record, or a stale one, every rule here is silent: `paper/sources-fresh`
+ * speaks once. While the verdicts are stale, the per-entry rules are silent too: they would judge
+ * databases that no longer exist, and refs-fresh already says so once. A paper whose build ran no
+ * bibtex gets nothing.
+ *
+ * `paper/author-list` and `paper/cite-exists` lay the verdicts on the entries of those databases. ESLint
+ * does not lint a `.bib`, so a finding is a place in `paper.tex`: an entry of a `.bib` TeX wrote from a
+ * block of `paper.tex` is reported on its line there (`entryReports`); any other entry at the top of
+ * `paper.tex`, with the entry's file, line and column at the front of the message (`refs.bib:12:1:`).
  *
  * `paper/author-list` used to live on PIPELINE-STATUS.md and ask whether the scorecard mentioned
  * a run. It lives here now because its subject is the bibliography, and the record of the run is
  * the run's own output.
  */
 import { basename, dirname } from "node:path";
-import { bibHash, bibliographyOf, readReferences, REFERENCES_FILE, } from "./references.js";
-function assess(files, paperDir) {
-    const bib = bibliographyOf(files, paperDir);
-    if (bib === null)
-        return { kind: "no-bibliography" };
-    const doc = readReferences(files, paperDir);
+import { callerPath } from "./caller-path.js";
+import { MAIN_FILE } from "./domain/paper-sources.js";
+import { entryReports, } from "./recorded-bibliography.js";
+import { bibHash, readBibliography, readReferences, REFERENCES_FILE, unseenKeys, } from "./references.js";
+/**
+ * Each entry checked with its verdict — when the record holds one verdict per entry, in its order, as
+ * the build writes it. One that does not (written by hand) is not about these databases: null.
+ */
+function laid(verdicts, entries) {
+    const pairs = entries.flatMap((f, i) => {
+        const v = verdicts[i];
+        return v?.key === f.entry.key ? [[f, v]] : [];
+    });
+    return pairs.length === entries.length && verdicts.length === entries.length
+        ? pairs
+        : null;
+}
+/** What the verdicts on disk say about the databases of `bib`. */
+function judgedVerdicts(bib, doc) {
     if (doc === null)
         return { kind: "unrecorded" };
     if (doc.bib.sha256 !== bibHash(bib))
         return { kind: "stale" };
     if (doc.status === "not-checked")
         return { kind: "not-checked", why: doc.why ?? "no reason recorded" };
-    const failing = doc.entries.flatMap((e) => [
-        ...(e.authors === "mismatch"
-            ? [{ key: e.key, rule: "author-list", why: e.why ?? "" }]
-            : []),
-        ...(e.exists === "false"
-            ? [{ key: e.key, rule: "cite-exists", why: e.why ?? "" }]
-            : []),
-    ]);
-    return { kind: "ready", bib, failing };
+    const verdicts = laid(doc.entries, bib.entries);
+    return verdicts === null
+        ? { kind: "stale" }
+        : { kind: "ready", judged: { bib, verdicts } };
 }
-/** Where entry `key` starts in the source file: its `@type{key,` line, or the file's start. */
-function entryOffset(bib, key) {
-    const escaped = key.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
-    const m = new RegExp(`^@\\w+\\s*\\{\\s*${escaped}\\s*,`, "m").exec(bib.text);
-    return m ? bib.offset + m.index : 0;
+function assess(deps, paperDir) {
+    const read = readBibliography(paperDir, deps);
+    switch (read.kind) {
+        case "no-record":
+        case "nothing":
+        case "not-wired":
+            return { kind: "silent" };
+        case "unread":
+            return { kind: "unread", databases: read.databases };
+        case "read":
+            return judgedVerdicts(read.bibliography, readReferences(deps.files, paperDir));
+    }
 }
 const BUILD = "`npx paperlint build`";
+const MISMATCH = "`{{key}}`: the authors are not those of the version cited — {{why}}. The citation resolves and the id resolves, and the list is the PREPRINT's under a published venue";
+const MISSING = "`{{key}}` does not resolve to the work cited — {{why}}";
 const META = {
     "author-list": {
         type: "problem",
@@ -53,9 +82,7 @@ const META = {
             description: "each entry's authors are those of the version it cites, not the preprint's (recorded by paperlint build)",
         },
         schema: [],
-        messages: {
-            mismatch: "`{{key}}`: the authors are not those of the version cited — {{why}}. The citation resolves and the id resolves, and the list is the PREPRINT's under a published venue",
-        },
+        messages: { mismatch: MISMATCH, mismatchIn: `{{where}}: ${MISMATCH}` },
     },
     "cite-exists": {
         type: "problem",
@@ -63,9 +90,7 @@ const META = {
             description: "each entry's identifier resolves to the work cited (recorded by paperlint build)",
         },
         schema: [],
-        messages: {
-            missing: "`{{key}}` does not resolve to the work cited — {{why}}",
-        },
+        messages: { missing: MISSING, missingIn: `{{where}}: ${MISSING}` },
     },
     "refs-checked": {
         type: "suggestion",
@@ -76,12 +101,14 @@ const META = {
         messages: {
             unrecorded: `the references have not been checked — ${BUILD} checks them online and records the result in _build/${REFERENCES_FILE}`,
             notChecked: `the last build could not check the references ({{why}}) — run ${BUILD} with network`,
+            unseen: "the last build's bibtex typeset {{what}}, which paperlint's reader did not read from the databases bibtex opened, so those references were not checked: an entry behind `%` or inside `@comment{…}` — bibtex has no comment syntax and reads it, the reader skips it. Delete the entry, or remove its `@`",
+            unread: `{{what}}, which the last build's bibtex opened, is not in the paper directory (bibtex found it on its search path, BIBINPUTS), so its references were not checked — move it beside paper.tex`,
         },
     },
     "refs-fresh": {
         type: "problem",
         docs: {
-            description: "the recorded reference verdicts are about the bibliography on disk, not an earlier one",
+            description: "the recorded reference verdicts are about the databases on disk, not an earlier set",
         },
         schema: [],
         messages: {
@@ -89,61 +116,107 @@ const META = {
         },
     },
 };
+const AT_START = { kind: "here", span: { start: 0, end: 0 } };
 const JUDGES = {
-    "author-list": (a) => a.kind === "ready"
-        ? a.failing
-            .filter((f) => f.rule === "author-list")
-            .map((f) => ({
-            at: entryOffset(a.bib, f.key),
-            messageId: "mismatch",
-            data: { key: f.key, why: f.why },
-        }))
-        : [],
-    "cite-exists": (a) => a.kind === "ready"
-        ? a.failing
-            .filter((f) => f.rule === "cite-exists")
-            .map((f) => ({
-            at: entryOffset(a.bib, f.key),
-            messageId: "missing",
-            data: { key: f.key, why: f.why },
-        }))
-        : [],
-    "refs-checked": (a) => a.kind === "unrecorded"
-        ? [{ at: 0, messageId: "unrecorded" }]
-        : a.kind === "not-checked"
-            ? [{ at: 0, messageId: "notChecked", data: { why: a.why } }]
-            : [],
-    "refs-fresh": (a) => a.kind === "stale" ? [{ at: 0, messageId: "stale" }] : [],
+    "refs-checked": (a) => {
+        switch (a.kind) {
+            case "unrecorded":
+                return [{ messageId: "unrecorded" }];
+            case "not-checked":
+                return [{ messageId: "notChecked", data: { why: a.why } }];
+            case "unread":
+                return [
+                    { messageId: "unread", data: { what: a.databases.join(", ") } },
+                ];
+            case "ready": {
+                const unseen = unseenKeys(a.judged.bib);
+                return unseen.length === 0
+                    ? []
+                    : [
+                        {
+                            messageId: "unseen",
+                            data: { what: unseen.map((k) => `\`${k}\``).join(", ") },
+                        },
+                    ];
+            }
+            case "silent":
+            case "stale":
+                return [];
+        }
+    },
+    "refs-fresh": (a) => (a.kind === "stale" ? [{ messageId: "stale" }] : []),
 };
-/** The four rules, reading through `files`. They act on `paper.tex` only. */
-export function referenceRules({ files, }) {
-    const make = (name) => ({
+/**
+ * One finding, at its entry in paper.tex — or, for an entry in a `.bib`, at the top, with the `…In`
+ * message that names the entry's file, line and column first.
+ */
+function report(context, r) {
+    const loc = (i) => context.sourceCode.getLocFromIndex(i);
+    const at = r.at ?? AT_START;
+    context.report({
+        loc: { start: loc(at.span.start), end: loc(at.span.end) },
+        ...(at.kind === "here"
+            ? { messageId: r.messageId, ...(r.data ? { data: r.data } : {}) }
+            : {
+                messageId: `${r.messageId}In`,
+                data: { ...r.data, where: at.where },
+            }),
+    });
+}
+/** The verdicts a rule reports, and the message each makes. */
+const VERDICT_RULES = {
+    "author-list": {
+        failed: (v) => v.authors === "mismatch",
+        messageId: "mismatch",
+    },
+    "cite-exists": {
+        failed: (v) => v.exists === "false",
+        messageId: "missing",
+    },
+};
+/**
+ * The entries the verdicts judged failing for `rule`, each where it is reported (`entryReports`): the
+ * line of its `filecontents` block in the paper's text when TeX wrote its `.bib` from one, else the
+ * top of `paper.tex`.
+ */
+function verdictReports(rule, context, deps) {
+    const main = callerPath(context.filename);
+    const dir = dirname(main);
+    const a = assess(deps, dir);
+    if (a.kind !== "ready")
+        return [];
+    const { failed, messageId } = VERDICT_RULES[rule];
+    const flagged = a.judged.verdicts.filter(([, v]) => failed(v));
+    const at = entryReports({
+        dir,
+        record: a.judged.bib.record,
+        main: { path: main, text: context.sourceCode.raw },
+    }, flagged.map(([f]) => f), deps);
+    return flagged.map(([, v], i) => ({
+        at: at[i],
+        messageId,
+        data: { key: v.key, why: v.why ?? "" },
+    }));
+}
+/** The four rules, reading the paper through `deps`. They act on `paper.tex` only. */
+export function referenceRules(deps) {
+    const make = (name, judge) => ({
         meta: META[name],
-        create: (context) => basename(context.filename) !== "paper.tex"
+        create: (context) => basename(context.filename) !== MAIN_FILE
             ? {}
             : {
                 "root:exit": () => {
-                    const paperDir = dirname(context.filename);
-                    const a = assess(files, paperDir);
-                    // An external refs.bib: the entry is not in this file, so the finding sits at its
-                    // start and names the key.
-                    const external = a.kind === "ready" && a.bib.source !== "paper.tex";
-                    for (const r of JUDGES[name](a)) {
-                        const loc = context.sourceCode.getLocFromIndex(external ? 0 : r.at);
-                        context.report({
-                            loc: { start: loc, end: loc },
-                            messageId: r.messageId,
-                            ...(r.data ? { data: r.data } : {}),
-                        });
-                    }
+                    for (const r of judge(context))
+                        report(context, r);
                 },
             },
     });
+    const assessed = (name) => (context) => JUDGES[name](assess(deps, dirname(callerPath(context.filename))));
     return {
-        "author-list": make("author-list"),
-        "cite-exists": make("cite-exists"),
-        "refs-checked": make("refs-checked"),
-        "refs-fresh": make("refs-fresh"),
+        "author-list": make("author-list", (c) => verdictReports("author-list", c, deps)),
+        "cite-exists": make("cite-exists", (c) => verdictReports("cite-exists", c, deps)),
+        "refs-checked": make("refs-checked", assessed("refs-checked")),
+        "refs-fresh": make("refs-fresh", assessed("refs-fresh")),
     };
 }
 /** The level each is on at for every `paper.tex` in paperlint's own config. */

package/dist/reference-rules.js.map

@@ -1 +1 @@
-{"version":3,"file":"reference-rules.js","sourceRoot":"","sources":["../src/reference-rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAE9C,OAAO,EACL,OAAO,EACP,cAAc,EACd,cAAc,EACd,eAAe,GAEhB,MAAM,iBAAiB,CAAC;AA8CzB,SAAS,MAAM,CAAC,KAAY,EAAE,QAAgB;IAC5C,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC5C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;IACrD,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC5C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IAChD,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC9D,IAAI,GAAG,CAAC,MAAM,KAAK,aAAa;QAC9B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,oBAAoB,EAAE,CAAC;IACvE,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACzC,GAAG,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU;YAC1B,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,aAAsB,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC;YAClE,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO;YACtB,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,aAAsB,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC;YAClE,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC;AAED,+FAA+F;AAC/F,SAAS,WAAW,CAAC,GAAiB,EAAE,GAAW;IACjD,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAC3D,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,oBAAoB,OAAO,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7E,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,MAAM,KAAK,GAAG,uBAAuB,CAAC;AAEtC,MAAM,IAAI,GAAwD;IAChE,aAAa,EAAE;QACb,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EACT,0GAA0G;SAC7G;QACD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,QAAQ,EACN,wKAAwK;SAC3K;KACF;IACD,aAAa,EAAE;QACb,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EACT,kFAAkF;SACrF;QACD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,OAAO,EAAE,wDAAwD;SAClE;KACF;IACD,cAAc,EAAE;QACd,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE;YACJ,WAAW,EACT,kGAAkG;SACrG;QACD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,UAAU,EAAE,0CAA0C,KAAK,wDAAwD,eAAe,EAAE;YACpI,UAAU,EAAE,iEAAiE,KAAK,eAAe;SAClG;KACF;IACD,YAAY,EAAE;QACZ,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EACT,wFAAwF;SAC3F;QACD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,KAAK,EAAE,kEAAkE,KAAK,EAAE;SACjF;KACF;CACF,CAAC;AAIF,MAAM,MAAM,GAAwD;IAClE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CACnB,CAAC,CAAC,IAAI,KAAK,OAAO;QAChB,CAAC,CAAC,CAAC,CAAC,OAAO;aACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;aACvC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC;YAC7B,SAAS,EAAE,UAAU;YACrB,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;SACjC,CAAC,CAAC;QACP,CAAC,CAAC,EAAE;IACR,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CACnB,CAAC,CAAC,IAAI,KAAK,OAAO;QAChB,CAAC,CAAC,CAAC,CAAC,OAAO;aACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;aACvC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC;YAC7B,SAAS,EAAE,SAAS;YACpB,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE;SACjC,CAAC,CAAC;QACP,CAAC,CAAC,EAAE;IACR,cAAc,EAAE,CAAC,CAAC,EAAE,EAAE,CACpB,CAAC,CAAC,IAAI,KAAK,YAAY;QACrB,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC;QACtC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa;YACxB,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;YAC5D,CAAC,CAAC,EAAE;IACV,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAClB,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;CAC5D,CAAC;AAEF,6EAA6E;AAC7E,MAAM,UAAU,cAAc,CAAC,EAC7B,KAAK,GAGN;IACC,MAAM,IAAI,GAAG,CAAC,IAAU,EAAuB,EAAE,CAAC,CAAC;QACjD,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QAChB,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAClB,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,WAAW;YACxC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,WAAW,EAAE,GAAG,EAAE;oBAChB,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;oBAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;oBAClC,kFAAkF;oBAClF,2BAA2B;oBAC3B,MAAM,QAAQ,GACZ,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,WAAW,CAAC;oBACrD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;wBAChC,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,eAAe,CAC5C,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CACpB,CAAC;wBACF,OAAO,CAAC,MAAM,CAAC;4BACb,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;4BAC7B,SAAS,EAAE,CAAC,CAAC,SAAS;4BACtB,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;yBACpC,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;aACF;KACR,CAAC,CAAC;IACH,OAAO;QACL,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC;QAClC,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC;QAClC,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC;QACpC,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC;KACjC,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,mBAAmB,EAAE,OAAO;IAC5B,mBAAmB,EAAE,OAAO;IAC5B,oBAAoB,EAAE,MAAM;IAC5B,kBAAkB,EAAE,OAAO;CACnB,CAAC"}
+{"version":3,"file":"reference-rules.js","sourceRoot":"","sources":["../src/reference-rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAEtD,OAAO,EACL,YAAY,GAIb,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,OAAO,EACP,gBAAgB,EAChB,cAAc,EACd,eAAe,EACf,UAAU,GAGX,MAAM,iBAAiB,CAAC;AAgDzB;;;GAGG;AACH,SAAS,IAAI,CACX,QAAiC,EACjC,OAAiC;IAEjC,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtB,OAAO,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzD,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;QAC1E,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,kEAAkE;AAClE,SAAS,cAAc,CACrB,GAAwB,EACxB,GAA8B;IAE9B,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IAChD,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC9D,IAAI,GAAG,CAAC,MAAM,KAAK,aAAa;QAC9B,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,oBAAoB,EAAE,CAAC;IACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAChD,OAAO,QAAQ,KAAK,IAAI;QACtB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;QACnB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,MAAM,CAAC,IAAkB,EAAE,QAAgB;IAClD,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,WAAW,CAAC;QACjB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW;YACd,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC5B,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;QACvD,KAAK,MAAM;YACT,OAAO,cAAc,CACnB,IAAI,CAAC,YAAY,EACjB,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CACrC,CAAC;IACN,CAAC;AACH,CAAC;AAED,MAAM,KAAK,GAAG,uBAAuB,CAAC;AAEtC,MAAM,QAAQ,GACZ,wKAAwK,CAAC;AAC3K,MAAM,OAAO,GAAG,wDAAwD,CAAC;AAEzE,MAAM,IAAI,GAAwD;IAChE,aAAa,EAAE;QACb,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EACT,0GAA0G;SAC7G;QACD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,cAAc,QAAQ,EAAE,EAAE;KACvE;IACD,aAAa,EAAE;QACb,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EACT,kFAAkF;SACrF;QACD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,OAAO,EAAE,EAAE;KACnE;IACD,cAAc,EAAE;QACd,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE;YACJ,WAAW,EACT,kGAAkG;SACrG;QACD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,UAAU,EAAE,0CAA0C,KAAK,wDAAwD,eAAe,EAAE;YACpI,UAAU,EAAE,iEAAiE,KAAK,eAAe;YACjG,MAAM,EACJ,2SAA2S;YAC7S,MAAM,EAAE,8LAA8L;SACvM;KACF;IACD,YAAY,EAAE;QACZ,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,WAAW,EACT,qFAAqF;SACxF;QACD,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE;YACR,KAAK,EAAE,kEAAkE,KAAK,EAAE;SACjF;KACF;CACF,CAAC;AASF,MAAM,QAAQ,GAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;AAE3E,MAAM,MAAM,GAER;IACF,cAAc,EAAE,CAAC,CAAC,EAAE,EAAE;QACpB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,YAAY;gBACf,OAAO,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC;YACvC,KAAK,aAAa;gBAChB,OAAO,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC7D,KAAK,QAAQ;gBACX,OAAO;oBACL,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE;iBAChE,CAAC;YACJ,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACxC,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC;oBACxB,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC;wBACE;4BACE,SAAS,EAAE,QAAQ;4BACnB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;yBACzD;qBACF,CAAC;YACR,CAAC;YACD,KAAK,QAAQ,CAAC;YACd,KAAK,OAAO;gBACV,OAAO,EAAE,CAAC;QACd,CAAC;IACH,CAAC;IACD,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;CAC1E,CAAC;AAEF;;;GAGG;AACH,SAAS,MAAM,CAAC,OAAoB,EAAE,CAAS;IAC7C,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,QAAQ,CAAC;IAC5B,OAAO,CAAC,MAAM,CAAC;QACb,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QACzD,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM;YACpB,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;YACjE,CAAC,CAAC;gBACE,SAAS,EAAE,GAAG,CAAC,CAAC,SAAS,IAAI;gBAC7B,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE;aACrC,CAAC;KACP,CAAC,CAAC;AACL,CAAC;AAED,+DAA+D;AAC/D,MAAM,aAAa,GAAG;IACpB,aAAa,EAAE;QACb,MAAM,EAAE,CAAC,CAAe,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU;QACrD,SAAS,EAAE,UAAU;KACtB;IACD,aAAa,EAAE;QACb,MAAM,EAAE,CAAC,CAAe,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO;QACjD,SAAS,EAAE,SAAS;KACrB;CACO,CAAC;AAEX;;;;GAIG;AACH,SAAS,cAAc,CACrB,IAAgC,EAChC,OAAoB,EACpB,IAAkB;IAElB,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,EAAE,GAAG,YAAY,CACrB;QACE,GAAG;QACH,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM;QAC3B,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE;KACnD,EACD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EACvB,IAAI,CACL,CAAC;IACF,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAChC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACT,SAAS;QACT,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE;KACvC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,cAAc,CAC5B,IAAkB;IAElB,MAAM,IAAI,GAAG,CACX,IAAU,EACV,KAAkD,EAC7B,EAAE,CAAC,CAAC;QACzB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QAChB,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,CAClB,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,SAAS;YACtC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,WAAW,EAAE,GAAG,EAAE;oBAChB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC;wBAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBACrD,CAAC;aACF;KACR,CAAC,CAAC;IACH,MAAM,QAAQ,GACZ,CAAC,IAAmC,EAAE,EAAE,CACxC,CAAC,OAAoB,EAAqB,EAAE,CAC1C,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,OAAO;QACL,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CACvC,cAAc,CAAC,aAAa,EAAE,CAAC,EAAE,IAAI,CAAC,CACvC;QACD,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CACvC,cAAc,CAAC,aAAa,EAAE,CAAC,EAAE,IAAI,CAAC,CACvC;QACD,cAAc,EAAE,IAAI,CAAC,cAAc,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAC;QAC9D,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;KACzD,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,mBAAmB,EAAE,OAAO;IAC5B,mBAAmB,EAAE,OAAO;IAC5B,oBAAoB,EAAE,MAAM;IAC5B,kBAAkB,EAAE,OAAO;CACnB,CAAC"}