Decentralized, permissionless proof-of-stake blockchains guarantee the immutability of their (governance) protocols.

True. As the blockchains are permissionless, end-users can store a copy of the blockchain and digital signatures give more or less a guarantee (based on consensus algorithm) as blockchain data cannot be edited or deleted by a governance party, as there is none.