Identifying and Resolving Non-Deterministic Execution Paths in Distributed State Machines

In distributed systems, the promise of consensus is that every node, given the same sequence of inputs, will arrive at the identical state. When a validation node begins producing state roots that div