@trofimyukdev/repo-truth 0.0.0-stage → 0.1.0

package/dist/figure-claims.js

@@ -0,0 +1,139 @@
+/**
+ * Figure claims.
+ *
+ * A measured figure is written in one form: a git command in a code span, the
+ * word `printed`, and the output in a code span. This finds the claims of that
+ * form a range adds, in its Markdown pages and in its commit messages. It
+ * reads only through git, with an argument vector and never a shell, and never
+ * from the working tree: a page is read as a blob of the candidate, and only
+ * the lines the range adds to it - against the file of the merge base it was
+ * renamed from, when git pairs it with one - can hold a claim. The text of a
+ * page or a body is read by `claimsInText`, which is RT-28's.
+ */
+import { execFile } from "node:child_process";
+import { claimsInText } from "./figure-text.js";
+const ZERO_ID = /^0+$/;
+function runGit(cwd, args) {
+    return new Promise((resolve, reject) => {
+        execFile("git", args, { cwd, maxBuffer: 1024 * 1024 * 1024, encoding: "utf8" }, (error, stdout, stderr) => {
+            if (error) {
+                reject(new Error(stderr.trim() || error.message));
+                return;
+            }
+            resolve(stdout);
+        });
+    });
+}
+async function resolveCommit(cwd, revision) {
+    // A revision that begins with a dash would be read as an option.
+    if (typeof revision !== "string" || revision.length === 0 || revision.startsWith("-")) {
+        throw new Error(`revision ${JSON.stringify(String(revision))} does not name a commit`);
+    }
+    let hash = "";
+    try {
+        hash = (await runGit(cwd, ["rev-parse", "--verify", "--quiet", `${revision}^{commit}`])).trim();
+    }
+    catch (error) {
+        throw new Error(`revision ${JSON.stringify(revision)} does not name a commit: ${error.message}`);
+    }
+    if (hash.length === 0)
+        throw new Error(`revision ${JSON.stringify(revision)} does not name a commit`);
+    return hash;
+}
+/** The Markdown pages of the candidate that differ from the merge base, paired by rename detection. */
+async function changedPages(cwd, mergeBase, candidate) {
+    const out = await runGit(cwd, [
+        "diff-tree", "-r", "-M", "-z", "--no-ext-diff", "--no-textconv", mergeBase, candidate,
+    ]);
+    const fields = out.split("\0");
+    const pages = [];
+    let i = 0;
+    while (i < fields.length) {
+        const meta = fields[i++];
+        if (!meta.startsWith(":"))
+            continue;
+        const [, newMode = "", oldId = "", newId = "", status = ""] = meta.split(/\s+/);
+        const first = fields[i++] ?? "";
+        const path = status.startsWith("R") || status.startsWith("C") ? (fields[i++] ?? "") : first;
+        if (status.startsWith("D") || !path.endsWith(".md"))
+            continue;
+        if (!newMode.startsWith("100") || ZERO_ID.test(newId))
+            continue;
+        pages.push({ path, oldId: ZERO_ID.test(oldId) ? null : oldId, newId });
+    }
+    return pages;
+}
+/** The lines, counted from 1, that the new blob holds and the old one does not. */
+async function addedLines(cwd, page, text) {
+    const added = new Set();
+    if (page.oldId === null) {
+        const total = text.split("\n").length;
+        for (let line = 1; line <= total; line += 1)
+            added.add(line);
+        return added;
+    }
+    if (page.oldId === page.newId)
+        return added;
+    const diff = await runGit(cwd, [
+        "diff", "--no-color", "--no-ext-diff", "--no-textconv", "--no-renames", "-U0", page.oldId, page.newId,
+    ]);
+    for (const header of diff.matchAll(/^@@ -\d+(?:,\d+)? \+(\d+)(?:,(\d+))? @@/gm)) {
+        const start = Number(header[1]);
+        const count = header[2] === undefined ? 1 : Number(header[2]);
+        for (let line = start; line < start + count; line += 1)
+            added.add(line);
+    }
+    return added;
+}
+async function pageClaims(cwd, mergeBase, candidate) {
+    const claims = [];
+    for (const page of await changedPages(cwd, mergeBase, candidate)) {
+        const text = await runGit(cwd, ["cat-file", "blob", page.newId]);
+        const added = await addedLines(cwd, page, text);
+        for (const claim of claimsInText(text, "paragraphs")) {
+            if (added.has(claim.line)) {
+                claims.push({ where: `${page.path}:${claim.line}`, command: claim.command, claimed: claim.claimed });
+            }
+        }
+    }
+    return claims;
+}
+async function bodyClaims(cwd, base, candidate) {
+    const out = await runGit(cwd, ["log", "-z", "--format=%H%n%B", `${base}..${candidate}`]);
+    const claims = [];
+    for (const record of out.split("\0")) {
+        const newline = record.indexOf("\n");
+        if (newline < 0)
+            continue;
+        const id = record.slice(0, newline).replace(/^\n+/, "");
+        const body = record.slice(newline + 1);
+        for (const claim of claimsInText(body, "whole")) {
+            claims.push({ where: id, command: claim.command, claimed: claim.claimed });
+        }
+    }
+    return claims;
+}
+/** Every figure claim the range adds, or a failure naming why they could not be read. */
+export async function readFigureClaims(options) {
+    try {
+        const { cwd } = options;
+        const base = await resolveCommit(cwd, options.base);
+        const candidate = await resolveCommit(cwd, options.candidate);
+        let mergeBase = "";
+        try {
+            mergeBase = (await runGit(cwd, ["merge-base", base, candidate])).trim();
+        }
+        catch (error) {
+            throw new Error(`no merge base of ${base} and ${candidate}: ${error.message}`);
+        }
+        if (mergeBase.length === 0)
+            throw new Error(`no merge base of ${base} and ${candidate}`);
+        const pages = await pageClaims(cwd, mergeBase, candidate);
+        const bodies = await bodyClaims(cwd, base, candidate);
+        return { claims: [...pages, ...bodies] };
+    }
+    catch (error) {
+        return { failure: error instanceof Error ? error.message : String(error) };
+    }
+}
+//# sourceMappingURL=figure-claims.js.map

