I've worked through a lot of the same reasoning as these people, and as technically correct as PAXOS might be, in the real world, causality at high frequency is a blur at best, and there is absolutely no need to impose the hard constraints that PAXOS and others imply.
The only cases where guaranteed constraint systems are needed are when you don't have traffic and at each time step all parties are capable of asking each other to confirm that from all frames of reference they all agree who and why someone committed first. Which is great, but makes zero sense in the real world.
At scale transactions are and should be committed on a best effort basis.
You don't look at your bank account and wonder why the T-Mobile payment went out slightly after your ATM withdrawal.
Why? Because... shrug. God said so. He works in mysterious ways.
This is awesome. Sign me up.