> If you change the consensus ruleset...then you need an oracle to tell you which chain to choose.
What are you talking about? The rule to choose the correct chain is well defined and simple. The longest chain, i.e. the one with the most work done, is the correct chain.
I'm not sure if you've spoken to any Bitcoin developers recently, but they'll tell you you're wrong and that it is the valid chain with the most work, not the chain with the most work. They'll then tell you what valid means.
Some developers would agree with you though, like Gavin Andresen [0].
Either way, you end up with either centralized miners deciding the fate of the chain, or centralized developers deciding the fate of the chain. Both outcomes are contrary to what Satoshi envisioned.
It has always been the longest valid chain though. If miners were to introduce double-spending transactions in a block, full nodes would--by default--reject the blocks, regardless of how much work the chain contains. This also highlights why miners don't control the network and never had.
My understanding is that the danger of miner control is not "double-spending" but making multiple spends and being able to pick the most favorable one after the fact.
As a non-controller if you try to double-spend, you can't know which one of your attempted transactions will be recorded in the ledger and which will be rejected. As a 51% controlling miner, you can choose the 'correct' transaction.
This allows the 51% controlling miner to engage in futures arbitrage.
Double-spending just means spending the same output in multiple transactions--there are many ways to perform a double-spend attack. Your interpretation of a 51% attack is correct.
If it wasn't clear, my comment was referring to a double-spend that would result in an invalid block i.e. both transactions are on the same chain. I simply used an example to argue that it's always been the case that invalid chains are rejected by honest nodes.
A sufficiently large miner could, right now, create a block which created a million bitcoins from nowhere and gave those to them and it would - for a while at least - be the longest chain. No other clients would accept it, of course, but by your definition the chain where someone just made themselves a billionaire would be Bitcoin.
The really funny thing is that we are going to see more and more coins moving towards regular changes to their algorithm to keep ASICs out, and effectively surrender their decentralization.
Taken to the logical conclusion, a supernode that is issuing algorithm changes is no different from a supernode that is signing blocks directly, just vastly more inefficient. Since you are already centralized, there is no reason to have miners at all. It becomes a ponzi scheme where the rewards are paid out randomly to participants.
What are you talking about? The rule to choose the correct chain is well defined and simple. The longest chain, i.e. the one with the most work done, is the correct chain.