package/dist/figure-claims.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"figure-claims.js","sourceRoot":"","sources":["../src/figure-claims.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAsBhD,MAAM,OAAO,GAAG,MAAM,CAAC;AAEvB,SAAS,MAAM,CAAC,GAAW,EAAE,IAAuB;IAClD,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,QAAQ,CACN,KAAK,EACL,IAAgB,EAChB,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EACxD,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;YACxB,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;gBAClD,OAAO;YACT,CAAC;YACD,OAAO,CAAC,MAAM,CAAC,CAAC;QAClB,CAAC,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,GAAW,EAAE,QAAgB;IACxD,iEAAiE;IACjE,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,KAAK,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,yBAAyB,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,CAAC;QACH,IAAI,GAAG,CAAC,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,QAAQ,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClG,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,4BAA6B,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9G,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IACtG,OAAO,IAAI,CAAC;AACd,CAAC;AASD,uGAAuG;AACvG,KAAK,UAAU,YAAY,CAAC,GAAW,EAAE,SAAiB,EAAE,SAAiB;IAC3E,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,GAAG,EAAE;QAC5B,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,eAAe,EAAE,SAAS,EAAE,SAAS;KACtF,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,CAAW,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QACpC,MAAM,CAAC,EAAE,OAAO,GAAG,EAAE,EAAE,KAAK,GAAG,EAAE,EAAE,KAAK,GAAG,EAAE,EAAE,MAAM,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAChF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC5F,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QAC9D,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QAChE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,mFAAmF;AACnF,KAAK,UAAU,UAAU,CAAC,GAAW,EAAE,IAAiB,EAAE,IAAY;IACpE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;QACtC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IAC5C,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,GAAG,EAAE;QAC7B,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK;KACtG,CAAC,CAAC;IACH,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,2CAA2C,CAAC,EAAE,CAAC;QAChF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,KAAK,IAAI,IAAI,GAAG,KAAK,EAAE,IAAI,GAAG,KAAK,GAAG,KAAK,EAAE,IAAI,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,UAAU,CAAC,GAAW,EAAE,SAAiB,EAAE,SAAiB;IACzE,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,MAAM,YAAY,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAChD,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC;YACrD,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YACvG,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,UAAU,CAAC,GAAW,EAAE,IAAY,EAAE,SAAiB;IACpE,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,IAAI,KAAK,SAAS,EAAE,CAAC,CAAC,CAAC;IACzF,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,OAAO,GAAG,CAAC;YAAE,SAAS;QAC1B,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,yFAAyF;AACzF,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,OAA4B;IACjE,IAAI,CAAC;QACH,MAAM,EAAE,GAAG,EAAE,GAAG,OAAO,CAAC;QACxB,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QAC9D,IAAI,SAAS,GAAG,EAAE,CAAC;QACnB,IAAI,CAAC;YACH,SAAS,GAAG,CAAC,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,YAAY,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1E,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,oBAAoB,IAAI,QAAQ,SAAS,KAAM,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5F,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,IAAI,QAAQ,SAAS,EAAE,CAAC,CAAC;QACzF,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QACtD,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,KAAK,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC;IAC3C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC7E,CAAC;AACH,CAAC"}

