Five sources of nondeterminism that can break decentralized verification, from live web data and LLM judges to floating-point math and local clocks.