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

package/dist/index.d.mts

@@ -1,4 +1,4 @@
-import { $ as MAX_REPORTED_UNASSIGNED_EVIDENCE_SHARDS, $n as ReviewFinding, $t as ReviewMode, A as MAX_REVIEW_CHILDREN, An as anchorViolation, Ar as commentableLines, At as parseGitHubSubmittedAt, B as fanOutHandlersLayer, Bn as FindingSeverity, Bt as retireStaleReviews, C as FileReviewer, Cn as ReviewCoverage, Cr as normalizeRepoRelativePath, Ct as PublishedReview, D as MAX_CHILD_CONCERNS, Dn as assessReviewCoverage, Dr as MAX_REVIEW_CONTENT_CHARS, Dt as gitHubPullRequestSourceLayer, E as ListReviewUnitsQuery, En as ReviewShape, Er as ChangedPath, Et as gitHubPriorReviewsLayer, F as ReviewWorkPhase, Fn as FileDiffView, Ft as ReviewRetirementHost, G as fileReviewerInstructions, Gn as MAX_PATCH_CHARS, Gt as estimateReviewEffort, H as fanOutReviewInstructions, Hn as ListChangedFilesQuery, Ht as ReviewCommentDraft, I as assessmentSettlesSuggestionExactly, In as FileReviewEvidenceChunk, It as ReviewRetirementInput, J as makeFileReviewerInstructions, Jn as PullRequestReviewer, Jt as renderAgentPrompt, K as makeFanOutReviewInstructions, Kn as MAX_WALKTHROUGH_ENTRIES, Kt as planPublication, L as confirmedFindingForPublication, Ln as FileSlice, Lt as ReviewRetirementReport, M as ReviewCandidate, Mn as ChangedFilesView, Mr as isReviewableFile, Mt as RetirableReviewComment, N as ReviewCandidateId, Nn as CodeReview, Nr as parsePatch, Nt as ReviewRetirementDecision, O as MAX_CHILD_FINDINGS, On as assessReviewPipeline, Or as PatchLine, Ot as gitHubReviewPublisherLayer, P as ReviewWorkPerspective, Pn as FileDiffQuery, Pr as renderReviewContent, Pt as ReviewRetirementFailure, Q as MAX_MERGED_FINDINGS, Qn as ReviewConcern, Qt as ReviewHeadComparison, R as defaultFanOutPolicy, Rn as FileSliceQuery, Rt as decideReviewRetirement, S as FileReviewWorkRejected, Sn as ReviewAssurance, Sr as ReviewInputViolation, St as PriorReviews, T as ListReviewUnits, Tn as ReviewPipelineAssessment, Tr as ChangedFileStatus, Tt as fingerprintUnchanged, U as fileReviewDelegation, Un as MAX_CONCERNS, Ut as ReviewEvent, V as fanOutHandlersLayerFor, Vn as ListChangedFiles, Vt as AGENT_PROMPT_PREAMBLE, W as fileReviewPolicy, Wn as MAX_FINDINGS, Wt as ReviewPublicationPlan, X as reviewCandidateSubjectKey, Xn as ReadFile, Xt as MAX_REVIEW_STATE_MARKER_CHARS, Y as mapFileReviewChildFailure, Yn as REVIEW_TOOL_RESULT_MAX_BYTES, Yt as GitCommitSha, Z as MAX_FILE_EVIDENCE_CHARS, Zn as ReadFileDiff, Zt as ReviewExecutionContext, _ as FileReviewRequest, _n as unavailableReviewStateAuthenticatorLayer, _r as MAX_CHANGED_FILES, _t as rankAndDedupeFindings, a as FanOutCoordinatorToolkit, an as ReviewStateMarker, ar as ReviewVerdict, at as ReviewEvidenceShard, b as FileReviewUnitFailed, bn as FailedReviewPass, br as PullRequestSource, bt as GitHubReviewTarget, c as FanOutReviewSuite, cn as StoredReviewFinding, cr as defaultReviewPolicy, ct as ReviewRiskCategory, d as FanOutSuiteOptions, dn as fromStoredConcern, dr as listChangedFilesHandler, dt as ReviewUnitPlan, en as ReviewScopeMode, er as ReviewGuidance, et as MAX_REVIEW_UNITS, f as FileReviewBrief, fn as fromStoredFinding, fr as makeReviewInstructions, ft as UNIT_CHANGED_LINE_BUDGET, g as FileReviewReport, gn as toStoredFinding, gr as reviewInstructions, gt as planReviewUnits, h as FileReviewFailure, hn as toStoredConcern, hr as resolveGuidance, ht as findingAnchorInUnitEvidence, i as DiscoveredConcern, in as ReviewStateAuthenticator, ir as ReviewToolkitLayer, it as ReviewDiscoveryPerspective, j as MAX_UNIT_CANDIDATES, jn as ChangedFileSummary, jr as hasReviewableContent, jt as RetirableReview, k as MAX_FILE_REVIEW_TOOL_CALLS, kn as collectUnitFileSummaries, kr as annotatePatch, kt as gitHubReviewRetirementHostLayer, l as FanOutReviewToolkit, ln as buildProfileMission, lr as fileDiffView, lt as ReviewUnit, m as FileReviewEvidence, mn as selectedPullRequestSourceLayer, mr as readFileHandler, mt as classifyReviewRisks, n as ConcernCandidate, nn as ReviewState, nr as ReviewMission, nt as MAX_UNIT_FILES, o as FanOutCoordinatorToolkitLayer, on as ReviewStateMarkerTooLarge, or as WalkthroughEntry, ot as ReviewEvidenceShardId, p as FileReviewDelegationFailure, pn as selectReviewRange, pr as readFileDiffHandler, pt as UNIT_EVIDENCE_CHAR_BUDGET, q as makeFanOutReviewSuite, qn as MAX_WALKTHROUGH_SUMMARY_CHARS, qt as planWalkthrough, r as DelegateFileReview, rn as ReviewStateAuthenticationFailure, rr as ReviewToolkit, rt as ReviewDiscoveryPass, s as FanOutInstructionOptions, sn as StoredReviewConcern, sr as clampMaxFindings, st as ReviewPassId, t as CandidateAssessment, tn as ReviewSelection, tr as ReviewInstructionOptions, tt as MAX_UNIT_EVIDENCE_SHARDS, u as FanOutReviewer, un as computeProfileFingerprint, ur as fileReviewEvidenceChunks, ut as ReviewUnitId, v as FileReviewToolkit, vn as validateReviewState, vr as MAX_FILE_CHARS, vt as DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN, w as FindingCandidate, wn as ReviewInputCoverage, wr as ChangedFile, wt as ReviewPublisher, x as FileReviewUnitResult, xn as FailedReviewUnit, xr as PullRequestSourceFailure, xt as PriorReviewLookupFailure, y as FileReviewToolkitLayer, yn as webCryptoReviewStateAuthenticatorLayer, yr as PullRequestMetadata, yt as GitHubApiFailure, z as defaultFileReviewerPolicy, zn as FindingCategory, zt as hasReviewMetadataMarker } from "./fan-out-n-00ppWr.mjs";
+import { $ as decideReviewRetirement, $n as readFileHandler, $t as ReviewDiscoveryPass, A as makeFileReviewerInstructions, An as MAX_PATCH_CHARS, At as selectedPullRequestSourceLayer, B as fingerprintUnchanged, Bn as ReviewInstructionOptions, Bt as ReviewCoverage, C as ReviewWorkPerspective, Cn as FileSliceQuery, Ct as StoredReviewConcern, D as defaultFileReviewerPolicy, Dn as ListChangedFilesQuery, Dt as fromStoredConcern, E as confirmedFindingForPublication, En as ListChangedFiles, Et as computeProfileFingerprint, F as GitHubReviewTarget, Fn as ReadFile, Ft as webCryptoReviewStateAuthenticatorLayer, G as parseGitHubSubmittedAt, Gn as WalkthroughEntry, Gt as fanOutInputCoverage, H as gitHubPullRequestSourceLayer, Hn as ReviewToolkit, Ht as assessFlatReview, I as PriorReviewLookupFailure, In as ReadFileDiff, It as FailedReviewPass, J as ReviewRetirementDecision, Jn as fileDiffView, Jt as MAX_MERGED_FINDINGS, K as RetirableReview, Kn as clampMaxFindings, Kt as flatAssurance, L as PriorReviews, Ln as ReviewConcern, Lt as FailedReviewUnit, M as runFanOutReview, Mn as MAX_WALKTHROUGH_SUMMARY_CHARS, Mt as toStoredFinding, N as DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN, Nn as PullRequestReviewer, Nt as unavailableReviewStateAuthenticatorLayer, O as fileReviewerInstructions, On as MAX_CONCERNS, Ot as fromStoredFinding, P as GitHubApiFailure, Pn as REVIEW_TOOL_RESULT_MAX_BYTES, Pt as validateReviewState, Q as ReviewRetirementReport, Qn as readFileDiffHandler, Qt as MAX_UNIT_FILES, R as PublishedReview, Rn as ReviewFinding, Rt as FlatReviewAssessment, S as ReviewPassMisbehaved, Sn as FileSlice, St as ReviewStateMarkerTooLarge, T as assessmentSettlesSuggestionExactly, Tn as FindingSeverity, Tt as buildProfileMission, U as gitHubReviewPublisherLayer, Un as ReviewToolkitLayer, Ut as boundedListReason, V as gitHubPriorReviewsLayer, Vn as ReviewMission, Vt as ReviewInputCoverage, W as gitHubReviewRetirementHostLayer, Wn as ReviewVerdict, Wt as compatibilityCoverage, X as ReviewRetirementHost, Xn as listChangedFilesHandler, Xt as MAX_REVIEW_UNITS, Y as ReviewRetirementFailure, Yn as fileReviewEvidenceChunks, Yt as MAX_REPORTED_UNASSIGNED_EVIDENCE_SHARDS, Z as ReviewRetirementInput, Zn as makeReviewInstructions, Zt as MAX_UNIT_EVIDENCE_SHARDS, _ as MAX_REVIEW_CHILDREN, _n as ChangedFilesView, _r as isReviewableFile, _t as ReviewSelection, a as FanOutPipelineInput, an as ReviewUnit, ar as PullRequestSource, at as ReviewPublicationPlan, b as ReviewCandidate, bn as FileDiffView, bt as ReviewStateAuthenticator, c as FileReviewEvidence, cn as UNIT_CHANGED_LINE_BUDGET, cr as normalizeRepoRelativePath, ct as planWalkthrough, d as FileReviewer, dn as findingAnchorInUnitEvidence, dr as ChangedPath, dt as MAX_REVIEW_STATE_MARKER_CHARS, en as ReviewDiscoveryPerspective, er as resolveGuidance, et as hasReviewMetadataMarker, f as FileReviewerBinding, fn as planReviewUnits, fr as MAX_REVIEW_CONTENT_CHARS, ft as MAX_STORED_UNREVIEWED_PATHS, g as MAX_FILE_REVIEW_TOOL_CALLS, gn as ChangedFileSummary, gr as hasReviewableContent, gt as ReviewScopeMode, h as MAX_CHILD_FINDINGS, hn as anchorViolation, hr as commentableLines, ht as ReviewMode, i as FanOutInstructionOptions, in as ReviewRiskCategory, ir as PullRequestMetadata, it as ReviewEvent, j as reviewCandidateSubjectKey, jn as MAX_WALKTHROUGH_ENTRIES, jt as toStoredConcern, k as makeFileReviewerDefinition, kn as MAX_FINDINGS, kt as selectReviewRange, l as FileReviewReport, ln as UNIT_EVIDENCE_CHAR_BUDGET, lr as ChangedFile, lt as renderAgentPrompt, m as MAX_CHILD_CONCERNS, mn as rankAndDedupeFindings, mr as annotatePatch, mt as ReviewHeadComparison, n as ConcernCandidate, nn as ReviewEvidenceShardId, nr as MAX_CHANGED_FILES, nt as AGENT_PROMPT_PREAMBLE, o as FanOutPipelineOutcome, on as ReviewUnitId, or as PullRequestSourceFailure, ot as estimateReviewEffort, p as FindingCandidate, pn as rankAndDedupeConcerns, pr as PatchLine, pt as ReviewExecutionContext, q as RetirableReviewComment, qn as defaultReviewPolicy, qt as MAX_FILE_EVIDENCE_CHARS, r as DiscoveredConcern, rn as ReviewPassId, rr as MAX_FILE_CHARS, rt as ReviewCommentDraft, s as FileReviewBrief, sn as ReviewUnitPlan, sr as ReviewInputViolation, st as planPublication, t as CandidateAssessment, tn as ReviewEvidenceShard, tr as reviewInstructions, tt as retireStaleReviews, u as FileReviewToolkit, un as classifyReviewRisks, ur as ChangedFileStatus, ut as GitCommitSha, v as MAX_UNIT_CANDIDATES, vn as CodeReview, vr as parsePatch, vt as ReviewState, w as ReviewWorkPhase, wn as FindingCategory, wt as StoredReviewFinding, x as ReviewCandidateId, xn as FileReviewEvidenceChunk, xt as ReviewStateMarker, y as REVIEW_UNIT_CONCURRENCY, yn as FileDiffQuery, yr as renderReviewContent, yt as ReviewStateAuthenticationFailure, z as ReviewPublisher, zn as ReviewGuidance, zt as ReviewAssurance } from "./fan-out-BJBTAYuh.mjs";
 import { Config, Context, Effect, FileSystem, Layer, LogLevel, Logger, Option, Schema } from "effect";
 import { Agent, AgentPolicyInput, IdGenerator, RuntimeBinding, UsageBudgetLimits, UsageTotals } from "effect-agent";
 import { LanguageModel, Model, Tool, Toolkit } from "effect/unstable/ai";
