Dynamics of ideal transformers
I always considered that the currents are in phase but looking at your schematic I can see that on the primary current is entering at the dot end while on the secondary it is leaving at the dot end and feeding the load.
I suspect that this is what causes them to be out-of-phase in the analysis.

I think that you have correctly explained the other aspects in your question.