... Nobody has ever 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.
Yes, you're right. Back when bitcoin was just over a year old, relatively few people were aware of it or looking at the code yet, and Bitcoin Core was the only implementation, it did happen once. Because of that instance, the code was looked at more closely. Since then the number of people involved in looking at the code is now MUCH larger and there are (as I mentioned) multiple implementations in multiple programming languages. I suppose that I should have specified that it hasn't been seen since that instance. For that matter, you'll find that the transaction you are pointing out isn't in the blockchain.
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?
You are welcome to do so as often as you like. I personally find that to be a waste of my time, but that's the great thing about a decentralized open source system. If you want to do it, nobody is going to stop you.
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?
Here's one example:
https://bitcointalk.org/index.php?topic=675321- snip -
As of block 305,303 . . . the UTXO (set of all unspent outputs) is only 12,882,439.79102854 BTC.
- snip -