Nice write up.

This reminds me of goose-ng [0].

There are a number of implementations and ports of the heuristic approach out there, including for Go and Scala.

It works nicely, I'm a fan!

https://github.com/jaytaylor/goose-ng