Type a program. The trust & effect checker proves — live, in your browser — exactly what the code is allowed to do, and refuses anything that lies. The same client-side bundle can also run `main`, execute the published WASM backend in-browser, emit JavaScript, and show the live WebAssembly text for that same backend surface. No server; nothing leaves your tab.
Booting the checker…