@clemrig/factory 0.3.0 → 0.4.0

package/dist/domain/board.js

@@ -0,0 +1,95 @@
+import { summarizeRun } from "@clemrig/flow";
+import { DELIVERY, pullRequestOf } from "./delivery.js";
+/** The columns, in the order an issue goes through them. */
+export const columns = [
+    "Backlog",
+    "Specifying",
+    "Executing",
+    "Blocked",
+    "To Approve",
+    "Done",
+];
+/** No status is stored: the column follows from the issue's files, the main branch and its last delivery. */
+export function columnOf(issue, lastDelivery) {
+    if (issue.delivered)
+        return "Done";
+    if (lastDelivery?.status === "running")
+        return "Executing";
+    if (lastDelivery?.status === "failed")
+        return "Blocked";
+    if (lastDelivery)
+        return "To Approve";
+    return issue.hasSpec ? "Specifying" : "Backlog";
+}
+/** How far a run went through its workflow's steps; a correction brings its step back. */
+export function stepsOf(steps, run) {
+    const at = steps.findIndex(({ stages }) => stages.includes(run.stage));
+    return steps.map(({ name }, index) => ({
+        name,
+        state: run.status === "completed" || index < at
+            ? "done"
+            : index > at || at < 0
+                ? "pending"
+                : run.status === "running"
+                    ? "current"
+                    : "failed",
+    }));
+}
+function progressOf(run, steps) {
+    const { durationMs, costUsd, partial } = summarizeRun(run);
+    return {
+        id: run.id,
+        workflow: run.workflow,
+        status: run.status,
+        stage: run.stage,
+        steps: stepsOf(steps, run),
+        durationMs,
+        costUsd,
+        partial,
+    };
+}
+/**
+ * The Kanban: each issue in its column, the most recently active first, with
+ * the last run of each shown workflow. `runs` come in creation order.
+ */
+export function boardOf(issues, runs, shown, problems) {
+    const placed = issues.map((issue) => {
+        const own = runs.filter(({ input }) => input.issue === issue.slug);
+        const last = (workflow) => own.findLast((run) => run.workflow === workflow);
+        // The last delivery sets the column. A new delivery updates the same pull
+        // request: the newest one recorded stays shown.
+        const delivery = last(DELIVERY);
+        const pullRequest = own.map(pullRequestOf).findLast(Boolean);
+        const cardRuns = shown
+            .flatMap(({ name, steps }) => {
+            const run = last(name);
+            return run ? [{ run, steps }] : [];
+        })
+            .sort((a, b) => b.run.createdAt.localeCompare(a.run.createdAt))
+            .map(({ run, steps }) => progressOf(run, steps));
+        const activity = [issue.changedAt, ...own.map((run) => run.updatedAt)]
+            .sort()
+            .at(-1);
+        return {
+            column: columnOf(issue, delivery),
+            activity: activity ?? issue.changedAt,
+            card: {
+                slug: issue.slug,
+                title: issue.title,
+                ...(pullRequest ? { pullRequest } : {}),
+                runs: cardRuns,
+            },
+        };
+    });
+    return {
+        columns: columns.map((name) => ({
+            name,
+            cards: placed
+                .filter(({ column }) => column === name)
+                .sort((a, b) => b.activity.localeCompare(a.activity))
+                .map(({ card }) => card),
+        })),
+        problems,
+    };
+}
+//# sourceMappingURL=board.js.map

