diff --git a/CLAUDE.md b/CLAUDE.md
index 5b8f430..1e6512f 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -58,7 +58,7 @@
 1. 改数据的表示或格式要求，让它不可能出现。例：要求研究者的三个数严格递增，就不存在"三个数相等"。
 2. 做不到，就在系统的边界检查，不满足就报错停下。边界指模型的提交、用户的配置、外部服务的返回。下面这些不算边界，不加检查：模块之间的调用，不为另一个模块可能传错参数而查；本项目自己写的程序的输出，包括放进容器里跑的校验器、检查脚本，读的时候按约定的格式直接用，不交叉核对它自己前后是否一致。真出现了，再按"遇到问题先找原因"去改。
 
-"可能会出现"不是写分支的理由：不写的代价只是它出现时停一次，写了的代价是一段平时跑不到、坏了也没人知道的代码。审别人的提议时也只问一句：不写会怎样？答案是"会报错停下"，就不写。
+"可能会出现"不是写分支的理由：不写的代价只是它出现时停一次，写了的代价是一段平时跑不到、坏了也没人知道的代码。审别人的提议时也只问一句：不写会怎样？答案是"会报错停下"，就不写。没有真实证据的可能情况，在报告里提一句就够，不写进 `WORK_LOG.md`：写进去会变成以后的待办，被下一个 Agent 补成专门处理。
 
 以下不防：用户本人中途改配置、改提示词、同时开两个进程、随时终止；有人在同一账号下故意用 shell 绕开规则；出错后马上就能看出来的问题。
 
diff --git a/WORK_LOG.md b/WORK_LOG.md
index 0433a5c..f3a58a0 100644
--- a/WORK_LOG.md
+++ b/WORK_LOG.md
@@ -73,7 +73,6 @@
 - 给 flow：容器名要在本机所有研究之间唯一（例如带研究编号）；`docker run` 因重名失败时 runner 按"启动了"处理。日志目录每次运行一个新的。
 - 给以后算"没有归属的改动"的模块：workspace 比较结果里块可以为空（空文件增删、只改可执行位），要按整个文件算。
 - 给 flow：取出时目标目录必须是空的，workspace 不查。
-- 空目录不进版本（git 只记文件）；候选依赖空目录时正式运行会失败。未见真实证据，只列为未处理的可能情况。
 - `tasks/circle_packing/TASK.md` 没告诉实验员 `unversionedNames` 里的东西不会存进版本（任务书 06 范围外，未改）。
 - 给以后换任务镜像：镜像里必须有 `setpriv`（runner 用它把命令降到当前用户）；容器里不要用 `python -I`，它会忽略 `PYTHON_CPU_COUNT`。
 
@@ -88,4 +87,4 @@
 
 ## 下一步
 
-任务书 06（workspace）已完成，等监督者核对。
+任务书 06 已核对通过（6850c0a）。下一个模块待和用户商量。