@effect-agent/pr-review 0.1.0-beta.16 → 0.1.0-beta.18

package/dist/action.d.mts

@@ -1,4 +1,4 @@
-import { Et as ReviewMode, G as GitHubApiFailure, In as PullRequestMetadata, J as PriorReviews, Ln as PullRequestSource, Rn as PullRequestSourceFailure, Vn as ChangedFile, X as ReviewPublisher, jt as ReviewStateAuthenticator, st as ReviewRetirementHost } from "./fan-out-DBHPcJwC.mjs";
+import { Et as ReviewMode, G as GitHubApiFailure, In as PullRequestMetadata, J as PriorReviews, Ln as PullRequestSource, Rn as PullRequestSourceFailure, Vn as ChangedFile, X as ReviewPublisher, jt as ReviewStateAuthenticator, st as ReviewRetirementHost } from "./fan-out-CQFA-o0v.mjs";
 import { EffortPosition, InvalidEffortInput, ReviewProgressReporter, ReviewProvider, ReviewRunOutcome, ReviewTargetUnresolved, RunReviewOptions } from "./index.mjs";
 import { Config, Effect, FileSystem, Schema } from "effect";
 import { BudgetExceeded } from "effect-agent";

package/dist/{fan-out-DBHPcJwC.d.mts → fan-out-CQFA-o0v.d.mts}

@@ -368,7 +368,7 @@ declare const PullRequestReviewer: import("effect-agent").Definition<typeof Revi
     readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>;
-}>>;
+}>, undefined>;
 //#endregion
 //#region src/internal/coverage.d.ts
 declare const ReviewShape: Schema.Literals<readonly ["flat", "fan-out"]>;
@@ -1034,7 +1034,7 @@ declare const makeFileReviewerDefinition: (options?: FanOutInstructionOptions) =
     readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>;
-}>>;
+}>, undefined>;
 /** Options for one coherent fan-out suite: shared guidance plus the merge bound. */
 interface FanOutSuiteOptions extends FanOutInstructionOptions {
   readonly maxFindings?: number | undefined;
@@ -1066,7 +1066,7 @@ declare const makeFanOutReviewerDefinition: (options: FanOutSuiteOptions, delega
     readonly failure: typeof PullRequestSourceFailure;
     readonly failureMode: "error";
   }, PullRequestSource>;
-}>>;
+}>, undefined>;
 /** Build one coherent fan-out suite: child, coordinator, and delegation. */
 declare const makeFanOutReviewSuite: (options?: FanOutSuiteOptions) => FanOutReviewSuite;
 /** The default child Agent Definition. */
@@ -1083,7 +1083,7 @@ declare const FileReviewer: import("effect-agent").Definition<typeof FileReviewB
     readonly failure: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
   }, PullRequestSource>;