package/dist/domain/board.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"board.js","sourceRoot":"","sources":["../../src/domain/board.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,YAAY,EAAqB,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAExD,4DAA4D;AAC5D,MAAM,CAAC,MAAM,OAAO,GAAG;IACrB,SAAS;IACT,YAAY;IACZ,WAAW;IACX,SAAS;IACT,YAAY;IACZ,MAAM;CACE,CAAC;AA2DX,6GAA6G;AAC7G,MAAM,UAAU,QAAQ,CACtB,KAAiB,EACjB,YAAkD;IAElD,IAAI,KAAK,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IACnC,IAAI,YAAY,EAAE,MAAM,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IAC3D,IAAI,YAAY,EAAE,MAAM,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACxD,IAAI,YAAY;QAAE,OAAO,YAAY,CAAC;IACtC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;AAClD,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,OAAO,CACrB,KAAqB,EACrB,GAAuC;IAEvC,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACvE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACrC,IAAI;QACJ,KAAK,EACH,GAAG,CAAC,MAAM,KAAK,WAAW,IAAI,KAAK,GAAG,EAAE;YACtC,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC;gBACpB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS;oBACxB,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,QAAQ;KACnB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,UAAU,CAAC,GAAa,EAAE,KAAqB;IACtD,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC3D,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;QAC1B,UAAU;QACV,OAAO;QACP,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,OAAO,CACrB,MAAoB,EACpB,IAAgB,EAChB,KAAsB,EACtB,QAAkB;IAElB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAClC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC;QACnE,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAE,EAAE,CAChC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;QACnD,0EAA0E;QAC1E,gDAAgD;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,MAAM,WAAW,GAAG,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC7D,MAAM,QAAQ,GAAG,KAAK;aACnB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;YAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACvB,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,CAAC,CAAC;aACD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;aAC9D,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;aACnE,IAAI,EAAE;aACN,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACV,OAAO;YACL,MAAM,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;YACjC,QAAQ,EAAE,QAAQ,IAAI,KAAK,CAAC,SAAS;YACrC,IAAI,EAAE;gBACJ,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,IAAI,EAAE,QAAQ;aACf;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC9B,IAAI;YACJ,KAAK,EAAE,MAAM;iBACV,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC;iBACvC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;iBACpD,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC;SAC3B,CAAC,CAAC;QACH,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/domain/definition.d.ts

@@ -0,0 +1,15 @@
+import { type AgentProfile, type Workflow } from "@clemrig/flow";
+import type { VerifyCommand } from "./verification.js";
+/** What a repository decides: its checks, its budget per run, its agents and its own workflows. */
+export interface FactoryDefinition {
+    verify: VerifyCommand[];
+    maxCostUsd: number;
+    profiles: {
+        plan: AgentProfile;
+        implement: AgentProfile;
+        review: AgentProfile;
+    };
+    /** The repository's own workflows, beside the factory's. */
+    workflows?: Workflow[];
+}
+export declare function definitionProblems(value: unknown): string[];

package/dist/domain/definition.js

@@ -0,0 +1,28 @@
+import { z } from "@clemrig/flow";
+// Profiles are validated by defineWorkflow: each declares the tools its agent may use.
+const profile = z.looseObject({});
+const definition = z.strictObject({
+    verify: z
+        .array(z.strictObject({
+        name: z.string().min(1),
+        /** The executable, then its arguments; run without a shell. */
+        command: z.tuple([z.string().min(1)], z.string()),
+        timeoutMs: z.number().int().positive(),
+    }))
+        .min(1),
+    maxCostUsd: z.number().positive(),
+    profiles: z.strictObject({
+        plan: profile,
+        implement: profile,
+        review: profile,
+    }),
+    // Each workflow is checked where the factory loads them.
+    workflows: z.array(z.unknown()).optional(),
+});
+export function definitionProblems(value) {
+    const parsed = definition.safeParse(value);
+    return parsed.success
+        ? []
+        : parsed.error.issues.map(({ path, message }) => `${path.join(".")}: ${message}`);
+}
+//# sourceMappingURL=definition.js.map

package/dist/domain/definition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"definition.js","sourceRoot":"","sources":["../../src/domain/definition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoC,CAAC,EAAE,MAAM,eAAe,CAAC;AAgBpE,uFAAuF;AACvF,MAAM,OAAO,GAAG,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;AAElC,MAAM,UAAU,GAAG,CAAC,CAAC,YAAY,CAAC;IAChC,MAAM,EAAE,CAAC;SACN,KAAK,CACJ,CAAC,CAAC,YAAY,CAAC;QACb,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACvB,+DAA+D;QAC/D,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QACjD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;KACvC,CAAC,CACH;SACA,GAAG,CAAC,CAAC,CAAC;IACT,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,QAAQ,EAAE,CAAC,CAAC,YAAY,CAAC;QACvB,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,OAAO;QAClB,MAAM,EAAE,OAAO;KAChB,CAAC;IACF,yDAAyD;IACzD,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC3C,CAAC,CAAC;AAEH,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC3C,OAAO,MAAM,CAAC,OAAO;QACnB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CACrB,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,OAAO,EAAE,CACvD,CAAC;AACR,CAAC"}

package/dist/domain/delivery.d.ts

@@ -0,0 +1,9 @@
+import type { RunState } from "@clemrig/flow";
+/** The workflow that delivers an issue: its last run sets the issue's column. */
+export declare const DELIVERY = "implement";
+/** What a delivery records once it opened its pull request. */
+export interface Delivered {
+    pullRequest: string;
+}
+/** The pull request a delivery run recorded, if it got that far. */
+export declare function pullRequestOf(run: Pick<RunState, "workflow" | "data">): string | undefined;

package/dist/domain/delivery.js

@@ -0,0 +1,10 @@
+/** The workflow that delivers an issue: its last run sets the issue's column. */
+export const DELIVERY = "implement";
+/** The pull request a delivery run recorded, if it got that far. */
+export function pullRequestOf(run) {
+    if (run.workflow !== DELIVERY)
+        return undefined;
+    const { pullRequest } = run.data;
+    return typeof pullRequest === "string" ? pullRequest : undefined;
+}
+//# sourceMappingURL=delivery.js.map

package/dist/domain/delivery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"delivery.js","sourceRoot":"","sources":["../../src/domain/delivery.ts"],"names":[],"mappings":"AAEA,iFAAiF;AACjF,MAAM,CAAC,MAAM,QAAQ,GAAG,WAAW,CAAC;AAOpC,oEAAoE;AACpE,MAAM,UAAU,aAAa,CAC3B,GAAwC;IAExC,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,EAAE,WAAW,EAAE,GAAG,GAAG,CAAC,IAA0B,CAAC;IACvD,OAAO,OAAO,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC"}

