@effect-agent/pr-review 0.1.0-beta.20 → 0.1.0-beta.21

package/dist/{providers-BE83_Tfo.mjs → providers-CblG1G9b.mjs}

@@ -1,4 +1,4 @@
-import { $t as ReadFile, An as isReviewableFile, F as buildProfileMission, Ft as rankAndDedupeFindings, Gt as ListChangedFiles, H as toStoredFinding, I as computeProfileFingerprint, L as fromStoredConcern, O as ReviewState, On as commentableLines, Pt as planReviewUnits, Q as FanOutCoordinatorToolkitLayer, R as fromStoredFinding, Rt as CodeReview, V as toStoredConcern, Y as renderFingerprintMarker, an as ReviewToolkitLayer, cn as clampMaxFindings, ct as FileReviewUnitResult, d as gitHubReviewPublisherLayer, dn as makeReviewInstructions, en as ReadFileDiff, f as gitHubReviewRetirementHostLayer, it as FileReviewRequest, l as gitHubPriorReviewsLayer, ln as defaultReviewPolicy, mn as resolveGuidance, n as GitHubApiFailure, nn as ReviewFinding, nt as FileReviewDelegationFailure, o as PublishedReview, ot as FileReviewToolkitLayer, q as computeChangesetFingerprint, r as GitHubReviewTarget, rn as ReviewMission, s as ReviewPublisher, t as DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN, tn as ReviewConcern, u as gitHubPullRequestSourceLayer, vn as PullRequestMetadata, vt as fanOutHandlersLayerFor, w as ReviewExecutionContext, wt as makeFanOutReviewSuite, xn as ReviewInputViolation, yn as PullRequestSource, zt as FileDiffQuery } from "./github-DnenG3be.mjs";
+import { An as ReviewMission, Bn as makeReviewInstructions, Bt as reviewCandidateSubjectKey, Dn as ReadFileDiff, En as ReadFile, F as buildProfileMission, Fn as clampMaxFindings, H as toStoredFinding, I as computeProfileFingerprint, In as defaultReviewPolicy, Jn as PullRequestSource, L as fromStoredConcern, Lt as makeFanOutReviewSuite, Mn as ReviewToolkitLayer, O as ReviewState, On as ReviewConcern, Qn as anchorViolation, R as fromStoredFinding, Un as resolveGuidance, V as toStoredConcern, Xn as ReviewInputViolation, Y as renderFingerprintMarker, _n as ListChangedFiles, an as findingAnchorInUnitEvidence, at as FileReviewDelegationFailure, d as gitHubReviewPublisherLayer, dn as FileDiffQuery, dt as FileReviewToolkitLayer, f as gitHubReviewRetirementHostLayer, fn as FileDiffView, jt as fanOutHandlersLayerFor, kn as ReviewFinding, l as gitHubPriorReviewsLayer, lt as FileReviewRequest, n as GitHubApiFailure, o as PublishedReview, on as planReviewUnits, or as isReviewableFile, pt as FileReviewUnitResult, q as computeChangesetFingerprint, qn as PullRequestMetadata, r as GitHubReviewTarget, s as ReviewPublisher, sn as rankAndDedupeFindings, t as DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN, tt as FanOutCoordinatorToolkitLayer, u as gitHubPullRequestSourceLayer, un as CodeReview, w as ReviewExecutionContext, wt as ReviewCandidate } from "./github-DSqZp3Ce.mjs";
 import { Config, Context, DateTime, Effect, FileSystem, Layer, Option, Ref, Schema } from "effect";
 import { Agent, AgentPolicy, AgentRuntime, IdGenerator, SubagentReservationsMemoryLive, UsageBudgetLimits, UsageTotals, getToolExecutionClass, makeUsageBudget, toRunBudgetHook } from "effect-agent";
 import { Toolkit } from "effect/unstable/ai";
@@ -11,14 +11,57 @@ var FailedReviewUnit = class extends Schema.Class("@effect-agent/pr-review/Faile
 	unitId: Schema.NonEmptyString.check(Schema.isMaxLength(32)),
 	errorTag: Schema.NonEmptyString.check(Schema.isMaxLength(256))
 }) {};
+/**
+* Compatibility diagnostic retained for callers that consumed the original
+* `coverage` field. New UI and state decisions use ReviewInputCoverage and
+* ReviewAssurance directly.
+*/
 var ReviewCoverage = class extends Schema.Class("@effect-agent/pr-review/ReviewCoverage")({
 	status: Schema.Literals(["complete", "incomplete"]),
 	requiredPaths: Schema.Array(Schema.NonEmptyString.check(Schema.isMaxLength(512))).check(Schema.isMaxLength(300)),
 	reviewedPaths: Schema.Array(Schema.NonEmptyString.check(Schema.isMaxLength(512))).check(Schema.isMaxLength(300)),
 	unreviewedPaths: Schema.Array(Schema.NonEmptyString.check(Schema.isMaxLength(512))).check(Schema.isMaxLength(300)),
 	failedUnits: Schema.Array(FailedReviewUnit).check(Schema.isMaxLength(8)),
+	reasons: Schema.Array(Schema.NonEmptyString.check(Schema.isMaxLength(1e3))).check(Schema.isMaxLength(32))
+}) {};
+var ReviewInputCoverage = class extends Schema.Class("@effect-agent/pr-review/ReviewInputCoverage")({
+	status: Schema.Literals(["complete", "incomplete"]),
+	requiredPaths: Schema.Array(Schema.NonEmptyString.check(Schema.isMaxLength(512))).check(Schema.isMaxLength(300)),
+	assignedPaths: Schema.Array(Schema.NonEmptyString.check(Schema.isMaxLength(512))).check(Schema.isMaxLength(300)),
+	/** Assigned paths whose model-visible diff was truncated by the evidence bound. */
+	partialPaths: Schema.Array(Schema.NonEmptyString.check(Schema.isMaxLength(512))).check(Schema.isMaxLength(300)),
+	unassignedPaths: Schema.Array(Schema.NonEmptyString.check(Schema.isMaxLength(512))).check(Schema.isMaxLength(300)),
 	reasons: Schema.Array(Schema.NonEmptyString.check(Schema.isMaxLength(1e3))).check(Schema.isMaxLength(20))
 }) {};
