I am not sure 3N is the right bid, but that is where the bot ends. What surprises me is the discard of a ♣ from declarer at trick 2. With one ♠, 2 red aces the 6 ♣-tricks are ensuring the contract.
Not taking the ♥-finesse can probably be explained with some simulation, but I could not find a distribution, where discarding the ♣ was right, not even hunting overtricks