Interesting. It is plausible this is an edge case we have not encountered with Pex lockfile generation yet - thank you for reporting!
It does sound like interpreter constraints are at play here. Good debugging to find that.
I imagine you couldn't share that distribution for us to try to reproduce?