We have red light cameras here in Tampa. I don't know all the details of what it takes to make a right on red and not get a ticket, so I do exaggerated stops to be sure. I know what the law claims but that doesn't matter. The real law is the actual (proprietary) code rumning in the machine. Not what the law says. Not what the contract says. Not what the requirements say. Not what the programmer thinks the code does.

No, the real law is what's written by the Tampa/Florida legislature (or I guess you could say the "real real" law is judges' interpretations of what is written). While it may be inconvenient, if you are falsely issued a ticket while following the real law you can have the ticket thrown out.

What kind of time and money and opportunity cost would it take to right this wrong?

I don't know for sure because I don't live in Tampa, but it is generally free (minus the opportunity cost of your time) for these types of tickets, no lawyer or other expense required.

This is the correct take. And it's frustrating! To fix the problem an individual has to fight a huge, multi-party system (law, jurisdiction, police, tech-provider) - it's a (near) impossible feat for a person.

Sorry, but what is the concern, that you don't know when you've crossed a red light? Or that the software is too stupid to know when a light was red?