mining has nothing to do with checkpoints. they are a relict which is no longer needed excapt for fasten up an initial sync.

when bitcoin forks every miner who uses the new software is mining on the new chaing and every miner on the old one is mining the old chain.

so no assumption needed: its all mathematic nothing more