I'd add that having the whole company use a single language to describe build and tests is a trivial but crucial thing. It allows automatically building and testing everything affected by your change, even if you never heard about those dependencies.

Oh, and "fully specifying inputs" includes the involved compilers, and even the build tool itself! You can reproduce old builds using the same tools that were used then. Upgrading any tools triggers appropriate recompilations.