Also no, state tax codes can be pretty complex as well. On this particular issue, I had trouble finding an attorney who would represent me for less than $10k (while still equivocating about the merits of my position!), so I represented myself. It took a twenty minute phone call with two state tax agents to come to an amicable agreement. A++ would get taxed again.

I've previously been one to echo negative sentiment about government bureaucracy, but the times I've had to deal with it (not the IRS thankfully but rather a few other federal agencies) the agents have been generally helpful and empowered to act authoritatively. They're still part of a bureaucracy of course, with some of the laughable things that entails, but ultimately still human beings with some leeway to act.

For the most part I think the negative narrative has been informed by corporate bureaucracies getting really bad (IVRs, offshoring, bottomless ticket systems, now LLMs, etc) and so we're all assuming that the government simply must be worse. But it's not. (well maybe it is now after the DOGE arsonists brought so-called "corporate efficiency", I don't actually know)