Different angles, same problem. Nix should deterministically take the same pinned inputs and produce the same output, which is also a solution to "Prove that ev

Different angles, same problem. Nix should deterministically take the same pinned inputs and produce the same output, which is also a solution to "Prove that every binary in this system came from the source code I think it did." (since that source code is one of the inputs that's pinned)