Interesting that my post took an unintended but thoroughly interesting turn.
Those who are Athletic subscribers can see this article about grading umps: https://theathletic.com/288617...k-balls-and-strikes/
My only thoughts on this is that I like the way that it was done in the Atlantic league. Gives the ump the ability to overrule HAL, but also have HAL as a backup/confirmation. Ump is still the arbiter of calls.