-}>>;
+}>, undefined>;
 /** The default coordinator Agent Definition. */
 declare const FanOutReviewer: import("effect-agent").Definition<typeof ReviewMission, typeof CodeReview, (mission: ReviewMission) => string, Toolkit.Toolkit<{
   readonly delegate_file_review: Tool.Tool<"delegate_file_review", {
@@ -1098,7 +1098,7 @@ declare const FanOutReviewer: import("effect-agent").Definition<typeof ReviewMis
     readonly failure: typeof PullRequestSourceFailure;
     readonly failureMode: "error";
   }, PullRequestSource>;
-}>>;
+}>, undefined>;
 /** The default delegation over the default child. */
 declare const fileReviewDelegation: import("effect-agent").SubagentDelegation<"delegate_file_review", typeof FileReviewBrief, typeof FileReviewReport, (brief: FileReviewBrief) => string, {
   readonly read_file: Tool.Tool<"read_file", {
@@ -1180,4 +1180,4 @@ declare const fanOutHandlersLayer: <Provider, ModelProvides, ModelRequires>(chil
 }, never>>;
 //#endregion
 export { gitHubPullRequestSourceLayer as $, ChangedFilesView as $t, fileReviewerInstructions as A, readFileDiffHandler as An, ReviewStateAuthenticationFailure as At, ReviewUnitPlan as B, normalizeRepoRelativePath as Bn, selectReviewRange as Bt, defaultFanOutPolicy as C, ReviewToolkitLayer as Cn, MAX_REVIEW_STATE_MARKER_CHARS as Ct, fanOutReviewInstructions as D, defaultReviewPolicy as Dn, ReviewScopeMode as Dt, fanOutHandlersLayerFor as E, clampMaxFindings as En, ReviewMode as Et, MAX_MERGED_FINDINGS as F, MAX_FILE_CHARS as Fn, StoredReviewFinding as Ft, GitHubApiFailure as G, PatchLine as Gn, validateReviewState as Gt, planReviewUnits as H, ChangedFileStatus as Hn, toStoredConcern as Ht, MAX_REVIEW_UNITS as I, PullRequestMetadata as In, buildProfileMission as It, PriorReviews as J, hasReviewableContent as Jn, ReviewCoverage as Jt, GitHubReviewTarget as K, annotatePatch as Kn, webCryptoReviewStateAuthenticatorLayer as Kt, MAX_UNIT_FILES as L, PullRequestSource as Ln, computeProfileFingerprint as Lt, makeFanOutReviewSuite as M, resolveGuidance as Mn, ReviewStateMarker as Mt, makeFileReviewerInstructions as N, reviewInstructions as Nn, ReviewStateMarkerTooLarge as Nt, fileReviewDelegation as O, listChangedFilesHandler as On, ReviewSelection as Ot, mapFileReviewChildFailure as P, MAX_CHANGED_FILES as Pn, StoredReviewConcern as Pt, gitHubPriorReviewsLayer as Q, ChangedFileSummary as Qt, ReviewUnit as R, PullRequestSourceFailure as Rn, fromStoredConcern as Rt, MAX_FILE_REVIEW_TOOL_CALLS as S, ReviewToolkit as Sn, GitCommitSha as St, fanOutHandlersLayer as T, WalkthroughEntry as Tn, ReviewHeadComparison as Tt, rankAndDedupeFindings as U, ChangedPath as Un, toStoredFinding as Ut, UNIT_CHANGED_LINE_BUDGET as V, ChangedFile as Vn, selectedPullRequestSourceLayer as Vt, DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN as W, MAX_REVIEW_CONTENT_CHARS as Wn, unavailableReviewStateAuthenticatorLayer as Wt, ReviewPublisher as X, parsePatch as Xn, assessReviewCoverage as Xt, PublishedReview as Y, isReviewableFile as Yn, ReviewShape as Yt, fingerprintUnchanged as Z, renderReviewContent as Zn, collectUnitFileSummaries as Zt, FileReviewer as _, ReviewConcern as _n, anchorViolation as _t, FanOutReviewSuite as a, FindingCategory as an, ReviewRetirementDecision as at, MAX_CHILD_CONCERNS as b, ReviewInstructionOptions as bn, planWalkthrough as bt, FanOutSuiteOptions as c, ListChangedFilesQuery as cn, ReviewRetirementInput as ct, FileReviewReport as d, MAX_WALKTHROUGH_ENTRIES as dn, hasReviewMetadataMarker as dt, CodeReview as en, gitHubReviewPublisherLayer as et, FileReviewRequest as f, MAX_WALKTHROUGH_SUMMARY_CHARS as fn, retireStaleReviews as ft, FileReviewUnitResult as g, ReadFileDiff as gn, ReviewPublicationPlan as gt, FileReviewUnitFailed as h, ReadFile as hn, ReviewEvent as ht, FanOutInstructionOptions as i, FileSliceQuery as in, RetirableReviewComment as it, makeFanOutReviewInstructions as j, readFileHandler as jn, ReviewStateAuthenticator as jt, fileReviewPolicy as k, makeReviewInstructions as kn, ReviewState as kt, FileReviewBrief as l, MAX_CONCERNS as ln, ReviewRetirementReport as lt, FileReviewToolkitLayer as m, REVIEW_TOOL_RESULT_MAX_BYTES as mn, ReviewCommentDraft as mt, FanOutCoordinatorToolkit as n, FileDiffView as nn, parseGitHubSubmittedAt as nt, FanOutReviewToolkit as o, FindingSeverity as on, ReviewRetirementFailure as ot, FileReviewToolkit as p, PullRequestReviewer as pn, AGENT_PROMPT_PREAMBLE as pt, PriorReviewLookupFailure as q, commentableLines as qn, FailedReviewUnit as qt, FanOutCoordinatorToolkitLayer as r, FileSlice as rn, RetirableReview as rt, FanOutReviewer as s, ListChangedFiles as sn, ReviewRetirementHost as st, DelegateFileReview as t, FileDiffQuery as tn, gitHubReviewRetirementHostLayer as tt, FileReviewDelegationFailure as u, MAX_FINDINGS as un, decideReviewRetirement as ut, ListReviewUnits as v, ReviewFinding as vn, estimateReviewEffort as vt, defaultFileReviewerPolicy as w, ReviewVerdict as wn, ReviewExecutionContext as wt, MAX_CHILD_FINDINGS as x, ReviewMission as xn, renderAgentPrompt as xt, ListReviewUnitsQuery as y, ReviewGuidance as yn, planPublication as yt, ReviewUnitId as z, ReviewInputViolation as zn, fromStoredFinding as zt };
-//# sourceMappingURL=fan-out-DBHPcJwC.d.mts.map
+//# sourceMappingURL=fan-out-CQFA-o0v.d.mts.map

package/dist/index.d.mts

@@ -1,6 +1,6 @@
-import { $ as gitHubPullRequestSourceLayer, $t as ChangedFilesView, A as fileReviewerInstructions, An as readFileDiffHandler, At as ReviewStateAuthenticationFailure, B as ReviewUnitPlan, Bn as normalizeRepoRelativePath, Bt as selectReviewRange, C as defaultFanOutPolicy, Cn as ReviewToolkitLayer, Ct as MAX_REVIEW_STATE_MARKER_CHARS, D as fanOutReviewInstructions, Dn as defaultReviewPolicy, Dt as ReviewScopeMode, E as fanOutHandlersLayerFor, En as clampMaxFindings, Et as ReviewMode, F as MAX_MERGED_FINDINGS, Fn as MAX_FILE_CHARS, Ft as StoredReviewFinding, G as GitHubApiFailure, Gn as PatchLine, Gt as validateReviewState, H as planReviewUnits, Hn as ChangedFileStatus, Ht as toStoredConcern, I as MAX_REVIEW_UNITS, In as PullRequestMetadata, It as buildProfileMission, J as PriorReviews, Jn as hasReviewableContent, Jt as ReviewCoverage, K as GitHubReviewTarget, Kn as annotatePatch, Kt as webCryptoReviewStateAuthenticatorLayer, L as MAX_UNIT_FILES, Ln as PullRequestSource, Lt as computeProfileFingerprint, M as makeFanOutReviewSuite, Mn as resolveGuidance, Mt as ReviewStateMarker, N as makeFileReviewerInstructions, Nn as reviewInstructions, Nt as ReviewStateMarkerTooLarge, O as fileReviewDelegation, On as listChangedFilesHandler, Ot as ReviewSelection, P as mapFileReviewChildFailure, Pn as MAX_CHANGED_FILES, Pt as StoredReviewConcern, Q as gitHubPriorReviewsLayer, Qt as ChangedFileSummary, R as ReviewUnit, Rn as PullRequestSourceFailure, Rt as fromStoredConcern, S as MAX_FILE_REVIEW_TOOL_CALLS, Sn as ReviewToolkit, St as GitCommitSha, T as fanOutHandlersLayer, Tn as WalkthroughEntry, Tt as ReviewHeadComparison, U as rankAndDedupeFindings, Un as ChangedPath, Ut as toStoredFinding, V as UNIT_CHANGED_LINE_BUDGET, Vn as ChangedFile, Vt as selectedPullRequestSourceLayer, W as DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN, Wn as MAX_REVIEW_CONTENT_CHARS, Wt as unavailableReviewStateAuthenticatorLayer, X as ReviewPublisher, Xn as parsePatch, Xt as assessReviewCoverage, Y as PublishedReview, Yn as isReviewableFile, Yt as ReviewShape, Z as fingerprintUnchanged, Zn as renderReviewContent, Zt as collectUnitFileSummaries, _ as FileReviewer, _n as ReviewConcern, _t as anchorViolation, a as FanOutReviewSuite, an as FindingCategory, at as ReviewRetirementDecision, b as MAX_CHILD_CONCERNS, bn as ReviewInstructionOptions, bt as planWalkthrough, c as FanOutSuiteOptions, cn as ListChangedFilesQuery, ct as ReviewRetirementInput, d as FileReviewReport, dn as MAX_WALKTHROUGH_ENTRIES, dt as hasReviewMetadataMarker, en as CodeReview, et as gitHubReviewPublisherLayer, f as FileReviewRequest, fn as MAX_WALKTHROUGH_SUMMARY_CHARS, ft as retireStaleReviews, g as FileReviewUnitResult, gn as ReadFileDiff, gt as ReviewPublicationPlan, h as FileReviewUnitFailed, hn as ReadFile, ht as ReviewEvent, i as FanOutInstructionOptions, in as FileSliceQuery, it as RetirableReviewComment, j as makeFanOutReviewInstructions, jn as readFileHandler, jt as ReviewStateAuthenticator, k as fileReviewPolicy, kn as makeReviewInstructions, kt as ReviewState, l as FileReviewBrief, ln as MAX_CONCERNS, lt as ReviewRetirementReport, m as FileReviewToolkitLayer, mn as REVIEW_TOOL_RESULT_MAX_BYTES, mt as ReviewCommentDraft, n as FanOutCoordinatorToolkit, nn as FileDiffView, nt as parseGitHubSubmittedAt, o as FanOutReviewToolkit, on as FindingSeverity, ot as ReviewRetirementFailure, p as FileReviewToolkit, pn as PullRequestReviewer, pt as AGENT_PROMPT_PREAMBLE, q as PriorReviewLookupFailure, qn as commentableLines, qt as FailedReviewUnit, r as FanOutCoordinatorToolkitLayer, rn as FileSlice, rt as RetirableReview, s as FanOutReviewer, sn as ListChangedFiles, st as ReviewRetirementHost, t as DelegateFileReview, tn as FileDiffQuery, tt as gitHubReviewRetirementHostLayer, u as FileReviewDelegationFailure, un as MAX_FINDINGS, ut as decideReviewRetirement, v as ListReviewUnits, vn as ReviewFinding, vt as estimateReviewEffort, w as defaultFileReviewerPolicy, wn as ReviewVerdict, wt as ReviewExecutionContext, x as MAX_CHILD_FINDINGS, xn as ReviewMission, xt as renderAgentPrompt, y as ListReviewUnitsQuery, yn as ReviewGuidance, yt as planPublication, z as ReviewUnitId, zn as ReviewInputViolation, zt as fromStoredFinding } from "./fan-out-DBHPcJwC.mjs";
+import { $ as gitHubPullRequestSourceLayer, $t as ChangedFilesView, A as fileReviewerInstructions, An as readFileDiffHandler, At as ReviewStateAuthenticationFailure, B as ReviewUnitPlan, Bn as normalizeRepoRelativePath, Bt as selectReviewRange, C as defaultFanOutPolicy, Cn as ReviewToolkitLayer, Ct as MAX_REVIEW_STATE_MARKER_CHARS, D as fanOutReviewInstructions, Dn as defaultReviewPolicy, Dt as ReviewScopeMode, E as fanOutHandlersLayerFor, En as clampMaxFindings, Et as ReviewMode, F as MAX_MERGED_FINDINGS, Fn as MAX_FILE_CHARS, Ft as StoredReviewFinding, G as GitHubApiFailure, Gn as PatchLine, Gt as validateReviewState, H as planReviewUnits, Hn as ChangedFileStatus, Ht as toStoredConcern, I as MAX_REVIEW_UNITS, In as PullRequestMetadata, It as buildProfileMission, J as PriorReviews, Jn as hasReviewableContent, Jt as ReviewCoverage, K as GitHubReviewTarget, Kn as annotatePatch, Kt as webCryptoReviewStateAuthenticatorLayer, L as MAX_UNIT_FILES, Ln as PullRequestSource, Lt as computeProfileFingerprint, M as makeFanOutReviewSuite, Mn as resolveGuidance, Mt as ReviewStateMarker, N as makeFileReviewerInstructions, Nn as reviewInstructions, Nt as ReviewStateMarkerTooLarge, O as fileReviewDelegation, On as listChangedFilesHandler, Ot as ReviewSelection, P as mapFileReviewChildFailure, Pn as MAX_CHANGED_FILES, Pt as StoredReviewConcern, Q as gitHubPriorReviewsLayer, Qt as ChangedFileSummary, R as ReviewUnit, Rn as PullRequestSourceFailure, Rt as fromStoredConcern, S as MAX_FILE_REVIEW_TOOL_CALLS, Sn as ReviewToolkit, St as GitCommitSha, T as fanOutHandlersLayer, Tn as WalkthroughEntry, Tt as ReviewHeadComparison, U as rankAndDedupeFindings, Un as ChangedPath, Ut as toStoredFinding, V as UNIT_CHANGED_LINE_BUDGET, Vn as ChangedFile, Vt as selectedPullRequestSourceLayer, W as DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN, Wn as MAX_REVIEW_CONTENT_CHARS, Wt as unavailableReviewStateAuthenticatorLayer, X as ReviewPublisher, Xn as parsePatch, Xt as assessReviewCoverage, Y as PublishedReview, Yn as isReviewableFile, Yt as ReviewShape, Z as fingerprintUnchanged, Zn as renderReviewContent, Zt as collectUnitFileSummaries, _ as FileReviewer, _n as ReviewConcern, _t as anchorViolation, a as FanOutReviewSuite, an as FindingCategory, at as ReviewRetirementDecision, b as MAX_CHILD_CONCERNS, bn as ReviewInstructionOptions, bt as planWalkthrough, c as FanOutSuiteOptions, cn as ListChangedFilesQuery, ct as ReviewRetirementInput, d as FileReviewReport, dn as MAX_WALKTHROUGH_ENTRIES, dt as hasReviewMetadataMarker, en as CodeReview, et as gitHubReviewPublisherLayer, f as FileReviewRequest, fn as MAX_WALKTHROUGH_SUMMARY_CHARS, ft as retireStaleReviews, g as FileReviewUnitResult, gn as ReadFileDiff, gt as ReviewPublicationPlan, h as FileReviewUnitFailed, hn as ReadFile, ht as ReviewEvent, i as FanOutInstructionOptions, in as FileSliceQuery, it as RetirableReviewComment, j as makeFanOutReviewInstructions, jn as readFileHandler, jt as ReviewStateAuthenticator, k as fileReviewPolicy, kn as makeReviewInstructions, kt as ReviewState, l as FileReviewBrief, ln as MAX_CONCERNS, lt as ReviewRetirementReport, m as FileReviewToolkitLayer, mn as REVIEW_TOOL_RESULT_MAX_BYTES, mt as ReviewCommentDraft, n as FanOutCoordinatorToolkit, nn as FileDiffView, nt as parseGitHubSubmittedAt, o as FanOutReviewToolkit, on as FindingSeverity, ot as ReviewRetirementFailure, p as FileReviewToolkit, pn as PullRequestReviewer, pt as AGENT_PROMPT_PREAMBLE, q as PriorReviewLookupFailure, qn as commentableLines, qt as FailedReviewUnit, r as FanOutCoordinatorToolkitLayer, rn as FileSlice, rt as RetirableReview, s as FanOutReviewer, sn as ListChangedFiles, st as ReviewRetirementHost, t as DelegateFileReview, tn as FileDiffQuery, tt as gitHubReviewRetirementHostLayer, u as FileReviewDelegationFailure, un as MAX_FINDINGS, ut as decideReviewRetirement, v as ListReviewUnits, vn as ReviewFinding, vt as estimateReviewEffort, w as defaultFileReviewerPolicy, wn as ReviewVerdict, wt as ReviewExecutionContext, x as MAX_CHILD_FINDINGS, xn as ReviewMission, xt as renderAgentPrompt, y as ListReviewUnitsQuery, yn as ReviewGuidance, yt as planPublication, z as ReviewUnitId, zn as ReviewInputViolation, zt as fromStoredFinding } from "./fan-out-CQFA-o0v.mjs";
 import { Config, Context, Effect, FileSystem, Layer, LogLevel, Logger, Option, Schema } from "effect";
-import { AgentPolicyInput, IdGenerator, RuntimeBinding, UsageBudgetLimits, UsageTotals } from "effect-agent";
+import { Agent, AgentPolicyInput, IdGenerator, RuntimeBinding, UsageBudgetLimits, UsageTotals } from "effect-agent";
 import { LanguageModel, Model, Tool, Toolkit } from "effect/unstable/ai";
 import { HttpClient } from "effect/unstable/http";
 import { AnthropicClient } from "@effect/ai-anthropic";
@@ -138,7 +138,7 @@ declare const enforceFindingsBound: (review: CodeReview, maxFindings: number) =>
  * 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/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").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)>;
+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/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)>;
 //#endregion
 //#region src/internal/factory.d.ts
 /** Options shared by both reviewer shapes. */
@@ -210,7 +210,7 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
     readonly success: typeof FileSlice;
     readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
     readonly failureMode: "return";
-  }, PullRequestSource>, ...Extra]>>>;
+  }, PullRequestSource>, ...Extra]>>, undefined>;
   readonly binding: Readonly<{
     definition: import("effect-agent").Definition<typeof ReviewMission, typeof CodeReview, (mission: ReviewMission) => string, Toolkit.Toolkit<Toolkit.ToolsByName<[Tool.Tool<"list_changed_files", {
       readonly parameters: typeof ListChangedFilesQuery;
@@ -227,10 +227,25 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
       readonly success: typeof FileSlice;
       readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
       readonly failureMode: "return";
-    }, PullRequestSource>, ...Extra]>>>;
+    }, 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/unstable/ai/AiError").AiError | import("effect-agent").BudgetAdapterError | import("effect-agent").BudgetExceeded | import("effect-agent").ContextOverflowError | GitHubApiFailure | import("effect-agent").ModelProtocolError | PullRequestSourceFailure | import("effect/SchemaError").SchemaError, PullRequestSource | ReviewPublisher | Exclude<Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, IdGenerator | Tool.HandlersFor<{
+  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/unstable/ai/AiError").AiError | import("effect-agent").BudgetAdapterError | import("effect-agent").BudgetExceeded | import("effect-agent").ContextOverflowError | GitHubApiFailure | import("effect-agent").ModelProtocolError | PullRequestSourceFailure | import("effect/SchemaError").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;
+    readonly failureMode: "error";
+  }, 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 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 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", {
       readonly parameters: typeof ListChangedFilesQuery;
       readonly success: typeof ChangedFilesView;
