That’s really cool. It reminds me of Meta’s hermit, which intercepts system calls and records them so that they can be replayed back deterministically.

Non-determinism is the name of all testing. Anything that we can do to improve it is extremely important.