This is not the Rust binary. A browser cannot execute it. What runs here is a JavaScript reimplementation of the same checks, speaking the same JSON-RPC over the same WebSocket — same request ids, same failure kinds, same rule that an unprovable requirement fails rather than passes. The connection is made directly from your browser to the node you name; nothing is proxied and no data leaves your machine. To run the actual binary instead, use the deployment that hosts it.