Enhance non-determinism reporting and planning for 3.0.1

Don't pull just yet. Needs better tests, clean CI and language review from ajgent.