" It seems DC would tax this nonresident capital gains from a DC source and then I would take a credit on PA return"
Your theory is correct.
I have no idea how to do it in whatever unnamed planning software you are using.