package/dist/figure-text.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Claim text: the figure claims one page or one commit body holds.
+ *
+ * A measured figure is written in one form: a git command in a code span, the
+ * word `printed`, and the output in a code span. This reads that form in a
+ * text. It is pure: no git, no file, no process, no import. Code spans are
+ * read as CommonMark reads them: a backslash before ASCII punctuation outside
+ * a span escapes it, and inside a span a backslash is an ordinary character.
+ */
+/** One figure claim found in a text. */
+export interface FigureTextClaim {
+    /** The line, counted from 1, on which the claimed output's code span opens. */
+    line: number;
+    /** The text of the command's code span. */
+    command: string;
+    /** The text of the claimed output's code span. */
+    claimed: string;
+}
+/** A page is read by its paragraphs, a commit body as one block. */
+export type FigureBlocks = "paragraphs" | "whole";
+/** The figure claims in `text`, in the order their claimed outputs appear. */
+export declare function claimsInText(text: string, blocks: FigureBlocks): FigureTextClaim[];

package/dist/figure-text.js

@@ -0,0 +1,119 @@
+/**
+ * Claim text: the figure claims one page or one commit body holds.
+ *
+ * A measured figure is written in one form: a git command in a code span, the
+ * word `printed`, and the output in a code span. This reads that form in a
+ * text. It is pure: no git, no file, no process, no import. Code spans are
+ * read as CommonMark reads them: a backslash before ASCII punctuation outside
+ * a span escapes it, and inside a span a backslash is an ordinary character.
+ */
+const WORD = "printed";
+const ESCAPABLE = "!\"#$%&'()*+,-./:;<=>?@[\\]^_`{|}~";
+const WORD_CHARACTER = /^[\p{L}\p{N}_]$/u;
+/** Split into lines at a line feed; a carriage return just before one is dropped. */
+function linesOf(text) {
+    const lines = text.split("\n");
+    return lines.map((line, index) => (index < lines.length - 1 && line.endsWith("\r") ? line.slice(0, -1) : line));
+}
+function blocksOf(text, blocks) {
+    const lines = linesOf(text);
+    if (blocks !== "paragraphs")
+        return [{ text: lines.join("\n"), firstLine: 1 }];
+    const found = [];
+    let current = [];
+    let first = 1;
+    lines.forEach((line, index) => {
+        if (/^[ \t]*$/.test(line)) {
+            if (current.length > 0)
+                found.push({ text: current.join("\n"), firstLine: first });
+            current = [];
+        }
+        else {
+            if (current.length === 0)
+                first = index + 1;
+            current.push(line);
+        }
+    });
+    if (current.length > 0)
+        found.push({ text: current.join("\n"), firstLine: first });
+    return found;
+}
+/** The length of the backtick string that starts at `from`. */
+function runLength(text, from) {
+    let end = from;
+    while (text[end] === "`")
+        end += 1;
+    return end - from;
+}
+/** The content of a code span, read as CommonMark reads it. */
+function spanContent(raw) {
+    const content = raw.replace(/\n/g, " ");
+    if (content.length >= 2 && content.startsWith(" ") && content.endsWith(" ") && /[^ ]/.test(content)) {
+        return content.slice(1, -1);
+    }
+    return content;
+}
+function claimsInBlock(block) {
+    const { text } = block;
+    const claims = [];
+    let command;
+    let commandAtWord;
+    let claimStart = -1;
+    let i = 0;
+    while (i < text.length) {
+        const char = text[i];
+        if (char === "\\") {
+            i += ESCAPABLE.includes(text[i + 1] ?? "") ? 2 : 1;
+        }
+        else if (char === "`") {
+            const length = runLength(text, i);
+            let search = i + length;
+            let close = -1;
+            while (search < text.length) {
+                if (text[search] !== "`") {
+                    search += 1;
+                    continue;
+                }
+                const other = runLength(text, search);
+                if (other === length) {
+                    close = search;
+                    break;
+                }
+                search += other;
+            }
+            if (close < 0) {
+                i += length;
+                continue;
+            }
+            const content = spanContent(text.slice(i + length, close));
+            if (i === claimStart && commandAtWord !== undefined) {
+                const line = block.firstLine + (text.slice(0, i).match(/\n/g)?.length ?? 0);
+                claims.push({ line, command: commandAtWord, claimed: content });
+            }
+            claimStart = -1;
+            if (content.startsWith("git "))
+                command = content;
+            i = close + length;
+        }
+        else if (text.startsWith(WORD, i) && !WORD_CHARACTER.test(text[i - 1] ?? "")) {
+            const wordEnd = i + WORD.length;
+            let end = wordEnd;
+            while (text[end] === " ")
+                end += 1;
+            commandAtWord = command;
+            claimStart = end > wordEnd && command !== undefined ? end : -1;
+            i = wordEnd;
+        }
+        else {
+            i += 1;
+        }
+    }
+    return claims;
+}
+/** The figure claims in `text`, in the order their claimed outputs appear. */
+export function claimsInText(text, blocks) {
+    if (typeof text !== "string")
+        return [];
+    return blocksOf(text, blocks).flatMap(claimsInBlock);
+}
+//# sourceMappingURL=figure-text.js.map