package/dist/domain/issue.d.ts

@@ -0,0 +1,11 @@
+import type { Parsed } from "./parsed.js";
+/** An issue's identity: its folder, branch and run input. */
+export declare function isSlug(value: string): boolean;
+export interface Issue {
+    title: string;
+    description: string;
+}
+/** The `# ` title on the first line of issue.md; empty without one. */
+export declare function issueTitle(text: string): string;
+/** Reads issue.md: a `# ` title, then a free description. */
+export declare function parseIssue(text: string): Parsed<Issue>;

package/dist/domain/issue.js

@@ -0,0 +1,22 @@
+/** An issue's identity: its folder, branch and run input. */
+export function isSlug(value) {
+    return /^[a-z0-9]+(?:-[a-z0-9]+)*$/.test(value);
+}
+/** The `# ` title on the first line of issue.md; empty without one. */
+export function issueTitle(text) {
+    const [first = ""] = text.trim().split(/\r?\n/);
+    return /^# (.*)$/.exec(first)?.[1]?.trim() ?? "";
+}
+/** Reads issue.md: a `# ` title, then a free description. */
+export function parseIssue(text) {
+    const title = issueTitle(text);
+    const description = text.trim().split(/\r?\n/).slice(1).join("\n").trim();
+    const problems = [
+        ...(title ? [] : ["The first line must be a title: # <Title>"]),
+        ...(description ? [] : ["The description is empty"]),
+    ];
+    return problems.length > 0
+        ? { ok: false, problems }
+        : { ok: true, value: { title, description } };
+}
+//# sourceMappingURL=issue.js.map

