paperlint 8.0.0 → 9.0.0

package/dist/references.d.ts

@@ -2,43 +2,98 @@ import type { Files } from "./ports/files.ts";
 import { type LookupCache } from "./domain/lookup-cache.ts";
 import { type Result } from "./domain/result.ts";
 import type { CheckReferences, EntryVerdict, ReferencesCheck } from "./ports/check-references.ts";
-export declare const REFERENCES_SCHEMA = 1;
+import { type SourcesRecord } from "./domain/sources-record.ts";
+import type { PaperRecord } from "./paper-record.ts";
+import { type ReadDatabase, type RecordedEntry, type RecordedReadDeps } from "./recorded-bibliography.ts";
+/** 3: the record of what bibtex read lives in `_build/sources.json`; an older one reads as none. */
+export declare const REFERENCES_SCHEMA = 3;
 export declare const REFERENCES_FILE = "references.json";
 /** The lookup cache's place in a paper: committed, beside the paper's other reproduction files. */
 export declare const LOOKUP_CACHE_FILE = "repro/references-cache.json";
 export declare const lookupCachePath: (paperDir: string) => string;
 /** Where a paper's reference verdicts live — beside `paper.facts.json`. */
 export declare const referencesPath: (paperDir: string) => string;
-/** The bibliography a paper carries: inside `paper.tex` (`filecontents`), else `refs.bib`. */
-export interface Bibliography {
-    readonly source: "paper.tex" | "refs.bib";
-    readonly text: string;
-    /** Where `text` starts in the source file — so a finding can point at an entry. */
-    readonly offset: number;
+/**
+ * The bibliography the build checks: the databases bibtex opened, in the order it opened them, and
+ * their entries as the bibtex reader read them. The verdicts are recorded one per entry, in this
+ * order: a verdict is about an entry, not about its key.
+ */
+export interface CheckedBibliography {
+    /** The build's record these databases were read from. */
+    readonly record: SourcesRecord;
+    readonly databases: readonly [ReadDatabase, ...ReadDatabase[]];
+    readonly entries: readonly RecordedEntry[];
+    /** The keys bibtex typeset, in the order it did: the `.bbl`'s `\bibitem`s. */
+    readonly typeset: readonly string[];
+}
+/** What reading the bibliography takes: the record's readers, and the bibtex reader. */
+export type BibliographyDeps = RecordedReadDeps;
+/** What a paper's record comes to for the references. */
+export type BibliographyRead = {
+    readonly kind: "read";
+    readonly bibliography: CheckedBibliography;
+}
+/** No record of the build, an unreadable one, or one the paper has changed since. */
+ | {
+    readonly kind: "no-record";
+    readonly record: Exclude<PaperRecord, {
+        readonly kind: "fresh";
+    }>;
+}
+/** bibtex opened no database: the build ran none, or the paper names none. */
+ | {
+    readonly kind: "nothing";
 }
-export declare function bibliographyOf(files: Files, paperDir: string): Bibliography | null;
-export declare const bibHash: (b: Bibliography) => string;
+/** Databases bibtex opened that are not in the paper directory: it found them on its search path. */
+ | {
+    readonly kind: "unread";
+    readonly databases: readonly string[];
+}
+/** The build was not given a reader. */
+ | {
+    readonly kind: "not-wired";
+};
+/**
+ * The bibliography the build recorded for the paper in `dir`: the databases bibtex opened, read by
+ * the bibtex reader. Only a fresh record answers (`paperRecord`).
+ */
+export declare function readBibliography(dir: string, deps: BibliographyDeps): BibliographyRead;
+/** A paper's bibliography by its directory — what the build's steps are handed by the composition root. */
+export type ReadBibliography = (dir: string) => BibliographyRead;
+/** `readBibliography` over `deps`, as a `ReadBibliography`. */
+export declare const bibliographyReader: (deps: BibliographyDeps) => ReadBibliography;
+/** No reader: the build was not given one. Never "no bibliography" — it says so. */
+export declare const notWiredBibliography: ReadBibliography;
+/**
+ * The keys bibtex typeset that no entry the reader read has — an entry behind `%` or inside
+ * `@comment{…}`, which bibtex reads and the reader does not. In the order bibtex typeset them, each
+ * once. bibtex's keys are case-insensitive (`\cite{SMITH}` typesets `\bibitem{SMITH}` from an entry
+ * `smith`, measured), so they are compared so.
+ */
+export declare function unseenKeys(b: CheckedBibliography): readonly string[];
+/** The bytes of the databases checked, in order: what a later lint compares to see the verdicts are current. */
+export declare const bibHash: (b: CheckedBibliography) => string;
 /** What `_build/references.json` holds. */
 export interface ReferencesDocument {
     readonly schema: number;
     readonly bib: {
-        readonly source: string;
+        readonly sources: readonly string[];
         readonly sha256: string;
     };
     readonly status: "checked" | "not-checked";
     readonly why?: string;
     readonly entries: readonly EntryVerdict[];
 }
-export declare const documentOf: (bib: Bibliography, check: ReferencesCheck) => ReferencesDocument;
+export declare const documentOf: (bib: CheckedBibliography, check: ReferencesCheck) => ReferencesDocument;
 /** The recorded verdicts, or null when there are none or they do not parse. */
 export declare function readReferences(files: Files, paperDir: string): ReferencesDocument | null;
 /** The paper's lookup cache: empty when there is none, or why the file on disk cannot be read. */
 export declare function readLookupCache(files: Files, paperDir: string): Result<LookupCache, string>;
 /**
- * The build step's work: check the bibliography, serving what it can from the paper's lookup
- * cache, and record the verdicts. Returns the one-line note the build prints. A checker that
- * throws, or a cache that does not parse, is recorded as `not-checked` — the step reports, it
- * never refuses. A cache that does not parse is left as it is, and named.
+ * The build step's work: check the bibliography the build recorded, serving what it can from the
+ * paper's lookup cache, and record the verdicts. Returns the one-line note the build prints. A
+ * checker that throws, or a cache that does not parse, is recorded as `not-checked` — the step
+ * reports, it never refuses. A cache that does not parse is left as it is, and named.
  */
-export declare function recordReferences(files: Files, paperDir: string, check: CheckReferences): Promise<string>;
+export declare function recordReferences(files: Files, paperDir: string, read: BibliographyRead, check: CheckReferences): Promise<string>;
 //# sourceMappingURL=references.d.ts.map

package/dist/references.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../src/references.ts"],"names":[],"mappings":"AAgCA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAIL,KAAK,WAAW,EACjB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAM,KAAK,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EACV,eAAe,EACf,YAAY,EACZ,eAAe,EAEhB,MAAM,6BAA6B,CAAC;AAIrC,eAAO,MAAM,iBAAiB,IAAI,CAAC;AACnC,eAAO,MAAM,eAAe,oBAAoB,CAAC;AAEjD,mGAAmG;AACnG,eAAO,MAAM,iBAAiB,gCAAgC,CAAC;AAE/D,eAAO,MAAM,eAAe,GAAI,UAAU,MAAM,KAAG,MAChB,CAAC;AAEpC,2EAA2E;AAC3E,eAAO,MAAM,cAAc,GAAI,UAAU,MAAM,KAAG,MACP,CAAC;AAO5C,8FAA8F;AAC9F,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,UAAU,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mFAAmF;IACnF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,wBAAgB,cAAc,CAC5B,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,MAAM,GACf,YAAY,GAAG,IAAI,CAOrB;AAED,eAAO,MAAM,OAAO,GAAI,GAAG,YAAY,KAAG,MACG,CAAC;AAE9C,2CAA2C;AAC3C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACnE,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,aAAa,CAAC;IAC3C,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;CAC3C;AAED,eAAO,MAAM,UAAU,GACrB,KAAK,YAAY,EACjB,OAAO,eAAe,KACrB,kBAMD,CAAC;AAWH,+EAA+E;AAC/E,wBAAgB,cAAc,CAC5B,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,MAAM,GACf,kBAAkB,GAAG,IAAI,CAS3B;AAED,kGAAkG;AAClG,wBAAgB,eAAe,CAC7B,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,MAAM,GACf,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,CAG7B;AA8BD;;;;;GAKG;AACH,wBAAsB,gBAAgB,CACpC,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,eAAe,GACrB,OAAO,CAAC,MAAM,CAAC,CAsCjB"}
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../src/references.ts"],"names":[],"mappings":"AA8CA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAIL,KAAK,WAAW,EACjB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAM,KAAK,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EACV,eAAe,EACf,YAAY,EACZ,eAAe,EAEhB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAEL,KAAK,aAAa,EACnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAGL,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,gBAAgB,EACtB,MAAM,4BAA4B,CAAC;AAEpC,oGAAoG;AACpG,eAAO,MAAM,iBAAiB,IAAI,CAAC;AACnC,eAAO,MAAM,eAAe,oBAAoB,CAAC;AAEjD,mGAAmG;AACnG,eAAO,MAAM,iBAAiB,gCAAgC,CAAC;AAE/D,eAAO,MAAM,eAAe,GAAI,UAAU,MAAM,KAAG,MAChB,CAAC;AAEpC,2EAA2E;AAC3E,eAAO,MAAM,cAAc,GAAI,UAAU,MAAM,KAAG,MACP,CAAC;AAW5C;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,yDAAyD;IACzD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,YAAY,EAAE,GAAG,YAAY,EAAE,CAAC,CAAC;IAC/D,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAC;IAC3C,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,wFAAwF;AACxF,MAAM,MAAM,gBAAgB,GAAG,gBAAgB,CAAC;AAEhD,yDAAyD;AACzD,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAA;CAAE;AACvE,qFAAqF;GACnF;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;CACnE;AACH,8EAA8E;GAC5E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE;AAC9B,qGAAqG;GACnG;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE;AACpE,wCAAwC;GACtC;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AAEnC;;;GAGG;AACH,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,gBAAgB,GACrB,gBAAgB,CAiBlB;AAED,2GAA2G;AAC3G,MAAM,MAAM,gBAAgB,GAAG,CAAC,GAAG,EAAE,MAAM,KAAK,gBAAgB,CAAC;AAEjE,+DAA+D;AAC/D,eAAO,MAAM,kBAAkB,GAC5B,MAAM,gBAAgB,KAAG,gBAEG,CAAC;AAEhC,oFAAoF;AACpF,eAAO,MAAM,oBAAoB,EAAE,gBAEjC,CAAC;AAEH;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,mBAAmB,GAAG,SAAS,MAAM,EAAE,CAMpE;AAED,gHAAgH;AAChH,eAAO,MAAM,OAAO,GAAI,GAAG,mBAAmB,KAAG,MAO9C,CAAC;AAEJ,2CAA2C;AAC3C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE;QACZ,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;QACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,aAAa,CAAC;IAC3C,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;CAC3C;AAED,eAAO,MAAM,UAAU,GACrB,KAAK,mBAAmB,EACxB,OAAO,eAAe,KACrB,kBASD,CAAC;AAWH,+EAA+E;AAC/E,wBAAgB,cAAc,CAC5B,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,MAAM,GACf,kBAAkB,GAAG,IAAI,CAS3B;AAED,kGAAkG;AAClG,wBAAgB,eAAe,CAC7B,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,MAAM,GACf,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,CAG7B;AA+DD;;;;;GAKG;AACH,wBAAsB,gBAAgB,CACpC,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,gBAAgB,EACtB,KAAK,EAAE,eAAe,GACrB,OAAO,CAAC,MAAM,CAAC,CA8BjB"}

package/dist/references.js

@@ -8,14 +8,16 @@
  * "bib-authors" in a scorecard table, or a command the project configured. Now the build runs
  * them and records the result as data, beside the facts it already writes about the PDF:
  *
- *   { "schema": 1,
- *     "bib": { "source": "paper.tex", "sha256": "…" },       the bibliography that was checked
+ *   { "schema": 3,
+ *     "bib": { "sources": ["refs.bib"], "sha256": "…" },     the databases that were checked, as
+ *                                                            bibtex names them, and a hash of their text
  *     "status": "checked" | "not-checked", "why": "…",       not-checked: nothing could be asked
  *     "entries": [ { "key", "exists", "authors", "why" } ] }
+ *                                                            one per entry checked, in its order
  *
  * A sibling file, not a new field of `paper.facts.json`: those facts are about ONE PDF and are
- * stale when it changes (`pdf_sha256`); these are about the bibliography and are stale when IT
- * changes (`bib.sha256`). One staleness key per file, the way `pdf/fresh` already works.
+ * stale when it changes (`pdf_sha256`); these are about the databases and are stale when THEY
+ * change (`bib.sha256`). One staleness key per file, the way `pdf/fresh` already works.
  *
  * 🔴 WHAT THE CHECKERS ANSWERED IS KEPT, COMMITTED, IN `<paper>/repro/references-cache.json`
  * (`domain/lookup-cache.ts`). Loaded before the check and saved after it — only when something new
@@ -23,6 +25,18 @@
  * MAX_AGE_DAYS, not once per build (#107: 217 s for 27 references, every build). The verdicts above are NOT cached: they are derived from the cached
  * answers on every build, so a fix to the checkers reaches every paper at once.
  *
+ * ── WHICH DATABASES, AND WHAT BIBTEX TYPESET ───────────────────────────────────────────
+ * The databases checked are the ones the build's bibtex OPENED (`_build/sources.json`, written by
+ * `sources-record.ts` from TeX's own files; docs/design/paper-sources.md §1) — nothing here reads
+ * TeX source to decide which. Their entries are read by the one bibtex reader. bibtex reads
+ * differently from it in one place: it has no comment syntax, so an entry behind `%` or inside
+ * `@comment{…}` is one it typesets and the reader does not see. The record holds the keys bibtex
+ * typeset, so `paper/refs-checked` names the ones no entry of those databases has (`unseenKeys`).
+ * A malformed `.bib` never gets here: bibtex fails on it, and the build fails with bibtex's own lines.
+ *
+ * Without a record of the build, or with one the paper has changed since, there is no answer to
+ * "which databases": the step checks nothing, and the rules are silent — `paper/sources-fresh` speaks.
+ *
  * 🔴 THE STEP NEVER FAILS THE BUILD. A build without network still builds the PDF; the reference
  * step records `not-checked` and the lint rule says so, as a warning. Recording "not checked" as
  * a pass would be the counter that counts what it never looked at.
@@ -32,9 +46,11 @@ import { callerPath } from "./caller-path.js";
 import { sha256Hex } from "./domain/sha256.js";
 import { EMPTY_LOOKUP_CACHE, parseLookupCache, serializeLookupCache, } from "./domain/lookup-cache.js";
 import { ok } from "./domain/result.js";
-import { bibRange } from "#eslint-rules/paper-typography";
 import { messageOf } from "./domain/text.js";
-export const REFERENCES_SCHEMA = 1;
+import { describeChanges, } from "./domain/sources-record.js";
+import { entriesOfDatabases, recordedBibliography, } from "./recorded-bibliography.js";
+/** 3: the record of what bibtex read lives in `_build/sources.json`; an older one reads as none. */
+export const REFERENCES_SCHEMA = 3;
 export const REFERENCES_FILE = "references.json";
 /** The lookup cache's place in a paper: committed, beside the paper's other reproduction files. */
 export const LOOKUP_CACHE_FILE = "repro/references-cache.json";
@@ -45,18 +61,58 @@ const text = (files, p) => {
     const b = files.readBytes(callerPath(p));
     return b === null ? null : new TextDecoder().decode(b);
 };
-export function bibliographyOf(files, paperDir) {
-    const tex = text(files, join(paperDir, "paper.tex"));
-    const inline = tex === null ? null : bibRange(tex);
-    if (inline)
-        return { source: "paper.tex", text: inline.body, offset: inline.bodyStart };
-    const bib = text(files, join(paperDir, "refs.bib"));
-    return bib === null ? null : { source: "refs.bib", text: bib, offset: 0 };
+/** `xs` without the elements whose `key` an earlier one has, in order. */
+const distinctBy = (xs, key) => xs.filter((x, i) => xs.findIndex((o) => key(o) === key(x)) === i);
+/**
+ * The bibliography the build recorded for the paper in `dir`: the databases bibtex opened, read by
+ * the bibtex reader. Only a fresh record answers (`paperRecord`).
+ */
+export function readBibliography(dir, deps) {
+    const rec = recordedBibliography(dir, deps);
+    if (rec.kind === "unrecorded")
+        return { kind: "no-record", record: rec.record };
+    if (rec.unread.length > 0)
+        return { kind: "unread", databases: rec.unread };
+    const [first, ...rest] = rec.databases;
+    const bibtex = rec.record.bibtex;
+    if (first === undefined || !bibtex.ran)
+        return { kind: "nothing" };
+    return {
+        kind: "read",
+        bibliography: {
+            record: rec.record,
+            databases: [first, ...rest],
+            entries: entriesOfDatabases(rec.databases),
+            typeset: bibtex.keys,
+        },
+    };
+}
+/** `readBibliography` over `deps`, as a `ReadBibliography`. */
+export const bibliographyReader = (deps) => (dir) => readBibliography(dir, deps);
+/** No reader: the build was not given one. Never "no bibliography" — it says so. */
+export const notWiredBibliography = () => ({
+    kind: "not-wired",
+});
+/**
+ * The keys bibtex typeset that no entry the reader read has — an entry behind `%` or inside
+ * `@comment{…}`, which bibtex reads and the reader does not. In the order bibtex typeset them, each
+ * once. bibtex's keys are case-insensitive (`\cite{SMITH}` typesets `\bibitem{SMITH}` from an entry
+ * `smith`, measured), so they are compared so.
+ */
+export function unseenKeys(b) {
+    const read = new Set(b.entries.map((e) => e.entry.key.toLowerCase()));
+    return distinctBy(b.typeset.filter((k) => !read.has(k.toLowerCase())), (k) => k.toLowerCase());
 }
-export const bibHash = (b) => sha256Hex(new TextEncoder().encode(b.text));
+/** The bytes of the databases checked, in order: what a later lint compares to see the verdicts are current. */
+export const bibHash = (b) => sha256Hex(new TextEncoder().encode(b.databases
+    .map((d) => d.bib.text.slice(d.bib.body.start, d.bib.body.end))
+    .join("\n")));
 export const documentOf = (bib, check) => ({
     schema: REFERENCES_SCHEMA,
-    bib: { source: bib.source, sha256: bibHash(bib) },
+    bib: {
+        sources: bib.databases.map((d) => d.name),
+        sha256: bibHash(bib),
+    },
     ...(check.kind === "checked"
         ? { status: "checked", entries: check.entries }
         : { status: "not-checked", why: check.why, entries: [] }),
@@ -97,25 +153,49 @@ const newAnswers = (before, after) => {
     return (changed(before.citations, after.citations) +
         changed(before.dblp, after.dblp));
 };
-/** Run the checker; a throw is `not-checked`, with the cache as it was. */
+/** Run the checker over the bibliography's entries; a throw is `not-checked`, with the cache as it was. */
 async function run(check, bib, cache) {
     try {
-        return await check(bib, cache);
+        return await check(bib.entries.map((f) => f.entry), cache);
     }
     catch (e) {
         return { check: { kind: "not-checked", why: messageOf(e) }, cache };
     }
 }
+/** Why the build's record cannot say which databases were read, in the words a note carries. */
+function noRecord(r) {
+    switch (r.kind) {
+        case "none":
+            return r.unreadable === null
+                ? "the build recorded no sources (_build/sources.json was not written)"
+                : `_build/sources.json cannot be used (${r.unreadable})`;
+        case "stale":
+            return `the paper changed since the build recorded it (${describeChanges(r.changed)})`;
+    }
+}
+/** The note for a paper whose bibliography was not read. */
+function unreadNote(read) {
+    switch (read.kind) {
+        case "no-record":
+            return `references NOT checked — ${noRecord(read.record)}; lint will say so`;
+        case "nothing":
+            return "no bibliography database — bibtex opened none, nothing to check";
+        case "unread":
+            return `references NOT checked — ${read.databases.join(", ")}, which bibtex opened, is not in the paper directory; lint will say so`;
+        case "not-wired":
+            return "references NOT checked — no bibliography reader was wired into this build; lint will say so";
+    }
+}
 /**
- * The build step's work: check the bibliography, serving what it can from the paper's lookup
- * cache, and record the verdicts. Returns the one-line note the build prints. A checker that
- * throws, or a cache that does not parse, is recorded as `not-checked` — the step reports, it
- * never refuses. A cache that does not parse is left as it is, and named.
+ * The build step's work: check the bibliography the build recorded, serving what it can from the
+ * paper's lookup cache, and record the verdicts. Returns the one-line note the build prints. A
+ * checker that throws, or a cache that does not parse, is recorded as `not-checked` — the step
+ * reports, it never refuses. A cache that does not parse is left as it is, and named.
  */
-export async function recordReferences(files, paperDir, check) {
-    const bib = bibliographyOf(files, paperDir);
-    if (bib === null)
-        return "no bibliography — nothing to check";
+export async function recordReferences(files, paperDir, read, check) {
+    if (read.kind !== "read")
+        return unreadNote(read);
+    const bib = read.bibliography;
     const record = (c) => {
         const doc = documentOf(bib, c);
         files.writeAtomic(callerPath(referencesPath(paperDir)), new TextEncoder().encode(`${JSON.stringify(doc, null, 2)}\n`));
@@ -128,13 +208,17 @@ export async function recordReferences(files, paperDir, check) {
     const cache = readLookupCache(files, paperDir);
     if (!cache.ok)
         return notChecked(`${LOOKUP_CACHE_FILE} cannot be read (${cache.error}) — fix it, or delete it to ask every question again`);
-    const result = await run(check, bib.text, cache.value);
+    const result = await run(check, bib, cache.value);
     if (result.check.kind === "not-checked")
         return notChecked(result.check.why);
     const doc = record(result.check);
     const fetched = newAnswers(cache.value, result.cache);
     if (fetched > 0)
         files.writeAtomic(callerPath(lookupCachePath(paperDir)), new TextEncoder().encode(serializeLookupCache(result.cache)));
+    return summary(doc, fetched);
+}
+/** The note a checked run prints: how many entries, how many failing, what was fetched. */
+function summary(doc, fetched) {
     const bad = doc.entries.filter((e) => e.exists === "false" || e.authors === "mismatch").length;
     return (`references: ${String(doc.entries.length)} checked, ${String(bad)} failing → _build/${REFERENCES_FILE}; ` +
         (fetched > 0

package/dist/references.js.map

@@ -1 +1 @@
-{"version":3,"file":"references.js","sourceRoot":"","sources":["../src/references.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,oBAAoB,GAErB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,EAAE,EAAe,MAAM,oBAAoB,CAAC;AAOrD,OAAO,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC1D,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE7C,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AACnC,MAAM,CAAC,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAEjD,mGAAmG;AACnG,MAAM,CAAC,MAAM,iBAAiB,GAAG,6BAA6B,CAAC;AAE/D,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,QAAgB,EAAU,EAAE,CAC1D,IAAI,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;AAEpC,2EAA2E;AAC3E,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAAgB,EAAU,EAAE,CACzD,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;AAE5C,MAAM,IAAI,GAAG,CAAC,KAAY,EAAE,CAAS,EAAiB,EAAE;IACtD,MAAM,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC,CAAC;AAUF,MAAM,UAAU,cAAc,CAC5B,KAAY,EACZ,QAAgB;IAEhB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACnD,IAAI,MAAM;QACR,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;IAC9E,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IACpD,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AAC5E,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAe,EAAU,EAAE,CACjD,SAAS,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAW9C,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,GAAiB,EACjB,KAAsB,EACF,EAAE,CAAC,CAAC;IACxB,MAAM,EAAE,iBAAiB;IACzB,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE;IACjD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;QAC1B,CAAC,CAAC,EAAE,MAAM,EAAE,SAAkB,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE;QACxD,CAAC,CAAC,EAAE,MAAM,EAAE,aAAsB,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;CACrE,CAAC,CAAC;AAEH,qEAAqE;AACrE,MAAM,oBAAoB,GAAG,CAAC,CAAU,EAA2B,EAAE,CACnE,OAAO,CAAC,KAAK,QAAQ;IACrB,CAAC,KAAK,IAAI;IACV,QAAQ,IAAI,CAAC;IACb,CAAC,CAAC,MAAM,KAAK,iBAAiB;IAC9B,SAAS,IAAI,CAAC;IACd,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAE3B,+EAA+E;AAC/E,MAAM,UAAU,cAAc,CAC5B,KAAY,EACZ,QAAgB;IAEhB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;IAClD,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,IAAI,CAAC;QACH,MAAM,CAAC,GAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnC,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,eAAe,CAC7B,KAAY,EACZ,QAAgB;IAEhB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnD,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;AACvE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,GAAG,CAAC,MAAmB,EAAE,KAAkB,EAAU,EAAE;IACrE,MAAM,OAAO,GAAG,CAAI,CAAyB,EAAE,CAAyB,EAAE,EAAE,CAC1E,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACnD,OAAO,CACL,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;QAC1C,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CACjC,CAAC;AACJ,CAAC,CAAC;AAEF,2EAA2E;AAC3E,KAAK,UAAU,GAAG,CAChB,KAAsB,EACtB,GAAW,EACX,KAAkB;IAElB,IAAI,CAAC;QACH,OAAO,MAAM,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC;IACtE,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,KAAY,EACZ,QAAgB,EAChB,KAAsB;IAEtB,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC5C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,oCAAoC,CAAC;IAC9D,MAAM,MAAM,GAAG,CAAC,CAAkB,EAAsB,EAAE;QACxD,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC/B,KAAK,CAAC,WAAW,CACf,UAAU,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,EACpC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAC9D,CAAC;QACF,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,GAAW,EAAU,EAAE;QACzC,MAAM,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC;QACrC,OAAO,4BAA4B,GAAG,oBAAoB,CAAC;IAC7D,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,CAAC,EAAE;QACX,OAAO,UAAU,CACf,GAAG,iBAAiB,oBAAoB,KAAK,CAAC,KAAK,sDAAsD,CAC1G,CAAC;IACJ,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACvD,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7E,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,OAAO,GAAG,CAAC;QACb,KAAK,CAAC,WAAW,CACf,UAAU,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,EACrC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAC7D,CAAC;IACJ,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAC5B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU,CACxD,CAAC,MAAM,CAAC;IACT,OAAO,CACL,eAAe,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,MAAM,CAAC,GAAG,CAAC,qBAAqB,eAAe,IAAI;QACzG,CAAC,OAAO,GAAG,CAAC;YACV,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,cAAc,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,iBAAiB,EAAE;YACnF,CAAC,CAAC,iBAAiB,CAAC,CACvB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"references.js","sourceRoot":"","sources":["../src/references.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,OAAO,EACL,kBAAkB,EAClB,gBAAgB,EAChB,oBAAoB,GAErB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,EAAE,EAAe,MAAM,oBAAoB,CAAC;AAOrD,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EACL,eAAe,GAEhB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,kBAAkB,EAClB,oBAAoB,GAIrB,MAAM,4BAA4B,CAAC;AAEpC,oGAAoG;AACpG,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AACnC,MAAM,CAAC,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAEjD,mGAAmG;AACnG,MAAM,CAAC,MAAM,iBAAiB,GAAG,6BAA6B,CAAC;AAE/D,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,QAAgB,EAAU,EAAE,CAC1D,IAAI,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;AAEpC,2EAA2E;AAC3E,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAAgB,EAAU,EAAE,CACzD,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;AAE5C,MAAM,IAAI,GAAG,CAAC,KAAY,EAAE,CAAS,EAAiB,EAAE;IACtD,MAAM,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF,0EAA0E;AAC1E,MAAM,UAAU,GAAG,CAAI,EAAgB,EAAE,GAAqB,EAAgB,EAAE,CAC9E,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAkCpE;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,GAAW,EACX,IAAsB;IAEtB,MAAM,GAAG,GAAG,oBAAoB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;QAC3B,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;IACnD,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;IAC5E,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;IACjC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACnE,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE;YACZ,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,SAAS,EAAE,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC;YAC3B,OAAO,EAAE,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC;YAC1C,OAAO,EAAE,MAAM,CAAC,IAAI;SACrB;KACF,CAAC;AACJ,CAAC;AAKD,+DAA+D;AAC/D,MAAM,CAAC,MAAM,kBAAkB,GAC7B,CAAC,IAAsB,EAAoB,EAAE,CAC7C,CAAC,GAAG,EAAE,EAAE,CACN,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAEhC,oFAAoF;AACpF,MAAM,CAAC,MAAM,oBAAoB,GAAqB,GAAG,EAAE,CAAC,CAAC;IAC3D,IAAI,EAAE,WAAW;CAClB,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,CAAsB;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACtE,OAAO,UAAU,CACf,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,EACnD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CACvB,CAAC;AACJ,CAAC;AAED,gHAAgH;AAChH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAsB,EAAU,EAAE,CACxD,SAAS,CACP,IAAI,WAAW,EAAE,CAAC,MAAM,CACtB,CAAC,CAAC,SAAS;KACR,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;KAC9D,IAAI,CAAC,IAAI,CAAC,CACd,CACF,CAAC;AAcJ,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,GAAwB,EACxB,KAAsB,EACF,EAAE,CAAC,CAAC;IACxB,MAAM,EAAE,iBAAiB;IACzB,GAAG,EAAE;QACH,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACzC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC;KACrB;IACD,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;QAC1B,CAAC,CAAC,EAAE,MAAM,EAAE,SAAkB,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE;QACxD,CAAC,CAAC,EAAE,MAAM,EAAE,aAAsB,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;CACrE,CAAC,CAAC;AAEH,qEAAqE;AACrE,MAAM,oBAAoB,GAAG,CAAC,CAAU,EAA2B,EAAE,CACnE,OAAO,CAAC,KAAK,QAAQ;IACrB,CAAC,KAAK,IAAI;IACV,QAAQ,IAAI,CAAC;IACb,CAAC,CAAC,MAAM,KAAK,iBAAiB;IAC9B,SAAS,IAAI,CAAC;IACd,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAE3B,+EAA+E;AAC/E,MAAM,UAAU,cAAc,CAC5B,KAAY,EACZ,QAAgB;IAEhB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;IAClD,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,IAAI,CAAC;QACH,MAAM,CAAC,GAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnC,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,eAAe,CAC7B,KAAY,EACZ,QAAgB;IAEhB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnD,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;AACvE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,GAAG,CAAC,MAAmB,EAAE,KAAkB,EAAU,EAAE;IACrE,MAAM,OAAO,GAAG,CAAI,CAAyB,EAAE,CAAyB,EAAE,EAAE,CAC1E,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACnD,OAAO,CACL,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC;QAC1C,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CACjC,CAAC;AACJ,CAAC,CAAC;AAEF,2GAA2G;AAC3G,KAAK,UAAU,GAAG,CAChB,KAAsB,EACtB,GAAwB,EACxB,KAAkB;IAElB,IAAI,CAAC;QACH,OAAO,MAAM,KAAK,CAChB,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAC/B,KAAK,CACN,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC;IACtE,CAAC;AACH,CAAC;AAED,gGAAgG;AAChG,SAAS,QAAQ,CACf,CAAsE;IAEtE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,UAAU,KAAK,IAAI;gBAC1B,CAAC,CAAC,qEAAqE;gBACvE,CAAC,CAAC,uCAAuC,CAAC,CAAC,UAAU,GAAG,CAAC;QAC7D,KAAK,OAAO;YACV,OAAO,kDAAkD,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC;IAC3F,CAAC;AACH,CAAC;AAED,4DAA4D;AAC5D,SAAS,UAAU,CACjB,IAA0D;IAE1D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,WAAW;YACd,OAAO,4BAA4B,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,oBAAoB,CAAC;QAC/E,KAAK,SAAS;YACZ,OAAO,iEAAiE,CAAC;QAC3E,KAAK,QAAQ;YACX,OAAO,4BAA4B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,wEAAwE,CAAC;QACvI,KAAK,WAAW;YACd,OAAO,6FAA6F,CAAC;IACzG,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,KAAY,EACZ,QAAgB,EAChB,IAAsB,EACtB,KAAsB;IAEtB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC;IAC9B,MAAM,MAAM,GAAG,CAAC,CAAkB,EAAsB,EAAE;QACxD,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC/B,KAAK,CAAC,WAAW,CACf,UAAU,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,EACpC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAC9D,CAAC;QACF,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,GAAW,EAAU,EAAE;QACzC,MAAM,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC;QACrC,OAAO,4BAA4B,GAAG,oBAAoB,CAAC;IAC7D,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,CAAC,EAAE;QACX,OAAO,UAAU,CACf,GAAG,iBAAiB,oBAAoB,KAAK,CAAC,KAAK,sDAAsD,CAC1G,CAAC;IACJ,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7E,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACtD,IAAI,OAAO,GAAG,CAAC;QACb,KAAK,CAAC,WAAW,CACf,UAAU,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,EACrC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAC7D,CAAC;IACJ,OAAO,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AAC/B,CAAC;AAED,2FAA2F;AAC3F,SAAS,OAAO,CAAC,GAAuB,EAAE,OAAe;IACvD,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAC5B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU,CACxD,CAAC,MAAM,CAAC;IACT,OAAO,CACL,eAAe,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,MAAM,CAAC,GAAG,CAAC,qBAAqB,eAAe,IAAI;QACzG,CAAC,OAAO,GAAG,CAAC;YACV,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,cAAc,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,iBAAiB,EAAE;YACnF,CAAC,CAAC,iBAAiB,CAAC,CACvB,CAAC;AACJ,CAAC"}

package/dist/register-bands.d.ts

@@ -1,11 +1,11 @@
 import { type Band, type Occurrence, type RegisterAnchor } from "./domain/register.ts";
 import type { Span } from "./domain/tex-document.ts";
 import type { LatexReader } from "./ports/latex.ts";
+import { type ProseDeps } from "./tex-paper.ts";
 import { type Located, type TexRuleModule } from "./tex-venue-rules.ts";
 import type { VenueRuleDeps } from "./venue-rules.ts";
-/** What the three rules read: the preset store, and the LaTeX reader. */
-export interface RegisterBandDeps extends VenueRuleDeps {
-    readonly latex: LatexReader;
+/** What the three rules read: the preset store, the LaTeX reader, and the paper's files as the build recorded them. */
+export interface RegisterBandDeps extends VenueRuleDeps, ProseDeps {
 }
 export type RegisterBandRuleName = "contrast-frames" | "claim-emphasis" | "relation-markers";
 /** What one body measures for one rule: its words, the occurrences, where the body starts. */

package/dist/register-bands.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"register-bands.d.ts","sourceRoot":"","sources":["../src/register-bands.ts"],"names":[],"mappings":"AAyBA,OAAO,EAQL,KAAK,IAAI,EACT,KAAK,UAAU,EACf,KAAK,cAAc,EAEpB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAqB,IAAI,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAIpD,OAAO,EAEL,KAAK,OAAO,EAEZ,KAAK,aAAa,EACnB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEtD,yEAAyE;AACzE,MAAM,WAAW,gBAAiB,SAAQ,aAAa;IACrD,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B;AAED,MAAM,MAAM,oBAAoB,GAC9B,iBAAiB,GAAG,gBAAgB,GAAG,kBAAkB,CAAC;AAE5D,8FAA8F;AAC9F,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,EAAE,EAAE,IAAI,GAAG,IAAI,CAAC;CAC1B;AAED,wCAAwC;AACxC,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEpD,eAAO,MAAM,UAAU,GAAI,MAAM,MAAM,EAAE,MAAM,IAAI,KAAG,QACY,CAAC;AA8BnE;;;;GAIG;AACH,wBAAgB,SAAS,CACvB,CAAC,EAAE,WAAW,EACd,IAAI,EAAE,IAAI,GAAG,IAAI,EACjB,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,OAAO,GACZ,SAAS,OAAO,EAAE,CAapB;AA4DD,wFAAwF;AACxF,wBAAgB,WAAW,CACzB,IAAI,EAAE,oBAAoB,EAC1B,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,WAAW,GACjB,WAAW,CASb;AASD;;;GAGG;AACH,wBAAgB,QAAQ,CACtB,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,WAAW,GACjB,cAAc,CAchB;AA4CD,qDAAqD;AACrD,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,gBAAgB,GACrB,QAAQ,CAAC,MAAM,CAAC,oBAAoB,EAAE,aAAa,CAAC,CAAC,CAMvD;AAED,qFAAqF;AACrF,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAC9C,MAAM,CAAC,OAAO,oBAAoB,EAAE,EAAE,MAAM,CAAC,CAK9C,CAAC"}
+{"version":3,"file":"register-bands.d.ts","sourceRoot":"","sources":["../src/register-bands.ts"],"names":[],"mappings":"AAyBA,OAAO,EAQL,KAAK,IAAI,EACT,KAAK,UAAU,EACf,KAAK,cAAc,EAEpB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAqB,IAAI,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAGpD,OAAO,EAA4B,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC1E,OAAO,EAEL,KAAK,OAAO,EAEZ,KAAK,aAAa,EACnB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEtD,uHAAuH;AACvH,MAAM,WAAW,gBAAiB,SAAQ,aAAa,EAAE,SAAS;CAAG;AAErE,MAAM,MAAM,oBAAoB,GAC9B,iBAAiB,GAAG,gBAAgB,GAAG,kBAAkB,CAAC;AAE5D,8FAA8F;AAC9F,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,EAAE,EAAE,IAAI,GAAG,IAAI,CAAC;CAC1B;AAED,wCAAwC;AACxC,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEpD,eAAO,MAAM,UAAU,GAAI,MAAM,MAAM,EAAE,MAAM,IAAI,KAAG,QACY,CAAC;AA8BnE;;;;GAIG;AACH,wBAAgB,SAAS,CACvB,CAAC,EAAE,WAAW,EACd,IAAI,EAAE,IAAI,GAAG,IAAI,EACjB,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,OAAO,GACZ,SAAS,OAAO,EAAE,CAapB;AA4DD,wFAAwF;AACxF,wBAAgB,WAAW,CACzB,IAAI,EAAE,oBAAoB,EAC1B,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,WAAW,GACjB,WAAW,CASb;AASD;;;GAGG;AACH,wBAAgB,QAAQ,CACtB,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,WAAW,GACjB,cAAc,CAchB;AA4CD,qDAAqD;AACrD,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,gBAAgB,GACrB,QAAQ,CAAC,MAAM,CAAC,oBAAoB,EAAE,aAAa,CAAC,CAAC,CAMvD;AAED,qFAAqF;AACrF,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAC9C,MAAM,CAAC,OAAO,oBAAoB,EAAE,EAAE,MAAM,CAAC,CAK9C,CAAC"}

package/dist/register-bands.js.map

@@ -1 +1 @@
-{"version":3,"file":"register-bands.js","sourceRoot":"","sources":["../src/register-bands.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EACL,MAAM,EACN,aAAa,EACb,aAAa,EACb,cAAc,EACd,MAAM,EACN,eAAe,EACf,OAAO,GAKR,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EACL,WAAW,GAIZ,MAAM,sBAAsB,CAAC;AAqB9B,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,IAAU,EAAY,EAAE,CAC/D,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;AAEnE,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAElD,+DAA+D;AAC/D,MAAM,QAAQ,GAAG,CAAC,CAAC;AAEnB,yGAAyG;AACzG,SAAS,MAAM,CACb,CAAc,EACd,IAAU,EACV,KAAa;IAEb,OAAO;QACL,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,MAAM;QAC3B,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAClD,KAAK;QACL,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;QACpB,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;QACpB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;QAChC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;QAChC,QAAQ,EAAE,CAAC,CAAC,WAAW;aACpB,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC;aAClB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,GAAG,CAAC;aAC7B,IAAI,CAAC,IAAI,CAAC;KACd,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CACvB,CAAc,EACd,IAAiB,EACjB,KAAa,EACb,IAAa;IAEb,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,GAAG,SAAS;QAAE,OAAO,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;IACzE,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACpC,MAAM,KAAK,GAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;IAC/D,IAAI,QAAQ,KAAK,OAAO,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,EAAE,GAAG,CAAC,CAAa,EAAE,CAAS,EAAW,EAAE,CAAC,CAAC;QACjD,SAAS,EAAE,MAAM;QACjB,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE;QAC/C,EAAE,EAAE,CAAC,CAAC,EAAE;KACT,CAAC,CAAC;IACH,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,2FAA2F;AAC3F,MAAM,OAAO,GACX,mJAAmJ,CAAC;AAkBtJ,MAAM,QAAQ,GAAoD;IAChE,iBAAiB,EAAE;QACjB,IAAI,EAAE,iBAAiB;QACvB,WAAW,EACT,iHAAiH;QACnH,IAAI,EAAE,IAAI;QACV,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACvD,QAAQ,EAAE;YACR,KAAK,EAAE,yGAAyG,OAAO,2JAA2J;YAClR,KAAK,EAAE,+BAA+B,OAAO,oHAAoH;YACjK,IAAI,EAAE,0HAA0H;SACjI;KACF;IACD,gBAAgB,EAAE;QAChB,IAAI,EAAE,gBAAgB;QACtB,WAAW,EACT,4FAA4F;QAC9F,IAAI,EAAE,IAAI;QACV,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACzC,QAAQ,EAAE;YACR,KAAK,EAAE,8GAA8G,OAAO,sJAAsJ;YAClR,KAAK,EAAE,oDAAoD,OAAO,EAAE;YACpE,IAAI,EAAE,gIAAgI;SACvI;KACF;IACD,kBAAkB,EAAE;QAClB,IAAI,EAAE,kBAAkB;QACxB,WAAW,EACT,2JAA2J;QAC7J,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACxD,QAAQ,EAAE;YACR,KAAK,EAAE,sIAAsI,OAAO,oIAAoI;YACxR,KAAK,EAAE,gCAAgC,OAAO,uBAAuB;SACtE;KACF;CACF,CAAC;AAEF,wFAAwF;AACxF,MAAM,UAAU,WAAW,CACzB,IAA0B,EAC1B,GAAW,EACX,KAAkB;IAElB,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC;IACzB,MAAM,IAAI,GAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;IACzE,OAAO;QACL,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QACvC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QACvC,EAAE,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,wDAAwD;AACxD,MAAM,OAAO,GAAgE;IAC3E,eAAe,EAAE,iBAAiB;IAClC,cAAc,EAAE,gBAAgB;IAChC,gBAAgB,EAAE,kBAAkB;CACrC,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,QAAQ,CACtB,KAAa,EACb,GAAW,EACX,KAAkB;IAElB,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,IAAI,GAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;IACzE,MAAM,KAAK,GAAG,CAAC,CAAsB,EAAU,EAAE,CAC/C,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IAC1C,OAAO;QACL,KAAK;QACL,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,EAAE;YACN,eAAe,EAAE,KAAK,CAAC,iBAAiB,CAAC;YACzC,cAAc,EAAE,KAAK,CAAC,gBAAgB,CAAC;YACvC,gBAAgB,EAAE,KAAK,CAAC,kBAAkB,CAAC;SAC5C;KACF,CAAC;AACJ,CAAC;AAED,uGAAuG;AACvG,SAAS,UAAU,CACjB,IAA0B,EAC1B,OAAuB,EACvB,IAAsB;IAEtB,MAAM,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO;IAClC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO;IAC1B,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC;IAC9B,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAClE,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,IAAI,CACX,IAA0B,EAC1B,IAAsB;IAEtB,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC/B,OAAO;QACL,IAAI,EAAE;YACJ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE;YAClE,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC3B;QACD,MAAM,CAAC,OAAO;YACZ,wFAAwF;YACxF,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,WAAW;gBAAE,OAAO,EAAE,CAAC;YAC1D,OAAO;gBACL,IAAI,EAAE,GAAG,EAAE;oBACT,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;gBAClC,CAAC;aACF,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,iBAAiB,CAC/B,IAAsB;IAEtB,OAAO;QACL,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAC;QAChD,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC;QAC9C,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC;KACnD,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,CAAC,MAAM,yBAAyB,GAElC;IACF,qBAAqB,EAAE,MAAM;IAC7B,oBAAoB,EAAE,MAAM;IAC5B,sBAAsB,EAAE,MAAM;CAC/B,CAAC"}
+{"version":3,"file":"register-bands.js","sourceRoot":"","sources":["../src/register-bands.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EACL,MAAM,EACN,aAAa,EACb,aAAa,EACb,cAAc,EACd,MAAM,EACN,eAAe,EACf,OAAO,GAKR,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,aAAa,EAAkB,MAAM,gBAAgB,CAAC;AAC1E,OAAO,EACL,WAAW,GAIZ,MAAM,sBAAsB,CAAC;AAmB9B,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,IAAU,EAAY,EAAE,CAC/D,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;AAEnE,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAElD,+DAA+D;AAC/D,MAAM,QAAQ,GAAG,CAAC,CAAC;AAEnB,yGAAyG;AACzG,SAAS,MAAM,CACb,CAAc,EACd,IAAU,EACV,KAAa;IAEb,OAAO;QACL,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,MAAM;QAC3B,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAClD,KAAK;QACL,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;QACpB,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;QACpB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;QAChC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;QAChC,QAAQ,EAAE,CAAC,CAAC,WAAW;aACpB,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC;aAClB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,GAAG,CAAC;aAC7B,IAAI,CAAC,IAAI,CAAC;KACd,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CACvB,CAAc,EACd,IAAiB,EACjB,KAAa,EACb,IAAa;IAEb,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,GAAG,SAAS;QAAE,OAAO,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;IACzE,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACpC,MAAM,KAAK,GAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;IAC/D,IAAI,QAAQ,KAAK,OAAO,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,EAAE,GAAG,CAAC,CAAa,EAAE,CAAS,EAAW,EAAE,CAAC,CAAC;QACjD,SAAS,EAAE,MAAM;QACjB,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE;QAC/C,EAAE,EAAE,CAAC,CAAC,EAAE;KACT,CAAC,CAAC;IACH,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,2FAA2F;AAC3F,MAAM,OAAO,GACX,mJAAmJ,CAAC;AAkBtJ,MAAM,QAAQ,GAAoD;IAChE,iBAAiB,EAAE;QACjB,IAAI,EAAE,iBAAiB;QACvB,WAAW,EACT,iHAAiH;QACnH,IAAI,EAAE,IAAI;QACV,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACvD,QAAQ,EAAE;YACR,KAAK,EAAE,yGAAyG,OAAO,2JAA2J;YAClR,KAAK,EAAE,+BAA+B,OAAO,oHAAoH;YACjK,IAAI,EAAE,0HAA0H;SACjI;KACF;IACD,gBAAgB,EAAE;QAChB,IAAI,EAAE,gBAAgB;QACtB,WAAW,EACT,4FAA4F;QAC9F,IAAI,EAAE,IAAI;QACV,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACzC,QAAQ,EAAE;YACR,KAAK,EAAE,8GAA8G,OAAO,sJAAsJ;YAClR,KAAK,EAAE,oDAAoD,OAAO,EAAE;YACpE,IAAI,EAAE,gIAAgI;SACvI;KACF;IACD,kBAAkB,EAAE;QAClB,IAAI,EAAE,kBAAkB;QACxB,WAAW,EACT,2JAA2J;QAC7J,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACxD,QAAQ,EAAE;YACR,KAAK,EAAE,sIAAsI,OAAO,oIAAoI;YACxR,KAAK,EAAE,gCAAgC,OAAO,uBAAuB;SACtE;KACF;CACF,CAAC;AAEF,wFAAwF;AACxF,MAAM,UAAU,WAAW,CACzB,IAA0B,EAC1B,GAAW,EACX,KAAkB;IAElB,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC;IACzB,MAAM,IAAI,GAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;IACzE,OAAO;QACL,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QACvC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QACvC,EAAE,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,wDAAwD;AACxD,MAAM,OAAO,GAAgE;IAC3E,eAAe,EAAE,iBAAiB;IAClC,cAAc,EAAE,gBAAgB;IAChC,gBAAgB,EAAE,kBAAkB;CACrC,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,QAAQ,CACtB,KAAa,EACb,GAAW,EACX,KAAkB;IAElB,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,IAAI,GAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;IACzE,MAAM,KAAK,GAAG,CAAC,CAAsB,EAAU,EAAE,CAC/C,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IAC1C,OAAO;QACL,KAAK;QACL,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,EAAE;YACN,eAAe,EAAE,KAAK,CAAC,iBAAiB,CAAC;YACzC,cAAc,EAAE,KAAK,CAAC,gBAAgB,CAAC;YACvC,gBAAgB,EAAE,KAAK,CAAC,kBAAkB,CAAC;SAC5C;KACF,CAAC;AACJ,CAAC;AAED,uGAAuG;AACvG,SAAS,UAAU,CACjB,IAA0B,EAC1B,OAAuB,EACvB,IAAsB;IAEtB,MAAM,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO;IAClC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO;IAC1B,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC;IAC9B,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAClE,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,IAAI,CACX,IAA0B,EAC1B,IAAsB;IAEtB,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC/B,OAAO;QACL,IAAI,EAAE;YACJ,IAAI,EAAE,YAAY;YAClB,IAAI,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE;YAClE,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC3B;QACD,MAAM,CAAC,OAAO;YACZ,wFAAwF;YACxF,IAAI,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,WAAW;gBAAE,OAAO,EAAE,CAAC;YAC1D,OAAO;gBACL,IAAI,EAAE,GAAG,EAAE;oBACT,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;gBAClC,CAAC;aACF,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,iBAAiB,CAC/B,IAAsB;IAEtB,OAAO;QACL,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAC;QAChD,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC;QAC9C,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC;KACnD,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,CAAC,MAAM,yBAAyB,GAElC;IACF,qBAAqB,EAAE,MAAM;IAC7B,oBAAoB,EAAE,MAAM;IAC5B,sBAAsB,EAAE,MAAM;CAC/B,CAAC"}

package/dist/register.d.ts

@@ -16,7 +16,7 @@
  * the page. A body under 2 000 words is not judged: there one sentence decides the rate.
  */
 import type { Passage, Span } from "./domain/tex-document.ts";
-import { type PaperDeps } from "./tex-paper.ts";
+import { type ProseDeps } from "./tex-paper.ts";
 import { type Located, type TexRuleModule } from "./tex-venue-rules.ts";
 /** Under this many words in the body, a rate is not judged: one sentence would decide it. */
 export declare const MIN_WORDS = 2000;
@@ -38,5 +38,5 @@ export declare function measureRegister(passages: readonly Passage[]): RegisterM
 /** One finding, at the start of the body, when the rate runs above `limit` per 1000 words. */
 export declare function judgeRegister(m: RegisterMeasure, limit?: number): readonly Located[];
 /** The rule, over the body's prose of the whole paper, its includes spliced (`readPaper`). */
-export declare const registerRule: (deps: PaperDeps) => TexRuleModule;
+export declare const registerRule: (deps: ProseDeps) => TexRuleModule;
 //# sourceMappingURL=register.d.ts.map

package/dist/sources-record.d.ts

@@ -0,0 +1,38 @@
+import { type SourcesRecord } from "./domain/sources-record.ts";
+import type { Files } from "./ports/files.ts";
+import type { ListDir } from "./ports/talk-media.ts";
+import type { TexOutput } from "./ports/tex-output.ts";
+/** What recording needs: the disk, its directory listings, and the readers of TeX's own files. */
+export interface RecordDeps {
+    readonly files: Files;
+    readonly listDir: ListDir;
+    readonly texOutput: TexOutput;
+}
+/** What a build's passes left to read, besides the files on disk. */
+export interface TexRun {
+    /** The text of each pdflatex pass's `.fls`, in the order the passes ran. */
+    readonly fls: readonly string[];
+    /** The exit of the last bibtex run, or null when the build ran none. */
+    readonly bibtexExit: number | null;
+}
+export type Recorded = {
+    readonly kind: "recorded";
+    readonly record: SourcesRecord;
+    /** Where it was written. */
+    readonly path: string;
+} | {
+    readonly kind: "not-recorded";
+    readonly why: string;
+};
+/** The step as the build holds it: wired by the composition root, handed a paper's directory and its run. */
+export type RecordSources = (paperDir: string, run: TexRun) => Recorded;
+/** No recorder wired: the build says so, and lint reports the paper as not built. */
+export declare const notWiredRecord: RecordSources;
+/** Where a paper's record lives. */
+export declare const sourcesPath: (paperDir: string) => string;
+export declare function recordSources(deps: RecordDeps, paperDir: string, run: TexRun): Recorded;
+/** `recordSources` over `deps`, as the `RecordSources` the build is handed. */
+export declare const sourcesRecorder: (deps: RecordDeps) => RecordSources;
+/** The line a build prints for a recording. */
+export declare const recordingNote: (r: Recorded) => string;
+//# sourceMappingURL=sources-record.d.ts.map

package/dist/sources-record.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sources-record.d.ts","sourceRoot":"","sources":["../src/sources-record.ts"],"names":[],"mappings":"AAeA,OAAO,EASL,KAAK,aAAa,EACnB,MAAM,4BAA4B,CAAC;AAIpC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAEvD,kGAAkG;AAClG,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;CAC/B;AAED,qEAAqE;AACrE,MAAM,WAAW,MAAM;IACrB,4EAA4E;IAC5E,QAAQ,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,wEAAwE;IACxE,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC;AAED,MAAM,MAAM,QAAQ,GAChB;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAE5D,6GAA6G;AAC7G,MAAM,MAAM,aAAa,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,QAAQ,CAAC;AAExE,qFAAqF;AACrF,eAAO,MAAM,cAAc,EAAE,aAG3B,CAAC;AAEH,oCAAoC;AACpC,eAAO,MAAM,WAAW,GAAI,UAAU,MAAM,KAAG,MACJ,CAAC;AAiI5C,wBAAgB,aAAa,CAC3B,IAAI,EAAE,UAAU,EAChB,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM,GACV,QAAQ,CAiBV;AAED,+EAA+E;AAC/E,eAAO,MAAM,eAAe,GACzB,MAAM,UAAU,KAAG,aAEgB,CAAC;AAEvC,+CAA+C;AAC/C,eAAO,MAAM,aAAa,GAAI,GAAG,QAAQ,KAAG,MAGa,CAAC"}

package/dist/sources-record.js

@@ -0,0 +1,123 @@
+/**
+ * THE RECORD STEP OF A BUILD — `recordSources` writes `<paper>/_build/sources.json`
+ * (`src/domain/sources-record.ts`, docs/design/paper-sources.md §1) from what TeX and bibtex left in
+ * the paper directory after the build's passes: each pass's `.fls`, the `.aux`, the `.blg` and the
+ * `.bbl`. The files are read through the `Files` port, the `.fls` and the `.blg` through `TexOutput`;
+ * which files the passes read is decided by `filesOfRun` (`src/domain/tex-run.ts`).
+ *
+ * Nothing here reads TeX source. Every file named in the record is one TeX or bibtex opened, and its
+ * bytes are hashed as they are now: what a rule compares later to know whether the paper changed.
+ *
+ * What the `.aux`, `.blg` and `.bbl` hold about the bibliography is read by `latex-log.ts` — the reader
+ * the build loop already uses on them, so one reader answers what bibtex was told and what it read.
+ */
+import { join, posix, resolve } from "node:path";
+import { callerPath } from "./caller-path.js";
+import { JOBNAME, serializeSourcesRecord, SOURCES_DIR, SOURCES_FILE, SOURCES_SCHEMA, spelledIn, } from "./domain/sources-record.js";
+import { sha256Hex } from "./domain/sha256.js";
+import { filesOfRun } from "./domain/tex-run.js";
+import { auxBib, bibtexRead } from "./latex-log.js";
+/** No recorder wired: the build says so, and lint reports the paper as not built. */
+export const notWiredRecord = () => ({
+    kind: "not-recorded",
+    why: "no recorder was wired into this build",
+});
+/** Where a paper's record lives. */
+export const sourcesPath = (paperDir) => join(paperDir, SOURCES_DIR, SOURCES_FILE);
+const distinct = (xs) => [...new Set(xs)];
+/** A path as the record spells it: relative to the paper directory, `./` and doubled slashes gone. */
+const spelled = (p) => posix.normalize(p);
+/**
+ * A path of the record spelled as the paper directory's entries spell it. TeX logs the name it opened:
+ * on a file system that ignores case that is the source's spelling, while TeX on one that does not
+ * retries without case and logs the disk's — one paper, two records. A segment no entry matches, or
+ * several do, stays as TeX spelled it.
+ */
+const spelledOnDisk = (listDir, paperDir) => (p) => p
+    .split("/")
+    .reduce((at, segment) => posix.join(at, spelledIn(listDir(callerPath(resolve(paperDir, at))), segment) ??
+    segment), "");
+/** The files a run read and wrote, each named as the disk names it. */
+const respelled = (files, spell) => {
+    const inputs = files.inputs.map((i) => ({ ...i, path: spell(i.path) }));
+    return {
+        ...files,
+        inputs: inputs.filter((i, n) => inputs.findIndex((j) => j.path === i.path) === n),
+        written: distinct(files.written.map(spell)),
+    };
+};
+/** The bytes of a file of the paper by its path in the record, or null when it is not there. */
+const bytesOf = (deps, paperDir) => (p) => deps.files.readBytes(callerPath(resolve(paperDir, p)));
+const textOf = (bytes) => (p) => {
+    const b = bytes(p);
+    return b === null ? null : new TextDecoder().decode(b);
+};
+/** What the build's bibtex did, from the `.blg` and `.bbl` it left — or that it did not run. */
+function bibtexOf(deps, text, spell, exit) {
+    if (exit === null)
+        return { ran: false };
+    const blg = text(`${JOBNAME}.blg`) ?? "";
+    const bbl = text(`${JOBNAME}.bbl`) ?? "";
+    const read = bibtexRead(blg, bbl);
+    return {
+        ran: true,
+        databases: distinct(read.databases.map((d) => spell(spelled(d)))),
+        keys: read.bibitems,
+        exit,
+        errors: deps.texOutput.blgErrors(blg),
+    };
+}
+/**
+ * The digest of every file the paper is made of: each input, and each database bibtex opened — one TeX
+ * wrote too, since the rules read it from disk and an edit to it after the build must read as a change.
+ * Null for one that is not there.
+ */
+function hashesOf(inputs, databases, bytes) {
+    const paths = distinct([...inputs.map((i) => i.path), ...databases]);
+    return Object.fromEntries(paths.map((p) => {
+        const b = bytes(p);
+        return [p, b === null ? null : sha256Hex(b)];
+    }));
+}
+/** Why there is nothing to record, or null when the passes read the paper's files. */
+const nothingToRecord = (run, inputs) => {
+    if (run.fls.length === 0)
+        return `pdflatex wrote no ${JOBNAME}.fls — nothing to record`;
+    return inputs.length === 0
+        ? `${JOBNAME}.fls lists no file of the paper directory — nothing to record`
+        : null;
+};
+/** The record of a run whose passes read `files`: bibtex's part, the `.aux`'s, every digest. */
+function recordOf(deps, paperDir, run, files) {
+    const bytes = bytesOf(deps, paperDir);
+    const text = textOf(bytes);
+    const bibtex = bibtexOf(deps, text, spelledOnDisk(deps.listDir, paperDir), run.bibtexExit);
+    return {
+        schema: SOURCES_SCHEMA,
+        inputs: files.inputs,
+        written: files.written,
+        bibdata: auxBib(text(`${JOBNAME}.aux`) ?? "", text).databases,
+        bibtex,
+        sha256: hashesOf(files.inputs, bibtex.ran ? bibtex.databases : [], bytes),
+    };
+}
+export function recordSources(deps, paperDir, run) {
+    const files = respelled(filesOfRun(run.fls.map(deps.texOutput.fls), {
+        jobname: JOBNAME,
+        generated: run.bibtexExit === null ? [] : [`${JOBNAME}.bbl`],
+    }), spelledOnDisk(deps.listDir, paperDir));
+    const why = nothingToRecord(run, files.inputs);
+    if (why !== null)
+        return { kind: "not-recorded", why };
+    const record = recordOf(deps, paperDir, run, files);
+    const path = sourcesPath(paperDir);
+    deps.files.writeAtomic(callerPath(path), new TextEncoder().encode(serializeSourcesRecord(record)));
+    return { kind: "recorded", record, path };
+}
+/** `recordSources` over `deps`, as the `RecordSources` the build is handed. */
+export const sourcesRecorder = (deps) => (paperDir, run) => recordSources(deps, paperDir, run);
+/** The line a build prints for a recording. */
+export const recordingNote = (r) => r.kind === "recorded"
+    ? `sources: ${String(r.record.inputs.length)} file${r.record.inputs.length === 1 ? "" : "s"} read → ${SOURCES_DIR}/${SOURCES_FILE}`
+    : `sources NOT recorded — ${r.why}; lint will say so`;
+//# sourceMappingURL=sources-record.js.map

package/dist/sources-record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sources-record.js","sourceRoot":"","sources":["../src/sources-record.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EACL,OAAO,EACP,sBAAsB,EACtB,WAAW,EACX,YAAY,EACZ,cAAc,EACd,SAAS,GAIV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAiB,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAgCpD,qFAAqF;AACrF,MAAM,CAAC,MAAM,cAAc,GAAkB,GAAG,EAAE,CAAC,CAAC;IAClD,IAAI,EAAE,cAAc;IACpB,GAAG,EAAE,uCAAuC;CAC7C,CAAC,CAAC;AAEH,oCAAoC;AACpC,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAAgB,EAAU,EAAE,CACtD,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;AAE5C,MAAM,QAAQ,GAAG,CAAI,EAAgB,EAAgB,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AAEzE,sGAAsG;AACtG,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAE1D;;;;;GAKG;AACH,MAAM,aAAa,GACjB,CAAC,OAAgB,EAAE,QAAgB,EAAE,EAAE,CACvC,CAAC,CAAS,EAAU,EAAE,CACpB,CAAC;KACE,KAAK,CAAC,GAAG,CAAC;KACV,MAAM,CACL,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CACd,KAAK,CAAC,IAAI,CACR,EAAE,EACF,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;IAC5D,OAAO,CACV,EACH,EAAE,CACH,CAAC;AAER,uEAAuE;AACvE,MAAM,SAAS,GAAG,CAAC,KAAe,EAAE,KAA4B,EAAY,EAAE;IAC5E,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,OAAO;QACL,GAAG,KAAK;QACR,MAAM,EAAE,MAAM,CAAC,MAAM,CACnB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAC3D;QACD,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;KAC5C,CAAC;AACJ,CAAC,CAAC;AAEF,gGAAgG;AAChG,MAAM,OAAO,GACX,CAAC,IAAgB,EAAE,QAAgB,EAAE,EAAE,CACvC,CAAC,CAAS,EAAqB,EAAE,CAC/B,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE3D,MAAM,MAAM,GACV,CAAC,KAAuC,EAAE,EAAE,CAC5C,CAAC,CAAS,EAAiB,EAAE;IAC3B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACnB,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC,CAAC;AAEJ,gGAAgG;AAChG,SAAS,QAAQ,CACf,IAAgB,EAChB,IAAkC,EAClC,KAA4B,EAC5B,IAAmB;IAEnB,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACzC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;IACzC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAClC,OAAO;QACL,GAAG,EAAE,IAAI;QACT,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjE,IAAI,EAAE,IAAI,CAAC,QAAQ;QACnB,IAAI;QACJ,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC;KACtC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,QAAQ,CACf,MAAgC,EAChC,SAA4B,EAC5B,KAAuC;IAEvC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;IACrE,OAAO,MAAM,CAAC,WAAW,CACvB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACd,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACnB,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAU,CAAC;IACxD,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,sFAAsF;AACtF,MAAM,eAAe,GAAG,CACtB,GAAW,EACX,MAAgC,EACjB,EAAE;IACjB,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC;QACtB,OAAO,qBAAqB,OAAO,0BAA0B,CAAC;IAChE,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC;QACxB,CAAC,CAAC,GAAG,OAAO,+DAA+D;QAC3E,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF,gGAAgG;AAChG,SAAS,QAAQ,CACf,IAAgB,EAChB,QAAgB,EAChB,GAAW,EACX,KAAe;IAEf,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,MAAM,GAAG,QAAQ,CACrB,IAAI,EACJ,IAAI,EACJ,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,EACrC,GAAG,CAAC,UAAU,CACf,CAAC;IACF,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC,SAAS;QAC7D,MAAM;QACN,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC;KAC1E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,IAAgB,EAChB,QAAgB,EAChB,GAAW;IAEX,MAAM,KAAK,GAAG,SAAS,CACrB,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE;QAC1C,OAAO,EAAE,OAAO;QAChB,SAAS,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,MAAM,CAAC;KAC7D,CAAC,EACF,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CACtC,CAAC;IACF,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC/C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC;IACvD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACnC,IAAI,CAAC,KAAK,CAAC,WAAW,CACpB,UAAU,CAAC,IAAI,CAAC,EAChB,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC,CACzD,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC5C,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,MAAM,eAAe,GAC1B,CAAC,IAAgB,EAAiB,EAAE,CACpC,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAChB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;AAEvC,+CAA+C;AAC/C,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAW,EAAU,EAAE,CACnD,CAAC,CAAC,IAAI,KAAK,UAAU;IACnB,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,WAAW,WAAW,IAAI,YAAY,EAAE;IACnI,CAAC,CAAC,0BAA0B,CAAC,CAAC,GAAG,oBAAoB,CAAC"}