Did you ever find an answer to your question about amending and adding Form 1116? I am in the same situation. Wondering if I just send 1040X, and form 1116 and schedule 3. Or if I need to send a copy of my Spanish tax return showing amount paid. Or wait until IRS requests. What was your experience after all?
Many thanks!
