连续性 P4: 采集器闭合带内、生成者隔离和保证测试

转换连续性计划的 P4 阶段 (#2532 发布 P0–P2): 关闭和证明层 — G5 保证(没有僵尸)以及保持整个设计永久诚实的属性测试。