Yeah, Congruence is kind of dead in the water right now. I should fix that, but it's going to be a while before I have the time to tackle the project again.

My current work is as an ordinary devops engineer at a very, very large company.

I do want to go after the problem space again (mostly, helping find the problems caused by interdependencies of complex, slow-changing systems - "System A changed, so System B broke"). But it's a seriously nontrivial problem, which is why there aren't any good products out there for it.