Behavior that can vary run‑to‑run, avoided in smart contracts to keep consensus deterministic.