@clemrig/factory 0.5.0 → 0.6.0

package/dist/domain/review.d.ts

@@ -11,6 +11,37 @@ export declare const implementationOutput: z.ZodObject<{
 }, z.core.$strict>;
 export type Implementation = z.output<typeof implementationOutput>;
 export declare function implementationProblem(implementation: Implementation, criteria: Criterion[]): string | undefined;
+/**
+ * What a finding is. Its severity follows from it in code, never from the
+ * reviewer's own judgment: the first six block the change, the others do not.
+ */
+export declare const findingNatures: readonly ["incorrect_behavior", "data_loss", "outage", "security", "regression", "spec_violation", "weak_test", "maintainability", "documentation"];
+export type FindingNature = (typeof findingNatures)[number];
+/** Whether a finding of this nature blocks the change. */
+export declare function isBlocking(nature: FindingNature): boolean;
+/** A nature as people read it: `incorrect_behavior` is "incorrect behavior". */
+export declare function natureLabel(nature: FindingNature): string;
+/** Above this many lines of diff, a change is large: its reviewer reads the diff from a file and may split the review. */
+export declare const largeChangeLines = 1500;
+/** A changed file and its added and removed lines; none for a binary file. */
+export interface ChangedFile {
+    path: string;
+    /** Its former path, when the diff sees it renamed. */
+    from?: string;
+    added?: number;
+    removed?: number;
+}
+/** The change as its reviewer receives it: the whole diff when it is small, where to read it when it is large. */
+export type Changes = {
+    files: ChangedFile[];
+    lines: number;
+} & ({
+    large: false;
+    diff: string;
+} | {
+    large: true;
+    diffFile: string;
+});
 /** The reviewer's response: its approval follows from these facts alone. */
 export declare const reviewOutput: z.ZodObject<{
     criteria: z.ZodArray<z.ZodObject<{
@@ -22,9 +53,16 @@ export declare const reviewOutput: z.ZodObject<{
         evidence: z.ZodString;
     }, z.core.$strict>>;
     findings: z.ZodArray<z.ZodObject<{
-        severity: z.ZodEnum<{
-            blocking: "blocking";
-            minor: "minor";
+        nature: z.ZodEnum<{
+            data_loss: "data_loss";
+            documentation: "documentation";
+            incorrect_behavior: "incorrect_behavior";
+            maintainability: "maintainability";
+            outage: "outage";
+            regression: "regression";
+            security: "security";
+            spec_violation: "spec_violation";
+            weak_test: "weak_test";
         }>;
         file: z.ZodOptional<z.ZodString>;
         summary: z.ZodString;

package/dist/domain/review.js

@@ -11,6 +11,39 @@ export const implementationOutput = z.strictObject({
 export function implementationProblem(implementation, criteria) {
     return citationProblem(implementation.criteria.map(({ id }) => id), criteria, true);
 }
+/**
+ * What a finding is. Its severity follows from it in code, never from the
+ * reviewer's own judgment: the first six block the change, the others do not.
+ */
+export const findingNatures = [
+    "incorrect_behavior",
+    "data_loss",
+    "outage",
+    "security",
+    "regression",
+    "spec_violation",
+    "weak_test",
+    "maintainability",
+    "documentation",
+];
+const blockingNatures = new Set([
+    "incorrect_behavior",
+    "data_loss",
+    "outage",
+    "security",
+    "regression",
+    "spec_violation",
+]);
+/** Whether a finding of this nature blocks the change. */
+export function isBlocking(nature) {
+    return blockingNatures.has(nature);
+}
+/** A nature as people read it: `incorrect_behavior` is "incorrect behavior". */
+export function natureLabel(nature) {
+    return nature.replaceAll("_", " ");
+}
+/** Above this many lines of diff, a change is large: its reviewer reads the diff from a file and may split the review. */
+export const largeChangeLines = 1500;
 /** The reviewer's response: its approval follows from these facts alone. */
 export const reviewOutput = z.strictObject({
     criteria: z.array(z.strictObject({
@@ -19,9 +52,9 @@ export const reviewOutput = z.strictObject({
         evidence: text,
     })),
     findings: z.array(z.strictObject({
-        /** Blocking: an unmet criterion, a defect or a regression; minor: an improvement not required. */
-        severity: z.enum(["blocking", "minor"]),
+        nature: z.enum(findingNatures),
         file: text.optional(),
+        /** The trigger, then its consequence. */
         summary: text,
     })),
 });
@@ -35,8 +68,8 @@ export function reviewChanges(review) {
             .filter(({ status }) => status === "not_met")
             .map(({ id, evidence }) => `- ${id} is not met: ${evidence}`),
         ...review.findings
-            .filter(({ severity }) => severity === "blocking")
-            .map(({ file, summary }) => `- Blocking${file ? ` (${file})` : ""}: ${summary}`),
+            .filter(({ nature }) => isBlocking(nature))
+            .map(({ nature, file, summary }) => `- Blocking, ${natureLabel(nature)}${file ? ` (${file})` : ""}: ${summary}`),
     ];
     return changes.length > 0
         ? ["The review requires changes:", ...changes].join("\n")

package/dist/domain/review.js.map

@@ -1 +1 @@
-{"version":3,"file":"review.js","sourceRoot":"","sources":["../../src/domain/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,eAAe,CAAC;AAClC,OAAO,EAAkB,eAAe,EAAE,MAAM,WAAW,CAAC;AAE5D,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAEtC,yCAAyC;AACzC,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC;IACjD,OAAO,EAAE,IAAI;IACb,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/D,qDAAqD;IACrD,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;CAC1B,CAAC,CAAC;AAGH,MAAM,UAAU,qBAAqB,CACnC,cAA8B,EAC9B,QAAqB;IAErB,OAAO,eAAe,CACpB,cAAc,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAC3C,QAAQ,EACR,IAAI,CACL,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;IACzC,QAAQ,EAAE,CAAC,CAAC,KAAK,CACf,CAAC,CAAC,YAAY,CAAC;QACb,EAAE,EAAE,IAAI;QACR,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAClC,QAAQ,EAAE,IAAI;KACf,CAAC,CACH;IACD,QAAQ,EAAE,CAAC,CAAC,KAAK,CACf,CAAC,CAAC,YAAY,CAAC;QACb,kGAAkG;QAClG,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACvC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE;QACrB,OAAO,EAAE,IAAI;KACd,CAAC,CACH;CACF,CAAC,CAAC;AAGH,MAAM,UAAU,aAAa,CAC3B,MAAc,EACd,QAAqB;IAErB,OAAO,eAAe,CACpB,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EACnC,QAAQ,EACR,IAAI,CACL,CAAC;AACJ,CAAC;AAED,gHAAgH;AAChH,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,MAAM,OAAO,GAAG;QACd,GAAG,MAAM,CAAC,QAAQ;aACf,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC;aAC5C,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,gBAAgB,QAAQ,EAAE,CAAC;QAC/D,GAAG,MAAM,CAAC,QAAQ;aACf,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,UAAU,CAAC;aACjD,GAAG,CACF,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CACpB,aAAa,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,EAAE,CACtD;KACJ,CAAC;IACF,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC;QACvB,CAAC,CAAC,CAAC,8BAA8B,EAAE,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACzD,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC"}
+{"version":3,"file":"review.js","sourceRoot":"","sources":["../../src/domain/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,eAAe,CAAC;AAClC,OAAO,EAAkB,eAAe,EAAE,MAAM,WAAW,CAAC;AAE5D,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAEtC,yCAAyC;AACzC,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC;IACjD,OAAO,EAAE,IAAI;IACb,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/D,qDAAqD;IACrD,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;CAC1B,CAAC,CAAC;AAGH,MAAM,UAAU,qBAAqB,CACnC,cAA8B,EAC9B,QAAqB;IAErB,OAAO,eAAe,CACpB,cAAc,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAC3C,QAAQ,EACR,IAAI,CACL,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,oBAAoB;IACpB,WAAW;IACX,QAAQ;IACR,UAAU;IACV,YAAY;IACZ,gBAAgB;IAChB,WAAW;IACX,iBAAiB;IACjB,eAAe;CACP,CAAC;AAGX,MAAM,eAAe,GAA+B,IAAI,GAAG,CAAC;IAC1D,oBAAoB;IACpB,WAAW;IACX,QAAQ;IACR,UAAU;IACV,YAAY;IACZ,gBAAgB;CACjB,CAAC,CAAC;AAEH,0DAA0D;AAC1D,MAAM,UAAU,UAAU,CAAC,MAAqB;IAC9C,OAAO,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACrC,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,WAAW,CAAC,MAAqB;IAC/C,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AACrC,CAAC;AAED,0HAA0H;AAC1H,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC;AAiBrC,4EAA4E;AAC5E,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;IACzC,QAAQ,EAAE,CAAC,CAAC,KAAK,CACf,CAAC,CAAC,YAAY,CAAC;QACb,EAAE,EAAE,IAAI;QACR,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAClC,QAAQ,EAAE,IAAI;KACf,CAAC,CACH;IACD,QAAQ,EAAE,CAAC,CAAC,KAAK,CACf,CAAC,CAAC,YAAY,CAAC;QACb,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;QAC9B,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE;QACrB,yCAAyC;QACzC,OAAO,EAAE,IAAI;KACd,CAAC,CACH;CACF,CAAC,CAAC;AAGH,MAAM,UAAU,aAAa,CAC3B,MAAc,EACd,QAAqB;IAErB,OAAO,eAAe,CACpB,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EACnC,QAAQ,EACR,IAAI,CACL,CAAC;AACJ,CAAC;AAED,gHAAgH;AAChH,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,MAAM,OAAO,GAAG;QACd,GAAG,MAAM,CAAC,QAAQ;aACf,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC;aAC5C,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,gBAAgB,QAAQ,EAAE,CAAC;QAC/D,GAAG,MAAM,CAAC,QAAQ;aACf,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;aAC1C,GAAG,CACF,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAC5B,eAAe,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,EAAE,CAC9E;KACJ,CAAC;IACF,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC;QACvB,CAAC,CAAC,CAAC,8BAA8B,EAAE,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACzD,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC"}

package/dist/domain/spec.d.ts

@@ -11,8 +11,10 @@ export interface Spec {
     outOfScope: string;
     criteria: Criterion[];
     constraints: string;
+    /** The issues that must be delivered before this one starts, by slug. */
+    dependencies: string[];
 }
-/** Reads spec.md: a `# ` title, then exactly the five sections, in order. */
-export declare function parseSpec(text: string): Parsed<Spec>;
+/** Reads issue `slug`'s spec.md: a `# ` title, then exactly the six sections, in order. */
+export declare function parseSpec(text: string, slug: string): Parsed<Spec>;
 /** What is wrong with the criteria a response cites: all of the spec's, no other, and each once if required. */
 export declare function citationProblem(cited: string[], criteria: Criterion[], once?: boolean): string | undefined;

package/dist/domain/spec.js

@@ -1,12 +1,14 @@
+import { isSlug } from "./issue.js";
 const sectionHeadings = [
     "Objective",
     "Scope",
     "Out of scope",
     "Acceptance criteria",
     "Constraints",
+    "Dependencies",
 ];
-/** Reads spec.md: a `# ` title, then exactly the five sections, in order. */
-export function parseSpec(text) {
+/** Reads issue `slug`'s spec.md: a `# ` title, then exactly the six sections, in order. */
+export function parseSpec(text, slug) {
     const [first = "", ...lines] = text.trim().split(/\r?\n/);
     const title = /^# (.*)$/.exec(first)?.[1]?.trim() ?? "";
     const preamble = [];
@@ -25,6 +27,7 @@ export function parseSpec(text) {
     }
     const body = (heading) => (sections.get(heading) ?? []).join("\n").trim();
     const { criteria, problems: criteriaProblems } = parseCriteria(sections.get("Acceptance criteria") ?? []);
+    const { dependencies, problems: dependencyProblems } = parseDependencies(sections.get("Dependencies") ?? [], slug);
     const problems = [
         ...(title ? [] : ["The first line must be a title: # <Title>"]),
         ...(preamble.join("").trim()
@@ -35,6 +38,7 @@ export function parseSpec(text) {
             .filter((heading) => sections.has(heading) && !body(heading))
             .map((heading) => `Empty section: ## ${heading}`),
         ...criteriaProblems,
+        ...dependencyProblems,
     ];
     if (problems.length > 0)
         return { ok: false, problems };
@@ -47,6 +51,7 @@ export function parseSpec(text) {
             outOfScope: body("Out of scope"),
             criteria,
             constraints: body("Constraints"),
+            dependencies,
         },
     };
 }
@@ -58,7 +63,7 @@ function sectionProblems(headings) {
     const problems = [
         ...[...new Set(unknown)].map((heading) => `Unknown section: ## ${heading}`),
         ...duplicate.map((heading) => `Duplicate section: ## ${heading}`),
-        ...missing.map((heading) => `Missing section: ## ${heading}`),
+        ...missing.map((heading) => `Missing section: ## ${heading}${heading === "Dependencies" ? " (the slugs of the issues this one depends on, or None.)" : ""}`),
     ];
     if (problems.length === 0 &&
         headings.join("\n") !== sectionHeadings.join("\n"))
@@ -98,6 +103,28 @@ function parseCriteria(lines) {
     close();
     return { criteria, problems };
 }
+/** `- <slug>` items, or `None.`: the issues this one depends on, never itself, each once. */
+function parseDependencies(lines, slug) {
+    const items = lines.map((line) => line.trim()).filter(Boolean);
+    if (items.length === 1 && items[0] === "None.")
+        return { dependencies: [], problems: [] };
+    const dependencies = [];
+    const problems = [];
+    for (const line of items) {
+        const dependency = /^- (.*)$/.exec(line)?.[1]?.trim();
+        if (dependency === undefined)
+            problems.push(`Dependencies: unexpected line "${line}" (write "- <slug>" for each issue, or None.)`);
+        else if (!isSlug(dependency))
+            problems.push(`Dependencies: "${dependency}" is not an issue slug`);
+        else if (dependency === slug)
+            problems.push(`Dependencies: the issue cannot depend on itself`);
+        else if (dependencies.includes(dependency))
+            problems.push(`Dependencies: ${dependency} is listed twice`);
+        else
+            dependencies.push(dependency);
+    }
+    return { dependencies, problems };
+}
 /** What is wrong with the criteria a response cites: all of the spec's, no other, and each once if required. */
 export function citationProblem(cited, criteria, once = false) {
     const ids = criteria.map((criterion) => criterion.id);

package/dist/domain/spec.js.map

@@ -1 +1 @@
-{"version":3,"file":"spec.js","sourceRoot":"","sources":["../../src/domain/spec.ts"],"names":[],"mappings":"AAiBA,MAAM,eAAe,GAAG;IACtB,WAAW;IACX,OAAO;IACP,cAAc;IACd,qBAAqB;IACrB,aAAa;CACd,CAAC;AAEF,6EAA6E;AAC7E,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,MAAM,CAAC,KAAK,GAAG,EAAE,EAAE,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,IAAI,OAAO,GAAG,QAAQ,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACpD,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACzC,CAAC;YACJ,OAAO,GAAG,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvB,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,EAAE,CAC/B,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAClD,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,aAAa,CAC5D,QAAQ,CAAC,GAAG,CAAC,qBAAqB,CAAC,IAAI,EAAE,CAC1C,CAAC;IACF,MAAM,QAAQ,GAAG;QACf,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,2CAA2C,CAAC,CAAC;QAC/D,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE;YAC1B,CAAC,CAAC,CAAC,0CAA0C,CAAC;YAC9C,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,eAAe,CAAC,QAAQ,CAAC;QAC5B,GAAG,eAAe;aACf,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;aAC5D,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,qBAAqB,OAAO,EAAE,CAAC;QACnD,GAAG,gBAAgB;KACpB,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACxD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE;YACL,KAAK;YACL,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC;YAC5B,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;YACpB,UAAU,EAAE,IAAI,CAAC,cAAc,CAAC;YAChC,QAAQ;YACR,WAAW,EAAE,IAAI,CAAC,aAAa,CAAC;SACjC;KACF,CAAC;AACJ,CAAC;AAED,0DAA0D;AAC1D,SAAS,eAAe,CAAC,QAAkB;IACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,CAChD,CAAC;IACF,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CACtC,CAAC,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,CACzE,CAAC;IACF,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CACpC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CACzC,CAAC;IACF,MAAM,QAAQ,GAAG;QACf,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,uBAAuB,OAAO,EAAE,CAAC;QAC3E,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,yBAAyB,OAAO,EAAE,CAAC;QACjE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,uBAAuB,OAAO,EAAE,CAAC;KAC9D,CAAC;IACF,IACE,QAAQ,CAAC,MAAM,KAAK,CAAC;QACrB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;QAElD,QAAQ,CAAC,IAAI,CACX,uCAAuC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACpE,CAAC;IACJ,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,6FAA6F;AAC7F,SAAS,aAAa,CAAC,KAAe;IAIpC,MAAM,QAAQ,GAAgB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,IAA2B,CAAC;IAChC,MAAM,KAAK,GAAG,GAAG,EAAE;QACjB,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI;YACpB,QAAQ,CAAC,IAAI,CAAC,wBAAwB,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC;QAC5D,IAAI,GAAG,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;YAAE,SAAS;QAC3B,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,EAAE,CAAC;YACR,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC;YACpC,MAAM,QAAQ,GAAG,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,IAAI,EAAE,KAAK,QAAQ;gBACjB,QAAQ,CAAC,IAAI,CAAC,iCAAiC,QAAQ,WAAW,EAAE,EAAE,CAAC,CAAC;YAC1E,IAAI,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;aAAM,IAAI,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YACjC,IAAI,CAAC,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;aAC9C,CAAC;YACJ,KAAK,EAAE,CAAC;YACR,QAAQ,CAAC,IAAI,CACX,yCAAyC,IAAI,CAAC,IAAI,EAAE,kCAAkC,CACvF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC;AAED,gHAAgH;AAChH,MAAM,UAAU,eAAe,CAC7B,KAAe,EACf,QAAqB,EACrB,IAAI,GAAG,KAAK;IAEZ,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,IAAI;QACnB,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;QACxE,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAG;QACf,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC;IACF,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC;QACxB,CAAC,CAAC,wBAAwB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC/C,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC"}
+{"version":3,"file":"spec.js","sourceRoot":"","sources":["../../src/domain/spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAoBpC,MAAM,eAAe,GAAG;IACtB,WAAW;IACX,OAAO;IACP,cAAc;IACd,qBAAqB;IACrB,aAAa;IACb,cAAc;CACf,CAAC;AAEF,2FAA2F;AAC3F,MAAM,UAAU,SAAS,CAAC,IAAY,EAAE,IAAY;IAClD,MAAM,CAAC,KAAK,GAAG,EAAE,EAAE,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,IAAI,OAAO,GAAG,QAAQ,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACpD,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACzC,CAAC;YACJ,OAAO,GAAG,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvB,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,EAAE,CAC/B,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAClD,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,aAAa,CAC5D,QAAQ,CAAC,GAAG,CAAC,qBAAqB,CAAC,IAAI,EAAE,CAC1C,CAAC;IACF,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,kBAAkB,EAAE,GAAG,iBAAiB,CACtE,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,EAClC,IAAI,CACL,CAAC;IACF,MAAM,QAAQ,GAAG;QACf,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,2CAA2C,CAAC,CAAC;QAC/D,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE;YAC1B,CAAC,CAAC,CAAC,0CAA0C,CAAC;YAC9C,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,eAAe,CAAC,QAAQ,CAAC;QAC5B,GAAG,eAAe;aACf,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;aAC5D,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,qBAAqB,OAAO,EAAE,CAAC;QACnD,GAAG,gBAAgB;QACnB,GAAG,kBAAkB;KACtB,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACxD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE;YACL,KAAK;YACL,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC;YAC5B,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;YACpB,UAAU,EAAE,IAAI,CAAC,cAAc,CAAC;YAChC,QAAQ;YACR,WAAW,EAAE,IAAI,CAAC,aAAa,CAAC;YAChC,YAAY;SACb;KACF,CAAC;AACJ,CAAC;AAED,0DAA0D;AAC1D,SAAS,eAAe,CAAC,QAAkB;IACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,CAChD,CAAC;IACF,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CACtC,CAAC,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,CACzE,CAAC;IACF,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CACpC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CACzC,CAAC;IACF,MAAM,QAAQ,GAAG;QACf,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,uBAAuB,OAAO,EAAE,CAAC;QAC3E,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,yBAAyB,OAAO,EAAE,CAAC;QACjE,GAAG,OAAO,CAAC,GAAG,CACZ,CAAC,OAAO,EAAE,EAAE,CACV,uBAAuB,OAAO,GAAG,OAAO,KAAK,cAAc,CAAC,CAAC,CAAC,0DAA0D,CAAC,CAAC,CAAC,EAAE,EAAE,CAClI;KACF,CAAC;IACF,IACE,QAAQ,CAAC,MAAM,KAAK,CAAC;QACrB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;QAElD,QAAQ,CAAC,IAAI,CACX,uCAAuC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACpE,CAAC;IACJ,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,6FAA6F;AAC7F,SAAS,aAAa,CAAC,KAAe;IAIpC,MAAM,QAAQ,GAAgB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,IAA2B,CAAC;IAChC,MAAM,KAAK,GAAG,GAAG,EAAE;QACjB,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI;YACpB,QAAQ,CAAC,IAAI,CAAC,wBAAwB,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC;QAC5D,IAAI,GAAG,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;YAAE,SAAS;QAC3B,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,EAAE,CAAC;YACR,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC;YACpC,MAAM,QAAQ,GAAG,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,IAAI,EAAE,KAAK,QAAQ;gBACjB,QAAQ,CAAC,IAAI,CAAC,iCAAiC,QAAQ,WAAW,EAAE,EAAE,CAAC,CAAC;YAC1E,IAAI,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;aAAM,IAAI,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YACjC,IAAI,CAAC,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;aAC9C,CAAC;YACJ,KAAK,EAAE,CAAC;YACR,QAAQ,CAAC,IAAI,CACX,yCAAyC,IAAI,CAAC,IAAI,EAAE,kCAAkC,CACvF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC;AAED,6FAA6F;AAC7F,SAAS,iBAAiB,CACxB,KAAe,EACf,IAAY;IAEZ,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO;QAC5C,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC5C,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACtD,IAAI,UAAU,KAAK,SAAS;YAC1B,QAAQ,CAAC,IAAI,CACX,kCAAkC,IAAI,+CAA+C,CACtF,CAAC;aACC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,kBAAkB,UAAU,wBAAwB,CAAC,CAAC;aACjE,IAAI,UAAU,KAAK,IAAI;YAC1B,QAAQ,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;aAC9D,IAAI,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC;YACxC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,UAAU,kBAAkB,CAAC,CAAC;;YAC1D,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;AACpC,CAAC;AAED,gHAAgH;AAChH,MAAM,UAAU,eAAe,CAC7B,KAAe,EACf,QAAqB,EACrB,IAAI,GAAG,KAAK;IAEZ,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,IAAI;QACnB,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;QACxE,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAG;QACf,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC;IACF,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC;QACxB,CAAC,CAAC,wBAAwB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC/C,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC"}

package/dist/domain/verification.d.ts

@@ -3,12 +3,16 @@ export interface VerifyCommand {
     name: string;
     command: string[];
     timeoutMs: number;
+    /** Globs of the files whose change makes the check run; without it, it always runs. */
+    when?: string[];
 }
 /** A check that passed, as the pull request reports it. */
 export interface CheckResult {
     name: string;
     command: string[];
     durationMs: number;
+    /** Where the run kept what the check wrote, for the review. */
+    outputFile?: string;
 }
 /** The correction sent to the implementing agent: the failed check, its cause and the end of its output. */
 export declare function failureFeedback(check: VerifyCommand, cause: string, output: string): string;

package/dist/domain/verification.js.map

@@ -1 +1 @@
-{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../src/domain/verification.ts"],"names":[],"mappings":"AAcA,4GAA4G;AAC5G,MAAM,UAAU,eAAe,CAC7B,KAAoB,EACpB,KAAa,EACb,MAAc;IAEd,MAAM,MAAM,GAAG,wBAAwB,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC;IAChG,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3E,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,wBAAwB,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACjE,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,OAAO,CAAC,UAAkB;IACxC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC;AAC9C,CAAC"}
+{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../src/domain/verification.ts"],"names":[],"mappings":"AAkBA,4GAA4G;AAC5G,MAAM,UAAU,eAAe,CAC7B,KAAoB,EACpB,KAAa,EACb,MAAc;IAEd,MAAM,MAAM,GAAG,wBAAwB,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC;IAChG,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3E,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,wBAAwB,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACjE,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,OAAO,CAAC,UAAkB;IACxC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC;AAC9C,CAAC"}

package/dist/system/checks.d.ts

@@ -2,6 +2,7 @@ import type { CheckResult, VerifyCommand } from "../domain/verification.js";
 export type CheckOutcome = {
     ok: true;
     durationMs: number;
+    output: string;
 } | {
     ok: false;
     cause: string;
@@ -9,24 +10,38 @@ export type CheckOutcome = {
 };
 /** Runs one of the repository's checks; a timeout or a command that cannot start fails it, Ctrl-C stops the run. */
 export declare function runCheck(dir: string, check: VerifyCommand): Promise<CheckOutcome>;
+/** A check that passed, with what it wrote. */
+export type PassedCheck = CheckResult & {
+    output: string;
+};
 export type ChecksOutcome = {
     ok: true;
-    passed: CheckResult[];
+    passed: PassedCheck[];
+    skipped: VerifyCommand[];
 } | {
     ok: false;
-    passed: CheckResult[];
+    passed: PassedCheck[];
+    skipped: VerifyCommand[];
     check: VerifyCommand;
     cause: string;
     output: string;
 };
-/** A check that starts, or passes with its duration. */
+/** A check that starts, passes with its duration, or is skipped: no changed file matches its `when`. */
 export type CheckProgress = {
     check: VerifyCommand;
     status: "started";
+} | {
+    check: VerifyCommand;
+    status: "skipped";
 } | {
     check: VerifyCommand;
     status: "passed";
     durationMs: number;
 };
-/** Runs the checks in order, stopping at the first failure. */
-export declare function runChecks(dir: string, checks: VerifyCommand[], progress?: (event: CheckProgress) => void): Promise<ChecksOutcome>;
+/** Whether one of the files matches one of the globs. */
+export declare function matchesAny(files: string[], globs: string[]): boolean;
+/**
+ * Runs the checks in order, stopping at the first failure. A check with `when`
+ * runs only if one of the `changed` files matches it, and never without them.
+ */
+export declare function runChecks(dir: string, checks: VerifyCommand[], progress?: (event: CheckProgress) => void, changed?: string[]): Promise<ChecksOutcome>;

package/dist/system/checks.js

@@ -1,3 +1,4 @@
+import { matchesGlob } from "node:path";
 import { ProcessInterruptedError, ProcessTimeoutError, runProcess, } from "@clemrig/flow";
 /** Runs one of the repository's checks; a timeout or a command that cannot start fails it, Ctrl-C stops the run. */
 export async function runCheck(dir, check) {
@@ -5,7 +6,12 @@ export async function runCheck(dir, check) {
     try {
         const result = await runProcess(check.command, dir, check.timeoutMs);
         if (result.exitCode === 0)
-            return { ok: true, durationMs: Date.now() - started };
+            return {
+                ok: true,
+                durationMs: Date.now() - started,
+                // Over 2 MiB, each stream keeps its end, headed by the engine's notice.
+                output: result.stdout + result.stderr,
+            };
         return {
             ok: false,
             cause: `exit code ${result.exitCode}`,
@@ -23,16 +29,30 @@ export async function runCheck(dir, check) {
         };
     }
 }
-/** Runs the checks in order, stopping at the first failure. */
-export async function runChecks(dir, checks, progress) {
+/** Whether one of the files matches one of the globs. */
+export function matchesAny(files, globs) {
+    return files.some((file) => globs.some((glob) => matchesGlob(file, glob)));
+}
+/**
+ * Runs the checks in order, stopping at the first failure. A check with `when`
+ * runs only if one of the `changed` files matches it, and never without them.
+ */
+export async function runChecks(dir, checks, progress, changed) {
     const passed = [];
+    const skipped = [];
     for (const check of checks) {
+        if (check.when && !(changed && matchesAny(changed, check.when))) {
+            progress?.({ check, status: "skipped" });
+            skipped.push(check);
+            continue;
+        }
         progress?.({ check, status: "started" });
         const outcome = await runCheck(dir, check);
         if (!outcome.ok)
             return {
                 ok: false,
                 passed,
+                skipped,
                 check,
                 cause: outcome.cause,
                 output: outcome.output,
@@ -42,8 +62,9 @@ export async function runChecks(dir, checks, progress) {
             name: check.name,
             command: check.command,
             durationMs: outcome.durationMs,
+            output: outcome.output,
         });
     }
-    return { ok: true, passed };
+    return { ok: true, passed, skipped };
 }
 //# sourceMappingURL=checks.js.map

package/dist/system/checks.js.map

@@ -1 +1 @@
-{"version":3,"file":"checks.js","sourceRoot":"","sources":["../../src/system/checks.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,mBAAmB,EACnB,UAAU,GACX,MAAM,eAAe,CAAC;AAOvB,oHAAoH;AACpH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,GAAW,EACX,KAAoB;IAEpB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;QACrE,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC;YACvB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;QACxD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,aAAa,MAAM,CAAC,QAAQ,EAAE;YACrC,MAAM,EAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM;SACtC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,uBAAuB;YAAE,MAAM,KAAK,CAAC;QAC1D,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YAC7D,uDAAuD;YACvD,MAAM,EACJ,KAAK,YAAY,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;SAC1E,CAAC;IACJ,CAAC;AACH,CAAC;AAiBD,+DAA+D;AAC/D,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,GAAW,EACX,MAAuB,EACvB,QAAyC;IAEzC,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,OAAO,CAAC,EAAE;YACb,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM;gBACN,KAAK;gBACL,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,OAAO,CAAC,MAAM;aACvB,CAAC;QACJ,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,UAAU,EAAE,OAAO,CAAC,UAAU;SAC/B,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"checks.js","sourceRoot":"","sources":["../../src/system/checks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EACL,uBAAuB,EACvB,mBAAmB,EACnB,UAAU,GACX,MAAM,eAAe,CAAC;AAOvB,oHAAoH;AACpH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,GAAW,EACX,KAAoB;IAEpB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;QACrE,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC;YACvB,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO;gBAChC,wEAAwE;gBACxE,MAAM,EAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM;aACtC,CAAC;QACJ,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,aAAa,MAAM,CAAC,QAAQ,EAAE;YACrC,MAAM,EAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM;SACtC,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,uBAAuB;YAAE,MAAM,KAAK,CAAC;QAC1D,OAAO;YACL,EAAE,EAAE,KAAK;YACT,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YAC7D,uDAAuD;YACvD,MAAM,EACJ,KAAK,YAAY,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;SAC1E,CAAC;IACJ,CAAC;AACH,CAAC;AAsBD,yDAAyD;AACzD,MAAM,UAAU,UAAU,CAAC,KAAe,EAAE,KAAe;IACzD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,GAAW,EACX,MAAuB,EACvB,QAAyC,EACzC,OAAkB;IAElB,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAChE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QACD,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,OAAO,CAAC,EAAE;YACb,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM;gBACN,OAAO;gBACP,KAAK;gBACL,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,OAAO,CAAC,MAAM;aACvB,CAAC;QACJ,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,MAAM,EAAE,OAAO,CAAC,MAAM;SACvB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACvC,CAAC"}

package/dist/system/git.d.ts

@@ -1,3 +1,4 @@
+import type { ChangedFile } from "../domain/review.js";
 /** A branch's full reference: a tag of the same name never answers for it. */
 export declare function branchRef(branch: string): string;
 /** The full reference of `origin`'s copy of a branch. */
@@ -12,6 +13,8 @@ export declare function currentBranch(dir: string): Promise<string>;
 /** Modified, staged or untracked files, in the whole tree or under a path, `except` one of its files. */
 export declare function hasChanges(dir: string, path?: string, except?: string): Promise<boolean>;
 export declare function fetchBranch(dir: string, branch: string): Promise<void>;
+/** Whether Git still has this object. */
+export declare function hasObject(dir: string, id: string): Promise<boolean>;
 export declare function commitOf(dir: string, ref: string): Promise<string>;
 /** Switches to a branch; `from` creates it at that commit, replacing a branch of that name. */
 export declare function switchTo(dir: string, branch: string, from?: string): Promise<void>;
@@ -22,4 +25,42 @@ export declare function stagedDiff(dir: string, since: string): Promise<{
     text: string;
     truncated: boolean;
 }>;
+/**
+ * Each file the staged changes touch since a commit, with its added and
+ * removed lines, renames seen as the diff sees them; call it after `stagedDiff`.
+ */
+export declare function stagedStat(dir: string, since: string): Promise<ChangedFile[]>;
+/** The files changed since a commit, untracked ones included, without staging anything. */
+export declare function changedFiles(dir: string, since: string): Promise<string[]>;
 export declare function forcePush(dir: string, branch: string): Promise<void>;
+/**
+ * The working tree as a tree object: tracked and untracked files, ignored ones
+ * aside. It stages every change, as a delivery does.
+ */
+export declare function snapshot(dir: string): Promise<string>;
+/** A file that differs between two snapshots: added, deleted or modified. */
+export interface TreeChange {
+    status: "added" | "deleted" | "modified";
+    path: string;
+}
+/** The files that differ from `before` to `after`, renames seen as a deletion and an addition. */
+export declare function changesBetween(dir: string, before: string, after: string): Promise<TreeChange[]>;
+/**
+ * Puts back the files that changed since the snapshot `before`, in the index
+ * and the working tree. The added ones go first, with the folders they leave
+ * empty: a folder that replaced a file or a link is gone before the file or
+ * the link comes back, and nothing is ever removed through a link put back.
+ * Then the modified and deleted ones are rewritten. Ignored files stay.
+ */
+export declare function restore(dir: string, before: string, changes: TreeChange[]): Promise<void>;
+/**
+ * Puts back everything that changed in the working tree since the snapshot
+ * `before`, and returns the paths it put back; none when nothing changed.
+ * A snapshot depends on the ignore rules, so they come back first, each time
+ * followed by a new snapshot: the `.gitignore` files that were there, then the
+ * shallowest new ones. A rule only exposes files in its folder and below, so
+ * a deeper `.gitignore` that seems new may be an ignored file it exposed: it
+ * waits for the next snapshot. The other changes are then what they really
+ * are, and an ignored file is never taken for one.
+ */
+export declare function putBack(dir: string, before: string): Promise<string[]>;

package/dist/system/git.js

@@ -1,3 +1,5 @@
+import { rm, rmdir } from "node:fs/promises";
+import { basename, dirname, join } from "node:path";
 import { runProcess } from "@clemrig/flow";
 /** Runs git in the repository; a failure carries git's own message. */
 async function git(dir, args, timeoutMs = 60_000) {
@@ -47,6 +49,11 @@ export async function hasChanges(dir, path, except) {
 export async function fetchBranch(dir, branch) {
     await git(dir, ["fetch", "origin", `+${branchRef(branch)}:${remoteRef(branch)}`], 120_000);
 }
+/** Whether Git still has this object. */
+export async function hasObject(dir, id) {
+    return ((await runProcess(["git", "cat-file", "-e", id], dir, 60_000)).exitCode ===
+        0);
+}
 export function commitOf(dir, ref) {
     return output(dir, ["rev-parse", ref]);
 }
@@ -66,8 +73,173 @@ export async function stagedDiff(dir, since) {
     const result = await git(dir, ["diff", "--cached", since]);
     return { text: result.stdout, truncated: result.stdoutTruncated };
 }
+/**
+ * Git's output when the run read all of it: a list cut by the capture limit
+ * would name wrong paths, so the run stops instead.
+ */
+async function whole(dir, args) {
+    const result = await git(dir, args);
+    if (result.stdoutTruncated)
+        throw new Error(`git ${args[0]} wrote more than the run reads (2 MiB): the run stops`);
+    return result.stdout;
+}
+/** NUL-separated fields of Git's `-z` output. */
+async function fields(dir, args) {
+    return (await whole(dir, args)).split("\0").filter(Boolean);
+}
+/**
+ * Each file the staged changes touch since a commit, with its added and
+ * removed lines, renames seen as the diff sees them; call it after `stagedDiff`.
+ */
+export async function stagedStat(dir, since) {
+    const records = await fields(dir, [
+        "diff",
+        "--cached",
+        "--numstat",
+        "-z",
+        since,
+    ]);
+    const files = [];
+    for (let index = 0; index < records.length; index += 1) {
+        const [added = "-", removed = "-", ...rest] = (records[index] ?? "").split("\t");
+        let path = rest.join("\t");
+        let source;
+        // A rename leaves the path empty, then gives its source and destination.
+        if (path === "") {
+            source = records[index + 1] ?? "";
+            path = records[index + 2] ?? "";
+            index += 2;
+        }
+        files.push({
+            path,
+            ...(source === undefined ? {} : { from: source }),
+            ...(added === "-" ? {} : { added: Number(added) }),
+            ...(removed === "-" ? {} : { removed: Number(removed) }),
+        });
+    }
+    return files;
+}
+/** The files changed since a commit, untracked ones included, without staging anything. */
+export async function changedFiles(dir, since) {
+    return [
+        ...new Set([
+            ...(await fields(dir, [
+                "diff",
+                "--name-only",
+                "-z",
+                "--no-renames",
+                since,
+            ])),
+            ...(await fields(dir, [
+                "ls-files",
+                "--others",
+                "--exclude-standard",
+                "-z",
+            ])),
+        ]),
+    ];
+}
 export async function forcePush(dir, branch) {
     const ref = branchRef(branch);
     await git(dir, ["push", "--force", "-u", "origin", `${ref}:${ref}`], 120_000);
 }
+/**
+ * The working tree as a tree object: tracked and untracked files, ignored ones
+ * aside. It stages every change, as a delivery does.
+ */
+export async function snapshot(dir) {
+    await git(dir, ["add", "-A"]);
+    return output(dir, ["write-tree"]);
+}
+/** The files that differ from `before` to `after`, renames seen as a deletion and an addition. */
+export async function changesBetween(dir, before, after) {
+    const records = await fields(dir, [
+        "diff-tree",
+        "-r",
+        "-z",
+        "--no-renames",
+        "--name-status",
+        before,
+        after,
+    ]);
+    const changes = [];
+    for (let index = 0; index + 1 < records.length; index += 2) {
+        const code = records[index] ?? "";
+        const path = records[index + 1] ?? "";
+        changes.push({
+            status: code === "A" ? "added" : code === "D" ? "deleted" : "modified",
+            path,
+        });
+    }
+    return changes;
+}
+/**
+ * Puts back the files that changed since the snapshot `before`, in the index
+ * and the working tree. The added ones go first, with the folders they leave
+ * empty: a folder that replaced a file or a link is gone before the file or
+ * the link comes back, and nothing is ever removed through a link put back.
+ * Then the modified and deleted ones are rewritten. Ignored files stay.
+ */
+export async function restore(dir, before, changes) {
+    await git(dir, ["read-tree", before]);
+    for (const { status, path } of changes) {
+        if (status !== "added")
+            continue;
+        await rm(join(dir, path), { force: true });
+        await removeEmptyParents(dir, path);
+    }
+    const rewritten = changes
+        .filter(({ status }) => status !== "added")
+        .map(({ path }) => path);
+    if (rewritten.length > 0)
+        await git(dir, ["checkout-index", "-f", "--", ...rewritten]);
+}
+/** Removes the folders of `path` that are now empty, from the deepest up to the repository. */
+async function removeEmptyParents(dir, path) {
+    for (let parent = dirname(path); parent !== "."; parent = dirname(parent))
+        try {
+            await rmdir(join(dir, parent));
+        }
+        catch {
+            // Not empty, or already gone: the folders above it stay too.
+            return;
+        }
+}
+/**
+ * Puts back everything that changed in the working tree since the snapshot
+ * `before`, and returns the paths it put back; none when nothing changed.
+ * A snapshot depends on the ignore rules, so they come back first, each time
+ * followed by a new snapshot: the `.gitignore` files that were there, then the
+ * shallowest new ones. A rule only exposes files in its folder and below, so
+ * a deeper `.gitignore` that seems new may be an ignored file it exposed: it
+ * waits for the next snapshot. The other changes are then what they really
+ * are, and an ignored file is never taken for one.
+ */
+export async function putBack(dir, before) {
+    const put = [];
+    // Each round puts back at least one ignore file; past that many, something else rewrites them.
+    for (let round = 0; round < 20; round += 1) {
+        const after = await snapshot(dir);
+        if (after === before)
+            return [...new Set(put)].sort();
+        const changes = await changesBetween(dir, before, after);
+        const ignores = changes.filter(({ path }) => basename(path) === ".gitignore");
+        const existing = ignores.filter(({ status }) => status !== "added");
+        const shallowest = Math.min(...ignores.map(({ path }) => depth(path)));
+        const next = existing.length > 0
+            ? existing
+            : ignores.length > 0
+                ? ignores.filter(({ path }) => depth(path) === shallowest)
+                : changes;
+        await restore(dir, before, next);
+        put.push(...next.map(({ path }) => path));
+    }
+    if ((await snapshot(dir)) === before)
+        return [...new Set(put)].sort();
+    throw new Error("The working tree's .gitignore files keep changing: the run stops");
+}
+/** How many folders a path is in. */
+function depth(path) {
+    return path.split("/").length;
+}
 //# sourceMappingURL=git.js.map