Formal reference: Extensible Markup Language (XML) 1.1.
Constraints on XML instances which are not checked:
Validity constraint: Root Element Type. The Name in the document type declaration must match the element type of the root element.
Entity Name: an attribute value of type ENTITY or ENTITIES must match the name of an unparsed entity declared in the DTD.
Constraints on DTDs which are not checked:
Notation Declared: in an unparsed entity, the name after NDATA must match the declared name of a notation.
Standalone Document Declaration.
Proper Declaration/PE Nesting.
Proper Group/PE Nesting.
Proper Conditional Section/PE Nesting.