Multiple concurrent invocation of createIndex() operation for the same unique index contract

I’m attaching sequence diagrams that show expected (if answer for Q2 is: yes, it’s guaranteed) and observed behaviour: