Well all I can tell you is that there are no calls to random() in the code to save and restore state, see
https://github.com/kovidgoyal/calibr...search.py#L422
If you can find some set of circumstances that reliably reproduce the behavior, I will be happy to investigate further.