It's nice to see the "Advanced" (in reality 20th century original) robot finally distinguished from the dumbed-down free version (at least during the tournament) but depressing to be reminded that it really can't be trusted in slam bidding, even if you ignore it.
Yes I plead guilty to not knowing (or illegally peeking) the follow-ups to 3
♠ after Lebensohl, but surely 6
♥ has to be "I am not interested in spades and
don't trust you want to play 6
♥"? It seems masochistic to sacrifice this bid to showing a huge balanced hand with clubs and spades support.
WRT legality and disclosure, it is also dubious that 2NT was explained as "forces 3
♣", yet 3
♣ and successive were explained as "3-5
♣".
My link