paperlint 4.1.0 → 4.2.0

package/dist/adapters/latex/prose.js

@@ -0,0 +1,353 @@
+import { hasAtLeast, sortBy } from "remeda";
+import { argumentsOf, inPlace, macroPlace, mandatory, placeOf, stringText, } from "./nodes.js";
+import { CITATION_MACROS, DEFINITION_MACROS } from "./parse.js";
+const BREAK = { kind: "break" };
+const END = { kind: "end" };
+/** Environments whose body is not running prose: floats, tables, algorithms, drawings, code. */
+const SKIPPED_ENVS = new Set([
+    "figure",
+    "figure*",
+    "table",
+    "table*",
+    "tabular",
+    "tabular*",
+    "tabularx",
+    "longtable",
+    "wrapfigure",
+    "wraptable",
+    "subfigure",
+    "subtable",
+    "algorithm",
+    "algorithm*",
+    "algorithmic",
+    "tikzpicture",
+    "lstlisting",
+    "verbatim",
+    "Verbatim",
+    "minted",
+    "comment",
+    "CCSXML",
+]);
+/** Macros that start the back matter: nothing after them is the body. */
+const BACK_MATTER = new Set([
+    "appendix",
+    "bibliography",
+    "printbibliography",
+]);
+/** Macros that point at a numbered place in the paper. */
+const REFERENCE_MACROS = new Set([
+    "ref",
+    "cref",
+    "Cref",
+    "autoref",
+    "Autoref",
+    "eqref",
+    "pageref",
+    "nameref",
+    "vref",
+    "Vref",
+    "cpageref",
+]);
+/** Macros that name a source outside the paper: a citation (`\nocite` prints nothing), or a link. */
+const SOURCE_MACROS = new Set([
+    ...[...CITATION_MACROS].filter((m) => m !== "nocite"),
+    "url",
+]);
+/** Macros that end a passage and whose arguments are not prose: headings, captions, the title block. */
+const BREAK_MACROS = new Set([
+    "part",
+    "chapter",
+    "section",
+    "subsection",
+    "subsubsection",
+    "paragraph",
+    "subparagraph",
+    "caption",
+    "captionof",
+    "bibitem",
+    "maketitle",
+    "title",
+    "subtitle",
+    "author",
+    "date",
+    "newpage",
+    "clearpage",
+]);
+/** Formatting macros whose last mandatory argument is prose, read where it stands. */
+const INLINE_MACROS = new Set([
+    "emph",
+    "textbf",
+    "textit",
+    "texttt",
+    "textsc",
+    "textsf",
+    "textrm",
+    "textsl",
+    "textup",
+    "textmd",
+    "textnormal",
+    "underline",
+    "uline",
+    "mbox",
+    "hbox",
+    "text",
+    "enquote",
+    "textcolor",
+    "colorbox",
+    "fbox",
+    "textsuperscript",
+    "textsubscript",
+]);
+/** Macros that typeset one character or a space. */
+const CHARACTER_MACROS = new Map([
+    ["%", "%"],
+    ["&", "&"],
+    ["$", "$"],
+    ["#", "#"],
+    ["_", "_"],
+    ["{", "{"],
+    ["}", "}"],
+    ["S", "§"],
+    ["P", "¶"],
+    ["textpercent", "%"],
+    ["ldots", "…"],
+    ["dots", "…"],
+    ["textellipsis", "…"],
+    ["textendash", "–"],
+    ["textemdash", "—"],
+    ...[
+        ",",
+        " ",
+        ";",
+        ":",
+        "quad",
+        "qquad",
+        "enspace",
+        "thinspace",
+        "\\",
+        "newline",
+    ].map((m) => [m, " "]),
+]);
+const piece = (p) => ({ kind: "piece", piece: p });
+/** `s`, typeset where `n` starts. */
+const textAt = (n, s) => inPlace(placeOf(n), (span) => [
+    piece({ kind: "text", segment: { text: s, at: span.start } }),
+]);
+/**
+ * The character a macro typesets, placed at the macro's LAST source character: a sentence that ends
+ * on `\%` then spans the whole macro, not its backslash.
+ */
+const characterAt = (m, ch) => inPlace(placeOf(m), (span) => [
+    piece({ kind: "text", segment: { text: ch, at: span.end - 1 } }),
+]);
+/** A mark over a macro and its arguments. */
+const mark = (m, owner) => inPlace(macroPlace(m), (span) => [piece({ kind: "owner", owner, span })]);
+/** Math, as its source, where it stands. */
+const math = (t, n) => inPlace(placeOf(n), (span) => [
+    piece({ kind: "math", tex: t.src.slice(span.start, span.end), span }),
+]);
+/** The content of a macro's last mandatory argument: what a formatting macro or a footnote typesets. */
+const lastArgument = (m) => mandatory(m).at(-1)?.content ?? [];
+/**
+ * Whether a walk yielded a citation or a link. A footnote nested inside that cites has already left
+ * its own citation mark among these events, so the top level is enough.
+ */
+const cites = (events) => events.some((e) => e.kind === "piece" &&
+    e.piece.kind === "owner" &&
+    e.piece.owner === "citation");
+/**
+ * What a list item typesets: the parser hands an `\item` its text as the last argument (the
+ * `[label]` before it is not prose).
+ */
+const itemBody = (m) => argumentsOf(m)
+    .slice(-1)
+    .flatMap((a) => a.content);
+/** A footnote: its own passage, and a citation mark in the host sentence when it cites or links. */
+function footnote(t, m) {
+    const inside = walkList(t, lastArgument(m));
+    const aside = { kind: "aside", events: inside };
+    return cites(inside) ? [...mark(m, "citation"), aside] : [aside];
+}
+/**
+ * Macros with events of their own: `\href{url}{text}` is a link whose text is prose; a footnote is a
+ * passage of its own; a list item ends a passage and opens the next with its text.
+ */
+const OWN_EVENTS = new Map([
+    [
+        "href",
+        (t, m) => [
+            ...mark(m, "citation"),
+            ...walkList(t, lastArgument(m)),
+        ],
+    ],
+    ["footnote", footnote],
+    [
+        "item",
+        (t, m) => [BREAK, ...walkList(t, itemBody(m), true)],
+    ],
+]);
+function macroEvents(t, m) {
+    const name = m.content;
+    if (DEFINITION_MACROS.has(name))
+        return [];
+    if (BACK_MATTER.has(name))
+        return [END];
+    if (REFERENCE_MACROS.has(name))
+        return mark(m, "reference");
+    if (SOURCE_MACROS.has(name))
+        return mark(m, "citation");
+    const own = OWN_EVENTS.get(name);
+    if (own !== undefined)
+        return own(t, m);
+    if (BREAK_MACROS.has(name))
+        return [BREAK];
+    if (INLINE_MACROS.has(name))
+        return walkList(t, lastArgument(m));
+    const ch = CHARACTER_MACROS.get(name);
+    return ch === undefined ? [] : characterAt(m, ch);
+}
+function environmentEvents(t, e) {
+    if (e.type === "mathenv")
+        return math(t, e);
+    if (e.env === "thebibliography")
+        return [END];
+    if (SKIPPED_ENVS.has(e.env))
+        return [BREAK];
+    return [BREAK, ...walkList(t, e.content, true), BREAK];
+}
+/**
+ * Inline and display math (an equation environment is typed as an environment, and read there),
+ * what ends a passage, and what holds no prose.
+ */
+const isMath = (n) => n.type === "inlinemath" || n.type === "displaymath";
+const isBreak = (n) => n.type === "parbreak" || n.type === "verbatim";
+const isSilent = (n) => n.type === "comment" || n.type === "verb" || n.type === "root";
+function nodeEvents(t, n) {
+    if (isMath(n))
+        return math(t, n);
+    if (isBreak(n))
+        return [BREAK];
+    if (isSilent(n))
+        return [];
+    switch (n.type) {
+        case "string":
+            return textAt(n, stringText(n.content));
+        case "whitespace":
+            return textAt(n, " ");
+        case "group":
+            return walkList(t, n.content);
+        case "environment":
+        case "mathenv":
+            return environmentEvents(t, n);
+        case "macro":
+            return macroEvents(t, n);
+    }
+}
+/** A macro whose `{…}` and `[…]` after it are its arguments, unattached: not a formatting or a character macro. */
+const isUnsignedMacro = (n) => n.type === "macro" &&
+    n.args === undefined &&
+    !INLINE_MACROS.has(n.content) &&
+    !CHARACTER_MACROS.has(n.content);
+const isString = (n, s) => n.type === "string" && n.content === s;
+/** A `{…}` group, or digits glued to the macro (`\if\conference1`): an argument it takes. */
+const isMandatoryArgument = (n) => n.type === "group" || (n.type === "string" && /^\d+$/u.test(n.content));
+/** One node's step: whether it is skipped as an argument, and the state after it. */
+function step(state, n) {
+    if (state === "optional")
+        return { skip: true, state: isString(n, "]") ? "arguments" : "optional" };
+    if (state === "arguments" && isMandatoryArgument(n))
+        return { skip: true, state: "arguments" };
+    if (state === "arguments" && isString(n, "["))
+        return { skip: true, state: "optional" };
+    return { skip: false, state: isUnsignedMacro(n) ? "arguments" : "prose" };
+}
+/**
+ * The nodes of a list that are prose: without the `{…}`, `[…]` and glued digits right after a
+ * macro the parser gave no signature — `\institution{…}`, `\ccsdesc[500]{…}`, `\tool{}`,
+ * `\if\conference1` — which are its arguments, not text. A formatting macro's group (`\enquote{…}` without csquotes' signature) stays prose.
+ */
+const proseNodes = (list) => list.reduce((acc, n) => {
+    const next = step(acc.state, n);
+    return {
+        kept: next.skip ? acc.kept : [...acc.kept, n],
+        state: next.state,
+    };
+}, { kept: [], state: "prose" }).kept;
+/** Formatting macros a run-in heading is set in: `\textbf{Correctness gate.} Each task…`. */
+const RUN_IN_MACROS = new Set([
+    "textbf",
+    "textit",
+    "emph",
+    "textsc",
+    "underline",
+]);
+/** The text a list of events typesets, marks and math left out. */
+const typeset = (events) => events
+    .map((e) => e.kind === "piece" && e.piece.kind === "text" ? e.piece.segment.text : "")
+    .join("");
+/** A formatting macro whose phrase ends in `.` or `:` — a run-in heading, when it opens a paragraph. */
+const isRunInHeading = (t, n) => n.type === "macro" &&
+    RUN_IN_MACROS.has(n.content) &&
+    /[.:]$/u.test(typeset(walkList(t, lastArgument(n))).trim());
+/** Macros that typeset no text, and so leave a paragraph's opening where it was. */
+const SILENT_AT_OPENING = new Set([
+    "noindent",
+    "label",
+    "vspace",
+    "smallskip",
+    "medskip",
+    "bigskip",
+    "phantomsection",
+]);
+/** Nodes that leave a paragraph's opening where it was: spaces, comments, macros that typeset nothing. */
+const keepsOpening = (n) => n.type === "whitespace" ||
+    n.type === "comment" ||
+    (n.type === "macro" && SILENT_AT_OPENING.has(n.content));
+/** Nodes after which a paragraph opens: a paragraph break, and a macro that ends a passage (a heading). */
+const opensAfter = (n) => n.type === "parbreak" || (n.type === "macro" && BREAK_MACROS.has(n.content));
+/**
+ * A list's events. `opens` says the list starts a paragraph (the body, an environment's content);
+ * a run-in heading that opens a paragraph ends the passage before it and is left out, like a heading.
+ */
+function walkList(t, list, opens = false) {
+    return proseNodes(list).reduce((acc, n) => ({
+        events: [
+            ...acc.events,
+            ...(acc.opening && isRunInHeading(t, n) ? [BREAK] : nodeEvents(t, n)),
+        ],
+        opening: opensAfter(n) || (acc.opening && keepsOpening(n)),
+    }), { events: [], opening: opens }).events;
+}
+/** The events before the back matter starts. */
+const untilEnd = (events) => {
+    const end = events.findIndex((e) => e.kind === "end");
+    return end < 0 ? events : events.slice(0, end);
+};
+/** Events → passages: pieces between breaks, each footnote a passage of its own. */
+function passagesOf(events) {
+    const { done, current } = events.reduce((acc, e) => e.kind === "piece"
+        ? { done: acc.done, current: [...acc.current, e.piece] }
+        : e.kind === "break"
+            ? { done: [...acc.done, acc.current], current: [] }
+            : acc, { done: [], current: [] });
+    const asides = events.flatMap((e) => e.kind === "aside" ? passagesOf(untilEnd(e.events)) : []);
+    const own = [...done, current].flatMap((pieces) => hasAtLeast(pieces, 1) ? [{ pieces }] : []);
+    return [...own, ...asides];
+}
+const isDocument = (n) => n.type === "environment" && n.env === "document";
+/** A passage with something in it besides spaces. */
+const hasProse = (p) => p.pieces.some((x) => x.kind !== "text" || x.segment.text.trim() !== "");
+/** Where a passage starts in the source. */
+const startOf = (p) => {
+    const first = p.pieces[0];
+    return first.kind === "text" ? first.segment.at : first.span.start;
+};
+/**
+ * The body's prose, in document order: the content of the `document` environment (the whole
+ * source when there is none), up to the first back-matter node.
+ */
+export function bodyProse(t) {
+    const body = t.root.content.find(isDocument)?.content ?? t.root.content;
+    return sortBy(passagesOf(untilEnd(walkList(t, body, true))).filter(hasProse), startOf);
+}
+//# sourceMappingURL=prose.js.map

