I'm quite a fan of its approach as well, maybe a little less so when disk space is a big concern like it often is for computer appliances.
on the dev pc you'd run garbage collection once your new env is acceptable and the old one gets removed.
OStree exists and is used in lots of places: https://ostreedev.github.io/ostree/#operating-systems-and-di...
So, GNU Guix?
I don't know what a successor would look like, I worry that it would have to wrangle with 40 years of software compilation techniques.
NixOS and Docker and other Linux container and isolation madness only exist because the Linux illuminati can't admit that zones and ZFS got it right.
I wish Linux would just STFU and copy them already. Given the amount of code that has been spilled, Linux could have cleanroom reimplemented zones and ZFS 10 times over by now.
The process feels more like compiling a program than decorating a house.
Enough of the astrological pseudo-science. This distro is good for hackers, use this if you want stability, use this for bleeding edge, this one is secure by default, that one has a nice UI, it's all nonsense.
The only meaningful changes have been: The effective mandatory adoption of SystemD, and the emergence of NixOS.
NixOS elevates the entire discussion. I can't wait for it to work across different UNIX kernels. It's not ready for regular people, it's not even ready for most enthusiasts, the language is awful and the nixpkgs set is full of inconsistencies, but it's all worth it.
So let's stop with the voodoo and start applying the techniques in other places. Nix without Nix is what we need.