Just to confirm my understanding, is the following corrects?

  NixOS: “Given this configuration, build me the same system again.”

  StageX: “Prove that every binary in this system came from the source code I think it did.”

Because aren’t these two very different things.