@effect-agent/pr-review 0.1.0-beta.25 → 0.1.0-beta.27

package/dist/{fan-out-CMEsbFLk.d.mts → fan-out-C3yG1cx3.d.mts}

@@ -462,14 +462,14 @@ declare const adjudicationIdentity: (adjudication: StoredAdjudication) => string
 declare const MAX_STORED_UNREVIEWED_PATHS = 100;
 /** Failed-pass records stored beside the leftover paths; one per unit stage. */
 declare const MAX_STORED_UNREVIEWED_PASSES = 24;
-/** Stages a leftover path may need retried without a second general discovery. */
+/** Stages a leftover path may need retried on the next incremental run. */
 declare const UnreviewedStage: Schema.Literals<readonly ["discovery", "specialist", "verification"]>;
 type UnreviewedStage = typeof UnreviewedStage.Type;
 declare const StoredUnreviewedPass_base: Schema.Class<StoredUnreviewedPass, Schema.Struct<{
   readonly stage: Schema.Literals<readonly ["discovery", "specialist", "verification"]>;
   readonly paths: Schema.$Array<Schema.NonEmptyString>;
 }>, {}>;
-/** One failed fan-out pass whose paths should be retried, not rediscovered. */
+/** One failed fan-out pass whose stage remains attached to its exact paths. */
 declare class StoredUnreviewedPass extends StoredUnreviewedPass_base {}
 declare const ReviewState_base: Schema.Class<ReviewState, Schema.Struct<{
   readonly version: Schema.Literal<1>;
@@ -551,6 +551,20 @@ declare const ReviewHeadComparison_base: Schema.Class<ReviewHeadComparison, Sche
 }>, {}>;
 /** The bounded result of GitHub's previous-head...current-head comparison. */
 declare class ReviewHeadComparison extends ReviewHeadComparison_base {}
