dsh-vibe-math 2.3.0 → 2.3.2

package/prompt-corpus-v5/prompt-corpus-v5.md

@@ -3,7 +3,7 @@
 由 `prompt-v5-integrity.test.mjs` 在每次运行时重写。这里保存的是**框架真正发给每个
 成员的提示词原文**，用于人工复核提示词分配、成员代号与交互内容的正确性。
 
-- 生成时刻的工作区路径被替换为 `<WS>`，因此内容是确定性的、可 diff 的。
+- 生成时刻的工作区路径被替换为 `<WS>`，VibeMath 根被替换为 `<VIBEMATH>`（与 v2/v3/v4 的语料一致，可并排 diff），因此内容是确定性的、可 diff 的。
 - `owner` 是这条提示词**实际发给的成员**；`kind` 是提示词类型。
 - 人设（charter/persona）按成员只完整打印一次，其余条目只记录字符数。
 - 这是提示词正确性的人工复核入口：任何“成员代号/职位/在册名单/交互署名”问题
@@ -11,26 +11,25 @@
 
 ---
 
-## [1] kind=`inbox-office-assign` owner=`r-2`
+## [1] kind=`notice-task` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-【第 9 轮 —— 常驻研究员 r-2】
+[新到的消息]
+  【框架提示】task_update 未生效（V5_TASK_STALE_REVISION）：task t-1 is at revision 1, not 99 — re-read it with vibe_v5_task_get
+
+【第 6 轮 —— 常驻研究员 r-1】
 
 请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
 结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
 
 ------------
-[状态] 你是 r-2（常驻研究员）｜轮次 9｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-1（常驻研究员）｜轮次 6｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
-[任务板] 进行中 2｜可认领 0｜我负责 t-1「核验模 9 情形」、t-2「所办指派」
-  ▸ 我的任务 t-1：核验模 9 情形｜验收：给出模 9 全表｜由 acad 分派
-    你最熟同余
-  ▸ 我的任务 t-2：所办指派｜验收：给出结论｜由 office 分派
-    所办决定
+[任务板] 进行中 0｜可认领 1｜我负责 无
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
 {
@@ -119,13 +118,16 @@
 ### 提示词原文
 
 ```text
-【第 11 轮 —— 常驻研究员 r-2】
+[新到的消息]
+  【督办 from office】所办督办：所办督办一下
+
+【第 12 轮 —— 常驻研究员 r-2】
 
 请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
 结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
 
 ------------
-[状态] 你是 r-2（常驻研究员）｜轮次 11｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-2（常驻研究员）｜轮次 12｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 [任务板] 进行中 2｜可认领 0｜我负责 t-1「核验模 9 情形」、t-2「所办指派」
   ▸ 我的任务 t-1：核验模 9 情形｜验收：给出模 9 全表｜由 acad 分派
@@ -168,16 +170,13 @@
 ### 提示词原文
 
 ```text
-[新到的消息]
-  【督办 from office】所办督办：所办督办一下
-
-【第 12 轮 —— 常驻研究员 r-2】
+【第 11 轮 —— 常驻研究员 r-2】
 
 请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
 结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
 
 ------------
-[状态] 你是 r-2（常驻研究员）｜轮次 12｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-2（常驻研究员）｜轮次 11｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 [任务板] 进行中 2｜可认领 0｜我负责 t-1「核验模 9 情形」、t-2「所办指派」
   ▸ 我的任务 t-1：核验模 9 情形｜验收：给出模 9 全表｜由 acad 分派
@@ -213,25 +212,26 @@
 
 ---
 
-## [5] kind=`notice-task` owner=`r-1`
+## [5] kind=`inbox-office-assign` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-[新到的消息]
-  【框架提示】task_update 未生效（V5_TASK_STALE_REVISION）：task t-1 is at revision 1, not 99 — re-read it with vibe_v5_task_get
-
-【第 6 轮 —— 常驻研究员 r-1】
+【第 9 轮 —— 常驻研究员 r-2】
 
 请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
 结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
 
 ------------
-[状态] 你是 r-1（常驻研究员）｜轮次 6｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-2（常驻研究员）｜轮次 9｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
-[任务板] 进行中 0｜可认领 1｜我负责 无
+[任务板] 进行中 2｜可认领 0｜我负责 t-1「核验模 9 情形」、t-2「所办指派」
+  ▸ 我的任务 t-1：核验模 9 情形｜验收：给出模 9 全表｜由 acad 分派
+    你最熟同余
+  ▸ 我的任务 t-2：所办指派｜验收：给出结论｜由 office 分派
+    所办决定
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
 {
@@ -1419,52 +1419,43 @@
 
 恢复说明：
   
-### 2026-09-22 01:23:44｜acad
+### <TIME>｜acad
 acad：初始见解。
 
-### 2026-09-22 01:23:44｜acad
+### <TIME>｜acad
 acad：初始见解。
 
-### 2026-09-22 01:23:45｜acad
+### <TIME>｜acad
 acad：继续推进。
 
-### 2026-09-22 01:23:45｜acad
+### <TIME>｜acad
 acad：继续推进。
 
-### 2026-09-22 01:23:45｜acad
+### <TIME>｜acad
 acad：继续推进。
 
-### 2026-09-22 01:23:45｜acad
+### <TIME>｜acad
 acad：继续推进。
 
-### 2026-09-22 01:23:45｜acad
-acad：继续推进。
-
-### 2026-09-22 01:23:45｜acad
-acad：继续推进。
-
-### 2026-09-22 01:23:45｜acad
-acad：继续推进。
-
-### 2026-09-22 01:23:46｜acad
+### <TIME>｜acad
 acad：初始见解。
 
-### 2026-09-22 01:23:46｜acad
+### <TIME>｜acad
 acad：继续推进。
 
-### 2026-09-22 01:23:46｜acad
+### <TIME>｜acad
 acad：继续推进。
 
-### 2026-09-22 01:23:46｜acad
+### <TIME>｜acad
 acad：继续推进。
 
-### 2026-09-22 01:23:46｜acad
+### <TIME>｜acad
 acad：初始见解。
 
-### 2026-09-22 01:23:47｜acad
+### <TIME>｜acad
 acad：初始见解。
 
-### 2026-09-22 01:23:47｜acad
+### <TIME>｜acad
 acad：初始见解。
 
 
@@ -1519,55 +1510,49 @@ acad：初始见解。
 
 恢复说明：
   
-### 2026-09-22 01:23:44｜r-1
+### <TIME>｜r-1
 r-1：初始见解。
 
-### 2026-09-22 01:23:44｜r-1
+### <TIME>｜r-1
 r-1：初始见解。
 
-### 2026-09-22 01:23:45｜r-1
-r-1：继续推进。
-
-### 2026-09-22 01:23:45｜r-1
+### <TIME>｜r-1
 r-1：继续推进。
 
-### 2026-09-22 01:23:45｜r-1
+### <TIME>｜r-1
 r-1：继续推进。
 
-### 2026-09-22 01:23:45｜r-1
+### <TIME>｜r-1
 r-1：继续推进。
 
-### 2026-09-22 01:23:45｜r-1
-r-1：继续推进。
-
-### 2026-09-22 01:23:45｜r-1
-r-1：继续推进。
+### <TIME>｜r-1
+r-1：初始见解。
 
-### 2026-09-22 01:23:45｜r-1
+### <TIME>｜r-1
 r-1：继续推进。
 
-### 2026-09-22 01:23:46｜r-1
+### <TIME>｜r-1
 r-1：初始见解。
 
-### 2026-09-22 01:23:46｜r-1
+### <TIME>｜r-1
 r-1：继续推进。
 
-### 2026-09-22 01:23:46｜r-1
+### <TIME>｜r-1
 r-1：初始见解。
 
-### 2026-09-22 01:23:47｜r-1
+### <TIME>｜r-1
 r-1：继续推进。
 
-### 2026-09-22 01:23:47｜r-1
+### <TIME>｜r-1
 r-1：继续推进。
 
-### 2026-09-22 01:23:47｜r-1
+### <TIME>｜r-1
 r-1：继续推进。
 
-### 2026-09-22 01:23:47｜r-1
+### <TIME>｜r-1
 r-1：初始见解。
 
-### 2026-09-22 01:23:47｜r-1
+### <TIME>｜r-1
 r-1：初始见解。
 
 
@@ -1618,67 +1603,58 @@ r-1：初始见解。
 
 恢复说明：
   
-### 2026-09-22 01:23:44｜r-2
+### <TIME>｜r-2
 r-2：初始见解。
 
-### 2026-09-22 01:23:45｜r-2
+### <TIME>｜r-2
 r-2：初始见解。
 
-### 2026-09-22 01:23:45｜r-2
-r-2：继续推进。
-
-### 2026-09-22 01:23:45｜r-2
-r-2：继续推进。
-
-### 2026-09-22 01:23:45｜r-2
+### <TIME>｜r-2
 r-2：继续推进。
 
-### 2026-09-22 01:23:45｜r-2
+### <TIME>｜r-2
 r-2：继续推进。
 
-### 2026-09-22 01:23:45｜r-2
+### <TIME>｜r-2
 r-2：继续推进。
 
-### 2026-09-22 01:23:45｜r-2
-r-2：继续推进。
-
-### 2026-09-22 01:23:46｜r-2
+### <TIME>｜r-2
 r-2：初始见解。
 
-### 2026-09-22 01:23:46｜r-2
+### <TIME>｜r-2
 r-2：继续推进。
 
-### 2026-09-22 01:23:46｜r-2
+### <TIME>｜r-2
 r-2：继续推进。
 
-### 2026-09-22 01:23:46｜r-2
+### <TIME>｜r-2
 r-2：继续推进。
 
-### 2026-09-22 01:23:46｜r-2
+### <TIME>｜r-2
 r-2：继续推进。
 
-### 2026-09-22 01:23:46｜r-2
+### <TIME>｜r-2
 r-2：继续推进。
 
-### 2026-09-22 01:23:46｜r-2
+### <TIME>｜r-2
 r-2：继续推进。
 
-### 2026-09-22 01:23:46｜r-2
+### <TIME>｜r-2
 r-2：继续推进。
 
-### 2026-09-22 01:23:46｜r-2
+### <TIME>｜r-2
 r-2：继续推进。
 
-### 2026-09-22 01:23:46｜r-2
+### <TIME>｜r-2
 r-2：初始见解。
 
-### 2026-09-22 01:23:47｜r-2
+### <TIME>｜r-2
 r-2：初始见解。
 
-### 2026-09-22 01:23:47｜r-2
+### <TIME>｜r-2
 r-2：继续推进。
 
-### 2026-09-22 01:23:47｜r-2
+### <TIME>｜r-2
 r-2：初始见解。
 
 
@@ -1764,23 +1740,22 @@ r-2：初始见解。
 
 ---
 
-## [17] kind=`normal` owner=`r-2`
+## [17] kind=`normal` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-[新到的消息]
-  【研究所·私信 from r-1】请把你手上的结论同步给我。
-
-【第 1 轮 —— 常驻研究员 r-2】
+【心跳检查 —— 院士 acad】
 
-请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
-结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
+所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
+读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
+或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
+如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 acad（院士）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -1793,6 +1768,10 @@ r-2：初始见解。
   "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
              介于两者之间=弃权/存疑；只在被要求表决时填。
   "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
+  "convene_meeting": {"agenda":"…","kind":"…","target":"…"}   ← 你（院士）可以直接召开，无需他人附议，
+  "assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1}   ← 院士分派任务，
+  "prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"}   ← 设定全所优先级，
+  "nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"}，
   "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
   "task_claim": "t-3",
   "task_done": "t-3",
