NixOS and Guix are capable of that; Fedora Silverblue and Fedora Kinoite (the same technology, just with different default desktop environments) also similar co

NixOS and Guix are capable of that; Fedora Silverblue and Fedora Kinoite (the same technology, just with different default desktop environments) also similar conceptually, but are a little less flexible to manage than through their management CLIs than those of Nix and Guix. I think all of them would recover to a consistent and fully-functional state, but Silverblue/Kinoite would not necessarily remove the 'ghost' packages automatically.