Spanish salary and the Foreign Tax Credit
IRPF withheld through payroll retenciones generally exceeds the US tax on the same income. Form 1116 credits it category by category, and the residual US tax on salary is commonly zero — though the exact rate depends on which comunidad autónoma you live in.
Your declaración de la renta is the cleanest evidence of Spanish tax actually assessed, year by year — exactly what the credit needs.