This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In Section 7.1.10 (dynamic evaluation of fs:apply-ordering-mode()), the inference rule for the 'unordered' case contains the premise statEnv.orderingMode = ordered while it should contain the premise statEnv.orderingMode = unordered . Best wishes, --Torsten
Good catch. Yes that's just a mistake. This is fixed internally, and will be corrected in the next public document. Thanks Torsten, - Jerome