This bounded proof continues Python bootstrap state in a browser worker using the identical bundled WebAssembly module.
Ready. Serve this folder on localhost and run scripts/reducer_proof.py to create proof.json.