You tax carbon when it’s added to the carbon cycle, you refund when carbon is verifiably removed from the carbon cycle. The price of all carbon-intensive domestic inputs go up as a result. If something was manufactured abroad without certified paid-for carbon with a process that matches international standards, then a punitive worst-case estimate is applied upon import as a tariff, such that it’s always cheaper to get certified.