dsh-vibe-math 2.0.22 → 2.2.0

package/README.md

@@ -1,4 +1,4 @@
-# Vibe Mathematics — 多代理数学问题求解与验证框架（三架构）
+# Vibe Mathematics — 多代理数学问题求解与验证框架（四架构）
 
 [![npm](https://img.shields.io/npm/v/dsh-vibe-math)](https://www.npmjs.com/package/dsh-vibe-math)
 [![License: MIT](https://img.shields.io/badge/License-MIT-blue.svg)](https://opensource.org/licenses/MIT)
@@ -17,7 +17,7 @@
 
 ---
 
-## 🧩 架构图（v2 + v3 + v4）
+## 🧩 架构图（v2 + v3 + v4 + v5）
 
 > 静态架构图；完整流程说明见 [docs/架构图.md](docs/架构图.md)；可编辑生成脚本：[v2](docs/generate_framework_diagram_v2.py) / [v3](docs/generate_framework_diagram_v3.py) / [v4](docs/generate_framework_diagram_v4.py)。
 
@@ -44,6 +44,44 @@
 
 ---
 
+### Vibe Math V5（研究所体系）🧪 实验性 · 最新
+
+**一句话定位**：把 v4 的"一群互相留言的常驻"升级为一座**研究所**——有**院士**（领头人）、**常驻研究员**、**临时工**三类职员，有所内**公共规章**，有**群聊与会议**，有**自主雇佣/解雇**，并且**任何结论都必须由至少 m 名有表决权者一致给出布尔概率 1 或 0 才能写入 `Verified/`**。
+
+| 职位 | 代号 | 职权 |
+|---|---|---|
+| **院士**（领头人） | `acad` | **组织与协调中心**：建立全所视图、把问题拆解成任务并**分派**、设定优先级、召集并主持会议、督导进度、调配临时工、对外汇报。**一票与他人等重，不能单方面定论。** |
+| **常驻研究员** | `r-<n>` | 有表决权；**可自主雇佣/解雇自己的临时工**。 |
+| **临时工** | `t-<n>` | 为特定任务临时雇入；可读/可想/可发言/可写自己的成果库/可认领或被分派任务；**没有表决权**。 |
+| 所办（主助手） | —— | **不参与研究、不投票**。只汇报、转达人的指令，并代持平台要求的创建权。 |
+
+**求真规则（V5 的核心变更）**：一个对象进入 `Verified/` 必须**同时**满足 ① 至少有 **m = min(`quorumCap`, 有表决权人数)** 名有表决权者投出**布尔概率值**；② 这些票**全部**是 `1`（绝对为真）或**全部**是 `0`（绝对为假）。
+票是 `[0,1]` 的数值，**严格介于 0 与 1 之间 = 弃权/存疑**（不计入 m，但计入全组平均概率）；**任何一张反向布尔票都会阻塞定论**——少数派无法靠别人弃权把结论推过去；未达门槛的对象**留在原库**并附平均概率与完整辩论录，**不强行裁决**。表决两段式：先【独立初评】，未定论再【公开辩论】后重投，轮次上限 `verdictMaxRounds`。
+
+**与 v4 的关键差异**：
+- **有领头人**：v4 无中央调度、一切靠讨论涌现；v5 在**所内**设有院士这一成员负责组织与分派（**框架仍然绝不指派**——指派者是院士，同样受 m 票约束）。
+- **求真门槛从"全体一致"改为"≥ m 一致"**（`quorumMode: "all-unanimous"` 可切回 v4 口径）。
+- **状态存于会话日志的 host-only 投影单元**（键 `vibeMathV5`），由 DSH 负责 checkpoint/恢复；v4 的 `State/*.json` 直写、损坏静默覆盖、并发丢写、跨进程陈旧快照这一整类问题在构造上被消除。
+- **不引入任何 npm 实验包**：v5 是 preset 内的单个 `.js` 文件。
+- **会议与验证互斥**：验证进行中会议请求会暂存，验证做完再补开。
+- **提示词正确性是一等公民**（v2.2.0 起）：成员**读到的文字**本身有专门的测试与可人工复核的语料。
+  身份一律**显式传递、绝不猜测**；成员先落盘进编制、再构造它的入职提示词；章程快照冻结在入职时，
+  重建会话不再自称"刚入职"；框头按**真实来源**标注（所办分派 ≠ 院士分派；督办 ≠ 分派）；
+  框架反馈有独立发送者，一次提示词绝不重复投递同一条消息。
+
+**提示词与交互语料（v2.2.0 新增，随包发布）**：
+- `prompt-v5-integrity.test.mjs` — 526 条断言，逐条检查框架真正发出的提示词：身份/编制/m/轮次一致性、
+  框头署名、回执契约按职位裁剪、无重复投递、无 `?`/`undefined` 垃圾。
+- `prompt-corpus-v5/prompt-corpus-v5.md` / `.json` — **框架真正发出的每一条提示词原文**（入职、会话重建、
+  常规轮、心跳轮、表决初评/辩论、会议、会议提议、各类收件框头、框架提示、失败就位），
+  工作区路径统一替换为 `<WS>` 以保证可 diff。**复核提示词正确性请看这里**，不必翻会话日志。
+- `audit-v5-sensitivity.mjs` — 29 个探针，每个都故意打破一条不变式并要求对应套件**变红**；
+  其中 14 个专打提示词/交互（身份、编制、框头、章程、回执契约、节流）。
+
+详见 `vibe-math-v5/实现方案.md`（§14.5 提示词分配的正确性）与 `RELEASE-NOTES-2.2.0.md`。
+
+---
+
 ## ✨ 功能特色
 
 - **多代理自动求解**：主代理把问题交给调度器，调度器派发 explorer / solver / verifier（v2/v3）与 **planner（规划代理，v3）**、**method-keeper（方法整理代理，v3）** 等子代理协同求解，**你无需逐节点手操**。
@@ -66,7 +104,7 @@
 
 两种安装方式，任选其一（也可并存）：
 
-### 方式 A：作为插件包一键安装（推荐，同时装出三个预设）
+### 方式 A：作为插件包一键安装（推荐，同时装出四个预设）
 
 ```sh
 dsh plugin --profile <你的 profile> add dsh-vibe-math
@@ -105,7 +143,7 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
 
 ---
 
-## 🧭 三个预设怎么选
+## 🧭 四个预设怎么选
 
 > **💡 `vibe-math-v2` 与 `vibe-math-v3` 同级主推，按你的实际需求自行选择：**
 >
@@ -425,6 +463,35 @@ dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
 | `residentPersona` | 空 | 注入每个常驻提示词开头的人格/要求 |
 | `toolAllow` / `toolDeny` | `[]` | **常驻工具权限**（经 `startContinuable` 的 `toolFilter` 做作用域 `tools.restrict()`；空 = 继承全部工具；⚠️ 空 `allow:[]` 会拒绝一切工具） |
 
+### v5（研究所体系 · 实验）默认值
+
+`vibe_v5_set` 可调（持久化在会话日志投影里）：
+
+| 参数 | 默认 | 说明 |
+|---|---|---|
+| `academician` | `true` | 是否设院士（1 名） |
+| `academicianLeads` | `true` | 是否启用院士的组织/分派职权（关掉则退化为 v4 式纯自组织，只有所办能协调） |
+| `memberMayRejectAssign` | `true` | 成员可否**据理反对**院士的分派（反对不阻塞执行，但理由会广播给院士与全所） |
+| `researcherCount` | 3 | 常驻研究员数（建所时） |
+| `quorumCap` | 3 | m 的上限；实际 **m = min(quorumCap, 在册有表决权人数)** |
+| `quorumMode` | `'m-unanimous'` | v5 口径；切 `'all-unanimous'` 回到 v4 的"全体一致" |
+| `verdictMaxRounds` | 3 | 独立初评后进入公开辩论的最大轮数 |
+| `maxTempPerMember` | 3 | 每位院士/研究员**同时**在册的临时工上限（按在册计，非累计——所以换人不受限） |
+| `maxTempTotal` | 12 | 全所同时在册临时工上限 |
+| `compactThreshold` | 66 | 成员上下文占比（0–100）达此值触发压缩 |
+| `compactAfterRounds` | 8 | 或每累计 N 轮触发一次软压缩 |
+| `maxParallel` | 3 | 同时唤醒的成员上限（框架侧并发闸） |
+| `activityTimeoutMs` | 120000 | 空闲兜底心跳间隔（主驱动是一次性活动等待，不轮询） |
+| `stallAutoMeetingMs` | 360000 | 停滞自动召集同步会议的阈值 |
+| `chatDigestMs` / `chatDigestMax` | 45000 / 12 | 群聊摘要合批的时间窗与条数上限（私信/会议/表决不合批） |
+| `meetingKeepEvery` | 5 | 每积累 N 个新产物自动发起一次同步会议 |
+| `provider` / `model` | 空 | 成员 LLM 路由（空 = 继承所办/主代理路由） |
+| `toolAllow` / `toolDeny` | `[]` | 常驻员工工具权限（⚠️ 空 `allow:[]` 会拒绝一切工具） |
+| `tempToolAllow` / `tempToolDeny` | `[]` | 临时工的工具权限（比常驻更窄） |
+| `staffPersona` | 空 | 追加到每个成员章程前的人格/要求 |
+
+常用控制：`vibe_v5_configure`（先配置）→ `vibe_v5_start`（开工）→ `vibe_v5_report` / `vibe_v5_status`；`vibe_v5_message` / `vibe_v5_meeting` / `vibe_v5_members` / `vibe_v5_hire` / `vibe_v5_fire` / `vibe_v5_pause` / `vibe_v5_resume` / `vibe_v5_stop`；斜杠命令 `/v5`。
+
 ---
 
 ## 📝 断点续跑 & 人工干预（两大硬性需求）

package/RELEASE-NOTES-2.1.0.md

@@ -0,0 +1,143 @@
+# dsh-vibe-math 2.1.0 —— 新增 V5「研究所体系」
+
+本版在原有 v2 / v3 / v4 三套预设之外，新增**第五代架构 `vibe-math-v5`：研究所体系**。
+安装本包后，预设选择器里会出现**四个**预设。
+
+---
+
+## 一、V5 是什么
+
+一座**自组织的研究所**，靠"说话"解决问题：
+
+| 职位 | 代号 | 职权 |
+|---|---|---|
+| **院士**（领头人） | `acad` | **组织与协调中心**：建立全所视图、把问题拆解成任务并**分派**、设定优先级、召集并主持会议、督导进度与催办停滞、调配临时工、对外汇报。**一票与他人等重，不能单方面定论。** |
+| **常驻研究员** | `r-<n>` | 有表决权；**可自主雇佣/解雇自己的临时工**；向院士汇报并接受其组织与分派。 |
+| **临时工** | `t-<n>` | 为特定任务临时雇入；可读、可想、可发言、可写自己的成果库、可认领或被分派任务；**没有表决权**。 |
+| 所办（对外接口） | —— | 就是主助手：**不参与研究、不投票**。只负责汇报、转达人的指令，并代持平台要求的创建权。 |
+
+**框架只是媒介**：中继群聊与私信、召集会议、记成果库、统计共识、管理上下文与断点。
+它**从不指派任务**——指派者是院士，一个和研究员一样受表决规则约束的成员。
+
+## 二、求真规则（V5 的核心变更）
+
+一个对象要进入 `Verified/`，必须**同时**满足：
+
+1. 至少有 **m = min(`quorumCap`, 有表决权人数)** 名有表决权者（院士 + 常驻研究员）投出**布尔概率值**；
+2. 这些票**全部**是 `1`（绝对为真）或**全部**是 `0`（绝对为假）。
+
+- 票是 `[0,1]` 的数值：`1` = 断言为真，`0` = 断言为假；
+- **严格介于 0 与 1 之间 = 弃权/存疑**：不计入 m，但计入"全组平均概率"；
+- **任何一张反向的布尔票都会阻塞定论**——所以少数派无法靠别人弃权把结论推过去；
+- 未达门槛 → 对象**留在原库**并附全组平均概率与完整辩论录，**不强行裁决**；
+- 表决两段式：先【独立初评】（彼此不可见），未定论再【公开辩论】（互相可见后重新投票），
+  轮次上限 `verdictMaxRounds`（默认 3）。
+
+> 与 v4 的差别：v4 要求**全体常驻一致**；v5 改为**至少 m 名一致**（`quorumMode: "all-unanimous"`
+> 可切回 v4 口径）。默认 `quorumCap = 3`。
+
+## 三、V5 的其他能力
+
+- **群聊 / 私信 / 会议**：成员在群聊里说话、可私信、可提议开会；院士可直接召开并设定议程。
+  会议纪要落到 `Shared/Meetings/<id>.md`，辩论录落到 `Shared/Debates/<target>.md`。
+- **任务板**：`task-<n>` + **revision 比较交换**（拿过期副本改会被拒绝）+ **依赖 DAG**
+  （缺依赖/重复/成环都会被拒）+ 优先级 + 院士分派（须写明**理由**与**验收标准**）。
+- **成果库**：每人独立目录 `Members/<id>/{Progress,Propos,Methods,Subproblems}/`，
+  **只写自己、可读他人**。入库必须写明 **价值程度 / 动机用途计划 / 概率估计**（缺一不可）。
+  章程里对 `Progress/` 给出了完整定义与**用途说明**（思考痕迹、压缩后恢复状态的主要依据、
+  院士统筹全所的输入、失败与死路同样值得记）。
+- **雇佣 / 解雇**：院士与常驻研究员**都能**雇佣临时工；解雇是**真实**的——
+  中断其当前回合、`drainContinuableChildren` **释放其常驻身份**、**收回其未完成任务**、
+  丢弃其邮箱、标记除名；**代号永不复用**。
+- **上下文**：达阈值自动压缩（真实 `/compact`，缺失 `compaction` 服务时回退到自述浓缩）。
+  章程写在成员 `persona` 里，**压缩后依然生效**——不需要 v4 那套"压缩后重申规则"的补丁。
+- **断点续跑**：状态存在**会话日志的 host-only 投影单元**里（键 `vibeMathV5`），
+  由 DSH 负责 checkpoint 与恢复；若宿主没有 `sessionProjections`，回退到加固 JSON 状态文件。
+
+## 四、快速上手
+
+```
+vibe_v5_configure { project?, institute?, problem?, params? }   # 先配置，不启动
+vibe_v5_start     { problem?, researcherCount?, academician?, seedDirections? }
+vibe_v5_report    / vibe_v5_status                              # 汇报 / 状态
+vibe_v5_message   { to|all, content }                           # 人以所办身份留言
+vibe_v5_meeting   { agenda, kind }                              # 召集会议
+vibe_v5_members / vibe_v5_hire / vibe_v5_fire / vibe_v5_set
+```
+斜杠命令：`/v5 configure|start|resume|pause|stop|status|report|members|message|meeting|hire|fire|add|remove|set`
+
+**主助手（所办）是 hands-off 的**：`vibe_v5_start` 之后请保持被动，只在用户明确要求或
+研究所明显僵死时介入，且只做"促成"，不做"决定"。
+
+## 五、重要边界（请知悉）
+
+- **试验性架构**：v5 是新增的第五代实现，与 v2/v3/v4 并存、互不影响；三个旧预设行为未变。
+- **一所一会话**：一个会话承载一座研究所；要另建一座请开新会话（`configure` 会拒绝在运行中
+  切换项目/所名，以免状态分裂到两棵树）。
+- **解雇是逻辑除名 + 真实释放**：DSH 的 roster 没有"删除"，v5 用
+  `drainContinuableChildren` 真实释放常驻身份并**永不再向其投递**；其档案留在所史里。
+- **编制变更需所办批准**：成员（含院士）只能**提议**增聘/解聘**常驻研究员**；
+  临时工的雇佣/解雇才是成员自主权。
+- **m 随人数浮动**：`m = min(quorumCap, 在册有表决权者数)`。若在册人数少于 `quorumCap`，
+  m 会随之下降（这是 `min{3, 人数}` 的定义所决定的）；若你希望"人少就不能定论"，
+  请把 `quorumCap` 调高（例如固定为 3 并保持 ≥3 名研究员在册）。
+- **不引入任何 npm 实验包**：v5 是 preset 内的单个 `.js` 文件，不依赖 DSH 的实验性
+  agent-team 包，因此不需要 pnpm、不改 profile、不需要额外重启。
+- **`State/` 只是人读镜像**：权威状态在会话日志投影里，请勿手改 `State/` 下的文件。
+
+## 六、验证
+
+- `selfdrive-v5.mjs`：**70 条断言全绿**。用 mock host + **mock 投影注册表**（忠实复现
+  `register` / 事件即时折叠 / `stateOf`）驱动真实插件，覆盖建所、章程注入、群聊扇出、
+  私信、临时工权限、m 票门限（m−1 不进 / 1 与 0 混合不进 / m 票全 1 才进）、弃权不计 m、
+  任务板 CAS 与依赖成环、院士分派与越权拒绝、真实解雇（中断+释放+任务回收+代号不复用）、
+  会议互斥与暂存、全体一致才结题等。
+- `e2e-v5-round2.test.mjs`：**53 条断言全绿**，专攻第一套未覆盖的行为路径 ——
+  **加固 JSON 回落后端**、**模拟进程重启**（新宿主 + 新后端读回持久状态并 resume 重建）、
+  重复 `subagent/end` 幂等、雇佣配额（每人上限 / 全所上限）、`quorumMode: all-unanimous`、
+  **名册缩减时 m 重算**、`vibe_v5_wait`（区间校验 / 无人在跑快捷返回 / 被真实活动唤醒）、
+  `read_library`（跨读他人库）、id 消毒抗路径穿越、运行中 configure 守卫、
+  **看门狗放弃卡死验证**、**会议在验证后面暂存并随后真正召开**、
+  **压缩指令只在该出现时出现且不重复**、**会话日志回放复现研究所状态**。
+- `audit-v5-sensitivity.mjs`：**15 个敏感性探针全部命中**（故意破坏 m 门限、弃权计数、
+  冲突阻塞、临时工表决权、院士分派门禁、建所回合登记、群聊扇出、辩论轮推进条件、
+  真实释放、全体一致结题、回落后端加载、解决票再评估、提议确定性启动、begin 互斥、
+  会议锁重武装 —— 每一条都能让测试变红），证明测试不是空转。
+- `audit-v5-integrity.mjs`：静态自检 6 类（未定义调用 / `params` 键 / 会话 API 面 /
+  错误码与文档漂移 / 遗留标记 / 组合行可解析），输出 clean。
+- 无回归：`selfdrive-v4` 21/21、`e2e-v4-fixes` 120/120、`e2e-v3` 100/100、
+  `e2e-multisession` 25/25、`e2e-business` 18/18、`e2e-regression`、`e2e-v3-roundtrip`、
+  `e2e-d9-d13` 及全部历史审计套件均通过；`e2e-installer-test` 通过并发现
+  `vibe-math-v5 (broken=no, persona schema OK)`。
+- 宿主契约已实测：`sessionProjections` 的 host-only 单元可注册、事件即时折叠、
+  **不进模型历史**、`checkpoint()` 携带、`restore()` 重折、`hydrate()` 可装载。
+- **真实挂载校验**：把 preset 装进本机 preset root 后用 `agentPresets` 实测 ——
+  roster 发现 `vibe-math-v5(user)`、`broken=no`，**`standingKeyFor('vibe-math-v5')`
+  返回 MOUNTED OK**（该调用会拒绝"包无法解析""配置非法""某行从未激活""服务被发布到进程全局
+  realm"四类失败），且 v5 插件行 `enabled=true`。
+
+### 第二轮审计修复的真实缺陷（9 处）
+
+第二轮针对**第一套测试从未触及的路径**做审计，发现并修复：
+
+| # | 缺陷 | 后果 | 修复 |
+|---|---|---|---|
+| 1 | **回落后端从不加载已持久化的状态**（`state()` 不触发 `load()`） | 无 `sessionProjections` 的宿主上，**进程重启即丢失整座研究所**，`resume` 报 "no active member to resume" | 新增 `ready()`，在所有读状态的入口（工具、命令、`subagent/end`）先 `await` 加载 |
+| 2 | 回落后端把状态写到 `VibeMath/State/` 而非研究所目录下的 `State/` | 与文档/人读镜像描述不一致，多研究所会互相覆盖 | 改为按 `instRoot()/State/<institute>.v5state.json` 动态解析路径 |
+| 3 | **`checkSolved()` 只在会议收尾时被调用** | 一致票落在会议收尾之后（迟到回复 / 普通轮携带 `vote_solved`）会被记录却**永不被读取**——全所一致同意却停不下来 | 每次记录解决票后立即评估停止条件 |
+| 4 | **提议只"踢一下调度器"** | 若已有调度 pass 在途且已过 arm 点，提议会滞留在队列里直到下一轮 trampoline | 提议后**直接 `armNextVerify()`** 确定性启动 |
+| 5 | `beginVerify` 不互斥 | 两个调用者可在任一发布裁决记录前都通过检查，**同一对象被启动两次** | 新增 `beginLock` 独占 |
+| 6 | `continueMeetingRound` 在 `finalizeLock` 被占用时直接返回 | 没有任何东西重新驱动它，会议可能停住 | 退出前 `armHeartbeat()` |
+| 7 | **`vibe_v5_set` 改了 `activityTimeoutMs` 但已武装的心跳仍用旧延迟** | 调参不立即生效（调小后要等旧的长延迟走完） | `setParams` 后立即驱动一次调度 |
+| 8 | **软压缩指令只在 `normal` 轮注入** | 只收到心跳 CHECKPOINT 的成员即使上下文 100% 也**永不压缩** | 改为 `normal` 与 `checkpoint` 都注入（`meeting`/`verify` 仍排除） |
+| 9 | 唤醒成功路径不再武装心跳 | 若宿主丢弃投递或子代理消失，**调度器会永久冻结**（v4 §25 同类故障） | 每次唤醒后都武装一次安全心跳（各分支先查 `busy`，不会重复唤醒） |
+
+另新增 `status().debug`（调度 pass 计数、trampoline 跳过次数、arm/begin 计数），
+便于今后在真实 run 上定位这类"提议未启动"的问题。
+
+## 七、兼容性
+
+- `dsh.testedVersion: 0.1.5-rc.2`（v5 的宿主契约均取自该版本的运行时实测）。
+- v5 需要 `subagents` / `agents` / `tools` / `commands` / `fs`（必需）与
+  `sessions` / `sessionProjections` / `subprocess` / `sandboxPolicy` / `compaction`（可选）；
+  安装器自检会在启动时报告缺失项。可选服务缺失只会**降级**，不影响挂载。

package/RELEASE-NOTES-2.2.0.md

@@ -0,0 +1,266 @@
+# dsh-vibe-math 2.2.0 — 提示词身份错乱的修复 + 提示词完整性基线
+
+> 上一版：2.1.0。本版**只动 v5**（v2/v3/v4 未改）。
+> 触发本版的是一个真实事故：v2.1.0 在实地测试中，**每个成员收到的提示词都写错了身份**。
+
+---
+
+## 0. 事故：提示词里的身份是错的
+
+2026-09 的一次实地测试（`D:\wd\vibemath测试\项目测试1`）暴露了一个致命缺陷：
+框架发给每个成员的"状态块"里，写的**不是收件人自己**。
+
+从真实会话日志里取出的证据（四个创始成员的**入职首轮**提示词）：
+
+| 该成员实际是谁 | 提示词表头（正确） | `[状态]` 块（错误） |
+|---|---|---|
+| 院士 | `【入职首轮 —— 院士 acad】` | `你是 ?（常驻研究员）｜轮次 0｜法定票数 m=1｜有表决权者 0 人` |
+| r-1 | `【入职首轮 —— 常驻研究员 r-1】` | `你是 acad（院士）｜轮次 1｜m=1｜有表决权者 1 人` |
+| r-2 | `【入职首轮 —— 常驻研究员 r-2】` | `你是 r-1（常驻研究员）｜轮次 1｜m=2｜有表决权者 2 人` |
+| r-3 | `【入职首轮 —— 常驻研究员 r-3】` | `你是 r-2（常驻研究员）｜轮次 1｜m=3｜有表决权者 3 人` |
+
+规律很清楚：**状态块描述的是"上一个被创建的成员"，院士则拿到 `?`。**
+
+### 0.1 根因
+
+```js
+// 出错前
+function stateBlock() {
+  return briefBlock(memberById(currentMember) || activeMembers()[0] || { id: currentMember || '?', ... })
+}
+```
+
+- 状态块从一个**可变的全局变量** `currentMember`（"本会话最近唤醒/创建的成员"）取名，
+  而不是从"这条提示词要发给谁"取名；
+- 而创建路径 `spawnMember` 把 `currentMember = member.id` 写在 `startContinuable(...)` **之后**——
+  于是构造入职提示词的那一刻，`currentMember` 还是**上一个**成员，第一个成员则是空串 → `?`。
+
+### 0.2 为什么 123 条断言和 15 个探针都没发现
+
+因为这个框架当时**没有任何一条断言检查成员实际读到的文字**。所有测试都在测工具函数的返回值、
+投影状态、文件内容——而 `[状态]` 块只存在于提示词字符串里。
+（更糟的是，当时的灵敏度审计因为工作目录被百分号转义而**根本没能启动被测套件**，
+15 个探针的"全部命中"是假的；见 §2。）
+
+### 0.3 连带发现的同类缺陷
+
+顺着这条线全面排查"提示词分配 / 成员代号 / 交互内容"，又找出 **7 处真实缺陷**：
+
+| # | 缺陷 | 后果 |
+|---|---|---|
+| 1 | 新成员在**写进编制之前**就构造了它的入职提示词与章程 | 入职成员的 `[在册]` **看不到自己**；`m` 与"有表决权者 N 人"按**加入前**的编制算；章程里"你入职时的在册编制"漏掉自己 |
+| 2 | 入职称呼被 `resume` 复用 | 会话重建的成员被告知"**你刚刚加入本所**"，并被要求重新给出初始见解 |
+| 3 | 章程里的领头人**硬编码 `acad`**，且不随编制变化 | 以 `academician:false` 建所时，章程仍然声称存在院士、要求成员"向院士汇报"、承诺"院士可以给你派活"——**指向一个不存在的人** |
+| 4 | `memberIdOfAgent` 对"不是成员子会话"的调用者一律回退到 `currentMember` | **所办（会话根代理/人）调用 `vibe_v5_assign` 被解析成某位研究员**并以 `V5_NOT_ACADEMICIAN` 拒绝；所办的分派/督办会被署上别人的名字 |
+| 5 | 框架给成员的反馈写成"**该成员发给该成员**" | `say()` 以 `V5_SELF_MESSAGE` 拒绝，于是"认领失败""verdict 必须是 0–1 的数值"这些反馈**永远送不到成员**，静默失效 |
+| 6 | 一次唤醒的提示词里同一条消息**出现两遍** | 先构造好带 `[新到的消息/通知]` 的轮次提示词，再在其前面又拼一遍收件箱 —— 成员每条新消息读两遍 |
+| 7 | `assign` 框头恒为 `【院士分派】`；`nudge` 复用 `assign` 的 kind 且正文恒为"院士督办"；`voters` 广播被降级成"私信" | 所办分派伪装成院士分派；督办看起来像分派；只给表决者的广播让收件人以为被单独点名 |
+
+此外还修了一处**调度**问题：任务板分支在成员每轮结束时**立刻**重新唤醒同一个任务所有者，
+而每轮回复又会驱动一次调度 pass —— 一个未完成任务会变成
+"唤醒 → 回合 → 唤醒"的**无界链**，任何参数都拦不住、`pause` 也插不进去。
+现在该分支按 `activityTimeoutMs` 节流；空闲窗口到期时，**拥有进行中任务的成员收到的是常规工作轮**
+（状态块里写着"我的任务"），而不是泛泛的心跳轮。
+
+---
+
+## 1. 修复内容
+
+### 1.1 身份：显式传递，绝不猜测
+
+- 每个提示词构造函数都接收**它所描述的那个成员**；`briefBlock(member)` 直接用它。
+- `briefBlock` 对"没给成员"**显式失败**（新错误码 `V5_INTERNAL`），而不是退回"猜一个"。
+  猜测正是本缺陷的成因。
+- 提示词里不再使用 `currentMember` / `activeMembers()[0]` 之类的兜底。
+- `spawnMember` 的顺序改为**硬性**：① 以 `phase='active'` 提交进投影 → ② 置 busy →
+  ③ 构造 persona 与入职提示词 → ④ 建目录、写编制镜像 → ⑤ 最后才 `startContinuable`。
+
+**修复后的实际输出**（语料实测，`quorumCap=3`，4 名创始成员）：
+
+| 成员 | `[状态]` | `[在册]` | m | 有表决权者 |
+|---|---|---|---|---|
+| acad | 你是 acad（院士）｜轮次 1 | acad | 1 | 1 |
+| r-1 | 你是 r-1（常驻研究员）｜轮次 1 | acad、r-1 | 2 | 2 |
+| r-2 | 你是 r-2（常驻研究员）｜轮次 1 | acad、r-1、r-2 | 3 | 3 |
+| r-3 | 你是 r-3（常驻研究员）｜轮次 1 | acad、r-1、r-2、r-3 | 3 | 4 |
+
+### 1.2 章程：快照冻结、与真实编制一致
+
+- 章程（persona）在**入职时冻结**，`resume` 重建会话时**原样复用**——
+  否则"你入职时的在册编制"这句话就变成假的。权威编制始终是每轮状态块（章程里已注明）。
+- 领头人不再硬编码，取**实际在册的院士代号**；`academician:false` 时章程改为
+  "本所当前**没有在册院士**：组织与协调由全体有表决权者共同商议"，并删除所有
+  "向院士汇报/院士分派/院士派活"的承诺。
+- 章程 §五 注明 m 会随编制变化，以状态块为准。
+
+### 1.3 会话重建 ≠ 入职
+
+`resume` 重建的子会话现在框为 `【会话重建 —— <职位> <代号>】`，
+并要求"先读回你自己的 Progress/ 与成果库……**不要从头再来**"。
+
+### 1.4 身份归属：所办不再被误判成成员
+
+调用者身份的判定改为**推导**：
+
+- 是某成员的子会话 → 该成员；
+- 是**会话根代理**（所办/人）→ `office`；
+- 两者都不是 → "无成员"（成员专属写操作以 `V5_MEMBER_NOT_FOUND` 拒绝，这正是"无需猜测"的前提）；
+- 只有在完全没有会话 id 的合成上下文里，才允许回退到"最近唤醒的成员"，且要求该成员真实存在。
+
+### 1.5 框头：按真实来源标注
+
+| kind | 框头 |
+|---|---|
+| `chat` | `【研究所·群聊】<from>：…` |
+| `dm` | `【研究所·私信 from <from>】` |
+| `voters` | `【研究所·致全体表决者 from <from>】`（会议提议、临时工参考意见、反对分派走这条） |
+| `office` | `【所办通知】` |
+| `assign` | `【院士分派】` 或 **`【所办分派】`**（按 `from` 判定） |
+| `nudge` | `【督办 from <from>】`，正文区分"院士督办/所办督办" |
+| `notice` | `【框架提示】`（框架发给单个成员的反馈） |
+
+### 1.6 反馈真的能送达
+
+新增框架专属发送者 `framework`：`say('framework', { to: memberId, kind: 'notice', … })`。
+反馈属紧急邮件，会在该成员下一次被唤醒时立即随提示词送达。现在这些动作**未生效时会回执**：
+认领不存在的任务、`task_update` 版本过期、`verdict` 不是 0–1 的数值、提议验证/开会未受理。
+
+### 1.7 一次提示词只投递一条消息
+
+**先 ack 邮件、再构造本轮提示词**：
+
+```
+pending = pendingFor(member)      // ①
+inbox   = composeInbox(pending)   // ②
+ackPending(pending)               // ③ 先销账
+base    = normalPrompt(member)    // ④ 此时 pendingFor 已为空
+prompt  = inbox + base
+```
+
+### 1.8 回执契约补全
+
+`replySpec` 原先**没有列出**框架实际处理的三个字段，等于把通道藏起来：
+`reject_assign`（对分派的异议，理由会被广播）、`task_done`（直接报任务完成）、
+`input`（会议/辩论轮的发言正文）。现已补上，并按职位裁剪
+（临时工没有 `verdict`/`hire`/`fire`；非院士没有 `assign`/`prioritize`/`nudge`/`convene_meeting`）。
+
+### 1.9 未就位者可见
+
+`[在册]` 之外新增 `[未就位] <代号>（failed）`，把 provisioning 失败/被标记 failed 的成员
+暴露给全所——此前它们被静默略去，整所不知道编制少了人。
+
+### 1.10 编制镜像不再重复列人
+
+`Institutes.md` 原先把已除名成员同时列在主表和"已除名"小节里。现在主表只列在册/未就位者。
+
+---
+
+## 2. 测试基线的重建（本次最重要的交付物）
+
+### 2.1 新增：提示词完整性套件 `prompt-v5-integrity.test.mjs`
+
+**526 条断言**，把提示词本身当作产品来测。13 个互相隔离的用例（各自独立的会话根，
+互不污染），覆盖入职（含临时工）、会话重建、常规轮、心跳轮、表决初评、表决辩论、会议、
+会议提议、各类收件框头、框架提示、失败就位、无院士建所、并发提议排队、会外表决停工、调度节流。
+
+对**每一条**捕获到的提示词逐项断言：
+
+1. `[状态]` 里的身份 = 提示词实际发给的成员 = 表头里的身份 = 随行人设指向的资料库路径 `Members/<id>/`；
+2. `[在册]` 必含读者自身且不含重复；`有表决权者 N 人` 与 `[在册]` 中的表决者数一致；`m = min(quorumCap, N)`；
+3. 表头轮次 = 状态块轮次；`[未就位]` 的成员不得同时出现在 `[在册]`；
+4. 全文不含 `?` / `undefined` / `NaN` / `[object Object]`；一次提示词只有一个 `[状态]` 块、
+   一个收件箱块，且**同一条消息不出现两次**；
+5. 表头职位 = `[状态]` 职位；
+6. 回执契约按职位裁剪，且框架实际处理的字段**全部**出现；
+7. 领袖叙事与实际编制一致（无院士时不得出现任何院士承诺）。
+
+### 2.2 新增：可人工复核的提示词语料（随包发布）
+
+`prompt-corpus-v5/prompt-corpus-v5.md` 与 `.json`：**框架真正发出的每一条提示词原文**，
+由上述套件每次运行时重写。59 条 × 22 种，含完整人设（按成员只打印一次）。
+工作区路径统一替换为 `<WS>`，因此内容是**确定性的、可 diff 的**。
+
+> 这就是本框架对"提示词/交互正确性"的人工复核入口：任何
+> "成员代号/职位/在册名单/交互署名"的问题都能在这里一眼看出，不必去翻会话日志。
+
+### 2.3 修复：灵敏度审计此前是**假绿**
+
+`audit-v5-sensitivity.mjs` 用 `new URL('.', import.meta.url).pathname` 取工作目录——
+在含中文的 Windows 路径上这返回**百分号转义**的路径（`D:\wd\vibemath%E5%BC%80...`）。
+该目录不存在，于是 `spawnSync` 全部失败、子进程 `status` 为 `null`，
+"非零退出 = 套件变红"的判定把**启动失败**当成了**探测成功**。
+——上一版宣称的"15 探针 0 盲点"是假的。
+
+同一时期 `e2e-v5-round2.test.mjs` 还**完全不读 `V5_PLUGIN`**，
+所以针对它的探针跑的是**未被变异**的插件，恒为绿。
+
+修正后（`fileURLToPath` + 所有套件都读 `V5_PLUGIN`），并逐一检查每个变异是否真的
+**改变行为**（相当一部分守卫是互相遮蔽的，删除任一条其实是**语义惰性**的，
+不能拿来做探针），现在的真实结果是：
+
+```
+sensitivity: 29 probes detected the break, 0 blind spots
+```
+
+其中 **14 个专打提示词/交互**：状态块错认身份、入职成员缺席自己的编制、同一条消息投递两次、
+章程被 resume 重写、会话重建被框成入职、会议提议被误署、所办被当成成员、
+所办分派伪装成院士分派、督办伪装成分派、框架反馈被自己挡掉、失败就位者被隐藏、
+无院士章程凭空造领袖、回执契约藏起异议通道、任务所有者的无界重唤醒。
+
+### 2.4 修复：`selfdrive-v5.mjs` 的表决段落是空转的
+
+它用 `drainWakes(4)` 驱动一轮投票，但队列里还有心跳/工作/邮件唤醒，
+预算常常在**四个表决者都投完之前**就用完 —— 于是"此时还没定论"这类断言
+**无条件成立**，无论门槛规则被破坏成什么样（探针已证明：把 m 门槛削弱到 1，套件仍然全绿）。
+现在改为 `drainVerifyRound(4)`：按**提示词种类**取唤醒，直到**恰好 4 张表决票**答完为止，
+并新增 `stage === 'debate'` 的断言确认这一轮真的走完了。71 → **75 条断言**。
+
+### 2.5 静态审计新增提示词门禁与语料门禁
+
+`audit-v5-integrity.mjs` 的"理念门禁"从 11 条扩到 **31 条**，其中 20 条专门守提示词/交互的
+结构修复（状态块显式接收成员、未知身份显式失败、先落盘后构造、章程冻结、重建框头、
+所办解析、框头来源、反馈发送者、未就位可见、回执契约字段、节流……）。
+另外新增 3 项**交付物门禁**：提示词套件、语料 Markdown、语料 JSON 必须随包存在，
+且语料必须覆盖 22 种交互、不得含 `你是 ?` 这类错身份行。当前：**clean**。
+
+---
+
+## 3. 验收
+
+| 套件 | 结果 |
+|---|---|
+| `prompt-v5-integrity.test.mjs` | **526 断言**（新增） |
+| `selfdrive-v5.mjs` | **75 断言**（+4，表决段落改为真正完成整轮） |
+| `e2e-v5-round2.test.mjs` | **53 断言**（并修正为读 `V5_PLUGIN`） |
+| `audit-v5-sensitivity.mjs` | **29 探针全部命中 / 0 盲点**（此前为假绿） |
+| `audit-v5-integrity.mjs` | **clean**（31 条理念门禁 + 3 项交付物门禁 + 语料校验） |
+| 其余回归 | v4 selfdrive、v4-fixes、v3、v3-roundtrip、multisession、business、regression、d9-d13、8 个历史审计套件、installer e2e —— 全绿 |
+
+---
+
+## 4. 已发布产物内的自证
+
+- 提示词语料随包发布，可直接对照 §0 的事故证据：语料里**不存在** `你是 ?`，
+  且 `[状态] 你是 acad（院士）`、`[状态] 你是 r-3（常驻研究员）` 等行由套件断言保证。
+- 提示词套件与语料都属于 `package.json` 的 `files`，因此 `npm pack` 之后即可复核。
+
+---
+
+## 5. 已知边界（未变）
+
+- `[状态]`/章程的正确性由**提示词套件 + 语料**保证；它们验证的是**框架生成的文本**，
+  不是模型对该文本的解读。真机冒烟（在 GUI 里开一个 Vibe Math V5 会话、确认 `vibe_v5_*` 工具出现）
+  仍是最后一步。
+- 一个"回合永不结束"的成员仍不会被强行释放（与 v4 同一边界）；心跳总会重武装，
+  因此调度器不会永久冻结。
+- `resume` 后 `rounds` 计数（内存态）从 1 重新开始；这是设计使然（该计数只用于节流与压缩，
+  权威进度在成员自己的 `Progress/`）。
+
+---
+
+## 6. 升级建议
+
+- 直接升级：`npm i dsh-vibe-math@latest`（或让 bundle 安装器自动更新），然后**重启**会话。
+- 已经用 v2.1.0 跑过 v5 的研究所：成员**正在使用的 persona** 是入职时冻结的旧章程，
+  里面可能有"向 acad 汇报"之类的旧措辞；如需让新章程生效，请结束该研究所并在新会话里重开。
+  持久状态（投影）与文件树**不需要迁移**。