BBML0 六步序列 × CPU1 任意时刻访问

关键前提：旧页（PA_old）的回收/复用不早于 Break 完成（④）——BBML0 的软件约定（KVM unmap 路径"置 invalid → TLBI → put_page"）。有了它，命中旧 entry 返回的 PA_old 永远落在活着的旧页上。