I think that it would likely be incorrect to ever use the source constraints with a tool. An example: if you have a formatter or linter that checks for a Python 3 specific condition and you run it on code whose transitive constraints are actually only valid for Python 2, you will break that code.