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