No screens, no convention card, offline match, system Precision Club. Explanations:
1♣ 16+
1NT 8-10 balanced
2♣ natural 5+, alpha asking
4NT Blackwood
5♣ 03 aces
No coincidence when EW asked, but after 5♣ W asked "what is it?". Now or sooner bids were explained as above, nobody asked and explained 2♥. No queries after final pass, no correction of bad explanation before lead.
4♠ lead, faced dummy with ♣ shortness and TD summoned. Before his call NS proposed to change lead. After call S told he thought as explained, but later he found out 2♣ as Stayman. TD didn't instruct NS to correct or add other explanations, and let to continue play.
Lead cashed by Q♠, A♥ and Q♥ to king, S discarded ♣ and ♠. ♣ to A, next ♣ to K, just made, hearts behave. TD's decision down 1.
After board N told: all my explanations were correct.
S: Because of bad light I saw 2 diamonds as hearts and bidded 1NT mistakenly. Before 5♥ bid I found out this mistake. We didn't play with N for several years, so it was my mistake to misunderstand Stayman as alpha. I found out this mistake after 5♥. Repeated question "from what did you find out?" he answered undetermined "so seemed", "so looked".
In appeal NS argued, that every lead must set the contract. After cashing K♥ it is clear from Blackwood, that A♣ is by E, so W must play A♠ and ♣. EW's opinion is, there were too many bad explained bids and was hard to believe this one is correct. They played board too confused from opps explanations, because all was very different from explanations. At start ♣ couldn't be led after misexplanations, after this lead contract would be set for sure.
How do you rule ?
Thanks.

Help

N S
1♣* 1NT
2♣* 2♥
4NT 5♣
5♥ 5NT
PASS