gc_cn.md 中 为什么 a1 和 a2 在本轮 GC 中存活了？

[philo-veritas]

finalizer 原文中提到 ”在 step1 中, unreachable 中定义了 del 的对象的对应的 del 都会被调用, 并且所有的 unreachable 中的对象都会在当前这轮垃圾回收中存活“

a1 和 a2 最终不可达（final_unreachable），不是应该在本轮垃圾回收中被回收了吗？为什么会移到 old 中？