You’re hiding behind definitions. In the real world, a contested checkpoint forces a chain choice and locks in history, which is a split in everything but name. Calling it soft doesn’t change that...
Yeah same is true for BIP110, and that’s the point.
1
