It doesn't work like that on an amended return. If they file the 1040x without paying, IRS may offset the $10,000 applied to 2022 from the original return.
