> Air Traffic Control is still primarily voice based, and simply up to the user on both sides to not make a mistake

The "user[s] on both sides" of ATC conversions have passed through the filters of rigorous training and certification. They also happen to communicate in a DSL designed to minimize misunderstandings, the DSL just happens to be based on English.

I don't think OPs argument here was simply that the users aren't qualified enough to approve llm output.