dsh-vibe-math 2.3.1 → 2.3.3

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,225 +212,26 @@
 
 ---
 
-## [5] kind=`notice-task` owner=`r-1`
-
-- 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】
-
-请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
-结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
-
-------------
-[状态] 你是 r-1（常驻研究员）｜轮次 6｜法定票数 m=3｜有表决权者 3 人
-[在册] acad、r-1、r-2
-[任务板] 进行中 0｜可认领 1｜我负责 无
-------------
-结束时请**只**输出一个 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 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [6] 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/（相对研究所根）；可复用定义放 <WS>/VibeMath/Formal/Lib/，
-    已证引理放 <WS>/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）时：把代码写下来归档，并在回执的 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":"难度判断/阻塞原因"}}
-```
-
----
-
-## [7] 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/（相对研究所根）；可复用定义放 <WS>/VibeMath/Formal/Lib/，
-    已证引理放 <WS>/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）时：把代码写下来归档，并在回执的 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":"难度判断/阻塞原因"}}
-```
-
----
-
-## [8] 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/（相对研究所根）；可复用定义放 <WS>/VibeMath/Formal/Lib/，
-    已证引理放 <WS>/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）时：把代码写下来归档，并在回执的 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":"难度判断/阻塞原因"}}
-```
-
----
-
-## [9] kind=`lean-after-defect` owner=`r-1`
+## [5] kind=`inbox-office-assign` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-[新到的消息]
-  【研究所·私信 from acad】再继续。
-
-【第 2 轮 —— 常驻研究员 r-1】
+【第 9 轮 —— 常驻研究员 r-2】
 
 请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
 结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
 
-【顺手形式化（鼓励）】把你工作中常用或可能复用的对象、假设、新定义用 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 人
+[状态] 你是 r-2（常驻研究员）｜轮次 9｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
-[形式化] 鼓励 Lean｜已通过 0｜已记录阻塞 0｜形式化待办 1 项（见 Formal/TODO.md）
+[任务板] 进行中 2｜可认领 0｜我负责 t-1「核验模 9 情形」、t-2「所办指派」
+  ▸ 我的任务 t-1：核验模 9 情形｜验收：给出模 9 全表｜由 acad 分派
+    你最熟同余
+  ▸ 我的任务 t-2：所办指派｜验收：给出结论｜由 office 分派
+    所办决定
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
 {
@@ -448,8 +248,6 @@
   "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":"…"}   ← 雇佣一名临时工（说明用途与初始任务），
@@ -463,7 +261,7 @@
 
 ---
 
-## [10] kind=`founding` owner=`acad`
+## [6] kind=`founding` owner=`acad`
 
 - charter: 5618 字符
 
@@ -685,7 +483,7 @@
 
 ---
 
-## [11] kind=`founding` owner=`r-1`
+## [7] kind=`founding` owner=`r-1`
 
 - charter: 5524 字符
 
@@ -898,7 +696,7 @@
 
 ---
 
-## [12] kind=`founding` owner=`r-2`
+## [8] kind=`founding` owner=`r-2`
 
 - charter: 5528 字符
 
@@ -1111,7 +909,7 @@
 
 ---
 
-## [13] kind=`founding` owner=`r-3`
+## [9] kind=`founding` owner=`r-3`
 
 - charter: 5532 字符
 
@@ -1324,7 +1122,7 @@
 
 ---
 
-## [14] kind=`founding-temp` owner=`t-1`
+## [10] kind=`founding-temp` owner=`t-1`
 
 - charter: 4462 字符
 
@@ -1514,7 +1312,7 @@
 
 ---
 
-## [15] kind=`founding-leaderless` owner=`r-1`
+## [11] kind=`founding-leaderless` owner=`r-1`
 
 - charter: 4744 字符
 
@@ -1560,7 +1358,7 @@
 
 ---
 
-## [16] kind=`founding-leaderless` owner=`r-2`
+## [12] kind=`founding-leaderless` owner=`r-2`
 
 - charter: 4748 字符
 
@@ -1606,7 +1404,7 @@
 
 ---
 
-## [17] kind=`resume` owner=`acad`
+## [13] kind=`resume` owner=`acad`
 
 - charter: 5591 字符
 
@@ -1639,15 +1437,6 @@ acad：继续推进。
 ### <TIME>｜acad
 acad：继续推进。
 
-### <TIME>｜acad
-acad：继续推进。
-
-### <TIME>｜acad
-acad：继续推进。
-
-### <TIME>｜acad
-acad：继续推进。
-
 ### <TIME>｜acad
 acad：初始见解。
 
@@ -1706,7 +1495,7 @@ acad：初始见解。
 
 ---
 
-## [18] kind=`resume` owner=`r-1`
+## [14] kind=`resume` owner=`r-1`
 
 - charter: 5497 字符
 
@@ -1737,13 +1526,7 @@ r-1：继续推进。
 r-1：继续推进。
 
 ### <TIME>｜r-1
-r-1：继续推进。
-
-### <TIME>｜r-1
-r-1：继续推进。
-
-### <TIME>｜r-1
-r-1：继续推进。
+r-1：初始见解。
 
 ### <TIME>｜r-1
 r-1：继续推进。
@@ -1805,7 +1588,7 @@ r-1：初始见解。
 
 ---
 
-## [19] kind=`resume` owner=`r-2`
+## [15] kind=`resume` owner=`r-2`
 
 - charter: 5501 字符
 
@@ -1835,15 +1618,6 @@ r-2：继续推进。
 ### <TIME>｜r-2
 r-2：继续推进。
 
-### <TIME>｜r-2
-r-2：继续推进。
-
-### <TIME>｜r-2
-r-2：继续推进。
-
-### <TIME>｜r-2
-r-2：继续推进。
-
 ### <TIME>｜r-2
 r-2：初始见解。
 
@@ -1916,7 +1690,7 @@ r-2：初始见解。
 
 ---
 
-## [20] kind=`normal` owner=`acad`
+## [16] kind=`normal` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -1966,100 +1740,7 @@ r-2：初始见解。
 
 ---
 
-## [21] kind=`normal` owner=`r-2`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-[新到的消息]
-  【研究所·私信 from r-1】请把你手上的结论同步给我。
-
-【第 1 轮 —— 常驻研究员 r-2】
-
-请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
-结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
-
-------------
-[状态] 你是 r-2（常驻研究员）｜轮次 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 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [22] kind=`normal` owner=`r-1`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-【心跳检查 —— 常驻研究员 r-1】
-
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
-
-------------
-[状态] 你是 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":"…"}，
-  "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 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [23] kind=`normal` owner=`acad`
+## [17] kind=`normal` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -2109,99 +1790,7 @@ r-2：初始见解。
 
 ---
 
-## [24] kind=`normal` owner=`r-1`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-【心跳检查 —— 常驻研究员 r-1】
-
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
-
-------------
-[状态] 你是 r-1（常驻研究员）｜轮次 2｜法定票数 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 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [25] kind=`normal` owner=`r-2`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-【心跳检查 —— 常驻研究员 r-2】
-
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
-
-------------
-[状态] 你是 r-2（常驻研究员）｜轮次 2｜法定票数 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 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [26] kind=`normal` owner=`acad`
+## [18] kind=`normal` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -2251,99 +1840,7 @@ r-2：初始见解。
 
 ---
 
-## [27] kind=`normal` owner=`r-1`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-【心跳检查 —— 常驻研究员 r-1】
-
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
-
-------------
-[状态] 你是 r-1（常驻研究员）｜轮次 3｜法定票数 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 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [28] kind=`normal` owner=`r-2`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-【心跳检查 —— 常驻研究员 r-2】
-
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
-
-------------
-[状态] 你是 r-2（常驻研究员）｜轮次 3｜法定票数 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 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [29] kind=`normal` owner=`acad`
+## [19] kind=`normal` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -2393,7 +1890,7 @@ r-2：初始见解。
 
 ---
 
-## [30] kind=`checkpoint` owner=`r-1`
+## [20] kind=`normal` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -2408,99 +1905,7 @@ r-2：初始见解。
 如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 r-1（常驻研究员）｜轮次 4｜法定票数 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=`r-2`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-【心跳检查 —— 常驻研究员 r-2】
-
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
-
-------------
-[状态] 你是 r-2（常驻研究员）｜轮次 4｜法定票数 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 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [32] kind=`checkpoint` owner=`acad`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
-
-```text
-【心跳检查 —— 院士 acad】
-
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
-
-------------
-[状态] 你是 acad（院士）｜轮次 5｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -2513,10 +1918,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",
@@ -2535,7 +1936,7 @@ r-2：初始见解。
 
 ---
 
