I'm starting to see a bit clearer on how a fork would pan out: Miners: Hashing power has little influence. As long as there are miners, and two chains rejecting each other transactions will be processed. At first, transactions processing might take a while, but difficulty will adapt. This will create two legitimate currencies. Now everybody in possession of 1 BTC would have 1 BTCa + 1 BTCb. Exchanges: Little power. T…
After doing that (and because valid transaction execution was contingent on the actual chain you were in) each wallet became independent and you were free to use funds in each as desired.
This is the contract:
https://etherscan.io/address/0xaa1a6e3e6ef20068f7f8d8c835d2d...
And this is the related helper that checks which chain you are in:
https://etherscan.io/address/0x2bd2326c993dfaef84f696526064f...
I'm not clear on what a BTC equivalent of this operation would be. Seems like smart contracts saved the day, as trying to move BTC to 2 different wallets on split chains by hand risks a race condition.