pulseed 0.5.2 → 0.5.4

package/dist/tools/query/CodeReadContextTool/CodeReadContextTool.d.ts

@@ -0,0 +1,801 @@
+import { z } from "zod";
+import type { ITool, PermissionCheckResult, ToolCallContext, ToolMetadata, ToolResult } from "../../types.js";
+export declare const CodeReadContextInputSchema: z.ZodObject<{
+    candidates: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        file: z.ZodString;
+        range: z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+            startByte: z.ZodOptional<z.ZodNumber>;
+            endByte: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+            startByte?: number | undefined;
+            endByte?: number | undefined;
+        }, {
+            startLine: number;
+            endLine: number;
+            startByte?: number | undefined;
+            endByte?: number | undefined;
+        }>;
+        symbol: z.ZodOptional<z.ZodObject<{
+            name: z.ZodString;
+            kind: z.ZodString;
+            signature: z.ZodOptional<z.ZodString>;
+            stableKey: z.ZodOptional<z.ZodString>;
+            enclosing: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            kind: string;
+            signature?: string | undefined;
+            stableKey?: string | undefined;
+            enclosing?: string[] | undefined;
+        }, {
+            name: string;
+            kind: string;
+            signature?: string | undefined;
+            stableKey?: string | undefined;
+            enclosing?: string[] | undefined;
+        }>>;
+        package: z.ZodOptional<z.ZodObject<{
+            name: z.ZodString;
+            root: z.ZodString;
+            distanceFromTaskScope: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            root: string;
+            distanceFromTaskScope?: number | undefined;
+        }, {
+            name: string;
+            root: string;
+            distanceFromTaskScope?: number | undefined;
+        }>>;
+        preview: z.ZodString;
+        signals: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        ranks: z.ZodObject<{
+            retrieverRanks: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            finalRank: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            retrieverRanks: Record<string, number>;
+            finalRank?: number | undefined;
+        }, {
+            retrieverRanks: Record<string, number>;
+            finalRank?: number | undefined;
+        }>;
+        penalties: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        reasons: z.ZodArray<z.ZodString, "many">;
+        sourceRetrievers: z.ZodArray<z.ZodString, "many">;
+        indexVersion: z.ZodString;
+        indexedAt: z.ZodNumber;
+        fileHashAtIndex: z.ZodString;
+        currentFileHash: z.ZodOptional<z.ZodString>;
+        rrfScore: z.ZodNumber;
+        rerankScore: z.ZodNumber;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        readRecommendation: z.ZodEnum<["read_now", "read_if_needed", "reference_only", "avoid_edit"]>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        id: z.ZodString;
+        file: z.ZodString;
+        range: z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+            startByte: z.ZodOptional<z.ZodNumber>;
+            endByte: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+            startByte?: number | undefined;
+            endByte?: number | undefined;
+        }, {
+            startLine: number;
+            endLine: number;
+            startByte?: number | undefined;
+            endByte?: number | undefined;
+        }>;
+        symbol: z.ZodOptional<z.ZodObject<{
+            name: z.ZodString;
+            kind: z.ZodString;
+            signature: z.ZodOptional<z.ZodString>;
+            stableKey: z.ZodOptional<z.ZodString>;
+            enclosing: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            kind: string;
+            signature?: string | undefined;
+            stableKey?: string | undefined;
+            enclosing?: string[] | undefined;
+        }, {
+            name: string;
+            kind: string;
+            signature?: string | undefined;
+            stableKey?: string | undefined;
+            enclosing?: string[] | undefined;
+        }>>;
+        package: z.ZodOptional<z.ZodObject<{
+            name: z.ZodString;
+            root: z.ZodString;
+            distanceFromTaskScope: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            root: string;
+            distanceFromTaskScope?: number | undefined;
+        }, {
+            name: string;
+            root: string;
+            distanceFromTaskScope?: number | undefined;
+        }>>;
+        preview: z.ZodString;
+        signals: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        ranks: z.ZodObject<{
+            retrieverRanks: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            finalRank: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            retrieverRanks: Record<string, number>;
+            finalRank?: number | undefined;
+        }, {
+            retrieverRanks: Record<string, number>;
+            finalRank?: number | undefined;
+        }>;
+        penalties: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        reasons: z.ZodArray<z.ZodString, "many">;
+        sourceRetrievers: z.ZodArray<z.ZodString, "many">;
+        indexVersion: z.ZodString;
+        indexedAt: z.ZodNumber;
+        fileHashAtIndex: z.ZodString;
+        currentFileHash: z.ZodOptional<z.ZodString>;
+        rrfScore: z.ZodNumber;
+        rerankScore: z.ZodNumber;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        readRecommendation: z.ZodEnum<["read_now", "read_if_needed", "reference_only", "avoid_edit"]>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        id: z.ZodString;
+        file: z.ZodString;
+        range: z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+            startByte: z.ZodOptional<z.ZodNumber>;
+            endByte: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+            startByte?: number | undefined;
+            endByte?: number | undefined;
+        }, {
+            startLine: number;
+            endLine: number;
+            startByte?: number | undefined;
+            endByte?: number | undefined;
+        }>;
+        symbol: z.ZodOptional<z.ZodObject<{
+            name: z.ZodString;
+            kind: z.ZodString;
+            signature: z.ZodOptional<z.ZodString>;
+            stableKey: z.ZodOptional<z.ZodString>;
+            enclosing: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            kind: string;
+            signature?: string | undefined;
+            stableKey?: string | undefined;
+            enclosing?: string[] | undefined;
+        }, {
+            name: string;
+            kind: string;
+            signature?: string | undefined;
+            stableKey?: string | undefined;
+            enclosing?: string[] | undefined;
+        }>>;
+        package: z.ZodOptional<z.ZodObject<{
+            name: z.ZodString;
+            root: z.ZodString;
+            distanceFromTaskScope: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            root: string;
+            distanceFromTaskScope?: number | undefined;
+        }, {
+            name: string;
+            root: string;
+            distanceFromTaskScope?: number | undefined;
+        }>>;
+        preview: z.ZodString;
+        signals: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        ranks: z.ZodObject<{
+            retrieverRanks: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            finalRank: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            retrieverRanks: Record<string, number>;
+            finalRank?: number | undefined;
+        }, {
+            retrieverRanks: Record<string, number>;
+            finalRank?: number | undefined;
+        }>;
+        penalties: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        reasons: z.ZodArray<z.ZodString, "many">;
+        sourceRetrievers: z.ZodArray<z.ZodString, "many">;
+        indexVersion: z.ZodString;
+        indexedAt: z.ZodNumber;
+        fileHashAtIndex: z.ZodString;
+        currentFileHash: z.ZodOptional<z.ZodString>;
+        rrfScore: z.ZodNumber;
+        rerankScore: z.ZodNumber;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        readRecommendation: z.ZodEnum<["read_now", "read_if_needed", "reference_only", "avoid_edit"]>;
+    }, z.ZodTypeAny, "passthrough">>, "many">>>;
+    candidateIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    queryId: z.ZodOptional<z.ZodString>;
+    phase: z.ZodOptional<z.ZodEnum<["locate", "understand", "plan_edit", "edit", "verify", "repair"]>>;
+    maxReadRanges: z.ZodOptional<z.ZodNumber>;
+    maxReadTokens: z.ZodOptional<z.ZodNumber>;
+    path: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    candidates: z.objectOutputType<{
+        id: z.ZodString;
+        file: z.ZodString;
+        range: z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+            startByte: z.ZodOptional<z.ZodNumber>;
+            endByte: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+            startByte?: number | undefined;
+            endByte?: number | undefined;
+        }, {
+            startLine: number;
+            endLine: number;
+            startByte?: number | undefined;
+            endByte?: number | undefined;
+        }>;
+        symbol: z.ZodOptional<z.ZodObject<{
+            name: z.ZodString;
+            kind: z.ZodString;
+            signature: z.ZodOptional<z.ZodString>;
+            stableKey: z.ZodOptional<z.ZodString>;
+            enclosing: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            kind: string;
+            signature?: string | undefined;
+            stableKey?: string | undefined;
+            enclosing?: string[] | undefined;
+        }, {
+            name: string;
+            kind: string;
+            signature?: string | undefined;
+            stableKey?: string | undefined;
+            enclosing?: string[] | undefined;
+        }>>;
+        package: z.ZodOptional<z.ZodObject<{
+            name: z.ZodString;
+            root: z.ZodString;
+            distanceFromTaskScope: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            root: string;
+            distanceFromTaskScope?: number | undefined;
+        }, {
+            name: string;
+            root: string;
+            distanceFromTaskScope?: number | undefined;
+        }>>;
+        preview: z.ZodString;
+        signals: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        ranks: z.ZodObject<{
+            retrieverRanks: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            finalRank: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            retrieverRanks: Record<string, number>;
+            finalRank?: number | undefined;
+        }, {
+            retrieverRanks: Record<string, number>;
+            finalRank?: number | undefined;
+        }>;
+        penalties: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        reasons: z.ZodArray<z.ZodString, "many">;
+        sourceRetrievers: z.ZodArray<z.ZodString, "many">;
+        indexVersion: z.ZodString;
+        indexedAt: z.ZodNumber;
+        fileHashAtIndex: z.ZodString;
+        currentFileHash: z.ZodOptional<z.ZodString>;
+        rrfScore: z.ZodNumber;
+        rerankScore: z.ZodNumber;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        readRecommendation: z.ZodEnum<["read_now", "read_if_needed", "reference_only", "avoid_edit"]>;
+    }, z.ZodTypeAny, "passthrough">[];
+    path?: string | undefined;
+    phase?: "verify" | "locate" | "edit" | "understand" | "plan_edit" | "repair" | undefined;
+    queryId?: string | undefined;
+    candidateIds?: string[] | undefined;
+    maxReadRanges?: number | undefined;
+    maxReadTokens?: number | undefined;
+}, {
+    path?: string | undefined;
+    phase?: "verify" | "locate" | "edit" | "understand" | "plan_edit" | "repair" | undefined;
+    candidates?: z.objectInputType<{
+        id: z.ZodString;
+        file: z.ZodString;
+        range: z.ZodObject<{
+            startLine: z.ZodNumber;
+            endLine: z.ZodNumber;
+            startByte: z.ZodOptional<z.ZodNumber>;
+            endByte: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            startLine: number;
+            endLine: number;
+            startByte?: number | undefined;
+            endByte?: number | undefined;
+        }, {
+            startLine: number;
+            endLine: number;
+            startByte?: number | undefined;
+            endByte?: number | undefined;
+        }>;
+        symbol: z.ZodOptional<z.ZodObject<{
+            name: z.ZodString;
+            kind: z.ZodString;
+            signature: z.ZodOptional<z.ZodString>;
+            stableKey: z.ZodOptional<z.ZodString>;
+            enclosing: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            kind: string;
+            signature?: string | undefined;
+            stableKey?: string | undefined;
+            enclosing?: string[] | undefined;
+        }, {
+            name: string;
+            kind: string;
+            signature?: string | undefined;
+            stableKey?: string | undefined;
+            enclosing?: string[] | undefined;
+        }>>;
+        package: z.ZodOptional<z.ZodObject<{
+            name: z.ZodString;
+            root: z.ZodString;
+            distanceFromTaskScope: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            name: string;
+            root: string;
+            distanceFromTaskScope?: number | undefined;
+        }, {
+            name: string;
+            root: string;
+            distanceFromTaskScope?: number | undefined;
+        }>>;
+        preview: z.ZodString;
+        signals: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        ranks: z.ZodObject<{
+            retrieverRanks: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            finalRank: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            retrieverRanks: Record<string, number>;
+            finalRank?: number | undefined;
+        }, {
+            retrieverRanks: Record<string, number>;
+            finalRank?: number | undefined;
+        }>;
+        penalties: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        reasons: z.ZodArray<z.ZodString, "many">;
+        sourceRetrievers: z.ZodArray<z.ZodString, "many">;
+        indexVersion: z.ZodString;
+        indexedAt: z.ZodNumber;
+        fileHashAtIndex: z.ZodString;
+        currentFileHash: z.ZodOptional<z.ZodString>;
+        rrfScore: z.ZodNumber;
+        rerankScore: z.ZodNumber;
+        confidence: z.ZodEnum<["high", "medium", "low"]>;
+        readRecommendation: z.ZodEnum<["read_now", "read_if_needed", "reference_only", "avoid_edit"]>;
+    }, z.ZodTypeAny, "passthrough">[] | undefined;
+    queryId?: string | undefined;
+    candidateIds?: string[] | undefined;
+    maxReadRanges?: number | undefined;
+    maxReadTokens?: number | undefined;
+}>;
+export type CodeReadContextInput = z.infer<typeof CodeReadContextInputSchema>;
+export declare class CodeReadContextTool implements ITool<CodeReadContextInput, unknown> {
+    readonly metadata: ToolMetadata;
+    readonly inputSchema: z.ZodObject<{
+        candidates: z.ZodDefault<z.ZodOptional<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            file: z.ZodString;
+            range: z.ZodObject<{
+                startLine: z.ZodNumber;
+                endLine: z.ZodNumber;
+                startByte: z.ZodOptional<z.ZodNumber>;
+                endByte: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                startLine: number;
+                endLine: number;
+                startByte?: number | undefined;
+                endByte?: number | undefined;
+            }, {
+                startLine: number;
+                endLine: number;
+                startByte?: number | undefined;
+                endByte?: number | undefined;
+            }>;
+            symbol: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                kind: z.ZodString;
+                signature: z.ZodOptional<z.ZodString>;
+                stableKey: z.ZodOptional<z.ZodString>;
+                enclosing: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            }, "strip", z.ZodTypeAny, {
+                name: string;
+                kind: string;
+                signature?: string | undefined;
+                stableKey?: string | undefined;
+                enclosing?: string[] | undefined;
+            }, {
+                name: string;
+                kind: string;
+                signature?: string | undefined;
+                stableKey?: string | undefined;
+                enclosing?: string[] | undefined;
+            }>>;
+            package: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                root: z.ZodString;
+                distanceFromTaskScope: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                name: string;
+                root: string;
+                distanceFromTaskScope?: number | undefined;
+            }, {
+                name: string;
+                root: string;
+                distanceFromTaskScope?: number | undefined;
+            }>>;
+            preview: z.ZodString;
+            signals: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            ranks: z.ZodObject<{
+                retrieverRanks: z.ZodRecord<z.ZodString, z.ZodNumber>;
+                finalRank: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                retrieverRanks: Record<string, number>;
+                finalRank?: number | undefined;
+            }, {
+                retrieverRanks: Record<string, number>;
+                finalRank?: number | undefined;
+            }>;
+            penalties: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            reasons: z.ZodArray<z.ZodString, "many">;
+            sourceRetrievers: z.ZodArray<z.ZodString, "many">;
+            indexVersion: z.ZodString;
+            indexedAt: z.ZodNumber;
+            fileHashAtIndex: z.ZodString;
+            currentFileHash: z.ZodOptional<z.ZodString>;
+            rrfScore: z.ZodNumber;
+            rerankScore: z.ZodNumber;
+            confidence: z.ZodEnum<["high", "medium", "low"]>;
+            readRecommendation: z.ZodEnum<["read_now", "read_if_needed", "reference_only", "avoid_edit"]>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            id: z.ZodString;
+            file: z.ZodString;
+            range: z.ZodObject<{
+                startLine: z.ZodNumber;
+                endLine: z.ZodNumber;
+                startByte: z.ZodOptional<z.ZodNumber>;
+                endByte: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                startLine: number;
+                endLine: number;
+                startByte?: number | undefined;
+                endByte?: number | undefined;
+            }, {
+                startLine: number;
+                endLine: number;
+                startByte?: number | undefined;
+                endByte?: number | undefined;
+            }>;
+            symbol: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                kind: z.ZodString;
+                signature: z.ZodOptional<z.ZodString>;
+                stableKey: z.ZodOptional<z.ZodString>;
+                enclosing: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            }, "strip", z.ZodTypeAny, {
+                name: string;
+                kind: string;
+                signature?: string | undefined;
+                stableKey?: string | undefined;
+                enclosing?: string[] | undefined;
+            }, {
+                name: string;
+                kind: string;
+                signature?: string | undefined;
+                stableKey?: string | undefined;
+                enclosing?: string[] | undefined;
+            }>>;
+            package: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                root: z.ZodString;
+                distanceFromTaskScope: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                name: string;
+                root: string;
+                distanceFromTaskScope?: number | undefined;
+            }, {
+                name: string;
+                root: string;
+                distanceFromTaskScope?: number | undefined;
+            }>>;
+            preview: z.ZodString;
+            signals: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            ranks: z.ZodObject<{
+                retrieverRanks: z.ZodRecord<z.ZodString, z.ZodNumber>;
+                finalRank: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                retrieverRanks: Record<string, number>;
+                finalRank?: number | undefined;
+            }, {
+                retrieverRanks: Record<string, number>;
+                finalRank?: number | undefined;
+            }>;
+            penalties: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            reasons: z.ZodArray<z.ZodString, "many">;
+            sourceRetrievers: z.ZodArray<z.ZodString, "many">;
+            indexVersion: z.ZodString;
+            indexedAt: z.ZodNumber;
+            fileHashAtIndex: z.ZodString;
+            currentFileHash: z.ZodOptional<z.ZodString>;
+            rrfScore: z.ZodNumber;
+            rerankScore: z.ZodNumber;
+            confidence: z.ZodEnum<["high", "medium", "low"]>;
+            readRecommendation: z.ZodEnum<["read_now", "read_if_needed", "reference_only", "avoid_edit"]>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            id: z.ZodString;
+            file: z.ZodString;
+            range: z.ZodObject<{
+                startLine: z.ZodNumber;
+                endLine: z.ZodNumber;
+                startByte: z.ZodOptional<z.ZodNumber>;
+                endByte: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                startLine: number;
+                endLine: number;
+                startByte?: number | undefined;
+                endByte?: number | undefined;
+            }, {
+                startLine: number;
+                endLine: number;
+                startByte?: number | undefined;
+                endByte?: number | undefined;
+            }>;
+            symbol: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                kind: z.ZodString;
+                signature: z.ZodOptional<z.ZodString>;
+                stableKey: z.ZodOptional<z.ZodString>;
+                enclosing: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            }, "strip", z.ZodTypeAny, {
+                name: string;
+                kind: string;
+                signature?: string | undefined;
+                stableKey?: string | undefined;
+                enclosing?: string[] | undefined;
+            }, {
+                name: string;
+                kind: string;
+                signature?: string | undefined;
+                stableKey?: string | undefined;
+                enclosing?: string[] | undefined;
+            }>>;
+            package: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                root: z.ZodString;
+                distanceFromTaskScope: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                name: string;
+                root: string;
+                distanceFromTaskScope?: number | undefined;
+            }, {
+                name: string;
+                root: string;
+                distanceFromTaskScope?: number | undefined;
+            }>>;
+            preview: z.ZodString;
+            signals: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            ranks: z.ZodObject<{
+                retrieverRanks: z.ZodRecord<z.ZodString, z.ZodNumber>;
+                finalRank: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                retrieverRanks: Record<string, number>;
+                finalRank?: number | undefined;
+            }, {
+                retrieverRanks: Record<string, number>;
+                finalRank?: number | undefined;
+            }>;
+            penalties: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            reasons: z.ZodArray<z.ZodString, "many">;
+            sourceRetrievers: z.ZodArray<z.ZodString, "many">;
+            indexVersion: z.ZodString;
+            indexedAt: z.ZodNumber;
+            fileHashAtIndex: z.ZodString;
+            currentFileHash: z.ZodOptional<z.ZodString>;
+            rrfScore: z.ZodNumber;
+            rerankScore: z.ZodNumber;
+            confidence: z.ZodEnum<["high", "medium", "low"]>;
+            readRecommendation: z.ZodEnum<["read_now", "read_if_needed", "reference_only", "avoid_edit"]>;
+        }, z.ZodTypeAny, "passthrough">>, "many">>>;
+        candidateIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        queryId: z.ZodOptional<z.ZodString>;
+        phase: z.ZodOptional<z.ZodEnum<["locate", "understand", "plan_edit", "edit", "verify", "repair"]>>;
+        maxReadRanges: z.ZodOptional<z.ZodNumber>;
+        maxReadTokens: z.ZodOptional<z.ZodNumber>;
+        path: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        candidates: z.objectOutputType<{
+            id: z.ZodString;
+            file: z.ZodString;
+            range: z.ZodObject<{
+                startLine: z.ZodNumber;
+                endLine: z.ZodNumber;
+                startByte: z.ZodOptional<z.ZodNumber>;
+                endByte: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                startLine: number;
+                endLine: number;
+                startByte?: number | undefined;
+                endByte?: number | undefined;
+            }, {
+                startLine: number;
+                endLine: number;
+                startByte?: number | undefined;
+                endByte?: number | undefined;
+            }>;
+            symbol: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                kind: z.ZodString;
+                signature: z.ZodOptional<z.ZodString>;
+                stableKey: z.ZodOptional<z.ZodString>;
+                enclosing: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            }, "strip", z.ZodTypeAny, {
+                name: string;
+                kind: string;
+                signature?: string | undefined;
+                stableKey?: string | undefined;
+                enclosing?: string[] | undefined;
+            }, {
+                name: string;
+                kind: string;
+                signature?: string | undefined;
+                stableKey?: string | undefined;
+                enclosing?: string[] | undefined;
+            }>>;
+            package: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                root: z.ZodString;
+                distanceFromTaskScope: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                name: string;
+                root: string;
+                distanceFromTaskScope?: number | undefined;
+            }, {
+                name: string;
+                root: string;
+                distanceFromTaskScope?: number | undefined;
+            }>>;
+            preview: z.ZodString;
+            signals: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            ranks: z.ZodObject<{
+                retrieverRanks: z.ZodRecord<z.ZodString, z.ZodNumber>;
+                finalRank: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                retrieverRanks: Record<string, number>;
+                finalRank?: number | undefined;
+            }, {
+                retrieverRanks: Record<string, number>;
+                finalRank?: number | undefined;
+            }>;
+            penalties: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            reasons: z.ZodArray<z.ZodString, "many">;
+            sourceRetrievers: z.ZodArray<z.ZodString, "many">;
+            indexVersion: z.ZodString;
+            indexedAt: z.ZodNumber;
+            fileHashAtIndex: z.ZodString;
+            currentFileHash: z.ZodOptional<z.ZodString>;
+            rrfScore: z.ZodNumber;
+            rerankScore: z.ZodNumber;
+            confidence: z.ZodEnum<["high", "medium", "low"]>;
+            readRecommendation: z.ZodEnum<["read_now", "read_if_needed", "reference_only", "avoid_edit"]>;
+        }, z.ZodTypeAny, "passthrough">[];
+        path?: string | undefined;
+        phase?: "verify" | "locate" | "edit" | "understand" | "plan_edit" | "repair" | undefined;
+        queryId?: string | undefined;
+        candidateIds?: string[] | undefined;
+        maxReadRanges?: number | undefined;
+        maxReadTokens?: number | undefined;
+    }, {
+        path?: string | undefined;
+        phase?: "verify" | "locate" | "edit" | "understand" | "plan_edit" | "repair" | undefined;
+        candidates?: z.objectInputType<{
+            id: z.ZodString;
+            file: z.ZodString;
+            range: z.ZodObject<{
+                startLine: z.ZodNumber;
+                endLine: z.ZodNumber;
+                startByte: z.ZodOptional<z.ZodNumber>;
+                endByte: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                startLine: number;
+                endLine: number;
+                startByte?: number | undefined;
+                endByte?: number | undefined;
+            }, {
+                startLine: number;
+                endLine: number;
+                startByte?: number | undefined;
+                endByte?: number | undefined;
+            }>;
+            symbol: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                kind: z.ZodString;
+                signature: z.ZodOptional<z.ZodString>;
+                stableKey: z.ZodOptional<z.ZodString>;
+                enclosing: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            }, "strip", z.ZodTypeAny, {
+                name: string;
+                kind: string;
+                signature?: string | undefined;
+                stableKey?: string | undefined;
+                enclosing?: string[] | undefined;
+            }, {
+                name: string;
+                kind: string;
+                signature?: string | undefined;
+                stableKey?: string | undefined;
+                enclosing?: string[] | undefined;
+            }>>;
+            package: z.ZodOptional<z.ZodObject<{
+                name: z.ZodString;
+                root: z.ZodString;
+                distanceFromTaskScope: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                name: string;
+                root: string;
+                distanceFromTaskScope?: number | undefined;
+            }, {
+                name: string;
+                root: string;
+                distanceFromTaskScope?: number | undefined;
+            }>>;
+            preview: z.ZodString;
+            signals: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            ranks: z.ZodObject<{
+                retrieverRanks: z.ZodRecord<z.ZodString, z.ZodNumber>;
+                finalRank: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                retrieverRanks: Record<string, number>;
+                finalRank?: number | undefined;
+            }, {
+                retrieverRanks: Record<string, number>;
+                finalRank?: number | undefined;
+            }>;
+            penalties: z.ZodRecord<z.ZodString, z.ZodNumber>;
+            reasons: z.ZodArray<z.ZodString, "many">;
+            sourceRetrievers: z.ZodArray<z.ZodString, "many">;
+            indexVersion: z.ZodString;
+            indexedAt: z.ZodNumber;
+            fileHashAtIndex: z.ZodString;
+            currentFileHash: z.ZodOptional<z.ZodString>;
+            rrfScore: z.ZodNumber;
+            rerankScore: z.ZodNumber;
+            confidence: z.ZodEnum<["high", "medium", "low"]>;
+            readRecommendation: z.ZodEnum<["read_now", "read_if_needed", "reference_only", "avoid_edit"]>;
+        }, z.ZodTypeAny, "passthrough">[] | undefined;
+        queryId?: string | undefined;
+        candidateIds?: string[] | undefined;
+        maxReadRanges?: number | undefined;
+        maxReadTokens?: number | undefined;
+    }>;
+    description(): string;
+    call(input: CodeReadContextInput, context: ToolCallContext): Promise<ToolResult>;
+    checkPermissions(input: CodeReadContextInput, context?: ToolCallContext): Promise<PermissionCheckResult>;
+    isConcurrencySafe(): boolean;
+}
+//# sourceMappingURL=CodeReadContextTool.d.ts.map