We don't have several independently developed compilers, so we are only getting weak proofs of DDC. We are still reliant on different versions of GCC.
https://reproducible-builds.org/news/2019/12/21/reproducible-bootstrap-of-mes-c-compiler/
NixOS isn't bootstrappable yet as it's a WIP, so only really Guix.