The problem was annoying me, so I sat down and tried to slog it through. Warning - maths incoming
If a defender has exactly 4 Hearts, then the chance of him drawing exactly 5 Diamonds in his remaining 9 cards (out of the 7 Diamonds and 13 black cards for him to draw from) is:
(7/20 x 6/19 x 5/18 x 4/17 x 3/16 x 13/15 x 12/14 x 11/13 x 10/12) x (9! / (5! x 4!))) where the second term is the number of distinctly different orders in which he can draw diamonds and black cards
Cancelling some terms, this evaluates to 277,200 * 126 / 390,700,800, which is about 8.9%
But the defender might draw 6 Diamonds, the chance of which is (7/20 x 6/19 x 5/18 x 4/17 x 3/16 x 2/15 x 13/14 x 12/13 x 11/12) x (9! / (6! x 3!))), which works out to 1.2%
Or he might draw 7 Diamonds (0.046%), for a total chance of 10.15%
But the defender might have 5 Hearts, in which case he has only 8 draws to get 5 Diamonds (total chance about 5.25% for 5, 6 or 7 Diamonds), or even 6 Hearts, (total chance about 2.2%)
So:
48.5% of the time the Hearts break 4-2, 2/3 of those the Jack is with the long Hearts and in 10.15% of those cases the hand with 4 Hearts has 5 or more Diamonds, so the total added chance is 3.3%
14.5% of the time the Hearts break 5-1, 5/6 of those have the Jack with the long Hearts and in 5.25% of those cases the hand with 5 Hearts has 5 or more Diamonds, so the total added chance is 0.6%
1.5% of the time the Hearts break 6-0, half of those the finesse isn’t marked, and in 2.2% of those cases the hand with 6 Hearts has 5 or more Diamonds, so the total added chance is 0.01%
So finally summing the exclusive percentages, the chance of the Hearts lying favourably is 54.9%, and the chance of the red-suit squeeze working given that the Hearts are not favourable adds another 3.9%, giving a total probability of 58.8% of making the slam with best play on both sides.
From which we can conclude that 7NT was the wrong contract, since a 58.8% chance of success in the grand slam. is not worth gambling your dead-certain 6NT.
We can also conclude that slam bidding can never be an exact science, since if you change the Heart 10 to the Jack the grand slam is 100%, while if you change it to the 9 it goes down under 50%.
Congratulations on your grand slam!