My take is that there is presently no guarantee, and that with current efforts to add parallelism it is quite probable that observation of such non-orderedness is simply a matter of time. With batching it seems best to combine its use with single inserts in order to avoid this problem.
I wish that was not the conclusion, but at least it is clear!
Thanks for the help to both of you.