+var FailedReviewPass = class extends Schema.Class("@effect-agent/pr-review/FailedReviewPass")({
+	workId: Schema.NonEmptyString.check(Schema.isMaxLength(96)),
+	stage: Schema.Literals([
+		"discovery",
+		"specialist",
+		"verification"
+	]),
+	errorTag: Schema.NonEmptyString.check(Schema.isMaxLength(256))
+}) {};
+var ReviewAssurance = class extends Schema.Class("@effect-agent/pr-review/ReviewAssurance")({
+	status: Schema.Literals([
+		"settled",
+		"incomplete",
+		"unverified"
+	]),
+	requiredGeneralDiscoveryPasses: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+	completedGeneralDiscoveryPasses: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+	requiredSpecialistPasses: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+	completedSpecialistPasses: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+	requiredVerificationPasses: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+	completedVerificationPasses: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+	discoveredCandidates: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+	confirmedCandidates: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+	rejectedCandidates: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+	unsettledCandidates: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+	/** Every failure remains visible within the coordinator's 32-call hard bound. */
+	failedPasses: Schema.Array(FailedReviewPass).check(Schema.isMaxLength(64)),
+	reasons: Schema.Array(Schema.NonEmptyString.check(Schema.isMaxLength(1e3))).check(Schema.isMaxLength(32))
+}) {};
 const toolTrace = (events) => {
 	const declared = /* @__PURE__ */ new Map();
 	const succeeded = /* @__PURE__ */ new Map();
@@ -51,120 +94,342 @@ const boundedListReason = (label, values) => {
 	}
 	return rendered;
 };
