The question gives a good description of the formation of rime ice.
Hoar frost would not be confined to the leading edges.