package/dist/adapters/latex/prose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prose.js","sourceRoot":"","sources":["../../../src/adapters/latex/prose.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAE5C,OAAO,EACL,WAAW,EACX,OAAO,EACP,UAAU,EACV,SAAS,EACT,OAAO,EACP,UAAU,GAGX,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAkB,MAAM,YAAY,CAAC;AAShF,MAAM,KAAK,GAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACvC,MAAM,GAAG,GAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAEnC,gGAAgG;AAChG,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAC;IAChD,QAAQ;IACR,SAAS;IACT,OAAO;IACP,QAAQ;IACR,SAAS;IACT,UAAU;IACV,UAAU;IACV,WAAW;IACX,YAAY;IACZ,WAAW;IACX,WAAW;IACX,UAAU;IACV,WAAW;IACX,YAAY;IACZ,aAAa;IACb,aAAa;IACb,YAAY;IACZ,UAAU;IACV,UAAU;IACV,QAAQ;IACR,SAAS;IACT,QAAQ;CACT,CAAC,CAAC;AAEH,yEAAyE;AACzE,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC;IAC/C,UAAU;IACV,cAAc;IACd,mBAAmB;CACpB,CAAC,CAAC;AAEH,0DAA0D;AAC1D,MAAM,gBAAgB,GAAwB,IAAI,GAAG,CAAC;IACpD,KAAK;IACL,MAAM;IACN,MAAM;IACN,SAAS;IACT,SAAS;IACT,OAAO;IACP,SAAS;IACT,SAAS;IACT,MAAM;IACN,MAAM;IACN,UAAU;CACX,CAAC,CAAC;AAEH,qGAAqG;AACrG,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC;IACjD,GAAG,CAAC,GAAG,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC;IACrD,KAAK;CACN,CAAC,CAAC;AAEH,wGAAwG;AACxG,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAC;IAChD,MAAM;IACN,SAAS;IACT,SAAS;IACT,YAAY;IACZ,eAAe;IACf,WAAW;IACX,cAAc;IACd,SAAS;IACT,WAAW;IACX,SAAS;IACT,WAAW;IACX,OAAO;IACP,UAAU;IACV,QAAQ;IACR,MAAM;IACN,SAAS;IACT,WAAW;CACZ,CAAC,CAAC;AAEH,sFAAsF;AACtF,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC;IACjD,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,YAAY;IACZ,WAAW;IACX,OAAO;IACP,MAAM;IACN,MAAM;IACN,MAAM;IACN,SAAS;IACT,WAAW;IACX,UAAU;IACV,MAAM;IACN,iBAAiB;IACjB,eAAe;CAChB,CAAC,CAAC;AAEH,oDAAoD;AACpD,MAAM,gBAAgB,GAAgC,IAAI,GAAG,CAAC;IAC5D,CAAC,GAAG,EAAE,GAAG,CAAC;IACV,CAAC,GAAG,EAAE,GAAG,CAAC;IACV,CAAC,GAAG,EAAE,GAAG,CAAC;IACV,CAAC,GAAG,EAAE,GAAG,CAAC;IACV,CAAC,GAAG,EAAE,GAAG,CAAC;IACV,CAAC,GAAG,EAAE,GAAG,CAAC;IACV,CAAC,GAAG,EAAE,GAAG,CAAC;IACV,CAAC,GAAG,EAAE,GAAG,CAAC;IACV,CAAC,GAAG,EAAE,GAAG,CAAC;IACV,CAAC,aAAa,EAAE,GAAG,CAAC;IACpB,CAAC,OAAO,EAAE,GAAG,CAAC;IACd,CAAC,MAAM,EAAE,GAAG,CAAC;IACb,CAAC,cAAc,EAAE,GAAG,CAAC;IACrB,CAAC,YAAY,EAAE,GAAG,CAAC;IACnB,CAAC,YAAY,EAAE,GAAG,CAAC;IACnB,GAAG;QACD,GAAG;QACH,GAAG;QACH,GAAG;QACH,GAAG;QACH,MAAM;QACN,OAAO;QACP,SAAS;QACT,WAAW;QACX,IAAI;QACJ,SAAS;KACV,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAU,CAAC;CAChC,CAAC,CAAC;AAEH,MAAM,KAAK,GAAG,CAAC,CAAa,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAEtE,qCAAqC;AACrC,MAAM,MAAM,GAAG,CAAC,CAAO,EAAE,CAAS,EAAoB,EAAE,CACtD,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;IAC5B,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;CAC9D,CAAC,CAAC;AAEL;;;GAGG;AACH,MAAM,WAAW,GAAG,CAAC,CAAQ,EAAE,EAAU,EAAoB,EAAE,CAC7D,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;IAC5B,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,EAAE,CAAC;CACjE,CAAC,CAAC;AAEL,6CAA6C;AAC7C,MAAM,IAAI,GAAG,CAAC,CAAQ,EAAE,KAAY,EAAoB,EAAE,CACxD,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAE5E,4CAA4C;AAC5C,MAAM,IAAI,GAAG,CAAC,CAAY,EAAE,CAAO,EAAoB,EAAE,CACvD,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;IAC5B,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC;CACtE,CAAC,CAAC;AAEL,wGAAwG;AACxG,MAAM,YAAY,GAAG,CAAC,CAAQ,EAAmB,EAAE,CACjD,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC;AAErC;;;GAGG;AACH,MAAM,KAAK,GAAG,CAAC,MAAwB,EAAW,EAAE,CAClD,MAAM,CAAC,IAAI,CACT,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,OAAO;IAClB,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;IACxB,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,UAAU,CAC/B,CAAC;AAEJ;;;GAGG;AACH,MAAM,QAAQ,GAAG,CAAC,CAAQ,EAAmB,EAAE,CAC7C,WAAW,CAAC,CAAC,CAAC;KACX,KAAK,CAAC,CAAC,CAAC,CAAC;KACT,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAE/B,oGAAoG;AACpG,SAAS,QAAQ,CAAC,CAAY,EAAE,CAAQ;IACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAU,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACvD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AACnE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,GAGZ,IAAI,GAAG,CAAC;IACV;QACE,MAAM;QACN,CAAC,CAAY,EAAE,CAAQ,EAAE,EAAE,CAAC;YAC1B,GAAG,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC;YACtB,GAAG,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;SAChC;KACF;IACD,CAAC,UAAU,EAAE,QAAQ,CAAC;IACtB;QACE,MAAM;QACN,CAAC,CAAY,EAAE,CAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;KACvE;CACF,CAAC,CAAC;AAEH,SAAS,WAAW,CAAC,CAAY,EAAE,CAAQ;IACzC,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC;IACvB,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAC5D,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,EAAE,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,OAAO,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,iBAAiB,CACxB,CAAY,EACZ,CAA4B;IAE5B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,IAAI,CAAC,CAAC,GAAG,KAAK,iBAAiB;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5C,OAAO,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC;AAID;;;GAGG;AACH,MAAM,MAAM,GAAG,CAAC,CAAO,EAA6C,EAAE,CACpE,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC;AACtD,MAAM,OAAO,GAAG,CAAC,CAAO,EAAwC,EAAE,CAChE,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;AACjD,MAAM,QAAQ,GAAG,CAAC,CAAO,EAA4C,EAAE,CACrE,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;AAEjE,SAAS,UAAU,CAAC,CAAY,EAAE,CAAO;IACvC,IAAI,MAAM,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,IAAI,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1C,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACxB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QAChC,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC;AAQD,mHAAmH;AACnH,MAAM,eAAe,GAAG,CAAC,CAAO,EAAW,EAAE,CAC3C,CAAC,CAAC,IAAI,KAAK,OAAO;IAClB,CAAC,CAAC,IAAI,KAAK,SAAS;IACpB,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;IAC7B,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAEnC,MAAM,QAAQ,GAAG,CAAC,CAAO,EAAE,CAAS,EAAW,EAAE,CAC/C,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC;AAEzC,6FAA6F;AAC7F,MAAM,mBAAmB,GAAG,CAAC,CAAO,EAAW,EAAE,CAC/C,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AAE1E,qFAAqF;AACrF,SAAS,IAAI,CACX,KAAoB,EACpB,CAAO;IAEP,IAAI,KAAK,KAAK,UAAU;QACtB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;IAC5E,IAAI,KAAK,KAAK,WAAW,IAAI,mBAAmB,CAAC,CAAC,CAAC;QACjD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IAC5C,IAAI,KAAK,KAAK,WAAW,IAAI,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC;QAC3C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IAC3C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AAC5E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,GAAG,CAAC,IAAqB,EAAmB,EAAE,CAC5D,IAAI,CAAC,MAAM,CAIT,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;IACT,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAChC,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7C,KAAK,EAAE,IAAI,CAAC,KAAK;KAClB,CAAC;AACJ,CAAC,EACD,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAC7B,CAAC,IAAI,CAAC;AAET,6FAA6F;AAC7F,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC;IACjD,QAAQ;IACR,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,WAAW;CACZ,CAAC,CAAC;AAEH,mEAAmE;AACnE,MAAM,OAAO,GAAG,CAAC,MAAwB,EAAU,EAAE,CACnD,MAAM;KACH,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC1E;KACA,IAAI,CAAC,EAAE,CAAC,CAAC;AAEd,wGAAwG;AACxG,MAAM,cAAc,GAAG,CAAC,CAAY,EAAE,CAAO,EAAW,EAAE,CACxD,CAAC,CAAC,IAAI,KAAK,OAAO;IAClB,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;IAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAE9D,oFAAoF;AACpF,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC;IACrD,UAAU;IACV,OAAO;IACP,QAAQ;IACR,WAAW;IACX,SAAS;IACT,SAAS;IACT,gBAAgB;CACjB,CAAC,CAAC;AAEH,0GAA0G;AAC1G,MAAM,YAAY,GAAG,CAAC,CAAO,EAAW,EAAE,CACxC,CAAC,CAAC,IAAI,KAAK,YAAY;IACvB,CAAC,CAAC,IAAI,KAAK,SAAS;IACpB,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AAE3D,2GAA2G;AAC3G,MAAM,UAAU,GAAG,CAAC,CAAO,EAAW,EAAE,CACtC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AAE/E;;;GAGG;AACH,SAAS,QAAQ,CACf,CAAY,EACZ,IAAqB,EACrB,KAAK,GAAG,KAAK;IAEb,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,CAI5B,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,MAAM,EAAE;YACN,GAAG,GAAG,CAAC,MAAM;YACb,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SACtE;QACD,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC;KAC3D,CAAC,EACF,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAC/B,CAAC,MAAM,CAAC;AACX,CAAC;AAED,gDAAgD;AAChD,MAAM,QAAQ,GAAG,CAAC,MAAwB,EAAoB,EAAE;IAC9D,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IACtD,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF,oFAAoF;AACpF,SAAS,UAAU,CAAC,MAAwB;IAC1C,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,CAIrC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CACT,CAAC,CAAC,IAAI,KAAK,OAAO;QAChB,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE;QACxD,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO;YAClB,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;YACnD,CAAC,CAAC,GAAG,EACX,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAC1B,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAClC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CACzD,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAChD,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAC1C,CAAC;IACF,OAAO,CAAC,GAAG,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,CAAO,EAAkC,EAAE,CAC7D,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,GAAG,KAAK,UAAU,CAAC;AAEnD,qDAAqD;AACrD,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAW,EAAE,CACvC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAE1E,4CAA4C;AAC5C,MAAM,OAAO,GAAG,CAAC,CAAU,EAAU,EAAE;IACrC,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1B,OAAO,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;AACrE,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,CAAY;IACpC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;IACxE,OAAO,MAAM,CACX,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAC9D,OAAO,CACR,CAAC;AACJ,CAAC"}

