[nynx]

How can it reverse time? Does it record a stack of every decision point?

[intuitionist]

You don’t need to reverse time if you can deterministically reproduce everything that led up to the point of interest. (In practice we save a snapshot of your system at some intermediate point and replay from there.)