Extras can be dropped if different dependencies require different sets

[uranusjr]

Say A requires B[x], but C requires B[y], and D requires B (no extra), there is no guarantee which one will be present in the lock file. Some consolidation logic is required to merge extras.

(I found this because Passa depends on Plette[validation], but RequirementsLib depends on Plette without specifying the extra, and now the Pipfile.lock no longer contains the extra flag.)

[uranusjr]

This will affect pin reuse as well. B[x,y] need to provide reusable pins for B, B[x], B[y], etc.

[techalchemy]

This will affect pin reuse as well. B[x,y] need to provide reusable pins for B, B[x], B[y], etc.

Can you elaborate a bit on that one? or point at the code you are thinking of