@@ -56,12 +56,9 @@ declare const resolveEffortRung: <const Rung extends EffortAliasName>(position:
  */
 declare const reviewBudgetLimits: UsageBudgetLimits;
 /**
- * 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.
  */
 declare const fanOutReviewBudgetLimits: UsageBudgetLimits;
 declare const ReviewRunOutcome_base: Schema.Class<ReviewRunOutcome, Schema.Struct<{
@@ -74,23 +71,16 @@ declare const ReviewRunOutcome_base: Schema.Class<ReviewRunOutcome, Schema.Struc
   readonly coverage: typeof ReviewCoverage;
   /** Exact path/evidence assignment, distinct from semantic review work. */
   readonly inputCoverage: typeof ReviewInputCoverage;
-  /** Settlement of configured discovery, specialist, and verification work. */
+  /** Settlement of scheduled discovery, specialist, and verification work. */
   readonly assurance: typeof ReviewAssurance;
+  /** Retryable scope this run could not settle; carried to the next run. */
+  readonly unreviewedPaths: Schema.$Array<Schema.NonEmptyString>;
   readonly plan: typeof ReviewPublicationPlan;
   readonly published: Schema.optionalKey<typeof PublishedReview>;
+  /** Total settled model turns (all child passes for the fan-out pipeline). */
   readonly turns: Schema.Int;
-  /**
-   * 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.
-   */
+  /** The run budget's observed usage across the whole run. */
   readonly usage: Schema.optionalKey<typeof 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.
-   */
-  readonly usageScope: Schema.optionalKey<Schema.Literals<readonly ["run", "coordinator"]>>;
   readonly reviewMode: Schema.optionalKey<Schema.Literals<readonly ["incremental", "full"]>>;
   readonly reviewReason: Schema.optionalKey<Schema.String>;
   readonly state: Schema.optionalKey<typeof ReviewState>;
@@ -102,7 +92,7 @@ interface ExecuteReviewOptions {
   readonly post: boolean;
   /** Map the model's verdict onto APPROVE/REQUEST_CHANGES instead of COMMENT. */
   readonly applyVerdict: boolean;
-  /** Run-level usage bounds; defaults to `reviewBudgetLimits`. */
+  /** Run-level usage bounds; defaults to the shape's packaged limits. */
   readonly limits?: UsageBudgetLimits | undefined;
   /**
    * Host-side findings bound (fail-closed backstop for the instruction-level
@@ -120,29 +110,25 @@ interface ExecuteReviewOptions {
   readonly modelLabel?: string | undefined;
   /** Workflow-run URL rendered into the review footer. */
   readonly runUrl?: string | undefined;
-  /**
-   * What the run budget observes: the whole run, or a fan-out coordinator
-   * only. Without a declared scope the footer omits usage entirely — this
-   * generic path cannot know what a caller's binding shape observes, and an
-   * unlabeled number would read as whole-run totals.
-   */
-  readonly usageScope?: "run" | "coordinator" | undefined;
-  /** Host-owned coverage shape; defaults to the flat reviewer. */
-  readonly reviewShape?: ReviewShape | undefined;
 }
 /** Build the mission one review run frames from the source's snapshot. */
 declare const buildReviewMission: (metadata: PullRequestMetadata, files: ReadonlyArray<ChangedFile>) => ReviewMission;
 /** Enforce the configured findings bound on an already-validated review. */
 declare const enforceFindingsBound: (review: CodeReview, maxFindings: number) => CodeReview;
 /**
- * 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
+ * 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`.
  */
 declare const executeReview: <Instructions, Tools extends Record<string, Tool.Any>, Provider, ModelProvides, ModelRequires>(binding: RuntimeBinding<typeof ReviewMission, typeof CodeReview, Instructions, Tools, Provider, ModelProvides, ModelRequires>, options: ExecuteReviewOptions) => Effect.Effect<ReviewRunOutcome, import("effect-agent").AgentApprovalDenied | import("effect-agent").AgentApprovalPending | import("effect-agent").AgentChildPending | import("effect-agent").AgentInputError | import("effect-agent").AgentOutputError | import("effect-agent").AgentPolicyError | import("effect-agent").AgentToolAuthorizationDenied | import("effect/unstable/ai/AiError").AiError | import("effect-agent").BudgetAdapterError | import("effect-agent").BudgetExceeded | import("effect-agent").ContextOverflowError | GitHubApiFailure | import("effect-agent").ModelProtocolError | PullRequestSourceFailure | Schema.SchemaError | ((Instructions & string extends (infer T) ? T extends Instructions & string ? T extends ((input: ReviewMission) => infer Result) ? Result : T : never : never) extends (infer T_1) ? T_1 extends (Instructions & string extends (infer T) ? T extends Instructions & string ? T extends ((input: ReviewMission) => infer Result) ? Result : T : never : never) ? T_1 extends Effect.Effect<infer _Success, infer Error, infer _Services> ? Error : never : never : never) | ((Instructions & Iterable<import("effect/unstable/ai/Prompt").MessageEncoded> extends (infer T_2) ? T_2 extends Instructions & Iterable<import("effect/unstable/ai/Prompt").MessageEncoded> ? T_2 extends ((input: ReviewMission) => infer Result) ? Result : T_2 : never : never) extends (infer T_3) ? T_3 extends (Instructions & Iterable<import("effect/unstable/ai/Prompt").MessageEncoded> extends (infer T_2) ? T_2 extends Instructions & Iterable<import("effect/unstable/ai/Prompt").MessageEncoded> ? T_2 extends ((input: ReviewMission) => infer Result) ? Result : T_2 : never : never) ? T_3 extends Effect.Effect<infer _Success, infer Error, infer _Services> ? Error : never : never : never) | ((Instructions & import("effect/unstable/ai/Prompt").Prompt extends (infer T_4) ? T_4 extends Instructions & import("effect/unstable/ai/Prompt").Prompt ? T_4 extends ((input: ReviewMission) => infer Result) ? Result : T_4 : never : never) extends (infer T_5) ? T_5 extends (Instructions & import("effect/unstable/ai/Prompt").Prompt extends (infer T_4) ? T_4 extends Instructions & import("effect/unstable/ai/Prompt").Prompt ? T_4 extends ((input: ReviewMission) => infer Result) ? Result : T_4 : never : never) ? T_5 extends Effect.Effect<infer _Success, infer Error, infer _Services> ? Error : never : never : never) | ((Instructions & ((input: ReviewMission) => import("effect-agent").InstructionResult<NoInfer<(Instructions extends ((input: ReviewMission) => infer Result_1) ? Result_1 : Instructions) extends Effect.Effect<infer _Success_1, infer Error_1, infer _Requirements> ? Error_1 : never>, NoInfer<(Instructions extends ((input: ReviewMission) => infer Result_1) ? Result_1 : Instructions) extends Effect.Effect<infer _Success_2, infer _Error, infer Requirements> ? Requirements : never>>) extends (infer T_6) ? T_6 extends Instructions & ((input: ReviewMission) => import("effect-agent").InstructionResult<NoInfer<(Instructions extends ((input: ReviewMission) => infer Result_1) ? Result_1 : Instructions) extends Effect.Effect<infer _Success_1, infer Error_1, infer _Requirements> ? Error_1 : never>, NoInfer<(Instructions extends ((input: ReviewMission) => infer Result_1) ? Result_1 : Instructions) extends Effect.Effect<infer _Success_2, infer _Error, infer Requirements> ? Requirements : never>>) ? T_6 extends ((input: ReviewMission) => infer Result) ? Result : T_6 : never : never) extends (infer T_7) ? T_7 extends (Instructions & ((input: ReviewMission) => import("effect-agent").InstructionResult<NoInfer<(Instructions extends ((input: ReviewMission) => infer Result_1) ? Result_1 : Instructions) extends Effect.Effect<infer _Success_1, infer Error_1, infer _Requirements> ? Error_1 : never>, NoInfer<(Instructions extends ((input: ReviewMission) => infer Result_1) ? Result_1 : Instructions) extends Effect.Effect<infer _Success_2, infer _Error, infer Requirements> ? Requirements : never>>) extends (infer T_6) ? T_6 extends Instructions & ((input: ReviewMission) => import("effect-agent").InstructionResult<NoInfer<(Instructions extends ((input: ReviewMission) => infer Result_1) ? Result_1 : Instructions) extends Effect.Effect<infer _Success_1, infer Error_1, infer _Requirements> ? Error_1 : never>, NoInfer<(Instructions extends ((input: ReviewMission) => infer Result_1) ? Result_1 : Instructions) extends Effect.Effect<infer _Success_2, infer _Error, infer Requirements> ? Requirements : never>>) ? T_6 extends ((input: ReviewMission) => infer Result) ? Result : T_6 : never : never) ? T_7 extends Effect.Effect<infer _Success, infer Error, infer _Services> ? Error : never : never : never) | import("effect-agent").Agent.RunDispositionFailure<RuntimeBinding<typeof ReviewMission, typeof CodeReview, Instructions, Tools, Provider, ModelProvides, ModelRequires, (Instructions extends ((input: ReviewMission) => infer Result_1) ? Result_1 : Instructions) extends Effect.Effect<infer _Success_1, infer Error_1, infer _Requirements> ? Error_1 : never, (Instructions extends ((input: ReviewMission) => infer Result_1) ? Result_1 : Instructions) extends Effect.Effect<infer _Success_2, infer _Error, infer Requirements> ? Requirements : never, undefined>>, import("effect-agent").IdGenerator | PullRequestSource | ReviewPublisher | import("effect/Scope").Scope | Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices> | Exclude<Tool.HandlersFor<Tools>, import("effect-agent").EngineProvidedToolServices> | Exclude<Tool.HandlerServices<Tools[keyof Tools]>, import("effect-agent").EngineProvidedToolServices> | ((Instructions extends ((input: ReviewMission) => infer Result_1) ? Result_1 : Instructions) extends Effect.Effect<infer _Success_2, infer _Error, infer Requirements> ? Requirements : never)>;
+/**
+ * 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.
+ */
+declare const executeFanOutReview: <Provider, ModelProvides, ModelRequires>(binding: FileReviewerBinding<Provider, ModelProvides, ModelRequires>, options: ExecuteReviewOptions) => Effect.Effect<ReviewRunOutcome, GitHubApiFailure | PullRequestSourceFailure, import("effect-agent").IdGenerator | PullRequestSource | ReviewPublisher | Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, import("effect/Scope").Scope>>;
 //#endregion
 //#region src/internal/factory.d.ts
 /** Options shared by both reviewer shapes. */
@@ -207,12 +193,12 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
   }, PullRequestSource>, Tool.Tool<"read_file_diff", {
     readonly parameters: typeof FileDiffQuery;
     readonly success: typeof FileDiffView;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, Tool.Tool<"read_file", {
     readonly parameters: typeof FileSliceQuery;
     readonly success: typeof FileSlice;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, ...Extra]>>, undefined>;
   readonly binding: Readonly<{
@@ -224,17 +210,17 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
     }, PullRequestSource>, Tool.Tool<"read_file_diff", {
       readonly parameters: typeof FileDiffQuery;
       readonly success: typeof FileDiffView;
-      readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+      readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
     }, PullRequestSource>, Tool.Tool<"read_file", {
       readonly parameters: typeof FileSliceQuery;
       readonly success: typeof FileSlice;
-      readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+      readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
     }, PullRequestSource>, ...Extra]>>, undefined>;
     model: Model.Model<Provider, ModelProvides | LanguageModel.LanguageModel, ModelRequires>;
   }>;
