> It's not solving the underlying problem: that build systems are often impure and sometimes nondeterministic

It's not Nix's job, imo. Those compilers should be fixed.

And all the other "features" come for free from Nix's fundamental abstractions, I don't feel it would overstep its boundaries anywhere.