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

package/dist/{providers-NyP-4rS6.mjs → providers-CODZQCmL.mjs}

@@ -1,4 +1,4 @@
-import { An as clampMaxFindings, Cn as ReviewConcern, Dn as ReviewToolkitLayer, Fn as makeReviewInstructions, Gn as ReviewInputViolation, Gt as rankAndDedupeConcerns, H as toStoredConcern, Hn as PullRequestMetadata, I as buildProfileMission, J as computeChangesetFingerprint, Kt as rankAndDedupeFindings, L as computeProfileFingerprint, Qt as assessFlatReview, R as fromStoredConcern, Rn as resolveGuidance, Sn as ReadFileDiff, T as ReviewExecutionContext, Tn as ReviewMission, U as toStoredFinding, Un as PullRequestSource, X as renderFingerprintMarker, Xt as ReviewCoverage, Yt as ReviewAssurance, Zt as ReviewInputCoverage, an as CodeReview, d as gitHubReviewPublisherLayer, en as compatibilityCoverage, f as gitHubReviewRetirementHostLayer, fn as ListChangedFiles, jn as defaultReviewPolicy, k as ReviewState, l as gitHubPriorReviewsLayer, n as GitHubApiFailure, o as PublishedReview, qn as anchorViolation, r as GitHubReviewTarget, s as ReviewPublisher, t as DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN, tn as fanOutInputCoverage, u as gitHubPullRequestSourceLayer, wn as ReviewFinding, wt as runFanOutReview, xn as ReadFile, xt as makeFileReviewerDefinition, z as fromStoredFinding } from "./github-BbwYzNrC.mjs";
+import { $n as ReviewFinding, At as buildPriorReviewContext, Ct as anchorViolation, Dn as toStoredConcern, On as toStoredFinding, Pn as CodeReview, Qn as ReviewConcern, Rt as renderAdjudicationContextLine, St as splitCarriedScope, Vn as ListChangedFiles, W as makeFileReviewerDefinition, Xn as ReadFile, Zn as ReadFileDiff, _ as computeProfileFingerprint, _n as buildProfileMission, _r as PullRequestMetadata, _t as ReviewInputCoverage, ar as clampMaxFindings, bn as fromStoredConcern, br as ReviewInputViolation, bt as fanOutInputCoverage, d as gitHubReviewAdjudicationHostLayer, dn as StoredAdjudication, er as ReviewMission, f as gitHubReviewPublisherLayer, ft as rankAndDedupeConcerns, g as computeChangesetFingerprint, gn as adjudicationIdentity, gt as ReviewAssurance, jt as collectReviewAdjudications, l as gitHubPriorReviewsLayer, mn as StoredUnreviewedPass, mt as reviewConcernKey, n as GitHubApiFailure, nn as ReviewExecutionContext, nr as ReviewToolkitLayer, o as PublishedReview, on as ReviewState, or as defaultReviewPolicy, p as gitHubReviewRetirementHostLayer, pr as resolveGuidance, pt as rankAndDedupeFindings, q as runFanOutReview, r as GitHubReviewTarget, s as ReviewPublisher, t as DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN, u as gitHubPullRequestSourceLayer, ur as makeReviewInstructions, vn as concernIdentity, vr as PullRequestSource, vt as assessFlatReview, xn as fromStoredFinding, y as renderFingerprintMarker, yn as findingIdentity, zt as renderPriorFindingContextLine } from "./github-NjgxGqwM.mjs";
 import { Config, Context, DateTime, Effect, FileSystem, Layer, Option, Ref, Schema } from "effect";
 import { Agent, AgentPolicy, AgentRuntime, IdGenerator, UsageBudgetLimits, UsageTotals, getToolExecutionClass, makeUsageBudget, toRunBudgetHook } from "effect-agent";
 import { Toolkit } from "effect/unstable/ai";
