Because what we really needed was another framework to dynamically generate code that no human will ever be able to debug. Just peachy. https://rahul.gopinath.org/post/2026/05/09/simple-invariant-miner/