... Nobody has every seen a non-generating transaction that broke that rule. The source code has been very carefully reviewed by many people to make sure that validation is handled properly...
This is false I believe, back in 2010 there was a flaw that allowed one transaction to generate billions of bitcoins, right?
https://en.bitcoin.it/wiki/Common_Vulnerabilities_and_ExposuresScroll down to the part CVE-2010-5139.
It is actually because of this flaw in the past that I'm asking this question, what if there is some kind of similar flaw that allows smaller amounts to be created? And these transactions are flying under the radar?
I think it would be wise for the community to really sum all the actual addresses balances on a regular basis and validate that they really match up to the supply provided by the formula, don't you think?
Is there some place or core command that really counts all the balances from all addresses in the blockchain?
There are people that have written software to add up the UTXO at various times. Due to permanent destruction of bitcoins and unspendable outputs, the total has always turned out to be less than what the theoretical calculated total should be.
Do you know where I can find that software or website or the official results of that check?