Nixpkgs is quite explicit about how to produce the distribution. You can rebuild the entire distro from source and backup the source code for every package.

As a normal NixOS user, I know how to do this. It would be quite some effort, but not especially difficult. Additionally, for a government they have the servers to set up a build farm.