If the system is truly decentralized, the protocol should become entirely immutable.
I disagree with this last point. A truly decentralized system is not entirely immutable to change it is just immutable to controversial and contentious change. It becomes immutable to change without true and honest consensus.
To argue for immutability is to argue that it is impossible to achieve consensus at all in a decentralized system. I see no basis to make this claim.
That's not the argument. The argument is as follows.
Once upon a time, there was a centralized system that had a certain protocol to which all new incoming entities participating in it had to agree because if they didn't, the system would reject their disagreement. Every system starts out as a centralized system, because one entity proposes it. If that system becomes decentralized, that means, if there is no central authority any more that decides and is the unique entity proposing collective changes, then the participating entities are STILL adhering to the protocol they used up to then. Now,
I take decentralization as the fact that entities don't collude, but take their decisions individually and that no central entity has authority/power over any large set of entities. In other words, I take
a decentralized system as one where game theory is valid and entities behave as "free participants" that only decide for themselves, and are not bound by "collective agreements" ; however, they undergo also the consequences of their own strategies.
If such a system falls into a Nash equilibrium, then it can normally not leave it. A Nash equilibrium is defined as a set of entities of which each entity applies an individual strategy, and is such, that for any given entity, if that entity is the ONLY one deviating from the Nash equilibrium strategy, the outcome for said entity is worse than if it kept to its equilibrium strategy.
Well,
"keeping to the existing protocol" for all entities in a decentralized crypto like bitcoin, is a Nash equilibrium. If all the others keep to that strategy, and one single entity deviates from it, then this single entity will be in a worse position, no matter what it will pick as a deviating strategy, than if its strategy were "following the existing protocol".
Of course, there are MANY Nash equilibria.
There are as many Nash equilibria as there are thinkable protocols ! But ONCE you are in ONE Nash equilibrium the system cannot leave it. It is only if there is a concerted effort that makes MANY entities decide TOGETHER to jump to another equilibrium, that this new equilibrium becomes the active Nash equilibrium ; however, BY DEFINITION, "a large part of all entities colluding" is exactly what is the end of decentralization, which, by hypothesis, means that entities don't collude.
So, a decentralized system (one in which entities don't collude and have no central leadership) where game theory is hence applicable, that finds itself in a Nash equilibrium, will remain in that Nash equilibrium for ever. The Nash equilibrium being the protocol, it means that the protocol will remain the same for ever, hence is immutable.
QED.
Note that in bitcoin speak, Nash equilibrium is called consensus and defines implicitly a block chain protocol.
The only initiative a single entity can make, is to hard fork. This kills potentially the Nash equilibrium if the hard fork is successful and has other entities joining it ; it remains the original Nash equilibrium if nobody follows and the fork dies: the forking entity made a wrong decision and lost, proving the Nash equilibrium of the original protocol. If the fork is successful, the Nash equilibrium is gone, until a new one settles: one with the new chain, one with the old chain, or one with both, becoming distinct "ecosystems".
The only way the protocol can change, is through centralization (software monopoly, cartel formation of miners. ....) with central authority deciding and no alternative. This was the state of bitcoin until recently, and maybe still somewhat, with Core the software monopolist and hence the central authority deciding with no alternative.