This seems like it is becoming well developed. The difference I see is that I envision the cost in carbon to be tagged to each banana or apple at the store so you know what each thing you do means in terms of carbon use. But, once the rations are tradable, there is nothing really to stop the bidding from folding all that information back into price. So, very likely, things will work out the way you see it, with rations being used on fuel purchases and electricity, but with extra personal rations sold for the use of industry and government. But, so long as we know who is buying how much, we have some idea about which industries are making good progress.

I'm going to suggest that for consumer goods labeling be employed to indicate how many rations were used to bring the things to the stores. Then, we each would have a choice available about buying a high carbon or a low carbon apple even though the carbon information is otherwise convolved into the price since we already sold the rations to get the apple there. I was at a stand today where there was box (about a third of a bushel) of apples for 8 dollars and one for 18 dollars. They came from the same trees but the 8 dollar box had been sorted for use by hunters to lead deer to a blind. They mostly had worms or other bruises. You could tell the difference by sight as well as price. With the carbon use, you'd need something more though in the case of those particular apples the carbon use was minimal since the orchard was not far from the stand. The meat they'll yield will be low carbon use as well. But, you can't sell venison so rations won't touch that meal.

Chris