I wish the references to Spanner included exactly what aspects; as it's presented here is very hand-wavy. Assuming he means syncing physical clocks with uncertainty windows, those windows have tolerances acceptable for batching together transactions, but probably not every casual dependency within any program. If he means waiting out _logical_ clocks' uncertainty window, isn't that serializing everything?

I'm definitely going to read more about this work to learn more!