See, the error in your thinking is that you think "hard fork" means "chain split", and "soft fork" means "no chain split".
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.