-## [33] kind=`checkpoint` owner=`r-1`
+## [21] kind=`normal` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -2550,7 +1951,7 @@ r-2：初始见解。
 如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 r-1（常驻研究员）｜轮次 5｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-1（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -2581,14 +1982,14 @@ r-2：初始见解。
 
 ---
 
-## [34] kind=`checkpoint` owner=`r-2`
+## [22] kind=`normal` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-【心跳检查 —— 常驻研究员 r-2】
+【心跳检查 —— 常驻研究员 r-1】
 
 所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
 读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
@@ -2596,7 +1997,7 @@ r-2：初始见解。
 如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 r-2（常驻研究员）｜轮次 5｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-1（常驻研究员）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -2627,72 +2028,23 @@ r-2：初始见解。
 
 ---
 
-## [35] kind=`checkpoint` owner=`acad`
+## [23] kind=`normal` owner=`r-2`
 
 - 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 里写下浓缩后的工作状态
-}
-```
-
----
-
-## [36] kind=`checkpoint` owner=`r-1`
-
-- charter: （本次唤醒不带人设）
-
-### 提示词原文
+[新到的消息]
+  【研究所·私信 from r-1】请把你手上的结论同步给我。
 
-```text
-【心跳检查 —— 常驻研究员 r-1】
+【第 1 轮 —— 常驻研究员 r-2】
 