@@ -211,20 +211,43 @@ const renderDemoted = (finding, reason) => {
 	return `- ${`\`${finding.path}:${finding.startLine}${finding.endLine !== finding.startLine ? `-${finding.endLine}` : ""}\``} **[${findingLabel(finding)}] ${finding.title}** — ${finding.body} _(demoted: ${reason})_`;
 };
 const countNoun = (count, noun) => `${count} ${noun}${count === 1 ? "" : "s"}`;
-/** The validated finding + concern severities, tallied for callout and event. */
+const tallySeverities = (items) => {
+	const blocking = items.filter((item) => item.severity === "blocking").length;
+	const important = items.filter((item) => item.severity === "important").length;
+	return {
+		blocking,
+		important,
+		nit: items.length - blocking - important,
+		total: items.length
+	};
+};
+/** The validated finding + concern severities, kept separate by provenance. */
 const severityCounts = (review, carriedFindings = [], carriedConcerns = []) => {
-	const severities = [
-		...review.findings.map((finding) => finding.severity),
-		...(review.concerns ?? []).map((concern) => concern.severity),
-		...carriedFindings.map((finding) => finding.severity),
-		...carriedConcerns.map((concern) => concern.severity)
-	];
+	const findings = tallySeverities(review.findings);
+	const concerns = tallySeverities(review.concerns ?? []);
+	const priorFindings = tallySeverities(carriedFindings);
+	const priorConcerns = tallySeverities(carriedConcerns);
 	return {
-		blocking: severities.filter((severity) => severity === "blocking").length,
-		important: severities.filter((severity) => severity === "important").length,
-		total: severities.length
+		findings,
+		concerns,
+		carriedFindings: priorFindings,
+		carriedConcerns: priorConcerns,
+		total: {
+			blocking: findings.blocking + concerns.blocking + priorFindings.blocking + priorConcerns.blocking,
+			important: findings.important + concerns.important + priorFindings.important + priorConcerns.important,
+			nit: findings.nit + concerns.nit + priorFindings.nit + priorConcerns.nit,
+			total: findings.total + concerns.total + priorFindings.total + priorConcerns.total
+		}
 	};
 };
+const joinItemCounts = (items) => items.length <= 1 ? items[0] ?? "none" : items.length === 2 ? `${items[0]} and ${items[1]}` : `${items.slice(0, -1).join(", ")}, and ${items.at(-1)}`;
+const severityItemParts = (counts, severity) => [
+	...counts.findings[severity] === 0 ? [] : [countNoun(counts.findings[severity], `${severity} finding`)],
+	...counts.concerns[severity] === 0 ? [] : [countNoun(counts.concerns[severity], `${severity} concern`)],
+	...counts.carriedFindings[severity] === 0 ? [] : [countNoun(counts.carriedFindings[severity], `carried ${severity} finding`)],
+	...counts.carriedConcerns[severity] === 0 ? [] : [countNoun(counts.carriedConcerns[severity], `carried ${severity} concern`)]
+];
+const renderSeverityItems = (counts, severity) => joinItemCounts(severityItemParts(counts, severity));
 /**
 * The opening callout: the review's overall tier, derived HOST-SIDE from the
 * validated severities (never from model prose), described by what GitHub
@@ -233,20 +256,38 @@ const severityCounts = (review, carriedFindings = [], carriedConcerns = []) => {
 */
 const renderVerdictCallout = (review, options) => {
 	const counts = severityCounts(review, options.carriedFindings, options.carriedConcerns);
-	if (counts.blocking > 0) return `> [!CAUTION]\n> ${countNoun(counts.blocking, "blocking finding")} — do not merge before addressing ${counts.blocking === 1 ? "it" : "them"}.`;
-	const carried = options.unreviewedPaths?.length ?? 0;
-	if (options.inputCoverage?.status === "incomplete" || options.assurance?.status === "incomplete") return `> [!WARNING]\n> Review infrastructure did not settle — a reviewer-side gap, NOT a request to change code.${carried > 0 ? ` ${countNoun(carried, "affected path")} ${carried === 1 ? "is" : "are"} carried forward and retried automatically on the next run.` : ""} The check reports "incomplete" until a run settles.`;
-	if (counts.important > 0) return `> [!IMPORTANT]\n> ${countNoun(counts.important, "important finding")} to address before merging.`;
-	if (counts.total > 0) return "> ℹ️ Minor suggestions only — mergeable as-is.";
-	return review.verdict === "approve" ? "> ✅ No issues found." : "> ℹ️ No findings — see the summary.";
+	if (counts.total.blocking > 0) return `> [!CAUTION]\n> ${renderSeverityItems(counts, "blocking")}. Do not merge before addressing ${counts.total.blocking === 1 ? "it" : "them"}.`;
+	if (options.inputCoverage?.status === "incomplete" || options.assurance?.status === "incomplete") {
+		const scope = splitCarriedScope(options);
+		const undiffableCount = scope.undiffablePaths.length;
+		const undiffableNote = undiffableCount > 0 ? ` ${countNoun(undiffableCount, "unreviewable file")} (binary or oversized) ${undiffableCount === 1 ? "has" : "have"} no diff a retry could settle — remove ${undiffableCount === 1 ? "it" : "them"} from the pull request or exclude ${undiffableCount === 1 ? "it" : "them"} with ignore globs.` : "";
+		if (!scope.retryableGap) return `> [!WARNING]\n>${undiffableNote} The check reports "incomplete" while ${undiffableCount === 1 ? "it remains" : "they remain"} part of the pull request.`;
+		const retryableCount = scope.retryablePaths.length;
+		return `> [!WARNING]\n> Review infrastructure did not settle. This is a reviewer-side gap, NOT a request to change code.${retryableCount > 0 ? ` ${countNoun(retryableCount, "affected path")} ${retryableCount === 1 ? "is" : "are"} carried forward and retried automatically on the next run.` : ""}${undiffableNote} The check reports "incomplete" until a run settles.`;
+	}
+	if (counts.total.important > 0) return `> [!IMPORTANT]\n> ${renderSeverityItems(counts, "important")} to address before merging.`;
+	if (counts.total.total > 0) return `> ℹ️ ${renderSeverityItems(counts, "nit")}; mergeable as-is.`;
+	return review.verdict === "approve" ? "> ✅ No issues found." : "> ℹ️ No review items. See the summary.";
 };
 const renderConcern = (concern) => [
 	`### ${severityEmoji[concern.severity]} ${concern.title}`,
