准入、更新与撤回

候选写入会把当前输入带到未来任务，因此准入、scope、时间、更正和撤回必须明确。同步与后台整理又引入并发和一致性，程序性行为的修改应拥有独立发布边界。

本组围绕可观察失败展开：过度记忆、漏记、串scope、旧值覆盖新值、删除后复活，以及第三方输入变成持续指令。每条控制都需要正常案例与对抗案例，不能只靠禁止全部写入获得安全分数。