あと
> It is a static error [err:XQST0070] if the namespace URI for an EQName is `http://www.w3.org/2000/xmlns/`.
というのも地味に気になっている
XML Path Language (XPath) 3.1
https://www.w3.org/TR/2017/REC-xpath-31-20170321/#id-uri-literals
> XPath 3.1 requires a statically known, valid URI in a BracedURILiteral. An implementation may raise a static error [err:XQST0046] if the value of a Braced URI Literal is of nonzero length and is neither an absolute URI nor a relative URI.
https://www.w3.org/TR/2017/REC-xpath-31-20170321/#ERRXQST0070
このエラーはたぶん基本的には `xml` と w3 .org/2000/xmlns/ の名前空間は必ず互いだけに関連付けられているべきみたいな話なんだけど、 URIQualifiedName 中に出現する w3 .org/2000/xmlns/ はこれに反しているのか?そうは思えないんだけど