>If an upper bound were to be supplied you would end up with trees that can no longer resolve in practice.

And then we'd have to run uv again with an argument to not have upper bounds. Oh, the humanity!

As opposed, to it nuking our dependencies with incompatible packages.

Doesn't sound like the unsafe option should be the default.