+/**
+ * Current and previous paths for 300 PR files plus bounded stored continuity
+ * paths. The live adapter refuses a larger snapshot-comparison request.
+ */
+declare const MAX_TREE_COMPARISON_PATHS = 750;
+declare const ReviewTreeComparison_base: Schema.Class<ReviewTreeComparison, Schema.Struct<{
+  readonly baseSha: Schema.NonEmptyString;
+  readonly headSha: Schema.NonEmptyString;
+  readonly changedPaths: Schema.$Array<Schema.NonEmptyString>;
+  /** True when GitHub returned either recursive tree incompletely. */
+  readonly truncated: Schema.Boolean;
+}>, {}>;
+/** A direct comparison of two complete commit tree snapshots. */
+declare class ReviewTreeComparison extends ReviewTreeComparison_base {}
 /** Internal review selection applied as a decorator over the full PR source. */
 interface ReviewSelection {
   readonly mode: ReviewScopeMode;
@@ -559,9 +573,12 @@ interface ReviewSelection {
   /** Paths whose changes invalidate prior findings, including paths reverted out of the PR. */
   readonly affectedPaths: ReadonlyArray<string>;
   /**
-   * Leftover paths whose contents did not change. Fan-out retries only the
-   * recorded failed stages on these paths and keeps their stored findings.
+   * Failed stages attached to the unchanged paths that own them. Verification
+   * retries reopen discovery for only their paths because candidates are not
+   * persisted in review state.
    */
+  readonly retryPasses?: ReadonlyArray<StoredUnreviewedPass>;
+  /** Flattened summaries retained for diagnostics and compatibility. */
   readonly retryPaths: ReadonlyArray<string>;
   readonly retryStages: ReadonlyArray<UnreviewedStage>;
   readonly totalFiles: number;
@@ -596,11 +613,12 @@ declare const selectReviewRange: (input: {
   readonly comparison: ReviewHeadComparison | undefined;
   readonly baseComparison?: ReviewHeadComparison | undefined;
   /**
-   * Two-dot tree comparison used when the reviewed head is not a git ancestor
-   * (rebase, amend, force-push). Intersected with the current PR path set so
-   * main-drift outside the pull request never re-enters scope.
+   * Direct commit-tree snapshot comparison used when the reviewed head is not
+   * a git ancestor. Selection hydrates these paths from the current PR files.
    */
-  readonly contentComparison?: ReviewHeadComparison | undefined;
+  readonly contentComparison?: ReviewTreeComparison | undefined;
+  /** Why the direct snapshot comparison could not produce complete evidence. */
+  readonly contentComparisonFailure?: string | undefined;
   readonly lookupFailure?: string | undefined;
 }) => ReviewSelection;
 declare const ReviewExecutionContext_base: Context.ServiceClass<ReviewExecutionContext, "@effect-agent/pr-review/ReviewExecutionContext", ReviewSelection>;
@@ -1280,11 +1298,11 @@ declare const PriorReviews_base: Context.ServiceClass<PriorReviews, "@effect-age
   /** Compare a previously reviewed head to the live current head. */
   readonly compareHeads: (baseSha: string, headSha: string) => Effect.Effect<ReviewHeadComparison, PriorReviewLookupFailure>;
   /**
-   * Two-dot tree comparison (`base..head`). Used when the reviewed head is
-   * not a git ancestor so a rebase or amend can still name the paths whose
-   * blob contents actually changed.
+   * Compare complete commit tree snapshots for a bounded path allowlist.
+   * Used when the reviewed head is not a git ancestor after a rebase,
+   * amend, or force-push.
    */
-  readonly compareTrees: (baseSha: string, headSha: string) => Effect.Effect<ReviewHeadComparison, PriorReviewLookupFailure>;
+  readonly compareTrees: (baseSha: string, headSha: string, paths: ReadonlyArray<string>) => Effect.Effect<ReviewTreeComparison, PriorReviewLookupFailure>;
 }>;
 /**
  * Read-only view of this package's previously posted reviews on the target
@@ -1465,12 +1483,19 @@ interface FanOutPipelineInput {
   /** Shared run budget observed by every child pass. */
   readonly budget?: RunBudgetHook<BudgetExceeded | BudgetAdapterError> | undefined;
   /**
-   * Unchanged leftover paths from a prior failed pass. Those units retry only
-   * the recorded stages — no second general discovery on files nobody touched.
+   * Unchanged leftovers from prior failed passes. Every stage stays attached
+   * to its own paths; failed verification reopens both discovery perspectives
+   * for only those paths because candidate payloads are not persisted.
    */
   readonly retry?: {
-    readonly paths: ReadonlyArray<string>;
-    readonly stages: ReadonlyArray<FailedReviewPass["stage"]>;
+    readonly passes?: ReadonlyArray<{
+      readonly stage: FailedReviewPass["stage"];
+      readonly paths: ReadonlyArray<string>;
+    }>;
+    /** @deprecated Pass path-bound `passes`; this flat form cannot preserve ownership. */
+    readonly paths?: ReadonlyArray<string>;
+    /** @deprecated Pass path-bound `passes`; this flat form cannot preserve ownership. */
+    readonly stages?: ReadonlyArray<FailedReviewPass["stage"]>;
   } | undefined;
   /**
    * Adjudicated identities and prior-round findings injected as discovery
@@ -1491,11 +1516,11 @@ declare const runFanOutReview: <Provider, ModelProvides, ModelRequires>(binding:
   plan: ReviewUnitPlan;
   unreviewedPaths: string[];
   unreviewedPasses: {
-    stage: "discovery" | "specialist" | "verification";
-    paths: readonly string[];
+    readonly stage: FailedReviewPass["stage"];
+    readonly paths: ReadonlyArray<string>;
   }[];
   turns: number;
 }, never, import("effect-agent").IdGenerator | Exclude<Exclude<ModelRequires, import("effect-agent").EngineProvidedToolServices>, import("effect/Scope").Scope>>;
 //#endregion
-export { ReviewRetirementInput as $, FileSlice as $n, buildPriorReviewContext as $t, makeFileReviewerInstructions as A, UnreviewedStage as An, readFileHandler as Ar, ReviewEvidenceShardId as At, fingerprintUnchanged as B, selectReviewRange as Bn, ChangedFile as Br, rankAndDedupeConcerns as Bt, ReviewWorkPerspective as C, ReviewStateAuthenticator as Cn, clampMaxFindings as Cr, MAX_REPORTED_UNASSIGNED_EVIDENCE_SHARDS as Ct, defaultFileReviewerPolicy as D, StoredReviewConcern as Dn, listChangedFilesHandler as Dr, ReviewDiscoveryPass as Dt, confirmedFindingForPublication as E, StoredAdjudication as En, fileReviewEvidenceChunks as Er, MAX_UNIT_FILES as Et, GitHubReviewTarget as F, fromStoredConcern as Fn, PullRequestMetadata as Fr, ReviewUnitPlan as Ft, gitHubReviewRetirementHostLayer as G, validateReviewState as Gn, annotatePatch as Gr, AdjudicableThread as Gt, gitHubPullRequestSourceLayer as H, toStoredConcern as Hn, ChangedPath as Hr, reviewConcernKey as Ht, PriorReviewLookupFailure as I, fromStoredFinding as In, PullRequestSource as Ir, UNIT_EVIDENCE_CHAR_BUDGET as It, RetirableReview as J, ChangedFilesView as Jn, isReviewableFile as Jr, MAX_THREAD_ADJUDICATION_COMMANDS as Jt, parseGitHubSubmittedAt as K, webCryptoReviewStateAuthenticatorLayer as Kn, commentableLines as Kr, AdjudicationComment as Kt, PriorReviews as L, fullReviewExecutionContextLayer as Ln, PullRequestSourceFailure as Lr, classifyReviewRisks as Lt, runFanOutReview as M, buildProfileMission as Mn, reviewInstructions as Mr, ReviewRiskCategory as Mt, DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN as N, concernIdentity as Nn, MAX_CHANGED_FILES as Nr, ReviewUnit as Nt, fileReviewerInstructions as O, StoredReviewFinding as On, makeReviewInstructions as Or, ReviewDiscoveryPerspective as Ot, GitHubApiFailure as P, findingIdentity as Pn, MAX_FILE_CHARS as Pr, ReviewUnitId as Pt, ReviewRetirementHost as Q, FileReviewEvidenceChunk as Qn, ReviewAdjudicationHost as Qt, PublishedReview as R, fullReviewSelection as Rn, ReviewInputViolation as Rr, findingAnchorInUnitEvidence as Rt, ReviewPassMisbehaved as S, ReviewStateAuthenticationFailure as Sn, WalkthroughEntry as Sr, MAX_MERGED_FINDINGS as St, assessmentSettlesSuggestionExactly as T, ReviewStateMarkerTooLarge as Tn, fileDiffView as Tr, MAX_UNIT_EVIDENCE_SHARDS as Tt, gitHubReviewAdjudicationHostLayer as U, toStoredFinding as Un, MAX_REVIEW_CONTENT_CHARS as Ur, anchorViolation as Ut, gitHubPriorReviewsLayer as V, selectedPullRequestSourceLayer as Vn, ChangedFileStatus as Vr, rankAndDedupeFindings as Vt, gitHubReviewPublisherLayer as W, unavailableReviewStateAuthenticatorLayer as Wn, PatchLine as Wr, AUTHORIZED_ADJUDICATION_ASSOCIATIONS as Wt, ReviewRetirementDecision as X, FileDiffQuery as Xn, renderReviewContent as Xr, PriorReviewContext as Xt, RetirableReviewComment as Y, CodeReview as Yn, parsePatch as Yr, ParsedAdjudicationCommand as Yt, ReviewRetirementFailure as Z, FileDiffView as Zn, ReviewAdjudicationFailure as Zt, MAX_REVIEW_CHILDREN as _, ReviewHeadComparison as _n, ReviewInstructionOptions as _r, assessFlatReview as _t, FanOutPipelineInput as a, parseIssueAdjudication as an, MAX_CONCERNS as ar, ReviewCommentDraft as at, ReviewCandidate as b, ReviewSelection as bn, ReviewToolkitLayer as br, flatAssurance as bt, FileReviewEvidence as c, renderPriorFindingContextLine as cn, MAX_WALKTHROUGH_ENTRIES as cr, estimateReviewEffort as ct, FileReviewer as d, GitCommitSha as dn, REVIEW_TOOL_RESULT_MAX_BYTES as dr, renderAgentPrompt as dt, collectReviewAdjudications as en, FileSliceQuery as er, ReviewRetirementReport as et, FileReviewerBinding as f, MAX_REVIEW_STATE_MARKER_CHARS as fn, ReadFile as fr, CarriedScope as ft, MAX_FILE_REVIEW_TOOL_CALLS as g, ReviewExecutionContext as gn, ReviewGuidance as gr, ReviewInputCoverage as gt, MAX_CHILD_FINDINGS as h, MAX_STORED_UNREVIEWED_PATHS as hn, ReviewFinding as hr, ReviewAssurance as ht, FanOutInstructionOptions as i, noReviewAdjudicationHostLayer as in, ListChangedFilesQuery as ir, AGENT_PROMPT_PREAMBLE as it, reviewCandidateSubjectKey as j, adjudicationIdentity as jn, resolveGuidance as jr, ReviewPassId as jt, makeFileReviewerDefinition as k, StoredUnreviewedPass as kn, readFileDiffHandler as kr, ReviewEvidenceShard as kt, FileReviewReport as l, threadFindingTarget as ln, MAX_WALKTHROUGH_SUMMARY_CHARS as lr, planPublication as lt, MAX_CHILD_CONCERNS as m, MAX_STORED_UNREVIEWED_PASSES as mn, ReviewConcern as mr, FlatReviewAssessment as mt, ConcernCandidate as n, mergeAdjudications as nn, FindingSeverity as nr, hasReviewMetadataMarker as nt, FanOutPipelineOutcome as o, parseThreadAdjudication as on, MAX_FINDINGS as or, ReviewEvent as ot, FindingCandidate as p, MAX_STORED_ADJUDICATIONS as pn, ReadFileDiff as pr, FailedReviewPass as pt, INLINE_FINDING_TITLE_PATTERN as q, ChangedFileSummary as qn, hasReviewableContent as qr, DerivedAdjudications as qt, DiscoveredConcern as r, noReviewAdjudicationHost as rn, ListChangedFiles as rr, retireStaleReviews as rt, FileReviewBrief as s, renderAdjudicationContextLine as sn, MAX_PATCH_CHARS as sr, ReviewPublicationPlan as st, CandidateAssessment as t, deriveAdjudications as tn, FindingCategory as tr, decideReviewRetirement as tt, FileReviewToolkit as u, AdjudicationDisposition as un, PullRequestReviewer as ur, planWalkthrough as ut, MAX_UNIT_CANDIDATES as v, ReviewMode as vn, ReviewMission as vr, boundedListReason as vt, ReviewWorkPhase as w, ReviewStateMarker as wn, defaultReviewPolicy as wr, MAX_REVIEW_UNITS as wt, ReviewCandidateId as x, ReviewState as xn, ReviewVerdict as xr, splitCarriedScope as xt, REVIEW_UNIT_CONCURRENCY as y, ReviewScopeMode as yn, ReviewToolkit as yr, fanOutInputCoverage as yt, ReviewPublisher as z, isLineageAncestor as zn, normalizeRepoRelativePath as zr, planReviewUnits as zt };
-//# sourceMappingURL=fan-out-CMEsbFLk.d.mts.map
+export { ReviewRetirementInput as $, FileDiffView as $n, buildPriorReviewContext as $t, makeFileReviewerInstructions as A, StoredReviewFinding as An, makeReviewInstructions as Ar, ReviewEvidenceShardId as At, fingerprintUnchanged as B, fullReviewSelection as Bn, ReviewInputViolation as Br, rankAndDedupeConcerns as Bt, ReviewWorkPerspective as C, ReviewStateAuthenticationFailure as Cn, ReviewVerdict as Cr, MAX_REPORTED_UNASSIGNED_EVIDENCE_SHARDS as Ct, defaultFileReviewerPolicy as D, ReviewTreeComparison as Dn, fileDiffView as Dr, ReviewDiscoveryPass as Dt, confirmedFindingForPublication as E, ReviewStateMarkerTooLarge as En, defaultReviewPolicy as Er, MAX_UNIT_FILES as Et, GitHubReviewTarget as F, concernIdentity as Fn, MAX_CHANGED_FILES as Fr, ReviewUnitPlan as Ft, gitHubReviewRetirementHostLayer as G, toStoredFinding as Gn, MAX_REVIEW_CONTENT_CHARS as Gr, AdjudicableThread as Gt, gitHubPullRequestSourceLayer as H, selectReviewRange as Hn, ChangedFile as Hr, reviewConcernKey as Ht, PriorReviewLookupFailure as I, findingIdentity as In, MAX_FILE_CHARS as Ir, UNIT_EVIDENCE_CHAR_BUDGET as It, RetirableReview as J, webCryptoReviewStateAuthenticatorLayer as Jn, commentableLines as Jr, MAX_THREAD_ADJUDICATION_COMMANDS as Jt, parseGitHubSubmittedAt as K, unavailableReviewStateAuthenticatorLayer as Kn, PatchLine as Kr, AdjudicationComment as Kt, PriorReviews as L, fromStoredConcern as Ln, PullRequestMetadata as Lr, classifyReviewRisks as Lt, runFanOutReview as M, UnreviewedStage as Mn, readFileHandler as Mr, ReviewRiskCategory as Mt, DEFAULT_GITHUB_REVIEW_AUTHOR_LOGIN as N, adjudicationIdentity as Nn, resolveGuidance as Nr, ReviewUnit as Nt, fileReviewerInstructions as O, StoredAdjudication as On, fileReviewEvidenceChunks as Or, ReviewDiscoveryPerspective as Ot, GitHubApiFailure as P, buildProfileMission as Pn, reviewInstructions as Pr, ReviewUnitId as Pt, ReviewRetirementHost as Q, FileDiffQuery as Qn, renderReviewContent as Qr, ReviewAdjudicationHost as Qt, PublishedReview as R, fromStoredFinding as Rn, PullRequestSource as Rr, findingAnchorInUnitEvidence as Rt, ReviewPassMisbehaved as S, ReviewState as Sn, ReviewToolkitLayer as Sr, MAX_MERGED_FINDINGS as St, assessmentSettlesSuggestionExactly as T, ReviewStateMarker as Tn, clampMaxFindings as Tr, MAX_UNIT_EVIDENCE_SHARDS as Tt, gitHubReviewAdjudicationHostLayer as U, selectedPullRequestSourceLayer as Un, ChangedFileStatus as Ur, anchorViolation as Ut, gitHubPriorReviewsLayer as V, isLineageAncestor as Vn, normalizeRepoRelativePath as Vr, rankAndDedupeFindings as Vt, gitHubReviewPublisherLayer as W, toStoredConcern as Wn, ChangedPath as Wr, AUTHORIZED_ADJUDICATION_ASSOCIATIONS as Wt, ReviewRetirementDecision as X, ChangedFilesView as Xn, isReviewableFile as Xr, PriorReviewContext as Xt, RetirableReviewComment as Y, ChangedFileSummary as Yn, hasReviewableContent as Yr, ParsedAdjudicationCommand as Yt, ReviewRetirementFailure as Z, CodeReview as Zn, parsePatch as Zr, ReviewAdjudicationFailure as Zt, MAX_REVIEW_CHILDREN as _, ReviewExecutionContext as _n, ReviewFinding as _r, assessFlatReview as _t, FanOutPipelineInput as a, parseIssueAdjudication as an, ListChangedFiles as ar, ReviewCommentDraft as at, ReviewCandidate as b, ReviewScopeMode as bn, ReviewMission as br, flatAssurance as bt, FileReviewEvidence as c, renderPriorFindingContextLine as cn, MAX_FINDINGS as cr, estimateReviewEffort as ct, FileReviewer as d, GitCommitSha as dn, MAX_WALKTHROUGH_SUMMARY_CHARS as dr, renderAgentPrompt as dt, collectReviewAdjudications as en, FileReviewEvidenceChunk as er, ReviewRetirementReport as et, FileReviewerBinding as f, MAX_REVIEW_STATE_MARKER_CHARS as fn, PullRequestReviewer as fr, CarriedScope as ft, MAX_FILE_REVIEW_TOOL_CALLS as g, MAX_TREE_COMPARISON_PATHS as gn, ReviewConcern as gr, ReviewInputCoverage as gt, MAX_CHILD_FINDINGS as h, MAX_STORED_UNREVIEWED_PATHS as hn, ReadFileDiff as hr, ReviewAssurance as ht, FanOutInstructionOptions as i, noReviewAdjudicationHostLayer as in, FindingSeverity as ir, AGENT_PROMPT_PREAMBLE as it, reviewCandidateSubjectKey as j, StoredUnreviewedPass as jn, readFileDiffHandler as jr, ReviewPassId as jt, makeFileReviewerDefinition as k, StoredReviewConcern as kn, listChangedFilesHandler as kr, ReviewEvidenceShard as kt, FileReviewReport as l, threadFindingTarget as ln, MAX_PATCH_CHARS as lr, planPublication as lt, MAX_CHILD_CONCERNS as m, MAX_STORED_UNREVIEWED_PASSES as mn, ReadFile as mr, FlatReviewAssessment as mt, ConcernCandidate as n, mergeAdjudications as nn, FileSliceQuery as nr, hasReviewMetadataMarker as nt, FanOutPipelineOutcome as o, parseThreadAdjudication as on, ListChangedFilesQuery as or, ReviewEvent as ot, FindingCandidate as p, MAX_STORED_ADJUDICATIONS as pn, REVIEW_TOOL_RESULT_MAX_BYTES as pr, FailedReviewPass as pt, INLINE_FINDING_TITLE_PATTERN as q, validateReviewState as qn, annotatePatch as qr, DerivedAdjudications as qt, DiscoveredConcern as r, noReviewAdjudicationHost as rn, FindingCategory as rr, retireStaleReviews as rt, FileReviewBrief as s, renderAdjudicationContextLine as sn, MAX_CONCERNS as sr, ReviewPublicationPlan as st, CandidateAssessment as t, deriveAdjudications as tn, FileSlice as tr, decideReviewRetirement as tt, FileReviewToolkit as u, AdjudicationDisposition as un, MAX_WALKTHROUGH_ENTRIES as ur, planWalkthrough as ut, MAX_UNIT_CANDIDATES as v, ReviewHeadComparison as vn, ReviewGuidance as vr, boundedListReason as vt, ReviewWorkPhase as w, ReviewStateAuthenticator as wn, WalkthroughEntry as wr, MAX_REVIEW_UNITS as wt, ReviewCandidateId as x, ReviewSelection as xn, ReviewToolkit as xr, splitCarriedScope as xt, REVIEW_UNIT_CONCURRENCY as y, ReviewMode as yn, ReviewInstructionOptions as yr, fanOutInputCoverage as yt, ReviewPublisher as z, fullReviewExecutionContextLayer as zn, PullRequestSourceFailure as zr, planReviewUnits as zt };
+//# sourceMappingURL=fan-out-C3yG1cx3.d.mts.map