Function truncate

src/tools/executors/files.ts:119–122

(text: string, max: number)

}

function truncate(text: string, max: number): string {
	const oneLine = text.replace(/\n/g, "\\n")
	return oneLine.length > max ? oneLine.slice(0, max) + "…" : oneLine
}

export async function fileEdit(args: Record<string, unknown>, context: ToolContext): Promise<ToolResult> {
	const edit: EditSpec = {