Hi Zsolt, On 10 Sep 2026, Zsolt Parragi wrote: > this approach is simple and works for all reported cases
I reviewed v4 and it looks correct to me. I also replaced the MVCC fetch with just PredicateLockTID(): the ordinary isolation test still passed, but all three probe-window permutations allowed both transactions to commit. The new test catches the race in my June approach. I checked the DO NOTHING and filtered DO UPDATE cases on REL_14_STABLE too, using the same code change without the injection point. All three permutations allow both transactions to commit without the fix, and produce the expected serialization failures with it. Thank you! Best regards, Andrey Borodin.