@@ -332,7 +347,22 @@ declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends
       readonly failure: import("effect/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/unstable/ai/AiError").AiError | import("effect-agent").BudgetAdapterError | import("effect-agent").BudgetExceeded | import("effect-agent").ContextOverflowError | GitHubApiFailure | import("effect-agent").ModelProtocolError | PullRequestSourceFailure | import("effect/SchemaError").SchemaError, PullRequestSource | ReviewPublisher | Exclude<Exclude<Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, IdGenerator | Tool.HandlersFor<{
+  }>>, 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/unstable/ai/AiError").AiError | import("effect-agent").BudgetAdapterError | import("effect-agent").BudgetExceeded | import("effect-agent").ContextOverflowError | GitHubApiFailure | import("effect-agent").ModelProtocolError | PullRequestSourceFailure | import("effect/SchemaError").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;
+    readonly failureMode: "error";
+  }, 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 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 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", {
       readonly parameters: typeof ListChangedFilesQuery;
       readonly success: typeof ChangedFilesView;
@@ -476,7 +506,7 @@ declare const makeFanOut: <Provider, ModelProvides, ModelRequires>(options: PrRe
       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", {
@@ -491,7 +521,7 @@ declare const makeFanOut: <Provider, ModelProvides, ModelRequires>(options: PrRe
         readonly failure: typeof PullRequestSourceFailure;
         readonly failureMode: "error";
       }, PullRequestSource>;
-    }>>;
+    }>, undefined>;
     model: Model.Model<Provider, ModelProvides | LanguageModel.LanguageModel, ModelRequires>;
   }>;
   readonly childBinding: Readonly<{
@@ -508,7 +538,7 @@ declare const makeFanOut: <Provider, ModelProvides, ModelRequires>(options: PrRe
         readonly failure: import("effect/Schema").Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
         readonly failureMode: "return";
       }, PullRequestSource>;
-    }>>;
+    }>, 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/unstable/ai/AiError").AiError | import("effect-agent").BudgetAdapterError | import("effect-agent").BudgetExceeded | import("effect-agent").ContextOverflowError | GitHubApiFailure | import("effect-agent").ModelProtocolError | PullRequestSourceFailure | import("effect/SchemaError").SchemaError, PullRequestSource | ReviewPublisher | Exclude<Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, IdGenerator | import("effect-agent").SubagentReservations | Tool.HandlersFor<{

