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.