@@ -1811,14 +1790,14 @@ r-2：初始见解。
 
 ---
 
-## [18] kind=`normal` owner=`r-1`
+## [18] kind=`normal` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-【心跳检查 —— 常驻研究员 r-1】
+【心跳检查 —— 院士 acad】
 
 所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
 读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
@@ -1826,7 +1805,7 @@ r-2：初始见解。
 如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 acad（院士）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -1839,6 +1818,10 @@ r-2：初始见解。
   "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
              介于两者之间=弃权/存疑；只在被要求表决时填。
   "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
+  "convene_meeting": {"agenda":"…","kind":"…","target":"…"}   ← 你（院士）可以直接召开，无需他人附议，
+  "assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1}   ← 院士分派任务，
+  "prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"}   ← 设定全所优先级，
+  "nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"}，
   "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
   "task_claim": "t-3",
   "task_done": "t-3",
@@ -1872,7 +1855,7 @@ r-2：初始见解。
 如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 acad（院士）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 acad（院士）｜轮次 4｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -1922,7 +1905,7 @@ r-2：初始见解。
 如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 r-1（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -1953,14 +1936,14 @@ r-2：初始见解。
 
 ---
 
-## [21] kind=`normal` owner=`r-2`
+## [21] kind=`normal` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-【心跳检查 —— 常驻研究员 r-2】
+【心跳检查 —— 常驻研究员 r-1】
 
 所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
 读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
@@ -1968,7 +1951,7 @@ r-2：初始见解。
 如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 r-2（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-1（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -1999,14 +1982,14 @@ r-2：初始见解。
 
 ---
 
-## [22] kind=`normal` owner=`acad`
+## [22] kind=`normal` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-【心跳检查 —— 院士 acad】
+【心跳检查 —— 常驻研究员 r-1】
 
 所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
 读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
@@ -2014,7 +1997,7 @@ r-2：初始见解。
 如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 acad（院士）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-1（常驻研究员）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -2027,10 +2010,6 @@ r-2：初始见解。
   "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
              介于两者之间=弃权/存疑；只在被要求表决时填。
   "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
-  "convene_meeting": {"agenda":"…","kind":"…","target":"…"}   ← 你（院士）可以直接召开，无需他人附议，
-  "assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1}   ← 院士分派任务，
-  "prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"}   ← 设定全所优先级，
-  "nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"}，
   "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
   "task_claim": "t-3",
   "task_done": "t-3",
@@ -2049,22 +2028,23 @@ r-2：初始见解。
 
 ---
 
-## [23] kind=`normal` owner=`r-1`
+## [23] kind=`normal` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-【心跳检查 —— 常驻研究员 r-1】
+[新到的消息]
+  【研究所·私信 from r-1】请把你手上的结论同步给我。
 
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
+【第 1 轮 —— 常驻研究员 r-2】
+
+请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
+结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
 
 ------------
-[状态] 你是 r-1（常驻研究员）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -2110,7 +2090,7 @@ r-2：初始见解。
 如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 r-2（常驻研究员）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-2（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -2141,14 +2121,14 @@ r-2：初始见解。
 
 ---
 
-## [25] kind=`normal` owner=`acad`
+## [25] kind=`normal` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-【心跳检查 —— 院士 acad】
+【心跳检查 —— 常驻研究员 r-2】
 
 所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
 读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
@@ -2156,7 +2136,7 @@ r-2：初始见解。
 如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 acad（院士）｜轮次 4｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-2（常驻研究员）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -2169,10 +2149,6 @@ r-2：初始见解。
   "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
              介于两者之间=弃权/存疑；只在被要求表决时填。
   "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
-  "convene_meeting": {"agenda":"…","kind":"…","target":"…"}   ← 你（院士）可以直接召开，无需他人附议，
-  "assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1}   ← 院士分派任务，
-  "prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"}   ← 设定全所优先级，
-  "nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"}，
   "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
   "task_claim": "t-3",
   "task_done": "t-3",
@@ -2206,8 +2182,8 @@ r-2：初始见解。
 如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 r-1（常驻研究员）｜轮次 4｜法定票数 m=3｜有表决权者 3 人
-[在册] acad、r-1、r-2
+[状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=1｜有表决权者 1 人
+[在册] r-1
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
 {
@@ -2237,528 +2213,94 @@ r-2：初始见解。
 
 ---
 
-## [27] kind=`checkpoint` owner=`r-2`
+## [27] kind=`verify` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-【心跳检查 —— 常驻研究员 r-2】
+【求真表决 —— 院士 acad 就对象 p-lemma-a 投票】
 
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
+本所正在对下列对象发起共识验证：
+  对象：p-lemma-a（类型：命题）
+  陈述：若 n>2 则不存在整数解。
+
+请给出你**诚实独立的判断**：
+  verdict = 1  表示你认为该对象**绝对为真**；
+  verdict = 0  表示你认为该对象**绝对为假**；
+  介于 0 与 1 之间（例如 0.9）表示你不确定——这会被记为**弃权/存疑**，
+  不计入法定票数 m，但会计入全组平均概率。
+
+**不要为了配合别人而改票，也不要为了让流程往前走而给出你不相信的 1 或 0。**
+本所宁可留下未定论，也不要一个骗人的结论。
 
 ------------
-[状态] 你是 r-2（常驻研究员）｜轮次 4｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 acad（院士）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
-结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
-{
-  "say": "你想对全所说的话（群聊）"  或  {"to":"r-2","text":"…"}（私信）  或  {"to":"voters","text":"…"}（只对表决者），
-  "progress": "本轮进展叙述（会被追加到你的 Progress/progress.md）",
-  "record": [ {"kind":"proposition|method|subproblem","id":"p-x","title":"…","statement":"…",
-               "content":"…（method 用）","value":0.6,"motive":"为何重要/打算怎么用","p":0.7} ],
-  "propose_verify": {"target":"p-x","kind":"proposition|method|subproblem","reason":"为何值得验证"},
-  "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
-             介于两者之间=弃权/存疑；只在被要求表决时填。
-  "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
-  "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
-  "task_claim": "t-3",
-  "task_done": "t-3",
-  "task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
-  "input": "本轮会议/辩论的发言正文（会议轮用；也可直接用 say）",
-  "reject_assign": {"task_id":"t-3","why":"你对这项分派的异议理由"}   ← 有异议时填；理由会被广播给
-             全体表决者（任务仍会执行，但你的理由不会被埋掉），
-  "hire": {"purpose":"…","initial_task":"…","direction":"…"}   ← 雇佣一名临时工（说明用途与初始任务），
-  "fire": {"id":"t-2","reason":"…"}                             ← 解雇（雇主/院士；你只能解雇你雇的），
-  "vote_solved": true|false,   ← 你是否认为**原问题已解决**（会议/结题表决用；必须诚实）
-  "solved": false,           ← 你这一轮的个人判断（框架据此了解全所收敛度）
-  "contextPct": 40,          ← 你当前上下文的占用百分比（0-100）
-  "compacted": false          ← 若框架要求你压缩，填 true 并在 progress 里写下浓缩后的工作状态
-}
+结束时请**只**输出一个 JSON 对象（```json 围栏内）：
+{"verdict":{"target":"p-lemma-a","verdict":<0-1 数值>,"reason":"<你的理由>"}, "contextPct": 40}
 ```
 
 ---
 
-## [28] kind=`checkpoint` owner=`acad`
+## [28] kind=`verify` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-【心跳检查 —— 院士 acad】
+【求真表决 —— 常驻研究员 r-1 就对象 p-lemma-a 投票】
 
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
+本所正在对下列对象发起共识验证：
+  对象：p-lemma-a（类型：命题）
+  陈述：若 n>2 则不存在整数解。
+
+请给出你**诚实独立的判断**：
+  verdict = 1  表示你认为该对象**绝对为真**；
+  verdict = 0  表示你认为该对象**绝对为假**；
+  介于 0 与 1 之间（例如 0.9）表示你不确定——这会被记为**弃权/存疑**，
+  不计入法定票数 m，但会计入全组平均概率。
+
+**不要为了配合别人而改票，也不要为了让流程往前走而给出你不相信的 1 或 0。**
+本所宁可留下未定论，也不要一个骗人的结论。
 
 ------------
-[状态] 你是 acad（院士）｜轮次 5｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
-结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
-{
-  "say": "你想对全所说的话（群聊）"  或  {"to":"r-2","text":"…"}（私信）  或  {"to":"voters","text":"…"}（只对表决者），
-  "progress": "本轮进展叙述（会被追加到你的 Progress/progress.md）",
-  "record": [ {"kind":"proposition|method|subproblem","id":"p-x","title":"…","statement":"…",
-               "content":"…（method 用）","value":0.6,"motive":"为何重要/打算怎么用","p":0.7} ],
-  "propose_verify": {"target":"p-x","kind":"proposition|method|subproblem","reason":"为何值得验证"},
-  "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
-             介于两者之间=弃权/存疑；只在被要求表决时填。
-  "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
-  "convene_meeting": {"agenda":"…","kind":"…","target":"…"}   ← 你（院士）可以直接召开，无需他人附议，
-  "assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1}   ← 院士分派任务，
-  "prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"}   ← 设定全所优先级，
-  "nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"}，
-  "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
-  "task_claim": "t-3",
-  "task_done": "t-3",
-  "task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
-  "input": "本轮会议/辩论的发言正文（会议轮用；也可直接用 say）",
-  "reject_assign": {"task_id":"t-3","why":"你对这项分派的异议理由"}   ← 有异议时填；理由会被广播给
-             全体表决者（任务仍会执行，但你的理由不会被埋掉），
-  "hire": {"purpose":"…","initial_task":"…","direction":"…"}   ← 雇佣一名临时工（说明用途与初始任务），
-  "fire": {"id":"t-2","reason":"…"}                             ← 解雇（雇主/院士；你只能解雇你雇的），
-  "vote_solved": true|false,   ← 你是否认为**原问题已解决**（会议/结题表决用；必须诚实）
-  "solved": false,           ← 你这一轮的个人判断（框架据此了解全所收敛度）
-  "contextPct": 40,          ← 你当前上下文的占用百分比（0-100）
-  "compacted": false          ← 若框架要求你压缩，填 true 并在 progress 里写下浓缩后的工作状态
-}
+结束时请**只**输出一个 JSON 对象（```json 围栏内）：
+{"verdict":{"target":"p-lemma-a","verdict":<0-1 数值>,"reason":"<你的理由>"}, "contextPct": 40}
 ```
 
 ---
 
