From 301365a7e6b6c802969b98c307f1b313bc3e3257 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E9=9B=B7=E7=94=B5=E8=8A=BD=E8=A1=A3?= Date: Fri, 9 Oct 2026 22:02:59 -0400 Subject: [PATCH] Reviews for P-05 --- tasks/reviews/P-05-r1.md | 3 +++ tasks/reviews/P-05-r2.md | 1 + 2 files changed, 4 insertions(+) create mode 100644 tasks/reviews/P-05-r1.md create mode 100644 tasks/reviews/P-05-r2.md diff --git a/tasks/reviews/P-05-r1.md b/tasks/reviews/P-05-r1.md new file mode 100644 index 0000000..5387ffd --- /dev/null +++ b/tasks/reviews/P-05-r1.md @@ -0,0 +1,3 @@ +FAIL + +apps/ely-pdf/src/tests/notes.rs:346 — 页面变动期间拒绝批注的断言存在假阳性：测试手工设置 moving=true，此时 editing=false；若 edit_at 接受批注，next_edit 会立即将它出队执行，queue.is_empty() 仍为真。隔离副本中将 edits.rs:53 的整个拒绝条件替换为 if false 后，quick_strokes_queue_behind_each_other 仍通过（1/1）；使用真实 edit_pages 启动旋转的对照探针则确认批注被接受并使拒绝断言失败。该测试也绕过了 next_edit 设置 moving 的路径，缺少等待中页面编辑的覆盖。修复方向：分别通过真实运行中、等待中的页面编辑触发拒绝，检查失败提示，并等待队列落定后确认批注数量保持原值；再验证页面编辑完成后恢复接受批注。原始 worker 构建成功，ElyPDF 全部 129 项测试通过；变异与对照日志保存在 /tmp/p05-r1-mutation.log、/tmp/p05-r1-mutation-moving.log、/tmp/p05-r1-evidence.log，隔离源码与独立构建目录已删除。 diff --git a/tasks/reviews/P-05-r2.md b/tasks/reviews/P-05-r2.md new file mode 100644 index 0000000..7ef22e9 --- /dev/null +++ b/tasks/reviews/P-05-r2.md @@ -0,0 +1 @@ +PASS