-const flatCoverage = (files, totalFiles, trace) => {
+const flatInputCoverage = (files, totalFiles, trace) => {
 	const requiredPaths = sortedUnique(files.map((file) => file.path));
-	const reviewed = /* @__PURE__ */ new Set();
+	const assigned = /* @__PURE__ */ new Set();
+	const partial = /* @__PURE__ */ new Set();
 	const failedPaths = /* @__PURE__ */ new Set();
 	for (const [toolCallId, declaration] of trace.declared) {
 		if (declaration.toolName !== "read_file_diff") continue;
 		const query = Schema.decodeUnknownOption(FileDiffQuery)(declaration.parameters);
 		if (Option.isNone(query)) continue;
-		if (trace.succeeded.has(toolCallId)) reviewed.add(query.value.path);
+		const success = trace.succeeded.get(toolCallId);
+		if (success !== void 0) {
+			assigned.add(query.value.path);
+			const view = Schema.decodeUnknownOption(FileDiffView)(success.result);
+			if (Option.isSome(view) && view.value.truncated) partial.add(query.value.path);
+		}
 		if (trace.failed.has(toolCallId)) failedPaths.add(query.value.path);
 	}
 	const undiffable = files.filter((file) => !isReviewableFile(file)).map((file) => file.path);
-	const unreviewed = requiredPaths.filter((path) => !reviewed.has(path) || undiffable.includes(path) || failedPaths.has(path));
+	const unassigned = requiredPaths.filter((path) => !assigned.has(path) || undiffable.includes(path) || failedPaths.has(path));
 	const reasons = [];
 	if (files.length < totalFiles) reasons.push(`review range exposed ${files.length} of ${totalFiles} required files`);
 	if (undiffable.length > 0) reasons.push(boundedListReason("required paths have no reviewable diff or bounded text", undiffable));
 	if (failedPaths.size > 0) reasons.push(boundedListReason("diff reads failed", failedPaths));
-	if (unreviewed.length > 0) reasons.push(boundedListReason("required paths were not successfully reviewed", unreviewed));
-	return ReviewCoverage.make({
+	if (partial.size > 0) reasons.push(boundedListReason("model-visible diff evidence was truncated", partial));
+	if (unassigned.length > 0) reasons.push(boundedListReason("required paths received no successful diff input", unassigned));
+	return ReviewInputCoverage.make({
 		status: reasons.length === 0 ? "complete" : "incomplete",
 		requiredPaths,
-		reviewedPaths: sortedUnique(reviewed),
-		unreviewedPaths: sortedUnique(unreviewed),
-		failedUnits: [],
+		assignedPaths: sortedUnique(assigned),
+		partialPaths: sortedUnique(partial),
+		unassignedPaths: sortedUnique(unassigned),
 		reasons
 	});
 };
-const fanOutCoverage = (files, totalFiles, trace) => {
+const fanOutInputCoverage = (files, totalFiles) => {
 	const plan = planReviewUnits(files, { totalChangedFiles: totalFiles });
-	const declarationsByUnit = /* @__PURE__ */ new Map();
-	for (const [toolCallId, declaration] of trace.declared) {
-		if (declaration.toolName !== "delegate_file_review") continue;
-		const request = Schema.decodeUnknownOption(FileReviewRequest)(declaration.parameters);
-		if (Option.isNone(request)) continue;
-		const declarations = declarationsByUnit.get(request.value.unitId) ?? [];
-		declarations.push({
-			id: toolCallId,
-			paths: request.value.paths
-		});
-		declarationsByUnit.set(request.value.unitId, declarations);
-	}
-	const reviewed = /* @__PURE__ */ new Set();
-	const unreviewed = /* @__PURE__ */ new Set([...plan.undiffablePaths, ...plan.unassignedPaths]);
-	const failedUnits = [];
+	const assignedPaths = sortedUnique(plan.units.flatMap((unit) => unit.paths));
+	const unassignedPaths = sortedUnique([...plan.undiffablePaths, ...plan.unassignedPaths]);
 	const reasons = [];
-	for (const unit of plan.units) {
-		const declarations = declarationsByUnit.get(unit.unitId) ?? [];
-		const expectedPaths = [...unit.paths];
-		const exact = declarations.filter((declaration) => declaration.paths.length === expectedPaths.length && declaration.paths.every((path, index) => path === expectedPaths[index]));
-		const successful = exact.filter((declaration) => {
-			const event = trace.succeeded.get(declaration.id);
-			if (event === void 0 || trace.failed.has(declaration.id)) return false;
-			const result = Schema.decodeUnknownOption(FileReviewUnitResult)(event.result);
-			return Option.isSome(result) && result.value.unitId === unit.unitId;
-		});
-		if (declarations.length === 1 && exact.length === 1 && successful.length === 1) {
-			for (const path of unit.paths) reviewed.add(path);
-			continue;
-		}
-		for (const path of unit.paths) unreviewed.add(path);
-		const failure = declarations.map((declaration) => trace.failed.get(declaration.id)).find((event) => event !== void 0);
-		const returnedFailure = declarations.map((declaration) => trace.succeeded.get(declaration.id)).filter((event) => event !== void 0).map((event) => Schema.decodeUnknownOption(FileReviewDelegationFailure)(event.result)).find(Option.isSome);
-		failedUnits.push(FailedReviewUnit.make({
-			unitId: unit.unitId,
-			errorTag: failure?.errorTag ?? (returnedFailure !== void 0 ? returnedFailure.value._tag === "FileReviewUnitFailed" ? `${returnedFailure.value._tag}:${returnedFailure.value.childErrorTag}` : returnedFailure.value._tag : void 0) ?? (declarations.length === 0 ? "UnitNotAssigned" : declarations.length > 1 ? "UnitAssignedMultipleTimes" : exact.length === 0 ? "UnitAssignmentMismatch" : "UnitDidNotSettleSuccessfully")
-		}));
-	}
 	if (plan.truncated) reasons.push(`review range exposed ${files.length} of ${totalFiles} required files`);
 	if (plan.undiffablePaths.length > 0) reasons.push(boundedListReason("required paths have no reviewable diff or bounded text", plan.undiffablePaths));
+	if (plan.partialEvidencePaths.length > 0) reasons.push(boundedListReason("fan-out capacity left some deterministic evidence shards unassigned", plan.partialEvidencePaths));
+	if (plan.unassignedEvidenceShardCount > 0) {
+		reasons.push(`${plan.unassignedEvidenceShardCount} deterministic evidence shard(s) exceeded fan-out capacity`);
+		reasons.push(boundedListReason(`unassigned evidence shard identifier sample (${plan.unassignedEvidenceShardIds.length} of ${plan.unassignedEvidenceShardCount})`, plan.unassignedEvidenceShardIds));
+	}
 	if (plan.unassignedPaths.length > 0) reasons.push(boundedListReason("fan-out capacity left paths unassigned", plan.unassignedPaths));
-	if (failedUnits.length > 0) reasons.push(boundedListReason("review units did not complete", failedUnits.map((unit) => `${unit.unitId} (${unit.errorTag})`)));
-	return ReviewCoverage.make({
+	return ReviewInputCoverage.make({
 		status: reasons.length === 0 ? "complete" : "incomplete",
 		requiredPaths: sortedUnique(files.map((file) => file.path)),
-		reviewedPaths: sortedUnique(reviewed),
-		unreviewedPaths: sortedUnique(unreviewed),
-		failedUnits,
+		assignedPaths,
+		partialPaths: plan.partialEvidencePaths,
+		unassignedPaths,
 		reasons
 	});
 };
-/**
-* Host-verified per-file summaries from the fan-out run's Tool events: for
-* every successfully settled delegation, the child-reported `fileSummaries`
-* whose paths belong to that invocation's requested unit. This is the
-* declassification check `projectResult` cannot perform itself (it never sees
-* the request): a child assigned file A cannot smuggle a summary for changed
-* file B into the merged walkthrough, and a coordinator cannot invent or edit
-* entries — only exact child-reported, in-unit summaries survive.
-*/
-const collectUnitFileSummaries = (events) => {
-	const trace = toolTrace(events);
-	const entries = [];
-	for (const [toolCallId, declaration] of trace.declared) {
-		if (declaration.toolName !== "delegate_file_review") continue;
+const sameStrings = (left, right) => left.length === right.length && left.every((value, index) => value === right[index]);
+const candidateKey = (candidate) => JSON.stringify(Schema.encodeSync(ReviewCandidate)(candidate));
+const sameCandidates = (left, right) => left.length === right.length && left.every((candidate, index) => {
+	const corresponding = right[index];
+	return corresponding !== void 0 && candidateKey(candidate) === candidateKey(corresponding);
+});
+const delegationDeclarations = (trace) => [...trace.declared].flatMap(([id, declaration]) => {
+	if (declaration.toolName !== "delegate_file_review") return [];
+	const request = Schema.decodeUnknownOption(FileReviewRequest)(declaration.parameters);
+	return Option.isNone(request) ? [] : [{
+		id,
+		request: request.value
+	}];
+});
+const failureTag = (trace, id) => {
+	const failed = trace.failed.get(id);
+	if (failed !== void 0) return failed.errorTag;
+	const succeeded = trace.succeeded.get(id);
+	if (succeeded === void 0) return void 0;
+	const returned = Schema.decodeUnknownOption(FileReviewDelegationFailure)(succeeded.result);
+	if (Option.isNone(returned)) return void 0;
+	return returned.value._tag === "FileReviewUnitFailed" ? `${returned.value._tag}:${returned.value.childErrorTag}` : returned.value._tag;
+};
+const exactDiscoveryRequest = (request, pass) => request.phase === "discovery" && request.workId === pass.passId && request.unitId === pass.unitId && request.perspective === pass.perspective && sameStrings(request.paths, pass.paths) && sameStrings(request.evidenceShardIds, pass.evidenceShardIds) && sameStrings(request.riskCategories, pass.riskCategories) && request.candidates.length === 0;
+const validCandidate = (candidate, pass, unit, files, anchorFiles) => {
+	const allowed = new Set(pass.paths);
+	const kind = candidate._tag === "FindingCandidate" ? "finding" : "concern";
+	const idPrefix = `${pass.passId}:${kind}:`;
+	return candidate.candidateId.startsWith(idPrefix) && /^\d{3}$/.test(candidate.candidateId.slice(idPrefix.length)) && candidate.workId === pass.passId && candidate.unitId === pass.unitId && candidate.evidencePaths.length > 0 && candidate.evidencePaths.every((path) => allowed.has(path)) && (candidate._tag !== "FindingCandidate" || allowed.has(candidate.finding.path) && anchorViolation(candidate.finding, anchorFiles) === void 0 && findingAnchorInUnitEvidence(candidate.finding, unit, files));
+};
+const flatAssurance = () => ({
+	assurance: ReviewAssurance.make({
+		status: "unverified",
+		requiredGeneralDiscoveryPasses: 1,
+		completedGeneralDiscoveryPasses: 1,
+		requiredSpecialistPasses: 0,
+		completedSpecialistPasses: 0,
+		requiredVerificationPasses: 1,
+		completedVerificationPasses: 0,
+		discoveredCandidates: 0,
+		confirmedCandidates: 0,
+		rejectedCandidates: 0,
+		unsettledCandidates: 0,
+		failedPasses: [],
+		reasons: ["flat review has no independent candidate-verification pass; use the fan-out pipeline for a settled assurance result"]
+	}),
+	confirmedFindings: [],
+	confirmedConcerns: [],
+	walkthrough: []
+});
+const fanOutAssurance = (files, totalFiles, anchorFiles, trace) => {
+	const plan = planReviewUnits(files, { totalChangedFiles: totalFiles });
+	const declarations = delegationDeclarations(trace);
+	const consumedDeclarationIds = /* @__PURE__ */ new Set();
+	const failedPasses = [];
+	const reasons = [];
+	const candidatesByUnit = /* @__PURE__ */ new Map();
+	const walkthrough = [];
+	let completedGeneralDiscoveryPasses = 0;
+	let completedSpecialistPasses = 0;
+	for (const pass of plan.discoveryPasses) {
+		const unit = plan.units.find((candidate) => candidate.unitId === pass.unitId);
+		const matching = declarations.filter(({ request }) => exactDiscoveryRequest(request, pass));
+		const stage = pass.perspective === "risk-specialist" ? "specialist" : "discovery";
+		if (matching.length !== 1) {
+			failedPasses.push(FailedReviewPass.make({
+				workId: pass.passId,
+				stage,
+				errorTag: matching.length === 0 ? "PassNotAssigned" : "PassAssignedMultipleTimes"
+			}));
+			continue;
+		}
+		const call = matching[0];
+		if (call === void 0) {
+			failedPasses.push(FailedReviewPass.make({
+				workId: pass.passId,
+				stage,
+				errorTag: "PassLookupInvariantFailed"
+			}));
+			continue;
+		}
+		consumedDeclarationIds.add(call.id);
+		const failure = failureTag(trace, call.id);
+		const succeeded = trace.succeeded.get(call.id);
+		const result = succeeded === void 0 ? Option.none() : Schema.decodeUnknownOption(FileReviewUnitResult)(succeeded.result);
+		if (failure !== void 0 || Option.isNone(result) || result.value.phase !== "discovery" || result.value.workId !== pass.passId || result.value.unitId !== pass.unitId || result.value.assessments.length !== 0) {
+			failedPasses.push(FailedReviewPass.make({
+				workId: pass.passId,
+				stage,
+				errorTag: failure ?? "DiscoveryDidNotSettleExactly"
+			}));
+			continue;
+		}
+		const ids = /* @__PURE__ */ new Set();
+		let candidatesValid = true;
+		for (const candidate of result.value.candidates) {
+			if (unit === void 0 || ids.has(candidate.candidateId) || !validCandidate(candidate, pass, unit, files, anchorFiles)) {
+				candidatesValid = false;
+				break;
+			}
+			ids.add(candidate.candidateId);
+		}
+		const unitCandidates = candidatesByUnit.get(pass.unitId) ?? [];
+		const unitIds = new Set(unitCandidates.map((candidate) => candidate.candidateId));
+		if (result.value.candidates.some((candidate) => unitIds.has(candidate.candidateId))) candidatesValid = false;
+		if (!candidatesValid) {
+			failedPasses.push(FailedReviewPass.make({
+				workId: pass.passId,
+				stage,
+				errorTag: "DiscoveryCandidateMismatch"
+			}));
+			continue;
+		}
+		if (stage === "specialist") completedSpecialistPasses += 1;
+		else completedGeneralDiscoveryPasses += 1;
+		const subjectKeys = new Set(unitCandidates.map(reviewCandidateSubjectKey));
+		for (const candidate of result.value.candidates) {
+			const subjectKey = reviewCandidateSubjectKey(candidate);
+			if (subjectKeys.has(subjectKey)) continue;
+			subjectKeys.add(subjectKey);
+			unitCandidates.push(candidate);
+		}
+		candidatesByUnit.set(pass.unitId, unitCandidates);
+		if (pass.perspective === "general") {
+			const allowed = new Set(pass.paths);
+			walkthrough.push(...result.value.fileSummaries.filter((entry) => allowed.has(entry.path)));
+		}
+	}
+	const confirmedCandidates = [];
+	let rejectedCandidates = 0;
+	let unsettledCandidates = 0;
+	let requiredVerificationPasses = 0;
+	let completedVerificationPasses = 0;
+	for (const unit of plan.units) {
+		const candidates = candidatesByUnit.get(unit.unitId) ?? [];
+		if (candidates.length === 0) continue;
+		requiredVerificationPasses += 1;
+		const workId = `${unit.unitId}-verification`;
+		const matching = declarations.filter(({ request }) => request.phase === "verification" && request.workId === workId && request.unitId === unit.unitId && request.perspective === "candidate-verification" && sameStrings(request.paths, unit.paths) && sameStrings(request.evidenceShardIds, unit.evidenceShards.map((shard) => shard.shardId)) && sameStrings(request.riskCategories, unit.riskCategories) && sameCandidates(request.candidates, candidates));
+		if (matching.length !== 1) {
+			unsettledCandidates += candidates.length;
+			failedPasses.push(FailedReviewPass.make({
+				workId,
+				stage: "verification",
+				errorTag: matching.length === 0 ? "VerificationNotAssignedOrCandidateMismatch" : "VerificationAssignedMultipleTimes"
+			}));
+			continue;
+		}
+		const call = matching[0];
+		if (call === void 0) {
+			unsettledCandidates += candidates.length;
+			failedPasses.push(FailedReviewPass.make({
+				workId,
+				stage: "verification",
+				errorTag: "PassLookupInvariantFailed"
+			}));
+			continue;
+		}
+		consumedDeclarationIds.add(call.id);
+		const failure = failureTag(trace, call.id);
+		const succeeded = trace.succeeded.get(call.id);
+		const result = succeeded === void 0 ? Option.none() : Schema.decodeUnknownOption(FileReviewUnitResult)(succeeded.result);
+		if (failure !== void 0 || Option.isNone(result) || result.value.phase !== "verification" || result.value.workId !== workId || result.value.unitId !== unit.unitId || result.value.candidates.length !== 0 || result.value.fileSummaries.length !== 0) {
+			unsettledCandidates += candidates.length;
+			failedPasses.push(FailedReviewPass.make({
+				workId,
+				stage: "verification",
+				errorTag: failure ?? "VerificationDidNotSettleExactly"
+			}));
+			continue;
+		}
+		const expectedIds = new Set(candidates.map((candidate) => candidate.candidateId));
+		const assessedIds = /* @__PURE__ */ new Set();
+		const exactAssessments = result.value.assessments.every((assessment) => {
+			if (!expectedIds.has(assessment.candidateId) || assessedIds.has(assessment.candidateId)) return false;
+			assessedIds.add(assessment.candidateId);
+			return true;
+		});
+		if (expectedIds.size !== candidates.length || !exactAssessments || assessedIds.size !== expectedIds.size) {
+			unsettledCandidates += candidates.length;
+			failedPasses.push(FailedReviewPass.make({
+				workId,
+				stage: "verification",
+				errorTag: "VerificationAssessmentMismatch"
+			}));
+			continue;
+		}
+		completedVerificationPasses += 1;
+		const byId = new Map(candidates.map((candidate) => [candidate.candidateId, candidate]));
+		for (const assessment of result.value.assessments) if (assessment.disposition === "confirmed") {
+			const candidate = byId.get(assessment.candidateId);
+			if (candidate !== void 0) confirmedCandidates.push(candidate);
+		} else rejectedCandidates += 1;
+	}
+	const unexpected = [...trace.declared].filter(([id, declaration]) => declaration.toolName === "delegate_file_review" && !consumedDeclarationIds.has(id));
+	for (const [, declaration] of unexpected) {
 		const request = Schema.decodeUnknownOption(FileReviewRequest)(declaration.parameters);
-		if (Option.isNone(request)) continue;
-		const success = trace.succeeded.get(toolCallId);
-		if (success === void 0 || trace.failed.has(toolCallId)) continue;
-		const result = Schema.decodeUnknownOption(FileReviewUnitResult)(success.result);
-		if (Option.isNone(result) || result.value.unitId !== request.value.unitId) continue;
-		const assigned = new Set(request.value.paths);
-		for (const entry of result.value.fileSummaries ?? []) if (assigned.has(entry.path)) entries.push(entry);
+		failedPasses.push(FailedReviewPass.make({
+			workId: Option.isSome(request) ? request.value.workId : "invalid-delegation-request",
+			stage: Option.isSome(request) && request.value.phase === "verification" ? "verification" : "discovery",
+			errorTag: "UnexpectedPass"
+		}));
 	}
-	return entries;
+	if (failedPasses.length > 0) reasons.push(boundedListReason("configured review passes did not settle", failedPasses.map((pass) => `${pass.workId} (${pass.errorTag})`)));
+	if (unsettledCandidates > 0) reasons.push(`${unsettledCandidates} discovered candidate(s) did not receive exact verification`);
+	const requiredSpecialistPasses = plan.discoveryPasses.filter((pass) => pass.perspective === "risk-specialist").length;
+	const requiredGeneralDiscoveryPasses = plan.discoveryPasses.length - requiredSpecialistPasses;
+	const discoveredCandidates = [...candidatesByUnit.values()].reduce((total, candidates) => total + candidates.length, 0);
+	return {
+		assurance: ReviewAssurance.make({
+			status: reasons.length === 0 ? "settled" : "incomplete",
+			requiredGeneralDiscoveryPasses,
+			completedGeneralDiscoveryPasses,
+			requiredSpecialistPasses,
+			completedSpecialistPasses,
+			requiredVerificationPasses,
+			completedVerificationPasses,
+			discoveredCandidates,
+			confirmedCandidates: confirmedCandidates.length,
+			rejectedCandidates,
+			unsettledCandidates,
+			failedPasses,
+			reasons
+		}),
+		confirmedFindings: confirmedCandidates.flatMap((candidate) => candidate._tag === "FindingCandidate" ? [candidate.finding] : []),
+		confirmedConcerns: confirmedCandidates.flatMap((candidate) => candidate._tag === "ConcernCandidate" ? [candidate.concern] : []),
+		walkthrough
+	};
 };
-/** Assess one settled run without trusting its prose summary or verdict. */
-const assessReviewCoverage = (input) => {
-	const trace = toolTrace(input.events);
-	const coverage = input.shape === "fan-out" ? fanOutCoverage(input.files, input.totalFiles, trace) : flatCoverage(input.files, input.totalFiles, trace);
-	if (input.anchorFiles.length >= input.totalAnchorFiles) return coverage;
+const compatibilityCoverage = (inputCoverage, assurance) => {
+	const assuranceIncomplete = assurance.status === "incomplete";
+	const failedUnits = /* @__PURE__ */ new Map();
+	for (const pass of assurance.failedPasses) {
+		const unitId = pass.workId.slice(0, 8);
+		if (!failedUnits.has(unitId)) failedUnits.set(unitId, FailedReviewUnit.make({
+			unitId,
+			errorTag: `${pass.stage}:${pass.errorTag}`
+		}));
+	}
 	return ReviewCoverage.make({
-		...coverage,
+		status: inputCoverage.status === "complete" && !assuranceIncomplete ? "complete" : "incomplete",
+		requiredPaths: inputCoverage.requiredPaths,
+		reviewedPaths: inputCoverage.assignedPaths,
+		unreviewedPaths: sortedUnique([...inputCoverage.partialPaths, ...inputCoverage.unassignedPaths]),
+		failedUnits: [...failedUnits.values()].slice(0, 8),
+		reasons: [...inputCoverage.reasons, ...assuranceIncomplete ? assurance.reasons : []]
+	});
+};
+/** Assess one settled run without trusting coordinator prose or findings. */
+const assessReviewPipeline = (input) => {
+	const trace = toolTrace(input.events);
+	let inputCoverage = input.shape === "fan-out" ? fanOutInputCoverage(input.files, input.totalFiles) : flatInputCoverage(input.files, input.totalFiles, trace);
+	if (input.anchorFiles.length < input.totalAnchorFiles) inputCoverage = ReviewInputCoverage.make({
+		...inputCoverage,
 		status: "incomplete",
-		reasons: [...coverage.reasons, `full pull-request anchor surface exposed ${input.anchorFiles.length} of ${input.totalAnchorFiles} required files`]
+		reasons: [...inputCoverage.reasons, `full pull-request anchor surface exposed ${input.anchorFiles.length} of ${input.totalAnchorFiles} required files`]
+	});
+	const assessed = input.shape === "fan-out" ? fanOutAssurance(input.files, input.totalFiles, input.anchorFiles, trace) : flatAssurance();
+	return {
+		inputCoverage,
+		assurance: assessed.assurance,
+		coverage: compatibilityCoverage(inputCoverage, assessed.assurance),
+		confirmedFindings: assessed.confirmedFindings,
+		confirmedConcerns: assessed.confirmedConcerns,
+		walkthrough: assessed.walkthrough
+	};
+};
+/** Compatibility helper; prefer assessReviewPipeline for precise claims. */
+const assessReviewCoverage = (input) => assessReviewPipeline(input).coverage;
+/** Host-verified summaries from successful general discovery passes only. */
+const collectUnitFileSummaries = (events) => {
+	const trace = toolTrace(events);
+	return delegationDeclarations(trace).flatMap(({ id, request }) => {
+		if (request.phase !== "discovery" || request.perspective !== "general") return [];
+		const success = trace.succeeded.get(id);
+		if (success === void 0 || trace.failed.has(id)) return [];
+		const result = Schema.decodeUnknownOption(FileReviewUnitResult)(success.result);
+		if (Option.isNone(result) || result.value.phase !== "discovery" || result.value.workId !== request.workId || result.value.unitId !== request.unitId) return [];
+		const assigned = new Set(request.paths);
+		return result.value.fileSummaries.filter((entry) => assigned.has(entry.path));
 	});
 };
 //#endregion
@@ -396,7 +661,8 @@ const severityCounts = (review, carriedFindings = [], carriedConcerns = []) => {
 */
 const renderVerdictCallout = (review, options) => {
 	const counts = severityCounts(review, options.carriedFindings, options.carriedConcerns);
-	if (options.coverage?.status === "incomplete") return `> [!CAUTION]\n> Review coverage is incomplete — the check must not pass.${counts.blocking > 0 ? ` It also has ${countNoun(counts.blocking, "blocking finding")}.` : ""}`;
+	if (options.inputCoverage?.status === "incomplete" || options.inputCoverage === void 0 && options.coverage?.status === "incomplete") return `> [!CAUTION]\n> Input coverage is incomplete — the check must not pass.${counts.blocking > 0 ? ` It also has ${countNoun(counts.blocking, "blocking finding")}.` : ""}`;
+	if (options.assurance !== void 0 && options.assurance.status !== "settled") return `> [!CAUTION]\n> Configured review assurance did not settle — the check must not pass.${counts.blocking > 0 ? ` It also has ${countNoun(counts.blocking, "blocking finding")}.` : ""}`;
 	if (counts.blocking > 0) return `> [!CAUTION]\n> ${countNoun(counts.blocking, "blocking finding")} — do not merge before addressing ${counts.blocking === 1 ? "it" : "them"}.`;
 	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.";
@@ -492,15 +758,6 @@ const renderReviewMetadata = (options) => [
 * Why one finding cannot become an inline comment, or undefined when it can.
 * Exported so tests can pin each rule individually.
 */
-const anchorViolation = (finding, files) => {
-	const file = files.find((candidate) => candidate.path === finding.path);
-	if (file === void 0) return "path is not part of the changeset";
-	if (file.patch === void 0) return "file has no anchorable textual diff";
-	if (finding.endLine < finding.startLine) return "endLine precedes startLine";
-	if (finding.endLine - finding.startLine + 1 > 100) return "range is implausibly large";
-	const anchors = commentableLines(file.patch);
-	for (let line = finding.startLine; line <= finding.endLine; line += 1) if (!anchors.has(line)) return `line ${line} is not part of the diff`;
-};
 /**
 * Turn one validated review into the exact GitHub publication payload.
 * `applyVerdict: false` (the safe default) always posts a COMMENT review;
@@ -548,22 +805,27 @@ const planPublication = (review, files, options) => {
 		const parts = [renderVerdictCallout(review, {
 			carriedFindings,
 			carriedConcerns,
-			coverage: options.coverage
+			coverage: options.coverage,
+			inputCoverage: options.inputCoverage,
+			assurance: options.assurance
 		})];
-		if (options.reviewMode !== void 0 && options.reviewReason !== void 0) parts.push("", options.reviewMode === "incremental" ? `**Incremental scope:** reviewed ${options.reviewFilesVisible ?? files.length} file(s) ${options.reviewReason}. Unchanged accepted scope was preserved and not reopened.` : `**Full-diff scope:** ${options.reviewReason}.`);
+		if (options.reviewMode !== void 0 && options.reviewReason !== void 0) parts.push("", options.reviewMode === "incremental" ? `**Incremental scope:** reopened ${options.reviewFilesVisible ?? files.length} affected file(s) ${options.reviewReason}. Unchanged settled scope was preserved and not reopened.` : `**Full-diff scope:** ${options.reviewReason}.`);
 		if (options.stateNotice !== void 0) parts.push("", `⚠️ Continuity state was not stored (${options.stateNotice.slice(0, 1e3)}); the next run will safely review the full diff.`);
 		parts.push("", renderReviewStats(files, options.totalChangedFiles, counts));
+		if (options.inputCoverage !== void 0 && options.assurance !== void 0) parts.push("", `**Input coverage:** ${options.inputCoverage.status} (${options.inputCoverage.assignedPaths.length}/${options.inputCoverage.requiredPaths.length} paths assigned, ${options.inputCoverage.partialPaths.length} partial) · **Review assurance:** ${options.assurance.status} (${options.assurance.completedGeneralDiscoveryPasses}/${options.assurance.requiredGeneralDiscoveryPasses} general discovery, ${options.assurance.completedSpecialistPasses}/${options.assurance.requiredSpecialistPasses} specialist, ${options.assurance.completedVerificationPasses}/${options.assurance.requiredVerificationPasses} verification; ${options.assurance.confirmedCandidates} confirmed / ${options.assurance.rejectedCandidates} rejected / ${options.assurance.unsettledCandidates} unsettled candidates)`);
 		parts.push("", review.summary);
 		if (walkthroughKept && walkthrough.length > 0) parts.push("", renderWalkthrough(walkthrough));
 		else if (walkthrough.length > 0) parts.push("", "⚠️ Walkthrough omitted — the body exceeded GitHub's review size cap.");
-		if (options.coverage?.status === "incomplete") parts.push("", "### 🛑 Incomplete coverage", "", ...options.coverage.reasons.map((reason) => `- ${reason}`));
+		if (options.inputCoverage?.status === "incomplete") parts.push("", "### 🛑 Incomplete input coverage", "", ...options.inputCoverage.reasons.map((reason) => `- ${reason}`));
+		else if (options.inputCoverage === void 0 && options.coverage?.status === "incomplete") parts.push("", "### 🛑 Incomplete coverage", "", ...options.coverage.reasons.map((reason) => `- ${reason}`));
+		if (options.assurance !== void 0 && options.assurance.status !== "settled") parts.push("", "### 🛑 Incomplete review assurance", "", ...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");
 			for (const concern of carriedConcerns) parts.push("", renderConcern(concern));
 		}
 		for (const concern of sortedConcerns.slice(0, concernsKept)) parts.push("", renderConcern(concern));
-		if (files.length < options.totalChangedFiles) parts.push("", `⚠️ Reviewed ${files.length} of ${options.totalChangedFiles} changed files — the changeset exceeded the reviewer's file bound.`);
+		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.");
 		if (omitted > 0) parts.push("", `⚠️ ${countNoun(omitted, "review item")} omitted — the body exceeded GitHub's review size cap.`);
@@ -571,7 +833,7 @@ const planPublication = (review, files, options) => {
 		return parts.join("\n");
 	};
 	const counts = severityCounts(review, options.carriedFindings ?? [], options.carriedConcerns ?? []);
-	const event = !options.applyVerdict ? "COMMENT" : options.coverage?.status === "incomplete" || counts.blocking > 0 ? "REQUEST_CHANGES" : review.verdict === "approve" && counts.important === 0 ? "APPROVE" : "COMMENT";
+	const event = !options.applyVerdict ? "COMMENT" : options.inputCoverage?.status === "incomplete" || options.inputCoverage === void 0 && options.coverage?.status === "incomplete" || options.assurance !== void 0 && options.assurance.status !== "settled" || counts.blocking > 0 ? "REQUEST_CHANGES" : review.verdict === "approve" && counts.important === 0 ? "APPROVE" : "COMMENT";
 	const tail = [
 		renderReviewMetadata({
 			headSha: options.headSha,
@@ -636,11 +898,11 @@ const reviewBudgetLimits = UsageBudgetLimits.make({
 * while bounded children run.
 */
 const fanOutReviewBudgetLimits = UsageBudgetLimits.make({
-	maxInputTokens: 4e5,
-	maxOutputTokens: 16e3,
-	maxToolCalls: 24,
+	maxInputTokens: 6e5,
+	maxOutputTokens: 32e3,
+	maxToolCalls: 32,
 	maxCostMicrousd: 2e6,
-	maxDurationMillis: 9e5
+	maxDurationMillis: 12e5
 });
 /** Everything one review run produced, publication receipt included. */
 var ReviewRunOutcome = class extends Schema.Class("@effect-agent/pr-review/ReviewRunOutcome")({
@@ -651,6 +913,10 @@ var ReviewRunOutcome = class extends Schema.Class("@effect-agent/pr-review/Revie
 	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 configured discovery, specialist, and verification work. */
+	assurance: ReviewAssurance,
 	plan: ReviewPublicationPlan,
 	published: Schema.optionalKey(PublishedReview),
 	turns: Schema.Int.check(Schema.isGreaterThan(0)),
@@ -728,17 +994,22 @@ const executeReview = (binding, options) => Effect.gen(function* () {
 	const result = yield* detached.await;
 	const events = yield* detached.events;
 	const decoded = yield* Schema.decodeUnknownEffect(CodeReview)(result.output);
-	const verifiedReview = options.reviewShape !== "fan-out" || decoded.walkthrough === void 0 ? decoded : (() => {
-		const verified = new Set(collectUnitFileSummaries(events).map((entry) => `${entry.path}\u0000${entry.summary}`));
-		const walkthrough = decoded.walkthrough.filter((entry) => verified.has(`${entry.path}\u0000${entry.summary}`));
-		return CodeReview.make({
-			summary: decoded.summary,
-			verdict: decoded.verdict,
-			findings: decoded.findings,
-			...decoded.concerns !== void 0 ? { concerns: decoded.concerns } : {},
-			...walkthrough.length > 0 ? { walkthrough } : {}
-		});
-	})();
+	const reviewTotalFiles = executionContext?.totalFiles ?? metadata.totalChangedFiles;
+	const pipeline = assessReviewPipeline({
+		shape: options.reviewShape ?? "flat",
+		files,
+		totalFiles: reviewTotalFiles,
+		anchorFiles,
+		totalAnchorFiles: metadata.totalChangedFiles,
+		events
+	});
+	const verifiedReview = options.reviewShape !== "fan-out" ? decoded : CodeReview.make({
+		summary: decoded.summary,
+		verdict: decoded.verdict,
+		findings: rankAndDedupeFindings(pipeline.confirmedFindings),
+		...pipeline.confirmedConcerns.length === 0 ? {} : { concerns: rankAndDedupeConcerns(pipeline.confirmedConcerns) },
+		...pipeline.walkthrough.length === 0 ? {} : { walkthrough: pipeline.walkthrough }
+	});
 	const review = enforceFindingsBound(verifiedReview, clampMaxFindings(options.maxFindings));
 	const usage = yield* budget.snapshot;
 	const affectedPaths = new Set(executionContext?.affectedPaths ?? files.flatMap((file) => file.previousPath === void 0 ? [file.path] : [file.path, file.previousPath]));
@@ -756,16 +1027,8 @@ const executeReview = (binding, options) => Effect.gen(function* () {
 		const key = `${concern.title}\u0000${concern.body}`;
 		return activeConcernKeys.has(key) && !currentConcernKeys.has(key);
 	});
-	const reviewTotalFiles = executionContext?.totalFiles ?? metadata.totalChangedFiles;
-	const coverage = assessReviewCoverage({
-		shape: options.reviewShape ?? "flat",
-		files,
-		totalFiles: reviewTotalFiles,
-		anchorFiles,
-		totalAnchorFiles: metadata.totalChangedFiles,
-		events
-	});
-	const stateCandidate = executionContext !== void 0 && coverage.status === "complete" && fingerprint !== void 0 && metadata.baseSha !== void 0 && executionContext.stateAuthenticator?.status === "available" ? ReviewState.make({
+	const { assurance, coverage, inputCoverage } = pipeline;
+	const stateCandidate = executionContext !== void 0 && inputCoverage.status === "complete" && assurance.status === "settled" && fingerprint !== void 0 && metadata.baseSha !== void 0 && executionContext.stateAuthenticator?.status === "available" ? ReviewState.make({
 		version: 1,
 		repository: metadata.repository,
 		pullRequestNumber: metadata.number,
@@ -783,7 +1046,7 @@ const executeReview = (binding, options) => Effect.gen(function* () {
 	const continuity = stateCandidate === void 0 || executionContext?.stateAuthenticator === void 0 ? {
 		state: void 0,
 		marker: void 0,
-		notice: executionContext?.stateAuthenticator?.status === "unavailable" && coverage.status === "complete" ? executionContext.stateAuthenticator.unavailableReason ?? "authenticated continuity state is unavailable" : void 0
+		notice: executionContext?.stateAuthenticator?.status === "unavailable" && inputCoverage.status === "complete" && assurance.status === "settled" ? executionContext.stateAuthenticator.unavailableReason ?? "authenticated continuity state is unavailable" : void 0
 	} : yield* executionContext.stateAuthenticator.render(stateCandidate).pipe(Effect.match({
 		onFailure: (error) => ({
 			state: void 0,
@@ -806,8 +1069,10 @@ const executeReview = (binding, options) => Effect.gen(function* () {
 		runUrl: options.runUrl,
 		usage,
 		usageScope: options.usageScope,
-		fingerprint: coverage.status === "complete" ? fingerprint : void 0,
+		fingerprint: inputCoverage.status === "complete" && assurance.status === "settled" ? fingerprint : void 0,
 		coverage,
+		inputCoverage,
+		assurance,
 		carriedFindings,
 		carriedConcerns,
 		reviewMode: executionContext?.mode,
@@ -824,6 +1089,8 @@ const executeReview = (binding, options) => Effect.gen(function* () {
 		activeFindings,
 		activeConcerns,
 		coverage,
+		inputCoverage,
+		assurance,
 		plan,
 		turns: result.turns,
 		usage,
@@ -840,6 +1107,8 @@ const executeReview = (binding, options) => Effect.gen(function* () {
 		activeFindings,
 		activeConcerns,
 		coverage,
+		inputCoverage,
+		assurance,
 		plan,
 		published,
 		turns: result.turns,
@@ -955,12 +1224,12 @@ const make = (options) => {
 	};
 };
 /**
-* Build the fan-out reviewer: a coordinator that delegates bounded per-unit
-* file reviews to attached ephemeral children and merges their findings under
-* the same output contract and the same fail-closed publication path as the
-* flat reviewer. Child and coordinator execution bounds are packaged and not
-* configurable here — the delegation reservation mirrors the child policy,
-* and letting the two drift apart is a published-API hazard.
+* Build the fan-out reviewer: a coordinator schedules host-planned general
+* and specialist discovery plus independent candidate verification through
+* attached ephemeral children. Host code reconstructs publication only from
+* exactly confirmed candidates. Child and coordinator execution bounds are
+* packaged and not configurable here — the delegation reservation mirrors
+* the child policy, and letting the two drift apart is a published-API hazard.
 */
 const makeFanOut = (options) => {
 	const suite = makeFanOutReviewSuite({
@@ -983,7 +1252,7 @@ const makeFanOut = (options) => {
 		...options.modelLabel === void 0 ? [] : [`model=${options.modelLabel}`]
 	].join(" ");
 	const profileSignature = (_mission) => [
-		"pr-review-profile-v1-fan-out",
+		"pr-review-profile-v3-sharded-request-bound-assurance",
 		JSON.stringify(guidanceLines),
 		JSON.stringify(options.ignore ?? []),
 		`maxFindings=${clampMaxFindings(options.maxFindings)}`,
@@ -1072,7 +1341,7 @@ const settleCallout = (info) => {
 	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 "incomplete": return `> ⚠️ **Code review posted** — required coverage is incomplete, so the check fails.`;
+		case "incomplete": return `> ⚠️ **Code review posted** — input coverage or configured review assurance is incomplete, so the check fails.`;
 	}
 };
 /** The settled-outcome body written over the in-progress comment. */
@@ -1346,6 +1615,6 @@ const openAiClientLayer = OpenAiClient.layerConfig({ apiKey: Config.redacted(PRO
 /** The Anthropic client Layer, credential from `ANTHROPIC_API_KEY`. */
 const anthropicClientLayer = AnthropicClient.layerConfig({ apiKey: Config.redacted(PROVIDER_CREDENTIAL_ENV.anthropic) }).pipe(Layer.provide(FetchHttpClient.layer));
 //#endregion
-export { AGENT_PROMPT_PREAMBLE as A, ignoringPullRequestSourceLayer as B, PrReview as C, executeReview as D, enforceFindingsBound as E, estimateReviewEffort as F, resolveEffortRung as G, InvalidEffortInput as H, planPublication as I, ReviewShape as J, FailedReviewUnit as K, planWalkthrough as L, ReviewEvent as M, ReviewPublicationPlan as N, fanOutReviewBudgetLimits as O, anchorViolation as P, renderAgentPrompt as R, renderProgressSettleBody as S, buildReviewMission as T, isEffortPosition as U, EFFORT_ALIASES as V, parseEffortPosition as W, collectUnitFileSummaries as X, assessReviewCoverage as Y, 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, ReviewCommentDraft as j, reviewBudgetLimits as k, openAiClientLayer as l, resolveReviewTarget as m, DEFAULT_PROVIDER as n, describeReviewModel as o, readGitHubEvent as p, ReviewCoverage as q, 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 };
+export { collectUnitFileSummaries as $, AGENT_PROMPT_PREAMBLE as A, EFFORT_ALIASES as B, PrReview as C, executeReview as D, enforceFindingsBound as E, planPublication as F, FailedReviewPass as G, isEffortPosition as H, planWalkthrough as I, ReviewCoverage as J, FailedReviewUnit as K, renderAgentPrompt as L, ReviewEvent as M, ReviewPublicationPlan as N, fanOutReviewBudgetLimits as O, estimateReviewEffort as P, assessReviewPipeline as Q, compileIgnoreGlobs as R, renderProgressSettleBody as S, buildReviewMission as T, parseEffortPosition as U, InvalidEffortInput as V, resolveEffortRung as W, ReviewShape as X, ReviewInputCoverage as Y, assessReviewCoverage as Z, 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, ReviewCommentDraft as j, reviewBudgetLimits as k, openAiClientLayer as l, resolveReviewTarget as m, DEFAULT_PROVIDER as n, describeReviewModel as o, readGitHubEvent as p, ReviewAssurance as q, 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, ignoringPullRequestSourceLayer as z };
 
-//# sourceMappingURL=providers-BE83_Tfo.mjs.map
+//# sourceMappingURL=providers-CblG1G9b.mjs.map