Не только мутабельность, а вообще любые контракты через алгебры типов. «Если скомпилилось, то работает» работает только внутри одного процесса. И то, достаточно прикрутить достаточно сложную либу со своими тараканами (драйвер какой-нить), как там внутри может быть что угодно.
Я пропустил начало, поэтому не совсем понимаю смысл дискуссии, но ворвусь и спрошу: это что, разъеб различного вида RPC?