This can be verified with local copies from developers - history in SCM in unmodifiable - and if it is - it's easy to spot due to different SHAs