It’s very cool. I wonder if a heuristic in the solver to prioritise changing values by as little as possible would help yield more predictable outcomes?

It’s without a doubt wet, right? Even if one claims it just makes other things wet, then surely it makes itself wet too?