What systems have pure reproducible builds? Does Nix? Any others? From what I understand, it is a very difficult problem.

https://stal-ix.github.io/ and Guix, but the definitions of purity are different for them.

Yes, a very difficult problem, compilers must be pure functions with thin effectful wrappers.