import type { AgentTool } from "@earendil-works/pi-agent-core"; import { Box } from "@earendil-works/pi-tui"; import { type Static, Type } from "typebox"; import type { ToolDefinition } from "../extensions/types.ts"; import { type EditDiffError, type EditDiffResult } from "./edit-diff.ts"; type EditPreview = EditDiffResult | EditDiffError; type EditRenderState = { callComponent?: EditCallRenderComponent; }; declare const editSchema: Type.TObject<{ path: Type.TString; edits: Type.TArray>; }>; export declare const editToolSystemPromptContribution: { readonly snippet: "Make precise file edits with exact text replacement, including multiple disjoint edits in one call"; readonly guidelines: readonly ["Use edit for precise changes (edits[].oldText must match exactly)", "When changing multiple separate locations in one file, use one edit call with multiple entries in edits[] instead of multiple edit calls", "Each edits[].oldText is matched against the original file, not after earlier edits are applied. Do not emit overlapping or nested edits. Merge nearby changes into one edit.", "Keep edits[].oldText as small as possible while still being unique in the file. Do not pad with large unchanged regions."]; }; export type EditToolInput = Static; export interface EditToolDetails { /** Display-oriented diff of the changes made */ diff: string; /** Standard unified patch of the changes made */ patch: string; /** Line number of the first change in the new file (for editor navigation) */ firstChangedLine?: number; } /** * Pluggable operations for the edit tool. * Override these to delegate file editing to remote systems (for example SSH). */ export interface EditOperations { /** Read file contents as a Buffer */ readFile: (absolutePath: string) => Promise; /** Write content to a file */ writeFile: (absolutePath: string, content: string) => Promise; /** Check if file is readable and writable (throw if not) */ access: (absolutePath: string) => Promise; } export interface EditToolOptions { /** Custom operations for file editing. Default: local filesystem */ operations?: EditOperations; } type EditCallRenderComponent = Box & { preview?: EditPreview; previewArgsKey?: string; previewPending?: boolean; settledError?: boolean; }; export declare function createEditToolDefinition(cwd: string, options?: EditToolOptions): ToolDefinition; export declare function createEditTool(cwd: string, options?: EditToolOptions): AgentTool; export {}; //# sourceMappingURL=edit.d.ts.map