@effect-agent/pr-review 0.1.0-beta.23 → 0.1.0-beta.24

package/dist/{github-BbwYzNrC.mjs → github-C6jrBLA2.mjs}

@@ -1,4 +1,4 @@
-import { Context, DateTime, Effect, Encoding, Layer, Option, Redacted, Result, Schema } from "effect";
+import { Context, Crypto, DateTime, Effect, Encoding, Layer, Option, Redacted, Result, Schema } from "effect";
 import { Agent, AgentPolicy, AgentRuntime, ToolExecutionClass, ToolResultBounds } from "effect-agent";
 import { Tool, Toolkit } from "effect/unstable/ai";
 import { HttpClient, HttpClientRequest, HttpClientResponse } from "effect/unstable/http";
@@ -1569,7 +1569,11 @@ const reviewUnit = (binding, unit, passes, input) => Effect.gen(function* () {
 		completedSpecialistPasses,
 		requiredVerificationPasses,
 		completedVerificationPasses,
-		unreviewedPaths: failedPasses.length > 0 ? unit.paths : []
+		unreviewedPaths: failedPasses.length > 0 ? unit.paths : [],
+		unreviewedPasses: failedPasses.map((pass) => ({
+			stage: pass.stage,
+			paths: unit.paths
+		}))
 	};
 });
 const countNoun = (count, noun) => `${count} ${noun}${count === 1 ? "" : "s"}`;
@@ -1584,6 +1588,90 @@ const composeSummary = (plan, assurance) => {
 	parts.push("No configured pipeline can prove absence of defects; this describes settled work only.");
 	return parts.join(" ").slice(0, 4e3);
 };
