US might not have a defined process for the passenger, but they get the passenger lists and process those from the airlines. They are certainly privy to the passport information (and more)

I thought you needed to give up the other passport/nationality when you become a US citizen, that dual citizenship only happens when it's based on parents nationality/location of birth -- was that ever the case?