Pretty much no software, even when run deterministically, is bijective. There are almost always cases where two different states map to the same state.
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.)
How does this tooling deal with that?