The kernel front-end (dart2wasm) compiles your source to kernel bytes in-page, the VM (emcc with an ARM simulator) executes it, and the Dart analyzer (also dart2wasm) provides type checking and diagnostics live as you type.