+const remapPlanUnitIds = (plan, offset) => {
+	if (offset === 0) return plan;
+	const units = plan.units.map((unit, index) => ReviewUnit.make({
+		...unit,
+		unitId: `unit-${String(offset + index + 1).padStart(3, "0")}`
+	}));
+	const mappedIds = /* @__PURE__ */ new Map();
+	for (const [index, unit] of plan.units.entries()) {
+		const remapped = units[index];
+		if (remapped !== void 0) mappedIds.set(unit.unitId, remapped.unitId);
+	}
+	return ReviewUnitPlan.make({
+		...plan,
+		units,
+		discoveryPasses: plan.discoveryPasses.map((pass) => {
+			const unitId = mappedIds.get(pass.unitId) ?? pass.unitId;
+			return ReviewDiscoveryPass.make({
+				...pass,
+				unitId,
+				passId: `${unitId}${pass.passId.slice(pass.unitId.length)}`
+			});
+		})
+	});
+};
+const scheduleFanOutWork = (input) => {
+	const retryPathSet = new Set(input.retry?.paths ?? []);
+	const retryStages = new Set(input.retry?.stages ?? []);
+	if (retryPathSet.size === 0) {
+		const plan = planReviewUnits(input.files, { totalChangedFiles: input.totalChangedFiles });
+		const passesByUnit = /* @__PURE__ */ new Map();
+		for (const pass of plan.discoveryPasses) {
+			const passes = passesByUnit.get(pass.unitId) ?? [];
+			passes.push(pass);
+			passesByUnit.set(pass.unitId, passes);
+		}
+		return {
+			plan,
+			passesByUnit,
+			overflowRetryPaths: []
+		};
+	}
+	const freshFiles = input.files.filter((file) => !retryPathSet.has(file.path));
+	const retryFiles = input.files.filter((file) => retryPathSet.has(file.path));
+	const freshPlan = planReviewUnits(freshFiles, { totalChangedFiles: input.totalChangedFiles });
+	const retryPlan = remapPlanUnitIds(planReviewUnits(retryFiles, { totalChangedFiles: input.totalChangedFiles }), freshPlan.units.length);
+	const acceptedFresh = freshPlan.units.slice(0, 8);
+	const acceptedRetry = retryPlan.units.slice(0, Math.max(0, 8 - acceptedFresh.length));
+	const overflowRetryPaths = retryPlan.units.slice(acceptedRetry.length).flatMap((unit) => [...unit.paths]);
+	const retryPassFilter = (pass) => {
+		const stage = pass.perspective === "risk-specialist" ? "specialist" : "discovery";
+		return retryStages.has(stage);
+	};
+	const acceptedRetryIds = new Set(acceptedRetry.map((unit) => unit.unitId));
+	let retryPasses = retryPlan.discoveryPasses.filter((pass) => acceptedRetryIds.has(pass.unitId) && retryPassFilter(pass));
+	if (retryStages.has("verification") && !retryStages.has("discovery") && !retryStages.has("specialist")) retryPasses = retryPlan.discoveryPasses.filter((pass) => acceptedRetryIds.has(pass.unitId));
+	const acceptedFreshIds = new Set(acceptedFresh.map((unit) => unit.unitId));
+	const discoveryPasses = [...freshPlan.discoveryPasses.filter((pass) => acceptedFreshIds.has(pass.unitId)), ...retryPasses];
+	const plan = ReviewUnitPlan.make({
+		totalFiles: input.files.length,
+		truncated: freshPlan.truncated || retryPlan.truncated,
+		units: [...acceptedFresh, ...acceptedRetry],
+		discoveryPasses,
+		undiffablePaths: [.../* @__PURE__ */ new Set([...freshPlan.undiffablePaths, ...retryPlan.undiffablePaths])].sort(),
+		partialEvidencePaths: [.../* @__PURE__ */ new Set([...freshPlan.partialEvidencePaths, ...retryPlan.partialEvidencePaths])].sort(),
+		unassignedEvidenceShardCount: freshPlan.unassignedEvidenceShardCount + retryPlan.unassignedEvidenceShardCount,
+		unassignedEvidenceShardIds: [...freshPlan.unassignedEvidenceShardIds, ...retryPlan.unassignedEvidenceShardIds].slice(0, 96),
+		unassignedPaths: [.../* @__PURE__ */ new Set([
+			...freshPlan.unassignedPaths,
+			...retryPlan.unassignedPaths,
+			...overflowRetryPaths
+		])].sort()
+	});
+	const passesByUnit = /* @__PURE__ */ new Map();
+	for (const pass of discoveryPasses) {
+		const passes = passesByUnit.get(pass.unitId) ?? [];
+		passes.push(pass);
+		passesByUnit.set(pass.unitId, passes);
+	}
+	return {
+		plan,
+		passesByUnit,
+		overflowRetryPaths
+	};
+};
 /**
 * Run the complete host-scheduled fan-out pipeline over one selected
 * changeset snapshot: plan, independent discovery, exact verification, and a
@@ -1591,13 +1679,7 @@ const composeSummary = (plan, assurance) => {
 * only. The verdict is derived from confirmed severities, never model prose.
 */
 const runFanOutReview = (binding, input) => Effect.gen(function* () {
-	const plan = planReviewUnits(input.files, { totalChangedFiles: input.totalChangedFiles });
-	const passesByUnit = /* @__PURE__ */ new Map();
-	for (const pass of plan.discoveryPasses) {
-		const passes = passesByUnit.get(pass.unitId) ?? [];
-		passes.push(pass);
-		passesByUnit.set(pass.unitId, passes);
-	}
+	const { plan, passesByUnit, overflowRetryPaths } = scheduleFanOutWork(input);
 	const outcomes = yield* Effect.forEach(plan.units, (unit) => reviewUnit(binding, unit, passesByUnit.get(unit.unitId) ?? [], input), { concurrency: 4 });
 	const failedPasses = outcomes.flatMap((outcome) => outcome.failedPasses);
 	const unsettledCandidates = outcomes.reduce((total, outcome) => total + outcome.unsettledCandidates, 0);
@@ -1642,6 +1724,14 @@ const runFanOutReview = (binding, input) => Effect.gen(function* () {
 			...plan.partialEvidencePaths,
 			...plan.undiffablePaths
 		])].sort(),
+		unreviewedPasses: [...outcomes.flatMap((outcome) => outcome.unreviewedPasses), ...overflowRetryPaths.length === 0 ? [] : (input.retry?.stages.length ? input.retry.stages : [
+			"discovery",
+			"specialist",
+			"verification"
+		]).map((stage) => ({
+			stage,
+			paths: overflowRetryPaths
+		}))],
 		turns: outcomes.reduce((total, outcome) => total + outcome.turns, 0)
 	};
 });
@@ -1660,10 +1750,10 @@ const extractFingerprint = (body) => {
 	for (const match of body.matchAll(MARKER_PATTERN)) last = match[1];
 	return last;
 };
