@markjaquith/agency 2.49.0 → 2.50.0

package/src/services/ReviewService.ts

@@ -0,0 +1,404 @@
+import { Data, Effect, Layer } from "effect"
+import { randomUUID } from "node:crypto"
+import { lstat, mkdir } from "node:fs/promises"
+import { dirname } from "node:path"
+import { FileSystemService } from "./FileSystemService"
+import { PhaseService } from "./PhaseService"
+import { RepositoryService } from "./RepositoryService"
+import { TaskService } from "./TaskService"
+import { WorkbaseService } from "./WorkbaseService"
+import {
+	WorktreeService,
+	type WorktreeRemovalSnapshot,
+} from "./WorktreeService"
+import { withWorktreeLocks } from "./WorktreeLock"
+import {
+	documentWriteStep,
+	runLifecycleTransaction,
+	type TransactionStep,
+} from "./LifecycleTransaction"
+import { RevisionConflictError } from "../workbase/document-revision"
+import {
+	formatMarkdownDocument,
+	parseFrontmatter,
+} from "../workbase/frontmatter"
+import type { ReviewRecord, ReviewSource } from "../workbase/schemas"
+
+class ReviewError extends Data.TaggedError("ReviewError")<{
+	readonly message: string
+	readonly cause?: unknown
+}> {}
+
+const githubRepository = (remote: string) => {
+	const match = remote
+		.replace(/\.git\/?$/, "")
+		.match(/(?:github\.com[/:])([^/]+\/[^/]+)$/i)
+	return match?.[1]?.toLowerCase() ?? null
+}
+
+const pinRef = (taskId: string) =>
+	`refs/agency/reviews/${Buffer.from(taskId).toString("hex")}`
+
+const runGit = async (args: readonly string[]) => {
+	const child = Bun.spawn([...args], { stdout: "pipe", stderr: "pipe" })
+	const [exitCode, stdout, stderr] = await Promise.all([
+		child.exited,
+		new Response(child.stdout).text(),
+		new Response(child.stderr).text(),
+	])
+	if (exitCode !== 0) throw new Error(stderr.trim() || args.join(" "))
+	return stdout.trim()
+}
+
+const WorktreeLayer = Layer.mergeAll(
+	FileSystemService.Default,
+	WorkbaseService.Default,
+	TaskService.Default,
+	PhaseService.Default,
+	WorktreeService.Default,
+)
+
+const runWorktreeEffect = <A, E>(effect: Effect.Effect<A, E, any>) =>
+	Effect.runPromise(
+		effect.pipe(Effect.provide(WorktreeLayer)) as Effect.Effect<A, E, never>,
+	)
+
+const restoreSnapshots = async (
+	snapshots: readonly WorktreeRemovalSnapshot[],
+) => {
+	for (const snapshot of snapshots) {
+		try {
+			await lstat(snapshot.path)
+			continue
+		} catch {}
+		await mkdir(dirname(snapshot.path), { recursive: true })
+		await runGit(
+			snapshot.branch
+				? [
+						"git",
+						"-C",
+						snapshot.repositoryPath,
+						"worktree",
+						"add",
+						snapshot.path,
+						snapshot.branch,
+					]
+				: [
+						"git",
+						"-C",
+						snapshot.repositoryPath,
+						"worktree",
+						"add",
+						"--detach",
+						snapshot.path,
+						snapshot.head,
+					],
+		)
+	}
+}
+
+const normalizeBranch = (input: string, repositoryPath: string) =>
+	Effect.gen(function* () {
+		const fs = yield* FileSystemService
+		if (
+			input.startsWith("refs/") &&
+			!input.startsWith("refs/heads/") &&
+			!input.startsWith("refs/remotes/origin/")
+		) {
+			return yield* new ReviewError({
+				message: `Invalid review branch '${input}'`,
+			})
+		}
+		const name = input
+			.replace(/^refs\/remotes\/origin\//, "")
+			.replace(/^origin\//, "")
+			.replace(/^refs\/heads\//, "")
+		if (
+			!name ||
+			name === "HEAD" ||
+			name.startsWith("-") ||
+			/[\s:*?\[\\^~]/.test(name) ||
+			name.includes("..") ||
+			name.includes("@{")
+		) {
+			return yield* new ReviewError({
+				message: `Invalid review branch '${input}'`,
+			})
+		}
+		const checked = yield* fs.runCommand(
+			["git", "-C", repositoryPath, "check-ref-format", "--branch", name],
+			{ captureOutput: true },
+		)
+		if (checked.exitCode !== 0) {
+			return yield* new ReviewError({
+				message: `Invalid review branch '${input}'`,
+			})
+		}
+		return `refs/heads/${name}`
+	})
+
+const fetchCommit = (repoPath: string, sourceRef: string) =>
+	Effect.gen(function* () {
+		const fs = yield* FileSystemService
+		const temporaryRef = `refs/agency/review-fetch/${process.pid}-${randomUUID()}`
+		const fetched = yield* fs.runCommand(
+			[
+				"git",
+				"-C",
+				repoPath,
+				"fetch",
+				"--no-tags",
+				"origin",
+				`+${sourceRef}:${temporaryRef}`,
+			],
+			{ captureOutput: true },
+		)
+		if (fetched.exitCode !== 0) {
+			const cleanup = yield* fs.runCommand(
+				["git", "-C", repoPath, "update-ref", "-d", temporaryRef],
+				{ captureOutput: true },
+			)
+			return yield* new ReviewError({
+				message: `Review source '${sourceRef}' could not be fetched: ${fetched.stderr.trim()}${cleanup.exitCode === 0 ? "" : `; temporary ref cleanup failed: ${cleanup.stderr.trim()}`}`,
+			})
+		}
+		const resolved = yield* fs.runCommand(
+			[
+				"git",
+				"-C",
+				repoPath,
+				"rev-parse",
+				"--verify",
+				`${temporaryRef}^{commit}`,
+			],
+			{ captureOutput: true },
+		)
+		const cleanup = yield* fs.runCommand(
+			["git", "-C", repoPath, "update-ref", "-d", temporaryRef],
+			{ captureOutput: true },
+		)
+		if (cleanup.exitCode !== 0) {
+			return yield* new ReviewError({
+				message: `Failed to remove temporary review fetch ref: ${cleanup.stderr.trim()}`,
+			})
+		}
+		const commit = resolved.stdout.trim()
+		if (resolved.exitCode !== 0 || !/^[a-f0-9]{40}$/.test(commit)) {
+			return yield* new ReviewError({
+				message: `Review source '${sourceRef}' did not resolve to a commit`,
+			})
+		}
+		return commit
+	})
+
+export class ReviewService extends Effect.Service<ReviewService>()(
+	"ReviewService",
+	{
+		sync: () => ({
+			resolve: (
+				repo: string,
+				input: { readonly pullRequest?: string; readonly ref?: string },
+				startPath: string = process.cwd(),
+			) =>
+				Effect.gen(function* () {
+					const repositories = yield* RepositoryService
+					const repository = yield* repositories.show(repo, startPath)
+					if (!repository.remote || repository.states.includes("missing")) {
+						return yield* new ReviewError({
+							message: `Repository alias '${repo}' must be materialized with an origin remote`,
+						})
+					}
+					let source: ReviewSource
+					let sourceRef: string
+					if (input.pullRequest) {
+						const urlMatch = input.pullRequest.match(
+							/^https:\/\/github\.com\/([^/]+\/[^/]+)\/pull\/(\d+)\/?$/i,
+						)
+						const identifier =
+							urlMatch?.[2] ??
+							(/^\d+$/.test(input.pullRequest) ? input.pullRequest : null)
+						if (!identifier) {
+							return yield* new ReviewError({
+								message: `Invalid GitHub pull request '${input.pullRequest}'`,
+							})
+						}
+						const originRepository = githubRepository(repository.remote)
+						if (!originRepository) {
+							return yield* new ReviewError({
+								message: `Repository alias '${repo}' does not use a GitHub origin`,
+							})
+						}
+						if (urlMatch && urlMatch[1]!.toLowerCase() !== originRepository) {
+							return yield* new ReviewError({
+								message: `Pull request repository '${urlMatch[1]}' does not match alias '${repo}' origin '${originRepository}'`,
+							})
+						}
+						sourceRef = `refs/pull/${identifier}/head`
+						source = {
+							kind: "pull-request",
+							provider: "github",
+							repository: originRepository,
+							identifier,
+							url: `https://github.com/${originRepository}/pull/${identifier}`,
+							fetchRef: sourceRef,
+						}
+					} else if (input.ref) {
+						sourceRef = yield* normalizeBranch(input.ref, repository.path)
+						source = { kind: "branch", ref: sourceRef }
+					} else {
+						return yield* new ReviewError({
+							message: "Exactly one review source is required",
+						})
+					}
+					const commit = yield* fetchCommit(repository.path, sourceRef)
+					return {
+						repo,
+						source,
+						commit,
+						refreshedAt: new Date().toISOString(),
+					} satisfies ReviewRecord
+				}),
+
+			refresh: (
+				taskId: string,
+				startPath: string = process.cwd(),
+				ifRevision?: string,
+			) =>
+				Effect.gen(function* () {
+					const workbase = yield* WorkbaseService
+					const tasks = yield* TaskService
+					const worktrees = yield* WorktreeService
+					const service = yield* ReviewService
+					const repositories = yield* RepositoryService
+					const root = yield* workbase.discover(startPath)
+					return yield* withWorktreeLocks(
+						root,
+						[{ taskId }],
+						Effect.gen(function* () {
+							const task = yield* tasks.show(taskId, root)
+							if (!("review" in task.data)) {
+								return yield* new ReviewError({
+									message: `Task '${taskId}' is not a review task`,
+								})
+							}
+							const previousReview = task.data.review
+							if (task.data.claim?.state === "active") {
+								return yield* new ReviewError({
+									message: `Review task '${taskId}' has an active claim; release or finish it before refreshing`,
+								})
+							}
+							if (ifRevision && task.revision !== ifRevision) {
+								return yield* new RevisionConflictError({
+									path: task.path,
+									target: `task '${taskId}'`,
+									expectedRevision: ifRevision,
+									currentRevision: task.revision,
+									message: `Revision conflict for task '${taskId}'`,
+								})
+							}
+							const inspection = yield* worktrees.inspect(
+								taskId,
+								undefined,
+								root,
+							)
+							if (
+								inspection.conflicts.length ||
+								inspection.checkouts.some((checkout) => checkout.dirty)
+							) {
+								return yield* new ReviewError({
+									message: `Cannot refresh review task '${taskId}'; its checkout is dirty or structurally unexpected`,
+								})
+							}
+							const latest = yield* service.resolve(
+								task.data.review.repo,
+								task.data.review.source.kind === "pull-request"
+									? { pullRequest: task.data.review.source.url }
+									: { ref: task.data.review.source.ref },
+								root,
+							)
+							const parsed = yield* parseFrontmatter(task.content, task.path)
+							const content = formatMarkdownDocument(
+								{ ...task.data, review: latest },
+								parsed.body,
+							)
+							const repository = yield* repositories.show(
+								task.data.review.repo,
+								root,
+							)
+							const hadCheckout = inspection.checkouts.some(
+								(checkout) => checkout.exists || checkout.registered,
+							)
+							const snapshots: WorktreeRemovalSnapshot[] = []
+							const steps: TransactionStep[] = []
+							if (hadCheckout) {
+								steps.push({
+									label: `remove review checkout for ${taskId}`,
+									apply: () =>
+										runWorktreeEffect(
+											worktrees.remove(taskId, undefined, root, {
+												snapshots,
+												lockHeld: true,
+											}),
+										).then(() => undefined),
+									rollback: () => restoreSnapshots(snapshots),
+									manualRecovery: `Restore the detached checkout under ${inspection.codePath}`,
+								})
+							}
+							steps.push(
+								documentWriteStep(root, [{ path: task.path, content }]),
+							)
+							steps.push({
+								label: `advance review pin for ${taskId}`,
+								apply: () =>
+									runGit([
+										"git",
+										"-C",
+										repository.path,
+										"update-ref",
+										pinRef(taskId),
+										latest.commit,
+										previousReview.commit,
+									]).then(() => undefined),
+								rollback: () =>
+									runGit([
+										"git",
+										"-C",
+										repository.path,
+										"update-ref",
+										pinRef(taskId),
+										previousReview.commit,
+										latest.commit,
+									]).then(() => undefined),
+								manualRecovery: `Reset ${pinRef(taskId)} to ${previousReview.commit}`,
+							})
+							if (hadCheckout) {
+								steps.push({
+									label: `create refreshed review checkout for ${taskId}`,
+									apply: () =>
+										runWorktreeEffect(
+											worktrees.materialize(taskId, undefined, root, {
+												lockHeld: true,
+											}),
+										).then(() => undefined),
+									manualRecovery: `Run agency work prepare for review task '${taskId}'`,
+								})
+							}
+							yield* runLifecycleTransaction({
+								root,
+								preconditions: [{ path: task.path, revision: task.revision }],
+								steps,
+							})
+							return {
+								taskId,
+								previousCommit: task.data.review.commit,
+								commit: latest.commit,
+								changed: latest.commit !== task.data.review.commit,
+								refreshedAt: latest.refreshedAt,
+								revision: (yield* tasks.show(taskId, root)).revision,
+							}
+						}),
+					)
+				}),
+		}),
+	},
+) {}

package/src/services/SyncService.test.ts

@@ -583,7 +583,7 @@ process.stdout.write(${JSON.stringify(JSON.stringify(record))})
 				),
 			),
 		)
-		await rm(workspace.writablePath, { recursive: true, force: true })
+		await rm(workspace.writablePath!, { recursive: true, force: true })
 
 		const observed = await runTestEffect(
 			SyncService.pipe(
@@ -607,7 +607,7 @@ process.stdout.write(${JSON.stringify(JSON.stringify(record))})
 		)
 		expect(applied.changes).toEqual([])
 		expect(
-			await Bun.file(join(workspace.writablePath, "README.md")).exists(),
+			await Bun.file(join(workspace.writablePath!, "README.md")).exists(),
 		).toBe(false)
 	})
 

