Pretty sure I've just proven a long time hunch in the  paper (pending review OFC!).  Cross-shard atomicity is primarily a property which manifests in the  state &amp; execution model *not* the consensus model!

$xrd $exrd     https://t.co/g2hSZ66P70