It seems like ivy file locking + ditching haskell has gotten us out of the non-deterministic nightmare