-所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
-读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
-或者向团队发消息（say）、开一个议题（propose_meeting）、给某个方向开任务（task_create）。
-如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
+请推进你的研究：思考、读同事的成果库、做推导或验证尝试，并按价值把有价值的
+结论写进你自己的成果库。然后决定要不要发消息、提议开会、提议验证。
 
 ------------
-[状态] 你是 r-1（常驻研究员）｜轮次 6｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -2723,7 +2075,7 @@ r-2：初始见解。
 
 ---
 
-## [37] kind=`checkpoint` owner=`r-2`
+## [24] kind=`normal` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -2738,7 +2090,7 @@ r-2：初始见解。
 如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 r-2（常驻研究员）｜轮次 6｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-2（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -2769,18 +2121,14 @@ r-2：初始见解。
 
 ---
 
-## [38] kind=`checkpoint` owner=`acad`
+## [25] kind=`normal` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-[核心规则] 只有 Verified/（及标记"已验证·真/假"的卡片）算已确立；任何对象要进 Verified/ 必须 ≥m 名有表决权者一致给出 1 或 0，否则留库附平均概率；你只写自己的库（Members/<你>/），可只读任何人的库；组织与分派由院士负责，但判断属于你自己；退出时只输出一个 JSON 对象。
-[CONTEXT COMPACT — 你的对话已接近上限。不要重新推导历史。
-请把当前工作状态浓缩成一段自述（已有发现、当前方向、已记录的关键成果、下一步具体动作、未决问题），然后照常以 JSON 回答本轮。请在回复里填 "contextPct": 15 与 "compacted": true。]
-
-【心跳检查 —— 院士 acad】
+【心跳检查 —— 常驻研究员 r-2】
 
 所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
 读一读同事的库、推进你的子问题/引理/方法、尝试一条新路线；
@@ -2788,7 +2136,7 @@ r-2：初始见解。
 如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 acad（院士）｜轮次 7｜法定票数 m=3｜有表决权者 3 人
+[状态] 你是 r-2（常驻研究员）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
@@ -2801,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",
@@ -2823,17 +2167,13 @@ r-2：初始见解。
 
 ---
 
