3♦ was strong and forcing. So I don't remember the EXACT auction or hands (I tried to replicate it the best I could, but I think something is off), but it made me want to X 6♦ for a heart lead. Figure I'll mention that before people start calling me crazy for the X.
Considering I've already Xed, what does pass of 6NT mean? What does X mean? Does scoring format make a difference?
My partner and I have the following agreement: If we've made a lead directing X earlier in the auction and they bid on to slam, at IMPs a X of the final contract calls for a different lead than the one I asked for (pass asks they lead the suit I Xed), and at MP it still asks for the earlier lead, just going for a top (pass doesn't suggest to lead a different suit in this case). Is this a good agreement? Does the above situation apply to this rule (earlier X could have been made on a void)?
There was a BB hand where both tables let a slam through after this kind of situation.

Help

(1NT)-P-(3♦*)-P
(3NT)-P-(4♦)-P
(4NT)-P-(6♦)-X
(P)-P-(6NT)-?