This effectively:
I’ve said it before but if this invariant is clarified / enforced (even if only via a standard and not directly in PyPI), I believe that it unlocks a huge amount of value and simplification towards a potential cross-platform lockfile.
Relevant bits of zen:
Special cases aren't special enough to break the rules.
Although practicality beats purity.