Verification errors on sync

If a file is reported as missing but is physically present in the database package (as @sjk reports), then it is possible that the reveal/delete procedure suggested is merely revealing a non-missing file and eliminating it from the database. IOW, is the reveal/delete procedure removing the possibility of an error message by removing the user’s data?