> Optionally, they can take in a source of entropy to add nondeterminism, but this is not essential. If LLM providers all fixed their prng seeds to a static value, hardly anyone would notice

Everyone added /dev/random to their offerings, so every LLM tools for coding are non deterministic.