-## [39] kind=`checkpoint` owner=`r-1`
+## [26] kind=`checkpoint` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
 ### 提示词原文
 
 ```text
-[核心规则] 只有 Verified/（及标记"已验证·真/假"的卡片）算已确立；任何对象要进 Verified/ 必须 ≥m 名有表决权者一致给出 1 或 0，否则留库附平均概率；你只写自己的库（Members/<你>/），可只读任何人的库；组织与分派由院士负责，但判断属于你自己；退出时只输出一个 JSON 对象。
-[CONTEXT COMPACT — 你的对话已接近上限。不要重新推导历史。
-请把当前工作状态浓缩成一段自述（已有发现、当前方向、已记录的关键成果、下一步具体动作、未决问题），然后照常以 JSON 回答本轮。请在回复里填 "contextPct": 15 与 "compacted": true。]
-
 【心跳检查 —— 常驻研究员 r-1】
 
 所内一段时间没有新进展了。请**继续推进**这个问题，而不是停在原地：
@@ -2842,8 +2182,8 @@ r-2：初始见解。
 如果你确实已无路可走或认为原问题接近解决，请说明你的判断与理由。
 
 ------------
-[状态] 你是 r-1（常驻研究员）｜轮次 7｜法定票数 m=3｜有表决权者 3 人
-[在册] acad、r-1、r-2
+[状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=1｜有表决权者 1 人
+[在册] r-1
 ------------
 结束时请**只**输出一个 JSON 对象（放在 ```json 围栏内，围栏外不要有文字）。支持以下字段，除特别说明外都可省略：
 {
@@ -2873,7 +2213,7 @@ r-2：初始见解。
 
 ---
 
-## [40] kind=`verify` owner=`acad`
+## [27] kind=`verify` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -2905,7 +2245,7 @@ r-2：初始见解。
 
 ---
 
-## [41] kind=`verify` owner=`r-1`
+## [28] kind=`verify` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -2937,7 +2277,7 @@ r-2：初始见解。
 
 ---
 
-## [42] kind=`verify` owner=`r-2`
+## [29] kind=`verify` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -2969,7 +2309,7 @@ r-2：初始见解。
 
 ---
 
-## [43] kind=`verify-debate` owner=`acad`
+## [30] kind=`verify-debate` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -3007,7 +2347,7 @@ r-2：初始见解。
 
 ---
 
-## [44] kind=`verify-debate` owner=`r-1`
+## [31] kind=`verify-debate` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -3045,7 +2385,7 @@ r-2：初始见解。
 
 ---
 
-## [45] kind=`verify-debate` owner=`r-2`
+## [32] kind=`verify-debate` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -3083,7 +2423,7 @@ r-2：初始见解。
 
 ---
 
-## [46] kind=`meeting` owner=`acad`
+## [33] kind=`meeting` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -3137,7 +2477,7 @@ r-2：初始见解。
 
 ---
 
-## [47] kind=`meeting` owner=`r-1`
+## [34] kind=`meeting` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -3187,7 +2527,7 @@ r-2：初始见解。
 
 ---
 
-## [48] kind=`meeting-proposal` owner=`acad`
+## [35] kind=`meeting-proposal` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -3241,7 +2581,7 @@ r-2：初始见解。
 
 ---
 
-## [49] kind=`inbox-dm` owner=`r-2`
+## [36] kind=`inbox-dm` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -3288,7 +2628,7 @@ r-2：初始见解。
 
 ---
 
-## [50] kind=`inbox-voters` owner=`acad`
+## [37] kind=`inbox-voters` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -3342,7 +2682,7 @@ r-2：初始见解。
 
 ---
 
-## [51] kind=`inbox-voters` owner=`r-2`
+## [38] kind=`inbox-voters` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -3389,7 +2729,7 @@ r-2：初始见解。
 
 ---
 
-## [52] kind=`inbox-chat` owner=`acad`
+## [39] kind=`inbox-chat` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -3443,7 +2783,7 @@ r-2：初始见解。
 
 ---
 
-## [53] kind=`inbox-chat` owner=`r-2`
+## [40] kind=`inbox-chat` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -3490,7 +2830,7 @@ r-2：初始见解。
 
 ---
 
-## [54] kind=`inbox-office` owner=`acad`
+## [41] kind=`inbox-office` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -3544,7 +2884,7 @@ r-2：初始见解。
 
 ---
 
-## [55] kind=`inbox-office` owner=`r-1`
+## [42] kind=`inbox-office` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -3591,7 +2931,7 @@ r-2：初始见解。
 
 ---
 
-## [56] kind=`inbox-office` owner=`r-2`
+## [43] kind=`inbox-office` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -3638,20 +2978,23 @@ r-2：初始见解。
 
 ---
 
-## [57] 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 分派
@@ -3685,23 +3028,20 @@ r-2：初始见解。
 
 ---
 
-## [58] 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 分派
@@ -3735,24 +3075,23 @@ r-2：初始见解。
 
 ---
 
-## [59] 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 分派
@@ -3786,23 +3125,24 @@ r-2：初始见解。
 
 ---
 
-## [60] 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 分派
@@ -3836,7 +3176,7 @@ r-2：初始见解。
 
 ---
 
-## [61] kind=`notice` owner=`r-1`
+## [48] kind=`notice` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -3883,7 +3223,7 @@ r-2：初始见解。
 
 ---
 
-## [62] kind=`notice-claim` owner=`r-1`
+## [49] kind=`notice-claim` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -3930,7 +3270,7 @@ r-2：初始见解。
 
 ---
 
-## [63] kind=`after-failure` owner=`r-2`
+## [50] kind=`after-failure` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -3978,7 +3318,7 @@ r-2：初始见解。
 
 ---
 
-## [64] kind=`lean-work` owner=`r-1`
+## [51] kind=`lean-work` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -4030,7 +3370,7 @@ r-2：初始见解。
 
 ---
 
-## [65] kind=`lean-verify` owner=`acad`
+## [52] kind=`lean-verify` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -4052,13 +3392,13 @@ r-2：初始见解。
 【Lean 形式化验证（鼓励模式）】
   · 请先判断该对象的**实现难度**：若能在可接受的工作量内形式化，优先写 Lean 代码并执行。
   · 工具：vibe_v5_lean_run（执行）· vibe_v5_lean_archive（归档）· vibe_v5_lean_lib（查已有可复用库）
-  · 工作目录：Formal/（相对研究所根）；可复用定义放 <WS>/VibeMath/Formal/Lib/，
-    已证引理放 <WS>/VibeMath/Formal/Proved/；写之前先 vibe_v5_lean_lib 查重。
+  · 工作目录：Formal/（相对研究所根）；可复用定义放 <VIBEMATH>/Formal/Lib/，
+    已证引理放 <VIBEMATH>/Formal/Proved/；写之前先 vibe_v5_lean_lib 查重。
   · **一旦 Lean 通过，你唯一需要确认的就是忠实性**：定义 / 对象 / 条件 / 假设 / 结论是否与
     命题原文逐条一致。请把注意力放在这种核对上，而不是重新做一遍推导。
   · 若你判断不值得或无法形式化，可以不做，但请在回执的 formal 字段写明难度判断（decision='blocked' 时必须写明 note）。
   · 归档可复用定义/引理前先跑通（vibe_v5_lean_archive run=true 或先 vibe_v5_lean_run）；跑不通不要入库。
-  · 宿主没有 Lean 工具链（LEAN_NOT_FOUND）时：把代码写下来归档，并在回执的 note 里写明"宿主无 Lean 工具链"——这算显式阻塞原因，定论门禁可以据此放行。
+  · 宿主没有 Lean 工具链（LEAN_NOT_FOUND）或根本没有 subprocess 服务（NO_SUBPROCESS）时：把代码写下来归档，并在回执的 note 里写明"宿主无 Lean 工具链"——这两种都算显式阻塞原因，定论门禁可以据此放行。
   ▸ 若你在本轮把它形式化并跑通（vibe_v5_lean_archive kind='proof'），后续轮次的
     审查对象就会从"推导是否正确"变成"Lean 代码是否忠实于命题"。
 
@@ -4078,7 +3418,7 @@ r-2：初始见解。
 
 ---
 
-## [66] kind=`lean-verify` owner=`r-1`
+## [53] kind=`lean-verify` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -4100,13 +3440,13 @@ r-2：初始见解。
 【Lean 形式化验证（鼓励模式）】
   · 请先判断该对象的**实现难度**：若能在可接受的工作量内形式化，优先写 Lean 代码并执行。
   · 工具：vibe_v5_lean_run（执行）· vibe_v5_lean_archive（归档）· vibe_v5_lean_lib（查已有可复用库）
-  · 工作目录：Formal/（相对研究所根）；可复用定义放 <WS>/VibeMath/Formal/Lib/，
-    已证引理放 <WS>/VibeMath/Formal/Proved/；写之前先 vibe_v5_lean_lib 查重。
+  · 工作目录：Formal/（相对研究所根）；可复用定义放 <VIBEMATH>/Formal/Lib/，
+    已证引理放 <VIBEMATH>/Formal/Proved/；写之前先 vibe_v5_lean_lib 查重。
   · **一旦 Lean 通过，你唯一需要确认的就是忠实性**：定义 / 对象 / 条件 / 假设 / 结论是否与
     命题原文逐条一致。请把注意力放在这种核对上，而不是重新做一遍推导。
   · 若你判断不值得或无法形式化，可以不做，但请在回执的 formal 字段写明难度判断（decision='blocked' 时必须写明 note）。
   · 归档可复用定义/引理前先跑通（vibe_v5_lean_archive run=true 或先 vibe_v5_lean_run）；跑不通不要入库。
-  · 宿主没有 Lean 工具链（LEAN_NOT_FOUND）时：把代码写下来归档，并在回执的 note 里写明"宿主无 Lean 工具链"——这算显式阻塞原因，定论门禁可以据此放行。
+  · 宿主没有 Lean 工具链（LEAN_NOT_FOUND）或根本没有 subprocess 服务（NO_SUBPROCESS）时：把代码写下来归档，并在回执的 note 里写明"宿主无 Lean 工具链"——这两种都算显式阻塞原因，定论门禁可以据此放行。
   ▸ 若你在本轮把它形式化并跑通（vibe_v5_lean_archive kind='proof'），后续轮次的
     审查对象就会从"推导是否正确"变成"Lean 代码是否忠实于命题"。
 
@@ -4126,7 +3466,7 @@ r-2：初始见解。
 
 ---
 
-## [67] kind=`lean-verify` owner=`r-2`
+## [54] kind=`lean-verify` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -4148,13 +3488,13 @@ r-2：初始见解。
 【Lean 形式化验证（鼓励模式）】
   · 请先判断该对象的**实现难度**：若能在可接受的工作量内形式化，优先写 Lean 代码并执行。
   · 工具：vibe_v5_lean_run（执行）· vibe_v5_lean_archive（归档）· vibe_v5_lean_lib（查已有可复用库）
-  · 工作目录：Formal/（相对研究所根）；可复用定义放 <WS>/VibeMath/Formal/Lib/，
-    已证引理放 <WS>/VibeMath/Formal/Proved/；写之前先 vibe_v5_lean_lib 查重。
+  · 工作目录：Formal/（相对研究所根）；可复用定义放 <VIBEMATH>/Formal/Lib/，
+    已证引理放 <VIBEMATH>/Formal/Proved/；写之前先 vibe_v5_lean_lib 查重。
   · **一旦 Lean 通过，你唯一需要确认的就是忠实性**：定义 / 对象 / 条件 / 假设 / 结论是否与
     命题原文逐条一致。请把注意力放在这种核对上，而不是重新做一遍推导。
   · 若你判断不值得或无法形式化，可以不做，但请在回执的 formal 字段写明难度判断（decision='blocked' 时必须写明 note）。
   · 归档可复用定义/引理前先跑通（vibe_v5_lean_archive run=true 或先 vibe_v5_lean_run）；跑不通不要入库。
-  · 宿主没有 Lean 工具链（LEAN_NOT_FOUND）时：把代码写下来归档，并在回执的 note 里写明"宿主无 Lean 工具链"——这算显式阻塞原因，定论门禁可以据此放行。
+  · 宿主没有 Lean 工具链（LEAN_NOT_FOUND）或根本没有 subprocess 服务（NO_SUBPROCESS）时：把代码写下来归档，并在回执的 note 里写明"宿主无 Lean 工具链"——这两种都算显式阻塞原因，定论门禁可以据此放行。
   ▸ 若你在本轮把它形式化并跑通（vibe_v5_lean_archive kind='proof'），后续轮次的
     审查对象就会从"推导是否正确"变成"Lean 代码是否忠实于命题"。
 
@@ -4174,7 +3514,7 @@ r-2：初始见解。
 
 ---
 
-## [68] kind=`lean-fidelity` owner=`acad`
+## [55] kind=`lean-fidelity` owner=`acad`
 
 - charter: （本次唤醒不带人设）
 
@@ -4201,7 +3541,7 @@ r-2：初始见解。
   ▸ **发现任何偏差，不要投 0**：偏差只说明**形式化不合格**，不代表命题为假。此时请：
       ① verdict 给一个严格介于 0 与 1 之间的值（记为弃权），并在 reason 里写清偏差；
       ② 用回执 formal:{decision:'defect', note:'<具体偏差>'} 记录它。框架会撤回这条证明的
-         「已通过」状态（降级为 attempted、删除归档证明、写入形式化待办）；
+         「已通过」状态（降级为 attempted、删除归档证明、写入形式化待办）。本档没有门禁：请务必给一个严格介于 0 与 1 之间的弃权值，以保证本轮无法得出一致结论；
          修正形式化并重新跑通后再投票。
   ▸ 只有当你**独立于这份 Lean 代码**也能确定命题为假时，才投 0，并在 reason 里写清独立理由。
 
@@ -4221,7 +3561,7 @@ r-2：初始见解。
 
 ---
 
-## [69] kind=`lean-fidelity` owner=`r-1`
+## [56] kind=`lean-fidelity` owner=`r-1`
 
 - charter: （本次唤醒不带人设）
 
@@ -4248,7 +3588,7 @@ r-2：初始见解。
   ▸ **发现任何偏差，不要投 0**：偏差只说明**形式化不合格**，不代表命题为假。此时请：
       ① verdict 给一个严格介于 0 与 1 之间的值（记为弃权），并在 reason 里写清偏差；
       ② 用回执 formal:{decision:'defect', note:'<具体偏差>'} 记录它。框架会撤回这条证明的
-         「已通过」状态（降级为 attempted、删除归档证明、写入形式化待办）；
+         「已通过」状态（降级为 attempted、删除归档证明、写入形式化待办）。本档没有门禁：请务必给一个严格介于 0 与 1 之间的弃权值，以保证本轮无法得出一致结论；
          修正形式化并重新跑通后再投票。
   ▸ 只有当你**独立于这份 Lean 代码**也能确定命题为假时，才投 0，并在 reason 里写清独立理由。
 
@@ -4268,7 +3608,7 @@ r-2：初始见解。
 
 ---
 
-## [70] kind=`lean-fidelity` owner=`r-2`
+## [57] kind=`lean-fidelity` owner=`r-2`
 
 - charter: （本次唤醒不带人设）
 
@@ -4295,7 +3635,7 @@ r-2：初始见解。
   ▸ **发现任何偏差，不要投 0**：偏差只说明**形式化不合格**，不代表命题为假。此时请：
       ① verdict 给一个严格介于 0 与 1 之间的值（记为弃权），并在 reason 里写清偏差；
       ② 用回执 formal:{decision:'defect', note:'<具体偏差>'} 记录它。框架会撤回这条证明的
-         「已通过」状态（降级为 attempted、删除归档证明、写入形式化待办）；
+         「已通过」状态（降级为 attempted、删除归档证明、写入形式化待办）。本档没有门禁：请务必给一个严格介于 0 与 1 之间的弃权值，以保证本轮无法得出一致结论；
          修正形式化并重新跑通后再投票。
   ▸ 只有当你**独立于这份 Lean 代码**也能确定命题为假时，才投 0，并在 reason 里写清独立理由。
 
@@ -4315,10 +3655,229 @@ r-2：初始见解。
 
 ---
 
+## [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'。
+```
+
+---
+
 ## 统计
 
 - `after-failure`: 1
-- `checkpoint`: 10
+- `checkpoint`: 1
 - `founding`: 4
 - `founding-leaderless`: 2
 - `founding-temp`: 1
@@ -4333,6 +3892,7 @@ r-2：初始见解。
 - `lean-after-defect`: 1
 - `lean-fidelity`: 3
 - `lean-require`: 3
+- `lean-tool-hint`: 1
 - `lean-verify`: 3
 - `lean-work`: 1
 - `meeting`: 2
@@ -4345,4 +3905,4 @@ r-2：初始见解。
 - `verify`: 3
 - `verify-debate`: 3
 
-- 合计：70 条提示词
+- 合计：62 条提示词