Good points, all of which are easily testable. I’m surprised that test has not occurred.
And GBO’s claim that loss of air data input to the Left transponder, as a result of the loss of air data from the left AIMS cabinet alone, would result in the monitoring system automatically disabling all Left transponder functions, is easily testable. If true, I’d suggest it’s not a sensible design. It’s like ‘disabling’ a life raft because its emergency torch doesn’t work.