You vote for the legislators who hire the bureaucrats who define the algorithm that the engineers implement. Which is not much different from how it works now except there's a more manual process involving human judgement at various levels. You don't vote for the auditor working in the IRS.
Why? The algo should obviously be public so if you went to court you'd question the algo or its impl, not the computer. After all, you only want restitution and correction of the issue, not punishment.
Given that, at least in the US, people had to regularly sue corporations that defend the secrecy of their fancy algorithms^W^W Excel sheets as trade secrets... that's not as obvious as you might think.
Why would that be? Health care providers, bail risk assessment software for courts, ... it's not like some public entity like the IRS would be likely to develop much in-house.