XML-схема с расширением смешанного элемента

Короче говоря, я сомневаюсь: расширяя смешанный тип элемента в XML-схеме W3C, нужно ли нам явно объявлять расширенный элемент? Или это неявно вытекает из того факта, что тип расширенного элемента является смешанным?

Самый простой пример, который мне удалось создать, следующий.

Учитывая следующий файл XML-схемы «foo.xsd»

<?xml version = "1.0" encoding = "utf-8"?>

<xs:schema xmlns:xs = "http://www.w3.org/2001/XMLSchema">

  <xs:complexType name = "mixedElement" mixed = "true">
    <xs:choice minOccurs = "0" maxOccurs = "unbounded">
      <xs:element name = "elem"/>
    </xs:choice>
  </xs:complexType>

  <xs:element name = "root">
    <xs:complexType>
      <xs:complexContent>
        <xs:extension base = "mixedElement"/>
      </xs:complexContent>
    </xs:complexType>
  </xs:element>

</xs:schema>

где элемент mixed = "true расширяет сложный тип root (явно mixedElement), но без mixed = "true", и задан следующий тривиальный XML-файл "foo.xml"

<?xml version = "1.0" encoding = "utf-8"?>

<root
  xmlns:xsi = "http://www.w3.org/2001/XMLSchema-instance"
  xsi:noNamespaceSchemaLocation = "foo.xsd">abc<elem/>xyz</root>

где содержимое элемента mixed = "true" смешано, мы имеем это в соответствии с root

xmllint --noout --schema foo.xsd foo.xml

«foo.xml» действителен, но, согласно валидатору XML-схемы (библиотека Python), это не так, потому что

  File "/usr/lib/python3/dist-packages/xmlschema/validators/schemas.py", line 1678, in validate
    raise error
xmlschema.validators.exceptions.XMLSchemaValidationError: failed validating <Element 'root' at 0x7f3592775260> with XsdGroup(model='sequence', occurs=[1, 1]):

Reason: character data between child elements not allowed

«foo.xml» действителен для обоих валидаторов, если я добавляю xmllint к элементу mixed = "true".

<xs:element name = "root" mixed = "true"> <!-- added mixed = "true" -->

Итак, вопрос в том, кто прав в соответствии с рекомендациями W3C XML Schema?

root, значит, файл "foo.xml" действителен?

Или библиотека Python XML Schema Validator, которая говорит, что это не так?

--- РЕДАКТИРОВАТЬ ---

Как предложил Майкл Кей в своем ответе («Посмотрите, что произойдет, если вы сделаете расширение нетривиальным, добавив некоторое содержимое элемента»), я добавил элемент xmllint в расширение схемы (новый файл «bar.xsd» )

<?xml version = "1.0" encoding = "utf-8"?>

<xs:schema xmlns:xs = "http://www.w3.org/2001/XMLSchema">

  <xs:complexType name = "mixedElement" mixed = "true">
    <xs:choice minOccurs = "0" maxOccurs = "unbounded">
      <xs:element name = "elem"/>
    </xs:choice>
  </xs:complexType>

  <xs:element name = "root">
    <xs:complexType>
      <xs:complexContent>
        <xs:extension base = "mixedElement">
          <xs:choice minOccurs = "0" maxOccurs = "unbounded">
            <xs:element name = "elem2"/>
          </xs:choice>
        </xs:extension>
      </xs:complexContent>
    </xs:complexType>
  </xs:element>

</xs:schema>

и добавил элемент elem2 в файл XML ("bar.xml")

<?xml version = "1.0" encoding = "utf-8"?>

<root
  xmlns:xsi = "http://www.w3.org/2001/XMLSchema-instance"
  xsi:noNamespaceSchemaLocation = "bar.xsd">abc<elem/>xyz<elem2>123</elem2>abc</root>

Теперь оба валидатора согласны.

XML-файл недействителен согласно elem2

bar.xsd:12: element complexType: Schemas parser error : local complex type: The content type of both, the type and its base type, must either 'mixed' or 'element-only'.
WXS schema bar.xsd failed to compile

а также согласно библиотеке Python

xmlschema.validators.exceptions.XMLSchemaParseError: base has a different content type (mixed=True) and the extension group is not empty: