Edit a file by replacing exact string occurrences.
For small payloads (combined old/new under _EDIT_INLINE_MAX_BYTES),
runs a server-side Python script via execute() — single round-trip,
no file transfer. For larger payloads, uploads old/new strings as
temp files and runs a server-side replace script — the source file
never leaves the sandbox.
edit(
self,
file_path: str,
old_string: str,
new_string: str,
replace_all: bool = False
) -> EditResult