Checkpoint: Assume Nothing

One program: an overflow-safe accumulator with a deliberate-wraparound hash, plus a volatile observation channel proving the optimizer did not fold your work away.