-## [29] kind=`checkpoint` owner=`r-1`
+## [29] kind=`verify` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-【心跳检查 —— 常驻研究员 r-1】
+【求真表决 —— 常驻研究员 r-2 就对象 p-lemma-a 投票】
 
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
+本所正在对下列对象发起共识验证：
+  对象：p-lemma-a（类型：命题）
+  陈述：若 n>2 则不存在整数解。
+
+请给出你**诚实独立的判断**：
+  verdict = 1  表示你认为该对象**绝对为真**；
+  verdict = 0  表示你认为该对象**绝对为假**；
+  介于 0 与 1 之间（例如 0.9）表示你不确定——这会被记为**弃权/存疑**，
+  不计入法定票数 m，但会计入全组平均概率。
+
+**不要为了配合别人而改票，也不要为了让流程往前走而给出你不相信的 1 或 0。**
+本所宁可留下未定论，也不要一个骗人的结论。
 
 ------------
-[状态] 你是 r-1（常驻研究员）｜轮次 5｜法定票数 m=3｜有表决权者 3 人
-[在册] acad、r-1、r-2
-------------
-结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
-{
-  "say": "你想对全所说的话（群聊）"  或  {"to":"r-2","text":"…"}（私信）  或  {"to":"voters","text":"…"}（只对表决者），
-  "progress": "本轮进展叙述（会被追加到你的 Progress/progress.md）",
-  "record": [ {"kind":"proposition|method|subproblem","id":"p-x","title":"…","statement":"…",
-               "content":"…（method 用）","value":0.6,"motive":"为何重要/打算怎么用","p":0.7} ],
-  "propose_verify": {"target":"p-x","kind":"proposition|method|subproblem","reason":"为何值得验证"},
-  "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
-             介于两者之间=弃权/存疑；只在被要求表决时填。
-  "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
-  "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
-  "task_claim": "t-3",
-  "task_done": "t-3",
-  "task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
-  "input": "本轮会议/辩论的发言正文（会议轮用；也可直接用 say）",
-  "reject_assign": {"task_id":"t-3","why":"你对这项分派的异议理由"}   ← 有异议时填；理由会被广播给
-             全体表决者（任务仍会执行，但你的理由不会被埋掉），
-  "hire": {"purpose":"…","initial_task":"…","direction":"…"}   ← 雇佣一名临时工（说明用途与初始任务），
-  "fire": {"id":"t-2","reason":"…"}                             ← 解雇（雇主/院士；你只能解雇你雇的），
-  "vote_solved": true|false,   ← 你是否认为**原问题已解决**（会议/结题表决用；必须诚实）
-  "solved": false,           ← 你这一轮的个人判断（框架据此了解全所收敛度）
-  "contextPct": 40,          ← 你当前上下文的占用百分比（0-100）
-  "compacted": false          ← 若框架要求你压缩，填 true 并在 progress 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [30] kind=`checkpoint` owner=`r-2`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-【心跳检查 —— 常驻研究员 r-2】
-
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
-
-------------
-[状态] 你是 r-2（常驻研究员）｜轮次 5｜法定票数 m=3｜有表决权者 3 人
-[在册] acad、r-1、r-2
-------------
-结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
-{
-  "say": "你想对全所说的话（群聊）"  或  {"to":"r-2","text":"…"}（私信）  或  {"to":"voters","text":"…"}（只对表决者），
-  "progress": "本轮进展叙述（会被追加到你的 Progress/progress.md）",
-  "record": [ {"kind":"proposition|method|subproblem","id":"p-x","title":"…","statement":"…",
-               "content":"…（method 用）","value":0.6,"motive":"为何重要/打算怎么用","p":0.7} ],
-  "propose_verify": {"target":"p-x","kind":"proposition|method|subproblem","reason":"为何值得验证"},
-  "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
-             介于两者之间=弃权/存疑；只在被要求表决时填。
-  "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
-  "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
-  "task_claim": "t-3",
-  "task_done": "t-3",
-  "task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
-  "input": "本轮会议/辩论的发言正文（会议轮用；也可直接用 say）",
-  "reject_assign": {"task_id":"t-3","why":"你对这项分派的异议理由"}   ← 有异议时填；理由会被广播给
-             全体表决者（任务仍会执行，但你的理由不会被埋掉），
-  "hire": {"purpose":"…","initial_task":"…","direction":"…"}   ← 雇佣一名临时工（说明用途与初始任务），
-  "fire": {"id":"t-2","reason":"…"}                             ← 解雇（雇主/院士；你只能解雇你雇的），
-  "vote_solved": true|false,   ← 你是否认为**原问题已解决**（会议/结题表决用；必须诚实）
-  "solved": false,           ← 你这一轮的个人判断（框架据此了解全所收敛度）
-  "contextPct": 40,          ← 你当前上下文的占用百分比（0-100）
-  "compacted": false          ← 若框架要求你压缩，填 true 并在 progress 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [31] kind=`checkpoint` owner=`acad`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-【心跳检查 —— 院士 acad】
-
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
-
-------------
-[状态] 你是 acad（院士）｜轮次 6｜法定票数 m=3｜有表决权者 3 人
-[在册] acad、r-1、r-2
-------------
-结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
-{
-  "say": "你想对全所说的话（群聊）"  或  {"to":"r-2","text":"…"}（私信）  或  {"to":"voters","text":"…"}（只对表决者），
-  "progress": "本轮进展叙述（会被追加到你的 Progress/progress.md）",
-  "record": [ {"kind":"proposition|method|subproblem","id":"p-x","title":"…","statement":"…",
-               "content":"…（method 用）","value":0.6,"motive":"为何重要/打算怎么用","p":0.7} ],
-  "propose_verify": {"target":"p-x","kind":"proposition|method|subproblem","reason":"为何值得验证"},
-  "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
-             介于两者之间=弃权/存疑；只在被要求表决时填。
-  "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
-  "convene_meeting": {"agenda":"…","kind":"…","target":"…"}   ← 你（院士）可以直接召开，无需他人附议，
-  "assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1}   ← 院士分派任务，
-  "prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"}   ← 设定全所优先级，
-  "nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"}，
-  "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
-  "task_claim": "t-3",
-  "task_done": "t-3",
-  "task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
-  "input": "本轮会议/辩论的发言正文（会议轮用；也可直接用 say）",
-  "reject_assign": {"task_id":"t-3","why":"你对这项分派的异议理由"}   ← 有异议时填；理由会被广播给
-             全体表决者（任务仍会执行，但你的理由不会被埋掉），
-  "hire": {"purpose":"…","initial_task":"…","direction":"…"}   ← 雇佣一名临时工（说明用途与初始任务），
-  "fire": {"id":"t-2","reason":"…"}                             ← 解雇（雇主/院士；你只能解雇你雇的），
-  "vote_solved": true|false,   ← 你是否认为**原问题已解决**（会议/结题表决用；必须诚实）
-  "solved": false,           ← 你这一轮的个人判断（框架据此了解全所收敛度）
-  "contextPct": 40,          ← 你当前上下文的占用百分比（0-100）
-  "compacted": false          ← 若框架要求你压缩，填 true 并在 progress 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [32] kind=`checkpoint` owner=`r-1`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-【心跳检查 —— 常驻研究员 r-1】
-
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
-
-------------
-[状态] 你是 r-1（常驻研究员）｜轮次 6｜法定票数 m=3｜有表决权者 3 人
-[在册] acad、r-1、r-2
-------------
-结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
-{
-  "say": "你想对全所说的话（群聊）"  或  {"to":"r-2","text":"…"}（私信）  或  {"to":"voters","text":"…"}（只对表决者），
-  "progress": "本轮进展叙述（会被追加到你的 Progress/progress.md）",
-  "record": [ {"kind":"proposition|method|subproblem","id":"p-x","title":"…","statement":"…",
-               "content":"…（method 用）","value":0.6,"motive":"为何重要/打算怎么用","p":0.7} ],
-  "propose_verify": {"target":"p-x","kind":"proposition|method|subproblem","reason":"为何值得验证"},
-  "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
-             介于两者之间=弃权/存疑；只在被要求表决时填。
-  "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
-  "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
-  "task_claim": "t-3",
-  "task_done": "t-3",
-  "task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
-  "input": "本轮会议/辩论的发言正文（会议轮用；也可直接用 say）",
-  "reject_assign": {"task_id":"t-3","why":"你对这项分派的异议理由"}   ← 有异议时填；理由会被广播给
-             全体表决者（任务仍会执行，但你的理由不会被埋掉），
-  "hire": {"purpose":"…","initial_task":"…","direction":"…"}   ← 雇佣一名临时工（说明用途与初始任务），
-  "fire": {"id":"t-2","reason":"…"}                             ← 解雇（雇主/院士；你只能解雇你雇的），
-  "vote_solved": true|false,   ← 你是否认为**原问题已解决**（会议/结题表决用；必须诚实）
-  "solved": false,           ← 你这一轮的个人判断（框架据此了解全所收敛度）
-  "contextPct": 40,          ← 你当前上下文的占用百分比（0-100）
-  "compacted": false          ← 若框架要求你压缩，填 true 并在 progress 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [33] kind=`checkpoint` owner=`r-2`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-【心跳检查 —— 常驻研究员 r-2】
-
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
-
-------------
-[状态] 你是 r-2（常驻研究员）｜轮次 6｜法定票数 m=3｜有表决权者 3 人
-[在册] acad、r-1、r-2
-------------
-结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
-{
-  "say": "你想对全所说的话（群聊）"  或  {"to":"r-2","text":"…"}（私信）  或  {"to":"voters","text":"…"}（只对表决者），
-  "progress": "本轮进展叙述（会被追加到你的 Progress/progress.md）",
-  "record": [ {"kind":"proposition|method|subproblem","id":"p-x","title":"…","statement":"…",
-               "content":"…（method 用）","value":0.6,"motive":"为何重要/打算怎么用","p":0.7} ],
-  "propose_verify": {"target":"p-x","kind":"proposition|method|subproblem","reason":"为何值得验证"},
-  "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
-             介于两者之间=弃权/存疑；只在被要求表决时填。
-  "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
-  "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
-  "task_claim": "t-3",
-  "task_done": "t-3",
-  "task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
-  "input": "本轮会议/辩论的发言正文（会议轮用；也可直接用 say）",
-  "reject_assign": {"task_id":"t-3","why":"你对这项分派的异议理由"}   ← 有异议时填；理由会被广播给
-             全体表决者（任务仍会执行，但你的理由不会被埋掉），
-  "hire": {"purpose":"…","initial_task":"…","direction":"…"}   ← 雇佣一名临时工（说明用途与初始任务），
-  "fire": {"id":"t-2","reason":"…"}                             ← 解雇（雇主/院士；你只能解雇你雇的），
-  "vote_solved": true|false,   ← 你是否认为**原问题已解决**（会议/结题表决用；必须诚实）
-  "solved": false,           ← 你这一轮的个人判断（框架据此了解全所收敛度）
-  "contextPct": 40,          ← 你当前上下文的占用百分比（0-100）
-  "compacted": false          ← 若框架要求你压缩，填 true 并在 progress 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [34] kind=`checkpoint` owner=`acad`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-[核心规则] 只有 Verified/（及标记"已验证·真/假"的卡片）算已确立；任何对象要进 Verified/ 必须 ≥m 名有表决权者一致给出 1 或 0，否则留库附平均概率；你只写自己的库（Members/<你>/），可只读任何人的库；组织与分派由院士负责，但判断属于你自己；退出时只输出一个 JSON 对象。
-[CONTEXT COMPACT — 你的对话已接近上限。不要重新推导历史。
-请把当前工作状态浓缩成一段自述（已有发现、当前方向、已记录的关键成果、下一步具体动作、未决问题），然后照常以 JSON 回答本轮。请在回复里填 "contextPct": 15 与 "compacted": true。]
-
-【心跳检查 —— 院士 acad】
-
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
-
-------------
-[状态] 你是 acad（院士）｜轮次 7｜法定票数 m=3｜有表决权者 3 人
-[在册] acad、r-1、r-2
-------------
-结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
-{
-  "say": "你想对全所说的话（群聊）"  或  {"to":"r-2","text":"…"}（私信）  或  {"to":"voters","text":"…"}（只对表决者），
-  "progress": "本轮进展叙述（会被追加到你的 Progress/progress.md）",
-  "record": [ {"kind":"proposition|method|subproblem","id":"p-x","title":"…","statement":"…",
-               "content":"…（method 用）","value":0.6,"motive":"为何重要/打算怎么用","p":0.7} ],
-  "propose_verify": {"target":"p-x","kind":"proposition|method|subproblem","reason":"为何值得验证"},
-  "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
-             介于两者之间=弃权/存疑；只在被要求表决时填。
-  "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
-  "convene_meeting": {"agenda":"…","kind":"…","target":"…"}   ← 你（院士）可以直接召开，无需他人附议，
-  "assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1}   ← 院士分派任务，
-  "prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"}   ← 设定全所优先级，
-  "nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"}，
-  "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
-  "task_claim": "t-3",
-  "task_done": "t-3",
-  "task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
-  "input": "本轮会议/辩论的发言正文（会议轮用；也可直接用 say）",
-  "reject_assign": {"task_id":"t-3","why":"你对这项分派的异议理由"}   ← 有异议时填；理由会被广播给
-             全体表决者（任务仍会执行，但你的理由不会被埋掉），
-  "hire": {"purpose":"…","initial_task":"…","direction":"…"}   ← 雇佣一名临时工（说明用途与初始任务），
-  "fire": {"id":"t-2","reason":"…"}                             ← 解雇（雇主/院士；你只能解雇你雇的），
-  "vote_solved": true|false,   ← 你是否认为**原问题已解决**（会议/结题表决用；必须诚实）
-  "solved": false,           ← 你这一轮的个人判断（框架据此了解全所收敛度）
-  "contextPct": 40,          ← 你当前上下文的占用百分比（0-100）
-  "compacted": false          ← 若框架要求你压缩，填 true 并在 progress 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [35] kind=`checkpoint` owner=`r-1`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-[核心规则] 只有 Verified/（及标记"已验证·真/假"的卡片）算已确立；任何对象要进 Verified/ 必须 ≥m 名有表决权者一致给出 1 或 0，否则留库附平均概率；你只写自己的库（Members/<你>/），可只读任何人的库；组织与分派由院士负责，但判断属于你自己；退出时只输出一个 JSON 对象。
-[CONTEXT COMPACT — 你的对话已接近上限。不要重新推导历史。
-请把当前工作状态浓缩成一段自述（已有发现、当前方向、已记录的关键成果、下一步具体动作、未决问题），然后照常以 JSON 回答本轮。请在回复里填 "contextPct": 15 与 "compacted": true。]
-
-【心跳检查 —— 常驻研究员 r-1】
-
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
-
-------------
-[状态] 你是 r-1（常驻研究员）｜轮次 7｜法定票数 m=3｜有表决权者 3 人
-[在册] acad、r-1、r-2
-------------
-结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
-{
-  "say": "你想对全所说的话（群聊）"  或  {"to":"r-2","text":"…"}（私信）  或  {"to":"voters","text":"…"}（只对表决者），
-  "progress": "本轮进展叙述（会被追加到你的 Progress/progress.md）",
-  "record": [ {"kind":"proposition|method|subproblem","id":"p-x","title":"…","statement":"…",
-               "content":"…（method 用）","value":0.6,"motive":"为何重要/打算怎么用","p":0.7} ],
-  "propose_verify": {"target":"p-x","kind":"proposition|method|subproblem","reason":"为何值得验证"},
-  "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
-             介于两者之间=弃权/存疑；只在被要求表决时填。
-  "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
-  "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
-  "task_claim": "t-3",
-  "task_done": "t-3",
-  "task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
-  "input": "本轮会议/辩论的发言正文（会议轮用；也可直接用 say）",
-  "reject_assign": {"task_id":"t-3","why":"你对这项分派的异议理由"}   ← 有异议时填；理由会被广播给
-             全体表决者（任务仍会执行，但你的理由不会被埋掉），
-  "hire": {"purpose":"…","initial_task":"…","direction":"…"}   ← 雇佣一名临时工（说明用途与初始任务），
-  "fire": {"id":"t-2","reason":"…"}                             ← 解雇（雇主/院士；你只能解雇你雇的），
-  "vote_solved": true|false,   ← 你是否认为**原问题已解决**（会议/结题表决用；必须诚实）
-  "solved": false,           ← 你这一轮的个人判断（框架据此了解全所收敛度）
-  "contextPct": 40,          ← 你当前上下文的占用百分比（0-100）
-  "compacted": false          ← 若框架要求你压缩，填 true 并在 progress 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [36] kind=`verify` owner=`acad`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-【求真表决 —— 院士 acad 就对象 p-lemma-a 投票】
-
-本所正在对下列对象发起共识验证：
-  对象：p-lemma-a（类型：命题）
-  陈述：若 n>2 则不存在整数解。
-
-请给出你**诚实独立的判断**：
-  verdict = 1  表示你认为该对象**绝对为真**；
-  verdict = 0  表示你认为该对象**绝对为假**；
-  介于 0 与 1 之间（例如 0.9）表示你不确定——这会被记为**弃权/存疑**，
-  不计入法定票数 m，但会计入全组平均概率。
-
-**不要为了配合别人而改票，也不要为了让流程往前走而给出你不相信的 1 或 0。**
-本所宁可留下未定论，也不要一个骗人的结论。
-
-------------
-[状态] 你是 acad（院士）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
-[在册] acad、r-1、r-2
-------------
-结束时请**只**输出一个 JSON 对象（```json 围栏内）：
-{"verdict":{"target":"p-lemma-a","verdict":<0-1 数值>,"reason":"<你的理由>"}, "contextPct": 40}
-```
-
----
-
-## [37] kind=`verify` owner=`r-1`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-【求真表决 —— 常驻研究员 r-1 就对象 p-lemma-a 投票】
-
-本所正在对下列对象发起共识验证：
-  对象：p-lemma-a（类型：命题）
-  陈述：若 n>2 则不存在整数解。
-
-请给出你**诚实独立的判断**：
-  verdict = 1  表示你认为该对象**绝对为真**；
-  verdict = 0  表示你认为该对象**绝对为假**；
-  介于 0 与 1 之间（例如 0.9）表示你不确定——这会被记为**弃权/存疑**，
-  不计入法定票数 m，但会计入全组平均概率。
-
-**不要为了配合别人而改票，也不要为了让流程往前走而给出你不相信的 1 或 0。**
-本所宁可留下未定论，也不要一个骗人的结论。
-
-------------
-[状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
-[在册] acad、r-1、r-2
-------------
-结束时请**只**输出一个 JSON 对象（```json 围栏内）：
-{"verdict":{"target":"p-lemma-a","verdict":<0-1 数值>,"reason":"<你的理由>"}, "contextPct": 40}
-```
-
----
-
-## [38] kind=`verify` owner=`r-2`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-【求真表决 —— 常驻研究员 r-2 就对象 p-lemma-a 投票】
-
-本所正在对下列对象发起共识验证：
-  对象：p-lemma-a（类型：命题）
-  陈述：若 n>2 则不存在整数解。
-
-请给出你**诚实独立的判断**：
-  verdict = 1  表示你认为该对象**绝对为真**；
-  verdict = 0  表示你认为该对象**绝对为假**；
-  介于 0 与 1 之间（例如 0.9）表示你不确定——这会被记为**弃权/存疑**，
-  不计入法定票数 m，但会计入全组平均概率。
-
-**不要为了配合别人而改票，也不要为了让流程往前走而给出你不相信的 1 或 0。**
-本所宁可留下未定论，也不要一个骗人的结论。
-
-------------
-[状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（```json 围栏内）：
@@ -2767,7 +2309,7 @@ r-2：初始见解。
 
 ---
 
-## [39] kind=`verify-debate` owner=`acad`
+## [30] kind=`verify-debate` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -2805,7 +2347,7 @@ r-2：初始见解。
 
 ---
 
-## [40] kind=`verify-debate` owner=`r-1`
+## [31] kind=`verify-debate` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -2843,7 +2385,7 @@ r-2：初始见解。
 
 ---
 
-## [41] kind=`verify-debate` owner=`r-2`
+## [32] kind=`verify-debate` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -2881,14 +2423,14 @@ r-2：初始见解。
 
 ---
 
-## [42] kind=`meeting` owner=`r-1`
+## [33] kind=`meeting` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-【研究所会议 mt-1 进行中 —— 常驻研究员 r-1】
+【研究所会议 mt-1 进行中 —— 院士 acad】
 
 议程：分工与下一步（类型：sync）
 
@@ -2900,7 +2442,7 @@ r-2：初始见解。
 一致认为是真时，本所才会停下来。
 
 ------------
-[状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=2｜有表决权者 2 人
+[状态] 你是 acad（院士）｜轮次 1｜法定票数 m=2｜有表决权者 2 人
 [在册] acad、r-1
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -2913,6 +2455,10 @@ r-2：初始见解。
   "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
              介于两者之间=弃权/存疑；只在被要求表决时填。
   "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
+  "convene_meeting": {"agenda":"…","kind":"…","target":"…"}   ← 你（院士）可以直接召开，无需他人附议，
+  "assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1}   ← 院士分派任务，
+  "prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"}   ← 设定全所优先级，
+  "nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"}，
   "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
   "task_claim": "t-3",
   "task_done": "t-3",
@@ -2931,14 +2477,14 @@ r-2：初始见解。
 
 ---
 
-## [43] kind=`meeting` owner=`acad`
+## [34] kind=`meeting` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-【研究所会议 mt-1 进行中 —— 院士 acad】
+【研究所会议 mt-1 进行中 —— 常驻研究员 r-1】
 
 议程：分工与下一步（类型：sync）
 
@@ -2950,7 +2496,7 @@ r-2：初始见解。
 一致认为是真时，本所才会停下来。
 
 ------------
-[状态] 你是 acad（院士）｜轮次 1｜法定票数 m=2｜有表决权者 2 人
+[状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=2｜有表决权者 2 人
 [在册] acad、r-1
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -2963,10 +2509,6 @@ r-2：初始见解。
   "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
              介于两者之间=弃权/存疑；只在被要求表决时填。
   "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
-  "convene_meeting": {"agenda":"…","kind":"…","target":"…"}   ← 你（院士）可以直接召开，无需他人附议，
-  "assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1}   ← 院士分派任务，
-  "prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"}   ← 设定全所优先级，
-  "nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"}，
   "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
   "task_claim": "t-3",
   "task_done": "t-3",
@@ -2985,7 +2527,7 @@ r-2：初始见解。
 
 ---
 
-## [44] kind=`meeting-proposal` owner=`acad`
+## [35] kind=`meeting-proposal` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -3039,7 +2581,7 @@ r-2：初始见解。
 
 ---
 
-## [45] kind=`inbox-dm` owner=`r-2`
+## [36] kind=`inbox-dm` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -3086,7 +2628,7 @@ r-2：初始见解。
 
 ---
 
-## [46] kind=`inbox-voters` owner=`acad`
+## [37] kind=`inbox-voters` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -3140,7 +2682,7 @@ r-2：初始见解。
 
 ---
 
-## [47] kind=`inbox-voters` owner=`r-2`
+## [38] kind=`inbox-voters` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -3187,7 +2729,7 @@ r-2：初始见解。
 
 ---
 
-## [48] kind=`inbox-chat` owner=`acad`
+## [39] kind=`inbox-chat` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -3241,7 +2783,7 @@ r-2：初始见解。
 
 ---
 
-## [49] kind=`inbox-chat` owner=`r-2`
+## [40] kind=`inbox-chat` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -3288,7 +2830,7 @@ r-2：初始见解。
 
 ---
 
-## [50] kind=`inbox-office` owner=`acad`
+## [41] kind=`inbox-office` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -3342,7 +2884,7 @@ r-2：初始见解。
 
 ---
 
-## [51] kind=`inbox-office` owner=`r-1`
+## [42] kind=`inbox-office` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -3389,7 +2931,7 @@ r-2：初始见解。
 
 ---
 
-## [52] kind=`inbox-office` owner=`r-2`
+## [43] kind=`inbox-office` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -3436,20 +2978,23 @@ r-2：初始见解。
 
 ---
 
-## [53] kind=`inbox-assign` owner=`r-2`
+## [44] kind=`inbox-assign` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-【第 5 轮 —— 常驻研究员 r-2】
+[新到的消息]
+  【院士分派】任务 t-1「核验模 9 情形」分派给你。理由：你最熟同余｜验收标准：给出模 9 全表。默认应当执行；若你认为方向有误，请说明理由（会被广播给全所）。若你有异议，请在 JSON 里填 reject_assign。
+
+【第 6 轮 —— 常驻研究员 r-2】
 
 请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
 结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
 
 ------------
-[状态] 你是 r-2（常驻研究员）｜轮次 5｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-2（常驻研究员）｜轮次 6｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 [任务板] 进行中 1｜可认领 0｜我负责 t-1「核验模 9 情形」
   ▸ 我的任务 t-1：核验模 9 情形｜验收：给出模 9 全表｜由 acad 分派
@@ -3483,23 +3028,20 @@ r-2：初始见解。
 
 ---
 
-## [54] kind=`inbox-assign` owner=`r-2`
+## [45] kind=`inbox-assign` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-[新到的消息]
-  【院士分派】任务 t-1「核验模 9 情形」分派给你。理由：你最熟同余｜验收标准：给出模 9 全表。默认应当执行；若你认为方向有误，请说明理由（会被广播给全所）。若你有异议，请在 JSON 里填 reject_assign。
-
-【第 6 轮 —— 常驻研究员 r-2】
+【第 5 轮 —— 常驻研究员 r-2】
 
 请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
 结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
 
 ------------
-[状态] 你是 r-2（常驻研究员）｜轮次 6｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-2（常驻研究员）｜轮次 5｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 [任务板] 进行中 1｜可认领 0｜我负责 t-1「核验模 9 情形」
   ▸ 我的任务 t-1：核验模 9 情形｜验收：给出模 9 全表｜由 acad 分派
@@ -3533,24 +3075,23 @@ r-2：初始见解。
 
 ---
 
-## [55] kind=`inbox-nudge` owner=`r-2`
+## [46] kind=`inbox-nudge` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-[核心规则] 只有 Verified/（及标记"已验证·真/假"的卡片）算已确立；任何对象要进 Verified/ 必须 ≥m 名有表决权者一致给出 1 或 0，否则留库附平均概率；你只写自己的库（Members/<你>/），可只读任何人的库；组织与分派由院士负责，但判断属于你自己；退出时只输出一个 JSON 对象。
-[CONTEXT COMPACT — 你的对话已接近上限。不要重新推导历史。
-请把当前工作状态浓缩成一段自述（已有发现、当前方向、已记录的关键成果、下一步具体动作、未决问题），然后照常以 JSON 回答本轮。请在回复里填 "contextPct": 15 与 "compacted": true。]
+[新到的消息]
+  【督办 from acad】院士督办：进度偏慢｜建议的下一步：先交一份模 9 表
 
-【第 7 轮 —— 常驻研究员 r-2】
+【第 8 轮 —— 常驻研究员 r-2】
 
 请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
 结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
 
 ------------
-[状态] 你是 r-2（常驻研究员）｜轮次 7｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-2（常驻研究员）｜轮次 8｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 [任务板] 进行中 1｜可认领 0｜我负责 t-1「核验模 9 情形」
   ▸ 我的任务 t-1：核验模 9 情形｜验收：给出模 9 全表｜由 acad 分派
@@ -3584,23 +3125,24 @@ r-2：初始见解。
 
 ---
 
-## [56] kind=`inbox-nudge` owner=`r-2`
+## [47] kind=`inbox-nudge` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-[新到的消息]
-  【督办 from acad】院士督办：进度偏慢｜建议的下一步：先交一份模 9 表
+[核心规则] 只有 Verified/（及标记"已验证·真/假"的卡片）算已确立；任何对象要进 Verified/ 必须 ≥m 名有表决权者一致给出 1 或 0，否则留库附平均概率；你只写自己的库（Members/<你>/），可只读任何人的库；组织与分派由院士负责，但判断属于你自己；退出时只输出一个 JSON 对象。
+[CONTEXT COMPACT — 你的对话已接近上限。不要重新推导历史。
+请把当前工作状态浓缩成一段自述（已有发现、当前方向、已记录的关键成果、下一步具体动作、未决问题），然后照常以 JSON 回答本轮。请在回复里填 "contextPct": 15 与 "compacted": true。]
 
-【第 8 轮 —— 常驻研究员 r-2】
+【第 7 轮 —— 常驻研究员 r-2】
 
 请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
 结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
 
 ------------
-[状态] 你是 r-2（常驻研究员）｜轮次 8｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-2（常驻研究员）｜轮次 7｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 [任务板] 进行中 1｜可认领 0｜我负责 t-1「核验模 9 情形」
   ▸ 我的任务 t-1：核验模 9 情形｜验收：给出模 9 全表｜由 acad 分派
@@ -3634,7 +3176,7 @@ r-2：初始见解。
 
 ---
 
-## [57] kind=`notice` owner=`r-1`
+## [48] kind=`notice` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -3681,7 +3223,7 @@ r-2：初始见解。
 
 ---
 
-## [58] kind=`notice-claim` owner=`r-1`
+## [49] kind=`notice-claim` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -3728,7 +3270,7 @@ r-2：初始见解。
 
 ---
 
-## [59] kind=`after-failure` owner=`r-2`
+## [50] kind=`after-failure` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -3776,7 +3318,7 @@ r-2：初始见解。
 
 ---
 
-## [60] kind=`lean-work` owner=`r-1`
+## [51] kind=`lean-work` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -3791,7 +3333,7 @@ r-2：初始见解。
 请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
 结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
 
-【顺手形式化（鼓励）】把你工作中常用或可能复用的对象、假设、新定义用 Lean 形式化定义并归档到全局可复用库（vibe_v5_lean_archive kind='def'），已成立的引理归到 Proved/（kind='lemma'）；写之前先 vibe_v5_lean_lib 查重，避免重复定义。这会让后续的验证与证明省掉大量重复工作。
+【顺手形式化（鼓励）】把你工作中常用或可能复用的对象、假设、新定义用 Lean 形式化定义并归档到全局可复用库（vibe_v5_lean_archive kind='def'），已成立的引理归到 Proved/（kind='lemma'）；写之前先 vibe_v5_lean_lib 查重，避免重复定义。归档前先跑通（vibe_v5_lean_run 或 run=true）；跑不通的定义不要进可复用库。这会让后续的验证与证明省掉大量重复工作。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -3813,7 +3355,7 @@ r-2：初始见解。
   "task_done": "t-3",
   "task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
   "input": "本轮会议/辩论的发言正文（会议轮用；也可直接用 say）",
-  "formal": {"target":"p-x","decision":"used|blocked","file":"Formal/p-x.lean","note":"难度判断/阻塞原因"}
+  "formal": {"target":"p-x","decision":"used|blocked|defect","file":"Formal/p-x.lean","note":"难度判断/阻塞原因"}
              ← Lean 形式化：**鼓励**：按实现难度自行决定；做了就归档，没做就写明难度判断，详见提示词里的【Lean 形式化验证】段
   "reject_assign": {"task_id":"t-3","why":"你对这项分派的异议理由"}   ← 有异议时填；理由会被广播给
              全体表决者（任务仍会执行，但你的理由不会被埋掉），
@@ -3828,7 +3370,7 @@ r-2：初始见解。
 
 ---
 
-## [61] kind=`lean-verify` owner=`acad`
+## [52] kind=`lean-verify` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -3850,11 +3392,13 @@ r-2：初始见解。
 【Lean 形式化验证（鼓励模式）】
   · 请先判断该对象的**实现难度**：若能在可接受的工作量内形式化，优先写 Lean 代码并执行。
   · 工具：vibe_v5_lean_run（执行）· vibe_v5_lean_archive（归档）· vibe_v5_lean_lib（查已有可复用库）
-  · 工作目录：Formal/（相对研究所根）；可复用定义放 C:/Users/admin/AppData/Local/Temp/1/vibe-v5-prompt-f0lZCF/VibeMath/Formal/Lib/，
-    已证引理放 C:/Users/admin/AppData/Local/Temp/1/vibe-v5-prompt-f0lZCF/VibeMath/Formal/Proved/；写之前先 lean_lib 查重。
-  · **一旦 Lean 通过，你唯一需要确认的就是忠实性**：定义/对象/条件/假设/结论是否与
+  · 工作目录：Formal/（相对研究所根）；可复用定义放 <VIBEMATH>/Formal/Lib/，
+    已证引理放 <VIBEMATH>/Formal/Proved/；写之前先 vibe_v5_lean_lib 查重。
+  · **一旦 Lean 通过，你唯一需要确认的就是忠实性**：定义 / 对象 / 条件 / 假设 / 结论是否与
     命题原文逐条一致。请把注意力放在这种核对上，而不是重新做一遍推导。
-  · 若你判断不值得或无法形式化，可以不做，但请在回执的 formal 字段写明难度判断。
+  · 若你判断不值得或无法形式化，可以不做，但请在回执的 formal 字段写明难度判断（decision='blocked' 时必须写明 note）。
+  · 归档可复用定义/引理前先跑通（vibe_v5_lean_archive run=true 或先 vibe_v5_lean_run）；跑不通不要入库。
+  · 宿主没有 Lean 工具链（LEAN_NOT_FOUND）或根本没有 subprocess 服务（NO_SUBPROCESS）时：把代码写下来归档，并在回执的 note 里写明"宿主无 Lean 工具链"——这两种都算显式阻塞原因，定论门禁可以据此放行。
   ▸ 若你在本轮把它形式化并跑通（vibe_v5_lean_archive kind='proof'），后续轮次的
     审查对象就会从"推导是否正确"变成"Lean 代码是否忠实于命题"。
 
@@ -3869,12 +3413,12 @@ r-2：初始见解。
 结束时请**只**输出一个 JSON 对象（```json 围栏内）：
 {"verdict":{"target":"p-lean-a","verdict":<0-1 数值>,"reason":"<你的理由>"}, "contextPct": 40}
 若你本轮做了形式化或给出难度判断，请一并加上：
-{"formal":{"target":"p-lean-a","decision":"used|blocked","file":"Formal/p-lean-a.lean","note":"难度判断/阻塞原因"}}
+{"formal":{"target":"p-lean-a","decision":"used|blocked|defect","file":"Formal/p-lean-a.lean","note":"难度判断/阻塞原因"}}
 ```
 
 ---
 
-## [62] kind=`lean-verify` owner=`r-1`
+## [53] kind=`lean-verify` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -3896,11 +3440,13 @@ r-2：初始见解。
 【Lean 形式化验证（鼓励模式）】
   · 请先判断该对象的**实现难度**：若能在可接受的工作量内形式化，优先写 Lean 代码并执行。
   · 工具：vibe_v5_lean_run（执行）· vibe_v5_lean_archive（归档）· vibe_v5_lean_lib（查已有可复用库）
-  · 工作目录：Formal/（相对研究所根）；可复用定义放 C:/Users/admin/AppData/Local/Temp/1/vibe-v5-prompt-f0lZCF/VibeMath/Formal/Lib/，
-    已证引理放 C:/Users/admin/AppData/Local/Temp/1/vibe-v5-prompt-f0lZCF/VibeMath/Formal/Proved/；写之前先 lean_lib 查重。
-  · **一旦 Lean 通过，你唯一需要确认的就是忠实性**：定义/对象/条件/假设/结论是否与
+  · 工作目录：Formal/（相对研究所根）；可复用定义放 <VIBEMATH>/Formal/Lib/，
+    已证引理放 <VIBEMATH>/Formal/Proved/；写之前先 vibe_v5_lean_lib 查重。
+  · **一旦 Lean 通过，你唯一需要确认的就是忠实性**：定义 / 对象 / 条件 / 假设 / 结论是否与
     命题原文逐条一致。请把注意力放在这种核对上，而不是重新做一遍推导。
-  · 若你判断不值得或无法形式化，可以不做，但请在回执的 formal 字段写明难度判断。
+  · 若你判断不值得或无法形式化，可以不做，但请在回执的 formal 字段写明难度判断（decision='blocked' 时必须写明 note）。
+  · 归档可复用定义/引理前先跑通（vibe_v5_lean_archive run=true 或先 vibe_v5_lean_run）；跑不通不要入库。
+  · 宿主没有 Lean 工具链（LEAN_NOT_FOUND）或根本没有 subprocess 服务（NO_SUBPROCESS）时：把代码写下来归档，并在回执的 note 里写明"宿主无 Lean 工具链"——这两种都算显式阻塞原因，定论门禁可以据此放行。
   ▸ 若你在本轮把它形式化并跑通（vibe_v5_lean_archive kind='proof'），后续轮次的
     审查对象就会从"推导是否正确"变成"Lean 代码是否忠实于命题"。
 
@@ -3915,12 +3461,12 @@ r-2：初始见解。
 结束时请**只**输出一个 JSON 对象（```json 围栏内）：
 {"verdict":{"target":"p-lean-a","verdict":<0-1 数值>,"reason":"<你的理由>"}, "contextPct": 40}
 若你本轮做了形式化或给出难度判断，请一并加上：
-{"formal":{"target":"p-lean-a","decision":"used|blocked","file":"Formal/p-lean-a.lean","note":"难度判断/阻塞原因"}}
+{"formal":{"target":"p-lean-a","decision":"used|blocked|defect","file":"Formal/p-lean-a.lean","note":"难度判断/阻塞原因"}}
 ```
 
 ---
 
-## [63] kind=`lean-verify` owner=`r-2`
+## [54] kind=`lean-verify` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -3942,11 +3488,13 @@ r-2：初始见解。
 【Lean 形式化验证（鼓励模式）】
   · 请先判断该对象的**实现难度**：若能在可接受的工作量内形式化，优先写 Lean 代码并执行。
   · 工具：vibe_v5_lean_run（执行）· vibe_v5_lean_archive（归档）· vibe_v5_lean_lib（查已有可复用库）
-  · 工作目录：Formal/（相对研究所根）；可复用定义放 C:/Users/admin/AppData/Local/Temp/1/vibe-v5-prompt-f0lZCF/VibeMath/Formal/Lib/，
-    已证引理放 C:/Users/admin/AppData/Local/Temp/1/vibe-v5-prompt-f0lZCF/VibeMath/Formal/Proved/；写之前先 lean_lib 查重。
-  · **一旦 Lean 通过，你唯一需要确认的就是忠实性**：定义/对象/条件/假设/结论是否与
+  · 工作目录：Formal/（相对研究所根）；可复用定义放 <VIBEMATH>/Formal/Lib/，
+    已证引理放 <VIBEMATH>/Formal/Proved/；写之前先 vibe_v5_lean_lib 查重。
+  · **一旦 Lean 通过，你唯一需要确认的就是忠实性**：定义 / 对象 / 条件 / 假设 / 结论是否与
     命题原文逐条一致。请把注意力放在这种核对上，而不是重新做一遍推导。
-  · 若你判断不值得或无法形式化，可以不做，但请在回执的 formal 字段写明难度判断。
+  · 若你判断不值得或无法形式化，可以不做，但请在回执的 formal 字段写明难度判断（decision='blocked' 时必须写明 note）。
+  · 归档可复用定义/引理前先跑通（vibe_v5_lean_archive run=true 或先 vibe_v5_lean_run）；跑不通不要入库。
+  · 宿主没有 Lean 工具链（LEAN_NOT_FOUND）或根本没有 subprocess 服务（NO_SUBPROCESS）时：把代码写下来归档，并在回执的 note 里写明"宿主无 Lean 工具链"——这两种都算显式阻塞原因，定论门禁可以据此放行。
   ▸ 若你在本轮把它形式化并跑通（vibe_v5_lean_archive kind='proof'），后续轮次的
     审查对象就会从"推导是否正确"变成"Lean 代码是否忠实于命题"。
 
@@ -3961,12 +3509,12 @@ r-2：初始见解。
 结束时请**只**输出一个 JSON 对象（```json 围栏内）：
 {"verdict":{"target":"p-lean-a","verdict":<0-1 数值>,"reason":"<你的理由>"}, "contextPct": 40}
 若你本轮做了形式化或给出难度判断，请一并加上：
-{"formal":{"target":"p-lean-a","decision":"used|blocked","file":"Formal/p-lean-a.lean","note":"难度判断/阻塞原因"}}
+{"formal":{"target":"p-lean-a","decision":"used|blocked|defect","file":"Formal/p-lean-a.lean","note":"难度判断/阻塞原因"}}
 ```
 
 ---
 
-## [64] kind=`lean-fidelity` owner=`acad`
+## [55] kind=`lean-fidelity` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -3988,9 +3536,14 @@ r-2：初始见解。
 【Lean 形式化验证（鼓励模式）】
   · 该对象已有**通过的 Lean 形式化证明**（Verified/Lean/p-lean-b.lean，最近运行 exit 0）。
     **你不需要重新检查推导**。你的任务是**忠实性审查**：逐条核对 Lean 代码里的
-    定义 / 对象 / 条件 / 假设 / 结论是否与命题原文**完全一致**（有偏差就指出偏差），
-    并据此给出 verdict。
-  ▸ 因此请把 verdict 用在**忠实性**上：一致 → 1；发现任何偏离 → 0（或按不确定度给中间值并说明）。
+    定义 / 对象 / 条件 / 假设 / 结论是否与命题原文**完全一致**。
+  ▸ 一致 → verdict = 1。
+  ▸ **发现任何偏差，不要投 0**：偏差只说明**形式化不合格**，不代表命题为假。此时请：
+      ① verdict 给一个严格介于 0 与 1 之间的值（记为弃权），并在 reason 里写清偏差；
+      ② 用回执 formal:{decision:'defect', note:'<具体偏差>'} 记录它。框架会撤回这条证明的
+         「已通过」状态（降级为 attempted、删除归档证明、写入形式化待办）。本档没有门禁：请务必给一个严格介于 0 与 1 之间的弃权值，以保证本轮无法得出一致结论；
+         修正形式化并重新跑通后再投票。
+  ▸ 只有当你**独立于这份 Lean 代码**也能确定命题为假时，才投 0，并在 reason 里写清独立理由。
 
 **不要为了配合别人而改票，也不要为了让流程往前走而给出你不相信的 1 或 0。**
 本所宁可留下未定论，也不要一个骗人的结论。
@@ -4003,12 +3556,12 @@ r-2：初始见解。
 结束时请**只**输出一个 JSON 对象（```json 围栏内）：
 {"verdict":{"target":"p-lean-b","verdict":<0-1 数值>,"reason":"<你的理由>"}, "contextPct": 40}
 若你本轮做了形式化或给出难度判断，请一并加上：
-{"formal":{"target":"p-lean-b","decision":"used|blocked","file":"Formal/p-lean-b.lean","note":"难度判断/阻塞原因"}}
+{"formal":{"target":"p-lean-b","decision":"used|blocked|defect","file":"Formal/p-lean-b.lean","note":"难度判断/阻塞原因"}}
 ```
 
 ---
 
-## [65] kind=`lean-fidelity` owner=`r-1`
+## [56] kind=`lean-fidelity` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -4030,9 +3583,14 @@ r-2：初始见解。
 【Lean 形式化验证（鼓励模式）】
   · 该对象已有**通过的 Lean 形式化证明**（Verified/Lean/p-lean-b.lean，最近运行 exit 0）。
     **你不需要重新检查推导**。你的任务是**忠实性审查**：逐条核对 Lean 代码里的
-    定义 / 对象 / 条件 / 假设 / 结论是否与命题原文**完全一致**（有偏差就指出偏差），
-    并据此给出 verdict。
-  ▸ 因此请把 verdict 用在**忠实性**上：一致 → 1；发现任何偏离 → 0（或按不确定度给中间值并说明）。
+    定义 / 对象 / 条件 / 假设 / 结论是否与命题原文**完全一致**。
+  ▸ 一致 → verdict = 1。
+  ▸ **发现任何偏差，不要投 0**：偏差只说明**形式化不合格**，不代表命题为假。此时请：
+      ① verdict 给一个严格介于 0 与 1 之间的值（记为弃权），并在 reason 里写清偏差；
+      ② 用回执 formal:{decision:'defect', note:'<具体偏差>'} 记录它。框架会撤回这条证明的
+         「已通过」状态（降级为 attempted、删除归档证明、写入形式化待办）。本档没有门禁：请务必给一个严格介于 0 与 1 之间的弃权值，以保证本轮无法得出一致结论；
+         修正形式化并重新跑通后再投票。
+  ▸ 只有当你**独立于这份 Lean 代码**也能确定命题为假时，才投 0，并在 reason 里写清独立理由。
 
 **不要为了配合别人而改票，也不要为了让流程往前走而给出你不相信的 1 或 0。**
 本所宁可留下未定论，也不要一个骗人的结论。
@@ -4045,12 +3603,12 @@ r-2：初始见解。
 结束时请**只**输出一个 JSON 对象（```json 围栏内）：
 {"verdict":{"target":"p-lean-b","verdict":<0-1 数值>,"reason":"<你的理由>"}, "contextPct": 40}
 若你本轮做了形式化或给出难度判断，请一并加上：
-{"formal":{"target":"p-lean-b","decision":"used|blocked","file":"Formal/p-lean-b.lean","note":"难度判断/阻塞原因"}}
+{"formal":{"target":"p-lean-b","decision":"used|blocked|defect","file":"Formal/p-lean-b.lean","note":"难度判断/阻塞原因"}}
 ```
 
 ---
 
-## [66] kind=`lean-fidelity` owner=`r-2`
+## [57] kind=`lean-fidelity` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -4072,9 +3630,14 @@ r-2：初始见解。
 【Lean 形式化验证（鼓励模式）】
   · 该对象已有**通过的 Lean 形式化证明**（Verified/Lean/p-lean-b.lean，最近运行 exit 0）。
     **你不需要重新检查推导**。你的任务是**忠实性审查**：逐条核对 Lean 代码里的
-    定义 / 对象 / 条件 / 假设 / 结论是否与命题原文**完全一致**（有偏差就指出偏差），
-    并据此给出 verdict。
-  ▸ 因此请把 verdict 用在**忠实性**上：一致 → 1；发现任何偏离 → 0（或按不确定度给中间值并说明）。
+    定义 / 对象 / 条件 / 假设 / 结论是否与命题原文**完全一致**。
+  ▸ 一致 → verdict = 1。
+  ▸ **发现任何偏差，不要投 0**：偏差只说明**形式化不合格**，不代表命题为假。此时请：
+      ① verdict 给一个严格介于 0 与 1 之间的值（记为弃权），并在 reason 里写清偏差；
+      ② 用回执 formal:{decision:'defect', note:'<具体偏差>'} 记录它。框架会撤回这条证明的
+         「已通过」状态（降级为 attempted、删除归档证明、写入形式化待办）。本档没有门禁：请务必给一个严格介于 0 与 1 之间的弃权值，以保证本轮无法得出一致结论；
+         修正形式化并重新跑通后再投票。
+  ▸ 只有当你**独立于这份 Lean 代码**也能确定命题为假时，才投 0，并在 reason 里写清独立理由。
 
 **不要为了配合别人而改票，也不要为了让流程往前走而给出你不相信的 1 或 0。**
 本所宁可留下未定论，也不要一个骗人的结论。
@@ -4087,7 +3650,226 @@ r-2：初始见解。
 结束时请**只**输出一个 JSON 对象（```json 围栏内）：
 {"verdict":{"target":"p-lean-b","verdict":<0-1 数值>,"reason":"<你的理由>"}, "contextPct": 40}
 若你本轮做了形式化或给出难度判断，请一并加上：
-{"formal":{"target":"p-lean-b","decision":"used|blocked","file":"Formal/p-lean-b.lean","note":"难度判断/阻塞原因"}}
+{"formal":{"target":"p-lean-b","decision":"used|blocked|defect","file":"Formal/p-lean-b.lean","note":"难度判断/阻塞原因"}}
+```
+
+---
+
+## [58] kind=`lean-require` owner=`acad`
+
+- charter: （本次唤醒不带人设）
+
+### 提示词原文
+
+```text
+【求真表决 —— 院士 acad 就对象 p-lean-req 投票】
+
+本所正在对下列对象发起共识验证：
+  对象：p-lean-req（类型：命题）
+  陈述：Lean 语料对象丙（require 档）
+
+请给出你**诚实独立的判断**：
+  verdict = 1  表示你认为该对象**绝对为真**；
+  verdict = 0  表示你认为该对象**绝对为假**；
+  介于 0 与 1 之间（例如 0.9）表示你不确定——这会被记为**弃权/存疑**，
+  不计入法定票数 m，但会计入全组平均概率。
+
+【Lean 形式化验证（强制模式）】
+  · 请先判断该对象的**实现难度**：若能在可接受的工作量内形式化，优先写 Lean 代码并执行。
+  · 工具：vibe_v5_lean_run（执行）· vibe_v5_lean_archive（归档）· vibe_v5_lean_lib（查已有可复用库）
+  · 工作目录：Formal/（相对研究所根）；可复用定义放 <VIBEMATH>/Formal/Lib/，
+    已证引理放 <VIBEMATH>/Formal/Proved/；写之前先 vibe_v5_lean_lib 查重。
+  · **一旦 Lean 通过，你唯一需要确认的就是忠实性**：定义 / 对象 / 条件 / 假设 / 结论是否与
+    命题原文逐条一致。请把注意力放在这种核对上，而不是重新做一遍推导。
+  · **本模式要求**：必须产出 Lean 形式化，或**必须**给出显式的阻塞原因（vibe_v5_lean_archive
+    kind='blocked' note=… 或回执 formal.note）。若两者都没有，本次裁定不会生效，
+    会被记为未定论（原因 formal-required）并进入「形式化待办」。
+  · 归档可复用定义/引理前先跑通（vibe_v5_lean_archive run=true 或先 vibe_v5_lean_run）；跑不通不要入库。
+  · 宿主没有 Lean 工具链（LEAN_NOT_FOUND）或根本没有 subprocess 服务（NO_SUBPROCESS）时：把代码写下来归档，并在回执的 note 里写明"宿主无 Lean 工具链"——这两种都算显式阻塞原因，定论门禁可以据此放行。
+  ▸ 若你在本轮把它形式化并跑通（vibe_v5_lean_archive kind='proof'），后续轮次的
+    审查对象就会从"推导是否正确"变成"Lean 代码是否忠实于命题"。
+
+**不要为了配合别人而改票，也不要为了让流程往前走而给出你不相信的 1 或 0。**
+本所宁可留下未定论，也不要一个骗人的结论。
+
+------------
+[状态] 你是 acad（院士）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
+[在册] acad、r-1、r-2
+[形式化] 强制 Lean｜已通过 0｜已记录阻塞 0
+------------
+结束时请**只**输出一个 JSON 对象（```json 围栏内）：
+{"verdict":{"target":"p-lean-req","verdict":<0-1 数值>,"reason":"<你的理由>"}, "contextPct": 40}
+若你本轮做了形式化或给出难度判断，请一并加上：
+{"formal":{"target":"p-lean-req","decision":"used|blocked|defect","file":"Formal/p-lean-req.lean","note":"难度判断/阻塞原因"}}
+```
+
+---
+
+## [59] kind=`lean-require` owner=`r-1`
+
+- charter: （本次唤醒不带人设）
+
+### 提示词原文
+
+```text
+【求真表决 —— 常驻研究员 r-1 就对象 p-lean-req 投票】
+
+本所正在对下列对象发起共识验证：
+  对象：p-lean-req（类型：命题）
+  陈述：Lean 语料对象丙（require 档）
+
+请给出你**诚实独立的判断**：
+  verdict = 1  表示你认为该对象**绝对为真**；
+  verdict = 0  表示你认为该对象**绝对为假**；
+  介于 0 与 1 之间（例如 0.9）表示你不确定——这会被记为**弃权/存疑**，
+  不计入法定票数 m，但会计入全组平均概率。
+
+【Lean 形式化验证（强制模式）】
+  · 请先判断该对象的**实现难度**：若能在可接受的工作量内形式化，优先写 Lean 代码并执行。
+  · 工具：vibe_v5_lean_run（执行）· vibe_v5_lean_archive（归档）· vibe_v5_lean_lib（查已有可复用库）
+  · 工作目录：Formal/（相对研究所根）；可复用定义放 <VIBEMATH>/Formal/Lib/，
+    已证引理放 <VIBEMATH>/Formal/Proved/；写之前先 vibe_v5_lean_lib 查重。
+  · **一旦 Lean 通过，你唯一需要确认的就是忠实性**：定义 / 对象 / 条件 / 假设 / 结论是否与
+    命题原文逐条一致。请把注意力放在这种核对上，而不是重新做一遍推导。
+  · **本模式要求**：必须产出 Lean 形式化，或**必须**给出显式的阻塞原因（vibe_v5_lean_archive
+    kind='blocked' note=… 或回执 formal.note）。若两者都没有，本次裁定不会生效，
+    会被记为未定论（原因 formal-required）并进入「形式化待办」。
+  · 归档可复用定义/引理前先跑通（vibe_v5_lean_archive run=true 或先 vibe_v5_lean_run）；跑不通不要入库。
+  · 宿主没有 Lean 工具链（LEAN_NOT_FOUND）或根本没有 subprocess 服务（NO_SUBPROCESS）时：把代码写下来归档，并在回执的 note 里写明"宿主无 Lean 工具链"——这两种都算显式阻塞原因，定论门禁可以据此放行。
+  ▸ 若你在本轮把它形式化并跑通（vibe_v5_lean_archive kind='proof'），后续轮次的
+    审查对象就会从"推导是否正确"变成"Lean 代码是否忠实于命题"。
+
+**不要为了配合别人而改票，也不要为了让流程往前走而给出你不相信的 1 或 0。**
+本所宁可留下未定论，也不要一个骗人的结论。
+
+------------
+[状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
+[在册] acad、r-1、r-2
+[形式化] 强制 Lean｜已通过 0｜已记录阻塞 0
+------------
+结束时请**只**输出一个 JSON 对象（```json 围栏内）：
+{"verdict":{"target":"p-lean-req","verdict":<0-1 数值>,"reason":"<你的理由>"}, "contextPct": 40}
+若你本轮做了形式化或给出难度判断，请一并加上：
+{"formal":{"target":"p-lean-req","decision":"used|blocked|defect","file":"Formal/p-lean-req.lean","note":"难度判断/阻塞原因"}}
+```
+
+---
+
+## [60] kind=`lean-require` owner=`r-2`
+
+- charter: （本次唤醒不带人设）
+
+### 提示词原文
+
+```text
+【求真表决 —— 常驻研究员 r-2 就对象 p-lean-req 投票】
+
+本所正在对下列对象发起共识验证：
+  对象：p-lean-req（类型：命题）
+  陈述：Lean 语料对象丙（require 档）
+
+请给出你**诚实独立的判断**：
+  verdict = 1  表示你认为该对象**绝对为真**；
+  verdict = 0  表示你认为该对象**绝对为假**；
+  介于 0 与 1 之间（例如 0.9）表示你不确定——这会被记为**弃权/存疑**，
+  不计入法定票数 m，但会计入全组平均概率。
+
+【Lean 形式化验证（强制模式）】
+  · 请先判断该对象的**实现难度**：若能在可接受的工作量内形式化，优先写 Lean 代码并执行。
+  · 工具：vibe_v5_lean_run（执行）· vibe_v5_lean_archive（归档）· vibe_v5_lean_lib（查已有可复用库）
+  · 工作目录：Formal/（相对研究所根）；可复用定义放 <VIBEMATH>/Formal/Lib/，
+    已证引理放 <VIBEMATH>/Formal/Proved/；写之前先 vibe_v5_lean_lib 查重。
+  · **一旦 Lean 通过，你唯一需要确认的就是忠实性**：定义 / 对象 / 条件 / 假设 / 结论是否与
+    命题原文逐条一致。请把注意力放在这种核对上，而不是重新做一遍推导。
+  · **本模式要求**：必须产出 Lean 形式化，或**必须**给出显式的阻塞原因（vibe_v5_lean_archive
+    kind='blocked' note=… 或回执 formal.note）。若两者都没有，本次裁定不会生效，
+    会被记为未定论（原因 formal-required）并进入「形式化待办」。
+  · 归档可复用定义/引理前先跑通（vibe_v5_lean_archive run=true 或先 vibe_v5_lean_run）；跑不通不要入库。
+  · 宿主没有 Lean 工具链（LEAN_NOT_FOUND）或根本没有 subprocess 服务（NO_SUBPROCESS）时：把代码写下来归档，并在回执的 note 里写明"宿主无 Lean 工具链"——这两种都算显式阻塞原因，定论门禁可以据此放行。
+  ▸ 若你在本轮把它形式化并跑通（vibe_v5_lean_archive kind='proof'），后续轮次的
+    审查对象就会从"推导是否正确"变成"Lean 代码是否忠实于命题"。
+
+**不要为了配合别人而改票，也不要为了让流程往前走而给出你不相信的 1 或 0。**
+本所宁可留下未定论，也不要一个骗人的结论。
+
+------------
+[状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
+[在册] acad、r-1、r-2
+[形式化] 强制 Lean｜已通过 0｜已记录阻塞 0
+------------
+结束时请**只**输出一个 JSON 对象（```json 围栏内）：
+{"verdict":{"target":"p-lean-req","verdict":<0-1 数值>,"reason":"<你的理由>"}, "contextPct": 40}
+若你本轮做了形式化或给出难度判断，请一并加上：
+{"formal":{"target":"p-lean-req","decision":"used|blocked|defect","file":"Formal/p-lean-req.lean","note":"难度判断/阻塞原因"}}
+```
+
+---
+
+## [61] kind=`lean-after-defect` owner=`r-1`
+
+- charter: （本次唤醒不带人设）
+
+### 提示词原文
+
+```text
+[新到的消息]
+  【研究所·私信 from acad】再继续。
+
+【第 2 轮 —— 常驻研究员 r-1】
+
+请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
+结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
+
+【顺手形式化（鼓励）】把你工作中常用或可能复用的对象、假设、新定义用 Lean 形式化定义并归档到全局可复用库（vibe_v5_lean_archive kind='def'），已成立的引理归到 Proved/（kind='lemma'）；写之前先 vibe_v5_lean_lib 查重，避免重复定义。归档前先跑通（vibe_v5_lean_run 或 run=true）；跑不通的定义不要进可复用库。这会让后续的验证与证明省掉大量重复工作。
+
+------------
+[状态] 你是 r-1（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
+[在册] acad、r-1、r-2
+[形式化] 鼓励 Lean｜已通过 0｜已记录阻塞 0｜形式化待办 1 项（见 Formal/TODO.md）
+------------
+结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
+{
+  "say": "你想对全所说的话（群聊）"  或  {"to":"r-2","text":"…"}（私信）  或  {"to":"voters","text":"…"}（只对表决者），
+  "progress": "本轮进展叙述（会被追加到你的 Progress/progress.md）",
+  "record": [ {"kind":"proposition|method|subproblem","id":"p-x","title":"…","statement":"…",
+               "content":"…（method 用）","value":0.6,"motive":"为何重要/打算怎么用","p":0.7} ],
+  "propose_verify": {"target":"p-x","kind":"proposition|method|subproblem","reason":"为何值得验证"},
+  "verdict": {"target":"p-x","verdict":1,"reason":"你的理由"}   ← verdict ∈ [0,1]；**只有 1 或 0 算表决**，
+             介于两者之间=弃权/存疑；只在被要求表决时填。
+  "propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"}，
+  "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
+  "task_claim": "t-3",
+  "task_done": "t-3",
+  "task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
+  "input": "本轮会议/辩论的发言正文（会议轮用；也可直接用 say）",
+  "formal": {"target":"p-x","decision":"used|blocked|defect","file":"Formal/p-x.lean","note":"难度判断/阻塞原因"}
+             ← Lean 形式化：**鼓励**：按实现难度自行决定；做了就归档，没做就写明难度判断，详见提示词里的【Lean 形式化验证】段
+  "reject_assign": {"task_id":"t-3","why":"你对这项分派的异议理由"}   ← 有异议时填；理由会被广播给
+             全体表决者（任务仍会执行，但你的理由不会被埋掉），
+  "hire": {"purpose":"…","initial_task":"…","direction":"…"}   ← 雇佣一名临时工（说明用途与初始任务），
+  "fire": {"id":"t-2","reason":"…"}                             ← 解雇（雇主/院士；你只能解雇你雇的），
+  "vote_solved": true|false,   ← 你是否认为**原问题已解决**（会议/结题表决用；必须诚实）
+  "solved": false,           ← 你这一轮的个人判断（框架据此了解全所收敛度）
+  "contextPct": 40,          ← 你当前上下文的占用百分比（0-100）
+  "compacted": false          ← 若框架要求你压缩，填 true 并在 progress 里写下浓缩后的工作状态
+}
+```
+
+---
+
+## [62] kind=`lean-tool-hint` owner=`r-1`
+
+- charter: （本次唤醒不带人设）
+
+### 提示词原文
+
+```text
+vibe_v5_lean_run hint (green): 通过。若是某个对象的证明，请用 vibe_v5_lean_archive kind='proof' 归档（会写入 Verified/Lean/ 并把审查对象变成忠实性）；若是可复用定义/引理，用 kind='def'/'lemma' 归档到全局库。
+vibe_v5_lean_run hint (red): 未通过。请按上面的编译器输出修复后重跑；若判断无法完成，用 vibe_v5_lean_archive kind='blocked' 记录原因。
+vibe_v5_lean_run on a missing file: V5_NOT_FOUND｜no such file: Formal/no-such-file.lean
+vibe_v5_lean_archive without a name: V5_INVALID_ARGUMENT｜name is required for a reusable definition/lemma
+vibe_v5_lean_archive blocked without a note: V5_INVALID_ARGUMENT｜阻塞记录必须写明原因（note）——"因难度决定不做形式化"必须显式、可审计
+vibe_v5_lean_lib hint: 复用优先：先在 Lib/ 里找现成定义；新定义用 vibe_v5_lean_archive kind='def' 归档，已证引理用 kind='lemma'。
 ```
 
 ---
@@ -4095,7 +3877,7 @@ r-2：初始见解。
 ## 统计
 
 - `after-failure`: 1
-- `checkpoint`: 10
+- `checkpoint`: 1
 - `founding`: 4
 - `founding-leaderless`: 2
 - `founding-temp`: 1
@@ -4107,7 +3889,10 @@ r-2：初始见解。
 - `inbox-office-assign`: 2
 - `inbox-office-nudge`: 2
 - `inbox-voters`: 2
+- `lean-after-defect`: 1
 - `lean-fidelity`: 3
+- `lean-require`: 3
+- `lean-tool-hint`: 1
 - `lean-verify`: 3
 - `lean-work`: 1
 - `meeting`: 2
@@ -4120,4 +3905,4 @@ r-2：初始见解。
 - `verify`: 3
 - `verify-debate`: 3
 
-- 合计：66 条提示词
+- 合计：62 条提示词