+	...concern.evidencePaths === void 0 ? [] : ["", `_Affected paths: ${concern.evidencePaths.map((path) => `\`${path}\``).join(", ")}_`],
 	"",
 	concern.body
 ].join("\n");
 const renderCarriedFinding = (finding) => `- \`${finding.path}:${finding.startLine}${finding.endLine === finding.startLine ? "" : `-${finding.endLine}`}\` **[${findingLabel(finding)}] ${finding.title}** — ${finding.body}`;
 /**
+* One adjudicated identity: its location (absent for unanchored concerns),
+* title, maintainer disposition, actor, and the optional reason. Rendered in
+* the collapsed adjudicated section so the audit distinguishes fixed,
+* adjudicated, and still-open items.
+*/
+const renderAdjudicated = (adjudication) => {
+	const location = adjudication.path !== void 0 && adjudication.startLine !== void 0 && adjudication.endLine !== void 0 ? `\`${adjudication.path}:${adjudication.startLine}${adjudication.endLine === adjudication.startLine ? "" : `-${adjudication.endLine}`}\` ` : "";
+	const reason = adjudication.reason === void 0 ? "" : `: ${adjudication.reason}`;
+	return `- ${location}${adjudication.title} — ${adjudication.disposition} by @${adjudication.actor}${reason}`;
+};
+/**
 * Validate the model's walkthrough against the real changeset: entries whose
 * path is not a changed file are dropped (the walkthrough analogue of anchor
 * validation), duplicates keep the first entry, and the result is ordered by
@@ -299,14 +340,13 @@ const renderReviewStats = (files, totalChangedFiles, counts) => {
 	const additions = files.reduce((total, file) => total + file.additions, 0);
 	const deletions = files.reduce((total, file) => total + file.deletions, 0);
 	const fileCount = files.length < totalChangedFiles ? `${files.length} of ${totalChangedFiles} files` : countNoun(files.length, "file");
-	const nits = counts.total - counts.blocking - counts.important;
-	const tally = counts.total === 0 ? "none" : [
-		...counts.blocking > 0 ? [`${counts.blocking} blocking`] : [],
-		...counts.important > 0 ? [`${counts.important} important`] : [],
-		...nits > 0 ? [`${nits} nit`] : []
-	].join(", ");
+	const tally = counts.total.total === 0 ? "none" : joinItemCounts([
+		"blocking",
+		"important",
+		"nit"
+	].flatMap((severity) => severityItemParts(counts, severity)));
 	const effort = estimateReviewEffort(files);
-	return `**Changeset:** ${fileCount} (+${additions} / −${deletions}) · **Findings:** ${tally} · **Review effort:** ${effort.score}/5 (${effort.label})`;
+	return `**Changeset:** ${fileCount} (+${additions} / −${deletions}) · **Review items:** ${tally} · **Review effort:** ${effort.score}/5 (${effort.label})`;
 };
 /** HTML comments must not contain `--`; interpolated values are sanitized. */
 const commentSafe = (value) => value.replaceAll("--", "- -");
@@ -368,7 +408,7 @@ const planPublication = (review, files, options) => {
 		writtenAtSha: options.baselineSha
 	}))];
 	const consolidatedPromptWanted = promptEntries.length >= 2 || demoted.length > 0;
