You can verify the total amount of XMR in circulation. However, the source code for double spend must be flawless. A very tiny part of the Monero code base. If there is a bug and it is known, you can use mathematical methods to check whether a double spend has been carried out and the total quantity has been diluted.