I might have misunderstood that a bit. Still, I think this is a step in the wrong direction. The agreement on checkpoints seems to be a unneeded source of complexity.
That's my issue with it. Checkpoints are fine, but if only one implementation does it then it may cause a split. Fix the protocol and propagation, not mess with consensus.