I was assuming that all taxes including income, went into the federal coffers and then paid for all…
Left Wisdom

Your not really wrong or I am not completely right (point of view thing). There is an Aviation Trust Fund that aggregates Ticket Taxes for application to projects authorized by I believe the FAA but the FAA also gets general revenue from the Treasury.

Federal Highway funds and even disaster aid and other programs require matching funds from States and my state has a fund for Highway money that is supplied by gas tax revenue (right now we qualify for more Federal Matching Highway money than we have the match for.)

One of the worst things about our Federal Government is it’s Byzantine Complexity designed by special interests.