-/** WebCrypto SHA-256; unavailable crypto is a defect, not an expected failure. */
-const sha256Hex = (text) => Effect.promise(async () => {
-	const digest = await globalThis.crypto.subtle.digest("SHA-256", new TextEncoder().encode(text));
-	return Array.from(new Uint8Array(digest)).map((byte) => byte.toString(16).padStart(2, "0")).join("");
+/** SHA-256 via `Crypto.Crypto`; unavailable crypto is a defect, not an expected failure. */
+const sha256Hex = Effect.fn("sha256Hex")(function* (text) {
+	const digest = yield* (yield* Crypto.Crypto).digest("SHA-256", new TextEncoder().encode(text)).pipe(Effect.orDie);
+	return Encoding.encodeHex(digest);
 });
 const FIELD = "\0";
 const RECORD = "
";
@@ -1687,6 +1777,8 @@ const canonicalChangeset = (files) => files.map((file) => `${file.path}${FIELD}$
 * not carry.
 */
 const computeChangesetFingerprint = (files, signature) => sha256Hex(`${canonicalChangeset(files)}${SECTION}${signature}`);
+/** Profile fingerprints are SHA-256 over configuration-only signatures. */
+const computeProfileFingerprint = (signature) => sha256Hex(signature);
 //#endregion
 //#region src/internal/review-state.ts
 const ReviewMode = Schema.Literals(["incremental", "final"]);
@@ -1711,6 +1803,19 @@ var StoredReviewConcern = class extends Schema.Class("@effect-agent/pr-review/St
 }) {};
 /** The carried-scope bound; a run that cannot fit its leftovers publishes no state. */
 const MAX_STORED_UNREVIEWED_PATHS = 100;
+/** Failed-pass records stored beside the leftover paths; one per unit stage. */
+const MAX_STORED_UNREVIEWED_PASSES = 24;
+/** Stages a leftover path may need retried without a second general discovery. */
+const UnreviewedStage = Schema.Literals([
+	"discovery",
+	"specialist",
+	"verification"
+]);
+/** One failed fan-out pass whose paths should be retried, not rediscovered. */
+var StoredUnreviewedPass = class extends Schema.Class("@effect-agent/pr-review/StoredUnreviewedPass")({
+	stage: UnreviewedStage,
+	paths: Schema.Array(ChangedPath).check(Schema.isMinLength(1)).check(Schema.isMaxLength(12))
+}) {};
 /**
 * Versioned state embedded after EVERY completed run that can be signed. The
 * head plus full-scope fingerprint forms an incremental baseline; an absent
@@ -1741,6 +1846,12 @@ var ReviewState = class extends Schema.Class("@effect-agent/pr-review/ReviewStat
 	/** Retryable review gaps carried into the next incremental run's scope. */
 	unreviewedPaths: Schema.Array(ChangedPath).check(Schema.isMaxLength(100)),
 	/**
+	* Which failed pass produced those leftovers. Absent on state-v2 markers
+	* written before this field existed; those leftovers still re-enter scope
+	* but cannot skip rediscovery. Present (including empty) on new markers.
+	*/
+	unreviewedPasses: Schema.optionalKey(Schema.Array(StoredUnreviewedPass).check(Schema.isMaxLength(24))),
+	/**
 	* True only when the producing run had complete input coverage, no
 	* unsettled pass, and nothing carried. Skip-unchanged authority: an
 	* unchanged patch may skip re-review only over a settled state.
@@ -1883,11 +1994,15 @@ const fullSelection = (input) => ({
 	reason: input.reason,
 	files: input.files,
 	affectedPaths: input.files.flatMap((file) => file.previousPath === void 0 ? [file.path] : [file.path, file.previousPath]),
+	retryPaths: [],
+	retryStages: [],
 	totalFiles: input.totalFiles,
 	baselineSha: void 0,
 	priorState: void 0,
 	profileFingerprint: input.profileFingerprint
 });
+/** Three-dot lineage from the reviewed head to the current head is usable. */
+const isLineageAncestor = (comparison, priorState, currentHeadSha) => comparison.baseSha === priorState.reviewedHeadSha && comparison.headSha === currentHeadSha && comparison.mergeBaseSha === priorState.reviewedHeadSha && !comparison.truncated && (comparison.status === "ahead" || comparison.status === "identical");
 /**
 * Validate that persisted state belongs to this exact PR/base lineage and the
 * same review profile. A mismatch is a full-review reason, never an error that
@@ -1900,6 +2015,52 @@ const validateReviewState = (state, current, profileFingerprint) => {
 	if (state.headRef !== current.headRef) return "the pull request head ref changed";
 	if (state.profileFingerprint !== profileFingerprint) return "the reviewer profile or model configuration changed";
 };
+const filePaths = (file) => file.previousPath === void 0 ? [file.path] : [file.path, file.previousPath];
+const incrementalFromDelta = (input) => {
+	const currentPaths = new Set(input.fullFiles.flatMap(filePaths));
+	const affectedPaths = /* @__PURE__ */ new Set([...input.deltaFiles.flatMap(filePaths), ...input.extraAffectedPaths ?? []]);
+	const selectedByPath = /* @__PURE__ */ new Map();
+	for (const file of input.deltaFiles) if (currentPaths.has(file.path) || file.previousPath !== void 0 && currentPaths.has(file.previousPath)) selectedByPath.set(file.path, file);
+	const carriedPaths = input.priorState.unreviewedPaths.filter((path) => currentPaths.has(path));
+	const surgical = input.priorState.unreviewedPasses !== void 0;
+	const retryOnly = /* @__PURE__ */ new Set();
+	const retryStages = /* @__PURE__ */ new Set();
+	for (const path of carriedPaths) {
+		if (affectedPaths.has(path)) continue;
+		retryOnly.add(path);
+		if (surgical) {
+			for (const pass of input.priorState.unreviewedPasses ?? []) if (pass.paths.includes(path)) retryStages.add(pass.stage);
+		} else affectedPaths.add(path);
+	}
+	if (surgical && retryStages.has("verification") && !retryStages.has("discovery") && !retryStages.has("specialist")) {
+		retryStages.add("discovery");
+		retryStages.add("specialist");
+	}
+	if (surgical && retryOnly.size > 0 && retryStages.size === 0) {
+		for (const path of retryOnly) affectedPaths.add(path);
+		retryStages.add("discovery");
+		retryStages.add("specialist");
+		retryStages.add("verification");
+	}
+	if (carriedPaths.length > 0 || (input.extraAffectedPaths?.length ?? 0) > 0) {
+		for (const file of input.fullFiles) if (affectedPaths.has(file.path) || file.previousPath !== void 0 && affectedPaths.has(file.previousPath) || retryOnly.has(file.path) || file.previousPath !== void 0 && retryOnly.has(file.previousPath)) selectedByPath.set(file.path, file);
+	}
+	const selectedFiles = [...selectedByPath.values()].sort((left, right) => left.path < right.path ? -1 : left.path > right.path ? 1 : 0);
+	const leftoverCount = [...retryOnly].filter((path) => !affectedPaths.has(path)).length;
+	const carriedReason = leftoverCount > 0 && surgical ? `; retrying ${leftoverCount} unchanged leftover path(s) without rediscovery` : carriedPaths.length > 0 ? `; retrying ${carriedPaths.length} carried unreviewed path(s)` : "";
+	return {
+		mode: "incremental",
+		reason: `${input.reason}${carriedReason}`,
+		files: selectedFiles,
+		affectedPaths: [...affectedPaths].sort(),
+		retryPaths: [...retryOnly].filter((path) => !affectedPaths.has(path)).sort(),
+		retryStages: [...retryStages].sort(),
+		totalFiles: selectedFiles.length,
+		baselineSha: input.priorState.reviewedHeadSha,
+		priorState: input.priorState,
+		profileFingerprint: input.profileFingerprint
+	};
+};
 /** Pure, deterministic range selection with conservative full-review fallbacks. */
 const selectReviewRange = (input) => {
 	const full = (reason) => fullSelection({
@@ -1914,42 +2075,38 @@ const selectReviewRange = (input) => {
 	const invalid = validateReviewState(input.priorState, input.current, input.profileFingerprint);
 	if (invalid !== void 0) return full(invalid);
 	const comparison = input.comparison;
-	if (comparison === void 0) return full("the incremental head comparison was unavailable");
-	if (comparison.baseSha !== input.priorState.reviewedHeadSha || comparison.headSha !== input.current.headSha || comparison.mergeBaseSha !== input.priorState.reviewedHeadSha || comparison.status !== "ahead" && comparison.status !== "identical") return full("the prior reviewed head is not an ancestor of the current head");
-	if (comparison.truncated) return full("the incremental comparison exceeded GitHub's file bound");
-	const affectedPaths = new Set(comparison.files.flatMap((file) => file.previousPath === void 0 ? [file.path] : [file.path, file.previousPath]));
-	let baseReason = "";
-	if (input.priorState.baseSha !== input.current.baseSha) {
-		const baseComparison = input.baseComparison;
-		if (baseComparison === void 0) return full("the pull request base changed and its lineage comparison was unavailable");
-		if (baseComparison.baseSha !== input.priorState.baseSha || baseComparison.headSha !== input.current.baseSha || baseComparison.mergeBaseSha !== input.priorState.baseSha || baseComparison.status !== "ahead" && baseComparison.status !== "identical" || baseComparison.truncated) return full("the pull request base changed materially or exceeded the comparison bound");
-		for (const file of baseComparison.files) {
-			affectedPaths.add(file.path);
-			if (file.previousPath !== void 0) affectedPaths.add(file.previousPath);
+	if (comparison !== void 0 && isLineageAncestor(comparison, input.priorState, input.current.headSha)) {
+		const extraAffected = [];
+		let baseReason = "";
+		if (input.priorState.baseSha !== input.current.baseSha) {
+			const baseComparison = input.baseComparison;
+			if (baseComparison === void 0) return full("the pull request base changed and its lineage comparison was unavailable");
+			if (baseComparison.baseSha !== input.priorState.baseSha || baseComparison.headSha !== input.current.baseSha || baseComparison.mergeBaseSha !== input.priorState.baseSha || baseComparison.status !== "ahead" && baseComparison.status !== "identical" || baseComparison.truncated) return full("the pull request base changed materially or exceeded the comparison bound");
+			for (const file of baseComparison.files) extraAffected.push(...filePaths(file));
+			baseReason = `; base advanced from ${input.priorState.baseSha.slice(0, 7)} and overlapping PR paths were included`;
 		}
-		baseReason = `; base advanced from ${input.priorState.baseSha.slice(0, 7)} and overlapping PR paths were included`;
-	}
-	const currentPaths = new Set(input.fullFiles.flatMap((file) => file.previousPath === void 0 ? [file.path] : [file.path, file.previousPath]));
-	const selectedByPath = /* @__PURE__ */ new Map();
-	for (const file of comparison.files) if (currentPaths.has(file.path) || file.previousPath !== void 0 && currentPaths.has(file.previousPath)) selectedByPath.set(file.path, file);
-	const carriedPaths = new Set(input.priorState.unreviewedPaths.filter((path) => currentPaths.has(path)));
-	for (const path of carriedPaths) affectedPaths.add(path);
-	const rescuePaths = input.priorState.baseSha !== input.current.baseSha;
-	if (rescuePaths || carriedPaths.size > 0) {
-		for (const file of input.fullFiles) if (rescuePaths && (affectedPaths.has(file.path) || file.previousPath !== void 0 && affectedPaths.has(file.previousPath)) || carriedPaths.has(file.path) || file.previousPath !== void 0 && carriedPaths.has(file.previousPath)) selectedByPath.set(file.path, file);
+		return incrementalFromDelta({
+			current: input.current,
+			fullFiles: input.fullFiles,
+			profileFingerprint: input.profileFingerprint,
+			priorState: input.priorState,
+			deltaFiles: comparison.files,
+			extraAffectedPaths: extraAffected,
+			reason: `changes since reviewed head ${input.priorState.reviewedHeadSha.slice(0, 7)}${baseReason}`
+		});
 	}
-	const selectedFiles = [...selectedByPath.values()].sort((left, right) => left.path < right.path ? -1 : left.path > right.path ? 1 : 0);
-	const carriedReason = carriedPaths.size === 0 ? "" : `; retrying ${carriedPaths.size} carried unreviewed path(s)`;
-	return {
-		mode: "incremental",
-		reason: `changes since reviewed head ${input.priorState.reviewedHeadSha.slice(0, 7)}${baseReason}${carriedReason}`,
-		files: selectedFiles,
-		affectedPaths: [...affectedPaths].sort(),
-		totalFiles: selectedFiles.length,
-		baselineSha: input.priorState.reviewedHeadSha,
+	const contentComparison = input.contentComparison;
+	if (contentComparison !== void 0 && !contentComparison.truncated) return incrementalFromDelta({
+		current: input.current,
+		fullFiles: input.fullFiles,
+		profileFingerprint: input.profileFingerprint,
 		priorState: input.priorState,
-		profileFingerprint: input.profileFingerprint
-	};
+		deltaFiles: contentComparison.files,
+		reason: `rewritten history; contents changed since reviewed head ${input.priorState.reviewedHeadSha.slice(0, 7)}`
+	});
+	if (comparison === void 0) return full("the incremental head comparison was unavailable");
+	if (comparison.truncated) return full("the incremental comparison exceeded GitHub's file bound");
+	return full("the prior reviewed head is not an ancestor of the current head");
 };
 /** Per-run context consumed by orchestration and publication, not by the model. */
 var ReviewExecutionContext = class extends Context.Service()("@effect-agent/pr-review/ReviewExecutionContext") {};
@@ -1983,11 +2140,6 @@ const selectedPullRequestSourceLayer = (selection) => Layer.effect(PullRequestSo
 		}))
 	});
 }));
-/** Profile fingerprints are SHA-256 over configuration-only signatures. */
-const computeProfileFingerprint = (signature) => Effect.promise(async () => {
-	const digest = await globalThis.crypto.subtle.digest("SHA-256", new TextEncoder().encode(signature));
-	return Array.from(new Uint8Array(digest)).map((byte) => byte.toString(16).padStart(2, "0")).join("");
-});
 /** Build the full-surface mission used only to resolve profile guidance. */
 const buildProfileMission = (metadata, files) => ReviewMission.make({
 	repository: metadata.repository,
@@ -2250,8 +2402,8 @@ const GitHubReviewCommentWire = Schema.Struct({
 	node_id: Schema.String,
 	path: Schema.String,
 	body: Schema.String,
-	line: Schema.NullOr(Schema.Int),
-	original_line: Schema.NullOr(Schema.Int),
+	line: Schema.optionalKey(Schema.NullOr(Schema.Int)),
+	original_line: Schema.optionalKey(Schema.NullOr(Schema.Int)),
 	start_line: Schema.optionalKey(Schema.NullOr(Schema.Int)),
 	original_start_line: Schema.optionalKey(Schema.NullOr(Schema.Int))
 });
@@ -2492,8 +2644,9 @@ const gitHubReviewRetirementHostLayer = Layer.effect(ReviewRetirementHost)(Effec
 			url: `${prefix}/reviews/${reviewId}/comments`,
 			decode: decodeRetirement(GitHubReviewCommentsPageWire, "listReviewCommentsForRetirement")
 		}).pipe(Effect.map((comments) => comments.map((comment) => {
-			const endLine = comment.line ?? comment.original_line;
-			const startLine = comment.start_line ?? comment.original_start_line ?? endLine;
+			const positiveLine = (value) => value !== void 0 && value !== null && value > 0 ? value : null;
+			const endLine = positiveLine(comment.line ?? comment.original_line);
+			const startLine = positiveLine(comment.start_line ?? comment.original_start_line) ?? endLine;
 			return RetirableReviewComment.make({
 				nodeId: comment.node_id,
 				path: comment.path,
@@ -2583,8 +2736,8 @@ const gitHubPriorReviewsLayer = Layer.effect(PriorReviews)(Effect.gen(function*
 			latestState
 		};
 	}).pipe(Effect.provideService(HttpClient.HttpClient, client));
-	const compareHeads = (baseSha, headSha) => Effect.gen(function* () {
-		const wire = yield* (yield* HttpClient.execute(withCommonHeaders(HttpClientRequest.get(`${target.apiUrl}/repos/${target.repository}/compare/${encodeURIComponent(baseSha)}...${encodeURIComponent(headSha)}`).pipe(HttpClientRequest.acceptJson), target.token)).pipe(Effect.flatMap(HttpClientResponse.filterStatusOk), Effect.mapError(asLookupFailure))).json.pipe(Effect.mapError(asLookupFailure), Effect.flatMap((body) => Schema.decodeUnknownEffect(GitHubCompareWire)(body).pipe(Effect.mapError(asLookupFailure))));
+	const compareCommits = (baseSha, headSha, separator) => Effect.gen(function* () {
+		const wire = yield* (yield* HttpClient.execute(withCommonHeaders(HttpClientRequest.get(`${target.apiUrl}/repos/${target.repository}/compare/${encodeURIComponent(baseSha)}${separator}${encodeURIComponent(headSha)}`).pipe(HttpClientRequest.acceptJson), target.token)).pipe(Effect.flatMap(HttpClientResponse.filterStatusOk), Effect.mapError(asLookupFailure))).json.pipe(Effect.mapError(asLookupFailure), Effect.flatMap((body) => Schema.decodeUnknownEffect(GitHubCompareWire)(body).pipe(Effect.mapError(asLookupFailure))));
 		const files = wire.files.map(toChangedFile);
 		return ReviewHeadComparison.make({
 			status: wire.status,
@@ -2595,13 +2748,22 @@ const gitHubPriorReviewsLayer = Layer.effect(PriorReviews)(Effect.gen(function*
 			truncated: files.length >= 300
 		});
 	}).pipe(Effect.provideService(HttpClient.HttpClient, client));
+	const compareTrees = (baseSha, headSha) => compareCommits(baseSha, headSha, "..").pipe(Effect.map((comparison) => ReviewHeadComparison.make({
+		status: comparison.status === "identical" ? "identical" : "ahead",
+		baseSha,
+		headSha,
+		mergeBaseSha: baseSha,
+		files: comparison.files,
+		truncated: comparison.truncated
+	})));
 	return PriorReviews.of({
 		latestFingerprint: readMarkers(Option.none()).pipe(Effect.map((markers) => markers.latestFingerprint)),
 		latestState: Effect.gen(function* () {
 			const authenticator = yield* ReviewStateAuthenticator;
 			return yield* readMarkers(Option.some(authenticator)).pipe(Effect.map((markers) => markers.latestState));
 		}),
-		compareHeads
+		compareHeads: (baseSha, headSha) => compareCommits(baseSha, headSha, "..."),
+		compareTrees
 	});
 }));
 /**
@@ -2614,6 +2776,6 @@ const fingerprintUnchanged = (current) => Effect.gen(function* () {
 	return Option.isSome(latest) && latest.value === current;
 });
 //#endregion
-export { DiscoveredConcern as $, commentableLines as $n, boundedListReason as $t, ReviewStateAuthenticationFailure as A, clampMaxFindings as An, MAX_UNIT_FILES as At, selectReviewRange as B, MAX_CHANGED_FILES as Bn, UNIT_CHANGED_LINE_BUDGET as Bt, MAX_REVIEW_STATE_MARKER_CHARS as C, ReviewConcern as Cn, reviewCandidateSubjectKey as Ct, ReviewMode as D, ReviewToolkitLayer as Dn, MAX_REPORTED_UNASSIGNED_EVIDENCE_SHARDS as Dt, ReviewHeadComparison as E, ReviewToolkit as En, MAX_MERGED_FINDINGS as Et, StoredReviewFinding as F, makeReviewInstructions as Fn, ReviewPassId as Ft, validateReviewState as G, ReviewInputViolation as Gn, rankAndDedupeConcerns as Gt, toStoredConcern as H, PullRequestMetadata as Hn, classifyReviewRisks as Ht, buildProfileMission as I, readFileDiffHandler as In, ReviewRiskCategory as It, computeChangesetFingerprint as J, ChangedFile as Jn, FailedReviewUnit as Jt, webCryptoReviewStateAuthenticatorLayer as K, normalizeRepoRelativePath as Kn, rankAndDedupeFindings as Kt, computeProfileFingerprint as L, readFileHandler as Ln, ReviewUnit as Lt, ReviewStateMarker as M, fileDiffView as Mn, ReviewDiscoveryPerspective as Mt, ReviewStateMarkerTooLarge as N, fileReviewEvidenceChunks as Nn, ReviewEvidenceShard as Nt, ReviewScopeMode as O, ReviewVerdict as On, MAX_REVIEW_UNITS as Ot, StoredReviewConcern as P, listChangedFilesHandler as Pn, ReviewEvidenceShardId as Pt, ConcernCandidate as Q, annotatePatch as Qn, assessFlatReview as Qt, fromStoredConcern as R, resolveGuidance as Rn, ReviewUnitId as Rt, GitCommitSha as S, ReadFileDiff as Sn, makeFileReviewerInstructions as St, ReviewExecutionContext as T, ReviewMission as Tn, MAX_FILE_EVIDENCE_CHARS as Tt, toStoredFinding as U, PullRequestSource as Un, findingAnchorInUnitEvidence as Ut, selectedPullRequestSourceLayer as V, MAX_FILE_CHARS as Vn, UNIT_EVIDENCE_CHAR_BUDGET as Vt, unavailableReviewStateAuthenticatorLayer as W, PullRequestSourceFailure as Wn, planReviewUnits as Wt, renderFingerprintMarker as X, ChangedPath as Xn, ReviewCoverage as Xt, extractFingerprint as Y, ChangedFileStatus as Yn, ReviewAssurance as Yt, CandidateAssessment as Z, MAX_REVIEW_CONTENT_CHARS as Zn, ReviewInputCoverage as Zt, ReviewRetirementHost as _, MAX_WALKTHROUGH_ENTRIES as _n, assessmentSettlesSuggestionExactly as _t, PriorReviews as a, CodeReview as an, FindingCandidate as at, hasReviewMetadataMarker as b, REVIEW_TOOL_RESULT_MAX_BYTES as bn, fileReviewerInstructions as bt, fingerprintUnchanged as c, FileSlice as cn, MAX_FILE_REVIEW_TOOL_CALLS as ct, gitHubReviewPublisherLayer as d, FindingSeverity as dn, REVIEW_UNIT_CONCURRENCY as dt, compatibilityCoverage as en, hasReviewableContent as er, FileReviewBrief as et, gitHubReviewRetirementHostLayer as f, ListChangedFiles as fn, ReviewCandidate as ft, ReviewRetirementFailure as g, MAX_PATCH_CHARS as gn, ReviewWorkPhase as gt, RetirableReviewComment as h, MAX_FINDINGS as hn, ReviewWorkPerspective as ht, PriorReviewLookupFailure as i, ChangedFilesView as in, FileReviewer as it, ReviewStateAuthenticator as j, defaultReviewPolicy as jn, ReviewDiscoveryPass as jt, ReviewState as k, WalkthroughEntry as kn, MAX_UNIT_EVIDENCE_SHARDS as kt, gitHubPriorReviewsLayer as l, FileSliceQuery as ln, MAX_REVIEW_CHILDREN as lt, RetirableReview as m, MAX_CONCERNS as mn, ReviewPassMisbehaved as mt, GitHubApiFailure as n, flatAssurance as nn, parsePatch as nr, FileReviewReport as nt, PublishedReview as o, FileDiffQuery as on, MAX_CHILD_CONCERNS as ot, parseGitHubSubmittedAt as p, ListChangedFilesQuery as pn, ReviewCandidateId as pt, FINGERPRINT_MARKER_LENGTH as q, anchorViolation as qn, FailedReviewPass as qt, GitHubReviewTarget as r, ChangedFileSummary as rn, renderReviewContent as rr, FileReviewToolkit as rt, ReviewPublisher as s, FileDiffView as sn, MAX_CHILD_FINDINGS as st, DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN as t, fanOutInputCoverage as tn, isReviewableFile as tr, FileReviewEvidence as tt, gitHubPullRequestSourceLayer as u, FindingCategory as un, MAX_UNIT_CANDIDATES as ut, ReviewRetirementReport as v, MAX_WALKTHROUGH_SUMMARY_CHARS as vn, confirmedFindingForPublication as vt, MAX_STORED_UNREVIEWED_PATHS as w, ReviewFinding as wn, runFanOutReview as wt, retireStaleReviews as x, ReadFile as xn, makeFileReviewerDefinition as xt, decideReviewRetirement as y, PullRequestReviewer as yn, defaultFileReviewerPolicy as yt, fromStoredFinding as z, reviewInstructions as zn, ReviewUnitPlan as zt };
+export { extractFingerprint as $, ChangedFileStatus as $n, ReviewAssurance as $t, ReviewState as A, ReviewToolkit as An, MAX_MERGED_FINDINGS as At, fromStoredConcern as B, readFileDiffHandler as Bn, ReviewRiskCategory as Bt, MAX_REVIEW_STATE_MARKER_CHARS as C, PullRequestReviewer as Cn, defaultFileReviewerPolicy as Ct, ReviewHeadComparison as D, ReviewConcern as Dn, reviewCandidateSubjectKey as Dt, ReviewExecutionContext as E, ReadFileDiff as En, makeFileReviewerInstructions as Et, StoredReviewConcern as F, defaultReviewPolicy as Fn, ReviewDiscoveryPass as Ft, toStoredConcern as G, MAX_FILE_CHARS as Gn, UNIT_EVIDENCE_CHAR_BUDGET as Gt, isLineageAncestor as H, resolveGuidance as Hn, ReviewUnitId as Ht, StoredReviewFinding as I, fileDiffView as In, ReviewDiscoveryPerspective as It, validateReviewState as J, PullRequestSourceFailure as Jn, planReviewUnits as Jt, toStoredFinding as K, PullRequestMetadata as Kn, classifyReviewRisks as Kt, StoredUnreviewedPass as L, fileReviewEvidenceChunks as Ln, ReviewEvidenceShard as Lt, ReviewStateAuthenticator as M, ReviewVerdict as Mn, MAX_REVIEW_UNITS as Mt, ReviewStateMarker as N, WalkthroughEntry as Nn, MAX_UNIT_EVIDENCE_SHARDS as Nt, ReviewMode as O, ReviewFinding as On, runFanOutReview as Ot, ReviewStateMarkerTooLarge as P, clampMaxFindings as Pn, MAX_UNIT_FILES as Pt, computeProfileFingerprint as Q, ChangedFile as Qn, FailedReviewUnit as Qt, UnreviewedStage as R, listChangedFilesHandler as Rn, ReviewEvidenceShardId as Rt, GitCommitSha as S, MAX_WALKTHROUGH_SUMMARY_CHARS as Sn, confirmedFindingForPublication as St, MAX_STORED_UNREVIEWED_PATHS as T, ReadFile as Tn, makeFileReviewerDefinition as Tt, selectReviewRange as U, reviewInstructions as Un, ReviewUnitPlan as Ut, fromStoredFinding as V, readFileHandler as Vn, ReviewUnit as Vt, selectedPullRequestSourceLayer as W, MAX_CHANGED_FILES as Wn, UNIT_CHANGED_LINE_BUDGET as Wt, FINGERPRINT_MARKER_LENGTH as X, normalizeRepoRelativePath as Xn, rankAndDedupeFindings as Xt, webCryptoReviewStateAuthenticatorLayer as Y, ReviewInputViolation as Yn, rankAndDedupeConcerns as Yt, computeChangesetFingerprint as Z, anchorViolation as Zn, FailedReviewPass as Zt, ReviewRetirementHost as _, ListChangedFilesQuery as _n, ReviewCandidateId as _t, PriorReviews as a, fanOutInputCoverage as an, isReviewableFile as ar, FileReviewEvidence as at, hasReviewMetadataMarker as b, MAX_PATCH_CHARS as bn, ReviewWorkPhase as bt, fingerprintUnchanged as c, ChangedFilesView as cn, FileReviewer as ct, gitHubReviewPublisherLayer as d, FileDiffView as dn, MAX_CHILD_FINDINGS as dt, ReviewCoverage as en, ChangedPath as er, renderFingerprintMarker as et, gitHubReviewRetirementHostLayer as f, FileSlice as fn, MAX_FILE_REVIEW_TOOL_CALLS as ft, ReviewRetirementFailure as g, ListChangedFiles as gn, ReviewCandidate as gt, RetirableReviewComment as h, FindingSeverity as hn, REVIEW_UNIT_CONCURRENCY as ht, PriorReviewLookupFailure as i, compatibilityCoverage as in, hasReviewableContent as ir, FileReviewBrief as it, ReviewStateAuthenticationFailure as j, ReviewToolkitLayer as jn, MAX_REPORTED_UNASSIGNED_EVIDENCE_SHARDS as jt, ReviewScopeMode as k, ReviewMission as kn, MAX_FILE_EVIDENCE_CHARS as kt, gitHubPriorReviewsLayer as l, CodeReview as ln, FindingCandidate as lt, RetirableReview as m, FindingCategory as mn, MAX_UNIT_CANDIDATES as mt, GitHubApiFailure as n, assessFlatReview as nn, annotatePatch as nr, ConcernCandidate as nt, PublishedReview as o, flatAssurance as on, parsePatch as or, FileReviewReport as ot, parseGitHubSubmittedAt as p, FileSliceQuery as pn, MAX_REVIEW_CHILDREN as pt, unavailableReviewStateAuthenticatorLayer as q, PullRequestSource as qn, findingAnchorInUnitEvidence as qt, GitHubReviewTarget as r, boundedListReason as rn, commentableLines as rr, DiscoveredConcern as rt, ReviewPublisher as s, ChangedFileSummary as sn, renderReviewContent as sr, FileReviewToolkit as st, DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN as t, ReviewInputCoverage as tn, MAX_REVIEW_CONTENT_CHARS as tr, CandidateAssessment as tt, gitHubPullRequestSourceLayer as u, FileDiffQuery as un, MAX_CHILD_CONCERNS as ut, ReviewRetirementReport as v, MAX_CONCERNS as vn, ReviewPassMisbehaved as vt, MAX_STORED_UNREVIEWED_PASSES as w, REVIEW_TOOL_RESULT_MAX_BYTES as wn, fileReviewerInstructions as wt, retireStaleReviews as x, MAX_WALKTHROUGH_ENTRIES as xn, assessmentSettlesSuggestionExactly as xt, decideReviewRetirement as y, MAX_FINDINGS as yn, ReviewWorkPerspective as yt, buildProfileMission as z, makeReviewInstructions as zn, ReviewPassId as zt };
 
-//# sourceMappingURL=github-BbwYzNrC.mjs.map
+//# sourceMappingURL=github-C6jrBLA2.mjs.map