clogic/csis-determinism archive