package/dist/figure-text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"figure-text.js","sourceRoot":"","sources":["../src/figure-text.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAeH,MAAM,IAAI,GAAG,SAAS,CAAC;AACvB,MAAM,SAAS,GAAG,oCAAoC,CAAC;AACvD,MAAM,cAAc,GAAG,kBAAkB,CAAC;AAO1C,qFAAqF;AACrF,SAAS,OAAO,CAAC,IAAY;IAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAClH,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,MAAoB;IAClD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,MAAM,KAAK,YAAY;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/E,MAAM,KAAK,GAAY,EAAE,CAAC;IAC1B,IAAI,OAAO,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC5B,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;YACnF,OAAO,GAAG,EAAE,CAAC;QACf,CAAC;aAAM,CAAC;YACN,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC;YAC5C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+DAA+D;AAC/D,SAAS,SAAS,CAAC,IAAY,EAAE,IAAY;IAC3C,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG;QAAE,GAAG,IAAI,CAAC,CAAC;IACnC,OAAO,GAAG,GAAG,IAAI,CAAC;AACpB,CAAC;AAED,+DAA+D;AAC/D,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACxC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACpG,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,KAAY;IACjC,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,IAAI,OAA2B,CAAC;IAChC,IAAI,aAAiC,CAAC;IACtC,IAAI,UAAU,GAAG,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAW,CAAC;QAC/B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAClC,IAAI,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC;YACxB,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;YACf,OAAO,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC5B,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC;oBACzB,MAAM,IAAI,CAAC,CAAC;oBACZ,SAAS;gBACX,CAAC;gBACD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACtC,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;oBACrB,KAAK,GAAG,MAAM,CAAC;oBACf,MAAM;gBACR,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC;YAClB,CAAC;YACD,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACd,CAAC,IAAI,MAAM,CAAC;gBACZ,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;YAC3D,IAAI,CAAC,KAAK,UAAU,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gBACpD,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC;gBAC5E,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;YAClE,CAAC;YACD,UAAU,GAAG,CAAC,CAAC,CAAC;YAChB,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC;gBAAE,OAAO,GAAG,OAAO,CAAC;YAClD,CAAC,GAAG,KAAK,GAAG,MAAM,CAAC;QACrB,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YAC/E,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YAChC,IAAI,GAAG,GAAG,OAAO,CAAC;YAClB,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG;gBAAE,GAAG,IAAI,CAAC,CAAC;YACnC,aAAa,GAAG,OAAO,CAAC;YACxB,UAAU,GAAG,GAAG,GAAG,OAAO,IAAI,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,CAAC,GAAG,OAAO,CAAC;QACd,CAAC;aAAM,CAAC;YACN,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,MAAoB;IAC7D,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;AACvD,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,46 @@
+/**
+ * repo-truth - the shape every check in this package answers in.
+ *
+ * Nothing here decides anything yet. What this module fixes is the RESULT
+ * TYPE, because that is the half a caller depends on and the half that is
+ * expensive to change once six checks have their own version of it. A check
+ * returns a record; a gate reads records; neither side reads a process exit
+ * code or a line of prose.
+ *
+ * The checks themselves arrive one task at a time - see `factory/tasks/`.
+ */
+/** What a check concluded. */
+export type CheckStatus = "pass" | "fail" | "skip";
+/**
+ * One machine-readable answer.
+ *
+ * `evidence` is a list rather than a string because a failure that names one
+ * offending commit and a failure that names forty are the same kind of answer,
+ * and a caller that has to split a paragraph to tell them apart is a caller
+ * that will get it wrong. A passing check MAY carry evidence - what it looked
+ * at is worth printing - and an empty list is not a defect.
+ */
+export interface CheckRecord {
+    /** Stable identifier, matching the check's task id in `factory/tasks/`. */
+    readonly name: string;
+    readonly status: CheckStatus;
+    /** Human-readable lines naming what was found, or what was looked at. */
+    readonly evidence: readonly string[];
+}
+/**
+ * The one check that exists, and it checks the package's own premise: that a
+ * check is a record and not an exit code.
+ *
+ * It is a placeholder in what it MEASURES and not in what it RETURNS. It is
+ * kept once the real checks land, because a package whose whole contract is a
+ * record type should have one test that fails if the record type moves.
+ */
+export declare function selfCheck(): CheckRecord;
+/**
+ * Whether a set of records lets a candidate through.
+ *
+ * A `skip` does not block: a check that could not run has not found anything,
+ * and treating "did not run" as "found a defect" is how a gate gets switched
+ * off wholesale. A check that must not be skippable says so by failing instead.
+ */
+export declare function allPassed(records: readonly CheckRecord[]): boolean;

package/dist/index.js

@@ -0,0 +1,38 @@
+/**
+ * repo-truth - the shape every check in this package answers in.
+ *
+ * Nothing here decides anything yet. What this module fixes is the RESULT
+ * TYPE, because that is the half a caller depends on and the half that is
+ * expensive to change once six checks have their own version of it. A check
+ * returns a record; a gate reads records; neither side reads a process exit
+ * code or a line of prose.
+ *
+ * The checks themselves arrive one task at a time - see `factory/tasks/`.
+ */
+import { REGISTRY } from "./registry.js";
+/**
+ * The one check that exists, and it checks the package's own premise: that a
+ * check is a record and not an exit code.
+ *
+ * It is a placeholder in what it MEASURES and not in what it RETURNS. It is
+ * kept once the real checks land, because a package whose whole contract is a
+ * record type should have one test that fails if the record type moves.
+ */
+export function selfCheck() {
+    return {
+        name: "self",
+        status: "pass",
+        evidence: [`repo-truth is installed; ${REGISTRY.length} checks registered`],
+    };
+}
+/**
+ * Whether a set of records lets a candidate through.
+ *
+ * A `skip` does not block: a check that could not run has not found anything,
+ * and treating "did not run" as "found a defect" is how a gate gets switched
+ * off wholesale. A check that must not be skippable says so by failing instead.
+ */
+export function allPassed(records) {
+    return records.every((record) => record.status !== "fail");
+}
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAsBzC;;;;;;;GAOG;AACH,MAAM,UAAU,SAAS;IACvB,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,MAAM;QACd,QAAQ,EAAE,CAAC,4BAA4B,QAAQ,CAAC,MAAM,oBAAoB,CAAC;KAC5E,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,OAA+B;IACvD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AAC7D,CAAC"}

package/dist/large-blobs.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Large blobs.
+ *
+ * History keeps every blob a commit ever held, so a build artefact or a
+ * dataset committed by accident and deleted again is gone from the tree and
+ * still in every clone. This check measures every blob the range brings into
+ * the history - those reachable from `candidate` and not from `base` - and
+ * names each one over a size limit, including blobs the candidate's own tree
+ * no longer holds.
+ *
+ * A blob reachable from `base` is never a finding, so a rename or a copy of a
+ * large base blob (same object, new path) and a change beside it stay quiet.
+ * Sizes come from the object store through `git cat-file`, never from the
+ * working tree. A blob larger than the limit is a finding; one exactly at it
+ * is not. The limit is `maxBytes`, and `DEFAULT_MAX_BLOB_BYTES` when absent.
+ *
+ * The check fails closed: an unresolvable revision, a failing git invocation
+ * or an invalid `maxBytes` is a `fail` record naming the cause.
+ */
+import type { CheckRecord } from "./index.js";
+/** One mebibyte: the limit when the caller sets none. */
+export declare const DEFAULT_MAX_BLOB_BYTES = 1048576;
+/** Where to look, which two revisions bound the range, and the size limit. */
+export interface LargeBlobsOptions {
+    /** The git repository to run in. */
+    readonly cwd: string;
+    /** The revision the range starts after. */
+    readonly base: string;
+    /** The revision the range ends at. */
+    readonly candidate: string;
+    /** The largest blob size, in bytes, that is not a finding. */
+    readonly maxBytes?: number;
+}
+/** Measure every blob the range adds to the history against the size limit. */
+export declare function checkLargeBlobs(options: LargeBlobsOptions): Promise<CheckRecord>;

package/dist/large-blobs.js

@@ -0,0 +1,163 @@
+/**
+ * Large blobs.
+ *
+ * History keeps every blob a commit ever held, so a build artefact or a
+ * dataset committed by accident and deleted again is gone from the tree and
+ * still in every clone. This check measures every blob the range brings into
+ * the history - those reachable from `candidate` and not from `base` - and
+ * names each one over a size limit, including blobs the candidate's own tree
+ * no longer holds.
+ *
+ * A blob reachable from `base` is never a finding, so a rename or a copy of a
+ * large base blob (same object, new path) and a change beside it stay quiet.
+ * Sizes come from the object store through `git cat-file`, never from the
+ * working tree. A blob larger than the limit is a finding; one exactly at it
+ * is not. The limit is `maxBytes`, and `DEFAULT_MAX_BLOB_BYTES` when absent.
+ *
+ * The check fails closed: an unresolvable revision, a failing git invocation
+ * or an invalid `maxBytes` is a `fail` record naming the cause.
+ */
+import { execFile } from "node:child_process";
+const NAME = "RT-12";
+/** One mebibyte: the limit when the caller sets none. */
+export const DEFAULT_MAX_BLOB_BYTES = 1048576;
+function runGit(cwd, args, input) {
+    return new Promise((resolve, reject) => {
+        const child = execFile("git", args, { cwd, maxBuffer: 1024 * 1024 * 1024, encoding: "buffer" }, (error, stdout, stderr) => {
+            if (error) {
+                const detail = stderr.toString("utf8").trim();
+                reject(new Error(detail.length > 0 ? detail : error.message));
+                return;
+            }
+            resolve(stdout);
+        });
+        child.stdin?.on("error", () => undefined);
+        child.stdin?.end(input ?? "");
+    });
+}
+/** Escape control characters so a name or revision cannot replay a terminal sequence or split a line. */
+function escapeControl(text) {
+    let escaped = "";
+    for (const char of text) {
+        const codePoint = char.codePointAt(0) ?? 0;
+        if (codePoint < 0x20 || (codePoint >= 0x7f && codePoint < 0xa0)) {
+            escaped += `\\u{${codePoint.toString(16).padStart(4, "0")}}`;
+        }
+        else {
+            escaped += char;
+        }
+    }
+    return escaped;
+}
+function quote(text) {
+    return `"${escapeControl(text)}"`;
+}
+function decode(bytes) {
+    try {
+        return new TextDecoder("utf-8", { fatal: true }).decode(bytes);
+    }
+    catch {
+        return bytes.toString("latin1");
+    }
+}
+async function resolveCommit(cwd, revision) {
+    if (revision.length === 0 || revision.startsWith("-")) {
+        throw new Error(`revision ${quote(revision)} names no commit`);
+    }
+    let hash;
+    try {
+        const out = await runGit(cwd, ["rev-parse", "--verify", "--quiet", `${revision}^{commit}`]);
+        hash = out.toString("utf8").trim();
+    }
+    catch (error) {
+        throw new Error(`revision ${quote(revision)} names no commit: ${error.message}`);
+    }
+    if (hash.length === 0) {
+        throw new Error(`revision ${quote(revision)} names no commit`);
+    }
+    return hash;
+}
+const OBJECT_LINE = /^([0-9a-f]{40}|[0-9a-f]{64})(?: (.*))?$/;
+/** Every object `rev-list --objects` lists, with the first path (in sort order) it names. */
+function parseObjects(out) {
+    const objects = new Map();
+    for (const line of decode(out).split("\n")) {
+        const match = OBJECT_LINE.exec(line);
+        if (match === null)
+            continue;
+        const oid = match[1];
+        const path = match[2];
+        const known = objects.get(oid);
+        if (!objects.has(oid) || (path !== undefined && (known === undefined || path < known))) {
+            objects.set(oid, path);
+        }
+    }
+    return objects;
+}
+async function findLargeBlobs(cwd, base, candidate, max) {
+    const added = parseObjects(await runGit(cwd, ["rev-list", "--objects", candidate, `^${base}`, "--"]));
+    // Reachability from the base is by history, not by the base's tip alone.
+    const held = parseObjects(await runGit(cwd, ["rev-list", "--objects", base, "--"]));
+    const fresh = [...added.keys()].filter((oid) => !held.has(oid));
+    if (fresh.length === 0)
+        return { findings: [], added: 0 };
+    const sizes = decode(await runGit(cwd, ["cat-file", "--batch-check=%(objectname) %(objecttype) %(objectsize)"], `${fresh.join("\n")}\n`));
+    const large = new Map();
+    let addedBlobs = 0;
+    for (const line of sizes.split("\n")) {
+        if (line.length === 0)
+            continue;
+        const parts = line.split(" ");
+        if (parts.length !== 3 || parts[1] === "missing") {
+            throw new Error(`git cat-file could not measure an object: ${quote(line)}`);
+        }
+        if (parts[1] === "blob")
+            addedBlobs += 1;
+        if (parts[1] === "blob" && Number(parts[2]) > max) {
+            large.set(parts[0], Number(parts[2]));
+        }
+    }
+    if (large.size === 0)
+        return { findings: [], added: addedBlobs };
+    const tree = decode(await runGit(cwd, ["ls-tree", "-r", "--format=%(objectname)", candidate, "--"]));
+    const inTree = new Set(tree.split("\n").filter((line) => line.length > 0));
+    const findings = [];
+    for (const [oid, size] of large) {
+        findings.push({ path: added.get(oid) ?? oid, size, inTree: inTree.has(oid) });
+    }
+    findings.sort((a, b) => (a.path < b.path ? -1 : a.path > b.path ? 1 : 0));
+    return { findings, added: addedBlobs };
+}
+function failure(cause) {
+    return { name: NAME, status: "fail", evidence: [cause] };
+}
+/** Measure every blob the range adds to the history against the size limit. */
+export async function checkLargeBlobs(options) {
+    try {
+        const max = options.maxBytes ?? DEFAULT_MAX_BLOB_BYTES;
+        if (typeof max !== "number" || !Number.isSafeInteger(max) || max <= 0) {
+            return failure(`maxBytes ${quote(String(max))} is not a positive integer`);
+        }
+        const base = await resolveCommit(options.cwd, options.base);
+        const candidate = await resolveCommit(options.cwd, options.candidate);
+        const { findings, added } = await findLargeBlobs(options.cwd, base, candidate, max);
+        if (findings.length === 0) {
+            return {
+                name: NAME,
+                status: "pass",
+                evidence: [
+                    `${added} blob(s) added in ${quote(options.base)}..${quote(options.candidate)}, none over ${max} bytes`,
+                ],
+            };
+        }
+        return {
+            name: NAME,
+            status: "fail",
+            evidence: findings.map((f) => `${quote(f.path)} is ${f.size} bytes, over the limit of ${max} bytes${f.inTree ? "" : " (only in history)"}`),
+        };
+    }
+    catch (error) {
+        return failure(`large-blobs check could not run: ${error.message}`);
+    }
+}
+//# sourceMappingURL=large-blobs.js.map

package/dist/large-blobs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"large-blobs.js","sourceRoot":"","sources":["../src/large-blobs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAI9C,MAAM,IAAI,GAAG,OAAO,CAAC;AAErB,yDAAyD;AACzD,MAAM,CAAC,MAAM,sBAAsB,GAAG,OAAO,CAAC;AAc9C,SAAS,MAAM,CAAC,GAAW,EAAE,IAAuB,EAAE,KAAc;IAClE,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,MAAM,KAAK,GAAG,QAAQ,CACpB,KAAK,EACL,IAAgB,EAChB,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAC1D,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;YACxB,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC9C,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;gBAC9D,OAAO;YACT,CAAC;YACD,OAAO,CAAC,MAAM,CAAC,CAAC;QAClB,CAAC,CACF,CAAC;QACF,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC1C,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,yGAAyG;AACzG,SAAS,aAAa,CAAC,IAAY;IACjC,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,SAAS,GAAG,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,IAAI,SAAS,GAAG,IAAI,CAAC,EAAE,CAAC;YAChE,OAAO,IAAI,OAAO,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;QAC/D,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,KAAK,CAAC,IAAY;IACzB,OAAO,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC;AACpC,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,IAAI,CAAC;QACH,OAAO,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,GAAW,EAAE,QAAgB;IACxD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,QAAQ,WAAW,CAAC,CAAC,CAAC;QAC5F,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC,QAAQ,CAAC,qBAAsB,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,WAAW,GAAG,yCAAyC,CAAC;AAE9D,6FAA6F;AAC7F,SAAS,YAAY,CAAC,GAAW;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAC;IACtD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAW,CAAC;QAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;YACvF,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAQD,KAAK,UAAU,cAAc,CAC3B,GAAW,EACX,IAAY,EACZ,SAAiB,EACjB,GAAW;IAEX,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACtG,yEAAyE;IACzE,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACpF,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAE1D,MAAM,KAAK,GAAG,MAAM,CAClB,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,EAAE,yDAAyD,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CACpH,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YACjD,MAAM,IAAI,KAAK,CAAC,6CAA6C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9E,CAAC;QACD,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM;YAAE,UAAU,IAAI,CAAC,CAAC;QACzC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC;YAClD,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IAEjE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,wBAAwB,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACrG,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAE3E,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,OAAO,CAAC,KAAa;IAC5B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,OAA0B;IAC9D,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,IAAI,sBAAsB,CAAC;QACvD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;YACtE,OAAO,OAAO,CAAC,YAAY,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,4BAA4B,CAAC,CAAC;QAC7E,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QACtE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QACpF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,MAAM,EAAE,MAAM;gBACd,QAAQ,EAAE;oBACR,GAAG,KAAK,qBAAqB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe,GAAG,QAAQ;iBACxG;aACF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,QAAQ,CAAC,GAAG,CACpB,CAAC,CAAC,EAAE,EAAE,CACJ,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,6BAA6B,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,oBAAoB,EAAE,CAC/G;SACF,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,OAAO,CAAC,oCAAqC,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;IACjF,CAAC;AACH,CAAC"}

package/dist/lockfile-drift.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Lockfile drift.
+ *
+ * The manifest (the root `package.json`) and the lockfile are two statements of
+ * one install. A range that changes a dependency field of the manifest without
+ * the lockfile leaves a pin that no longer matches what was asked for (a stale
+ * pin); a range that changes the lockfile without a dependency field of the
+ * manifest moves a version with no request behind it (an unrequested change).
+ * The two are reported in different words because the fix and the alarm differ.
+ *
+ * Lockfiles are never parsed: they are compared by git object id at the two
+ * revisions. Only the manifest is parsed, and only to compare its dependency
+ * fields, so a script or description edit is not drift. A repository with no
+ * manifest or no recognised lockfile gets a `skip` naming what was looked for.
+ */
+import type { CheckRecord } from "./index.js";
+/** Where to look, and which two revisions bound the range. */
+export interface LockfileDriftOptions {
+    /** The git repository to run in. */
+    readonly cwd: string;
+    /** The revision the range starts after. */
+    readonly base: string;
+    /** The revision the range ends at. */
+    readonly candidate: string;
+}
+/** The manifest fields that say what to install. */
+export declare const DEPENDENCY_FIELDS: string[];
+/** The lockfiles recognised at the repository root. */
+export declare const LOCKFILES: string[];
+/**
+ * Compare the manifest's dependency fields and the root lockfiles between the
+ * merge base of `base` and `candidate` and `candidate`. Fails closed: a
+ * revision that names no commit, or any git invocation that fails, is a `fail`
+ * record naming the cause - never a `pass`, and never a thrown error.
+ */
+export declare function checkLockfileDrift(options: LockfileDriftOptions): Promise<CheckRecord>;