用完整InnoDB实验复现重复键和回滚后的自增空洞，说明锁模式、批量预留、提交顺序及业务连续编号之间的边界。