Cross-language determinism

Betkyo's JavaScript verifier rounds a hash exactly once to match its Kotlin server bit for bit

The engine reads the leading bytes of a 256-bit hash as two integers a double holds exactly and adds them in one operation, matching the server's single Long-to-Double rounding. Crash avoids doubles entirely.