Ask HN: How do you prove two machines computed the same float32 result?

Not approximately the same. Bit-identical. Across different hardware vendors, kernel versions, or driver stacks.

Logs and weight checksums don't answer this. Looking for anyone who has a working production answer or has hit this wall.