For reasons of familiarity in the main, BaseX^[37] was chosen as the development platform, so the code uses its dialect of XQuery 3.1. This means that dynamic validation relies on that, but a generated XQuery ("compiled schema") uses no engine-specific functions or syntax, so also runs under e.g. Saxon^[38]. See also the section called “Future work”.