Screens were in use. 1NT was alerted on both sides of screens as forcing. 2NT was alerted from North to East as 18-19, South did not alert it.
Result: 3NTx+1
After the board, West asks East if 2NT was alerted on the other side, on which he gets confirmation. West calls TD and explains that he would not double for spade lead if he knew South was not inviting with North accepting; in invitational scenario he believes spade lead could be only way to set a contract if it's not makable.
TD rules result stays.
West calls an appeal.
Appeal rules 2NT is GF by common knowledge and North alert was redundant.
You are the AC [second AC! ]. What do you think?