@vercel/factory 0.0.9 → 0.0.10

package/dist/{approval-MoiwGpkh.d.mts → approval-CDiBco2V.d.mts}

@@ -87,11 +87,11 @@ type Change = z.infer<typeof changeSchema>;
 //#endregion
 //#region src/schema/receipt.d.ts
 /** States the engine writes on transitions. Any vocabulary value is valid. */
-declare const standardReceiptStates: readonly ["approved", "rejected", "dispatched", "succeeded", "failed", "needs_human", "cancelled", "settled", "merged", "deployed", "rolled_out", "rolled_back"];
+declare const standardReceiptStates: readonly ["approved", "rejected", "dispatched", "succeeded", "failed", "needs_human", "cancelled", "settled", "ready", "merged", "deployed", "rolled_out", "rolled_back"];
 /** Phases the standard loop uses. Any vocabulary value is valid. */
 declare const standardReceiptPhases: readonly ["approval", "budget", "dispatch", "implementation", "verification", "pull_request", "cleanup"];
 /** Kinds the standard loop writes: the standard task kinds plus "change". */
-declare const standardReceiptKinds: readonly ["code_change", "verification", "investigation", "question", "change"];
+declare const standardReceiptKinds: readonly ["coordination", "code_change", "verification", "investigation", "question", "change"];
 declare const receiptStateSchema: z.ZodString;
 declare const receiptPhaseSchema: z.ZodString;
 declare const receiptKindSchema: z.ZodString;
@@ -145,7 +145,7 @@ type Repository = z.infer<typeof repositorySchema>;
  * Kinds the standard loop understands. Any vocabulary value is valid; the
  * kind-scoped rules below apply only to these standard kinds.
  */
