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

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

@@ -1,438 +1,10 @@
-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 { 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 { 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 { Agent, AgentPolicy, AgentRuntime, IdGenerator, UsageBudgetLimits, UsageTotals, getToolExecutionClass, makeUsageBudget, toRunBudgetHook } from "effect-agent";
 import { Toolkit } from "effect/unstable/ai";
 import { FetchHttpClient, HttpClient, HttpClientRequest, HttpClientResponse } from "effect/unstable/http";
 import { AnthropicClient, AnthropicLanguageModel } from "@effect/ai-anthropic";
 import { OpenAiClient, OpenAiLanguageModel } from "@effect/ai-openai";
-//#region src/internal/coverage.ts
-const ReviewShape = Schema.Literals(["flat", "fan-out"]);
-var FailedReviewUnit = class extends Schema.Class("@effect-agent/pr-review/FailedReviewUnit")({
-	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();
-	const failed = /* @__PURE__ */ new Map();
-	for (const event of events) {
-		if (event._tag === "ToolCallDeclared") declared.set(event.toolCallId, event);
-		if (event._tag === "ToolCallSucceeded") succeeded.set(event.toolCallId, event);
-		if (event._tag === "ToolCallFailed") failed.set(event.toolCallId, event);
-	}
-	return {
-		declared,
-		succeeded,
-		failed
-	};
-};
-const sortedUnique = (values) => [...new Set(values)].sort((left, right) => left < right ? -1 : left > right ? 1 : 0);
-const boundedListReason = (label, values) => {
-	const items = sortedUnique(values);
-	let rendered = `${label} (${items.length}): `;
-	for (let index = 0; index < items.length; index += 1) {
-		const item = items[index] ?? "";
-		const separator = index === 0 ? "" : ", ";
-		const omitted = items.length - index - 1;
-		const suffix = omitted === 0 ? "" : ` … (+${omitted} more)`;
-		if (`${rendered}${separator}${item}${suffix}`.length > 1e3) {
-			const omission = `… (+${items.length - index} more)`;
-			return `${rendered.slice(0, 1e3 - omission.length)}${omission}`;
-		}
-		rendered = `${rendered}${separator}${item}`;
-	}
-	return rendered;
-};
-const flatInputCoverage = (files, totalFiles, trace) => {
-	const requiredPaths = sortedUnique(files.map((file) => file.path));
-	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;
-		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 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 (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,
-		assignedPaths: sortedUnique(assigned),
-		partialPaths: sortedUnique(partial),
-		unassignedPaths: sortedUnique(unassigned),
-		reasons
-	});
-};
-const fanOutInputCoverage = (files, totalFiles) => {
-	const plan = planReviewUnits(files, { totalChangedFiles: totalFiles });
-	const assignedPaths = sortedUnique(plan.units.flatMap((unit) => unit.paths));
-	const unassignedPaths = sortedUnique([...plan.undiffablePaths, ...plan.unassignedPaths]);
-	const reasons = [];
-	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));
-	return ReviewInputCoverage.make({
-		status: reasons.length === 0 ? "complete" : "incomplete",
-		requiredPaths: sortedUnique(files.map((file) => file.path)),
-		assignedPaths,
-		partialPaths: plan.partialEvidencePaths,
-		unassignedPaths,
-		reasons
-	});
-};
-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);
-		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"
-		}));
-	}
-	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
-	};
-};
-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({
-		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: [...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
 //#region src/internal/effort.ts
 /**
 * Names accepted on user-facing surfaces (the action input, the CLI flag),
@@ -561,7 +133,7 @@ const severityEmoji = {
 	important: "⚠️",
 	nit: "💅"
 };
-const severityRank$1 = {
+const severityRank = {
 	blocking: 0,
 	important: 1,
 	nit: 2
@@ -661,9 +233,9 @@ const severityCounts = (review, carriedFindings = [], carriedConcerns = []) => {
 */
 const renderVerdictCallout = (review, options) => {
 	const counts = severityCounts(review, options.carriedFindings, options.carriedConcerns);
-	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"}.`;
+	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.";
@@ -780,14 +352,11 @@ const planPublication = (review, files, options) => {
 		});
 	}
 	const walkthrough = planWalkthrough(review.walkthrough, files);
-	const sortedConcerns = [...review.concerns ?? []].sort((a, b) => severityRank$1[a.severity] - severityRank$1[b.severity]);
-	const sortedDemoted = [...demoted].sort((a, b) => severityRank$1[a.finding.severity] - severityRank$1[b.finding.severity]);
+	const sortedConcerns = [...review.concerns ?? []].sort((a, b) => severityRank[a.severity] - severityRank[b.severity]);
+	const sortedDemoted = [...demoted].sort((a, b) => severityRank[a.finding.severity] - severityRank[b.finding.severity]);
 	const footerParts = ["Automated review by @effect-agent/pr-review"];
 	if (options.modelLabel !== void 0) footerParts.push(options.modelLabel);
-	if (options.usage !== void 0 && options.usageScope !== void 0) {
-		const scope = options.usageScope === "coordinator" ? " (coordinator)" : "";
-		footerParts.push(`${options.usage.inputTokens} in / ${options.usage.outputTokens} out tokens${scope}`);
-	}
+	if (options.usage !== void 0) footerParts.push(`${options.usage.inputTokens} in / ${options.usage.outputTokens} out tokens`);
 	if (options.runUrl !== void 0) footerParts.push(`[run](${options.runUrl})`);
 	footerParts.push(`reviewed at ${options.headSha.slice(0, 7)}`);
 	const footer = `_${footerParts.join(" · ")}._`;
@@ -805,20 +374,19 @@ const planPublication = (review, files, options) => {
 		const parts = [renderVerdictCallout(review, {
 			carriedFindings,
 			carriedConcerns,
-			coverage: options.coverage,
 			inputCoverage: options.inputCoverage,
-			assurance: options.assurance
+			assurance: options.assurance,
+			unreviewedPaths: options.unreviewedPaths
 		})];
 		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)`);
+		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${options.assurance.discardedInvalidFindings > 0 ? ` / ${options.assurance.discardedInvalidFindings} discarded` : ""} 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.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 (options.inputCoverage?.status === "incomplete") parts.push("", "### ⚠️ Incomplete input coverage", "", ...options.inputCoverage.reasons.map((reason) => `- ${reason}`));
+		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");
@@ -833,7 +401,8 @@ const planPublication = (review, files, options) => {
 		return parts.join("\n");
 	};
 	const counts = severityCounts(review, options.carriedFindings ?? [], options.carriedConcerns ?? []);
-	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 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 tail = [
 		renderReviewMetadata({
 			headSha: options.headSha,
@@ -890,12 +459,9 @@ const reviewBudgetLimits = UsageBudgetLimits.make({
 	maxDurationMillis: 48e4
 });
 /**
-* Run-level bounds for the fan-out coordinator. This budget observes only
-* the COORDINATOR'S own usage — delegated children are bounded separately by
-* the delegation's `SubagentPolicy` reservation and the child definition's
-* own `AgentPolicy`, never silently by the parent's budget. The duration
-* ceiling is wider because delegation Tool Calls hold the parent turn open
-* while bounded children run.
+* Run-level bounds for the fan-out pipeline. One budget observes EVERY child
+* pass, so the ceiling covers bounded parallel discovery and verification
+* plus the one-retry allowance.
 */
 const fanOutReviewBudgetLimits = UsageBudgetLimits.make({
 	maxInputTokens: 6e5,
@@ -915,23 +481,16 @@ var ReviewRunOutcome = class extends Schema.Class("@effect-agent/pr-review/Revie
 	coverage: ReviewCoverage,
 	/** Exact path/evidence assignment, distinct from semantic review work. */
 	inputCoverage: ReviewInputCoverage,
-	/** Settlement of configured discovery, specialist, and verification work. */
+	/** Settlement of scheduled discovery, specialist, and verification work. */
 	assurance: ReviewAssurance,
+	/** Retryable scope this run could not settle; carried to the next run. */
+	unreviewedPaths: Schema.Array(Schema.NonEmptyString.check(Schema.isMaxLength(512))).check(Schema.isMaxLength(300)),
 	plan: ReviewPublicationPlan,
 	published: Schema.optionalKey(PublishedReview),
-	turns: Schema.Int.check(Schema.isGreaterThan(0)),
-	/**
-	* The run budget's observed usage. For the fan-out reviewer this observes
-	* the COORDINATOR only — delegated children are bounded and accounted
-	* separately by their reservations.
-	*/
+	/** Total settled model turns (all child passes for the fan-out pipeline). */
+	turns: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+	/** The run budget's observed usage across the whole run. */
 	usage: Schema.optionalKey(UsageTotals),
-	/**
-	* What `usage` observed: the whole run, or a fan-out coordinator only.
-	* Absent when the caller declared no scope — consumers must not present
-	* unscoped usage as whole-run totals.
-	*/
-	usageScope: Schema.optionalKey(Schema.Literals(["run", "coordinator"])),
 	reviewMode: Schema.optionalKey(Schema.Literals(["incremental", "full"])),
 	reviewReason: Schema.optionalKey(Schema.String.check(Schema.isMaxLength(1e3))),
 	state: Schema.optionalKey(ReviewState)
@@ -955,63 +514,20 @@ const enforceFindingsBound = (review, maxFindings) => review.findings.length <=
 	...review.walkthrough !== void 0 ? { walkthrough: review.walkthrough } : {}
 });
 const findingKey = (finding) => `${finding.path}\u0000${finding.startLine}\u0000${finding.endLine}\u0000${finding.severity}\u0000${finding.title}`;
-const severityRank = {
-	blocking: 0,
-	important: 1,
-	nit: 2
-};
-const rankAndDedupeConcerns = (concerns) => {
-	const byContent = /* @__PURE__ */ new Map();
-	for (const concern of concerns) {
-		const key = `${concern.title}\u0000${concern.body}`;
-		const previous = byContent.get(key);
-		if (previous === void 0 || severityRank[concern.severity] < severityRank[previous.severity]) byContent.set(key, concern);
-	}
-	return [...byContent.values()].sort((left, right) => severityRank[left.severity] - severityRank[right.severity]).slice(0, 10);
-};
 /**
-* Execute one review with any explicit Agent Binding whose contract is
-* `ReviewMission -> CodeReview` — the flat reviewer or the fan-out
-* coordinator; the toolkit stays generic because publication only depends on
-* the shared output contract. The binding stays a parameter (D-027): tests
-* pass scripted models, hosts pass live provider bindings, and the model
-* Layer's requirements stay visible in this Effect's `R`.
+* 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
+* a trustworthy full-surface fingerprint — never that every pass settled;
+* unsettled scope travels inside the state instead of freezing it.
 */
-const executeReview = (binding, options) => Effect.gen(function* () {
-	const source = yield* PullRequestSource;
-	const metadata = yield* source.metadata;
-	const files = yield* source.changedFiles;
-	const anchorFiles = yield* source.anchorFiles;
+const settleReviewRun = (core, context, options) => Effect.gen(function* () {
+	const { metadata, files, anchorFiles, fingerprint, usage } = context;
 	const executionContext = Option.getOrUndefined(yield* Effect.serviceOption(ReviewExecutionContext));
-	const mission = buildReviewMission(metadata, files);
-	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);
-	const detached = yield* AgentRuntime.start(binding, mission, {
-		budget: toRunBudgetHook(budget),
-		estimateCostMicrousd: () => Effect.succeed(500)
-	});
-	const result = yield* detached.await;
-	const events = yield* detached.events;
-	const decoded = yield* Schema.decodeUnknownEffect(CodeReview)(result.output);
+	const review = enforceFindingsBound(core.review, clampMaxFindings(options.maxFindings));
+	const { inputCoverage, assurance } = core;
+	const unreviewedPaths = [...new Set(core.unreviewedPaths)].sort();
 	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]));
 	const priorState = executionContext?.mode === "incremental" ? executionContext.priorState : void 0;
 	const carriedCandidates = priorState?.unresolvedFindings.filter((finding) => !affectedPaths.has(finding.path)).map(fromStoredFinding) ?? [];
@@ -1027,9 +543,11 @@ const executeReview = (binding, options) => Effect.gen(function* () {
 		const key = `${concern.title}\u0000${concern.body}`;
 		return activeConcernKeys.has(key) && !currentConcernKeys.has(key);
 	});
-	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,
+	const settled = inputCoverage.status === "complete" && assurance.status !== "incomplete" && unreviewedPaths.length === 0;
+	const skipFingerprint = settled ? 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,
 		repository: metadata.repository,
 		pullRequestNumber: metadata.number,
 		baseRef: metadata.baseRef,
@@ -1041,12 +559,14 @@ const executeReview = (binding, options) => Effect.gen(function* () {
 		reviewedPathCount: anchorFiles.length,
 		unresolvedFindings: activeFindings.map(toStoredFinding),
 		unresolvedConcerns: activeConcerns.map(toStoredConcern),
+		unreviewedPaths,
+		settled,
 		lastReviewMode: executionContext.mode
 	}) : void 0;
 	const continuity = stateCandidate === void 0 || executionContext?.stateAuthenticator === void 0 ? {
 		state: void 0,
 		marker: void 0,
-		notice: executionContext?.stateAuthenticator?.status === "unavailable" && inputCoverage.status === "complete" && assurance.status === "settled" ? executionContext.stateAuthenticator.unavailableReason ?? "authenticated continuity state is unavailable" : 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
 	} : yield* executionContext.stateAuthenticator.render(stateCandidate).pipe(Effect.match({
 		onFailure: (error) => ({
 			state: void 0,
@@ -1068,11 +588,10 @@ const executeReview = (binding, options) => Effect.gen(function* () {
 		modelLabel: options.modelLabel,
 		runUrl: options.runUrl,
 		usage,
-		usageScope: options.usageScope,
-		fingerprint: inputCoverage.status === "complete" && assurance.status === "settled" ? fingerprint : void 0,
-		coverage,
+		fingerprint: skipFingerprint,
 		inputCoverage,
 		assurance,
+		unreviewedPaths,
 		carriedFindings,
 		carriedConcerns,
 		reviewMode: executionContext?.mode,
@@ -1083,43 +602,119 @@ const executeReview = (binding, options) => Effect.gen(function* () {
 		stateMarker: continuity.marker,
 		stateNotice: continuity.notice
 	});
-	const scope = options.usageScope === void 0 ? {} : { usageScope: options.usageScope };
-	if (!options.post) return ReviewRunOutcome.make({
+	const shared = {
 		review,
 		activeFindings,
 		activeConcerns,
-		coverage,
+		coverage: compatibilityCoverage(inputCoverage, assurance),
 		inputCoverage,
 		assurance,
+		unreviewedPaths,
 		plan,
-		turns: result.turns,
-		usage,
-		...scope,
+		turns: core.turns,
+		...usage === void 0 ? {} : { usage },
 		...executionContext === void 0 ? {} : {
 			reviewMode: executionContext.mode,
 			reviewReason: executionContext.reason
 		},
 		...continuity.state === void 0 ? {} : { state: continuity.state }
-	});
+	};
+	if (!options.post) return ReviewRunOutcome.make(shared);
 	const published = yield* (yield* ReviewPublisher).publish(plan);
 	return ReviewRunOutcome.make({
+		...shared,
+		published
+	});
+});
+/**
+* Execute one flat review with any explicit Agent Binding whose contract is
+* `ReviewMission -> CodeReview`. The binding stays a parameter (D-027): tests
+* pass scripted models, hosts pass live provider bindings, and the model
+* Layer's requirements stay visible in this Effect's `R`.
+*/
+const executeReview = (binding, options) => Effect.gen(function* () {
+	const source = yield* PullRequestSource;
+	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 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);
+	const detached = yield* AgentRuntime.start(binding, mission, {
+		budget: toRunBudgetHook(budget),
+		estimateCostMicrousd: () => Effect.succeed(500)
+	});
+	const result = yield* detached.await;
+	const events = yield* detached.events;
+	const review = yield* Schema.decodeUnknownEffect(CodeReview)(result.output);
+	const assessment = assessFlatReview({
+		files,
+		totalFiles: executionContext?.totalFiles ?? metadata.totalChangedFiles,
+		anchorFiles,
+		totalAnchorFiles: metadata.totalChangedFiles,
+		events
+	});
+	const usage = yield* budget.snapshot;
+	return yield* settleReviewRun({
 		review,
-		activeFindings,
-		activeConcerns,
-		coverage,
-		inputCoverage,
-		assurance,
-		plan,
-		published,
-		turns: result.turns,
-		usage,
-		...scope,
-		...executionContext === void 0 ? {} : {
-			reviewMode: executionContext.mode,
-			reviewReason: executionContext.reason
-		},
-		...continuity.state === void 0 ? {} : { state: continuity.state }
+		inputCoverage: assessment.inputCoverage,
+		assurance: assessment.assurance,
+		unreviewedPaths: assessment.unreviewedPaths,
+		turns: result.turns
+	}, {
+		metadata,
+		files,
+		anchorFiles,
+		fingerprint,
+		usage
+	}, options);
+});
+/**
+* Execute one host-scheduled fan-out review: deterministic planning,
+* independent discovery and verification child passes with bounded retries,
+* and a host-composed review from verifier-confirmed candidates only. One
+* budget observes every child pass, so the reported usage is whole-run.
+*/
+const executeFanOutReview = (binding, options) => Effect.gen(function* () {
+	const source = yield* PullRequestSource;
+	const metadata = yield* source.metadata;
+	const files = yield* source.changedFiles;
+	const anchorFiles = yield* source.anchorFiles;
+	const executionContext = Option.getOrUndefined(yield* Effect.serviceOption(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 pipeline = yield* runFanOutReview(binding, {
+		files,
+		anchorFiles,
+		totalChangedFiles: totalFiles,
+		maxFindings: options.maxFindings,
+		budget: toRunBudgetHook(budget)
 	});
+	const inputCoverage = fanOutInputCoverage({
+		plan: pipeline.plan,
+		files,
+		totalFiles,
+		anchorFiles,
+		totalAnchorFiles: metadata.totalChangedFiles
+	});
+	const usage = yield* budget.snapshot;
+	return yield* settleReviewRun({
+		review: pipeline.review,
+		inputCoverage,
+		assurance: pipeline.assurance,
+		unreviewedPaths: pipeline.unreviewedPaths,
+		turns: pipeline.turns
+	}, {
+		metadata,
+		files,
+		anchorFiles,
+		fingerprint,
+		usage
+	}, options);
 });
 //#endregion
 //#region src/internal/factory.ts
@@ -1206,9 +801,7 @@ const make = (options) => {
 		maxFindings: clampMaxFindings(options.maxFindings),
 		signature,
 		modelLabel: options.modelLabel,
-		runUrl: runOptions.runUrl,
-		usageScope: "run",
-		reviewShape: "flat"
+		runUrl: runOptions.runUrl
 	}).pipe(Effect.provide(Layer.mergeAll(ReviewToolkitLayer, IdGenerator.layer)), Effect.scoped), options.ignore);
 	return {
 		definition,
@@ -1224,56 +817,47 @@ const make = (options) => {
 	};
 };
 /**
-* 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.
+* Build the fan-out reviewer: host code schedules host-planned general and
+* specialist discovery plus independent candidate verification directly as
+* bounded child runs — there is no coordinator model and no delegation tool,
+* so review assurance cannot fail on scheduling compliance. Host code
+* composes publication only from exactly confirmed candidates. Child
+* execution bounds are packaged and not configurable here.
 */
 const makeFanOut = (options) => {
-	const suite = makeFanOutReviewSuite({
-		guidance: options.guidance,
-		maxFindings: options.maxFindings
-	});
-	const binding = Object.freeze({
-		definition: suite.parent,
-		model: options.model
-	});
+	const child = makeFileReviewerDefinition({ guidance: options.guidance });
 	const childBinding = Object.freeze({
-		definition: suite.child,
+		definition: child,
 		model: options.model
 	});
 	const guidanceLines = options.guidance === void 0 ? [] : typeof options.guidance === "string" ? [options.guidance] : options.guidance;
 	const signature = (mission) => [
-		suite.parent.instructions(mission),
+		"pr-review-fan-out-host-scheduled-v1",
+		JSON.stringify(Schema.encodeSync(ReviewMission)(mission)),
 		`childGuidance=${JSON.stringify(guidanceLines)}`,
+		`maxFindings=${clampMaxFindings(options.maxFindings)}`,
 		`applyVerdict=${String(options.applyVerdict ?? false)}`,
 		...options.modelLabel === void 0 ? [] : [`model=${options.modelLabel}`]
 	].join(" ");
 	const profileSignature = (_mission) => [
-		"pr-review-profile-v3-sharded-request-bound-assurance",
+		"pr-review-profile-v4-host-scheduled",
 		JSON.stringify(guidanceLines),
 		JSON.stringify(options.ignore ?? []),
 		`maxFindings=${clampMaxFindings(options.maxFindings)}`,
 		`applyVerdict=${String(options.applyVerdict ?? false)}`,
 		...options.modelLabel === void 0 ? [] : [`model=${options.modelLabel}`]
-	].join("\0");
-	const delegationLayer = fanOutHandlersLayerFor(suite.delegation)(childBinding).pipe(Layer.provide(Layer.mergeAll(FileReviewToolkitLayer, SubagentReservationsMemoryLive, IdGenerator.layer)));
-	const run = (runOptions = {}) => provideIgnore(executeReview(binding, {
+	].join(" ");
+	const run = (runOptions = {}) => provideIgnore(executeFanOutReview(childBinding, {
 		post: runOptions.post ?? false,
 		applyVerdict: options.applyVerdict ?? false,
 		limits: options.budget ?? fanOutReviewBudgetLimits,
 		maxFindings: clampMaxFindings(options.maxFindings),
 		signature,
 		modelLabel: options.modelLabel,
-		runUrl: runOptions.runUrl,
-		usageScope: "coordinator",
-		reviewShape: "fan-out"
-	}).pipe(Effect.provide(Layer.mergeAll(FanOutCoordinatorToolkitLayer, delegationLayer, IdGenerator.layer)), Effect.scoped), options.ignore);
+		runUrl: runOptions.runUrl
+	}).pipe(Effect.provide(IdGenerator.layer), Effect.scoped), options.ignore);
 	return {
-		definition: suite.parent,
-		binding,
+		definition: child,
 		childBinding,
 		run,
 		fingerprint: makeFingerprint(signature, options.ignore),
@@ -1615,6 +1199,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 { 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 };
+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-CblG1G9b.mjs.map
+//# sourceMappingURL=providers-NyP-4rS6.mjs.map