There isn't anything to verify these key state tables against. They are the only record of what Mojo has broadcast.
They are doing that correctly. The problem is that Mojo doesn't broadcast the alt-was-released signal. Therefore the alt-was-released signal doesn't get put in the key state tables.
The reason for the error is that Mojo follows the simple algorithm "broadcast whenever WoW is the focus window."
But this algorithm is inadequate because when you Alt-tab, WoW stops being the focus window before you release the Alt key.
I have to change the algorithm. I have to make it more complicated so Mojo will broadcast the alt-was-released signal even though WoW no longer has the focus.
Connect With Us