ICOT
Thanks for your reply, and for confirming that it sounds OK. Your assumptions seem correct to the best of my knowledge. The fan wire will be connected to the additional spliced wires that were not connected to the old fixture.
Interesting point about adding an outlet. I wasn’t planning to do that, and now I will continue to not plan it :).