Prove output is reproducible, and state precisely where that guarantee stops. Use before submission and whenever output changes between identical runs. Unqualified determinism claims are almost always false.
