Saxon

https://www.saxonica.com/html/documentation12/functions/saxon/compile-query.html says

Saxon availability Requires Saxon-PE or Saxon-EE. Available for Java and C/C++ only (not .NET).

Notes on the Saxon implementation Available since Saxon 9.0. Not available in SaxonCS.

and https://www.saxonica.com/html/documentation12/functions/saxon/query.html says

Saxon availability Requires Saxon-PE or Saxon-EE. Available for Java and C/C++ only (not .NET).

Notes on the Saxon implementation Available since Saxon 9.1. The function is available both in XQuery and in XSLT. Not available in SaxonCS.

but for me SaxonCS 12.4 runs an example like

<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version="3.0"
  xmlns:xs="http://www.w3.org/2001/XMLSchema"
  xmlns:saxon="http://saxon.sf.net/"
  exclude-result-prefixes="#all">

  <xsl:param name="xquery-param1" as="xs:string" expand-text="no"><![CDATA[
  declare variable $x external; declare variable $y external; <z>{$x + $y + .}</z>
  ]]></xsl:param>

  <xsl:output indent="yes"/>

  <xsl:template match="/" name="xsl:initial-template">
    <result>
      <xsl:variable name="xquery1" select="saxon:compile-query($xquery-param1)"/>
      <xsl:variable name="xquery1-params" as="element()*">
         <x>3</x>
         <y>2</y>
      </xsl:variable>
      <xsl:sequence select="saxon:query($xquery1,4, $xquery1-params)"/>
    </result>
  </xsl:template>

</xsl:stylesheet>

without any problems.

Is the documentation not up to date or is SaxonCS 12 not supposed to support those two extension functions?