-  readonly run: (runOptions?: RunReviewOptions) => Effect.Effect<ReviewRunOutcome, import("effect-agent").AgentApprovalDenied | import("effect-agent").AgentApprovalPending | import("effect-agent").AgentChildPending | import("effect-agent").AgentInputError | import("effect-agent").AgentOutputError | import("effect-agent").AgentPolicyError | import("effect-agent").AgentToolAuthorizationDenied | import("effect/unstable/ai/AiError").AiError | import("effect-agent").BudgetAdapterError | import("effect-agent").BudgetExceeded | import("effect-agent").ContextOverflowError | GitHubApiFailure | import("effect-agent").ModelProtocolError | PullRequestSourceFailure | import("effect/Schema").SchemaError | Agent.RunDispositionFailure<import("effect-agent").RuntimeBinding<typeof ReviewMission, typeof CodeReview, (mission: ReviewMission) => string, Toolkit.ToolsByName<[Tool.Tool<"list_changed_files", {
+  readonly run: (runOptions?: RunReviewOptions) => Effect.Effect<ReviewRunOutcome, import("effect-agent").AgentApprovalDenied | import("effect-agent").AgentApprovalPending | import("effect-agent").AgentChildPending | import("effect-agent").AgentInputError | import("effect-agent").AgentOutputError | import("effect-agent").AgentPolicyError | import("effect-agent").AgentToolAuthorizationDenied | import("effect/unstable/ai/AiError").AiError | import("effect-agent").BudgetAdapterError | import("effect-agent").BudgetExceeded | import("effect-agent").ContextOverflowError | GitHubApiFailure | import("effect-agent").ModelProtocolError | PullRequestSourceFailure | Schema.SchemaError | Agent.RunDispositionFailure<import("effect-agent").RuntimeBinding<typeof ReviewMission, typeof CodeReview, (mission: ReviewMission) => string, Toolkit.ToolsByName<[Tool.Tool<"list_changed_files", {
     readonly parameters: typeof ListChangedFilesQuery;
     readonly success: typeof ChangedFilesView;
     readonly failure: typeof PullRequestSourceFailure;
@@ -242,12 +228,12 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
   }, PullRequestSource>, Tool.Tool<"read_file_diff", {
     readonly parameters: typeof FileDiffQuery;
     readonly success: typeof FileDiffView;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, Tool.Tool<"read_file", {
     readonly parameters: typeof FileSliceQuery;
     readonly success: typeof FileSlice;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, ...Extra]>, Provider, ModelProvides, ModelRequires, never, never, undefined>>, PullRequestSource | ReviewPublisher | Exclude<Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, IdGenerator | Tool.HandlersFor<{
     readonly list_changed_files: Tool.Tool<"list_changed_files", {
@@ -259,13 +245,13 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
     readonly read_file: Tool.Tool<"read_file", {
       readonly parameters: typeof FileSliceQuery;
       readonly success: typeof FileSlice;
-      readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+      readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
     }, PullRequestSource>;
     readonly read_file_diff: Tool.Tool<"read_file_diff", {
       readonly parameters: typeof FileDiffQuery;
       readonly success: typeof FileDiffView;
-      readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+      readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
     }, PullRequestSource>;
   }>>, import("effect/Scope").Scope> | Exclude<Exclude<Exclude<Tool.HandlersFor<Toolkit.ToolsByName<[Tool.Tool<"list_changed_files", {
@@ -276,12 +262,12 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
   }, PullRequestSource>, Tool.Tool<"read_file_diff", {
     readonly parameters: typeof FileDiffQuery;
     readonly success: typeof FileDiffView;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, Tool.Tool<"read_file", {
     readonly parameters: typeof FileSliceQuery;
     readonly success: typeof FileSlice;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, ...Extra]>>, import("effect-agent").EngineProvidedToolServices>, IdGenerator | Tool.HandlersFor<{
     readonly list_changed_files: Tool.Tool<"list_changed_files", {
@@ -293,13 +279,13 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
     readonly read_file: Tool.Tool<"read_file", {
       readonly parameters: typeof FileSliceQuery;
       readonly success: typeof FileSlice;
-      readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+      readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
     }, PullRequestSource>;
     readonly read_file_diff: Tool.Tool<"read_file_diff", {
       readonly parameters: typeof FileDiffQuery;
       readonly success: typeof FileDiffView;
-      readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+      readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
     }, PullRequestSource>;
   }>>, import("effect/Scope").Scope> | Exclude<Exclude<Exclude<Tool.HandlerServices<Toolkit.ToolsByName<[Tool.Tool<"list_changed_files", {
@@ -310,12 +296,12 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
   }, PullRequestSource>, Tool.Tool<"read_file_diff", {
     readonly parameters: typeof FileDiffQuery;
     readonly success: typeof FileDiffView;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, Tool.Tool<"read_file", {
     readonly parameters: typeof FileSliceQuery;
     readonly success: typeof FileSlice;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, ...Extra]>[keyof Toolkit.ToolsByName<[Tool.Tool<"list_changed_files", {
     readonly parameters: typeof ListChangedFilesQuery;
@@ -325,12 +311,12 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
   }, PullRequestSource>, Tool.Tool<"read_file_diff", {
     readonly parameters: typeof FileDiffQuery;
     readonly success: typeof FileDiffView;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, Tool.Tool<"read_file", {
     readonly parameters: typeof FileSliceQuery;
     readonly success: typeof FileSlice;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, ...Extra]>]>, import("effect-agent").EngineProvidedToolServices>, IdGenerator | Tool.HandlersFor<{
     readonly list_changed_files: Tool.Tool<"list_changed_files", {
@@ -342,16 +328,16 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
     readonly read_file: Tool.Tool<"read_file", {
       readonly parameters: typeof FileSliceQuery;
       readonly success: typeof FileSlice;
-      readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+      readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
     }, PullRequestSource>;
     readonly read_file_diff: Tool.Tool<"read_file_diff", {
       readonly parameters: typeof FileDiffQuery;
       readonly success: typeof FileDiffView;
-      readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+      readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
     }, PullRequestSource>;
-  }>>, import("effect/Scope").Scope>> | Effect.Effect<ReviewRunOutcome, import("effect-agent").AgentApprovalDenied | import("effect-agent").AgentApprovalPending | import("effect-agent").AgentChildPending | import("effect-agent").AgentInputError | import("effect-agent").AgentOutputError | import("effect-agent").AgentPolicyError | import("effect-agent").AgentToolAuthorizationDenied | import("effect/unstable/ai/AiError").AiError | import("effect-agent").BudgetAdapterError | import("effect-agent").BudgetExceeded | import("effect-agent").ContextOverflowError | GitHubApiFailure | import("effect-agent").ModelProtocolError | PullRequestSourceFailure | import("effect/Schema").SchemaError | Agent.RunDispositionFailure<import("effect-agent").RuntimeBinding<typeof ReviewMission, typeof CodeReview, (mission: ReviewMission) => string, Toolkit.ToolsByName<[Tool.Tool<"list_changed_files", {
+  }>>, import("effect/Scope").Scope>> | Effect.Effect<ReviewRunOutcome, import("effect-agent").AgentApprovalDenied | import("effect-agent").AgentApprovalPending | import("effect-agent").AgentChildPending | import("effect-agent").AgentInputError | import("effect-agent").AgentOutputError | import("effect-agent").AgentPolicyError | import("effect-agent").AgentToolAuthorizationDenied | import("effect/unstable/ai/AiError").AiError | import("effect-agent").BudgetAdapterError | import("effect-agent").BudgetExceeded | import("effect-agent").ContextOverflowError | GitHubApiFailure | import("effect-agent").ModelProtocolError | PullRequestSourceFailure | Schema.SchemaError | Agent.RunDispositionFailure<import("effect-agent").RuntimeBinding<typeof ReviewMission, typeof CodeReview, (mission: ReviewMission) => string, Toolkit.ToolsByName<[Tool.Tool<"list_changed_files", {
     readonly parameters: typeof ListChangedFilesQuery;
     readonly success: typeof ChangedFilesView;
     readonly failure: typeof PullRequestSourceFailure;
@@ -359,12 +345,12 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
   }, PullRequestSource>, Tool.Tool<"read_file_diff", {
     readonly parameters: typeof FileDiffQuery;
     readonly success: typeof FileDiffView;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, Tool.Tool<"read_file", {
     readonly parameters: typeof FileSliceQuery;
     readonly success: typeof FileSlice;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, ...Extra]>, Provider, ModelProvides, ModelRequires, never, never, undefined>>, PullRequestSource | ReviewPublisher | Exclude<Exclude<Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, IdGenerator | Tool.HandlersFor<{
     readonly list_changed_files: Tool.Tool<"list_changed_files", {
@@ -376,13 +362,13 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
     readonly read_file: Tool.Tool<"read_file", {
       readonly parameters: typeof FileSliceQuery;
       readonly success: typeof FileSlice;
-      readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+      readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
     }, PullRequestSource>;
     readonly read_file_diff: Tool.Tool<"read_file_diff", {
       readonly parameters: typeof FileDiffQuery;
       readonly success: typeof FileDiffView;
-      readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+      readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
     }, PullRequestSource>;
   }>>, import("effect/Scope").Scope>, PullRequestSource> | Exclude<Exclude<Exclude<Exclude<Tool.HandlersFor<Toolkit.ToolsByName<[Tool.Tool<"list_changed_files", {
@@ -393,12 +379,12 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
   }, PullRequestSource>, Tool.Tool<"read_file_diff", {
     readonly parameters: typeof FileDiffQuery;
     readonly success: typeof FileDiffView;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, Tool.Tool<"read_file", {
     readonly parameters: typeof FileSliceQuery;
     readonly success: typeof FileSlice;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, ...Extra]>>, import("effect-agent").EngineProvidedToolServices>, IdGenerator | Tool.HandlersFor<{
     readonly list_changed_files: Tool.Tool<"list_changed_files", {
@@ -410,13 +396,13 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
     readonly read_file: Tool.Tool<"read_file", {
       readonly parameters: typeof FileSliceQuery;
       readonly success: typeof FileSlice;
-      readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+      readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
     }, PullRequestSource>;
     readonly read_file_diff: Tool.Tool<"read_file_diff", {
       readonly parameters: typeof FileDiffQuery;
       readonly success: typeof FileDiffView;
-      readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+      readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
     }, PullRequestSource>;
   }>>, import("effect/Scope").Scope>, PullRequestSource> | Exclude<Exclude<Exclude<Exclude<Tool.HandlerServices<Toolkit.ToolsByName<[Tool.Tool<"list_changed_files", {
@@ -427,12 +413,12 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
   }, PullRequestSource>, Tool.Tool<"read_file_diff", {
     readonly parameters: typeof FileDiffQuery;
     readonly success: typeof FileDiffView;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, Tool.Tool<"read_file", {
     readonly parameters: typeof FileSliceQuery;
     readonly success: typeof FileSlice;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, ...Extra]>[keyof Toolkit.ToolsByName<[Tool.Tool<"list_changed_files", {
     readonly parameters: typeof ListChangedFilesQuery;
@@ -442,12 +428,12 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
   }, PullRequestSource>, Tool.Tool<"read_file_diff", {
     readonly parameters: typeof FileDiffQuery;
     readonly success: typeof FileDiffView;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, Tool.Tool<"read_file", {
     readonly parameters: typeof FileSliceQuery;
     readonly success: typeof FileSlice;
-    readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+    readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>, ...Extra]>]>, import("effect-agent").EngineProvidedToolServices>, IdGenerator | Tool.HandlersFor<{
     readonly list_changed_files: Tool.Tool<"list_changed_files", {
@@ -459,13 +445,13 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
     readonly read_file: Tool.Tool<"read_file", {
       readonly parameters: typeof FileSliceQuery;
       readonly success: typeof FileSlice;
-      readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+      readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
     }, PullRequestSource>;
     readonly read_file_diff: Tool.Tool<"read_file_diff", {
       readonly parameters: typeof FileDiffQuery;
       readonly success: typeof FileDiffView;
-      readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
+      readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
     }, PullRequestSource>;
   }>>, import("effect/Scope").Scope>, PullRequestSource>>;
@@ -477,62 +463,32 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
   }, PullRequestSourceFailure, PullRequestSource>;
   readonly filterFiles: (files: ReadonlyArray<ChangedFile>) => ChangedFile[];
 };
-/** Options accepted by `PrReview.makeFanOut` (the delegating reviewer). */
+/** Options accepted by `PrReview.makeFanOut` (the host-scheduled pipeline). */
 interface PrReviewFanOutOptions<Provider, ModelProvides, ModelRequires> extends PrReviewSharedOptions {
-  /** The Effect AI Model bound to both the coordinator and its children. */
+  /** The Effect AI Model bound to every child review pass. */
   readonly model: Model.Model<Provider, LanguageModel.LanguageModel | ModelProvides, ModelRequires>;
   /**
    * Static guidance injected into every child reviewer's instructions. The
-   * coordinator's mission never crosses the delegation boundary, so
+   * pipeline schedules children from the deterministic plan, so
    * mission-dependent guidance cannot exist for children.
    */
   readonly guidance?: string | ReadonlyArray<string> | undefined;
 }
 /**
- * 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.
  */
 declare const makeFanOut: <Provider, ModelProvides, ModelRequires>(options: PrReviewFanOutOptions<Provider, ModelProvides, ModelRequires>) => {
-  readonly definition: import("effect-agent").Definition<typeof ReviewMission, typeof CodeReview, (mission: ReviewMission) => string, Toolkit.Toolkit<{
-    readonly delegate_file_review: Tool.Tool<"delegate_file_review", {
-      readonly parameters: typeof FileReviewRequest;
-      readonly success: import("effect/Schema").Union<readonly [typeof FileReviewUnitResult, import("effect-agent").SubagentContainedFailure<import("effect/Schema").Union<readonly [typeof FileReviewUnitFailed, typeof FileReviewWorkRejected]>>]>;
-      readonly failure: import("effect-agent").SubagentReturnModeFailure;
-      readonly failureMode: "error";
-    }, import("effect-agent").AgentSpawner | IdGenerator | import("effect-agent").RunEventSink | import("effect-agent").SubagentDurability>;
-    readonly list_review_units: Tool.Tool<"list_review_units", {
-      readonly parameters: typeof ListReviewUnitsQuery;
-      readonly success: typeof ReviewUnitPlan;
-      readonly failure: typeof PullRequestSourceFailure;
-      readonly failureMode: "error";
-    }, PullRequestSource>;
-  }>, undefined>;
-  readonly binding: Readonly<{
-    definition: import("effect-agent").Definition<typeof ReviewMission, typeof CodeReview, (mission: ReviewMission) => string, Toolkit.Toolkit<{
-      readonly delegate_file_review: Tool.Tool<"delegate_file_review", {
-        readonly parameters: typeof FileReviewRequest;
-        readonly success: import("effect/Schema").Union<readonly [typeof FileReviewUnitResult, import("effect-agent").SubagentContainedFailure<import("effect/Schema").Union<readonly [typeof FileReviewUnitFailed, typeof FileReviewWorkRejected]>>]>;
-        readonly failure: import("effect-agent").SubagentReturnModeFailure;
-        readonly failureMode: "error";
-      }, import("effect-agent").AgentSpawner | IdGenerator | import("effect-agent").RunEventSink | import("effect-agent").SubagentDurability>;
-      readonly list_review_units: Tool.Tool<"list_review_units", {
-        readonly parameters: typeof ListReviewUnitsQuery;
-        readonly success: typeof ReviewUnitPlan;
-        readonly failure: typeof PullRequestSourceFailure;
-        readonly failureMode: "error";
-      }, PullRequestSource>;
-    }>, undefined>;
-    model: Model.Model<Provider, ModelProvides | LanguageModel.LanguageModel, ModelRequires>;
-  }>;
+  readonly definition: import("effect-agent").Definition<typeof FileReviewBrief, typeof FileReviewReport, (brief: FileReviewBrief) => string, Toolkit.Toolkit<{}>, undefined>;
   readonly childBinding: Readonly<{
     definition: import("effect-agent").Definition<typeof FileReviewBrief, typeof FileReviewReport, (brief: FileReviewBrief) => string, Toolkit.Toolkit<{}>, undefined>;
     model: Model.Model<Provider, ModelProvides | LanguageModel.LanguageModel, ModelRequires>;
   }>;
-  readonly run: (runOptions?: RunReviewOptions) => Effect.Effect<ReviewRunOutcome, import("effect-agent").AgentApprovalDenied | import("effect-agent").AgentApprovalPending | import("effect-agent").AgentChildPending | import("effect-agent").AgentInputError | import("effect-agent").AgentOutputError | import("effect-agent").AgentPolicyError | import("effect-agent").AgentToolAuthorizationDenied | import("effect/unstable/ai/AiError").AiError | import("effect-agent").BudgetAdapterError | import("effect-agent").BudgetExceeded | import("effect-agent").ContextOverflowError | GitHubApiFailure | import("effect-agent").ModelProtocolError | PullRequestSourceFailure | import("effect/Schema").SchemaError, PullRequestSource | ReviewPublisher | Exclude<Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, IdGenerator | import("effect-agent").SubagentReservations>, import("effect/Scope").Scope> | Exclude<Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, Tool.Handler<"delegate_file_review"> | Tool.Handler<"list_review_units"> | IdGenerator>, import("effect/Scope").Scope>> | Effect.Effect<ReviewRunOutcome, import("effect-agent").AgentApprovalDenied | import("effect-agent").AgentApprovalPending | import("effect-agent").AgentChildPending | import("effect-agent").AgentInputError | import("effect-agent").AgentOutputError | import("effect-agent").AgentPolicyError | import("effect-agent").AgentToolAuthorizationDenied | import("effect/unstable/ai/AiError").AiError | import("effect-agent").BudgetAdapterError | import("effect-agent").BudgetExceeded | import("effect-agent").ContextOverflowError | GitHubApiFailure | import("effect-agent").ModelProtocolError | PullRequestSourceFailure | import("effect/Schema").SchemaError, PullRequestSource | ReviewPublisher | Exclude<Exclude<Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, IdGenerator | import("effect-agent").SubagentReservations>, import("effect/Scope").Scope>, PullRequestSource> | Exclude<Exclude<Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, Tool.Handler<"delegate_file_review"> | Tool.Handler<"list_review_units"> | IdGenerator>, import("effect/Scope").Scope>, PullRequestSource>>;
+  readonly run: (runOptions?: RunReviewOptions) => Effect.Effect<ReviewRunOutcome, GitHubApiFailure | PullRequestSourceFailure, PullRequestSource | ReviewPublisher | Exclude<Exclude<Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, import("effect/Scope").Scope>, IdGenerator>, import("effect/Scope").Scope>> | Effect.Effect<ReviewRunOutcome, GitHubApiFailure | PullRequestSourceFailure, PullRequestSource | ReviewPublisher | Exclude<Exclude<Exclude<Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, import("effect/Scope").Scope>, IdGenerator>, import("effect/Scope").Scope>, PullRequestSource>>;
   readonly fingerprint: Effect.Effect<string, PullRequestSourceFailure, PullRequestSource>;
   readonly profileFingerprint: Effect.Effect<string, PullRequestSourceFailure, PullRequestSource>;
   readonly snapshot: Effect.Effect<{
@@ -736,18 +692,18 @@ declare const PullRequestReviewerProfile_base: Schema.Class<PullRequestReviewerP
 declare class PullRequestReviewerProfile extends PullRequestReviewerProfile_base {}
 declare const pullRequestReviewerProfile: PullRequestReviewerProfile;
 declare const FanOutReviewerProfile_base: Schema.Class<FanOutReviewerProfile, Schema.Struct<{
-  /** Ephemeral runtime: one bounded AgentRuntime.run per invocation. */
+  /** Ephemeral runtime: bounded host-scheduled child runs per invocation. */
   readonly deploymentClass: Schema.Literal<"E">;
-  /** Every model-callable tool — parent and child — is a read; none mutate. */
+  /** Every model-callable surface is evidence-only; children expose no tools. */
   readonly readOnlyToolSurface: Schema.Literal<true>;
   /** The review is posted by the host AFTER the run settles, never by a tool. */
   readonly publicationOutsideAgentLoop: Schema.Literal<true>;
   /** Child findings are untrusted; anchors are validated against the parsed diff. */
   readonly anchorsValidatedBeforePublication: Schema.Literal<true>;
-  /** S1 attached ephemeral delegation at depth 1; nested delegation is rejected. */
-  readonly attachedEphemeralDelegation: Schema.Literal<true>;
-  /** A failed unit surfaces to the coordinator as a typed failed result, never retried. */
-  readonly failedUnitsReportedNotRetried: Schema.Literal<true>;
+  /** Host code schedules every pass from the deterministic plan; no coordinator model. */
+  readonly hostScheduledPasses: Schema.Literal<true>;
+  /** A failed pass is retried once, then reported and carried as unreviewed scope. */
+  readonly failedPassesRetriedOnceThenCarried: Schema.Literal<true>;
   /** Risk categories and required specialist passes are pure host policy. */
   readonly hostOwnedRiskClassification: Schema.Literal<true>;
   /** Every host-classified high-risk unit receives a fresh specialist pass. */
@@ -803,5 +759,5 @@ declare const openAiClientLayer: Layer.Layer<OpenAiClient.OpenAiClient, Config.C
 /** The Anthropic client Layer, credential from `ANTHROPIC_API_KEY`. */
 declare const anthropicClientLayer: Layer.Layer<AnthropicClient.AnthropicClient, Config.ConfigError, never>;
 //#endregion
-export { AGENT_PROMPT_PREAMBLE, CandidateAssessment, ChangedFile, ChangedFileStatus, ChangedFileSummary, ChangedFilesView, ChangedPath, CodeReview, CompactLogRecord, ConcernCandidate, DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN, DEFAULT_MODEL, DEFAULT_PROVIDER, DelegateFileReview, DiscoveredConcern, EFFORT_ALIASES, EffortAliasName, EffortPosition, ExecuteReviewOptions, FINGERPRINT_MARKER_LENGTH, FailedReviewPass, FailedReviewUnit, FanOutCoordinatorToolkit, FanOutCoordinatorToolkitLayer, FanOutInstructionOptions, FanOutReviewSuite, FanOutReviewToolkit, FanOutReviewer, FanOutReviewerProfile, FanOutSuiteOptions, FileDiffQuery, FileDiffView, FileReviewBrief, FileReviewDelegationFailure, FileReviewEvidence, FileReviewEvidenceChunk, FileReviewFailure, FileReviewReport, FileReviewRequest, FileReviewToolkit, FileReviewToolkitLayer, FileReviewUnitFailed, FileReviewUnitResult, FileReviewWorkRejected, FileReviewer, FileSlice, FileSliceQuery, FindingCandidate, FindingCategory, FindingSeverity, GitCommitSha, GitHubApiFailure, GitHubEventWire, GitHubReviewTarget, InvalidEffortInput, LIVE_GATE_ENV, ListChangedFiles, ListChangedFilesQuery, ListReviewUnits, ListReviewUnitsQuery, MAX_CHANGED_FILES, MAX_CHILD_CONCERNS, MAX_CHILD_FINDINGS, MAX_CONCERNS, MAX_FILE_CHARS, MAX_FILE_EVIDENCE_CHARS, MAX_FILE_REVIEW_TOOL_CALLS, MAX_FINDINGS, MAX_MERGED_FINDINGS, MAX_PATCH_CHARS, MAX_REPORTED_UNASSIGNED_EVIDENCE_SHARDS, MAX_REVIEW_CHILDREN, MAX_REVIEW_CONTENT_CHARS, MAX_REVIEW_STATE_MARKER_CHARS, MAX_REVIEW_UNITS, MAX_UNIT_CANDIDATES, MAX_UNIT_EVIDENCE_SHARDS, MAX_UNIT_FILES, MAX_WALKTHROUGH_ENTRIES, MAX_WALKTHROUGH_SUMMARY_CHARS, PROGRESS_COMMENT_MARKER_PREFIX, PROVIDER_CREDENTIAL_ENV, PROVIDER_EFFORT_RUNGS, PatchLine, PrReview, PrReviewFanOutOptions, PrReviewOptions, PrReviewSharedOptions, PriorReviewLookupFailure, PriorReviews, ProgressClaim, PublishedReview, PullRequestMetadata, PullRequestReviewer, PullRequestReviewerProfile, PullRequestSource, PullRequestSourceFailure, REVIEW_TOOL_RESULT_MAX_BYTES, ReadFile, ReadFileDiff, ResolvedReviewTarget, RetirableReview, RetirableReviewComment, ReviewAssurance, ReviewCandidate, ReviewCandidateId, ReviewCommentDraft, ReviewConcern, ReviewCoverage, ReviewDiscoveryPass, ReviewDiscoveryPerspective, ReviewEvent, ReviewEvidenceShard, ReviewEvidenceShardId, ReviewExecutionContext, ReviewFinding, ReviewGuidance, ReviewHeadComparison, ReviewInputCoverage, ReviewInputViolation, ReviewInstructionOptions, ReviewMission, ReviewMode, ReviewPassId, ReviewPipelineAssessment, ReviewProgressBegin, ReviewProgressReporter, ReviewProgressSettle, ReviewProvider, ReviewPublicationPlan, ReviewPublisher, ReviewRetirementDecision, ReviewRetirementFailure, ReviewRetirementHost, ReviewRetirementInput, ReviewRetirementReport, ReviewRiskCategory, ReviewRunOutcome, ReviewScopeMode, ReviewSelection, ReviewShape, ReviewState, ReviewStateAuthenticationFailure, ReviewStateAuthenticator, ReviewStateMarker, ReviewStateMarkerTooLarge, ReviewTargetUnresolved, ReviewToolkit, ReviewToolkitLayer, ReviewUnit, ReviewUnitId, ReviewUnitPlan, ReviewVerdict, ReviewWorkPerspective, ReviewWorkPhase, RunReviewOptions, StoredReviewConcern, StoredReviewFinding, UNIT_CHANGED_LINE_BUDGET, UNIT_EVIDENCE_CHAR_BUDGET, WalkthroughEntry, anchorViolation, annotatePatch, anthropicClientLayer, assessReviewCoverage, assessReviewPipeline, assessmentSettlesSuggestionExactly, buildProfileMission, buildReviewMission, clampMaxFindings, classifyReviewRisks, collectUnitFileSummaries, commentableLines, compactReviewLogger, compactReviewLoggingLayer, compileIgnoreGlobs, computeChangesetFingerprint, computeProfileFingerprint, confirmedFindingForPublication, decideReviewRetirement, defaultFanOutPolicy, defaultFileReviewerPolicy, defaultReviewPolicy, describeReviewModel, enforceFindingsBound, estimateReviewEffort, executeReview, extractFingerprint, fanOutHandlersLayer, fanOutHandlersLayerFor, fanOutReviewBudgetLimits, fanOutReviewInstructions, fanOutReviewerProfile, fileDiffView, fileReviewDelegation, fileReviewEvidenceChunks, fileReviewPolicy, fileReviewerInstructions, findingAnchorInUnitEvidence, fingerprintUnchanged, formatCompactLogLine, fromStoredConcern, fromStoredFinding, gitHubPriorReviewsLayer, gitHubPullRequestSourceLayer, gitHubReviewLayers, gitHubReviewProgressLayer, gitHubReviewPublisherLayer, gitHubReviewRetirementHostLayer, hasReviewMetadataMarker, hasReviewableContent, ignoringPullRequestSourceLayer, isEffortPosition, isReviewableFile, listChangedFilesHandler, liveProfileEnabled, makeAnthropicReviewModel, makeFanOutReviewInstructions, makeFanOutReviewSuite, makeFileReviewerInstructions, makeOpenAiReviewModel, makeReviewInstructions, mapFileReviewChildFailure, noopReviewProgressReporterLayer, normalizeRepoRelativePath, openAiClientLayer, parseEffortPosition, parseGitHubSubmittedAt, parsePatch, parseProgressClaim, planPublication, planReviewUnits, planWalkthrough, pullRequestReviewerProfile, rankAndDedupeFindings, readFileDiffHandler, readFileHandler, readGitHubEvent, renderAgentPrompt, renderFingerprintMarker, renderProgressBeginBody, renderProgressClaimMarker, renderProgressSettleBody, renderReviewContent, resolveEffortRung, resolveGuidance, resolveReviewTarget, retireStaleReviews, reviewBudgetLimits, reviewCandidateSubjectKey, reviewInstructions, selectReviewRange, selectedPullRequestSourceLayer, toStoredConcern, toStoredFinding, unavailableReviewStateAuthenticatorLayer, validateReviewState, webCryptoReviewStateAuthenticatorLayer };
+export { AGENT_PROMPT_PREAMBLE, CandidateAssessment, ChangedFile, ChangedFileStatus, ChangedFileSummary, ChangedFilesView, ChangedPath, CodeReview, CompactLogRecord, ConcernCandidate, DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN, DEFAULT_MODEL, DEFAULT_PROVIDER, DiscoveredConcern, EFFORT_ALIASES, EffortAliasName, EffortPosition, ExecuteReviewOptions, FINGERPRINT_MARKER_LENGTH, FailedReviewPass, FailedReviewUnit, FanOutInstructionOptions, FanOutPipelineInput, FanOutPipelineOutcome, FanOutReviewerProfile, FileDiffQuery, FileDiffView, FileReviewBrief, FileReviewEvidence, FileReviewEvidenceChunk, FileReviewReport, FileReviewToolkit, FileReviewer, FileReviewerBinding, FileSlice, FileSliceQuery, FindingCandidate, FindingCategory, FindingSeverity, FlatReviewAssessment, GitCommitSha, GitHubApiFailure, GitHubEventWire, GitHubReviewTarget, InvalidEffortInput, LIVE_GATE_ENV, ListChangedFiles, ListChangedFilesQuery, MAX_CHANGED_FILES, MAX_CHILD_CONCERNS, MAX_CHILD_FINDINGS, MAX_CONCERNS, MAX_FILE_CHARS, MAX_FILE_EVIDENCE_CHARS, MAX_FILE_REVIEW_TOOL_CALLS, MAX_FINDINGS, MAX_MERGED_FINDINGS, MAX_PATCH_CHARS, MAX_REPORTED_UNASSIGNED_EVIDENCE_SHARDS, MAX_REVIEW_CHILDREN, MAX_REVIEW_CONTENT_CHARS, MAX_REVIEW_STATE_MARKER_CHARS, MAX_REVIEW_UNITS, MAX_STORED_UNREVIEWED_PATHS, MAX_UNIT_CANDIDATES, MAX_UNIT_EVIDENCE_SHARDS, MAX_UNIT_FILES, MAX_WALKTHROUGH_ENTRIES, MAX_WALKTHROUGH_SUMMARY_CHARS, PROGRESS_COMMENT_MARKER_PREFIX, PROVIDER_CREDENTIAL_ENV, PROVIDER_EFFORT_RUNGS, PatchLine, PrReview, PrReviewFanOutOptions, PrReviewOptions, PrReviewSharedOptions, PriorReviewLookupFailure, PriorReviews, ProgressClaim, PublishedReview, PullRequestMetadata, PullRequestReviewer, PullRequestReviewerProfile, PullRequestSource, PullRequestSourceFailure, REVIEW_TOOL_RESULT_MAX_BYTES, REVIEW_UNIT_CONCURRENCY, ReadFile, ReadFileDiff, ResolvedReviewTarget, RetirableReview, RetirableReviewComment, ReviewAssurance, ReviewCandidate, ReviewCandidateId, ReviewCommentDraft, ReviewConcern, ReviewCoverage, ReviewDiscoveryPass, ReviewDiscoveryPerspective, ReviewEvent, ReviewEvidenceShard, ReviewEvidenceShardId, ReviewExecutionContext, ReviewFinding, ReviewGuidance, ReviewHeadComparison, ReviewInputCoverage, ReviewInputViolation, ReviewInstructionOptions, ReviewMission, ReviewMode, ReviewPassId, ReviewPassMisbehaved, ReviewProgressBegin, ReviewProgressReporter, ReviewProgressSettle, ReviewProvider, ReviewPublicationPlan, ReviewPublisher, ReviewRetirementDecision, ReviewRetirementFailure, ReviewRetirementHost, ReviewRetirementInput, ReviewRetirementReport, ReviewRiskCategory, ReviewRunOutcome, ReviewScopeMode, ReviewSelection, ReviewState, ReviewStateAuthenticationFailure, ReviewStateAuthenticator, ReviewStateMarker, ReviewStateMarkerTooLarge, ReviewTargetUnresolved, ReviewToolkit, ReviewToolkitLayer, ReviewUnit, ReviewUnitId, ReviewUnitPlan, ReviewVerdict, ReviewWorkPerspective, ReviewWorkPhase, RunReviewOptions, StoredReviewConcern, StoredReviewFinding, UNIT_CHANGED_LINE_BUDGET, UNIT_EVIDENCE_CHAR_BUDGET, WalkthroughEntry, anchorViolation, annotatePatch, anthropicClientLayer, assessFlatReview, assessmentSettlesSuggestionExactly, boundedListReason, buildProfileMission, buildReviewMission, clampMaxFindings, classifyReviewRisks, commentableLines, compactReviewLogger, compactReviewLoggingLayer, compatibilityCoverage, compileIgnoreGlobs, computeChangesetFingerprint, computeProfileFingerprint, confirmedFindingForPublication, decideReviewRetirement, defaultFileReviewerPolicy, defaultReviewPolicy, describeReviewModel, enforceFindingsBound, estimateReviewEffort, executeFanOutReview, executeReview, extractFingerprint, fanOutInputCoverage, fanOutReviewBudgetLimits, fanOutReviewerProfile, fileDiffView, fileReviewEvidenceChunks, fileReviewerInstructions, findingAnchorInUnitEvidence, fingerprintUnchanged, flatAssurance, formatCompactLogLine, fromStoredConcern, fromStoredFinding, gitHubPriorReviewsLayer, gitHubPullRequestSourceLayer, gitHubReviewLayers, gitHubReviewProgressLayer, gitHubReviewPublisherLayer, gitHubReviewRetirementHostLayer, hasReviewMetadataMarker, hasReviewableContent, ignoringPullRequestSourceLayer, isEffortPosition, isReviewableFile, listChangedFilesHandler, liveProfileEnabled, makeAnthropicReviewModel, makeFileReviewerDefinition, makeFileReviewerInstructions, makeOpenAiReviewModel, makeReviewInstructions, noopReviewProgressReporterLayer, normalizeRepoRelativePath, openAiClientLayer, parseEffortPosition, parseGitHubSubmittedAt, parsePatch, parseProgressClaim, planPublication, planReviewUnits, planWalkthrough, pullRequestReviewerProfile, rankAndDedupeConcerns, rankAndDedupeFindings, readFileDiffHandler, readFileHandler, readGitHubEvent, renderAgentPrompt, renderFingerprintMarker, renderProgressBeginBody, renderProgressClaimMarker, renderProgressSettleBody, renderReviewContent, resolveEffortRung, resolveGuidance, resolveReviewTarget, retireStaleReviews, reviewBudgetLimits, reviewCandidateSubjectKey, reviewInstructions, runFanOutReview, selectReviewRange, selectedPullRequestSourceLayer, toStoredConcern, toStoredFinding, unavailableReviewStateAuthenticatorLayer, validateReviewState, webCryptoReviewStateAuthenticatorLayer };
 //# sourceMappingURL=index.d.mts.map