用四个字段核对单局 Limbo 结果，分清能证明什么、不能证明什么。

从哈希承诺、服务器种子到 nonce，逐步检查某一局结果是否与公开算法一致。