7.1.2 Creating Elements with xsl:element(XSL Transformations (XSLT))

If the namespace attribute is not present then the QName is expanded into an expanded-name using the namespace declarations in effect for the xsl:element element, including any default namespace declaration.

xsl:element要素にnamespace属性を与えない場合、name属性に与えられたQNameが展開されたものがその要素の展開名として使用される。接頭辞の無いQNameなら当然デフォルトの名前空間を探してくれる。この場合(namespace属性を与えない場合)マッピングされ済みなのだから、実装が出力する際、勝手な接頭辞を付けないはずなのだが、その辺りの確証が得られなかった。疲れたよもう。