094273df5d
executePatchSingle returned success based on the writethrough callback resolving, but the LSP-backed writethrough could resolve to an in-memory editor buffer while disk stayed unchanged. Capture pre-write mtime+size, re-stat post-write, and throw a ToolError when nothing changed.