-declare const standardTaskKinds: readonly ["code_change", "verification", "investigation", "question"];
+declare const standardTaskKinds: readonly ["coordination", "code_change", "verification", "investigation", "question"];
 declare const taskKindSchema: z.ZodString;
 declare const taskStateSchema: z.ZodEnum<{
   queued: "queued";
@@ -161,6 +161,8 @@ declare const taskApprovalSchema: z.ZodEnum<{
   granted: "granted";
   denied: "denied";
 }>;
+declare const taskExecutionRepositoryIdsSchema: z.ZodTuple<[z.ZodString], null>;
+declare const coordinationRepositoryIdsSchema: z.ZodTuple<[z.ZodString, z.ZodString], z.ZodString>;
 declare const harnessSchema: z.ZodString;
 declare const taskOriginSchema: z.ZodObject<{
   signalId: z.ZodOptional<z.ZodString>;
@@ -181,7 +183,7 @@ declare const taskQuestionSchema: z.ZodObject<{
 declare const taskSchema: z.ZodObject<{
   schemaVersion: z.ZodLiteral<1>;
   id: z.ZodString;
-  repositoryIds: z.ZodOptional<z.ZodArray<z.ZodString>>;
+  repositoryIds: z.ZodArray<z.ZodString>;
   kind: z.ZodString;
   area: z.ZodOptional<z.ZodString>;
   state: z.ZodEnum<{
@@ -239,6 +241,12 @@ declare class ApprovalError extends Error {
   readonly reason: string;
   constructor(taskId: TaskId, reason: string);
 }
+declare class ChangeAssociationError extends Error {
+  readonly taskId: TaskId;
+  readonly repositoryId: RepositoryId;
+  readonly reason: string;
+  constructor(taskId: TaskId, repositoryId: RepositoryId, reason: string);
+}
 interface CreateSignalInput {
   repositoryId: RepositoryId;
   source: SignalSource;
@@ -507,5 +515,5 @@ interface ApprovalSubject {
  */
 declare function requiresApproval(policy: ApprovalPolicy, subject: ApprovalSubject): boolean;
 //#endregion
-export { ReceiptPhase as $, TaskPatch as A, taskDevboxSchema as B, ChangeTransitionOptions as C, changeIdSchema as Ct, CreateTaskInput as D, repositoryIdsSchema as Dt, CreateStoresOptions as E, repositoryIdSchema as Et, TaskKind as F, taskStateSchema as G, taskOriginSchema as H, TaskState as I, repositorySchema as J, Repository as K, harnessSchema as L, createStores as M, Task as N, DecideSignalOptions as O, signalIdSchema as Ot, TaskApproval as P, ReceiptKind as Q, standardTaskKinds as R, ChangePatch as S, TaskId as St, CreateSignalInput as T, receiptIdSchema as Tt, taskQuestionSchema as U, taskKindSchema as V, taskSchema as W, Cost as X, repositorySlugSchema as Y, Receipt as Z, findingVerificationMethodSchema as _, ChangeId as _t, approvalRuleSchema as a, receiptStateSchema as at, ApprovalDecision as b, RepositoryId as bt, Finding as c, standardReceiptStates as ct, FindingVerification as d, ChangeState as dt, ReceiptState as et, findingCategorySchema as f, Level as ft, findingVerificationLevelSchema as g, levelSchema as gt, findingSchema as h, changeStateSchema as ht, approvalPolicySchema as i, receiptSchema as it, TaskTransitionOptions as j, FactoryStores as k, taskIdSchema as kt, FindingCategory as l, Change as lt, findingPrioritySchema as m, changeSchema as mt, ApprovalRule as n, receiptKindSchema as nt, defaultApprovalPolicy as o, standardReceiptKinds as ot, findingFingerprint as p, changeEvidenceSchema as pt, RepositorySlug as q, ApprovalSubject as r, receiptPhaseSchema as rt, requiresApproval as s, standardReceiptPhases as st, ApprovalPolicy as t, costSchema as tt, FindingPriority as u, ChangeEvidence as ut, findingVerificationSchema as v, FactoryId as vt, CreateChangeInput as w, factoryIdSchema as wt, ApprovalError as x, SignalId as xt, AppendReceiptInput as y, ReceiptId as yt, taskApprovalSchema as z };
-//# sourceMappingURL=approval-MoiwGpkh.d.mts.map
+export { Cost as $, FactoryStores as A, repositoryIdsSchema as At, standardTaskKinds as B, ChangePatch as C, RepositoryId as Ct, CreateStoresOptions as D, factoryIdSchema as Dt, CreateSignalInput as E, changeIdSchema as Et, TaskApproval as F, taskOriginSchema as G, taskDevboxSchema as H, TaskKind as I, taskStateSchema as J, taskQuestionSchema as K, TaskState as L, TaskTransitionOptions as M, taskIdSchema as Mt, createStores as N, CreateTaskInput as O, receiptIdSchema as Ot, Task as P, repositorySlugSchema as Q, coordinationRepositoryIdsSchema as R, ChangeAssociationError as S, ReceiptId as St, CreateChangeInput as T, TaskId as Tt, taskExecutionRepositoryIdsSchema as U, taskApprovalSchema as V, taskKindSchema as W, RepositorySlug as X, Repository as Y, repositorySchema as Z, findingVerificationMethodSchema as _, changeSchema as _t, approvalRuleSchema as a, receiptKindSchema as at, ApprovalDecision as b, ChangeId as bt, Finding as c, receiptStateSchema as ct, FindingVerification as d, standardReceiptStates as dt, Receipt as et, findingCategorySchema as f, Change as ft, findingVerificationLevelSchema as g, changeEvidenceSchema as gt, findingSchema as h, Level as ht, approvalPolicySchema as i, costSchema as it, TaskPatch as j, signalIdSchema as jt, DecideSignalOptions as k, repositoryIdSchema as kt, FindingCategory as l, standardReceiptKinds as lt, findingPrioritySchema as m, ChangeState as mt, ApprovalRule as n, ReceiptPhase as nt, defaultApprovalPolicy as o, receiptPhaseSchema as ot, findingFingerprint as p, ChangeEvidence as pt, taskSchema as q, ApprovalSubject as r, ReceiptState as rt, requiresApproval as s, receiptSchema as st, ApprovalPolicy as t, ReceiptKind as tt, FindingPriority as u, standardReceiptPhases as ut, findingVerificationSchema as v, changeStateSchema as vt, ChangeTransitionOptions as w, SignalId as wt, ApprovalError as x, FactoryId as xt, AppendReceiptInput as y, levelSchema as yt, harnessSchema as z };
+//# sourceMappingURL=approval-CDiBco2V.d.mts.map

package/dist/{task-DMHuvBI0.mjs → change-BPYhWKuL.mjs}

@@ -1,6 +1,121 @@
 import { a as repositoryIdsSchema, d as schemaVersionSchema, f as usdSchema, i as repositoryIdSchema, l as isoDateTimeSchema, o as signalIdSchema, p as vocabularySchema, s as taskIdSchema, t as changeIdSchema, u as replyToSchema } from "./id-DwCihQr4.mjs";
 import { n as RecordNotFoundError } from "./driver-Bbd25rNM.mjs";
 import { z } from "zod";
+//#region src/schema/task.ts
+/**
+* Kinds the standard loop understands. Any vocabulary value is valid; the
+* kind-scoped rules below apply only to these standard kinds.
+*/
+const standardTaskKinds = [
+	"coordination",
+	"code_change",
+	"verification",
+	"investigation",
+	"question"
+];
+const taskKindSchema = vocabularySchema.describe("What kind of work this is, e.g. code_change, question, or a registered custom kind.");
+const taskStateSchema = z.enum([
+	"queued",
+	"running",
+	"verifying",
+	"succeeded",
+	"failed",
+	"needs_human",
+	"cancelled"
+]).describe("Lifecycle state. Transitions are fixed; see taskTransitions.");
+const taskApprovalSchema = z.enum([
+	"required",
+	"granted",
+	"denied"
+]).describe("Human approval status. Absent means no approval is needed. Stamped required at creation by policy; granted or denied by an operator.");
+const taskExecutionRepositoryIdsSchema = z.tuple([repositoryIdSchema]).describe("The one repository used to execute a task.");
+const coordinationRepositoryIdsSchema = z.tuple([repositoryIdSchema, repositoryIdSchema]).rest(repositoryIdSchema).refine((repositoryIds) => new Set(repositoryIds).size === repositoryIds.length, { message: "Coordination tasks require distinct repositories." }).describe("The distinct repositories coordinated by a non-executable parent task.");
+const harnessSchema = z.string().min(1).describe("Coding harness used in the devbox, e.g. claude-code or codex.");
+const taskOriginSchema = z.strictObject({
+	signalId: signalIdSchema.optional().describe("Signal that led to this task."),
+	parentTaskId: taskIdSchema.optional().describe("Parent task that planned this child."),
+	operator: z.string().min(1).optional().describe("Human operator who requested it.")
+}).refine((origin) => origin.signalId !== void 0 || origin.parentTaskId !== void 0 || origin.operator !== void 0, { message: "origin requires a signalId, parentTaskId, or operator" });
+const taskDevboxSchema = z.strictObject({
+	devboxId: z.string().min(1).describe("Devbox running or having run this task."),
+	remoteId: z.string().min(1).describe("Provider-side id of the execution."),
+	harness: harnessSchema
+});
+const taskQuestionSchema = z.strictObject({
+	text: z.string().min(1).describe("The question a human must answer."),
+	options: z.array(z.string().min(1)).describe("Suggested answers; free-text is also allowed."),
+	answer: z.string().min(1).optional(),
+	answeredBy: z.string().min(1).optional().describe("Authenticated operator who answered.")
+});
+const taskSchema = z.strictObject({
+	schemaVersion: schemaVersionSchema,
+	id: taskIdSchema,
+	repositoryIds: repositoryIdsSchema.describe("Repositories the task concerns."),
+	kind: taskKindSchema,
+	area: z.string().min(1).optional().describe("Investigation area, e.g. onboarding or security. Investigation tasks only."),
+	state: taskStateSchema,
+	approval: taskApprovalSchema.optional(),
+	origin: taskOriginSchema,
+	dependsOn: z.array(taskIdSchema).min(1).optional().describe("Sibling tasks that must produce a change before this one may run."),
+	replyTo: replyToSchema,
+	devbox: taskDevboxSchema.optional(),
+	attempt: z.number().int().min(1).describe("Execution attempt, starting at 1; bumps on retry."),
+	reservedUsd: usdSchema.optional().describe("Budget reserved before dispatch."),
+	settledUsd: usdSchema.optional().describe("Measured cost settled after execution."),
+	question: taskQuestionSchema.optional(),
+	changeId: changeIdSchema.optional().describe("Change this code_change task produced."),
+	reportRef: z.string().min(1).optional().describe("Reference to the report artifact an investigation produced."),
+	createdAt: isoDateTimeSchema,
+	updatedAt: isoDateTimeSchema
+}).superRefine((task, ctx) => {
+	if (task.kind === "coordination" && !coordinationRepositoryIdsSchema.safeParse(task.repositoryIds).success) ctx.addIssue({
+		code: "custom",
+		path: ["repositoryIds"],
+		message: "coordination tasks require at least two distinct repositories"
+	});
+	if ((task.kind === "code_change" || task.kind === "verification") && task.repositoryIds.length !== 1) ctx.addIssue({
+		code: "custom",
+		path: ["repositoryIds"],
+		message: `${task.kind} tasks require exactly one repository`
+	});
+	if (task.area !== void 0 && task.kind !== "investigation") ctx.addIssue({
+		code: "custom",
+		path: ["area"],
+		message: "area is only valid on investigation tasks"
+	});
+	if (task.kind === "question") {
+		if (task.question === void 0) ctx.addIssue({
+			code: "custom",
+			path: ["question"],
+			message: "question tasks require a question"
+		});
+		if (task.devbox !== void 0) ctx.addIssue({
+			code: "custom",
+			path: ["devbox"],
+			message: "question tasks never run in a devbox"
+		});
+	} else if (task.question !== void 0) ctx.addIssue({
+		code: "custom",
+		path: ["question"],
+		message: "question is only valid on question tasks"
+	});
+	if (task.kind === "coordination" && task.devbox !== void 0) ctx.addIssue({
+		code: "custom",
+		path: ["devbox"],
+		message: "coordination tasks never run in a devbox"
+	});
+	if (task.changeId !== void 0 && task.kind !== "code_change") ctx.addIssue({
+		code: "custom",
+		path: ["changeId"],
+		message: "changeId is only valid on code_change tasks"
+	});
+	if (task.reportRef !== void 0 && task.kind !== "investigation") ctx.addIssue({
+		code: "custom",
+		path: ["reportRef"],
+		message: "reportRef is only valid on investigation tasks"
+	});
+});
+//#endregion
 //#region src/dispatch.ts
 var DispatchRefusedError = class extends Error {
 	taskId;
@@ -24,6 +139,8 @@ async function dispatchTask(stores, taskId, options) {
 	const task = await stores.tasks.get(taskId);
 	if (task === null) throw new RecordNotFoundError("tasks", taskId);
 	if (task.kind === "question") throw new DispatchRefusedError(taskId, "question tasks are answered, not dispatched");
+	if (task.kind === "coordination") throw new DispatchRefusedError(taskId, "coordination tasks are reconciled, not dispatched");
+	if (!taskExecutionRepositoryIdsSchema.safeParse(task.repositoryIds).success) throw new DispatchRefusedError(taskId, "task execution requires exactly one repository");
 	if (task.approval === "required") throw new DispatchRefusedError(taskId, "awaiting human approval");
 	if (task.approval === "denied") throw new DispatchRefusedError(taskId, "approval was denied");
 	for (const dependencyId of task.dependsOn ?? []) {
@@ -108,103 +225,6 @@ const changeSchema = z.strictObject({
 	});
 });
 //#endregion
-//#region src/schema/task.ts
-/**
-* Kinds the standard loop understands. Any vocabulary value is valid; the
-* kind-scoped rules below apply only to these standard kinds.
-*/
-const standardTaskKinds = [
-	"code_change",
-	"verification",
-	"investigation",
-	"question"
-];
-const taskKindSchema = vocabularySchema.describe("What kind of work this is, e.g. code_change, question, or a registered custom kind.");
-const taskStateSchema = z.enum([
-	"queued",
-	"running",
-	"verifying",
-	"succeeded",
-	"failed",
-	"needs_human",
-	"cancelled"
-]).describe("Lifecycle state. Transitions are fixed; see taskTransitions.");
-const taskApprovalSchema = z.enum([
-	"required",
-	"granted",
-	"denied"
-]).describe("Human approval status. Absent means no approval is needed. Stamped required at creation by policy; granted or denied by an operator.");
-const harnessSchema = z.string().min(1).describe("Coding harness used in the devbox, e.g. claude-code or codex.");
-const taskOriginSchema = z.strictObject({
-	signalId: signalIdSchema.optional().describe("Signal that led to this task."),
-	parentTaskId: taskIdSchema.optional().describe("Parent task that planned this child."),
-	operator: z.string().min(1).optional().describe("Human operator who requested it.")
-}).refine((origin) => origin.signalId !== void 0 || origin.parentTaskId !== void 0 || origin.operator !== void 0, { message: "origin requires a signalId, parentTaskId, or operator" });
-const taskDevboxSchema = z.strictObject({
-	devboxId: z.string().min(1).describe("Devbox running or having run this task."),
-	remoteId: z.string().min(1).describe("Provider-side id of the execution."),
-	harness: harnessSchema
-});
-const taskQuestionSchema = z.strictObject({
-	text: z.string().min(1).describe("The question a human must answer."),
-	options: z.array(z.string().min(1)).describe("Suggested answers; free-text is also allowed."),
-	answer: z.string().min(1).optional(),
-	answeredBy: z.string().min(1).optional().describe("Authenticated operator who answered.")
-});
-const taskSchema = z.strictObject({
-	schemaVersion: schemaVersionSchema,
-	id: taskIdSchema,
-	repositoryIds: repositoryIdsSchema.optional().describe("Repositories the task works on; absent only on a multi-repo parent."),
-	kind: taskKindSchema,
-	area: z.string().min(1).optional().describe("Investigation area, e.g. onboarding or security. Investigation tasks only."),
-	state: taskStateSchema,
-	approval: taskApprovalSchema.optional(),
-	origin: taskOriginSchema,
-	dependsOn: z.array(taskIdSchema).min(1).optional().describe("Sibling tasks that must produce a change before this one may run."),
-	replyTo: replyToSchema,
-	devbox: taskDevboxSchema.optional(),
-	attempt: z.number().int().min(1).describe("Execution attempt, starting at 1; bumps on retry."),
-	reservedUsd: usdSchema.optional().describe("Budget reserved before dispatch."),
-	settledUsd: usdSchema.optional().describe("Measured cost settled after execution."),
-	question: taskQuestionSchema.optional(),
-	changeId: changeIdSchema.optional().describe("Change this code_change task produced."),
-	reportRef: z.string().min(1).optional().describe("Reference to the report artifact an investigation produced."),
-	createdAt: isoDateTimeSchema,
-	updatedAt: isoDateTimeSchema
-}).superRefine((task, ctx) => {
-	if (task.area !== void 0 && task.kind !== "investigation") ctx.addIssue({
-		code: "custom",
-		path: ["area"],
-		message: "area is only valid on investigation tasks"
-	});
-	if (task.kind === "question") {
-		if (task.question === void 0) ctx.addIssue({
-			code: "custom",
-			path: ["question"],
-			message: "question tasks require a question"
-		});
-		if (task.devbox !== void 0) ctx.addIssue({
-			code: "custom",
-			path: ["devbox"],
-			message: "question tasks never run in a devbox"
-		});
-	} else if (task.question !== void 0) ctx.addIssue({
-		code: "custom",
-		path: ["question"],
-		message: "question is only valid on question tasks"
-	});
-	if (task.changeId !== void 0 && task.kind !== "code_change") ctx.addIssue({
-		code: "custom",
-		path: ["changeId"],
-		message: "changeId is only valid on code_change tasks"
-	});
-	if (task.reportRef !== void 0 && task.kind !== "investigation") ctx.addIssue({
-		code: "custom",
-		path: ["reportRef"],
-		message: "reportRef is only valid on investigation tasks"
-	});
-});
-//#endregion
-export { taskKindSchema as a, taskSchema as c, changeSchema as d, changeStateSchema as f, dispatchTask as g, DispatchRefusedError as h, taskDevboxSchema as i, taskStateSchema as l, DEFAULT_MAX_LAUNCH_ATTEMPTS as m, standardTaskKinds as n, taskOriginSchema as o, levelSchema as p, taskApprovalSchema as r, taskQuestionSchema as s, harnessSchema as t, changeEvidenceSchema as u };
+export { taskSchema as _, DEFAULT_MAX_LAUNCH_ATTEMPTS as a, coordinationRepositoryIdsSchema as c, taskApprovalSchema as d, taskDevboxSchema as f, taskQuestionSchema as g, taskOriginSchema as h, levelSchema as i, harnessSchema as l, taskKindSchema as m, changeSchema as n, DispatchRefusedError as o, taskExecutionRepositoryIdsSchema as p, changeStateSchema as r, dispatchTask as s, changeEvidenceSchema as t, standardTaskKinds as u, taskStateSchema as v };
 
-//# sourceMappingURL=task-DMHuvBI0.mjs.map
+//# sourceMappingURL=change-BPYhWKuL.mjs.map

package/dist/change-BPYhWKuL.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-BPYhWKuL.mjs","names":[],"sources":["../src/schema/task.ts","../src/dispatch.ts","../src/schema/change.ts"],"sourcesContent":["import { z } from \"zod\";\nimport {\n  isoDateTimeSchema,\n  replyToSchema,\n  schemaVersionSchema,\n  usdSchema,\n  vocabularySchema,\n} from \"./common\";\nimport {\n  changeIdSchema,\n  repositoryIdSchema,\n  repositoryIdsSchema,\n  signalIdSchema,\n  taskIdSchema,\n} from \"./id\";\n\n/**\n * Kinds the standard loop understands. Any vocabulary value is valid; the\n * kind-scoped rules below apply only to these standard kinds.\n */\nexport const standardTaskKinds = [\n  \"coordination\",\n  \"code_change\",\n  \"verification\",\n  \"investigation\",\n  \"question\",\n] as const;\n\nexport const taskKindSchema = vocabularySchema.describe(\n  \"What kind of work this is, e.g. code_change, question, or a registered custom kind.\",\n);\n\nexport const taskStateSchema = z\n  .enum([\"queued\", \"running\", \"verifying\", \"succeeded\", \"failed\", \"needs_human\", \"cancelled\"])\n  .describe(\"Lifecycle state. Transitions are fixed; see taskTransitions.\");\n\nexport const taskApprovalSchema = z\n  .enum([\"required\", \"granted\", \"denied\"])\n  .describe(\n    \"Human approval status. Absent means no approval is needed. Stamped required at creation by policy; granted or denied by an operator.\",\n  );\n\nexport const taskExecutionRepositoryIdsSchema = z\n  .tuple([repositoryIdSchema])\n  .describe(\"The one repository used to execute a task.\");\n\nexport const coordinationRepositoryIdsSchema = z\n  .tuple([repositoryIdSchema, repositoryIdSchema])\n  .rest(repositoryIdSchema)\n  .refine((repositoryIds) => new Set(repositoryIds).size === repositoryIds.length, {\n    message: \"Coordination tasks require distinct repositories.\",\n  })\n  .describe(\"The distinct repositories coordinated by a non-executable parent task.\");\n\nexport const harnessSchema = z\n  .string()\n  .min(1)\n  .describe(\"Coding harness used in the devbox, e.g. claude-code or codex.\");\n\nexport const taskOriginSchema = z\n  .strictObject({\n    signalId: signalIdSchema.optional().describe(\"Signal that led to this task.\"),\n    parentTaskId: taskIdSchema.optional().describe(\"Parent task that planned this child.\"),\n    operator: z.string().min(1).optional().describe(\"Human operator who requested it.\"),\n  })\n  .refine(\n    (origin) =>\n      origin.signalId !== undefined ||\n      origin.parentTaskId !== undefined ||\n      origin.operator !== undefined,\n    { message: \"origin requires a signalId, parentTaskId, or operator\" },\n  );\n\nexport const taskDevboxSchema = z.strictObject({\n  devboxId: z.string().min(1).describe(\"Devbox running or having run this task.\"),\n  remoteId: z.string().min(1).describe(\"Provider-side id of the execution.\"),\n  harness: harnessSchema,\n});\n\nexport const taskQuestionSchema = z.strictObject({\n  text: z.string().min(1).describe(\"The question a human must answer.\"),\n  options: z.array(z.string().min(1)).describe(\"Suggested answers; free-text is also allowed.\"),\n  answer: z.string().min(1).optional(),\n  answeredBy: z.string().min(1).optional().describe(\"Authenticated operator who answered.\"),\n});\n\nexport const taskSchema = z\n  .strictObject({\n    schemaVersion: schemaVersionSchema,\n    id: taskIdSchema,\n    repositoryIds: repositoryIdsSchema.describe(\"Repositories the task concerns.\"),\n    kind: taskKindSchema,\n    area: z\n      .string()\n      .min(1)\n      .optional()\n      .describe(\"Investigation area, e.g. onboarding or security. Investigation tasks only.\"),\n    state: taskStateSchema,\n    approval: taskApprovalSchema.optional(),\n    origin: taskOriginSchema,\n    dependsOn: z\n      .array(taskIdSchema)\n      .min(1)\n      .optional()\n      .describe(\"Sibling tasks that must produce a change before this one may run.\"),\n    replyTo: replyToSchema,\n    devbox: taskDevboxSchema.optional(),\n    attempt: z\n      .number()\n      .int()\n      .min(1)\n      .describe(\"Execution attempt, starting at 1; bumps on retry.\"),\n    reservedUsd: usdSchema.optional().describe(\"Budget reserved before dispatch.\"),\n    settledUsd: usdSchema.optional().describe(\"Measured cost settled after execution.\"),\n    question: taskQuestionSchema.optional(),\n    changeId: changeIdSchema.optional().describe(\"Change this code_change task produced.\"),\n    reportRef: z\n      .string()\n      .min(1)\n      .optional()\n      .describe(\"Reference to the report artifact an investigation produced.\"),\n    createdAt: isoDateTimeSchema,\n    updatedAt: isoDateTimeSchema,\n  })\n  .superRefine((task, ctx) => {\n    if (\n      task.kind === \"coordination\" &&\n      !coordinationRepositoryIdsSchema.safeParse(task.repositoryIds).success\n    ) {\n      ctx.addIssue({\n        code: \"custom\",\n        path: [\"repositoryIds\"],\n        message: \"coordination tasks require at least two distinct repositories\",\n      });\n    }\n    if (\n      (task.kind === \"code_change\" || task.kind === \"verification\") &&\n      task.repositoryIds.length !== 1\n    ) {\n      ctx.addIssue({\n        code: \"custom\",\n        path: [\"repositoryIds\"],\n        message: `${task.kind} tasks require exactly one repository`,\n      });\n    }\n    if (task.area !== undefined && task.kind !== \"investigation\") {\n      ctx.addIssue({\n        code: \"custom\",\n        path: [\"area\"],\n        message: \"area is only valid on investigation tasks\",\n      });\n    }\n    if (task.kind === \"question\") {\n      if (task.question === undefined) {\n        ctx.addIssue({\n          code: \"custom\",\n          path: [\"question\"],\n          message: \"question tasks require a question\",\n        });\n      }\n      if (task.devbox !== undefined) {\n        ctx.addIssue({\n          code: \"custom\",\n          path: [\"devbox\"],\n          message: \"question tasks never run in a devbox\",\n        });\n      }\n    } else if (task.question !== undefined) {\n      ctx.addIssue({\n        code: \"custom\",\n        path: [\"question\"],\n        message: \"question is only valid on question tasks\",\n      });\n    }\n    if (task.kind === \"coordination\" && task.devbox !== undefined) {\n      ctx.addIssue({\n        code: \"custom\",\n        path: [\"devbox\"],\n        message: \"coordination tasks never run in a devbox\",\n      });\n    }\n    if (task.changeId !== undefined && task.kind !== \"code_change\") {\n      ctx.addIssue({\n        code: \"custom\",\n        path: [\"changeId\"],\n        message: \"changeId is only valid on code_change tasks\",\n      });\n    }\n    if (task.reportRef !== undefined && task.kind !== \"investigation\") {\n      ctx.addIssue({\n        code: \"custom\",\n        path: [\"reportRef\"],\n        message: \"reportRef is only valid on investigation tasks\",\n      });\n    }\n  });\n\nexport type TaskApproval = z.infer<typeof taskApprovalSchema>;\nexport type TaskKind = z.infer<typeof taskKindSchema>;\nexport type TaskState = z.infer<typeof taskStateSchema>;\nexport type Task = z.infer<typeof taskSchema>;\n","import type { TaskId } from \"./schema/id\";\nimport { taskExecutionRepositoryIdsSchema, type Task } from \"./schema/task\";\nimport { RecordNotFoundError } from \"./store/driver\";\nimport type { FactoryStores } from \"./store/engine\";\n\nexport class DispatchRefusedError extends Error {\n  readonly taskId: TaskId;\n  readonly reason: string;\n\n  constructor(taskId: TaskId, reason: string) {\n    super(`dispatch of \"${taskId}\" refused: ${reason}`);\n    this.name = \"DispatchRefusedError\";\n    this.taskId = taskId;\n    this.reason = reason;\n  }\n}\n\nexport interface DispatchOptions {\n  /**\n   * Starts the durable execution for the task (an Eve agent run). Runs after\n   * the task has won the queued -> running transition. The execution owns its\n   * own provisioning: it creates its Devbox as its first step and patches the\n   * task record with the result.\n   */\n  launch: (task: Task) => Promise<void>;\n  /** How many launches to try before the task fails for good; a failure re-queues for the next sweep. */\n  maxLaunchAttempts?: number;\n}\n\n// A fresh Vercel project rejects its own agents' sessions until its identity\n// finishes provisioning; at one sweep per minute the budget must outlast that.\nexport const DEFAULT_MAX_LAUNCH_ATTEMPTS = 45;\n\n/**\n * The handshake between recorded work and execution: win the store-gated\n * transition (at most one dispatcher can succeed), then start the run. A\n * launch failure re-queues the task (bumping its attempt) until the attempt\n * limit, then fails it; a crash between the transition and the launch leaves\n * a running task with no execution, which the sweep reaps.\n */\nexport async function dispatchTask(\n  stores: FactoryStores,\n  taskId: TaskId,\n  options: DispatchOptions,\n): Promise<Task> {\n  const task = await stores.tasks.get(taskId);\n  if (task === null) {\n    throw new RecordNotFoundError(\"tasks\", taskId);\n  }\n  if (task.kind === \"question\") {\n    throw new DispatchRefusedError(taskId, \"question tasks are answered, not dispatched\");\n  }\n  if (task.kind === \"coordination\") {\n    throw new DispatchRefusedError(taskId, \"coordination tasks are reconciled, not dispatched\");\n  }\n  if (!taskExecutionRepositoryIdsSchema.safeParse(task.repositoryIds).success) {\n    throw new DispatchRefusedError(taskId, \"task execution requires exactly one repository\");\n  }\n  if (task.approval === \"required\") {\n    throw new DispatchRefusedError(taskId, \"awaiting human approval\");\n  }\n  if (task.approval === \"denied\") {\n    throw new DispatchRefusedError(taskId, \"approval was denied\");\n  }\n  for (const dependencyId of task.dependsOn ?? []) {\n    const dependency = await stores.tasks.get(dependencyId);\n    if (dependency === null) {\n      throw new DispatchRefusedError(taskId, `dependency \"${dependencyId}\" does not exist`);\n    }\n    if (dependency.changeId === undefined) {\n      throw new DispatchRefusedError(\n        taskId,\n        `dependency \"${dependencyId}\" has not produced a change`,\n      );\n    }\n  }\n\n  const running = await stores.tasks.transition(taskId, \"running\");\n  try {\n    await options.launch(running);\n  } catch (error) {\n    const reason = (error instanceof Error ? error.message : String(error)).slice(0, 500);\n    const limit = options.maxLaunchAttempts ?? DEFAULT_MAX_LAUNCH_ATTEMPTS;\n    if (running.attempt < limit) {\n      const retryReason = `launch failed (attempt ${running.attempt} of ${limit}), will retry: ${reason}`;\n      await stores.tasks.transition(taskId, \"queued\", { reason: retryReason }).catch(() => undefined);\n      // The queued transition writes no receipt; leave one so the retry is visible.\n      if (running.repositoryIds !== undefined) {\n        await stores.receipts\n          .append({\n            repositoryIds: running.repositoryIds,\n            taskId,\n            kind: \"task\",\n            state: \"launch_retry\",\n            reason: retryReason,\n            dedupeKey: `task:${taskId}:launch_retry:${running.attempt}`,\n          })\n          .catch(() => undefined);\n      }\n    } else {\n      await stores.tasks\n        .transition(taskId, \"failed\", { reason: `launch failed after ${running.attempt} attempts: ${reason}` })\n        .catch(() => undefined);\n    }\n    throw error;\n  }\n  return running;\n}\n","import { z } from \"zod\";\nimport { isoDateTimeSchema, schemaVersionSchema } from \"./common\";\nimport { changeIdSchema, repositoryIdSchema, taskIdSchema } from \"./id\";\n\nexport const levelSchema = z.enum([\"low\", \"medium\", \"high\"]);\n\nexport const changeStateSchema = z.enum([\n  \"verifying\",\n  \"ready\",\n  \"merged\",\n  \"deployed\",\n  \"rolled_out\",\n  \"rolled_back\",\n  \"closed\",\n]);\n\nconst postMergeStates: readonly string[] = [\"merged\", \"deployed\", \"rolled_out\", \"rolled_back\"];\n\nexport const changeEvidenceSchema = z.strictObject({\n  reproVerified: z.boolean(),\n  testsAdded: z.number().int().min(0),\n  checksGreen: z.boolean(),\n  attackPassed: z.boolean(),\n  scopeMatches: z.boolean(),\n  previewUrl: z.url().optional(),\n});\n\nexport const changeSchema = z\n  .strictObject({\n    schemaVersion: schemaVersionSchema,\n    id: changeIdSchema,\n    repositoryId: repositoryIdSchema,\n    taskId: taskIdSchema.optional(),\n    groupId: taskIdSchema.optional(),\n    prNumber: z.number().int().min(1),\n    prUrl: z.url(),\n    author: z.string().min(1),\n    risk: levelSchema,\n    confidence: levelSchema,\n    evidence: changeEvidenceSchema,\n    state: changeStateSchema,\n    mergeSha: z\n      .string()\n      .regex(/^[0-9a-f]{40}$/)\n      .optional()\n      .describe(\"Merge commit sha recorded when the pull request merges, matched against production deployments.\"),\n    decidedBy: z.string().min(1).optional(),\n    createdAt: isoDateTimeSchema,\n    updatedAt: isoDateTimeSchema,\n  })\n  .superRefine((change, ctx) => {\n    if (postMergeStates.includes(change.state) && change.decidedBy === undefined) {\n      ctx.addIssue({\n        code: \"custom\",\n        path: [\"decidedBy\"],\n        message: `${change.state} changes require decidedBy`,\n      });\n    }\n  });\n\nexport type Level = z.infer<typeof levelSchema>;\nexport type ChangeState = z.infer<typeof changeStateSchema>;\nexport type ChangeEvidence = z.infer<typeof changeEvidenceSchema>;\nexport type Change = z.infer<typeof changeSchema>;\n"],"mappings":";;;;;;;;AAoBA,MAAa,oBAAoB;CAC/B;CACA;CACA;CACA;CACA;AACF;AAEA,MAAa,iBAAiB,iBAAiB,SAC7C,qFACF;AAEA,MAAa,kBAAkB,EAC5B,KAAK;CAAC;CAAU;CAAW;CAAa;CAAa;CAAU;CAAe;AAAW,CAAC,CAAC,CAC3F,SAAS,8DAA8D;AAE1E,MAAa,qBAAqB,EAC/B,KAAK;CAAC;CAAY;CAAW;AAAQ,CAAC,CAAC,CACvC,SACC,sIACF;AAEF,MAAa,mCAAmC,EAC7C,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAC3B,SAAS,4CAA4C;AAExD,MAAa,kCAAkC,EAC5C,MAAM,CAAC,oBAAoB,kBAAkB,CAAC,CAAC,CAC/C,KAAK,kBAAkB,CAAC,CACxB,QAAQ,kBAAkB,IAAI,IAAI,aAAa,CAAC,CAAC,SAAS,cAAc,QAAQ,EAC/E,SAAS,oDACX,CAAC,CAAC,CACD,SAAS,wEAAwE;AAEpF,MAAa,gBAAgB,EAC1B,OAAO,CAAC,CACR,IAAI,CAAC,CAAC,CACN,SAAS,+DAA+D;AAE3E,MAAa,mBAAmB,EAC7B,aAAa;CACZ,UAAU,eAAe,SAAS,CAAC,CAAC,SAAS,+BAA+B;CAC5E,cAAc,aAAa,SAAS,CAAC,CAAC,SAAS,sCAAsC;CACrF,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,kCAAkC;AACpF,CAAC,CAAC,CACD,QACE,WACC,OAAO,aAAa,KAAA,KACpB,OAAO,iBAAiB,KAAA,KACxB,OAAO,aAAa,KAAA,GACtB,EAAE,SAAS,wDAAwD,CACrE;AAEF,MAAa,mBAAmB,EAAE,aAAa;CAC7C,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,yCAAyC;CAC9E,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,oCAAoC;CACzE,SAAS;AACX,CAAC;AAED,MAAa,qBAAqB,EAAE,aAAa;CAC/C,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,mCAAmC;CACpE,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,+CAA+C;CAC5F,QAAQ,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;CACnC,YAAY,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,sCAAsC;AAC1F,CAAC;AAED,MAAa,aAAa,EACvB,aAAa;CACZ,eAAe;CACf,IAAI;CACJ,eAAe,oBAAoB,SAAS,iCAAiC;CAC7E,MAAM;CACN,MAAM,EACH,OAAO,CAAC,CACR,IAAI,CAAC,CAAC,CACN,SAAS,CAAC,CACV,SAAS,4EAA4E;CACxF,OAAO;CACP,UAAU,mBAAmB,SAAS;CACtC,QAAQ;CACR,WAAW,EACR,MAAM,YAAY,CAAC,CACnB,IAAI,CAAC,CAAC,CACN,SAAS,CAAC,CACV,SAAS,mEAAmE;CAC/E,SAAS;CACT,QAAQ,iBAAiB,SAAS;CAClC,SAAS,EACN,OAAO,CAAC,CACR,IAAI,CAAC,CACL,IAAI,CAAC,CAAC,CACN,SAAS,mDAAmD;CAC/D,aAAa,UAAU,SAAS,CAAC,CAAC,SAAS,kCAAkC;CAC7E,YAAY,UAAU,SAAS,CAAC,CAAC,SAAS,wCAAwC;CAClF,UAAU,mBAAmB,SAAS;CACtC,UAAU,eAAe,SAAS,CAAC,CAAC,SAAS,wCAAwC;CACrF,WAAW,EACR,OAAO,CAAC,CACR,IAAI,CAAC,CAAC,CACN,SAAS,CAAC,CACV,SAAS,6DAA6D;CACzE,WAAW;CACX,WAAW;AACb,CAAC,CAAC,CACD,aAAa,MAAM,QAAQ;CAC1B,IACE,KAAK,SAAS,kBACd,CAAC,gCAAgC,UAAU,KAAK,aAAa,CAAC,CAAC,SAE/D,IAAI,SAAS;EACX,MAAM;EACN,MAAM,CAAC,eAAe;EACtB,SAAS;CACX,CAAC;CAEH,KACG,KAAK,SAAS,iBAAiB,KAAK,SAAS,mBAC9C,KAAK,cAAc,WAAW,GAE9B,IAAI,SAAS;EACX,MAAM;EACN,MAAM,CAAC,eAAe;EACtB,SAAS,GAAG,KAAK,KAAK;CACxB,CAAC;CAEH,IAAI,KAAK,SAAS,KAAA,KAAa,KAAK,SAAS,iBAC3C,IAAI,SAAS;EACX,MAAM;EACN,MAAM,CAAC,MAAM;EACb,SAAS;CACX,CAAC;CAEH,IAAI,KAAK,SAAS,YAAY;EAC5B,IAAI,KAAK,aAAa,KAAA,GACpB,IAAI,SAAS;GACX,MAAM;GACN,MAAM,CAAC,UAAU;GACjB,SAAS;EACX,CAAC;EAEH,IAAI,KAAK,WAAW,KAAA,GAClB,IAAI,SAAS;GACX,MAAM;GACN,MAAM,CAAC,QAAQ;GACf,SAAS;EACX,CAAC;CAEL,OAAO,IAAI,KAAK,aAAa,KAAA,GAC3B,IAAI,SAAS;EACX,MAAM;EACN,MAAM,CAAC,UAAU;EACjB,SAAS;CACX,CAAC;CAEH,IAAI,KAAK,SAAS,kBAAkB,KAAK,WAAW,KAAA,GAClD,IAAI,SAAS;EACX,MAAM;EACN,MAAM,CAAC,QAAQ;EACf,SAAS;CACX,CAAC;CAEH,IAAI,KAAK,aAAa,KAAA,KAAa,KAAK,SAAS,eAC/C,IAAI,SAAS;EACX,MAAM;EACN,MAAM,CAAC,UAAU;EACjB,SAAS;CACX,CAAC;CAEH,IAAI,KAAK,cAAc,KAAA,KAAa,KAAK,SAAS,iBAChD,IAAI,SAAS;EACX,MAAM;EACN,MAAM,CAAC,WAAW;EAClB,SAAS;CACX,CAAC;AAEL,CAAC;;;AC9LH,IAAa,uBAAb,cAA0C,MAAM;CAC9C;CACA;CAEA,YAAY,QAAgB,QAAgB;EAC1C,MAAM,gBAAgB,OAAO,aAAa,QAAQ;EAClD,KAAK,OAAO;EACZ,KAAK,SAAS;EACd,KAAK,SAAS;CAChB;AACF;AAgBA,MAAa,8BAA8B;;;;;;;;AAS3C,eAAsB,aACpB,QACA,QACA,SACe;CACf,MAAM,OAAO,MAAM,OAAO,MAAM,IAAI,MAAM;CAC1C,IAAI,SAAS,MACX,MAAM,IAAI,oBAAoB,SAAS,MAAM;CAE/C,IAAI,KAAK,SAAS,YAChB,MAAM,IAAI,qBAAqB,QAAQ,6CAA6C;CAEtF,IAAI,KAAK,SAAS,gBAChB,MAAM,IAAI,qBAAqB,QAAQ,mDAAmD;CAE5F,IAAI,CAAC,iCAAiC,UAAU,KAAK,aAAa,CAAC,CAAC,SAClE,MAAM,IAAI,qBAAqB,QAAQ,gDAAgD;CAEzF,IAAI,KAAK,aAAa,YACpB,MAAM,IAAI,qBAAqB,QAAQ,yBAAyB;CAElE,IAAI,KAAK,aAAa,UACpB,MAAM,IAAI,qBAAqB,QAAQ,qBAAqB;CAE9D,KAAK,MAAM,gBAAgB,KAAK,aAAa,CAAC,GAAG;EAC/C,MAAM,aAAa,MAAM,OAAO,MAAM,IAAI,YAAY;EACtD,IAAI,eAAe,MACjB,MAAM,IAAI,qBAAqB,QAAQ,eAAe,aAAa,iBAAiB;EAEtF,IAAI,WAAW,aAAa,KAAA,GAC1B,MAAM,IAAI,qBACR,QACA,eAAe,aAAa,4BAC9B;CAEJ;CAEA,MAAM,UAAU,MAAM,OAAO,MAAM,WAAW,QAAQ,SAAS;CAC/D,IAAI;EACF,MAAM,QAAQ,OAAO,OAAO;CAC9B,SAAS,OAAO;EACd,MAAM,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,EAAA,CAAG,MAAM,GAAG,GAAG;EACpF,MAAM,QAAQ,QAAQ,qBAAA;EACtB,IAAI,QAAQ,UAAU,OAAO;GAC3B,MAAM,cAAc,0BAA0B,QAAQ,QAAQ,MAAM,MAAM,iBAAiB;GAC3F,MAAM,OAAO,MAAM,WAAW,QAAQ,UAAU,EAAE,QAAQ,YAAY,CAAC,CAAC,CAAC,YAAY,KAAA,CAAS;GAE9F,IAAI,QAAQ,kBAAkB,KAAA,GAC5B,MAAM,OAAO,SACV,OAAO;IACN,eAAe,QAAQ;IACvB;IACA,MAAM;IACN,OAAO;IACP,QAAQ;IACR,WAAW,QAAQ,OAAO,gBAAgB,QAAQ;GACpD,CAAC,CAAC,CACD,YAAY,KAAA,CAAS;EAE5B,OACE,MAAM,OAAO,MACV,WAAW,QAAQ,UAAU,EAAE,QAAQ,uBAAuB,QAAQ,QAAQ,aAAa,SAAS,CAAC,CAAC,CACtG,YAAY,KAAA,CAAS;EAE1B,MAAM;CACR;CACA,OAAO;AACT;;;ACvGA,MAAa,cAAc,EAAE,KAAK;CAAC;CAAO;CAAU;AAAM,CAAC;AAE3D,MAAa,oBAAoB,EAAE,KAAK;CACtC;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;AAED,MAAM,kBAAqC;CAAC;CAAU;CAAY;CAAc;AAAa;AAE7F,MAAa,uBAAuB,EAAE,aAAa;CACjD,eAAe,EAAE,QAAQ;CACzB,YAAY,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;CAClC,aAAa,EAAE,QAAQ;CACvB,cAAc,EAAE,QAAQ;CACxB,cAAc,EAAE,QAAQ;CACxB,YAAY,EAAE,IAAI,CAAC,CAAC,SAAS;AAC/B,CAAC;AAED,MAAa,eAAe,EACzB,aAAa;CACZ,eAAe;CACf,IAAI;CACJ,cAAc;CACd,QAAQ,aAAa,SAAS;CAC9B,SAAS,aAAa,SAAS;CAC/B,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;CAChC,OAAO,EAAE,IAAI;CACb,QAAQ,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC;CACxB,MAAM;CACN,YAAY;CACZ,UAAU;CACV,OAAO;CACP,UAAU,EACP,OAAO,CAAC,CACR,MAAM,gBAAgB,CAAC,CACvB,SAAS,CAAC,CACV,SAAS,iGAAiG;CAC7G,WAAW,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;CACtC,WAAW;CACX,WAAW;AACb,CAAC,CAAC,CACD,aAAa,QAAQ,QAAQ;CAC5B,IAAI,gBAAgB,SAAS,OAAO,KAAK,KAAK,OAAO,cAAc,KAAA,GACjE,IAAI,SAAS;EACX,MAAM;EACN,MAAM,CAAC,WAAW;EAClB,SAAS,GAAG,OAAO,MAAM;CAC3B,CAAC;AAEL,CAAC"}

package/dist/eve/index.d.mts

@@ -1,5 +1,5 @@
-import { c as Finding, k as FactoryStores, t as ApprovalPolicy } from "../approval-MoiwGpkh.mjs";
-import { d as GitHubReviewComment } from "../github-DMOypeIu.mjs";
+import { A as FactoryStores, c as Finding, t as ApprovalPolicy } from "../approval-CDiBco2V.mjs";
+import { T as PullRequestReviewComment, b as GitHubReviewComment, j as SubmittedPullRequestReview } from "../github-wThBfbm-.mjs";
 import { z } from "zod";
 //#region src/eve/fetch.d.ts
 /** The subset of the eve sandbox handle a credentialed git operation needs. */
@@ -378,6 +378,76 @@ declare function invokeAgentTool(stores: FactoryStores, options: InvokeAgentOpti
   }>;
 };
 //#endregion
+//#region src/eve/post-review.d.ts
+interface PublishedReview {
+  taskId: string;
+  changeId: string;
+  repository: string;
+  headSha: string;
+  verdict: "approve" | "request_changes" | "comment";
+  summary: string;
+  comments: readonly PullRequestReviewComment[];
+  review: SubmittedPullRequestReview;
+}
+interface PostReviewToolOptions {
+  tokenForRepository: (repository: string) => Promise<string>;
+  onPublished?: (published: PublishedReview) => Promise<void>;
+  fetch?: typeof globalThis.fetch;
+}
+/**
+ * Publish an independent review of an existing pull request and finish the
+ * review task without changing the pull request's factory lifecycle.
+ */
+declare function postReviewTool(stores: FactoryStores, options: PostReviewToolOptions): import("eve/tools").ToolDefinition<{
+  taskId: string;
+  changeId: string;
+  verdict: "approve" | "request_changes" | "comment";
+  headSha: string;
+  summary: string;
+  comments: {
+    path: string;
+    line: number;
+    body: string;
+  }[];
+}, {
+  recorded: false;
+  reason: string;
+  verdict?: undefined;
+  review?: undefined;
+  taskState?: undefined;
+} | {
+  recorded: true;
+  verdict: "approve" | "request_changes" | "comment";
+  review: SubmittedPullRequestReview;
+  taskState: "queued" | "running" | "verifying" | "succeeded" | "failed" | "needs_human" | "cancelled";
+  reason?: undefined;
+}> & {
+  execute(input: {
+    taskId: string;
+    changeId: string;
+    verdict: "approve" | "request_changes" | "comment";
+    headSha: string;
+    summary: string;
+    comments: {
+      path: string;
+      line: number;
+      body: string;
+    }[];
+  }, ctx: import("eve/tools").ToolContext): Promise<{
+    recorded: false;
+    reason: string;
+    verdict?: undefined;
+    review?: undefined;
+    taskState?: undefined;
+  } | {
+    recorded: true;
+    verdict: "approve" | "request_changes" | "comment";
+    review: SubmittedPullRequestReview;
+    taskState: "queued" | "running" | "verifying" | "succeeded" | "failed" | "needs_human" | "cancelled";
+    reason?: undefined;
+  }>;
+};
+//#endregion
 //#region src/eve/review.d.ts
 interface ReviewCommentToolOptions<S extends CommandSandbox = CommandSandbox> {
   tokenForRepository: (repository: string) => Promise<string>;
@@ -562,6 +632,7 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
   }, {
     schemaVersion: 1;
     id: string;
+    repositoryIds: string[];
     kind: string;
     state: "queued" | "running" | "verifying" | "succeeded" | "failed" | "needs_human" | "cancelled";
     origin: {
@@ -576,7 +647,6 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
     attempt: number;
     createdAt: string;
     updatedAt: string;
-    repositoryIds?: string[] | undefined;
     area?: string | undefined;
     approval?: "required" | "granted" | "denied" | undefined;
     dependsOn?: string[] | undefined;
@@ -604,6 +674,7 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
     }, ctx: import("eve/tools").ToolContext): Promise<{
       schemaVersion: 1;
       id: string;
+      repositoryIds: string[];
       kind: string;
       state: "queued" | "running" | "verifying" | "succeeded" | "failed" | "needs_human" | "cancelled";
       origin: {
@@ -618,7 +689,6 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
       attempt: number;
       createdAt: string;
       updatedAt: string;
-      repositoryIds?: string[] | undefined;
       area?: string | undefined;
       approval?: "required" | "granted" | "denied" | undefined;
       dependsOn?: string[] | undefined;
@@ -724,6 +794,7 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
     task: {
       schemaVersion: 1;
       id: string;
+      repositoryIds: string[];
       kind: string;
       state: "queued" | "running" | "verifying" | "succeeded" | "failed" | "needs_human" | "cancelled";
       origin: {
@@ -738,7 +809,6 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
       attempt: number;
       createdAt: string;
       updatedAt: string;
-      repositoryIds?: string[] | undefined;
       area?: string | undefined;
       approval?: "required" | "granted" | "denied" | undefined;
       dependsOn?: string[] | undefined;
@@ -796,6 +866,7 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
       task: {
         schemaVersion: 1;
         id: string;
+        repositoryIds: string[];
         kind: string;
         state: "queued" | "running" | "verifying" | "succeeded" | "failed" | "needs_human" | "cancelled";
         origin: {
@@ -810,7 +881,6 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
         attempt: number;
         createdAt: string;
         updatedAt: string;
-        repositoryIds?: string[] | undefined;
         area?: string | undefined;
         approval?: "required" | "granted" | "denied" | undefined;
         dependsOn?: string[] | undefined;
@@ -863,6 +933,7 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
   }, {
     schemaVersion: 1;
     id: string;
+    repositoryIds: string[];
     kind: string;
     state: "queued" | "running" | "verifying" | "succeeded" | "failed" | "needs_human" | "cancelled";
     origin: {
@@ -877,7 +948,6 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
     attempt: number;
     createdAt: string;
     updatedAt: string;
-    repositoryIds?: string[] | undefined;
     area?: string | undefined;
     approval?: "required" | "granted" | "denied" | undefined;
     dependsOn?: string[] | undefined;
@@ -903,6 +973,7 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
     }, ctx: import("eve/tools").ToolContext): Promise<{
       schemaVersion: 1;
       id: string;
+      repositoryIds: string[];
       kind: string;
       state: "queued" | "running" | "verifying" | "succeeded" | "failed" | "needs_human" | "cancelled";
       origin: {
@@ -917,7 +988,6 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
       attempt: number;
       createdAt: string;
       updatedAt: string;
-      repositoryIds?: string[] | undefined;
       area?: string | undefined;
       approval?: "required" | "granted" | "denied" | undefined;
       dependsOn?: string[] | undefined;
@@ -950,6 +1020,7 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
   }, {
     schemaVersion: 1;
     id: string;
+    repositoryIds: string[];
     kind: string;
     state: "queued" | "running" | "verifying" | "succeeded" | "failed" | "needs_human" | "cancelled";
     origin: {
@@ -964,7 +1035,6 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
     attempt: number;
     createdAt: string;
     updatedAt: string;
-    repositoryIds?: string[] | undefined;
     area?: string | undefined;
     approval?: "required" | "granted" | "denied" | undefined;
     dependsOn?: string[] | undefined;
@@ -996,6 +1066,7 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
     }, ctx: import("eve/tools").ToolContext): Promise<{
       schemaVersion: 1;
       id: string;
+      repositoryIds: string[];
       kind: string;
       state: "queued" | "running" | "verifying" | "succeeded" | "failed" | "needs_human" | "cancelled";
       origin: {
@@ -1010,7 +1081,6 @@ declare function factoryTools(stores: FactoryStores, options?: FactoryToolsOptio
       attempt: number;
       createdAt: string;
       updatedAt: string;
-      repositoryIds?: string[] | undefined;
       area?: string | undefined;
       approval?: "required" | "granted" | "denied" | undefined;
       dependsOn?: string[] | undefined;
@@ -1099,5 +1169,5 @@ declare function factoryHooks(stores: FactoryStores): {
 };
 type FactoryHooks = ReturnType<typeof factoryHooks>;
 //#endregion
-export { type CommandSandbox, type DeepsecScanOptions, FactoryHooks, FactoryTools, FactoryToolsOptions, type FetchPullRequestOptions, type FetchPullRequestResult, GateVerdict, type InvokeAgentOptions, type MergeConflictPayload, type MergeConflictToolOptions, RecordChangeInput, type RecordFindingOptions, type RecordFindingResult, type ReviewCommentToolOptions, deepsecScanTool, factoryHooks, factoryTools, fetchPullRequestTool, findingFromDeepsec, invokeAgentTool, mergeConflictPayloadSchema, mergeConflictTools, recordFinding, recordFindingTool, recordVerificationTool, reviewCommentTools };
+export { type CommandSandbox, type DeepsecScanOptions, FactoryHooks, FactoryTools, FactoryToolsOptions, type FetchPullRequestOptions, type FetchPullRequestResult, GateVerdict, type InvokeAgentOptions, type MergeConflictPayload, type MergeConflictToolOptions, type PostReviewToolOptions, type PublishedReview, RecordChangeInput, type RecordFindingOptions, type RecordFindingResult, type ReviewCommentToolOptions, deepsecScanTool, factoryHooks, factoryTools, fetchPullRequestTool, findingFromDeepsec, invokeAgentTool, mergeConflictPayloadSchema, mergeConflictTools, postReviewTool, recordFinding, recordFindingTool, recordVerificationTool, reviewCommentTools };
 //# sourceMappingURL=index.d.mts.map