This could be correct. It is impossible for us to know exactly because we don't have access to your return.
What is usually happening is something like this.
First, the US gives you a foreign tax credit (FTC) to offset the US tax on foreign income. It does not give you the credit so that you get back the foreign tax you paid. This is subtly different. Because US tax rates are so much lower than most other countries, this usually means the best case is that you won't pay US tax (double tax) but will still pay the foreign tax.
Second, the max FTC allowed is this. It is done separately by category of income (see the 1116 instructions):
Max FTC = foreign-tax paid * foreign-sourced income / worldwide income
Unless you live overseas, commonly your foreign source income is a small fraction of your US income and not much foreign tax is allowed. (Living overseas without major US-source income and the ratio is closer to 100%).
In your case it might be that the $5k of FTC offset your entire US capital gains tax on the foreign home sale. In that case the FTC did it's job. It's not intended to give you an additional $10k of credit against US sourced income, just not cause you to be taxed twice.
I would suggest you review the 2022 and 2023 form 1116s (and worksheets) to see how it works and if it looks right. It is pretty complicated. You might also want to hire a professional (CPA, enrolled agent, or tax attorney) who works with the FTC every day (not twice a year) for a brief consultation. In that case just file an extension (paying whatever you owe, if anything) and wait until after the 15th to find someone.
**Say "Thanks" by clicking the thumb icon in a post
**Mark the post that answers your question by clicking on "Mark as Best Answer"
