A checkpoint does provide finality.

What we need discuss is how to add checkpoint.

Adding by someone is not acceptable, because it leads to centralization.

Adding by a rolling rule like BCH is not good enough, because splitted miners certainly will choose different checkpoints.

We have to make a consensus on the finalized block.

This is the key point.