package/dist/claim-provenance.d.ts

@@ -0,0 +1,34 @@
+/**
+ * `tex/claim-provenance` — a sentence of the body that states a number says whose the number is.
+ *
+ *   warn  a sentence with a number and none of: a citation or a link, the authors (we, our, us), a
+ *        place in the paper (`\ref` and its kin, "Section 3", "Table 2", "Appendix B", "§4"), a
+ *        claimant named as one ("advertises 65%", "(claim 63%)"), or the sample it counts
+ *        ("n = 134", "48 runs", "of 1,836 repositories")
+ *
+ * ── WHY ──────────────────────────────────────────────────────────────────────────
+ * A reviewer who cannot tell a property of the world from a cited finding from the authors' own
+ * measurement writes exactly that, and it costs the paper its soundness score. Standard academic
+ * prose carries the owner by default ("we found", "[12] report"); prose pushed toward a punchy
+ * register drops it first. The owner is a fact about the sentence, so a rule can ask for it.
+ *
+ * ── WHAT IT READS ────────────────────────────────────────────────────────────────
+ * The body's prose through the `LatexReader` port (`bodyProse`): the parse tree of `paper.tex`,
+ * never a search of its source. Citations, links and cross-references arrive as marks, math as math.
+ * The only text matched here is the rendered prose of one sentence — one lexeme at a time: a number,
+ * a pronoun, a word such as "Table" followed by its number, a count followed by what it counts.
+ *
+ * ── WHAT IT CANNOT KNOW ──────────────────────────────────────────────────────────
+ * Whether an owner is the RIGHT one (a citation that does not say the number, a "we" in a sentence
+ * about someone else) or what a custom macro prints. A year alone (1900–2099) is read as a date; a
+ * digit glued to a letter or a hyphen ("GPT-4", "10k"), or right after a capitalised word inside the
+ * sentence ("Claude 3", "Python 3.12"), as part of a name. Warn, never error: it asks the question; the author answers it.
+ */
+import { type Passage } from "./domain/tex-document.ts";
+import { type PaperDeps } from "./tex-paper.ts";
+import { type Located, type TexRuleModule } from "./tex-venue-rules.ts";
+/** Every sentence of the body that states a number and does not say whose it is. */
+export declare const judgeClaimProvenance: (passages: readonly Passage[]) => readonly Located[];
+/** The rule, over the body's prose of the whole paper, its includes spliced (`readPaper`). */
+export declare const claimProvenanceRule: (deps: PaperDeps) => TexRuleModule;
+//# sourceMappingURL=claim-provenance.d.ts.map