-	const renderHead = (concernsKept, demotedKept, omitted, walkthroughKept, promptsKept) => {
+	const renderHead = (concernsKept, demotedKept, omitted, walkthroughKept, promptsKept, adjudicationsKept) => {
 		const carriedFindings = options.carriedFindings ?? [];
 		const carriedConcerns = options.carriedConcerns ?? [];
 		const parts = [renderVerdictCallout(review, {
@@ -389,10 +429,19 @@ const planPublication = (review, files, options) => {
 		if (options.assurance?.status === "incomplete") parts.push("", "### ⚠️ Unsettled review passes", "", "The passes below failed on the reviewer's side after a bounded retry. Their paths are carried forward and re-reviewed automatically on the next run — do not change code to satisfy this section.", "", ...options.assurance.reasons.map((reason) => `- ${reason}`));
 		if (carriedFindings.length > 0) parts.push("", "<details>", `<summary>Unresolved findings carried from unchanged scope (${carriedFindings.length})</summary>`, "", ...carriedFindings.map(renderCarriedFinding), "", "</details>");
 		if (carriedConcerns.length > 0) {
-			parts.push("", "### Unresolved concerns carried to the final audit");
+			parts.push("", `### Unresolved concerns from unchanged paths (${carriedConcerns.length})`, "", "These concerns were reported in an earlier review and were not reverified in this incremental pass. They remain active because none of their affected paths changed.");
 			for (const concern of carriedConcerns) parts.push("", renderConcern(concern));
 		}
 		for (const concern of sortedConcerns.slice(0, concernsKept)) parts.push("", renderConcern(concern));
+		const adjudications = options.adjudications ?? [];
+		if (adjudications.length > 0) parts.push("", adjudicationsKept ? [
+			"<details>",
+			`<summary>Adjudicated (${adjudications.length})</summary>`,
+			"",
+			...adjudications.map(renderAdjudicated),
+			"",
+			"</details>"
+		].join("\n") : "⚠️ Adjudicated section omitted — the body exceeded GitHub's review size cap.");
 		if (files.length < options.totalChangedFiles) parts.push("", `⚠️ Input exposed ${files.length} of ${options.totalChangedFiles} changed files — the changeset exceeded the reviewer's file bound.`);
 		if (demotedKept > 0) parts.push("", "<details>", `<summary>Findings without a valid diff anchor (${demotedKept})</summary>`, "", ...sortedDemoted.slice(0, demotedKept).map(({ finding, reason }) => renderDemoted(finding, reason)), "", "</details>");
 		if (consolidatedPromptWanted) parts.push("", promptsKept ? renderConsolidatedAgentPrompt(promptEntries) : "⚠️ Consolidated agent prompt omitted — the body exceeded GitHub's review size cap.");
@@ -402,7 +451,7 @@ const planPublication = (review, files, options) => {
 	};
 	const counts = severityCounts(review, options.carriedFindings ?? [], options.carriedConcerns ?? []);
 	const unclean = options.inputCoverage?.status === "incomplete" || options.assurance?.status === "incomplete";
-	const event = !options.applyVerdict ? "COMMENT" : counts.blocking > 0 ? "REQUEST_CHANGES" : review.verdict === "approve" && counts.important === 0 && !unclean ? "APPROVE" : "COMMENT";
+	const event = !options.applyVerdict ? "COMMENT" : counts.total.blocking > 0 ? "REQUEST_CHANGES" : review.verdict === "approve" && counts.total.important === 0 && !unclean ? "APPROVE" : "COMMENT";
 	const tail = [
 		renderReviewMetadata({
 			headSha: options.headSha,
@@ -417,15 +466,18 @@ const planPublication = (review, files, options) => {
 		...options.stateMarker === void 0 ? [] : [options.stateMarker]
 	].join("\n");
 	const headBudget = 6e4 - tail.length - 1;
+	const adjudicationCount = options.adjudications?.length ?? 0;
 	let concernsKept = sortedConcerns.length;
 	let demotedKept = sortedDemoted.length;
 	let omitted = 0;
 	let walkthroughKept = true;
 	let promptsKept = true;
-	let head = renderHead(concernsKept, demotedKept, omitted, walkthroughKept, promptsKept);
-	while (head.length > headBudget && (promptsKept && consolidatedPromptWanted || walkthroughKept && walkthrough.length > 0 || demotedKept > 0 || concernsKept > 0)) {
+	let adjudicationsKept = true;
+	let head = renderHead(concernsKept, demotedKept, omitted, walkthroughKept, promptsKept, adjudicationsKept);
+	while (head.length > headBudget && (promptsKept && consolidatedPromptWanted || walkthroughKept && walkthrough.length > 0 || adjudicationsKept && adjudicationCount > 0 || demotedKept > 0 || concernsKept > 0)) {
 		if (promptsKept && consolidatedPromptWanted) promptsKept = false;
 		else if (walkthroughKept && walkthrough.length > 0) walkthroughKept = false;
+		else if (adjudicationsKept && adjudicationCount > 0) adjudicationsKept = false;
 		else if (demotedKept > 0) {
 			demotedKept -= 1;
 			omitted += 1;
@@ -433,7 +485,7 @@ const planPublication = (review, files, options) => {
 			concernsKept -= 1;
 			omitted += 1;
 		}
-		head = renderHead(concernsKept, demotedKept, omitted, walkthroughKept, promptsKept);
+		head = renderHead(concernsKept, demotedKept, omitted, walkthroughKept, promptsKept, adjudicationsKept);
 	}
 	const body = `${head.slice(0, headBudget)}\n${tail}`;
 	return ReviewPublicationPlan.make({
@@ -477,8 +529,6 @@ var ReviewRunOutcome = class extends Schema.Class("@effect-agent/pr-review/Revie
 	activeFindings: Schema.Array(ReviewFinding).check(Schema.isMaxLength(20)),
 	/** All currently unresolved concerns, including concerns carried to final audit. */
 	activeConcerns: Schema.Array(ReviewConcern).check(Schema.isMaxLength(10)),
-	/** Host-owned structural coverage used by the Actions check conclusion. */
-	coverage: ReviewCoverage,
 	/** Exact path/evidence assignment, distinct from semantic review work. */
 	inputCoverage: ReviewInputCoverage,
 	/** Settlement of scheduled discovery, specialist, and verification work. */
@@ -493,17 +543,26 @@ var ReviewRunOutcome = class extends Schema.Class("@effect-agent/pr-review/Revie
 	usage: Schema.optionalKey(UsageTotals),
 	reviewMode: Schema.optionalKey(Schema.Literals(["incremental", "full"])),
 	reviewReason: Schema.optionalKey(Schema.String.check(Schema.isMaxLength(1e3))),
-	state: Schema.optionalKey(ReviewState)
+	state: Schema.optionalKey(ReviewState),
+	/** Maintainer adjudications standing against this run's identities. */
+	adjudications: Schema.optionalKey(Schema.Array(StoredAdjudication).check(Schema.isMaxLength(20)))
 }) {};
-/** Build the mission one review run frames from the source's snapshot. */
-const buildReviewMission = (metadata, files) => ReviewMission.make({
+/**
+* Build the mission one review run frames from the source's snapshot. The
+* optional continuity context (adjudicated identities, prior-round findings
+* on re-reviewed scope) reaches only RUN missions — fingerprint missions stay
+* plain so an adjudication never invalidates skip-unchanged authority.
+*/
+const buildReviewMission = (metadata, files, context) => ReviewMission.make({
 	repository: metadata.repository,
 	number: metadata.number,
 	title: metadata.title,
 	body: metadata.body,
 	baseRef: metadata.baseRef,
 	headRef: metadata.headRef,
-	changedFileCount: files.length
+	changedFileCount: files.length,
+	...context?.adjudicated !== void 0 && context.adjudicated.length > 0 ? { adjudicatedContext: context.adjudicated.slice(0, 20) } : {},
+	...context?.priorFindings !== void 0 && context.priorFindings.length > 0 ? { priorFindingContext: context.priorFindings.slice(0, 20) } : {}
 });
 /** Enforce the configured findings bound on an already-validated review. */
 const enforceFindingsBound = (review, maxFindings) => review.findings.length <= maxFindings ? review : CodeReview.make({
@@ -515,6 +574,24 @@ const enforceFindingsBound = (review, maxFindings) => review.findings.length <=
 });
 const findingKey = (finding) => `${finding.path}\u0000${finding.startLine}\u0000${finding.endLine}\u0000${finding.severity}\u0000${finding.title}`;
 /**
+* Continuity inputs resolved BEFORE any model work: the standing maintainer
+* adjudications (fresh host listing merged later-wins over the prior state's
+* stored set) and the prior-round findings whose paths this run re-reviews.
+* The latter are dropped from the carry (the new round re-decides them) but
+* injected as prompt context so successive rounds do not silently contradict
+* each other — context ONLY, never auto-carried into active findings.
+*/
+const resolveReviewContinuityContext = Effect.fn("resolveReviewContinuityContext")(function* () {
+	const executionContext = yield* ReviewExecutionContext;
+	const priorState = executionContext.mode === "incremental" ? executionContext.priorState : void 0;
+	const adjudications = yield* collectReviewAdjudications(priorState?.adjudications ?? []);
+	const affectedPaths = new Set(executionContext.affectedPaths);
+	return {
+		adjudications,
+		priorFindingsOnScope: priorState?.unresolvedFindings.filter((finding) => affectedPaths.has(finding.path)) ?? []
+	};
+});
+/**
 * The shared settlement tail: carry unchanged prior scope, decide whether
 * this run's continuity state can be signed, plan the exact publication, and
 * (optionally) post it. Continuity requires only that the run COMPLETED with
@@ -523,31 +600,58 @@ const findingKey = (finding) => `${finding.path}\u0000${finding.startLine}\u0000
 */
 const settleReviewRun = (core, context, options) => Effect.gen(function* () {
 	const { metadata, files, anchorFiles, fingerprint, usage } = context;
-	const executionContext = Option.getOrUndefined(yield* Effect.serviceOption(ReviewExecutionContext));
-	const review = enforceFindingsBound(core.review, clampMaxFindings(options.maxFindings));
+	const executionContext = yield* ReviewExecutionContext;
+	const adjudications = context.adjudications ?? [];
+	const adjudicatedIdentities = new Set(adjudications.map(adjudicationIdentity));
+	const isAdjudicatedFinding = (finding) => adjudicatedIdentities.has(findingIdentity(finding));
+	const isAdjudicatedConcern = (concern) => adjudicatedIdentities.has(concernIdentity(concern));
+	const filteredReview = adjudicatedIdentities.size === 0 ? core.review : CodeReview.make({
+		summary: core.review.summary,
+		verdict: core.review.verdict,
+		findings: core.review.findings.filter((finding) => !isAdjudicatedFinding(finding)),
+		...core.review.concerns === void 0 ? {} : { concerns: core.review.concerns.filter((concern) => !isAdjudicatedConcern(concern)) },
+		...core.review.walkthrough === void 0 ? {} : { walkthrough: core.review.walkthrough }
+	});
+	const reviewPaths = new Set(files.map((file) => file.path));
+	const normalizedReview = CodeReview.make({
+		...filteredReview,
+		...filteredReview.concerns === void 0 ? {} : { concerns: filteredReview.concerns.map((concern) => {
+			const evidencePaths = concern.evidencePaths;
+			if (evidencePaths === void 0 || evidencePaths.some((path) => !reviewPaths.has(path))) {
+				const { evidencePaths: _invalid, ...pathless } = concern;
+				return ReviewConcern.make(pathless);
+			}
+			return ReviewConcern.make({
+				...concern,
+				evidencePaths: [...new Set(evidencePaths)].sort()
+			});
+		}) }
+	});
+	const review = enforceFindingsBound(normalizedReview, clampMaxFindings(options.maxFindings));
 	const { inputCoverage, assurance } = core;
 	const unreviewedPaths = [...new Set(core.unreviewedPaths)].sort();
-	const reviewTotalFiles = executionContext?.totalFiles ?? metadata.totalChangedFiles;
-	const affectedPaths = new Set(executionContext?.affectedPaths ?? files.flatMap((file) => file.previousPath === void 0 ? [file.path] : [file.path, file.previousPath]));
-	const priorState = executionContext?.mode === "incremental" ? executionContext.priorState : void 0;
-	const carriedCandidates = priorState?.unresolvedFindings.filter((finding) => !affectedPaths.has(finding.path)).map(fromStoredFinding) ?? [];
-	const activeFindings = rankAndDedupeFindings([...carriedCandidates, ...review.findings]).slice(0, clampMaxFindings(options.maxFindings));
+	const reviewTotalFiles = executionContext.totalFiles;
+	const affectedPaths = new Set(executionContext.affectedPaths);
+	const priorState = executionContext.mode === "incremental" ? executionContext.priorState : void 0;
+	const eligibleCarriedCandidates = (priorState?.unresolvedFindings.filter((finding) => !affectedPaths.has(finding.path)).map(fromStoredFinding) ?? []).filter((finding) => !isAdjudicatedFinding(finding));
+	const activeFindings = rankAndDedupeFindings([...eligibleCarriedCandidates, ...review.findings.filter((finding) => !isAdjudicatedFinding(finding))]).slice(0, clampMaxFindings(options.maxFindings));
 	const activeFindingKeys = new Set(activeFindings.map(findingKey));
 	const currentFindingKeys = new Set(review.findings.map(findingKey));
-	const carriedFindings = carriedCandidates.filter((finding) => activeFindingKeys.has(findingKey(finding)) && !currentFindingKeys.has(findingKey(finding)));
-	const carriedConcernCandidates = priorState?.unresolvedConcerns.map(fromStoredConcern) ?? [];
-	const activeConcerns = rankAndDedupeConcerns([...carriedConcernCandidates, ...review.concerns ?? []]);
-	const currentConcernKeys = new Set((review.concerns ?? []).map((concern) => `${concern.title}\u0000${concern.body}`));
-	const activeConcernKeys = new Set(activeConcerns.map((concern) => `${concern.title}\u0000${concern.body}`));
-	const carriedConcerns = carriedConcernCandidates.filter((concern) => {
-		const key = `${concern.title}\u0000${concern.body}`;
+	const carriedFindings = eligibleCarriedCandidates.filter((finding) => activeFindingKeys.has(findingKey(finding)) && !currentFindingKeys.has(findingKey(finding)));
+	const eligibleCarriedConcernCandidates = (priorState?.unresolvedConcerns.filter((concern) => concern.evidencePaths !== void 0 && concern.evidencePaths.every((path) => !affectedPaths.has(path))).map(fromStoredConcern) ?? []).filter((concern) => !isAdjudicatedConcern(concern));
+	const activeConcerns = rankAndDedupeConcerns([...eligibleCarriedConcernCandidates, ...(review.concerns ?? []).filter((concern) => !isAdjudicatedConcern(concern))]);
+	const currentConcernKeys = new Set((review.concerns ?? []).map(reviewConcernKey));
+	const activeConcernKeys = new Set(activeConcerns.map(reviewConcernKey));
+	const carriedConcerns = eligibleCarriedConcernCandidates.filter((concern) => {
+		const key = reviewConcernKey(concern);
 		return activeConcernKeys.has(key) && !currentConcernKeys.has(key);
 	});
 	const settled = inputCoverage.status === "complete" && assurance.status !== "incomplete" && unreviewedPaths.length === 0;
-	const skipFingerprint = settled ? fingerprint : void 0;
+	const concernsHaveEvidencePaths = activeConcerns.every((concern) => concern.evidencePaths !== void 0);
+	const skipFingerprint = settled && concernsHaveEvidencePaths ? fingerprint : void 0;
 	const carriedScopeFits = unreviewedPaths.length <= 100;
-	const stateCandidate = executionContext !== void 0 && fingerprint !== void 0 && metadata.baseSha !== void 0 && anchorFiles.length >= metadata.totalChangedFiles && carriedScopeFits && executionContext.stateAuthenticator?.status === "available" ? ReviewState.make({
-		version: 2,
+	const stateCandidate = fingerprint !== void 0 && executionContext.profileFingerprint !== void 0 && metadata.baseSha !== void 0 && anchorFiles.length >= metadata.totalChangedFiles && carriedScopeFits && concernsHaveEvidencePaths && executionContext.stateAuthenticator?.status === "available" ? ReviewState.make({
+		version: 1,
 		repository: metadata.repository,
 		pullRequestNumber: metadata.number,
 		baseRef: metadata.baseRef,
@@ -555,18 +659,20 @@ const settleReviewRun = (core, context, options) => Effect.gen(function* () {
 		headRef: metadata.headRef,
 		reviewedHeadSha: metadata.headSha,
 		profileFingerprint: executionContext.profileFingerprint,
-		acceptedScopeFingerprint: fingerprint,
+		settledScopeFingerprint: fingerprint,
 		reviewedPathCount: anchorFiles.length,
 		unresolvedFindings: activeFindings.map(toStoredFinding),
 		unresolvedConcerns: activeConcerns.map(toStoredConcern),
 		unreviewedPaths,
+		unreviewedPasses: (core.unreviewedPasses ?? []).slice(0, 24),
 		settled,
-		lastReviewMode: executionContext.mode
+		lastReviewMode: executionContext.mode,
+		...adjudications.length === 0 ? {} : { adjudications }
 	}) : void 0;
-	const continuity = stateCandidate === void 0 || executionContext?.stateAuthenticator === void 0 ? {
+	const continuity = stateCandidate === void 0 || executionContext.stateAuthenticator === void 0 ? {
 		state: void 0,
 		marker: void 0,
-		notice: executionContext !== void 0 && !carriedScopeFits ? `carried unreviewed scope (${unreviewedPaths.length} paths) exceeded the 100-path continuity bound` : executionContext?.stateAuthenticator?.status === "unavailable" ? executionContext.stateAuthenticator.unavailableReason ?? "authenticated continuity state is unavailable" : void 0
+		notice: !carriedScopeFits ? `carried unreviewed scope (${unreviewedPaths.length} paths) exceeded the 100-path continuity bound` : !concernsHaveEvidencePaths ? "one or more review concerns lacked host-validated affected paths" : executionContext.stateAuthenticator?.status === "unavailable" ? executionContext.stateAuthenticator.unavailableReason ?? "authenticated continuity state is unavailable" : void 0
 	} : yield* executionContext.stateAuthenticator.render(stateCandidate).pipe(Effect.match({
 		onFailure: (error) => ({
 			state: void 0,
@@ -594,30 +700,29 @@ const settleReviewRun = (core, context, options) => Effect.gen(function* () {
 		unreviewedPaths,
 		carriedFindings,
 		carriedConcerns,
-		reviewMode: executionContext?.mode,
-		reviewReason: executionContext?.reason,
-		baselineSha: executionContext?.baselineSha,
+		reviewMode: executionContext.mode,
+		reviewReason: executionContext.reason,
+		baselineSha: executionContext.baselineSha,
 		reviewFilesVisible: files.length,
 		reviewTotalFiles,
 		stateMarker: continuity.marker,
-		stateNotice: continuity.notice
+		stateNotice: continuity.notice,
+		...adjudications.length === 0 ? {} : { adjudications }
 	});
 	const shared = {
 		review,
 		activeFindings,
 		activeConcerns,
-		coverage: compatibilityCoverage(inputCoverage, assurance),
 		inputCoverage,
 		assurance,
 		unreviewedPaths,
 		plan,
 		turns: core.turns,
 		...usage === void 0 ? {} : { usage },
-		...executionContext === void 0 ? {} : {
-			reviewMode: executionContext.mode,
-			reviewReason: executionContext.reason
-		},
-		...continuity.state === void 0 ? {} : { state: continuity.state }
+		reviewMode: executionContext.mode,
+		reviewReason: executionContext.reason,
+		...continuity.state === void 0 ? {} : { state: continuity.state },
+		...adjudications.length === 0 ? {} : { adjudications }
 	};
 	if (!options.post) return ReviewRunOutcome.make(shared);
 	const published = yield* (yield* ReviewPublisher).publish(plan);
@@ -637,8 +742,12 @@ const executeReview = (binding, options) => Effect.gen(function* () {
 	const metadata = yield* source.metadata;
 	const files = yield* source.changedFiles;
 	const anchorFiles = yield* source.anchorFiles;
-	const executionContext = Option.getOrUndefined(yield* Effect.serviceOption(ReviewExecutionContext));
-	const mission = buildReviewMission(metadata, files);
+	const executionContext = yield* ReviewExecutionContext;
+	const continuity = yield* resolveReviewContinuityContext();
+	const mission = buildReviewMission(metadata, files, {
+		adjudicated: continuity.adjudications.map(renderAdjudicationContextLine),
+		priorFindings: continuity.priorFindingsOnScope.map(renderPriorFindingContextLine)
+	});
 	const fullMission = buildReviewMission(metadata, anchorFiles);
 	const fingerprint = options.signature === void 0 ? void 0 : yield* computeChangesetFingerprint(anchorFiles, options.signature(fullMission));
 	const budget = yield* makeUsageBudget(options.limits ?? reviewBudgetLimits);
@@ -651,7 +760,7 @@ const executeReview = (binding, options) => Effect.gen(function* () {
 	const review = yield* Schema.decodeUnknownEffect(CodeReview)(result.output);
 	const assessment = assessFlatReview({
 		files,
-		totalFiles: executionContext?.totalFiles ?? metadata.totalChangedFiles,
+		totalFiles: executionContext.totalFiles,
 		anchorFiles,
 		totalAnchorFiles: metadata.totalChangedFiles,
 		events
@@ -668,7 +777,8 @@ const executeReview = (binding, options) => Effect.gen(function* () {
 		files,
 		anchorFiles,
 		fingerprint,
-		usage
+		usage,
+		adjudications: continuity.adjudications
 	}, options);
 });
 /**
@@ -682,17 +792,23 @@ const executeFanOutReview = (binding, options) => Effect.gen(function* () {
 	const metadata = yield* source.metadata;
 	const files = yield* source.changedFiles;
 	const anchorFiles = yield* source.anchorFiles;
-	const executionContext = Option.getOrUndefined(yield* Effect.serviceOption(ReviewExecutionContext));
+	const executionContext = yield* ReviewExecutionContext;
 	const fullMission = buildReviewMission(metadata, anchorFiles);
 	const fingerprint = options.signature === void 0 ? void 0 : yield* computeChangesetFingerprint(anchorFiles, options.signature(fullMission));
 	const budget = yield* makeUsageBudget(options.limits ?? fanOutReviewBudgetLimits);
-	const totalFiles = executionContext?.totalFiles ?? metadata.totalChangedFiles;
+	const totalFiles = executionContext.totalFiles;
+	const continuity = yield* resolveReviewContinuityContext();
 	const pipeline = yield* runFanOutReview(binding, {
 		files,
 		anchorFiles,
 		totalChangedFiles: totalFiles,
 		maxFindings: options.maxFindings,
-		budget: toRunBudgetHook(budget)
+		budget: toRunBudgetHook(budget),
+		...executionContext.retryPaths.length > 0 ? { retry: {
+			paths: executionContext.retryPaths,
+			stages: executionContext.retryStages
+		} } : {},
+		...continuity.adjudications.length > 0 || continuity.priorFindingsOnScope.length > 0 ? { priorContext: buildPriorReviewContext(continuity.adjudications, continuity.priorFindingsOnScope) } : {}
 	});
 	const inputCoverage = fanOutInputCoverage({
 		plan: pipeline.plan,
@@ -707,13 +823,18 @@ const executeFanOutReview = (binding, options) => Effect.gen(function* () {
 		inputCoverage,
 		assurance: pipeline.assurance,
 		unreviewedPaths: pipeline.unreviewedPaths,
+		unreviewedPasses: pipeline.unreviewedPasses.slice(0, 24).map((pass) => StoredUnreviewedPass.make({
+			stage: pass.stage,
+			paths: pass.paths.slice(0, 12)
+		})),
 		turns: pipeline.turns
 	}, {
 		metadata,
 		files,
 		anchorFiles,
 		fingerprint,
-		usage
+		usage,
+		adjudications: continuity.adjudications
 	}, options);
 });
 //#endregion
@@ -754,8 +875,8 @@ const makeReviewSnapshot = (ignore) => provideIgnore(Effect.gen(function* () {
 * Build the flat reviewer: one bounded read-only agent over the whole
 * changeset. Returns the model-agnostic definition, the explicit binding, and
 * a `run` whose error and requirement channels stay fully inferred — the
-* pull-request source, the publisher, extra tool handlers, and the Model
-* Layer's requirements all remain visible to the caller.
+* pull-request source, the publisher, `Crypto.Crypto`, extra tool handlers,
+* and the Model Layer's requirements all remain visible to the caller.
 */
 const make = (options) => {
 	const extraTools = options.extraTools ?? EMPTY_TOOLS;
@@ -924,7 +1045,7 @@ const settleCallout = (info) => {
 	if (info.outcome === "failed") return "> ⚠️ **Code review run failed** — nothing was posted.";
 	switch (info.conclusion) {
 		case "success": return `> ✅ **Code review posted** — verdict \`${info.verdict}\`, ${info.inlineComments} inline comment(s), nothing blocking.`;
-		case "blocking": return `> 🛑 **Code review posted** — blocking findings; the check fails until they are addressed.`;
+		case "blocking": return `> 🛑 **Code review posted:** blocking review items; the check fails until they are addressed.`;
 		case "incomplete": return `> ⚠️ **Code review posted** — input coverage or configured review assurance is incomplete, so the check fails.`;
 	}
 };
@@ -1139,7 +1260,8 @@ const gitHubReviewLayers = (target) => Layer.unwrap(Effect.gen(function* () {
 		token,
 		reviewAuthorLogin
 	});
-	return Layer.mergeAll(gitHubPullRequestSourceLayer.pipe(Layer.provide(targetLayer)), gitHubReviewPublisherLayer.pipe(Layer.provide(targetLayer)), gitHubPriorReviewsLayer.pipe(Layer.provide(targetLayer)), gitHubReviewRetirementHostLayer.pipe(Layer.provide(targetLayer)), gitHubReviewProgressLayer.pipe(Layer.provide(targetLayer)));
+	const adjudicationHostLayer = gitHubReviewAdjudicationHostLayer.pipe(Layer.provide(targetLayer));
+	return Layer.mergeAll(gitHubPullRequestSourceLayer.pipe(Layer.provide(targetLayer)), gitHubReviewPublisherLayer.pipe(Layer.provide(targetLayer)), gitHubPriorReviewsLayer.pipe(Layer.provide(targetLayer)), gitHubReviewRetirementHostLayer.pipe(Layer.provide(targetLayer)), adjudicationHostLayer, gitHubReviewProgressLayer.pipe(Layer.provide(targetLayer)));
 }));
 //#endregion
 //#region src/internal/providers.ts
@@ -1201,4 +1323,4 @@ const anthropicClientLayer = AnthropicClient.layerConfig({ apiKey: Config.redact
 //#endregion
 export { reviewBudgetLimits as A, ignoringPullRequestSourceLayer as B, PrReview as C, executeFanOutReview as D, enforceFindingsBound as E, estimateReviewEffort as F, resolveEffortRung as G, InvalidEffortInput as H, planPublication as I, planWalkthrough as L, ReviewCommentDraft as M, ReviewEvent as N, executeReview as O, ReviewPublicationPlan as P, renderAgentPrompt as R, renderProgressSettleBody as S, buildReviewMission as T, isEffortPosition as U, EFFORT_ALIASES as V, parseEffortPosition as W, gitHubReviewProgressLayer as _, anthropicClientLayer as a, renderProgressBeginBody as b, makeOpenAiReviewModel as c, ReviewTargetUnresolved as d, gitHubReviewLayers as f, ReviewProgressReporter as g, PROGRESS_COMMENT_MARKER_PREFIX as h, PROVIDER_EFFORT_RUNGS as i, AGENT_PROMPT_PREAMBLE as j, fanOutReviewBudgetLimits as k, openAiClientLayer as l, resolveReviewTarget as m, DEFAULT_PROVIDER as n, describeReviewModel as o, readGitHubEvent as p, PROVIDER_CREDENTIAL_ENV as r, makeAnthropicReviewModel as s, DEFAULT_MODEL as t, GitHubEventWire as u, noopReviewProgressReporterLayer as v, ReviewRunOutcome as w, renderProgressClaimMarker as x, parseProgressClaim as y, compileIgnoreGlobs as z };
 
-//# sourceMappingURL=providers-NyP-4rS6.mjs.map
+//# sourceMappingURL=providers-CODZQCmL.mjs.map