Even the last point about the migrations pattern is introducing mutability to some degree.

It feels like we’ll always entropically fall towards upgradability, unfortunately. At least until standardized protocols have been adopted, which will likely come when the Smart Contract space has matured a fair bit.