3.1.1 Static Context

"If analysis of an expression relies on some component of the static
context that has not been assigned a value, a static error is raised.
This constraint is formalized in [3.3 Error Handling]."
    Section 3.3 doesn't have that rule any more.

"The statEnv.xpath1.0_compatibility environment"
"The statEnv.default_elem_namespace environment"
[etc]
    Section 2.1.4 says:
    "An environment is a dictionary that maps a symbol ... to an object."
    so it's contradictory (as well as just odd) to refer to these
    non-dictionary properties as environments.

"statEnv.funcType"
"define function QName (Type1, ..., Typen) return Type"
    You need a non-terminal/pattern for this construct.
    The rules in section 4.1.5 use FunctionDecl, which is something else.
    Also, they say "declare" rather than "define", and "expanded-QName"
    rather than "QName".

inference rule
    Expr* is incorrect. Expr* does not occur anywhere.
    Note that a QueryBody is just an Expr.

    And there should presumably be a semicolon between URI and Expr.

    And the "statEnv |- Expr" syntax (without ": Type") is not used any
    more, that I can find.

    You might want to use a different example, since this one doesn't
    actually occur.