Jurri, I think I have to disagree with some points in your list...
1) The order of rituals and forging seems to be a quasi-random only: All the casters/forgers are lined up in a queue (the same order that's visible on a strat screen, obviously mages of different nations mix) and the random part is whether the queue is resolved from first-to-last or last-to-first. This one's easy to test and I think I've already won one debate on these forums about it, so feel free to disagree.
3)-4) My impression is that the teleporting forces and sneakers ordered to 'attack current province' attack first, and the indie summons (Horrors, GRs, Phantasmal attacks) are the last attacker in the magic phase. So no cleaning up the province with GRs and teleporting a mage in on the same turn - it just doesn't work that way. I may err here, but that's the impression I've got.
Sneakers attacking provinces other than the one they were hiding in attack with the normally moving troops.