Yes, Linux has (partially) done this already, albeit with some user interface incongruities, check out nixos and guix Hey NixOS and Guix communities! Your theo

Yes, Linux has (partially) done this already, albeit with some user interface incongruities, check out nixos and guix Hey NixOS and Guix communities! Your theory is awesome, your practice is great, we just need to work on making this trivial for children. Always think of the children