package/dist/testing.d.mts

@@ -1,4 +1,4 @@
-import { In as PullRequestMetadata, J as PriorReviews, Ln as PullRequestSource, Tt as ReviewHeadComparison, Vn as ChangedFile, X as ReviewPublisher, d as FileReviewReport, en as CodeReview, gt as ReviewPublicationPlan, kt as ReviewState } from "./fan-out-DBHPcJwC.mjs";
+import { In as PullRequestMetadata, J as PriorReviews, Ln as PullRequestSource, Tt as ReviewHeadComparison, Vn as ChangedFile, X as ReviewPublisher, d as FileReviewReport, en as CodeReview, gt as ReviewPublicationPlan, kt as ReviewState } from "./fan-out-CQFA-o0v.mjs";
 import { Effect, Layer, Option, Ref, Schema } from "effect";
 import { LanguageModel, Model, Response } from "effect/unstable/ai";
 //#region src/internal/fan-out-scripted.d.ts

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect-agent/pr-review",
-  "version": "0.1.0-beta.16",
+  "version": "0.1.0-beta.18",
   "exports": {
     ".": {
       "types": "./dist/index.d.mts",
@@ -24,7 +24,7 @@
     "@effect/ai-openai": "4.0.0-beta.107",
     "@effect/platform-node": "4.0.0-beta.107",
     "effect": "4.0.0-beta.107",
-    "effect-agent": "0.1.0-beta.16"
+    "effect-agent": "0.1.0-beta.18"
   },
   "description": "Bounded, fail-closed GitHub pull-request reviewer built on the effect-agent public surface: schema-first review contracts, read-only tools, GitHub adapters, a configuration factory, and CLI + GitHub Actions entrypoints.",
   "license": "MIT",