Artifact for "Mode Crossing"

Artifact for the ICFP 2026 submission "Mode Crossing". It contains the appendix `appendix.pdf`, a artifact archive with evaluation scripts `artifact.tar.gz`, a VM with everything precompiled `vm.tar.gz`, and a browser OxCaml playground `playground-static.tar.gz`.The artifact archive (and hence the VM) contain our OxCaml compiler sources, the measurement patch, scripts for reproducing the Section 5 timing table, and the Rocq proofs and scripts for checking them. See also `README.MD` and the separate reviewer guides. SHA256SUMS gives checksums for the uploaded archives. NOTE: We've been made aware of a minor bug in the support scripts for this artifact. One some machines, ./scripts/reproduce-artifact.sh or ./scripts/build-compiler.sh results in the following error: File "dune", lines 430-443, characters 0-277:430 | (rule431 | (deps432 | Makefile.build_config.....441 | yacc442 | (run make -s OCAMLYACC_INCLUDE_PATH=%{ocaml_where}))443 | (copy yacc/ocamlyacc ocamlyacc)))))../Makefile.build_config:27: ../Makefile.config: No such file or directorymake[1]: *** No rule to make target '../Makefile.config'. Stop. The workaround is to run ./scripts/build-compiler.sh multiple times.