Super Testnet on Nostr: Correct. There's also a few other possibilities: the pro110 miners might stop mining ...

Correct. There's also a few other possibilities: the pro110 miners might stop mining altogether, or they might activate a pow change and then withdraw their coins from the markets they are currently using, and probably a few others. But I suspect due a while they will continue to mine a separate bip110 chain and continue to pay for it with non110 coins