It's an implementation detail, right. But in most cases, it's implemented as immutable. With some exceptions, but developers are very upfront about that in those cases.

But even if developers implemented their contract with the possibility of updating, the most important detail here is that only those developers can do that.

Not AWS, not Apple, not Google, etc.