Thanks again, RaifH.
I answered Yes to Excess contribution deducted from your wages but TT still does not add the $800 as taxable income.
So the only way with option 1 now is to substitute the December month with October to make TT include it as taxable income. However, if I do that, the Form 8889 Line 3 would also be filled with the incorrect coverage months and that feels like a false declaration. Do you have other suggestion?
I also tried option 1, then manually correct the form in form-mode, but TT then also automatically recalculates and tries the last-month rule.
