Yes. The move rename operation is atomic in any reasonable file system. With the default behavior Emacs can always keep the previously known good data in place

Yes. The move rename operation is atomic in any reasonable file system. With the default behavior Emacs can always keep the previously known good data in place even under power failure, disk failures, etc. if the new file is corrupt you go back to the exact old data (no bits moved in the disk.)