@trofimyukdev/repo-truth 0.0.0-stage → 0.1.0

package/dist/conflict-markers.js

@@ -0,0 +1,234 @@
+/**
+ * Conflict markers.
+ *
+ * A merge, a rebase or a cherry-pick that stops on a conflict writes marker
+ * lines into the file, and whoever resolves it by editing around them can
+ * commit them. A compiler catches that in some files and not in others: a
+ * Markdown page, a YAML fixture or a JSON snapshot carries the markers
+ * silently. This check reads the lines `git diff base...candidate` shows as
+ * ADDED and reports every conflict marker among them with its file and line.
+ *
+ * Only added lines count. A marker the base already holds is not the range's
+ * doing, and a line the range removes is never read as one it adds, so the
+ * commit that deletes a leftover marker is not itself reported. The lines come
+ * from git's diff of the two commits, never from the working tree.
+ *
+ * A marker is a line that begins with exactly seven of one marker character
+ * followed by whitespace or the end of the line. `<` opens a conflict, `|`
+ * opens the common ancestor's part and `>` closes it; those three are always
+ * findings. `=` separates the two sides, and a line of seven equals signs is
+ * also what underlines a Markdown heading, so a separator is a finding only
+ * between an opening marker and the next closing marker among the added lines
+ * of the same file.
+ */
+import { execFile } from "node:child_process";
+const NAME = "RT-09";
+/** Seven of one marker character, then ASCII whitespace or the end of the line. */
+const MARKER = /^(?:(<{7})|(\|{7})|(={7})|(>{7}))(?:[ \t\r\f\v]|$)/;
+function markerKind(line) {
+    const match = MARKER.exec(line);
+    if (match === null) {
+        return undefined;
+    }
+    if (match[1] !== undefined)
+        return "opening";
+    if (match[2] !== undefined)
+        return "base";
+    if (match[3] !== undefined)
+        return "separator";
+    return "closing";
+}
+function runGit(cwd, args) {
+    return new Promise((resolve, reject) => {
+        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);
+        });
+    });
+}
+/** 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 decodePath(bytes) {
+    try {
+        return new TextDecoder("utf-8", { fatal: true }).decode(bytes);
+    }
+    catch {
+        return bytes.toString("latin1");
+    }
+}
+function splitNul(out) {
+    const paths = [];
+    let start = 0;
+    for (let i = 0; i < out.length; i += 1) {
+        if (out[i] === 0) {
+            if (i > start) {
+                paths.push(decodePath(out.subarray(start, i)));
+            }
+            start = i + 1;
+        }
+    }
+    return paths;
+}
+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;
+}
+/** The lines added to each file, in the order git lists the files. */
+async function addedLines(cwd, base, candidate) {
+    const common = [
+        "-c",
+        "core.quotePath=false",
+        "diff",
+        "--no-ext-diff",
+        "--no-textconv",
+        "--no-color",
+        "--no-renames",
+        "--ignore-submodules=none",
+        "--submodule=short",
+        "--text",
+    ];
+    const range = `${base}...${candidate}`;
+    let names;
+    let patch;
+    try {
+        names = splitNul(await runGit(cwd, [...common, "--name-only", "-z", range, "--"]));
+        patch = await runGit(cwd, [...common, "-U0", range, "--"]);
+    }
+    catch (error) {
+        throw new Error(`could not read the lines added by ${quote(`${base}...${candidate}`)}: ${error.message}`);
+    }
+    const files = [];
+    let current;
+    let oldLeft = 0;
+    let newLeft = 0;
+    let newLine = 0;
+    let lastHeader = "";
+    // Both listings come from the same diff, so the Nth `diff --git` section is the Nth name.
+    for (const raw of patch.toString("latin1").split("\n")) {
+        if (oldLeft > 0 || newLeft > 0) {
+            if (raw.startsWith("+") && newLeft > 0) {
+                current?.push({ line: newLine, text: raw.slice(1) });
+                newLine += 1;
+                newLeft -= 1;
+            }
+            else if (raw.startsWith("-") && oldLeft > 0) {
+                oldLeft -= 1;
+            }
+            continue;
+        }
+        if (raw.startsWith("diff --git ")) {
+            // A path whose type changes is two sections under one identical header: one path.
+            if (raw !== lastHeader) {
+                current = [];
+                files.push({ path: names[files.length] ?? "", lines: current });
+            }
+            lastHeader = raw;
+            continue;
+        }
+        const hunk = /^@@ -\d+(?:,(\d+))? \+(\d+)(?:,(\d+))? @@/.exec(raw);
+        if (hunk !== null) {
+            oldLeft = hunk[1] === undefined ? 1 : Number(hunk[1]);
+            newLeft = hunk[3] === undefined ? 1 : Number(hunk[3]);
+            newLine = Number(hunk[2]);
+        }
+    }
+    if (files.length !== names.length) {
+        throw new Error(`git listed ${names.length} changed path(s) but ${files.length} in its patch`);
+    }
+    return files;
+}
+/** The findings among one file's added lines, as evidence lines. */
+function findingsIn(path, lines) {
+    const evidence = [];
+    const label = escapeControl(path);
+    let open = false;
+    let pending = [];
+    for (const { line, text } of lines) {
+        const kind = markerKind(text);
+        if (kind === undefined) {
+            continue;
+        }
+        const entry = `${label}:${line}: ${kind} marker`;
+        if (kind === "separator") {
+            if (open) {
+                pending.push(entry);
+            }
+            continue;
+        }
+        if (kind === "closing") {
+            evidence.push(...pending);
+            open = false;
+            pending = [];
+        }
+        else if (kind === "opening") {
+            open = true;
+        }
+        evidence.push(entry);
+    }
+    return evidence;
+}
+/**
+ * Check the lines `base...candidate` adds for leftover conflict markers.
+ * 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 async function checkConflictMarkers(options) {
+    try {
+        const { cwd, base, candidate } = options;
+        const baseCommit = await resolveCommit(cwd, base);
+        const candidateCommit = await resolveCommit(cwd, candidate);
+        const files = await addedLines(cwd, baseCommit, candidateCommit);
+        const evidence = [];
+        let scanned = 0;
+        for (const { path, lines } of files) {
+            scanned += lines.length;
+            evidence.push(...findingsIn(path, lines));
+        }
+        if (evidence.length > 0) {
+            return { name: NAME, status: "fail", evidence };
+        }
+        return {
+            name: NAME,
+            status: "pass",
+            evidence: [`${scanned} added line(s) in ${quote(base)}...${quote(candidate)} hold no conflict marker`],
+        };
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        return { name: NAME, status: "fail", evidence: [escapeControl(message)] };
+    }
+}
+//# sourceMappingURL=conflict-markers.js.map

package/dist/conflict-markers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conflict-markers.js","sourceRoot":"","sources":["../src/conflict-markers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAI9C,MAAM,IAAI,GAAG,OAAO,CAAC;AAcrB,mFAAmF;AACnF,MAAM,MAAM,GAAG,oDAAoD,CAAC;AAEpE,SAAS,UAAU,CAAC,IAAY;IAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAC1C,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IAC/C,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,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,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;IACJ,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,UAAU,CAAC,KAAa;IAC/B,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,SAAS,QAAQ,CAAC,GAAW;IAC3B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACjB,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,CAAC;YACD,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,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;AAQD,sEAAsE;AACtE,KAAK,UAAU,UAAU,CACvB,GAAW,EACX,IAAY,EACZ,SAAiB;IAEjB,MAAM,MAAM,GAAG;QACb,IAAI;QACJ,sBAAsB;QACtB,MAAM;QACN,eAAe;QACf,eAAe;QACf,YAAY;QACZ,cAAc;QACd,0BAA0B;QAC1B,mBAAmB;QACnB,QAAQ;KACT,CAAC;IACF,MAAM,KAAK,GAAG,GAAG,IAAI,MAAM,SAAS,EAAE,CAAC;IACvC,IAAI,KAAe,CAAC;IACpB,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,QAAQ,CAAC,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QACnF,KAAK,GAAG,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,qCAAqC,KAAK,CAAC,GAAG,IAAI,MAAM,SAAS,EAAE,CAAC,KAAM,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;IACvH,CAAC;IAED,MAAM,KAAK,GAAgD,EAAE,CAAC;IAC9D,IAAI,OAAgC,CAAC;IACrC,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,UAAU,GAAG,EAAE,CAAC;IAEpB,0FAA0F;IAC1F,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,OAAO,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;YAC/B,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;gBACvC,OAAO,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrD,OAAO,IAAI,CAAC,CAAC;gBACb,OAAO,IAAI,CAAC,CAAC;YACf,CAAC;iBAAM,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;gBAC9C,OAAO,IAAI,CAAC,CAAC;YACf,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;YAClC,kFAAkF;YAClF,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;gBACvB,OAAO,GAAG,EAAE,CAAC;gBACb,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;YAClE,CAAC;YACD,UAAU,GAAG,GAAG,CAAC;YACjB,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,2CAA2C,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnE,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,CAAC,MAAM,wBAAwB,KAAK,CAAC,MAAM,eAAe,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,oEAAoE;AACpE,SAAS,UAAU,CAAC,IAAY,EAAE,KAA2B;IAC3D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,OAAO,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,KAAK,IAAI,IAAI,KAAK,IAAI,SAAS,CAAC;QACjD,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YACzB,IAAI,IAAI,EAAE,CAAC;gBACT,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;YAC1B,IAAI,GAAG,KAAK,CAAC;YACb,OAAO,GAAG,EAAE,CAAC;QACf,CAAC;aAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,IAAI,GAAG,IAAI,CAAC;QACd,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,OAA+B;IACxE,IAAI,CAAC;QACH,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC;QACzC,MAAM,UAAU,GAAG,MAAM,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAClD,MAAM,eAAe,GAAG,MAAM,aAAa,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,GAAG,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAEjE,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,EAAE,CAAC;YACpC,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QAC5C,CAAC;QAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QAClD,CAAC;QACD,OAAO;YACL,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,CAAC,GAAG,OAAO,qBAAqB,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,SAAS,CAAC,0BAA0B,CAAC;SACvG,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;IAC5E,CAAC;AACH,CAAC"}

package/dist/dependency-sources.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Dependency sources.
+ *
+ * A dependency names where it comes from as well as which version. This check
+ * reads what the range adds or changes in the root manifest's dependency
+ * fields, `overrides` and `resolutions`, and the resolved URLs on the lines the
+ * range adds to the root lockfiles, and reports each dependency that does not
+ * come from a registry, with the rule it breaks: [git], [url], [path], [alias]
+ * or [registry]. A specifier the base already held is never judged. Lockfiles
+ * are read as the range adds their lines and never parsed whole.
+ */
+import type { CheckRecord } from "./index.js";
+/** The hosts a lockfile may resolve from when the caller gives none. */
+export declare const DEFAULT_REGISTRIES: string[];
+/** Where to look, and which two revisions bound the range. */
+export interface DependencySourcesOptions {
+    /** 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 hosts a lockfile may resolve from; replaces `DEFAULT_REGISTRIES`. */
+    readonly registries?: readonly string[];
+}
+/**
+ * Report each dependency the range adds or changes that does not come from a
+ * registry. Fails closed: a manifest that does not parse, 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 checkDependencySources(options: DependencySourcesOptions): Promise<CheckRecord>;

package/dist/dependency-sources.js

@@ -0,0 +1,260 @@
+/**
+ * Dependency sources.
+ *
+ * A dependency names where it comes from as well as which version. This check
+ * reads what the range adds or changes in the root manifest's dependency
+ * fields, `overrides` and `resolutions`, and the resolved URLs on the lines the
+ * range adds to the root lockfiles, and reports each dependency that does not
+ * come from a registry, with the rule it breaks: [git], [url], [path], [alias]
+ * or [registry]. A specifier the base already held is never judged. Lockfiles
+ * are read as the range adds their lines and never parsed whole.
+ */
+import { execFile } from "node:child_process";
+import { DEPENDENCY_FIELDS } from "./lockfile-drift.js";
+const NAME = "RT-18";
+const MANIFEST = "package.json";
+/** The hosts a lockfile may resolve from when the caller gives none. */
+export const DEFAULT_REGISTRIES = ["registry.npmjs.org", "registry.yarnpkg.com"];
+const JSON_LOCKFILES = ["package-lock.json", "npm-shrinkwrap.json"];
+const YARN_LOCKFILE = "yarn.lock";
+function runGit(cwd, args) {
+    return new Promise((resolve, reject) => {
+        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);
+        });
+    });
+}
+/** Escape everything outside printable ASCII so a name cannot replay a control sequence. */
+function escapeText(text) {
+    let escaped = "";
+    for (const char of text) {
+        const codePoint = char.codePointAt(0) ?? 0;
+        if (codePoint >= 0x20 && codePoint <= 0x7e) {
+            escaped += char;
+        }
+        else {
+            escaped += `\\u{${codePoint.toString(16).padStart(4, "0")}}`;
+        }
+    }
+    return escaped;
+}
+function quote(text) {
+    return `"${escapeText(text)}"`;
+}
+async function resolveCommit(cwd, revision) {
+    if (revision.length === 0 || revision.startsWith("-")) {
+        throw new Error(`revision ${quote(revision)} names no commit`);
+    }
+    try {
+        const out = await runGit(cwd, ["rev-parse", "--verify", "--quiet", `${revision}^{commit}`]);
+        const hash = out.toString("utf8").trim();
+        if (hash.length === 0) {
+            throw new Error("empty answer");
+        }
+        return hash;
+    }
+    catch (error) {
+        throw new Error(`revision ${quote(revision)} names no commit: ${error.message}`);
+    }
+}
+/** The text of a root file at a commit, or undefined when the commit has no such file. */
+async function readFileAt(root, commit, path) {
+    const out = (await runGit(root, ["ls-tree", "-z", commit, "--", path])).toString("utf8");
+    const entry = out.split("\0")[0] ?? "";
+    const match = /^(\d+) (\w+) ([0-9a-f]+)\t(.*)$/s.exec(entry);
+    if (match === null || match[4] !== path || match[2] !== "blob") {
+        return undefined;
+    }
+    return (await runGit(root, ["cat-file", "blob", match[3]])).toString("utf8");
+}
+function isMapping(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value);
+}
+function walk(node, field, chain, out) {
+    for (const key of Object.keys(node)) {
+        const value = node[key];
+        if (typeof value === "string") {
+            out.push({ field, chain: key === "." ? chain : [...chain, key], specifier: value });
+        }
+        else if (isMapping(value)) {
+            walk(value, field, [...chain, key], out);
+        }
+    }
+}
+function declaredIn(text, label) {
+    let parsed;
+    try {
+        parsed = JSON.parse(text);
+    }
+    catch (error) {
+        throw new Error(`${MANIFEST} at ${label} is not valid JSON: ${error.message}`);
+    }
+    if (!isMapping(parsed)) {
+        throw new Error(`${MANIFEST} at ${label} is not a JSON object`);
+    }
+    const out = [];
+    for (const field of DEPENDENCY_FIELDS) {
+        const value = Object.prototype.hasOwnProperty.call(parsed, field) ? parsed[field] : undefined;
+        if (isMapping(value)) {
+            for (const key of Object.keys(value)) {
+                const specifier = value[key];
+                if (typeof specifier === "string") {
+                    out.push({ field, chain: [key], specifier });
+                }
+            }
+        }
+    }
+    for (const field of ["overrides", "resolutions"]) {
+        const value = Object.prototype.hasOwnProperty.call(parsed, field) ? parsed[field] : undefined;
+        if (isMapping(value)) {
+            walk(value, field, [], out);
+        }
+    }
+    return out;
+}
+/** The package a dependency key stands for: a path of packages, optionally scoped, optionally with a version. */
+function packageName(key) {
+    let name = key;
+    const at = name.lastIndexOf("@");
+    if (at > 0) {
+        name = name.slice(0, at);
+    }
+    const match = /(@[^/]+\/[^/]+|[^/]+)$/.exec(name);
+    return match === null ? name : match[1];
+}
+const PATH_FORM = /^(file:|link:|portal:|\.\/|\.\.\/|\/|~\/)/;
+const GIT_PREFIX = /^(git\+|git:|github:|gitlab:|bitbucket:|gist:)/;
+const GIT_SHORTHAND = /^[A-Za-z0-9_.-]+\/[A-Za-z0-9_.-]+(#.*)?$/;
+/** The rule a specifier breaks, or undefined when it is an ordinary one. */
+function classify(name, specifier) {
+    const spec = specifier.trim();
+    if (PATH_FORM.test(spec))
+        return "path";
+    if (GIT_PREFIX.test(spec) || GIT_SHORTHAND.test(spec))
+        return "git";
+    if (/^https?:/.test(spec))
+        return "url";
+    if (spec.startsWith("npm:")) {
+        const rest = spec.slice(4);
+        const at = rest.lastIndexOf("@");
+        const target = at > 0 ? rest.slice(0, at) : rest;
+        return target === name ? undefined : "alias";
+    }
+    return undefined;
+}
+function hostOf(url) {
+    try {
+        const host = new URL(url).hostname.toLowerCase();
+        return host.length > 0 ? host : undefined;
+    }
+    catch {
+        return undefined;
+    }
+}
+/** The lines a range adds to a root file, as [line in candidate, text]. */
+async function addedLines(root, ancestor, candidate, path) {
+    const out = (await runGit(root, [
+        "-c",
+        "core.quotepath=off",
+        "diff",
+        "--no-ext-diff",
+        "--no-color",
+        "--no-renames",
+        "--unified=0",
+        ancestor,
+        candidate,
+        "--",
+        `:(literal)${path}`,
+    ])).toString("utf8");
+    const added = [];
+    let line = 0;
+    let inHunk = false;
+    for (const text of out.split("\n")) {
+        const header = /^@@ -\d+(?:,\d+)? \+(\d+)(?:,\d+)? @@/.exec(text);
+        if (header !== null) {
+            line = Number(header[1]);
+            inHunk = true;
+        }
+        else if (inHunk && text.startsWith("+")) {
+            added.push([line, text.slice(1).replace(/\r$/, "")]);
+            line += 1;
+        }
+    }
+    return added;
+}
+/**
+ * Report each dependency the range adds or changes that does not come from a
+ * registry. Fails closed: a manifest that does not parse, 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 async function checkDependencySources(options) {
+    try {
+        const { cwd, base, candidate } = options;
+        const registries = (options.registries ?? DEFAULT_REGISTRIES).map((host) => host.toLowerCase());
+        const baseCommit = await resolveCommit(cwd, base);
+        const candidateCommit = await resolveCommit(cwd, candidate);
+        const root = (await runGit(cwd, ["rev-parse", "--show-toplevel"])).toString("utf8").replace(/\r?\n$/, "");
+        let ancestor;
+        try {
+            ancestor = (await runGit(root, ["merge-base", baseCommit, candidateCommit])).toString("utf8").trim();
+        }
+        catch (error) {
+            throw new Error(`no merge base of ${quote(base)} and ${quote(candidate)}: ${error.message}`);
+        }
+        if (ancestor.length === 0) {
+            throw new Error(`no merge base of ${quote(base)} and ${quote(candidate)}`);
+        }
+        const before = await readFileAt(root, ancestor, MANIFEST);
+        const after = await readFileAt(root, candidateCommit, MANIFEST);
+        const declaredBefore = before === undefined ? [] : declaredIn(before, quote(base));
+        const declaredAfter = after === undefined ? [] : declaredIn(after, quote(candidate));
+        const findings = [];
+        const held = new Set(declaredBefore.map((d) => JSON.stringify([d.field, d.chain, d.specifier])));
+        for (const dep of declaredAfter) {
+            if (held.has(JSON.stringify([dep.field, dep.chain, dep.specifier])))
+                continue;
+            const rule = classify(packageName(dep.chain[dep.chain.length - 1] ?? ""), dep.specifier);
+            if (rule !== undefined) {
+                findings.push(`${MANIFEST} ${dep.field} ${quote(dep.chain.join(" > "))} ${quote(dep.specifier)} [${rule}]`);
+            }
+        }
+        let lockLines = 0;
+        for (const file of [...JSON_LOCKFILES, YARN_LOCKFILE]) {
+            const lines = await addedLines(root, ancestor, candidateCommit, file);
+            lockLines += lines.length;
+            for (const [number, text] of lines) {
+                const match = file === YARN_LOCKFILE
+                    ? /^\s*"?resolved"?[\s:]+"?([^"\s]+)"?/.exec(text)
+                    : /"resolved"\s*:\s*"([^"]*)"/.exec(text);
+                if (match === null)
+                    continue;
+                const host = hostOf(match[1]);
+                if (host === undefined || !registries.includes(host)) {
+                    findings.push(`${file} line ${number} host ${quote(host ?? `unparseable ${match[1]}`)} [registry]`);
+                }
+            }
+        }
+        if (before === undefined && after === undefined && lockLines === 0) {
+            return {
+                name: NAME,
+                status: "skip",
+                evidence: [`no ${MANIFEST} found in ${quote(base)}..${quote(candidate)} and no lockfile line added`],
+            };
+        }
+        if (findings.length > 0) {
+            return { name: NAME, status: "fail", evidence: findings };
+        }
+        return { name: NAME, status: "pass", evidence: ["no dependency from outside the registry"] };
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        return { name: NAME, status: "fail", evidence: [escapeText(message)] };
+    }
+}
+//# sourceMappingURL=dependency-sources.js.map

package/dist/dependency-sources.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dependency-sources.js","sourceRoot":"","sources":["../src/dependency-sources.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAG9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,IAAI,GAAG,OAAO,CAAC;AACrB,MAAM,QAAQ,GAAG,cAAc,CAAC;AAEhC,wEAAwE;AACxE,MAAM,CAAC,MAAM,kBAAkB,GAAa,CAAC,oBAAoB,EAAE,sBAAsB,CAAC,CAAC;AAc3F,MAAM,cAAc,GAAG,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC;AACpE,MAAM,aAAa,GAAG,WAAW,CAAC;AAElC,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,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;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,4FAA4F;AAC5F,SAAS,UAAU,CAAC,IAAY;IAC9B,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,IAAI,IAAI,IAAI,SAAS,IAAI,IAAI,EAAE,CAAC;YAC3C,OAAO,IAAI,IAAI,CAAC;QAClB,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,OAAO,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,KAAK,CAAC,IAAY;IACzB,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC;AACjC,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,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,QAAQ,WAAW,CAAC,CAAC,CAAC;QAC5F,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QACzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,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;AACH,CAAC;AAED,0FAA0F;AAC1F,KAAK,UAAU,UAAU,CAAC,IAAY,EAAE,MAAc,EAAE,IAAY;IAClE,MAAM,GAAG,GAAG,CAAC,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvC,MAAM,KAAK,GAAG,kCAAkC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7D,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;QAC/D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,CAAC,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACzF,CAAC;AASD,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,IAAI,CAAC,IAA6B,EAAE,KAAa,EAAE,KAAe,EAAE,GAAe;IAC1F,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QACtF,CAAC;aAAM,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,KAAa;IAC7C,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,OAAO,KAAK,uBAAwB,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,OAAO,KAAK,uBAAuB,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,iBAAiB,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9F,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC7B,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;oBAClC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;gBAC/C,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9F,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iHAAiH;AACjH,SAAS,WAAW,CAAC,GAAW;IAC9B,IAAI,IAAI,GAAG,GAAG,CAAC;IACf,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACX,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3B,CAAC;IACD,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,KAAK,CAAC,CAAC,CAAY,CAAC;AACtD,CAAC;AAED,MAAM,SAAS,GAAG,2CAA2C,CAAC;AAC9D,MAAM,UAAU,GAAG,gDAAgD,CAAC;AACpE,MAAM,aAAa,GAAG,0CAA0C,CAAC;AAEjE,4EAA4E;AAC5E,SAAS,QAAQ,CAAC,IAAY,EAAE,SAAiB;IAC/C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC;IAC9B,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC;IACxC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpE,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACjD,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;IAC/C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,MAAM,CAAC,GAAW;IACzB,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QACjD,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,KAAK,UAAU,UAAU,CAAC,IAAY,EAAE,QAAgB,EAAE,SAAiB,EAAE,IAAY;IACvF,MAAM,GAAG,GAAG,CACV,MAAM,MAAM,CAAC,IAAI,EAAE;QACjB,IAAI;QACJ,oBAAoB;QACpB,MAAM;QACN,eAAe;QACf,YAAY;QACZ,cAAc;QACd,aAAa;QACb,QAAQ;QACR,SAAS;QACT,IAAI;QACJ,aAAa,IAAI,EAAE;KACpB,CAAC,CACH,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnB,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,uCAAuC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YACzB,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;aAAM,IAAI,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YACrD,IAAI,IAAI,CAAC,CAAC;QACZ,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,OAAiC;IAC5E,IAAI,CAAC;QACH,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC;QACzC,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAChG,MAAM,UAAU,GAAG,MAAM,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAClD,MAAM,eAAe,GAAG,MAAM,aAAa,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,CAAC,MAAM,MAAM,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC1G,IAAI,QAAgB,CAAC;QACrB,IAAI,CAAC;YACH,QAAQ,GAAG,CAAC,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QACvG,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,oBAAoB,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,SAAS,CAAC,KAAM,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1G,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,oBAAoB,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC7E,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;QAChE,MAAM,cAAc,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACnF,MAAM,aAAa,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QAErF,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACjG,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC9E,MAAM,IAAI,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;YACzF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,IAAI,GAAG,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC;YAC9G,CAAC;QACH,CAAC;QAED,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,cAAc,EAAE,aAAa,CAAC,EAAE,CAAC;YACtD,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;YACtE,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC;YAC1B,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;gBACnC,MAAM,KAAK,GACT,IAAI,KAAK,aAAa;oBACpB,CAAC,CAAC,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC;oBAClD,CAAC,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC9C,IAAI,KAAK,KAAK,IAAI;oBAAE,SAAS;gBAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAW,CAAC,CAAC;gBACxC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrD,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,SAAS,MAAM,SAAS,KAAK,CAAC,IAAI,IAAI,eAAe,KAAK,CAAC,CAAC,CAAW,EAAE,CAAC,aAAa,CAAC,CAAC;gBAChH,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;YACnE,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,MAAM,EAAE,MAAM;gBACd,QAAQ,EAAE,CAAC,MAAM,QAAQ,aAAa,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,SAAS,CAAC,6BAA6B,CAAC;aACrG,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;QAC5D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,yCAAyC,CAAC,EAAE,CAAC;IAC/F,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;IACzE,CAAC;AACH,CAAC"}

package/dist/figure-claims.d.ts

@@ -0,0 +1,35 @@
+/**
+ * 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.
+ */
+/** One figure claim of the range. */
+export interface FigureClaim {
+    /** `<path>:<line>` for a page, the full commit id for a commit body. */
+    readonly where: string;
+    /** The text of the command's code span. */
+    readonly command: string;
+    /** The text of the claimed output's code span. */
+    readonly claimed: string;
+}
+export interface FigureClaimsOptions {
+    readonly cwd: string;
+    /** The revision the range starts after. */
+    readonly base: string;
+    /** The revision the range ends at. */
+    readonly candidate: string;
+}
+export type FigureClaimsResult = {
+    claims: FigureClaim[];
+} | {
+    failure: string;
+};
+/** Every figure claim the range adds, or a failure naming why they could not be read. */
+export declare function readFigureClaims(options: FigureClaimsOptions): Promise<FigureClaimsResult>;