package/dist/domain/issue.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"issue.js","sourceRoot":"","sources":["../../src/domain/issue.ts"],"names":[],"mappings":"AAEA,6DAA6D;AAC7D,MAAM,UAAU,MAAM,CAAC,KAAa;IAClC,OAAO,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAClD,CAAC;AAOD,uEAAuE;AACvE,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChD,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACnD,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1E,MAAM,QAAQ,GAAG;QACf,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,2CAA2C,CAAC,CAAC;QAC/D,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;KACrD,CAAC;IACF,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC;QACxB,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE;QACzB,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,CAAC;AAClD,CAAC"}

package/dist/domain/parsed.d.ts

@@ -0,0 +1,8 @@
+/** A parsed document, or every problem found in it. */
+export type Parsed<T> = {
+    ok: true;
+    value: T;
+} | {
+    ok: false;
+    problems: string[];
+};

package/dist/domain/parsed.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=parsed.js.map

package/dist/domain/parsed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parsed.js","sourceRoot":"","sources":["../../src/domain/parsed.ts"],"names":[],"mappings":""}

package/dist/domain/plan.d.ts

@@ -0,0 +1,24 @@
+import { z } from "@clemrig/flow";
+import { type Criterion } from "./spec.js";
+/** The planning agent's response. */
+export declare const planOutput: z.ZodObject<{
+    summary: z.ZodString;
+    commit: z.ZodString;
+    steps: z.ZodArray<z.ZodObject<{
+        title: z.ZodString;
+        description: z.ZodString;
+        criteria: z.ZodArray<z.ZodString>;
+        files: z.ZodArray<z.ZodString>;
+        tests: z.ZodString;
+    }, z.core.$strict>>;
+    risks: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export type Plan = z.output<typeof planOutput>;
+/** Every criterion of the spec is covered by at least one step. */
+export declare function planProblem(plan: Plan, criteria: Criterion[]): string | undefined;
+export declare function renderPlan(plan: Plan, source: {
+    title: string;
+    specPath: string;
+    baseCommit: string;
+}): string;
+export declare function planCommitMessage(slug: string): string;

package/dist/domain/plan.js

@@ -0,0 +1,49 @@
+import { z } from "@clemrig/flow";
+import { citationProblem } from "./spec.js";
+const text = z.string().trim().min(1);
+/** The planning agent's response. */
+export const planOutput = z.strictObject({
+    summary: text,
+    /** Subject of the implementation's commit, also the PR title. */
+    commit: z
+        .string()
+        .max(72)
+        // One line: it is the commit's subject and the PR's title.
+        .regex(/^(feat|fix|refactor|perf|test|docs|chore)(\([a-z0-9-]+\))?: \S[^\r\n]*$/),
+    steps: z
+        .array(z.strictObject({
+        title: text,
+        description: text,
+        criteria: z.array(text).min(1),
+        files: z.array(text).min(1),
+        tests: text,
+    }))
+        .min(1),
+    risks: z.array(text),
+});
+/** Every criterion of the spec is covered by at least one step. */
+export function planProblem(plan, criteria) {
+    return citationProblem(plan.steps.flatMap((step) => step.criteria), criteria);
+}
+export function renderPlan(plan, source) {
+    const steps = plan.steps.map((step, index) => [
+        `### ${index + 1}. ${step.title}`,
+        `Criteria: ${step.criteria.join(", ")}\nFiles: ${step.files.map((file) => `\`${file}\``).join(", ")}`,
+        step.description,
+        `Tests: ${step.tests}`,
+    ].join("\n\n"));
+    const risks = plan.risks.length > 0
+        ? plan.risks.map((risk) => `- ${risk}`).join("\n")
+        : "None.";
+    return `${[
+        `# Plan: ${source.title}`,
+        `Spec: \`${source.specPath}\` at ${source.baseCommit.slice(0, 7)}`,
+        `## Summary\n\n${plan.summary}`,
+        `## Steps\n\n${steps.join("\n\n")}`,
+        `## Risks\n\n${risks}`,
+    ].join("\n\n")}\n`;
+}
+export function planCommitMessage(slug) {
+    return `docs: plan ${slug}`;
+}
+//# sourceMappingURL=plan.js.map

package/dist/domain/plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.js","sourceRoot":"","sources":["../../src/domain/plan.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,qCAAqC;AACrC,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,YAAY,CAAC;IACvC,OAAO,EAAE,IAAI;IACb,iEAAiE;IACjE,MAAM,EAAE,CAAC;SACN,MAAM,EAAE;SACR,GAAG,CAAC,EAAE,CAAC;QACR,2DAA2D;SAC1D,KAAK,CACJ,yEAAyE,CAC1E;IACH,KAAK,EAAE,CAAC;SACL,KAAK,CACJ,CAAC,CAAC,YAAY,CAAC;QACb,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,IAAI;QACjB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3B,KAAK,EAAE,IAAI;KACZ,CAAC,CACH;SACA,GAAG,CAAC,CAAC,CAAC;IACT,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;CACrB,CAAC,CAAC;AAGH,mEAAmE;AACnE,MAAM,UAAU,WAAW,CACzB,IAAU,EACV,QAAqB;IAErB,OAAO,eAAe,CACpB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAC3C,QAAQ,CACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,IAAU,EACV,MAA+D;IAE/D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC3C;QACE,OAAO,KAAK,GAAG,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE;QACjC,aAAa,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACrG,IAAI,CAAC,WAAW;QAChB,UAAU,IAAI,CAAC,KAAK,EAAE;KACvB,CAAC,IAAI,CAAC,MAAM,CAAC,CACf,CAAC;IACF,MAAM,KAAK,GACT,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QACnB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAClD,CAAC,CAAC,OAAO,CAAC;IACd,OAAO,GAAG;QACR,WAAW,MAAM,CAAC,KAAK,EAAE;QACzB,WAAW,MAAM,CAAC,QAAQ,SAAS,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QAClE,iBAAiB,IAAI,CAAC,OAAO,EAAE;QAC/B,eAAe,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;QACnC,eAAe,KAAK,EAAE;KACvB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,cAAc,IAAI,EAAE,CAAC;AAC9B,CAAC"}

package/dist/domain/pull-request.d.ts

@@ -0,0 +1,17 @@
+import type { Implementation, Review } from "./review.js";
+import type { Criterion } from "./spec.js";
+import { type CheckResult } from "./verification.js";
+export interface PullRequestFacts {
+    criteria: Criterion[];
+    implementation: Implementation;
+    review: Review;
+    checks: CheckResult[];
+    /** Corrections the review asked for before approving. */
+    reviewRounds: number;
+    specPath: string;
+    planPath: string;
+    baseCommit: string;
+    runId: string;
+}
+/** Everything needed to approve the change without opening the run. */
+export declare function pullRequestBody(facts: PullRequestFacts): string;

package/dist/domain/pull-request.js

@@ -0,0 +1,32 @@
+import { seconds } from "./verification.js";
+/** Agent text inside a table cell: one line, no column separator. */
+function cell(text) {
+    return text.replace(/\s*\n\s*/g, " ").replaceAll("|", "\\|");
+}
+/** Everything needed to approve the change without opening the run. */
+export function pullRequestBody(facts) {
+    const { implementation, review } = facts;
+    const criteria = facts.criteria.map(({ id, text }) => {
+        const judged = review.criteria.find((criterion) => criterion.id === id);
+        const status = judged?.status === "met" ? "Met" : "Not met";
+        return `| ${cell(`${id}: ${text}`)} | ${status} | ${cell(judged?.evidence ?? "")} |`;
+    });
+    const checks = facts.checks.map(({ name, command, durationMs }) => `- ${name}: \`${command.join(" ")}\` passed in ${seconds(durationMs)}`);
+    const rounds = facts.reviewRounds === 0
+        ? "Approved at the first review."
+        : `Approved after ${facts.reviewRounds} round${facts.reviewRounds === 1 ? "" : "s"} of changes.`;
+    const minor = review.findings
+        .filter(({ severity }) => severity === "minor")
+        .map(({ file, summary }) => `- ${file ? `\`${file}\`: ` : ""}${summary}`);
+    const deviations = implementation.deviations.map((deviation) => `- ${deviation}`);
+    return `${[
+        `## Summary\n\n${implementation.summary}`,
+        `## Acceptance criteria\n\n| Criterion | Review | Evidence |\n|---|---|---|\n${criteria.join("\n")}`,
+        `## Verification\n\n${checks.join("\n")}`,
+        `## Review\n\n${rounds}\n\n${minor.length > 0 ? `Minor findings:\n${minor.join("\n")}` : "No minor findings."}`,
+        `## Deviations from plan\n\n${deviations.length > 0 ? deviations.join("\n") : "None."}`,
+        "---",
+        `Spec: \`${facts.specPath}\` at ${facts.baseCommit.slice(0, 7)} · Plan: \`${facts.planPath}\` · Run: ${facts.runId}`,
+    ].join("\n\n")}\n`;
+}
+//# sourceMappingURL=pull-request.js.map

package/dist/domain/pull-request.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pull-request.js","sourceRoot":"","sources":["../../src/domain/pull-request.ts"],"names":[],"mappings":"AAEA,OAAO,EAAoB,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAe9D,qEAAqE;AACrE,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AAC/D,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,eAAe,CAAC,KAAuB;IACrD,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE;QACnD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,MAAM,EAAE,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5D,OAAO,KAAK,IAAI,CAAC,GAAG,EAAE,KAAK,IAAI,EAAE,CAAC,MAAM,MAAM,MAAM,IAAI,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,IAAI,CAAC;IACvF,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAC7B,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAChC,KAAK,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,OAAO,CAAC,UAAU,CAAC,EAAE,CACzE,CAAC;IACF,MAAM,MAAM,GACV,KAAK,CAAC,YAAY,KAAK,CAAC;QACtB,CAAC,CAAC,+BAA+B;QACjC,CAAC,CAAC,kBAAkB,KAAK,CAAC,YAAY,SAAS,KAAK,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC;IACrG,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ;SAC1B,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC;SAC9C,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;IAC5E,MAAM,UAAU,GAAG,cAAc,CAAC,UAAU,CAAC,GAAG,CAC9C,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,SAAS,EAAE,CAChC,CAAC;IACF,OAAO,GAAG;QACR,iBAAiB,cAAc,CAAC,OAAO,EAAE;QACzC,+EAA+E,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACpG,sBAAsB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACzC,gBAAgB,MAAM,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,oBAAoB,EAAE;QAC/G,8BAA8B,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE;QACvF,KAAK;QACL,WAAW,KAAK,CAAC,QAAQ,SAAS,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,KAAK,CAAC,QAAQ,aAAa,KAAK,CAAC,KAAK,EAAE;KACrH,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC"}

package/dist/domain/review.d.ts

@@ -0,0 +1,36 @@
+import { z } from "@clemrig/flow";
+import { type Criterion } from "./spec.js";
+/** The implementing agent's response. */
+export declare const implementationOutput: z.ZodObject<{
+    summary: z.ZodString;
+    criteria: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        evidence: z.ZodString;
+    }, z.core.$strict>>;
+    deviations: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export type Implementation = z.output<typeof implementationOutput>;
+export declare function implementationProblem(implementation: Implementation, criteria: Criterion[]): string | undefined;
+/** The reviewer's response: its approval follows from these facts alone. */
+export declare const reviewOutput: z.ZodObject<{
+    criteria: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        status: z.ZodEnum<{
+            met: "met";
+            not_met: "not_met";
+        }>;
+        evidence: z.ZodString;
+    }, z.core.$strict>>;
+    findings: z.ZodArray<z.ZodObject<{
+        severity: z.ZodEnum<{
+            blocking: "blocking";
+            minor: "minor";
+        }>;
+        file: z.ZodOptional<z.ZodString>;
+        summary: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type Review = z.output<typeof reviewOutput>;
+export declare function reviewProblem(review: Review, criteria: Criterion[]): string | undefined;
+/** The correction sent to the implementing agent, or nothing when every criterion is met and nothing blocks. */
+export declare function reviewChanges(review: Review): string | undefined;

package/dist/domain/review.js

@@ -0,0 +1,45 @@
+import { z } from "@clemrig/flow";
+import { citationProblem } from "./spec.js";
+const text = z.string().trim().min(1);
+/** The implementing agent's response. */
+export const implementationOutput = z.strictObject({
+    summary: text,
+    criteria: z.array(z.strictObject({ id: text, evidence: text })),
+    /** Where the work departs from the plan, and why. */
+    deviations: z.array(text),
+});
+export function implementationProblem(implementation, criteria) {
+    return citationProblem(implementation.criteria.map(({ id }) => id), criteria, true);
+}
+/** The reviewer's response: its approval follows from these facts alone. */
+export const reviewOutput = z.strictObject({
+    criteria: z.array(z.strictObject({
+        id: text,
+        status: z.enum(["met", "not_met"]),
+        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"]),
+        file: text.optional(),
+        summary: text,
+    })),
+});
+export function reviewProblem(review, criteria) {
+    return citationProblem(review.criteria.map(({ id }) => id), criteria, true);
+}
+/** The correction sent to the implementing agent, or nothing when every criterion is met and nothing blocks. */
+export function reviewChanges(review) {
+    const changes = [
+        ...review.criteria
+            .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}`),
+    ];
+    return changes.length > 0
+        ? ["The review requires changes:", ...changes].join("\n")
+        : undefined;
+}
+//# sourceMappingURL=review.js.map