package/src/services/SyncService.ts

@@ -83,11 +83,16 @@ interface CheckoutState {
 interface ExecutionSyncState {
 	readonly target: string
 	readonly status: WorkStatus
-	readonly branch: string
-	readonly base: string
+	readonly branch: string | null
+	readonly base: string | null
 	readonly claim: ClaimRecord | null
 	readonly checkouts: readonly CheckoutState[]
 	readonly pr: Record<string, unknown>
+	readonly review?: {
+		readonly pinnedCommit: string
+		readonly sourceCommit: string | null
+		readonly sourceAvailable: boolean
+	}
 }
 
 interface SyncResult {
@@ -219,7 +224,7 @@ export class SyncService extends Effect.Service<SyncService>()("SyncService", {
 								data: phase.data,
 							})
 						}
-					} else {
+					} else if (!("review" in task.data)) {
 						records.push({
 							key: `task:${task.id}`,
 							taskId: task.id,
@@ -551,7 +556,7 @@ export class SyncService extends Effect.Service<SyncService>()("SyncService", {
 								},
 								root,
 							)
-							data = expired.data
+							data = expired.data as ExecutionData
 							revision = expired.revision
 						} else {
 							const claim: ClaimRecord = {
@@ -787,7 +792,7 @@ export class SyncService extends Effect.Service<SyncService>()("SyncService", {
 								},
 								root,
 							)
-							data = recorded.data
+							data = recorded.data as ExecutionData
 							revision = recorded.revision
 						}
 						changes.push({
@@ -823,7 +828,7 @@ export class SyncService extends Effect.Service<SyncService>()("SyncService", {
 									},
 									root,
 								)
-								data = completed.data
+								data = completed.data as ExecutionData
 								revision = completed.revision
 							}
 							changes.push({
@@ -846,6 +851,105 @@ export class SyncService extends Effect.Service<SyncService>()("SyncService", {
 					})
 				}
 
+				for (const task of (yield* tasks.list(root)).filter(
+					(task) => "review" in task.data,
+				)) {
+					if (!("review" in task.data)) continue
+					let data = task.data
+					let revision = task.revision
+					if (
+						isExpired(data.claim, now) &&
+						(data.status === "working" || data.status === "delegated")
+					) {
+						if (apply) {
+							const expired = yield* claims.expire(
+								{ taskId: task.id, revision, now },
+								root,
+							)
+							if ("review" in expired.data) data = expired.data
+							revision = expired.revision
+						}
+						changes.push({
+							kind: "release-stale-claim",
+							target: `task:${task.id}`,
+							message: `Release expired claim '${data.claim?.sessionId ?? "unknown"}'`,
+							status: apply ? "applied" : "planned",
+						})
+					}
+					const inspection = yield* worktrees.inspect(task.id, undefined, root)
+					for (const conflict of inspection.conflicts) {
+						unresolved.push({
+							kind: conflict.kind,
+							target: `task:${task.id}`,
+							message: conflict.message,
+							action: "Repair or remove the review checkout explicitly",
+						})
+					}
+					const checkout = inspection.checkouts[0]
+					if (
+						!checkout?.exists &&
+						inspection.conflicts.length === 0 &&
+						(data.status === "working" || data.status === "delegated")
+					) {
+						if (apply) yield* worktrees.materialize(task.id, undefined, root)
+						changes.push({
+							kind: "materialize-workspace",
+							target: `task:${task.id}`,
+							message: `Materialize pinned review checkout under ${inspection.codePath}`,
+							status: apply ? "applied" : "planned",
+						})
+					}
+					const repositoryPath = join(root, "repos", data.review.repo)
+					const source = yield* runExternal([
+						"git",
+						"-C",
+						repositoryPath,
+						"ls-remote",
+						"origin",
+						data.review.source.kind === "pull-request"
+							? data.review.source.fetchRef
+							: originRef(data.review.source.ref),
+					])
+					const sourceCommit = source.stdout.trim().split(/\s+/)[0] || null
+					if (!sourceCommit) {
+						warnings.push({
+							kind: "review-source-unavailable",
+							target: `task:${task.id}`,
+							message:
+								"Review source is unavailable; the pinned commit is unchanged",
+						})
+					}
+					executions.push({
+						target: `task:${task.id}`,
+						status: data.status,
+						branch: null,
+						base: null,
+						claim: data.claim ?? null,
+						checkouts: checkout
+							? [
+									{
+										repo: checkout.repo,
+										kind: "reference",
+										path: checkout.path,
+										requestedRef: data.review.commit,
+										resolvedCommit: checkout.expectedCommit,
+										registered: checkout.registered,
+										exists: checkout.exists,
+										head: checkout.actualCommit,
+										branch: checkout.actualBranch,
+										dirty: checkout.dirty,
+									},
+								]
+							: [],
+						pr: { url: null, state: "none" },
+						review: {
+							pinnedCommit: data.review.commit,
+							sourceCommit,
+							sourceAvailable: sourceCommit !== null,
+						},
+					})
+				}
+
 				return {
 					root,
 					mode: apply ? "apply" : "dry-run",