NixOS proves the model: a single declarative file describes the entire system, and the toolchain around it — git, diff, review, rollback — comes for free because the desired state is just text.
Ref
Describe what the system should look like, not how to get there. The package manager computes the path from current state to desired state, making the result reproducible and the process reversible.
→