I'm wondering if the rule graph solver could detect and diagnose the cycle that led to islands, rather than the islands themselves. I've no idea how the solver works though, but that seems to be what happened above. And my intuition for how to fix it (look for added edges, not missing) seems to have helped. Maybe would be better UX? If possible.