The two statistics are gathered differently: the checkpoint size is the last calculated checkpoint size based on the blocks allocated and discarded in the checkpoint (which could be from some time ago), where the file size is the current file size as the that instant. I don't expect that to make a difference though, because the principle way a file is truncated is by doing a checkpoint (but it's complicated enough code that I wouldn't want to swear it can't happen).