Il faudrait le leur demander, à mon avis.
Oui, en gros c'est ça.
C'est assez curieux de définir dans un en-tête des choses qui ne peuvent pas être utilisé dans un autre en-tête.
Version imprimable
Oui, je pensais effectivement à 3.2/5. (Je viens de le relire, dans N2315 : qu'est-ce que c'est long! Je me souvenais plus que c'était aussi indigeste - le coup du constructeur à la fin, c'est hyper-tordu.) (Ceci dit, cette clause pose quand même quelques problèmes.)
Par contre, je ne pensais pas du tout à aller cherche dans le chapitre 14 (parce que je ne pensais aux templates). D'ailleurs, la dernière phrase de 14.6.4.1/7 que tu cites dit exactement la même chose que l'avant-avant-dernière de 3.2/5 que tu coupes : "If D is a template, ... also to dependent names at the point of instantiation (14.6.2)."