@effect-agent/pr-review 0.1.0-beta.28 → 0.1.0-beta.30

package/dist/index.d.mts

@@ -1,924 +1,102 @@
-import { $ as ReviewRetirementInput, $n as FileDiffView, $t as buildPriorReviewContext, A as makeFileReviewerInstructions, An as StoredReviewFinding, Ar as makeReviewInstructions, At as ReviewEvidenceShardId, B as fingerprintUnchanged, Bn as fullReviewSelection, Br as ReviewInputViolation, Bt as rankAndDedupeConcerns, C as ReviewWorkPerspective, Cn as ReviewStateAuthenticationFailure, Cr as ReviewVerdict, Ct as MAX_REPORTED_UNASSIGNED_EVIDENCE_SHARDS, D as defaultFileReviewerPolicy, Dn as ReviewTreeComparison, Dr as fileDiffView, Dt as ReviewDiscoveryPass, E as confirmedFindingForPublication, En as ReviewStateMarkerTooLarge, Er as defaultReviewPolicy, Et as MAX_UNIT_FILES, F as GitHubReviewTarget, Fn as concernIdentity, Fr as MAX_CHANGED_FILES, Ft as ReviewUnitPlan, G as gitHubReviewRetirementHostLayer, Gn as toStoredFinding, Gr as MAX_REVIEW_CONTENT_CHARS, Gt as AdjudicableThread, H as gitHubPullRequestSourceLayer, Hn as selectReviewRange, Hr as ChangedFile, Ht as reviewConcernKey, I as PriorReviewLookupFailure, In as findingIdentity, Ir as MAX_FILE_CHARS, It as UNIT_EVIDENCE_CHAR_BUDGET, J as RetirableReview, Jn as webCryptoReviewStateAuthenticatorLayer, Jr as commentableLines, Jt as MAX_THREAD_ADJUDICATION_COMMANDS, K as parseGitHubSubmittedAt, Kn as unavailableReviewStateAuthenticatorLayer, Kr as PatchLine, Kt as AdjudicationComment, L as PriorReviews, Ln as fromStoredConcern, Lr as PullRequestMetadata, Lt as classifyReviewRisks, M as runFanOutReview, Mn as UnreviewedStage, Mr as readFileHandler, Mt as ReviewRiskCategory, N as DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN, Nn as adjudicationIdentity, Nr as resolveGuidance, Nt as ReviewUnit, O as fileReviewerInstructions, On as StoredAdjudication, Or as fileReviewEvidenceChunks, Ot as ReviewDiscoveryPerspective, P as GitHubApiFailure, Pn as buildProfileMission, Pr as reviewInstructions, Pt as ReviewUnitId, Q as ReviewRetirementHost, Qn as FileDiffQuery, Qr as renderReviewContent, Qt as ReviewAdjudicationHost, R as PublishedReview, Rn as fromStoredFinding, Rr as PullRequestSource, Rt as findingAnchorInUnitEvidence, S as ReviewPassMisbehaved, Sn as ReviewState, Sr as ReviewToolkitLayer, St as MAX_MERGED_FINDINGS, T as assessmentSettlesSuggestionExactly, Tn as ReviewStateMarker, Tr as clampMaxFindings, Tt as MAX_UNIT_EVIDENCE_SHARDS, U as gitHubReviewAdjudicationHostLayer, Un as selectedPullRequestSourceLayer, Ur as ChangedFileStatus, Ut as anchorViolation, V as gitHubPriorReviewsLayer, Vn as isLineageAncestor, Vr as normalizeRepoRelativePath, Vt as rankAndDedupeFindings, W as gitHubReviewPublisherLayer, Wn as toStoredConcern, Wr as ChangedPath, Wt as AUTHORIZED_ADJUDICATION_ASSOCIATIONS, X as ReviewRetirementDecision, Xn as ChangedFilesView, Xr as isReviewableFile, Xt as PriorReviewContext, Y as RetirableReviewComment, Yn as ChangedFileSummary, Yr as hasReviewableContent, Yt as ParsedAdjudicationCommand, Z as ReviewRetirementFailure, Zn as CodeReview, Zr as parsePatch, Zt as ReviewAdjudicationFailure, _ as MAX_REVIEW_CHILDREN, _n as ReviewExecutionContext, _r as ReviewFinding, _t as assessFlatReview, a as FanOutPipelineInput, an as parseIssueAdjudication, ar as ListChangedFiles, at as ReviewCommentDraft, b as ReviewCandidate, bn as ReviewScopeMode, br as ReviewMission, bt as flatAssurance, c as FileReviewEvidence, cn as renderPriorFindingContextLine, cr as MAX_FINDINGS, ct as estimateReviewEffort, d as FileReviewer, dn as GitCommitSha, dr as MAX_WALKTHROUGH_SUMMARY_CHARS, dt as renderAgentPrompt, en as collectReviewAdjudications, er as FileReviewEvidenceChunk, et as ReviewRetirementReport, f as FileReviewerBinding, fn as MAX_REVIEW_STATE_MARKER_CHARS, fr as PullRequestReviewer, ft as CarriedScope, g as MAX_FILE_REVIEW_TOOL_CALLS, gn as MAX_TREE_COMPARISON_PATHS, gr as ReviewConcern, gt as ReviewInputCoverage, h as MAX_CHILD_FINDINGS, hn as MAX_STORED_UNREVIEWED_PATHS, hr as ReadFileDiff, ht as ReviewAssurance, i as FanOutInstructionOptions, in as noReviewAdjudicationHostLayer, ir as FindingSeverity, it as AGENT_PROMPT_PREAMBLE, j as reviewCandidateSubjectKey, jn as StoredUnreviewedPass, jr as readFileDiffHandler, jt as ReviewPassId, k as makeFileReviewerDefinition, kn as StoredReviewConcern, kr as listChangedFilesHandler, kt as ReviewEvidenceShard, l as FileReviewReport, ln as threadFindingTarget, lr as MAX_PATCH_CHARS, lt as planPublication, m as MAX_CHILD_CONCERNS, mn as MAX_STORED_UNREVIEWED_PASSES, mr as ReadFile, mt as FlatReviewAssessment, n as ConcernCandidate, nn as mergeAdjudications, nr as FileSliceQuery, nt as hasReviewMetadataMarker, o as FanOutPipelineOutcome, on as parseThreadAdjudication, or as ListChangedFilesQuery, ot as ReviewEvent, p as FindingCandidate, pn as MAX_STORED_ADJUDICATIONS, pr as REVIEW_TOOL_RESULT_MAX_BYTES, pt as FailedReviewPass, q as INLINE_FINDING_TITLE_PATTERN, qn as validateReviewState, qr as annotatePatch, qt as DerivedAdjudications, r as DiscoveredConcern, rn as noReviewAdjudicationHost, rr as FindingCategory, rt as retireStaleReviews, s as FileReviewBrief, sn as renderAdjudicationContextLine, sr as MAX_CONCERNS, st as ReviewPublicationPlan, t as CandidateAssessment, tn as deriveAdjudications, tr as FileSlice, tt as decideReviewRetirement, u as FileReviewToolkit, un as AdjudicationDisposition, ur as MAX_WALKTHROUGH_ENTRIES, ut as planWalkthrough, v as MAX_UNIT_CANDIDATES, vn as ReviewHeadComparison, vr as ReviewGuidance, vt as boundedListReason, w as ReviewWorkPhase, wn as ReviewStateAuthenticator, wr as WalkthroughEntry, wt as MAX_REVIEW_UNITS, x as ReviewCandidateId, xn as ReviewSelection, xr as ReviewToolkit, xt as splitCarriedScope, y as REVIEW_UNIT_CONCURRENCY, yn as ReviewMode, yr as ReviewInstructionOptions, yt as fanOutInputCoverage, z as ReviewPublisher, zn as fullReviewExecutionContextLayer, zr as PullRequestSourceFailure, zt as planReviewUnits } from "./fan-out-C3yG1cx3.mjs";
-import { Config, Context, Crypto, 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";
-import { HttpClient } from "effect/unstable/http";
-import { AnthropicClient } from "@effect/ai-anthropic";
-import { OpenAiClient } from "@effect/ai-openai";
-//#region src/internal/effort.d.ts
-/** A point on the effort axis: 0 = cheapest offered rung, 1 = most expensive. */
-type EffortPosition = number;
-/**
- * Names accepted on user-facing surfaces (the action input, the CLI flag),
- * mapped to fixed points on the axis. These same names anchor every offered
- * rung during resolution, so a named input always lands on its same-named
- * rung when the provider offers it — `high` never resolves to `medium` just
- * because a ladder is short.
- */
-declare const EFFORT_ALIASES: {
-  readonly low: 0;
-  readonly medium: 0.25;
-  readonly high: 0.5;
-  readonly xhigh: 0.75;
-  readonly max: 1;
-};
-/** A rung name every provider ladder must draw from. */
-type EffortAliasName = keyof typeof EFFORT_ALIASES;
-declare const InvalidEffortInput_base: Schema.Class<InvalidEffortInput, Schema.TaggedStruct<"InvalidEffortInput", {
-  readonly input: Schema.String;
-}>, import("effect/Cause").YieldableError>;
-/** An effort input that is neither a known name nor a number on [0, 1]. */
-declare class InvalidEffortInput extends InvalidEffortInput_base {
-  get message(): string;
-}
-declare const isEffortPosition: (value: number) => boolean;
-/**
- * Parse a user-supplied effort into a position: a name (`high`) or a bare
- * number (`0.75`). Returns undefined for anything else so the caller can fail
- * typed — a typo must stay visible, never silently become a level.
- */
-declare const parseEffortPosition: (raw: string) => EffortPosition | undefined;
-/**
- * Land a position on one provider's offered ladder: the highest offered rung
- * whose canonical alias position is at or below the requested position.
- * Anchoring on the alias positions (instead of scaling by ladder index) keeps
- * two properties at once: a named input lands on its same-named rung whenever
- * the provider offers it, and anything between rungs rounds DOWN so
- * resolution never costs more than was asked for.
- */
-declare const resolveEffortRung: <const Rung extends EffortAliasName>(position: EffortPosition, rungs: readonly [Rung, ...ReadonlyArray<Rung>]) => Rung;
-//#endregion
-//#region src/internal/run.d.ts
-/**
- * Run-level usage bounds on top of the definition's AgentPolicy. Real diffs
- * are token-heavy, so the input budget is research-sized with cost as the
- * safety net.
- */
-declare const reviewBudgetLimits: UsageBudgetLimits;
-/**
- * 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<{
-  readonly review: typeof CodeReview;
-  /** All currently unresolved findings, including unchanged carried scope. */
-  readonly activeFindings: Schema.$Array<typeof ReviewFinding>;
-  /** All currently unresolved concerns, including concerns carried to final audit. */
-  readonly activeConcerns: Schema.$Array<typeof ReviewConcern>;
-  /** Exact path/evidence assignment, distinct from semantic review work. */
-  readonly inputCoverage: typeof ReviewInputCoverage;
-  /** Settlement of scheduled discovery, specialist, and verification work. */
-  readonly assurance: typeof ReviewAssurance;
-  /** Retryable scope this run could not settle; carried to the next run. */
+import { Effect, Schema } from "effect";
+import { AgentPolicy, IdGenerator, RunCostEstimator, UsageBudgetLimits } from "effect-agent";
+import { LanguageModel, Model, Toolkit } from "effect/unstable/ai";
+//#region src/review.d.ts
+declare const ReviewChange_base: Schema.Class<ReviewChange, Schema.Struct<{
+  readonly path: Schema.NonEmptyString;
+  readonly patch: Schema.NonEmptyString;
+}>, {}>;
+/** One complete textual patch supplied by the host. */
+declare class ReviewChange extends ReviewChange_base {}
+declare const ReviewRequest_base: Schema.Class<ReviewRequest, Schema.Struct<{
+  readonly title: Schema.String;
+  readonly description: Schema.String;
+  readonly baseRevision: Schema.NonEmptyString;
+  readonly headRevision: Schema.NonEmptyString;
+  readonly changes: Schema.$Array<typeof ReviewChange>;
   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 across the whole run. */
-  readonly usage: Schema.optionalKey<typeof UsageTotals>;
-  readonly reviewMode: Schema.optionalKey<Schema.Literals<readonly ["incremental", "full"]>>;
-  readonly reviewReason: Schema.optionalKey<Schema.String>;
-  readonly state: Schema.optionalKey<typeof ReviewState>;
-  /** Maintainer adjudications standing against this run's identities. */
-  readonly adjudications: Schema.optionalKey<Schema.$Array<typeof StoredAdjudication>>;
 }>, {}>;
-/** Everything one review run produced, publication receipt included. */
-declare class ReviewRunOutcome extends ReviewRunOutcome_base {}
-interface ExecuteReviewOptions {
-  /** Post the review to GitHub; `false` stops after planning (dry run). */
-  readonly post: boolean;
-  /** Map the model's verdict onto APPROVE/REQUEST_CHANGES instead of COMMENT. */
-  readonly applyVerdict: boolean;
-  /** 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
-   * bound): a review carrying more findings is ranked by severity, deduped by
-   * anchor, and trimmed — never published oversized. Clamped to the schema cap.
-   */
-  readonly maxFindings?: number | undefined;
-  /**
-   * Prompt signature for changeset fingerprinting. When present, the
-   * changeset fingerprint is computed and embedded invisibly in the review
-   * body so later runs can skip an unchanged changeset.
-   */
-  readonly signature?: ((mission: ReviewMission) => string) | undefined;
-  /** Provider binding descriptor rendered into the review footer. */
-  readonly modelLabel?: string | undefined;
-  /** Workflow-run URL rendered into the review footer. */
-  readonly runUrl?: string | undefined;
-}
-/**
- * Build the mission one review run frames from the source's snapshot. The
- * optional continuity context (adjudicated identities, prior-round findings
- * on re-reviewed scope) reaches only RUN missions — fingerprint missions stay
- * plain so an adjudication never invalidates skip-unchanged authority.
- */
-declare const buildReviewMission: (metadata: PullRequestMetadata, files: ReadonlyArray<ChangedFile>, context?: {
-  readonly adjudicated?: ReadonlyArray<string> | undefined;
-  readonly priorFindings?: ReadonlyArray<string> | undefined;
-}) => ReviewMission;
-/** Enforce the configured findings bound on an already-validated review. */
-declare const enforceFindingsBound: (review: CodeReview, maxFindings: number) => CodeReview;
-/**
- * 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").ContextBudgetError | 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/Crypto").Crypto | import("effect-agent").IdGenerator | PullRequestSource | ReviewAdjudicationHost | ReviewExecutionContext | ReviewPublisher | import("effect/Scope").Scope | Tool.ParametersSchema<import("effect-agent").Agent.ToolUnion<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>>>["DecodingServices"] | Tool.SuccessSchema<import("effect-agent").Agent.ToolUnion<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>>>["DecodingServices"] | 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/Crypto").Crypto | import("effect-agent").IdGenerator | PullRequestSource | ReviewAdjudicationHost | ReviewExecutionContext | 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. */
-interface PrReviewSharedOptions {
-  /**
-   * Host-side and instruction-level findings bound, clamped to the CodeReview
-   * schema cap of 20.
-   */
-  readonly maxFindings?: number | undefined;
-  /**
-   * Glob patterns (`**` crosses directories, `*`/`?` stay in one segment)
-   * removed from the reviewer's observation surface entirely.
-   */
-  readonly ignore?: ReadonlyArray<string> | undefined;
-  /** Map the model's verdict onto APPROVE/REQUEST_CHANGES instead of COMMENT. */
-  readonly applyVerdict?: boolean | undefined;
-  /** Run-level usage bounds; defaults to the shape's packaged limits. */
-  readonly budget?: UsageBudgetLimits | undefined;
-  /**
-   * Human-readable descriptor of the bound model (provider, model id, effort,
-   * and request profile such as service tier)
-   * rendered into the review footer and included in the fingerprint
-   * signature, so changing the binding re-reviews instead of skipping.
-   */
-  readonly modelLabel?: string | undefined;
-}
-/** Options accepted by `PrReview.make` (the flat reviewer). */
-interface PrReviewOptions<Provider, ModelProvides, ModelRequires, Extra extends ReadonlyArray<Tool.Any>> extends PrReviewSharedOptions {
-  /** The Effect AI Model to bind; its Layer requirements stay visible in `R`. */
-  readonly model: Model.Model<Provider, LanguageModel.LanguageModel | ModelProvides, ModelRequires>;
-  /** Domain guidance injected between the mission framing and the procedure. */
-  readonly guidance?: ReviewGuidance | undefined;
-  /** Full override of the flat reviewer's execution bounds. */
-  readonly policy?: AgentPolicyInput | undefined;
-  /**
-   * Additional tools merged into the reviewer's toolkit. Every extra tool
-   * must be annotated `ToolExecutionClass: "readonly"` — construction fails
-   * otherwise — and its handler Layer is the caller's to provide, so the new
-   * dependency stays visible in the run's `R`.
-   */
-  readonly extraTools?: Extra | undefined;
-}
-/** How one run should publish. */
-interface RunReviewOptions {
-  /** Post the review to GitHub; `false` (default) stops after planning. */
-  readonly post?: boolean | undefined;
-  /** Workflow-run URL rendered into the review footer. */
-  readonly runUrl?: string | undefined;
-}
-/**
- * Build the flat reviewer: one bounded read-only agent over the whole
- * changeset. Returns the model-agnostic definition, the explicit binding, and
- * a `run` whose error and requirement channels stay fully inferred — the
- * pull-request source, the publisher, `Crypto.Crypto`, extra tool handlers,
- * and the Model Layer's requirements all remain visible to the caller.
- */
-declare const make: <Provider, ModelProvides, ModelRequires, const Extra extends ReadonlyArray<Tool.Any> = readonly []>(options: PrReviewOptions<Provider, ModelProvides, ModelRequires, Extra>) => {
-  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;
-    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: 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: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
-    readonly failureMode: "return";
-  }, 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;
-      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: 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: 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").ContextBudgetError | 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;
-    readonly failureMode: "error";
-  }, PullRequestSource>, Tool.Tool<"read_file_diff", {
-    readonly parameters: typeof FileDiffQuery;
-    readonly success: typeof FileDiffView;
-    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: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
-    readonly failureMode: "return";
-  }, PullRequestSource>, ...Extra]>, Provider, ModelProvides, ModelRequires, never, never, undefined>>, import("effect/Crypto").Crypto | PullRequestSource | ReviewAdjudicationHost | ReviewExecutionContext | ReviewPublisher | Exclude<Exclude<Tool.ParametersSchema<Agent.ToolUnion<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: 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: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
-    readonly failureMode: "return";
-  }, PullRequestSource>, ...Extra]>, Provider, ModelProvides, ModelRequires, never, never, undefined>>>["DecodingServices"], IdGenerator | Tool.HandlersFor<{
-    readonly list_changed_files: Tool.Tool<"list_changed_files", {
-      readonly parameters: typeof ListChangedFilesQuery;
-      readonly success: typeof ChangedFilesView;
-      readonly failure: typeof PullRequestSourceFailure;
-      readonly failureMode: "error";
-    }, PullRequestSource>;
-    readonly read_file: Tool.Tool<"read_file", {
-      readonly parameters: typeof FileSliceQuery;
-      readonly success: typeof FileSlice;
-      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: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
-      readonly failureMode: "return";
-    }, PullRequestSource>;
-  }>>, import("effect/Scope").Scope> | Exclude<Exclude<Tool.SuccessSchema<Agent.ToolUnion<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: 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: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
-    readonly failureMode: "return";
-  }, PullRequestSource>, ...Extra]>, Provider, ModelProvides, ModelRequires, never, never, undefined>>>["DecodingServices"], IdGenerator | Tool.HandlersFor<{
-    readonly list_changed_files: Tool.Tool<"list_changed_files", {
-      readonly parameters: typeof ListChangedFilesQuery;
-      readonly success: typeof ChangedFilesView;
-      readonly failure: typeof PullRequestSourceFailure;
-      readonly failureMode: "error";
-    }, PullRequestSource>;
-    readonly read_file: Tool.Tool<"read_file", {
-      readonly parameters: typeof FileSliceQuery;
-      readonly success: typeof FileSlice;
-      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: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
-      readonly failureMode: "return";
-    }, PullRequestSource>;
-  }>>, import("effect/Scope").Scope> | 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;
-      readonly failure: typeof PullRequestSourceFailure;
-      readonly failureMode: "error";
-    }, PullRequestSource>;
-    readonly read_file: Tool.Tool<"read_file", {
-      readonly parameters: typeof FileSliceQuery;
-      readonly success: typeof FileSlice;
-      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: 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", {
-    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: 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: 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", {
-      readonly parameters: typeof ListChangedFilesQuery;
-      readonly success: typeof ChangedFilesView;
-      readonly failure: typeof PullRequestSourceFailure;
-      readonly failureMode: "error";
-    }, PullRequestSource>;
-    readonly read_file: Tool.Tool<"read_file", {
-      readonly parameters: typeof FileSliceQuery;
-      readonly success: typeof FileSlice;
-      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: 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", {
-    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: 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: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
-    readonly failureMode: "return";
-  }, PullRequestSource>, ...Extra]>[keyof 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: 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: 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", {
-      readonly parameters: typeof ListChangedFilesQuery;
-      readonly success: typeof ChangedFilesView;
-      readonly failure: typeof PullRequestSourceFailure;
-      readonly failureMode: "error";
-    }, PullRequestSource>;
-    readonly read_file: Tool.Tool<"read_file", {
-      readonly parameters: typeof FileSliceQuery;
-      readonly success: typeof FileSlice;
-      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: 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").ContextBudgetError | 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;
-    readonly failureMode: "error";
-  }, PullRequestSource>, Tool.Tool<"read_file_diff", {
-    readonly parameters: typeof FileDiffQuery;
-    readonly success: typeof FileDiffView;
-    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: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
-    readonly failureMode: "return";
-  }, PullRequestSource>, ...Extra]>, Provider, ModelProvides, ModelRequires, never, never, undefined>>, import("effect/Crypto").Crypto | PullRequestSource | ReviewAdjudicationHost | ReviewExecutionContext | ReviewPublisher | Exclude<Exclude<Exclude<Tool.ParametersSchema<Agent.ToolUnion<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: 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: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
-    readonly failureMode: "return";
-  }, PullRequestSource>, ...Extra]>, Provider, ModelProvides, ModelRequires, never, never, undefined>>>["DecodingServices"], IdGenerator | Tool.HandlersFor<{
-    readonly list_changed_files: Tool.Tool<"list_changed_files", {
-      readonly parameters: typeof ListChangedFilesQuery;
-      readonly success: typeof ChangedFilesView;
-      readonly failure: typeof PullRequestSourceFailure;
-      readonly failureMode: "error";
-    }, PullRequestSource>;
-    readonly read_file: Tool.Tool<"read_file", {
-      readonly parameters: typeof FileSliceQuery;
-      readonly success: typeof FileSlice;
-      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: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
-      readonly failureMode: "return";
-    }, PullRequestSource>;
-  }>>, import("effect/Scope").Scope>, PullRequestSource> | Exclude<Exclude<Exclude<Tool.SuccessSchema<Agent.ToolUnion<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: 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: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
-    readonly failureMode: "return";
-  }, PullRequestSource>, ...Extra]>, Provider, ModelProvides, ModelRequires, never, never, undefined>>>["DecodingServices"], IdGenerator | Tool.HandlersFor<{
-    readonly list_changed_files: Tool.Tool<"list_changed_files", {
-      readonly parameters: typeof ListChangedFilesQuery;
-      readonly success: typeof ChangedFilesView;
-      readonly failure: typeof PullRequestSourceFailure;
-      readonly failureMode: "error";
-    }, PullRequestSource>;
-    readonly read_file: Tool.Tool<"read_file", {
-      readonly parameters: typeof FileSliceQuery;
-      readonly success: typeof FileSlice;
-      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: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
-      readonly failureMode: "return";
-    }, PullRequestSource>;
-  }>>, import("effect/Scope").Scope>, PullRequestSource> | 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;
-      readonly failure: typeof PullRequestSourceFailure;
-      readonly failureMode: "error";
-    }, PullRequestSource>;
-    readonly read_file: Tool.Tool<"read_file", {
-      readonly parameters: typeof FileSliceQuery;
-      readonly success: typeof FileSlice;
-      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: 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", {
-    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: 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: 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", {
-      readonly parameters: typeof ListChangedFilesQuery;
-      readonly success: typeof ChangedFilesView;
-      readonly failure: typeof PullRequestSourceFailure;
-      readonly failureMode: "error";
-    }, PullRequestSource>;
-    readonly read_file: Tool.Tool<"read_file", {
-      readonly parameters: typeof FileSliceQuery;
-      readonly success: typeof FileSlice;
-      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: 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", {
-    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: 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: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
-    readonly failureMode: "return";
-  }, PullRequestSource>, ...Extra]>[keyof 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: 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: 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", {
-      readonly parameters: typeof ListChangedFilesQuery;
-      readonly success: typeof ChangedFilesView;
-      readonly failure: typeof PullRequestSourceFailure;
-      readonly failureMode: "error";
-    }, PullRequestSource>;
-    readonly read_file: Tool.Tool<"read_file", {
-      readonly parameters: typeof FileSliceQuery;
-      readonly success: typeof FileSlice;
-      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: Schema.Union<readonly [typeof PullRequestSourceFailure, typeof ReviewInputViolation]>;
-      readonly failureMode: "return";
-    }, PullRequestSource>;
-  }>>, import("effect/Scope").Scope>, PullRequestSource>>;
-  readonly fingerprint: Effect.Effect<string, PullRequestSourceFailure, import("effect/Crypto").Crypto | PullRequestSource>;
-  readonly profileFingerprint: Effect.Effect<string, PullRequestSourceFailure, import("effect/Crypto").Crypto | PullRequestSource>;
-  readonly snapshot: Effect.Effect<{
-    metadata: PullRequestMetadata;
-    files: readonly ChangedFile[];
-  }, PullRequestSourceFailure, PullRequestSource>;
-  readonly filterFiles: (files: ReadonlyArray<ChangedFile>) => ChangedFile[];
-};
-/** Options accepted by `PrReview.makeFanOut` (the host-scheduled pipeline). */
-interface PrReviewFanOutOptions<Provider, ModelProvides, ModelRequires> extends PrReviewSharedOptions {
-  /** 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
-   * 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: 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 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, GitHubApiFailure | PullRequestSourceFailure, import("effect/Crypto").Crypto | PullRequestSource | ReviewAdjudicationHost | ReviewExecutionContext | ReviewPublisher | Exclude<Exclude<Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, import("effect/Scope").Scope>, IdGenerator>, import("effect/Scope").Scope>> | Effect.Effect<ReviewRunOutcome, GitHubApiFailure | PullRequestSourceFailure, import("effect/Crypto").Crypto | PullRequestSource | ReviewAdjudicationHost | ReviewExecutionContext | 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, import("effect/Crypto").Crypto | PullRequestSource>;
-  readonly profileFingerprint: Effect.Effect<string, PullRequestSourceFailure, import("effect/Crypto").Crypto | PullRequestSource>;
-  readonly snapshot: Effect.Effect<{
-    metadata: PullRequestMetadata;
-    files: readonly ChangedFile[];
-  }, PullRequestSourceFailure, PullRequestSource>;
-  readonly filterFiles: (files: ReadonlyArray<ChangedFile>) => ChangedFile[];
-};
-/**
- * The packaged pull-request reviewer factory.
- *
- * - `make` — one flat reviewer over the whole changeset.
- * - `makeFanOut` — a coordinator delegating bounded per-unit child reviews.
- */
-declare const PrReview: {
-  readonly make: typeof make;
-  readonly makeFanOut: typeof makeFanOut;
-};
-//#endregion
-//#region src/internal/fingerprint.d.ts
-/** Render the invisible review-body marker for one fingerprint. */
-declare const renderFingerprintMarker: (fingerprint: string) => string;
-/** The rendered marker length is fixed; publication reserves room for it. */
-declare const FINGERPRINT_MARKER_LENGTH: number;
-/** Extract the last fingerprint marker in one review body, if any. */
-declare const extractFingerprint: (body: string) => string | undefined;
-/**
- * Fingerprint one review's complete input surface: the (already
- * ignore-filtered) changeset plus the caller's prompt signature — the
- * rendered instructions and any review-shaping options the instructions do
- * not carry.
- */
-declare const computeChangesetFingerprint: (files: ReadonlyArray<ChangedFile>, signature: string) => Effect.Effect<string, never, Crypto.Crypto>;
-/** Profile fingerprints are SHA-256 over configuration-only signatures. */
-declare const computeProfileFingerprint: (signature: string) => Effect.Effect<string, never, Crypto.Crypto>;
-//#endregion
-//#region src/internal/progress.d.ts
-/** Every progress comment starts its invisible marker with this prefix. */
-declare const PROGRESS_COMMENT_MARKER_PREFIX = "<!-- effect-agent-pr-review progress";
-/** One run's generation fence: who wrote a progress comment, and when. */
-interface ProgressClaim {
-  /** Random per-run token; matching it means the comment is this run's own. */
-  readonly runToken: string;
-  /** Run start in epoch millis; newer runs may overwrite older claims. */
-  readonly startedMillis: number;
-}
-/** Render one run's claim marker (token sanitized into the safe alphabet). */
-declare const renderProgressClaimMarker: (claim: ProgressClaim) => string;
-/** Extract the last claim marker in one comment body, if any. */
-declare const parseProgressClaim: (body: string) => ProgressClaim | undefined;
-/** What a starting run can honestly say before any model turn has executed. */
-interface ReviewProgressBegin {
-  readonly headSha?: string | undefined;
-  readonly reviewMode?: ReviewScopeMode | undefined;
-  readonly reviewReason?: string | undefined;
-  readonly filesInScope?: number | undefined;
-  readonly modelLabel?: string | undefined;
-  readonly runUrl?: string | undefined;
-}
-/** How the run ended: a settled (posted) review, or a failure that posted nothing. */
-type ReviewProgressSettle = {
-  readonly outcome: "reviewed";
-  readonly conclusion: "success" | "blocking" | "incomplete";
-  readonly verdict: string;
-  readonly inlineComments: number;
-  readonly reviewUrl?: string | undefined;
-  readonly runUrl?: string | undefined;
-  readonly modelLabel?: string | undefined;
-} | {
-  readonly outcome: "failed";
-  readonly runUrl?: string | undefined;
-  readonly modelLabel?: string | undefined;
-};
-/** The "a run just started" body; the outcome update replaces it in place. */
-declare const renderProgressBeginBody: (info: ReviewProgressBegin, claim: ProgressClaim) => string;
-/** The settled-outcome body written over the in-progress comment. */
-declare const renderProgressSettleBody: (info: ReviewProgressSettle, claim: ProgressClaim) => string;
-declare const ReviewProgressReporter_base: Context.ServiceClass<ReviewProgressReporter, "@effect-agent/pr-review/ReviewProgressReporter", {
-  readonly begin: (info: ReviewProgressBegin) => Effect.Effect<void>;
-  readonly settle: (info: ReviewProgressSettle) => Effect.Effect<void>;
-}>;
-/**
- * Maintains the sticky progress comment. Both operations are infallible by
- * contract: implementations own their fault handling, because progress
- * reporting may never fail or delay the review run it narrates.
- */
-declare class ReviewProgressReporter extends ReviewProgressReporter_base {}
-/** Reports nothing; the substitute for hosts without a progress surface. */
-declare const noopReviewProgressReporterLayer: Layer.Layer<ReviewProgressReporter>;
-/**
- * GitHub-backed progress reporter over the issue-comments API. The sticky
- * comment is found by its invisible marker AND the configured posting-bot
- * identity — a marker pasted into someone else's comment is never edited.
- * Writes are generation-fenced per the module contract above, and every
- * fault (lookup, create, update, delete, bound exhaustion) degrades to a
- * logged warning: a pull request without a progress comment is a cosmetic
- * loss, a failed review run over a cosmetic fault would not be.
- */
-declare const gitHubReviewProgressLayer: Layer.Layer<ReviewProgressReporter, never, GitHubReviewTarget | HttpClient.HttpClient>;
-//#endregion
-//#region src/internal/github-env.d.ts
-declare const ReviewTargetUnresolved_base: Schema.Class<ReviewTargetUnresolved, Schema.TaggedStruct<"ReviewTargetUnresolved", {
-  readonly reason: Schema.String;
-}>, import("effect/Cause").YieldableError>;
-/** The pull request could not be resolved from options or the environment. */
-declare class ReviewTargetUnresolved extends ReviewTargetUnresolved_base {
-  get message(): string;
-}
-/** The slice of a GitHub Actions event payload this package understands. */
-declare const GitHubEventWire: Schema.Struct<{
-  readonly pull_request: Schema.optionalKey<Schema.Struct<{
-    readonly number: Schema.Int;
-    readonly draft: Schema.optionalKey<Schema.Boolean>;
-  }>>;
-  readonly repository: Schema.optionalKey<Schema.Struct<{
-    readonly full_name: Schema.String;
-  }>>;
-}>;
-type GitHubEventWire = typeof GitHubEventWire.Type;
-/** Read and decode the GITHUB_EVENT_PATH payload, or none outside Actions. */
-declare const readGitHubEvent: () => Effect.Effect<Option.Option<{
-  readonly pull_request?: {
-    readonly number: number;
-    readonly draft?: boolean | undefined;
-  } | undefined;
-  readonly repository?: {
-    readonly full_name: string;
-  } | undefined;
-}>, Config.ConfigError | ReviewTargetUnresolved, FileSystem.FileSystem>;
-interface ResolvedReviewTarget {
-  readonly repository: string;
-  readonly number: number;
-}
-/**
- * Resolve the review target: explicit values win, then GITHUB_REPOSITORY and
- * the pull_request event payload. Fails typed when no target can be named.
- */
-declare const resolveReviewTarget: (options: {
-  readonly repository?: string | undefined;
-  readonly number?: number | undefined;
-}) => Effect.Effect<{
-  repository: string;
-  number: number;
-}, Config.ConfigError | ReviewTargetUnresolved, FileSystem.FileSystem>;
-/**
- * Build the GitHub source and publisher Layers for one resolved target,
- * reading GITHUB_API_URL, GITHUB_TOKEN, and PR_REVIEW_AUTHOR_LOGIN from
- * configuration. The returned Layer is the complete GitHub side of a review
- * run.
- */
-declare const gitHubReviewLayers: (target: ResolvedReviewTarget) => Layer.Layer<PullRequestSource | ReviewPublisher | PriorReviews | ReviewRetirementHost | ReviewAdjudicationHost | ReviewProgressReporter, Config.ConfigError, HttpClient.HttpClient>;
-//#endregion
-//#region src/internal/ignore.d.ts
-/** Compile ignore globs into one predicate over repository-relative paths. */
-declare const compileIgnoreGlobs: (patterns: ReadonlyArray<string>) => ((path: string) => boolean);
-/**
- * Decorate the ambient PullRequestSource with configured ignore globs. The
- * resulting Layer requires the undecorated source, so callers provide their
- * real adapter beneath it. Metadata's changed-file total is reduced by the
- * ignored count: from the reviewer's perspective the ignored files do not
- * exist, and truncation reporting stays about the reviewer's own bound.
- */
-declare const ignoringPullRequestSourceLayer: (patterns: ReadonlyArray<string>) => Layer.Layer<PullRequestSource, never, PullRequestSource>;
-//#endregion
-//#region src/internal/logging.d.ts
-/** Everything one compact line is rendered from; pure and directly testable. */
-interface CompactLogRecord {
-  readonly date: Date;
-  readonly logLevel: LogLevel.LogLevel;
-  readonly message: unknown;
-  readonly annotations: Readonly<Record<string, unknown>>;
-  /** Pretty-rendered Cause, present only when the record carries one. */
-  readonly cause?: string | undefined;
-}
-/** Render one log record as a single compact console line. */
-declare const formatCompactLogLine: (record: CompactLogRecord) => string;
-/** The compact Logger; annotations come from the emitting fiber. */
-declare const compactReviewLogger: Logger.Logger<unknown, string>;
-/**
- * Install the compact console logger and the minimum level for one host run.
- * PR_REVIEW_LOG_LEVEL widens visibility (e.g. "Debug" shows the engine's
- * per-turn and per-handler telemetry); an unknown value fails loudly like
- * every other configuration fault.
- */
-declare const compactReviewLoggingLayer: Layer.Layer<never, Config.ConfigError>;
-//#endregion
-//#region src/internal/profiles.d.ts
-declare const PullRequestReviewerProfile_base: Schema.Class<PullRequestReviewerProfile, Schema.Struct<{
-  /** Ephemeral runtime: one bounded AgentRuntime.run per invocation. */
-  readonly deploymentClass: Schema.Literal<"E">;
-  /** Every model-callable tool is a read of the pull request; none mutate. */
-  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>;
-  /** Finding anchors are validated against the parsed diff before posting. */
-  readonly anchorsValidatedBeforePublication: Schema.Literal<true>;
-  /** The live profile is env-gated out of every ordinary test gate. */
-  readonly liveProfileOptIn: Schema.Literal<true>;
-  /** Never claimed at any phase (DUR-003). */
-  readonly exactlyOnceExternalEffects: Schema.Literal<false>;
+/** The provider-neutral input to one review pass. */
+declare class ReviewRequest extends ReviewRequest_base {}
+declare const ReviewSeverity: Schema.Literals<readonly ["blocking", "important", "nit"]>;
+type ReviewSeverity = typeof ReviewSeverity.Type;
+/** A model-claimed problem kind used only to label findings for readers. */
+declare const ReviewCategory: Schema.Literals<readonly ["correctness", "security", "concurrency", "performance", "resources", "reliability", "error-handling", "testing", "maintainability", "style", "docs"]>;
+type ReviewCategory = typeof ReviewCategory.Type;
+declare const ReviewFinding_base: Schema.Class<ReviewFinding, Schema.Struct<{
+  readonly path: Schema.NonEmptyString;
+  readonly line: Schema.optionalKey<Schema.Int>;
+  readonly severity: Schema.Literals<readonly ["blocking", "important", "nit"]>;
+  /** Presentation label only; it never changes review admission or failure policy. */
+  readonly category: Schema.Literals<readonly ["correctness", "security", "concurrency", "performance", "resources", "reliability", "error-handling", "testing", "maintainability", "style", "docs"]>;
+  readonly title: Schema.NonEmptyString;
+  readonly body: Schema.NonEmptyString;
 }>, {}>;
-/** The flat reviewer's committed capability claim. */
-declare class PullRequestReviewerProfile extends PullRequestReviewerProfile_base {}
-declare const pullRequestReviewerProfile: PullRequestReviewerProfile;
-declare const FanOutReviewerProfile_base: Schema.Class<FanOutReviewerProfile, Schema.Struct<{
-  /** Ephemeral runtime: bounded host-scheduled child runs per invocation. */
-  readonly deploymentClass: Schema.Literal<"E">;
-  /** 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>;
-  /** 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. */
-  readonly redundantHighRiskDiscovery: Schema.Literal<true>;
-  /** Only exact candidates confirmed by a fresh verifier child may publish. */
-  readonly independentCandidateVerification: Schema.Literal<true>;
-  /** No bounded model pipeline proves that a pull request is defect-free. */
-  readonly defectAbsenceProven: Schema.Literal<false>;
-  /** The live profile is env-gated out of every ordinary test gate. */
-  readonly liveProfileOptIn: Schema.Literal<true>;
-  /** Never claimed at any phase (DUR-003). */
-  readonly exactlyOnceExternalEffects: Schema.Literal<false>;
+/** One actionable defect. `line` is a RIGHT-side line in the supplied patch. */
+declare class ReviewFinding extends ReviewFinding_base {}
+declare const ReviewReport_base: Schema.Class<ReviewReport, Schema.Struct<{
+  readonly summary: Schema.NonEmptyString;
+  readonly findings: Schema.$Array<typeof ReviewFinding>;
 }>, {}>;
-/** The fan-out reviewer's committed capability claim, schema-first. */
-declare class FanOutReviewerProfile extends FanOutReviewerProfile_base {}
-declare const fanOutReviewerProfile: FanOutReviewerProfile;
-declare const LIVE_GATE_ENV = "EFFECT_AGENT_LIVE";
+/** The only model-authored output. An empty findings array is a successful review. */
+declare class ReviewReport extends ReviewReport_base {}
+declare const ReviewUsage_base: Schema.Class<ReviewUsage, Schema.Struct<{
+  readonly inputTokens: Schema.Natural;
+  readonly uncachedInputTokens: Schema.Natural;
+  readonly cachedInputTokens: Schema.Natural;
+  readonly cacheWriteInputTokens: Schema.Natural;
+  readonly outputTokens: Schema.Natural;
+  readonly estimatedCostMicrousd: Schema.optionalKey<Schema.Natural>;
+}>, {}>;
+declare class ReviewUsage extends ReviewUsage_base {}
+declare const ReviewOutcome_base: Schema.Class<ReviewOutcome, Schema.Struct<{
+  readonly report: typeof ReviewReport;
+  readonly turns: Schema.Natural;
+  readonly usage: typeof ReviewUsage;
+}>, {}>;
+declare class ReviewOutcome extends ReviewOutcome_base {}
+declare const reviewPolicy: AgentPolicy;
+declare const reviewBudgetLimits: UsageBudgetLimits;
+/** Return every RIGHT-side line on which GitHub can place a diff comment. */
+declare const commentableLines: (patch: string) => ReadonlySet<number>;
+declare const isCommentableLine: (patch: string, line: number) => boolean;
 /**
- * `EFFECT_AGENT_LIVE=1` plus the named credential is the only enabling
- * combination for live (network, billed) profiles.
+ * Treat model output as untrusted: remove unknown paths, demote invalid line
+ * anchors to top-level findings, and collapse exact duplicates.
  */
-declare const liveProfileEnabled: (env: Record<string, string | undefined>, credentialEnv: string) => boolean;
-//#endregion
-//#region src/internal/providers.d.ts
-declare const ReviewProvider: Schema.Literals<readonly ["openai", "anthropic"]>;
-type ReviewProvider = typeof ReviewProvider.Type;
-/** OpenAI Responses service tiers supported by the packaged reviewer. */
-declare const OpenAiServiceTier: Schema.Literal<"fast">;
-type OpenAiServiceTier = typeof OpenAiServiceTier.Type;
-declare const UnsupportedServiceTierProvider_base: Schema.Class<UnsupportedServiceTierProvider, Schema.TaggedStruct<"UnsupportedServiceTierProvider", {
-  readonly provider: Schema.Literals<readonly ["openai", "anthropic"]>;
-  readonly serviceTier: Schema.Literal<"fast">;
-}>, import("effect/Cause").YieldableError>;
-/** A provider-specific OpenAI tier was configured for another provider. */
-declare class UnsupportedServiceTierProvider extends UnsupportedServiceTierProvider_base {
-  get message(): string;
+declare const sanitizeReviewReport: (request: Pick<ReviewRequest, "changes">, report: ReviewReport) => ReviewReport;
+interface ReviewerOptions<Provider, ModelProvides, ModelRequires> {
+  readonly model: Model.Model<Provider, LanguageModel.LanguageModel | ModelProvides, ModelRequires>;
+  readonly guidance?: string | undefined;
+  readonly estimateCostMicrousd?: RunCostEstimator | undefined;
 }
-/** Reject an OpenAI-only service tier before constructing another provider's model. */
-declare const validateReviewServiceTier: (provider: "anthropic" | "openai", serviceTier: "fast" | undefined) => Effect.Effect<"fast" | undefined, UnsupportedServiceTierProvider, never>;
-declare const DEFAULT_PROVIDER: ReviewProvider;
-declare const DEFAULT_MODEL: Record<ReviewProvider, string>;
-declare const PROVIDER_CREDENTIAL_ENV: Record<ReviewProvider, string>;
-/**
- * Each provider's offered reasoning-effort ladder, cheapest first. The rungs
- * that turn reasoning off (`none`, `minimal`) are deliberately not offered —
- * no review run wants them. An `EffortPosition` resolves into the running
- * provider's own ladder, so the same stored position survives a provider or
- * model change.
- */
-declare const PROVIDER_EFFORT_RUNGS: {
-  readonly openai: readonly ["low", "medium", "high", "xhigh"];
-  readonly anthropic: readonly ["low", "medium", "high"];
+/** Build a provider-neutral reviewer. The returned `review` performs exactly one Run. */
+declare const makeReviewer: <Provider, ModelProvides, ModelRequires>(options: ReviewerOptions<Provider, ModelProvides, ModelRequires>) => {
+  readonly definition: import("effect-agent").Definition<typeof ReviewRequest, typeof ReviewReport, "Review the supplied pull-request diff once.\n\nReport only concrete correctness, security, reliability, or maintainability defects that the author should act on. Do not praise, restate the change, invent missing repository context, or ask for speculative cleanup. An empty findings array is valid.\n\nEvery finding must use an exact supplied path. Set line only to a RIGHT-side added or context line visible in that path's unified patch; otherwise omit line. Use blocking only for a defect that should prevent shipping. Classify each finding with the closest available category. Treat unreviewedPaths as unavailable scope and never imply that you inspected it. A changed file absent from changes may have been withheld by the host; never infer that it was not changed, and report only defects proven by the supplied patches." | `Review the supplied pull-request diff once.
+
+Report only concrete correctness, security, reliability, or maintainability defects that the author should act on. Do not praise, restate the change, invent missing repository context, or ask for speculative cleanup. An empty findings array is valid.
+
+Every finding must use an exact supplied path. Set line only to a RIGHT-side added or context line visible in that path's unified patch; otherwise omit line. Use blocking only for a defect that should prevent shipping. Classify each finding with the closest available category. Treat unreviewedPaths as unavailable scope and never imply that you inspected it. A changed file absent from changes may have been withheld by the host; never infer that it was not changed, and report only defects proven by the supplied patches.
+
+Repository guidance:
+${string}`, Toolkit.Toolkit<{}>, undefined>;
+  readonly binding: import("effect-agent").Binding<import("effect-agent").Definition<typeof ReviewRequest, typeof ReviewReport, "Review the supplied pull-request diff once.\n\nReport only concrete correctness, security, reliability, or maintainability defects that the author should act on. Do not praise, restate the change, invent missing repository context, or ask for speculative cleanup. An empty findings array is valid.\n\nEvery finding must use an exact supplied path. Set line only to a RIGHT-side added or context line visible in that path's unified patch; otherwise omit line. Use blocking only for a defect that should prevent shipping. Classify each finding with the closest available category. Treat unreviewedPaths as unavailable scope and never imply that you inspected it. A changed file absent from changes may have been withheld by the host; never infer that it was not changed, and report only defects proven by the supplied patches." | `Review the supplied pull-request diff once.
+
+Report only concrete correctness, security, reliability, or maintainability defects that the author should act on. Do not praise, restate the change, invent missing repository context, or ask for speculative cleanup. An empty findings array is valid.
+
+Every finding must use an exact supplied path. Set line only to a RIGHT-side added or context line visible in that path's unified patch; otherwise omit line. Use blocking only for a defect that should prevent shipping. Classify each finding with the closest available category. Treat unreviewedPaths as unavailable scope and never imply that you inspected it. A changed file absent from changes may have been withheld by the host; never infer that it was not changed, and report only defects proven by the supplied patches.
+
+Repository guidance:
+${string}`, Toolkit.Toolkit<{}>, undefined>, Model.Model<Provider, ModelProvides | LanguageModel.LanguageModel, ModelRequires>>;
+  readonly review: (request: ReviewRequest) => Effect.Effect<ReviewOutcome, import("effect-agent").AgentRuntimeFailure<import("effect-agent").RuntimeBinding<typeof ReviewRequest, typeof ReviewReport, "Review the supplied pull-request diff once.\n\nReport only concrete correctness, security, reliability, or maintainability defects that the author should act on. Do not praise, restate the change, invent missing repository context, or ask for speculative cleanup. An empty findings array is valid.\n\nEvery finding must use an exact supplied path. Set line only to a RIGHT-side added or context line visible in that path's unified patch; otherwise omit line. Use blocking only for a defect that should prevent shipping. Classify each finding with the closest available category. Treat unreviewedPaths as unavailable scope and never imply that you inspected it. A changed file absent from changes may have been withheld by the host; never infer that it was not changed, and report only defects proven by the supplied patches." | `Review the supplied pull-request diff once.
+
+Report only concrete correctness, security, reliability, or maintainability defects that the author should act on. Do not praise, restate the change, invent missing repository context, or ask for speculative cleanup. An empty findings array is valid.
+
+Every finding must use an exact supplied path. Set line only to a RIGHT-side added or context line visible in that path's unified patch; otherwise omit line. Use blocking only for a defect that should prevent shipping. Classify each finding with the closest available category. Treat unreviewedPaths as unavailable scope and never imply that you inspected it. A changed file absent from changes may have been withheld by the host; never infer that it was not changed, and report only defects proven by the supplied patches.
+
+Repository guidance:
+${string}`, {}, Provider, ModelProvides, ModelRequires, never, never, undefined>, import("effect-agent").BudgetAdapterError | import("effect-agent").BudgetExceeded, never>, Exclude<Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, IdGenerator>, import("effect/Scope").Scope>>;
 };
-/** One OpenAI review model binding with the package's structured-output settings. */
-declare const makeOpenAiReviewModel: (model?: string, effort?: EffortPosition, serviceTier?: OpenAiServiceTier) => import("effect/unstable/ai/Model").Model<"openai", import("effect/unstable/ai/LanguageModel").LanguageModel, OpenAiClient.OpenAiClient>;
-/** One Anthropic review model binding with the package's output settings. */
-declare const makeAnthropicReviewModel: (model?: string, effort?: EffortPosition) => import("effect/unstable/ai/Model").Model<"anthropic", import("effect/unstable/ai/LanguageModel").LanguageModel, AnthropicClient.AnthropicClient>;
-/**
- * The human-readable descriptor of one provider binding, e.g.
- * `openai/gpt-5.6-sol (effort high, service tier fast)`. Rendered into the review footer and
- * included in the changeset-fingerprint signature, so a provider, model, or
- * request-profile change re-reviews instead of skipping.
- */
-declare const describeReviewModel: (provider: ReviewProvider, model?: string, effort?: EffortPosition, serviceTier?: OpenAiServiceTier) => string;
-/** The OpenAI client Layer, credential from `OPENAI_API_KEY`. */
-declare const openAiClientLayer: Layer.Layer<OpenAiClient.OpenAiClient, Config.ConfigError, never>;
-/** The Anthropic client Layer, credential from `ANTHROPIC_API_KEY`. */
-declare const anthropicClientLayer: Layer.Layer<AnthropicClient.AnthropicClient, Config.ConfigError, never>;
 //#endregion
-export { AGENT_PROMPT_PREAMBLE, AUTHORIZED_ADJUDICATION_ASSOCIATIONS, AdjudicableThread, AdjudicationComment, AdjudicationDisposition, CandidateAssessment, CarriedScope, ChangedFile, ChangedFileStatus, ChangedFileSummary, ChangedFilesView, ChangedPath, CodeReview, CompactLogRecord, ConcernCandidate, DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN, DEFAULT_MODEL, DEFAULT_PROVIDER, DerivedAdjudications, DiscoveredConcern, EFFORT_ALIASES, EffortAliasName, EffortPosition, ExecuteReviewOptions, FINGERPRINT_MARKER_LENGTH, FailedReviewPass, FanOutInstructionOptions, FanOutPipelineInput, FanOutPipelineOutcome, FanOutReviewerProfile, FileDiffQuery, FileDiffView, FileReviewBrief, FileReviewEvidence, FileReviewEvidenceChunk, FileReviewReport, FileReviewToolkit, FileReviewer, FileReviewerBinding, FileSlice, FileSliceQuery, FindingCandidate, FindingCategory, FindingSeverity, FlatReviewAssessment, GitCommitSha, GitHubApiFailure, GitHubEventWire, GitHubReviewTarget, INLINE_FINDING_TITLE_PATTERN, InvalidEffortInput, LIVE_GATE_ENV, ListChangedFiles, ListChangedFilesQuery, MAX_CHANGED_FILES, MAX_CHILD_CONCERNS, MAX_CHILD_FINDINGS, MAX_CONCERNS, MAX_FILE_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_ADJUDICATIONS, MAX_STORED_UNREVIEWED_PASSES, MAX_STORED_UNREVIEWED_PATHS, MAX_THREAD_ADJUDICATION_COMMANDS, MAX_TREE_COMPARISON_PATHS, MAX_UNIT_CANDIDATES, MAX_UNIT_EVIDENCE_SHARDS, MAX_UNIT_FILES, MAX_WALKTHROUGH_ENTRIES, MAX_WALKTHROUGH_SUMMARY_CHARS, OpenAiServiceTier, PROGRESS_COMMENT_MARKER_PREFIX, PROVIDER_CREDENTIAL_ENV, PROVIDER_EFFORT_RUNGS, ParsedAdjudicationCommand, PatchLine, PrReview, PrReviewFanOutOptions, PrReviewOptions, PrReviewSharedOptions, PriorReviewContext, PriorReviewLookupFailure, PriorReviews, ProgressClaim, PublishedReview, PullRequestMetadata, PullRequestReviewer, PullRequestReviewerProfile, PullRequestSource, PullRequestSourceFailure, REVIEW_TOOL_RESULT_MAX_BYTES, REVIEW_UNIT_CONCURRENCY, ReadFile, ReadFileDiff, ResolvedReviewTarget, RetirableReview, RetirableReviewComment, ReviewAdjudicationFailure, ReviewAdjudicationHost, ReviewAssurance, ReviewCandidate, ReviewCandidateId, ReviewCommentDraft, ReviewConcern, 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, ReviewTreeComparison, ReviewUnit, ReviewUnitId, ReviewUnitPlan, ReviewVerdict, ReviewWorkPerspective, ReviewWorkPhase, RunReviewOptions, StoredAdjudication, StoredReviewConcern, StoredReviewFinding, StoredUnreviewedPass, UNIT_EVIDENCE_CHAR_BUDGET, UnreviewedStage, UnsupportedServiceTierProvider, WalkthroughEntry, adjudicationIdentity, anchorViolation, annotatePatch, anthropicClientLayer, assessFlatReview, assessmentSettlesSuggestionExactly, boundedListReason, buildPriorReviewContext, buildProfileMission, buildReviewMission, clampMaxFindings, classifyReviewRisks, collectReviewAdjudications, commentableLines, compactReviewLogger, compactReviewLoggingLayer, compileIgnoreGlobs, computeChangesetFingerprint, computeProfileFingerprint, concernIdentity, confirmedFindingForPublication, decideReviewRetirement, defaultFileReviewerPolicy, defaultReviewPolicy, deriveAdjudications, describeReviewModel, enforceFindingsBound, estimateReviewEffort, executeFanOutReview, executeReview, extractFingerprint, fanOutInputCoverage, fanOutReviewBudgetLimits, fanOutReviewerProfile, fileDiffView, fileReviewEvidenceChunks, fileReviewerInstructions, findingAnchorInUnitEvidence, findingIdentity, fingerprintUnchanged, flatAssurance, formatCompactLogLine, fromStoredConcern, fromStoredFinding, fullReviewExecutionContextLayer, fullReviewSelection, gitHubPriorReviewsLayer, gitHubPullRequestSourceLayer, gitHubReviewAdjudicationHostLayer, gitHubReviewLayers, gitHubReviewProgressLayer, gitHubReviewPublisherLayer, gitHubReviewRetirementHostLayer, hasReviewMetadataMarker, hasReviewableContent, ignoringPullRequestSourceLayer, isEffortPosition, isLineageAncestor, isReviewableFile, listChangedFilesHandler, liveProfileEnabled, makeAnthropicReviewModel, makeFileReviewerDefinition, makeFileReviewerInstructions, makeOpenAiReviewModel, makeReviewInstructions, mergeAdjudications, noReviewAdjudicationHost, noReviewAdjudicationHostLayer, noopReviewProgressReporterLayer, normalizeRepoRelativePath, openAiClientLayer, parseEffortPosition, parseGitHubSubmittedAt, parseIssueAdjudication, parsePatch, parseProgressClaim, parseThreadAdjudication, planPublication, planReviewUnits, planWalkthrough, pullRequestReviewerProfile, rankAndDedupeConcerns, rankAndDedupeFindings, readFileDiffHandler, readFileHandler, readGitHubEvent, renderAdjudicationContextLine, renderAgentPrompt, renderFingerprintMarker, renderPriorFindingContextLine, renderProgressBeginBody, renderProgressClaimMarker, renderProgressSettleBody, renderReviewContent, resolveEffortRung, resolveGuidance, resolveReviewTarget, retireStaleReviews, reviewBudgetLimits, reviewCandidateSubjectKey, reviewConcernKey, reviewInstructions, runFanOutReview, selectReviewRange, selectedPullRequestSourceLayer, splitCarriedScope, threadFindingTarget, toStoredConcern, toStoredFinding, unavailableReviewStateAuthenticatorLayer, validateReviewServiceTier, validateReviewState, webCryptoReviewStateAuthenticatorLayer };
+export { ReviewCategory, ReviewChange, ReviewFinding, ReviewOutcome, ReviewReport, ReviewRequest, ReviewSeverity, ReviewUsage, ReviewerOptions, type RunCostEstimator, commentableLines, isCommentableLine, makeReviewer, reviewBudgetLimits, reviewPolicy, sanitizeReviewReport };
 //# sourceMappingURL=index.d.mts.map