A Fast, Scalable Protocol For Resolving Lightning Payments

It’s not that Alice could dispute the HTLC, it’s that she has to dispute the HTLC in order to follow the protocol.

I agree that the other party’s timestamps can’t be trusted. That is why the protocol never relies on them.

I agree.

I suspect that it’s possible to reach agreement in the vast majority of cases, but we can’t know until it’s tried in practice.