package/dist/claim-provenance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim-provenance.d.ts","sourceRoot":"","sources":["../src/claim-provenance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EAGL,KAAK,OAAO,EAEb,MAAM,0BAA0B,CAAC;AAQlC,OAAO,EAA4B,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC1E,OAAO,EAEL,KAAK,OAAO,EACZ,KAAK,aAAa,EACnB,MAAM,sBAAsB,CAAC;AAwI9B,oFAAoF;AACpF,eAAO,MAAM,oBAAoB,GAC/B,UAAU,SAAS,OAAO,EAAE,KAC3B,SAAS,OAAO,EAAoC,CAAC;AAgBxD,8FAA8F;AAC9F,eAAO,MAAM,mBAAmB,GAAI,MAAM,SAAS,KAAG,aAgBpD,CAAC"}

package/dist/claim-provenance.js

@@ -0,0 +1,146 @@
+/**
+ * `tex/claim-provenance` — a sentence of the body that states a number says whose the number is.
+ *
+ *   warn  a sentence with a number and none of: a citation or a link, the authors (we, our, us), a
+ *        place in the paper (`\ref` and its kin, "Section 3", "Table 2", "Appendix B", "§4"), a
+ *        claimant named as one ("advertises 65%", "(claim 63%)"), or the sample it counts
+ *        ("n = 134", "48 runs", "of 1,836 repositories")
+ *
+ * ── WHY ──────────────────────────────────────────────────────────────────────────
+ * A reviewer who cannot tell a property of the world from a cited finding from the authors' own
+ * measurement writes exactly that, and it costs the paper its soundness score. Standard academic
+ * prose carries the owner by default ("we found", "[12] report"); prose pushed toward a punchy
+ * register drops it first. The owner is a fact about the sentence, so a rule can ask for it.
+ *
+ * ── WHAT IT READS ────────────────────────────────────────────────────────────────
+ * The body's prose through the `LatexReader` port (`bodyProse`): the parse tree of `paper.tex`,
+ * never a search of its source. Citations, links and cross-references arrive as marks, math as math.
+ * The only text matched here is the rendered prose of one sentence — one lexeme at a time: a number,
+ * a pronoun, a word such as "Table" followed by its number, a count followed by what it counts.
+ *
+ * ── WHAT IT CANNOT KNOW ──────────────────────────────────────────────────────────
+ * Whether an owner is the RIGHT one (a citation that does not say the number, a "we" in a sentence
+ * about someone else) or what a custom macro prints. A year alone (1900–2099) is read as a date; a
+ * digit glued to a letter or a hyphen ("GPT-4", "10k"), or right after a capitalised word inside the
+ * sentence ("Claude 3", "Python 3.12"), as part of a name. Warn, never error: it asks the question; the author answers it.
+ */
+import { runText, spanIn, } from "./domain/tex-document.js";
+import { CITATION, REFERENCE, runOf, segmentOf, sentences, } from "./domain/sentences.js";
+import { readPaper, reportInPaper } from "./tex-paper.js";
+import { ruleDocsUrl, } from "./tex-venue-rules.js";
+/**
+ * A number a reader sees: digits not glued to a letter, a hyphen or a point before them (a name, a
+ * version, a decimal without its zero), with an optional decimal part and a `%` or `×` after them,
+ * and no letter or digit after that.
+ */
+const NUMBER = /(?<![\p{L}\p{N}_.,-])(?:\d{1,3}(?:,\d{3})+|\d+)(?:\.\d+)?(?:\s?%|×|x)?(?![\p{L}\p{N}])/gu;
+/** A plain year, read as a date rather than a quantity. */
+const YEAR = /^(?:19|20)\d\d$/u;
+const FIRST_PERSON = /(?<!\p{L})(?:we|our|ours|us|ourselves)(?!\p{L})/giu;
+/** A place in the paper named in words: "Section 4", "Table 2", "Fig. 3", "Appendix B", "§4". */
+const PLACE = /(?<!\p{L})(?:Sections?|Sec\.|§|Tables?|Tab\.|Figures?|Figs?\.|Appendix|Appendices|App\.|Listings?|Algorithms?|Equations?|Eqs?\.|Chapters?)\s*(?:\d|[A-Z](?!\p{L}))/u;
+/** "n = 134", in prose or in math. */
+const SAMPLE_SIZE = /(?<![\p{L}\\])[nN]\s*=\s*\d/u;
+/**
+ * A count followed by what it counts, with up to two modifiers that are not function words: "48
+ * runs", "1,836 repositories", "466 Boolean questions", "900 systematically collected questions" —
+ * and not "2 of the guards".
+ */
+const COUNT = /(?<![\p{L}\p{N}.,])(?:\d{1,3}(?:,\d{3})+|\d+)(?![.,]?\d)\s+(?:(?!(?:of|the|and|or|to|in|for|on|at|by|a|an|with|from|than|as)\s)[\p{L}-]+\s+){0,2}\p{Ll}+s(?!\p{L})/gu;
+/** A quotation (`` … '' or “ … ”): an example the paper quotes, not a claim it makes. */
+const QUOTED = /``[^']*?''|“[^”]*?”/gu;
+/**
+ * An inline list's enumerator: a whole number standing after the start, `:`, `,`, `;` or `(`, and
+ * closed by `.` or `)` — "are: 1. the challenge …, 2. …", "(3)"; not "(81.15%)".
+ */
+const isEnumerator = (s, at, n) => /^\d+$/u.test(n) &&
+    /^[.)](?:\s|$)/u.test(s.slice(at + n.length)) &&
+    /(?:^|[:,;(])\s*$/u.test(s.slice(0, at));
+/** The first number in `s` that is a quantity, or undefined. */
+const quantityIn = (s) => {
+    const unquoted = s.replace(QUOTED, (q) => " ".repeat(q.length));
+    return [...unquoted.matchAll(NUMBER)]
+        .filter((m) => !CONFIDENCE.test(unquoted.slice(m.index + m[0].length)) &&
+        !isEnumerator(unquoted, m.index, m[0]) &&
+        !(isNamed(unquoted, m.index) && !m[0].endsWith("%")))
+        .map((m) => m[0])
+        .find((n) => !YEAR.test(n));
+};
+/**
+ * A capitalised word right before the number, and not the sentence's first word: the number is part
+ * of a name — "Claude 3", "Python 3.12", "Node 22" — not a quantity. A sentence-initial word ("Only 2
+ * of 46") is capitalised because it opens the sentence, and says nothing.
+ */
+const NAMED_BY = /\S\s+\p{Lu}[\p{L}\p{N}.+-]*\s$/u;
+/** Whether the number at `at` in the sentence `s` is part of a name (`NAMED_BY`). */
+const isNamed = (s, at) => NAMED_BY.test(s.slice(s.length - s.trimStart().length, at));
+/** What follows the level of an interval ("95% CI"): the level is not a result. */
+const CONFIDENCE = /^\s*(?:CI|confidence)(?!\p{L})/u;
+/** A claimant named as such: "advertises a 65% reduction", "(claim 63%)". */
+const ATTRIBUTED = /(?<!\p{L})(?:advertis(?:e|es|ed|ing)|claim(?:s|ed)?)(?!\p{L})/iu;
+/** Whether a sentence says whose its number is. `maths` is the source of its math. */
+const isOwned = (s, maths) => s.includes(CITATION) ||
+    s.includes(REFERENCE) ||
+    [...s.matchAll(FIRST_PERSON)].some((m) => m[0] !== "US") ||
+    ATTRIBUTED.test(s) ||
+    PLACE.test(s) ||
+    SAMPLE_SIZE.test(s) ||
+    // "Claude 3 and fails" is a name and a verb, not a count.
+    [...s.matchAll(COUNT)].some((m) => !isNamed(s, m.index)) ||
+    // `$n{=}7$` and `$n = 7$` alike: braces are grouping in math, not text.
+    maths.some((m) => SAMPLE_SIZE.test(m.replace(/[{}]/gu, "")));
+/** Each piece of a passage with the offset where it starts in the passage's text. */
+const laidOut = (p) => p.pieces.reduce((acc, piece) => ({
+    laid: [...acc.laid, { from: acc.next, piece }],
+    next: acc.next + segmentOf(piece).text.length,
+}), { laid: [], next: 0 }).laid;
+/** The source of the math that starts inside `[from, to)` of the passage's text. */
+const mathsIn = (laid, from, to) => laid.flatMap(({ from: at, piece }) => piece.kind === "math" && at >= from && at < to ? [piece.tex] : []);
+/** Every unowned sentence of one passage that states a number, spanning its source. */
+function judgePassage(p) {
+    const run = runOf(p);
+    const text = runText(run);
+    const laid = laidOut(p);
+    return sentences(text).flatMap(([from, to]) => {
+        const s = text.slice(from, to);
+        const number = quantityIn(s);
+        if (number === undefined || isOwned(s, mathsIn(laid, from, to)))
+            return [];
+        const lead = s.length - s.trimStart().length;
+        const trail = s.length - s.trimEnd().length;
+        return [
+            {
+                messageId: "noOwner",
+                data: { number: number.replace(/\s/gu, "") },
+                at: spanIn(run, from + lead, to - trail),
+            },
+        ];
+    });
+}
+/** Every sentence of the body that states a number and does not say whose it is. */
+export const judgeClaimProvenance = (passages) => passages.flatMap(judgePassage);
+const META = {
+    type: "suggestion",
+    docs: {
+        description: "a sentence of the body that states a number says whose it is: a citation, the authors, a place in the paper, or the sample it counts",
+        url: ruleDocsUrl("claim-provenance"),
+    },
+    schema: [],
+    messages: {
+        noOwner: "«{{number}}» — whose number is this? A reader cannot tell a cited finding from your own measurement from a general fact. Say it in the sentence: cite the work (\\cite), claim it (we measured, our census), point to where it is shown (\\ref, Section N, Table N), or name the sample it counts (n = 134, 48 runs)",
+    },
+};
+/** The rule, over the body's prose of the whole paper, its includes spliced (`readPaper`). */
+export const claimProvenanceRule = (deps) => ({
+    meta: META,
+    create(context) {
+        return {
+            root() {
+                const sc = context.sourceCode;
+                const paper = readPaper(context.filename, sc.raw ?? sc.text, deps);
+                reportInPaper(context, META.messages, paper, judgeClaimProvenance(deps.latex.bodyProse(paper.text)));
+            },
+        };
+    },
+});
+//# sourceMappingURL=claim-provenance.js.map

package/dist/claim-provenance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim-provenance.js","sourceRoot":"","sources":["../src/claim-provenance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EACL,OAAO,EACP,MAAM,GAGP,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,QAAQ,EACR,SAAS,EACT,KAAK,EACL,SAAS,EACT,SAAS,GACV,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,SAAS,EAAE,aAAa,EAAkB,MAAM,gBAAgB,CAAC;AAC1E,OAAO,EACL,WAAW,GAGZ,MAAM,sBAAsB,CAAC;AAE9B;;;;GAIG;AACH,MAAM,MAAM,GACV,0FAA0F,CAAC;AAE7F,2DAA2D;AAC3D,MAAM,IAAI,GAAG,kBAAkB,CAAC;AAEhC,MAAM,YAAY,GAAG,oDAAoD,CAAC;AAE1E,iGAAiG;AACjG,MAAM,KAAK,GACT,qKAAqK,CAAC;AAExK,sCAAsC;AACtC,MAAM,WAAW,GAAG,8BAA8B,CAAC;AAEnD;;;;GAIG;AACH,MAAM,KAAK,GACT,sKAAsK,CAAC;AAEzK,yFAAyF;AACzF,MAAM,MAAM,GAAG,uBAAuB,CAAC;AAEvC;;;GAGG;AACH,MAAM,YAAY,GAAG,CAAC,CAAS,EAAE,EAAU,EAAE,CAAS,EAAW,EAAE,CACjE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAChB,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IAC7C,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAE3C,gEAAgE;AAChE,MAAM,UAAU,GAAG,CAAC,CAAS,EAAsB,EAAE;IACnD,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAChE,OAAO,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;SAClC,MAAM,CACL,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACvD,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CACvD;SACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAChB,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,QAAQ,GAAG,iCAAiC,CAAC;AAEnD,qFAAqF;AACrF,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,EAAU,EAAW,EAAE,CACjD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;AAE9D,mFAAmF;AACnF,MAAM,UAAU,GAAG,iCAAiC,CAAC;AAErD,6EAA6E;AAC7E,MAAM,UAAU,GACd,iEAAiE,CAAC;AAEpE,sFAAsF;AACtF,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,KAAwB,EAAW,EAAE,CAC/D,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;IACpB,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;IACrB,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;IACxD,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACb,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IACnB,0DAA0D;IAC1D,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IACxD,wEAAwE;IACxE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AAE/D,qFAAqF;AACrF,MAAM,OAAO,GAAG,CACd,CAAU,EACwD,EAAE,CACpE,CAAC,CAAC,MAAM,CAAC,MAAM,CAOb,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IACf,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;IAC9C,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM;CAC9C,CAAC,EACF,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CACtB,CAAC,IAAI,CAAC;AAET,oFAAoF;AACpF,MAAM,OAAO,GAAG,CACd,IAAgC,EAChC,IAAY,EACZ,EAAU,EACS,EAAE,CACrB,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CACnC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAClE,CAAC;AAEJ,uFAAuF;AACvF,SAAS,YAAY,CAAC,CAAU;IAC9B,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YAAE,OAAO,EAAE,CAAC;QAC3E,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC;QAC7C,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC;QAC5C,OAAO;YACL;gBACE,SAAS,EAAE,SAAS;gBACpB,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE;gBAC5C,EAAE,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,GAAG,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC;aACzC;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,oFAAoF;AACpF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAA4B,EACR,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;AAExD,MAAM,IAAI,GAA0B;IAClC,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE;QACJ,WAAW,EACT,sIAAsI;QACxI,GAAG,EAAE,WAAW,CAAC,kBAAkB,CAAC;KACrC;IACD,MAAM,EAAE,EAAE;IACV,QAAQ,EAAE;QACR,OAAO,EACL,sTAAsT;KACzT;CACF,CAAC;AAEF,8FAA8F;AAC9F,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,IAAe,EAAiB,EAAE,CAAC,CAAC;IACtE,IAAI,EAAE,IAAI;IACV,MAAM,CAAC,OAAO;QACZ,OAAO;YACL,IAAI;gBACF,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC;gBAC9B,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACnE,aAAa,CACX,OAAO,EACP,IAAI,CAAC,QAAQ,EACb,KAAK,EACL,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CACvD,CAAC;YACJ,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/dist/cli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AAS7C,OAAO,EAAE,MAAM,EAAE,MAAM,+CAA+C,CAAC;AAEvE,OAAO,EAAE,MAAM,EAAE,CAAC;AAClB,OAAO,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAQpE,OAAO,EAAyB,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAcrE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAkBnE,OAAO,EAKL,KAAK,eAAe,EACrB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAGL,IAAI,EAEL,MAAM,WAAW,CAAC;AACnB,OAAO,EAML,KAAK,WAAW,EAChB,KAAK,YAAY,EAClB,MAAM,gBAAgB,CAAC;AAWxB,OAAO,EAKL,KAAK,MAAM,EACX,KAAK,WAAW,EAChB,KAAK,SAAS,EAEf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,IAAI,EAAE,CAAC;AAChB,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAqGtC,4GAA4G;AAC5G,wBAAgB,WAAW,CACzB,IAAI,EAAE,eAAe,YAAK,EAC1B,WAAW,EAAE,OAAO,GACnB,WAAW,EAAE,CAsHf;AAYD,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,CAG5E;AAED;;;GAGG;AACH,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,MAAM,CAG7C,CAAC;AAEF,kGAAkG;AAClG,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACxD;AAED;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,WAAW,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAY7E;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,CAa/D;AAQD;;;GAGG;AACH,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,CAO9C,CAAC;AAmBF,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,wBAAwB,CAAC,EAC9C,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,IAAI,EAAE,eAAe,GACpB,OAAO,CAAC,MAAM,EAAE,CAAC,CAenB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,MAAM,CAAC;IAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAAC,GAAG,EAAE,SAAS,EAAE,CAAA;CAAE,CAAC,CAoBnD;AA8ED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,GACd,MAAM,CAAC,eAAe,CAAC,CA8BzB;AAuBD,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAmFvD;AAaD;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,YAAY,GAAE,MAAM,MAC+C,GAClE,MAAM,GAAG,SAAS,CAYpB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,UAAU,CACxB,CAAC,EAAE,IAAI,EACP,EACE,GAAiB,EACjB,GAAmB,EACnB,GAAmB,GACpB,GAAE;IACD,GAAG,CAAC,EAAE,OAAO,OAAO,CAAC,GAAG,CAAC;IACzB,GAAG,CAAC,EAAE,OAAO,OAAO,CAAC,KAAK,CAAC;IAC3B,GAAG,CAAC,EAAE,MAAM,CAAC;CACT,GACL,UAAU,CAgCZ;AAED,0GAA0G;AAC1G,wBAAgB,WAAW,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAG1D;AAED,0EAA0E;AAC1E,eAAO,MAAM,eAAe,GAAI,KAAK,MAAM,KAAG,MAEK,CAAC;AAEpD,4FAA4F;AAC5F,eAAO,MAAM,WAAW,GAAI,KAAK;IAC/B,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;CACd,KAAG,MAAM,EAC2D,CAAC;AAEtE,gGAAgG;AAChG,wBAAgB,OAAO,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,EAAE,CAOjD;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,OAAO,CACrB,IAAI,EAAE,MAAM,GAAG,SAAS,EACxB,EACE,GAAmB,EACnB,GAAe,EAUf,OAC8C,GAC/C,GAAE;IACD,GAAG,CAAC,EAAE,OAAO,OAAO,CAAC,KAAK,CAAC;IAC3B,kGAAkG;IAClG,GAAG,CAAC,EAAE,CACJ,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,OAAO,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;KAAE,KACnC;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACxC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;CAC/B,GACL,MAAM,CAiCR;AAED;;;;GAIG;AACH,wBAAsB,aAAa,CACjC,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,WAAW,EACnB,EACE,GAAG,EACH,GAAG,EACH,GAAG,EACH,KAAY,GACb,EAAE;IACD,GAAG,EAAE,OAAO,OAAO,CAAC,GAAG,CAAC;IACxB,GAAG,EAAE,OAAO,OAAO,CAAC,KAAK,CAAC;IAC1B,GAAG,EAAE,MAAM,CAAC;IACZ,kFAAkF;IAClF,KAAK,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC;CAC5B,GACA,OAAO,CAAC,MAAM,CAAC,CAgBjB;AAED,uFAAuF;AACvF,MAAM,WAAW,WAAY,SAAQ,YAAY;IAC/C,mEAAmE;IACnE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED;;;;;;;;;GASG;AACH,wBAAsB,WAAW,CAC/B,KAAK,EAAE;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,EACtE,EACE,QAAQ,EACR,GAAG,EACH,WAAW,EACX,GAAG,GACJ,EAAE;IACD,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ,WAAW,EAAE,OAAO,CAAC;IACrB,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;CACrC,GACA,OAAO,CAAC,MAAM,CAAC,WAAW,GAAG,IAAI,CAAC,CAAC,CA8CrC;AAuMD;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,CAYzD;AAoED;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,CAAC,EAAE,IAAI,EACP,EACE,GAAG,EACH,GAAG,EACH,GAAG,GACJ,EAAE;IAAE,GAAG,EAAE,OAAO,OAAO,CAAC,GAAG,CAAC;IAAC,GAAG,EAAE,OAAO,OAAO,CAAC,KAAK,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,EACtE,SAAS,GAAE,OAAO,YAA2B,GAC5C;IAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,MAAM,CAAA;CAAE,CAYvE;AAmDD,wBAAsB,GAAG,CACvB,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,EACE,GAAiB,EACjB,GAAmB,EACnB,GAAmB,EACnB,eAAkC,GACnC,GAAE;IACD,GAAG,CAAC,EAAE,OAAO,OAAO,CAAC,GAAG,CAAC;IACzB,GAAG,CAAC,EAAE,OAAO,OAAO,CAAC,KAAK,CAAC;IAC3B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,eAAe,CAAC,EAAE,eAAe,CAAC;CAC9B,GACL,OAAO,CAAC,MAAM,CAAC,CA+JjB"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,QAAQ,CAAC;AAS7C,OAAO,EAAE,MAAM,EAAE,MAAM,+CAA+C,CAAC;AAEvE,OAAO,EAAE,MAAM,EAAE,CAAC;AAClB,OAAO,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAQpE,OAAO,EAAyB,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAiBrE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAkBnE,OAAO,EAKL,KAAK,eAAe,EACrB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAGL,IAAI,EAEL,MAAM,WAAW,CAAC;AACnB,OAAO,EAML,KAAK,WAAW,EAChB,KAAK,YAAY,EAClB,MAAM,gBAAgB,CAAC;AAWxB,OAAO,EAKL,KAAK,MAAM,EACX,KAAK,WAAW,EAChB,KAAK,SAAS,EAEf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,IAAI,EAAE,CAAC;AAChB,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAqGtC,4GAA4G;AAC5G,wBAAgB,WAAW,CACzB,IAAI,EAAE,eAAe,YAAK,EAC1B,WAAW,EAAE,OAAO,GACnB,WAAW,EAAE,CAuIf;AAYD,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,CAG5E;AAED;;;GAGG;AACH,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,MAAM,CAG7C,CAAC;AAEF,kGAAkG;AAClG,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACxD;AAED;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,WAAW,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAY7E;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,CAa/D;AAQD;;;GAGG;AACH,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,CAO9C,CAAC;AAmBF,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,wBAAwB,CAAC,EAC9C,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,IAAI,EAAE,eAAe,GACpB,OAAO,CAAC,MAAM,EAAE,CAAC,CAenB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,MAAM,CAAC;IAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAAC,GAAG,EAAE,SAAS,EAAE,CAAA;CAAE,CAAC,CAoBnD;AA8ED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,GACd,MAAM,CAAC,eAAe,CAAC,CA8BzB;AAuBD,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAmFvD;AAaD;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,YAAY,GAAE,MAAM,MAC+C,GAClE,MAAM,GAAG,SAAS,CAYpB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,UAAU,CACxB,CAAC,EAAE,IAAI,EACP,EACE,GAAiB,EACjB,GAAmB,EACnB,GAAmB,GACpB,GAAE;IACD,GAAG,CAAC,EAAE,OAAO,OAAO,CAAC,GAAG,CAAC;IACzB,GAAG,CAAC,EAAE,OAAO,OAAO,CAAC,KAAK,CAAC;IAC3B,GAAG,CAAC,EAAE,MAAM,CAAC;CACT,GACL,UAAU,CAgCZ;AAED,0GAA0G;AAC1G,wBAAgB,WAAW,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAG1D;AAED,0EAA0E;AAC1E,eAAO,MAAM,eAAe,GAAI,KAAK,MAAM,KAAG,MAEK,CAAC;AAEpD,4FAA4F;AAC5F,eAAO,MAAM,WAAW,GAAI,KAAK;IAC/B,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;CACd,KAAG,MAAM,EAC2D,CAAC;AAEtE,gGAAgG;AAChG,wBAAgB,OAAO,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,EAAE,CAOjD;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,OAAO,CACrB,IAAI,EAAE,MAAM,GAAG,SAAS,EACxB,EACE,GAAmB,EACnB,GAAe,EAUf,OAC8C,GAC/C,GAAE;IACD,GAAG,CAAC,EAAE,OAAO,OAAO,CAAC,KAAK,CAAC;IAC3B,kGAAkG;IAClG,GAAG,CAAC,EAAE,CACJ,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,OAAO,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;KAAE,KACnC;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACxC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;CAC/B,GACL,MAAM,CAiCR;AAED;;;;GAIG;AACH,wBAAsB,aAAa,CACjC,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,WAAW,EACnB,EACE,GAAG,EACH,GAAG,EACH,GAAG,EACH,KAAY,GACb,EAAE;IACD,GAAG,EAAE,OAAO,OAAO,CAAC,GAAG,CAAC;IACxB,GAAG,EAAE,OAAO,OAAO,CAAC,KAAK,CAAC;IAC1B,GAAG,EAAE,MAAM,CAAC;IACZ,kFAAkF;IAClF,KAAK,CAAC,EAAE,WAAW,GAAG,IAAI,CAAC;CAC5B,GACA,OAAO,CAAC,MAAM,CAAC,CAgBjB;AAED,uFAAuF;AACvF,MAAM,WAAW,WAAY,SAAQ,YAAY;IAC/C,mEAAmE;IACnE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED;;;;;;;;;GASG;AACH,wBAAsB,WAAW,CAC/B,KAAK,EAAE;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,EACtE,EACE,QAAQ,EACR,GAAG,EACH,WAAW,EACX,GAAG,GACJ,EAAE;IACD,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ,WAAW,EAAE,OAAO,CAAC;IACrB,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;CACrC,GACA,OAAO,CAAC,MAAM,CAAC,WAAW,GAAG,IAAI,CAAC,CAAC,CA8CrC;AAuMD;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,CAYzD;AAoED;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,CAAC,EAAE,IAAI,EACP,EACE,GAAG,EACH,GAAG,EACH,GAAG,GACJ,EAAE;IAAE,GAAG,EAAE,OAAO,OAAO,CAAC,GAAG,CAAC;IAAC,GAAG,EAAE,OAAO,OAAO,CAAC,KAAK,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,EACtE,SAAS,GAAE,OAAO,YAA2B,GAC5C;IAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,MAAM,CAAA;CAAE,CAYvE;AAmDD,wBAAsB,GAAG,CACvB,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,EACE,GAAiB,EACjB,GAAmB,EACnB,GAAmB,EACnB,eAAkC,GACnC,GAAE;IACD,GAAG,CAAC,EAAE,OAAO,OAAO,CAAC,GAAG,CAAC;IACzB,GAAG,CAAC,EAAE,OAAO,OAAO,CAAC,KAAK,CAAC;IAC3B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,eAAe,CAAC,EAAE,eAAe,CAAC;CAC9B,GACL,OAAO,CAAC,MAAM,CAAC,CA+JjB"}

