Понимание частичной специализации унаследованных вложенных шаблонов классов

Этот вопрос связан с предыдущий вопрос& в котором упоминался отчет об ошибке для gcc (предположительно исправленный в gcc 4.5.0) и касающийся некоторых особенностей частичной специализации шаблона вложенного класса.

Моя установка в том, что у меня есть класс Base с вложенным шаблоном класса Inner это частично специализируется на char (используя трюк с фиктивным параметром, потому что явная спецификация не разрешена в классе).

#include <type_traits>
#include <iostream>
#include <ios>

struct Base
{
// dummy template parameter...
template<class U, class _ = void> struct Inner: std::true_type {};

// ... to allow in-class partial specialization
template<class _> struct Inner<char, _>: std::false_type {};
};

Я сейчас определяю Derived класс для которого я еще хочу специализироваться Innerчто по какой-то странной причине не может быть сделано в классе (даже если это все еще частичная специализация).

struct Derived
:
Base
{
// cannot partially specialize Inner inside Derived...
//template<class _>
//struct Inner<int, _>: std::false_type {};
};

// ... but specializing Derived::Inner at namespace scope, also specializes it for Base::Inner
template<class _> struct Derived::Inner<int, _>: std::false_type {};

Первый вопрос: почему я должен частично специализироваться Derived::Inner в области имен пространства?

Но самое странное то, что когда я называю различные частичные специализации Inner от обоих Base а также Derivedчастичная специализация для int что я сделал только для Derivedтакже относится к Base,

int main()
{
std::cout << std::boolalpha << Base::Inner<float>::value << "\n";
std::cout << std::boolalpha << Derived::Inner<float>::value << "\n";

std::cout << std::boolalpha << Base::Inner<char>::value << "\n";
std::cout << std::boolalpha << Derived::Inner<char>::value << "\n";

std::cout << std::boolalpha << Base::Inner<int>::value << "\n";      // huh???
std::cout << std::boolalpha << Derived::Inner<int>::value << "\n";   // OK
}

Второй вопрос: почему Base::Inner<int>::value равно falseхотя бы только Derived::Inner<int> был частично специализирован?

Онлайн пример использования gcc 4.8.0. Я специально ищу цитаты из Стандарта, которые объясняют это поведение.