作者为 Nix 构建写了确定性虚拟机 Rewind VM——每次构建运行都是输入的纯函数，连线程调度都确定，靠它复现并解决了不少竞态。他随后发现每个新功能的难点都已被 Nix 解决：调试器需要的程序输入、调试符号、源码，以及所有依赖库的源码，正好就是 derivation 所描述的东西。文章用“两个柜员共用一个账户”的经典竞态讲清问题，并介绍了新长出来的线程轨道、“从这步开始检查”等能力。