package/dist/domain/review.js.map

@@ -0,0 +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"}

package/dist/domain/spec.d.ts

@@ -0,0 +1,18 @@
+import type { Parsed } from "./parsed.js";
+/** An acceptance criterion: an externally observable fact, cited by the plan, the review and the PR. */
+export interface Criterion {
+    id: string;
+    text: string;
+}
+export interface Spec {
+    title: string;
+    objective: string;
+    scope: string;
+    outOfScope: string;
+    criteria: Criterion[];
+    constraints: string;
+}
+/** Reads spec.md: a `# ` title, then exactly the five sections, in order. */
+export declare function parseSpec(text: 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

@@ -0,0 +1,118 @@
+const sectionHeadings = [
+    "Objective",
+    "Scope",
+    "Out of scope",
+    "Acceptance criteria",
+    "Constraints",
+];
+/** Reads spec.md: a `# ` title, then exactly the five sections, in order. */
+export function parseSpec(text) {
+    const [first = "", ...lines] = text.trim().split(/\r?\n/);
+    const title = /^# (.*)$/.exec(first)?.[1]?.trim() ?? "";
+    const preamble = [];
+    const headings = [];
+    const sections = new Map();
+    let current = preamble;
+    for (const line of lines) {
+        const heading = /^## (.*)$/.exec(line)?.[1]?.trim();
+        if (heading === undefined)
+            current.push(line);
+        else {
+            current = [];
+            headings.push(heading);
+            sections.set(heading, current);
+        }
+    }
+    const body = (heading) => (sections.get(heading) ?? []).join("\n").trim();
+    const { criteria, problems: criteriaProblems } = parseCriteria(sections.get("Acceptance criteria") ?? []);
+    const problems = [
+        ...(title ? [] : ["The first line must be a title: # <Title>"]),
+        ...(preamble.join("").trim()
+            ? ["Unexpected text before the first section"]
+            : []),
+        ...sectionProblems(headings),
+        ...sectionHeadings
+            .filter((heading) => sections.has(heading) && !body(heading))
+            .map((heading) => `Empty section: ## ${heading}`),
+        ...criteriaProblems,
+    ];
+    if (problems.length > 0)
+        return { ok: false, problems };
+    return {
+        ok: true,
+        value: {
+            title,
+            objective: body("Objective"),
+            scope: body("Scope"),
+            outOfScope: body("Out of scope"),
+            criteria,
+            constraints: body("Constraints"),
+        },
+    };
+}
+/** Exactly the expected headings, each once, in order. */
+function sectionProblems(headings) {
+    const unknown = headings.filter((heading) => !sectionHeadings.includes(heading));
+    const duplicate = sectionHeadings.filter((heading) => headings.indexOf(heading) !== headings.lastIndexOf(heading));
+    const missing = sectionHeadings.filter((heading) => !headings.includes(heading));
+    const problems = [
+        ...[...new Set(unknown)].map((heading) => `Unknown section: ## ${heading}`),
+        ...duplicate.map((heading) => `Duplicate section: ## ${heading}`),
+        ...missing.map((heading) => `Missing section: ## ${heading}`),
+    ];
+    if (problems.length === 0 &&
+        headings.join("\n") !== sectionHeadings.join("\n"))
+        problems.push(`Sections must appear in this order: ${sectionHeadings.join(", ")}`);
+    return problems;
+}
+/** `- AC<n>: <text>` items numbered from 1; an indented line continues the item above it. */
+function parseCriteria(lines) {
+    const criteria = [];
+    const problems = [];
+    let open;
+    const close = () => {
+        if (open && !open.text)
+            problems.push(`Acceptance criteria: ${open.id} is empty`);
+        open = undefined;
+    };
+    for (const line of lines) {
+        if (!line.trim())
+            continue;
+        const item = /^- (AC\d+):(.*)$/.exec(line);
+        if (item) {
+            close();
+            const [, id = "", text = ""] = item;
+            const expected = `AC${criteria.length + 1}`;
+            if (id !== expected)
+                problems.push(`Acceptance criteria: expected ${expected}, found ${id}`);
+            open = { id, text: text.trim() };
+            criteria.push(open);
+        }
+        else if (open && /^\s/.test(line))
+            open.text = `${open.text} ${line.trim()}`.trim();
+        else {
+            close();
+            problems.push(`Acceptance criteria: unexpected line "${line.trim()}" (write "- AC<n>: <criterion>")`);
+        }
+    }
+    close();
+    return { criteria, 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);
+    const missing = ids.filter((id) => !cited.includes(id));
+    const unknown = [...new Set(cited.filter((id) => !ids.includes(id)))];
+    const repeated = once
+        ? [...new Set(cited.filter((id, index) => cited.indexOf(id) !== index))]
+        : [];
+    const problems = [
+        ...(missing.length > 0 ? [`missing ${missing.join(", ")}`] : []),
+        ...(unknown.length > 0 ? [`unknown ${unknown.join(", ")}`] : []),
+        ...(repeated.length > 0 ? [`repeated ${repeated.join(", ")}`] : []),
+    ];
+    return problems.length > 0
+        ? `Acceptance criteria: ${problems.join("; ")}`
+        : undefined;
+}
+//# sourceMappingURL=spec.js.map

package/dist/domain/spec.js.map

@@ -0,0 +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"}

package/dist/domain/verification.d.ts

@@ -0,0 +1,16 @@
+/** A command of the repository that must succeed, as its definition declares it. */
+export interface VerifyCommand {
+    name: string;
+    command: string[];
+    timeoutMs: number;
+}
+/** A check that passed, as the pull request reports it. */
+export interface CheckResult {
+    name: string;
+    command: string[];
+    durationMs: number;
+}
+/** 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;
+/** A duration as the terminal and the pull request show it. */
+export declare function seconds(durationMs: number): string;