A 2.3 KB WebAssembly module — zero imports, compiled from the same det_math.rs the node
ships — reruns VERSE's entire floating-point library in your browser's engine and folds every
output bit into one digest. Published from native x86 and wasmtime: 0xb87421e672bdf23a. If
your machine prints the same number, three unrelated compilers just agreed to the last bit — and that
is the whole reason an honest re-run can catch a liar.
The browser is one engine. Clone the repo and reproduce the identical value natively (your x86/ARM), under wasmtime (cranelift), and under a JS engine (V8 / JavaScriptCore) — three independent wasm compilers:
cd verse-node bash scripts/prove-det-wasm.sh # native ↔ wasmtime → 0xb87421e672bdf23a bash scripts/prove-det-js.sh # ↔ V8 / JavaScriptCore → same digest