For example, w/ a pex_binary using platforms, the subset of reqs might be valid, but the superset of all your reqs might include deps without wheels, so the superset fails to resolve.

A workaround could be multiple user lockfiles, that you need to generate a dedicated lockfile specifically for that

pex_binary

I'm nervous about that, though. There's a real cost to maintaining multiple lockfiles, including making it harder to have a consistent venv for IDE integration I think it would be confusing when you can use this superset

[python-setup].resolve_all_constraints

mechanism vs when you need to have a dedicated lockfile. Sure, Pants can help you know, but that's still an extra edge case users have to think about