package/dist/cli.js

@@ -45,6 +45,9 @@ import { latexReader } from "./adapters/latex/index.js";
 import { hostDirs, nodeAdapters, nodeFiles } from "./adapters/node/index.js";
 import { VENUE_RULE_LEVELS, venueRules } from "./venue-rules.js";
 import { TEX_VENUE_RULE_LEVELS, texVenueRules } from "./tex-venue-rules.js";
+import { claimProvenanceRule } from "./claim-provenance.js";
+import { registerRule } from "./register.js";
+import { missingInputRule } from "./tex-paper.js";
 import { paperRules, stringFields, } from "./paper-settings.js";
 import { referenceRules, REFERENCE_RULE_LEVELS } from "./reference-rules.js";
 import { onlineReferences } from "./adapters/references/index.js";
@@ -244,6 +247,18 @@ export function buildConfig(opts = {}, texLanguage) {
                             venuesDir: presetsDir(),
                             latex: latexReader,
                         }),
+                        "claim-provenance": claimProvenanceRule({
+                            files: nodeFiles,
+                            latex: latexReader,
+                        }),
+                        "missing-input": missingInputRule({
+                            files: nodeFiles,
+                            latex: latexReader,
+                        }),
+                        register: registerRule({
+                            files: nodeFiles,
+                            latex: latexReader,
+                        }),
                     },
                 },
                 paper: { rules: texPaperRules },
@@ -256,6 +271,11 @@ export function buildConfig(opts = {}, texLanguage) {
                 "paper/figure-ref-style": "warn",
                 "bib/reachable-entry": "warn",
                 "tex/future-promise": "warn",
+                // A number with no owner: a prose rule, on beside the others above.
+                "tex/claim-provenance": "warn",
+                "tex/missing-input": "warn",
+                // Sentence-initial conjunctions over the whole body: register, not vocabulary.
+                "tex/register": "warn",
                 "tex/acm-frontmatter-override": "error",
                 // Silent for a paper whose paperlint.json names no venue (src/venue-rules.ts).
                 ...VENUE_RULE_LEVELS,