That's really the job of the filesystem to protect against corruption using checksums. ZFS will do this and hopefully more will follow. I suppose a file sync tool could detect a change of contents with no change of mtime, but that would be expensive.
I know nothing about POSIX, but I presume we all want stronger guarantees to avoid the risk of syncing a corrupted file.
https://danluu.com/file-consistency/