Hello TomYoung,
I tested by putting $0 and $12,000 in the cost basis for RSU, but there was no difference in the Federal Tax Due.
I did this for other two RSUs, but still the same: no change in the Federal Tax Due.
So, I don't think cost basis reflects double taxation.
