[xsl] base uri and % encoding

[David Carlisle <davidc@xxxxxxxxx>]

Somewhere between the xsl, xquery, xdm, xml base and xml infoset
drafts I got confused about when and if the values returned by
base-uri() and friends are % encoded.

using saxonB 8.8j as a reference, in XQuery 


   declare base-uri "data:,""";
   static-base-uri()

returns

data:,"


while the XSL

<xsl:stylesheet version="2.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"; xml:base="data:,&quot;">
  <xsl:template name="main">
    <xsl:value-of select="static-base-uri()"/>
  </xsl:template>
</xsl:stylesheet>

returns

data:,%22




Are both those answers correct?
If so, is it possible for _any_ XSL stylesheet to produce the
same output as the first XQuery?
If not, which one is wrong?

David