14882:2003 における SFINAE の根拠は 14.8.2 だと思いますけれど，
ここは関数テンプレートにおける deduction についてしか記載していないので，
690 は 14882:2003 的には正当性が不明なのではないですかね？

ところで concept は， archetype test と
(スコープによって切り替えられる) concept map を
分離できなかったんでしょうかね？
個人的には後者が無いことの問題のほうが大きいと感じるので，
後者だけでも 0x までに何とかして欲しかった．