So the bug is in ... their deterministic execution environment not stubbing out the current time, so that different runs are not actually deterministic but depe

So the bug is in ... their deterministic execution environment not stubbing out the current time, so that different runs are not actually deterministic but dependent on that non-deterministic input called the clock. Well, and that they are side-loading some library which can change.