dsh-vibe-math 2.2.1 → 2.2.2

package/prompt-v5-integrity.test.mjs

@@ -223,6 +223,9 @@ const spawnsFor = (root) => spawns.filter(s => s.rootId === root.id)
 
 let votePlan = new Map()   // memberId -> verdict number for the next verify prompts
 let replyOverride = new Map()   // memberId -> the exact reply its NEXT wake must produce
+// Roots whose MEETING prompts the driver must NOT answer, so the meeting stays in flight
+// (case 10b needs a live meeting to test that a verification cannot preempt it).
+const hushed = new Set()
 // Handle queued sends. `delivered` collects what was actually sent for the case under
 // test, because the queue is consumed here and assertions must not read it afterwards.
 // Wakes belonging to OTHER roots are skipped over rather than allowed to block: a case
@@ -231,7 +234,8 @@ let replyOverride = new Map()   // memberId -> the exact reply its NEXT wake mus
 async function drainWakes(budget, root) {
   let n = 0
   while (n < budget) {
-    const idx = wakes.findIndex(w => !root || w.rootId === root.id)
+    const idx = wakes.findIndex(w => (!root || w.rootId === root.id)
+      && !(hushed.has(w.rootId) && /【研究所会议/.test(w.prompt)))
     if (idx === -1) break
     const w = wakes.splice(idx, 1)[0]
     const owner = memberOfChild(w.childId)
@@ -793,6 +797,44 @@ assert(/【研究所·致全体表决者 from r-1】[^\n]*提议开会/.test(pro
   'the meeting proposal is relayed SIGNED BY ITS TRUE PROPOSER r-1, not by whoever was woken last')
 await endCase(RI)
 
+// =============== CASE 10b: meetings and verifications are mutually exclusive ======
+section('10b a verification proposed DURING a meeting must queue, never preempt it')
+const RN = makeRoot()
+await callTool('vibe_v5_start', { problem: '会议与验证互斥测试', researcherCount: 1 }, RN)
+for (const sp of spawnsFor(RN)) { fireEnd(sp.childId, { progress: memberOfChild(sp.childId) + '：初始见解。', solved: false, contextPct: 10 }); await settle() }
+await settleInstitute(RN)
+await callTool('vibe_v5_set', { maxParallel: 8 }, RN)
+await callTool('vibe_v5_record_proposition', { id: 'p-mid', statement: '会议期间提出的对象', value: 0.6, motive: 'm', p: 0.7 }, childAgent(childOf(RN, 'r-1')))
+// Convene a meeting and stop before it has collected every input, so it stays in flight.
+hushed.add(RN.id)
+delivered.length = 0
+const convened = await callTool('vibe_v5_meeting', { agenda: '先开这个会', kind: 'sync' }, childAgent(childOf(RN, 'acad')))
+assert(convened.ok === true, 'a meeting was convened (' + JSON.stringify(convened).slice(0, 80) + ')')
+await settle(); await drainWakes(1, RN)
+const during = await callTool('vibe_v5_status', {}, RN)
+assert(!!during.meeting, 'the meeting is still in flight (not everyone has spoken)')
+// A member proposing a verification mid-meeting must NOT start a second, concurrent
+// consensus process: the design says meetings and verifications never overlap, and a
+// verification that preempts a meeting starves the meeting's watchdog clock.
+const propMid = await callTool('vibe_v5_propose_verify', { target: 'p-mid', kind: 'proposition', reason: '想在会上定' }, childAgent(childOf(RN, 'r-1')))
+assert(propMid.ok === true, 'the proposal is accepted (' + JSON.stringify(propMid).slice(0, 90) + ')')
+await settle()
+const afterProp = await callTool('vibe_v5_status', {}, RN)
+assert(!!afterProp.meeting, 'the meeting is STILL in flight after the proposal')
+assert(afterProp.verify === null,
+  'NO verification started while the meeting was in flight (got ' + JSON.stringify(afterProp.verify && afterProp.verify.target) + ')')
+assert((afterProp.verifyQueue || []).indexOf('p-mid') !== -1,
+  'the proposal is QUEUED instead (queue=' + JSON.stringify(afterProp.verifyQueue) + ')')
+// Once the meeting ends, the queued proposal must run — queueing must not drop it.
+hushed.delete(RN.id)
+await settleInstitute(RN)
+const afterMtg = await callTool('vibe_v5_status', {}, RN)
+assert(afterMtg.meeting === null, 'the meeting finished')
+assert(afterMtg.verify !== null || afterMtg.undecided.indexOf('p-mid') !== -1 || afterMtg.verified.indexOf('p-mid') !== -1,
+  'the queued proposal was started after the meeting ended (verify=' + JSON.stringify(afterMtg.verify && afterMtg.verify.target)
+  + ', queue=' + JSON.stringify(afterMtg.verifyQueue) + ')')
+await endCase(RN)
+
 // =============== CASE 11: no unpaced re-wake loop ===============================
 section('11 a task owner is pushed on a PACED cadence, not in a tight loop')
 const RJ = makeRoot()

package/vibe-math-v5/vibe-math-v5.js

@@ -2254,6 +2254,16 @@ export function apply(ctx) {
     let beginLock = false
     async function armNextVerify() {
       dbg.arm += 1
+      // A MEETING and a VERIFICATION never run at the same time. `startMeeting` already
+      // parks a meeting while a verification is in flight; this is the missing mirror for
+      // the other direction. Without it, a member replying `propose_verify` while a
+      // meeting was live started a second consensus process immediately, because
+      // `maybeQueueVerify` calls this directly (bypassing schedulePass, whose meeting
+      // check is what used to hide the asymmetry). The meeting's watchdog clock would
+      // then be starved while two coordination processes competed for the same members.
+      // The proposal stays in the queue; schedulePass reaches this again once the
+      // meeting is over.
+      if (meeting) return
       // Only one begin may be in flight. Without this, two callers (a scheduling pass
       // and a fresh proposal) could both pass the `currentVerify()` check before either
       // has published its verdict record and would start the SAME object twice.

package/vibe-math-v5//345/256/236/347/216/260/346/226/271/346/241/210.md

@@ -898,6 +898,20 @@ pass，而该 pass 又立刻唤醒同一个任务所有者 —— 一个未完
 节流后，⑥ 成为兜底：空闲窗口到期时，**拥有进行中任务的成员收到的是常规工作轮**
 （其状态块里写着"我的任务"），而不是泛泛的心跳轮。
 
+**① / ② 的相对顺序不可观测，但"互斥"必须双向成立。** 上面的列表把"进行中的验证"写在
+"进行中的会议"之前，代码里则是先看会议再看验证 —— 这**没有差别**，因为两者**永不同时存在**。
+关键是这条互斥必须**两个方向都堵住**：
+
+- 会议侧：`startMeeting` 在 `hasVerifyInFlight()` 时把会议**暂存**（pendingMeeting）；
+- 验证侧：`armNextVerify` 在 `meeting` 非空时**直接返回**，让提议留在队列里，
+  等会议收口后由下一次 `schedulePass` 启动。
+
+只做前一半是不够的：`maybeQueueVerify` **直接**调用 `armNextVerify`（绕过了 `schedulePass`
+的会议检查），所以成员在会议进行中回执 `propose_verify` 时，第二个共识过程会**真的并发启动**，
+进而与会议争夺同一批成员、饿死会议的看门狗时钟。
+（这个不对称是在为 v5 画架构图、被迫把"会议与验证互斥"写成明确的不变式之后，
+拿它去逐条对代码才暴露出来的 —— 见 `../AUDIT-CHECKLIST.md` §3。）
+
 与 v4 的实质差别：v4 靠 `activityTimeoutMs` 心跳**轮询**；v5 的主驱动是 **M1 的一次性活动等待**（DSH 官方机制），心跳降级为兜底，token 消耗显著下降。
 
 **永不永久停死**（v4 §25 的血泪教训）：任何一次唤醒失败都必须**重新武装**调度（`armHeartbeat()`）；`scheduleNext` 心跳分支失败后不得无条件 `return`。

package/vibe-math-v5//346/236/266/346/236/204/345/233/276.md

@@ -0,0 +1,369 @@
+# Vibe Math V5 架构图
+
+> 本文件是 v5 的图源（GitHub 上 Mermaid 会**原生渲染**）。总览大图另有一张生成好的
+> **SVG**：[`../示例图/框架图-v5.svg`](../示例图/框架图-v5.svg)，由
+> [`../docs/generate_framework_diagram_v5.mjs`](../docs/generate_framework_diagram_v5.mjs) 生成
+> （零依赖，`node docs/generate_framework_diagram_v5.mjs`）。
+> 文字规格见 [`实现方案.md`](实现方案.md)。
+
+**一句话**：v5 = **一个所办**（对外接口，不研究不投票）+ **一所研究所**（院士 / 常驻研究员 / 临时工）
++ **一个只做媒介的框架**（中继 · 沉淀 · 计数 · 调度）。
+
+---
+
+## 1. 总览：三层 + 两个面
+
+```mermaid
+flowchart TB
+    subgraph L0["👤 所办（会话根代理 / 人）—— 对外接口"]
+        OFF["自然语言接口 + 汇报者<br/>不研究 · 不投票<br/>只汇报、转达人的指令<br/>代持平台要求的一次性创建权"]
+    end
+
+    subgraph L1["🏛️ 研究所（所内自治：编制、组织与分派都在成员之间完成）"]
+        ACAD["院士 acad<br/>领头人 · 组织与协调中心<br/>L1 全所视图 / L2 分派 / L3 优先级<br/>L4 主持会议 / L5 督导 / L6 调人 / L7 对外"]
+        RES["常驻研究员 r-n（有表决权）<br/>continuable 持久会话 · 自主方向<br/>可自主雇佣/解雇自己的临时工"]
+        TMP["临时工 t-n（无表决权）<br/>为特定任务临时雇入<br/>可读/可想/可发言/可写自己的库"]
+    end
+
+    subgraph L2["⚙️ 框架 vibe-v5 —— 只是媒介"]
+        MSG["消息中继（持久邮箱）<br/>群聊 / 私信 / 致全体表决者<br/>所办通知 / 分派 / 督办 / 框架提示"]
+        MTG["会议 / 辩论<br/>议程 · 名册对账 · 随机发言序<br/>与验证互斥 · 看门狗"]
+        TASK["任务板（CAS + DAG）<br/>版本号比较交换 · 依赖环检测"]
+        VOTE["m 票共识验证<br/>独立初评 → 公开辩论"]
+        CTX["上下文与活性<br/>阈值压缩 · 免轮询活动等待 · 心跳"]
+        STAFF["编制与雇佣<br/>真实解雇（释放子会话）"]
+        SCHED["调度器<br/>优先级 + 并发闸 maxParallel"]
+    end
+
+    subgraph L3["💾 状态与产物"]
+        PROJ["会话日志的 host-only 投影单元<br/>键 vibeMathV5<br/>11 类事件 · 纯折叠 applyV5Event"]
+        FS["人可读产物<br/>Members/&lt;id&gt;/* · Shared/* · Verified/ · Problems/"]
+    end
+
+    RULE{{"求真门槛<br/>布尔一致 且 布尔票 ≥ m = min(quorumCap, 有表决权人数)<br/>否则留库 + 平均概率 + 辩论录"}}
+
+    OFF -->|"vibe_v5_* 工具 / /v5 命令"| SCHED
+    SCHED -->|"status / report（自然语言汇报）"| OFF
+    SCHED -->|"每轮提示词：状态块 + 本轮问句"| ACAD
+    SCHED -->|"每轮提示词：状态块 + 本轮问句"| RES
+    SCHED -->|"每轮提示词：状态块 + 本轮问句"| TMP
+    ACAD -->|"JSON 回执"| SCHED
+    RES -->|"JSON 回执"| SCHED
+    TMP -->|"JSON 回执"| SCHED
+    ACAD -.->|"所内组织：分派 / 优先级 / 督办（虚线 = 不由框架执行）"| RES
+    ACAD -.->|"调配"| TMP
+    MSG --- SCHED
+    MTG --- SCHED
+    TASK --- SCHED
+    VOTE --- SCHED
+    CTX --- SCHED
+    STAFF --- SCHED
+    SCHED <-->|"append 事件 / 折叠读状态"| PROJ
+    SCHED <-->|"读写产物"| FS
+    VOTE --> RULE
+    RULE -->|"定论"| FS
+
+    classDef human fill:#f1eefc,stroke:#5b4bb8,stroke-width:1.5px,color:#2b2359
+    classDef house fill:#fdf5e2,stroke:#b26a00,stroke-width:1.5px,color:#6b4200
+    classDef frame fill:#eaf3fd,stroke:#0b6fb8,stroke-width:1.5px,color:#084d80
+    classDef data fill:#eef7f1,stroke:#1f7a52,stroke-width:1.5px,color:#125a3c
+    classDef gate fill:#fdeef0,stroke:#b3202c,stroke-width:2px,color:#7d1620
+    class OFF human
+    class ACAD,RES,TMP house
+    class MSG,MTG,TASK,VOTE,CTX,STAFF,SCHED frame
+    class PROJ,FS data
+    class RULE gate
+```
+
+---
+
+## 2. 成员生命周期
+
+```mermaid
+stateDiagram-v2
+    direction LR
+    [*] --> provisioning : newMember（分配代号，代号永不复用）
+    provisioning --> active : spawnMember 成功<br/>先落盘编制、再构造入职提示词
+    provisioning --> failed : startContinuable 抛错
+    active --> active : 一轮结束（subagent/end）→ 回执 → 调度
+    active --> dismissed : fire（真实释放子会话 + 收回任务 + 丢弃邮件）
+    dismissed --> [*]
+    failed --> [*] : 在 [未就位] 里对全所可见
+
+    note right of active
+      每轮：框架发「状态块 + 本轮问句」，
+      成员回一个 JSON（say/progress/record/
+      verdict/task_*/hire/fire/reject_assign/…）
+    end note
+    note right of dismissed
+      未完成的任务自动释放回板；
+      代号永不复用，重新雇佣会得到新代号
+    end note
+```
+
+---
+
+## 3. 一轮唤醒的时序（唯一的推进驱动）
+
+```mermaid
+sequenceDiagram
+    autonumber
+    participant S as 调度器（框架代码）
+    participant M as 成员（continuable 子会话）
+    participant L as 会话日志投影（vibeMathV5）
+
+    S->>S: schedulePass：按优先级挑一个成员
+    S->>S: 先 ack 收件箱，再构造本轮提示词
+    S->>M: 【轮次】+ 状态块（编制/m/我的任务/新消息）+ 回执契约
+    M->>M: 读同事的库 · 推导 · 写自己的 Progress/ 与卡片
+    M-->>S: subagent/end + 单个 JSON 回执
+    S->>L: append 事件（message / progress / verdict / …）
+    S->>S: handleReply：发言 / 入库 / 任务 / 提议 / 投票 / 雇佣
+    S->>S: 记 contextPct；必要时发压缩指令
+    S->>S: scheduleNext()（蹦床：同一时刻只有一个调度 pass）
+```
+
+> 关键点：**成员的一轮结束是唯一的推进驱动**。没有轮询；`vibe_v5_wait` 是一次性活动等待，
+> 心跳只是最后的兜底，且每次唤醒后**永远重新武装**，所以调度器不会永久冻结。
+
+---
+
+## 4. 共识验证状态机（m 票布尔一致）
+
+```mermaid
+stateDiagram-v2
+    [*] --> queued : 任何成员 propose_verify
+    queued --> initial : armNextVerify（会议进行中则排队等待）
+    initial --> debate : 所有表决者都答完<br/>但未定论且轮次 < verdictMaxRounds
+    debate --> debate : 重新投票（history 存上一轮）
+    initial --> true_ : 布尔票 ≥ m 且全为 1
+    initial --> false_ : 布尔票 ≥ m 且全为 0
+    debate --> true_
+    debate --> false_
+    initial --> undecided : 轮次用尽，或布尔票不足 m，或出现 1 与 0 分歧
+    debate --> undecided
+    true_ --> [*] : 写 Verified/卡 + 改写来源卡 + 辩论录
+    false_ --> [*] : 同上（结论为假）
+    undecided --> [*] : 留原库 + 全组平均概率 + 完整辩论录（不强行裁决）
+
+    note right of initial
+      票是 [0,1] 的数值：
+      恰好 1 = 断言为真；恰好 0 = 断言为假；
+      严格介于两者 = 弃权/存疑
+      （不计入 m，但计入平均）
+    end note
+    note left of undecided
+      看门狗：超过 2×activityTimeoutMs
+      没有新票 → 放弃该验证并回到自组织
+    end note
+```
+
+**判定规则（`judgeVerdict`）**：任何一张反向布尔票都**阻塞**定论 —— 少数派无法靠别人弃权
+把结论推过去。`quorumMode: "all-unanimous"` 可切回 v4 的"全体有表决权者一致"口径。
+
+---
+
+## 5. 会议流程（与验证互斥）
+
+```mermaid
+flowchart TB
+    A["任何人 vibe_v5_meeting"] --> B{"院士或所办?"}
+    B -->|"否（含临时工）"| C["只能提议：框架转呈全体表决者<br/>署名 = 真实提议人"]
+    B -->|"是"| D{"已有验证进行中？"}
+    D -->|"是"| E["暂存 pendingMeeting<br/>（只保留第一条，后到者不覆盖）"]
+    D -->|"否"| F["真正召开：写纪要头 + 公告群聊"]
+    E -->|"验证清空后"| F
+    F --> G["按随机顺序逐个唤醒发言<br/>每人看到此前已发言者的意见"]
+    G --> H{"全部在册成员都发言了？"}
+    H -->|"否"| I["继续收集（跳过仍在忙的人）<br/>看门狗：2×activityTimeoutMs 无新发言 → 放弃"]
+    I --> H
+    H -->|"是"| J["收口：汇总表决 / 讨论结论<br/>检查是否全体认为已解决"]
+    J --> K["暂存会议补开（若有）"]
+```
+
+**互斥的双向保证**（v2.2.2 起对称）：
+- `startMeeting`：验证进行中 → **会议暂存**；
+- `armNextVerify`：会议进行中 → **验证排队**（此前只做了前一半，成员在会上提议验证会真的
+  并发启动第二个共识过程，进而饿死会议的看门狗时钟）。
+
+---
+
+## 6. 调度优先级（`schedulePass`）
+
+```mermaid
+flowchart TB
+    S["一轮结束 / 提议 / 定时器到期 → scheduleNext()（蹦床：只有一个 pass 在跑）"] --> P1
+    P1{"有进行中的会议？"} -->|"是"| M["continueMeetingRound()<br/>缺人则继续问；齐了就收口"]
+    P1 -->|"否"| P2{"有进行中的验证？"}
+    P2 -->|"是"| V["continueVerifyRound()<br/>缺票则继续问；齐了就裁定"]
+    P2 -->|"否"| P3["armNextVerify()：启动队列里的下一个验证"]
+    P3 --> P4{"有暂存会议？"}
+    P4 -->|"是"| P5["beginMeeting()"]
+    P4 -->|"否"| P6["按 maxParallel 填并发预算：<br/>① 已认领/被分派的在办任务（按 activityTimeoutMs 节流）<br/>② 加急邮件（私信/分派/督办/框架提示）<br/>③ 到期群聊摘要"]
+    P6 --> P7{"本所停滞超过 stallAutoMeetingMs<br/>且无人在跑？"}
+    P7 -->|"是"| P8["自动召集一次同步会议（只促成，不指派）"]
+    P7 -->|"否"| P9{"最久未动者已空闲 ≥ activityTimeoutMs？"}
+    P9 -->|"是"| P10["推一把：有在办任务 → 常规工作轮；否则 → 心跳轮"]
+    P9 -->|"否"| P11["armDigest() + armHeartbeat()"]
+```
+
+---
+
+## 7. 状态：纯折叠 + 双后端
+
+```mermaid
+flowchart LR
+    subgraph EV["11 类事件"]
+        E["institute · member · task · message · delivered ·<br/>meeting · debate · verdict · queue · counters · progress"]
+    end
+    EV --> FOLD["applyV5Event（纯函数折叠，只此一份）"]
+    FOLD --> ST["V5State<br/>{ institutes, order, diagnostics }"]
+    ST --> R1["读：stateOf(session, 'vibeMathV5')"]
+    ST --> R2["未知/损坏事件 → 跳过 + 记入 diagnostics<br/>（可用性优先，绝不因一条坏事件卡死全场）"]
+
+    subgraph B1["主后端（宿主有 sessionProjections）"]
+        P1["事件只追加进会话日志<br/>不进模型上下文 = 零 token 成本"]
+        P2["checkpoint 由 DSH 负责；restore 时<br/>从快照 + 日志尾部重新折叠"]
+    end
+    subgraph B2["回退后端（宿主没有该服务）"]
+        F1["加固 JSON：State/&lt;institute&gt;.v5state.json<br/>同一份折叠 · 串行写 · 写前必 load"]
+    end
+    R1 --> B1
+    R1 --> B2
+
+    style FOLD fill:#eaf3fd,stroke:#0b6fb8
+    style P1 fill:#eef7f1,stroke:#1f7a52
+    style P2 fill:#eef7f1,stroke:#1f7a52
+    style F1 fill:#fdf5e2,stroke:#b26a00
+```
+
+**为什么用投影**：v4 的 `State/*.json` 直写带来"损坏静默覆盖 / 并发丢写 / 跨进程陈旧快照"一整类问题。
+v5 的副作用只是往会话日志追加事件，跨进程与同进程恢复**走同一条代码路径**。
+
+---
+
+## 8. 提示词是怎么构成的（成员读到的文字 = 产品）
+
+```mermaid
+flowchart LR
+    subgraph P["人设 persona（入职时冻结，随会话持久化，压缩后依然有效）"]
+        CH["公共规章（十节）<br/>编制与同事 · 通用规章 · 资料库与 progress<br/>组织与协调 · 表决规则 · 每轮节奏<br/>雇佣解雇 · 任务板 · 上下文纪律 · 停止条件"]
+    end
+    subgraph R["每轮提示词（临时，短）"]
+        ST["状态块<br/>&#91;状态&#93; 你是 &lt;代号&gt;（职位）｜轮次｜m｜表决者数<br/>&#91;在册&#93; …　&#91;未就位&#93; …<br/>&#91;任务板&#93; …　&#91;新到的消息/通知&#93; …"]
+        ASK["本轮问句（常规 / 心跳 / 会议 / 表决）<br/>+ 收件箱（先 ack 再构造，绝不重复投递）"]
+        SPEC["回执契约（按职位裁剪）<br/>say / progress / record / propose_verify / verdict<br/>propose_meeting / task_* / reject_assign / input<br/>hire / fire / vote_solved / solved / contextPct / compacted"]
+    end
+    P --> MEM["成员（子会话）"]
+    R --> MEM
+    MEM --> OUT["单个 JSON 回执"]
+
+    style CH fill:#fdf5e2,stroke:#b26a00
+    style ST fill:#eaf3fd,stroke:#0b6fb8
+    style ASK fill:#eaf3fd,stroke:#0b6fb8
+    style SPEC fill:#eaf3fd,stroke:#0b6fb8
+```
+
+**身份不变式（有测试与语料保证）**：
+
+- 提示词里的身份 = 这条提示词**实际发给的成员**；题头、`[状态]`、人设资料库路径三者必须一致；
+- 成员**先落盘进编制、再构造**它的入职提示词（否则会漏掉自己、并按加入前的编制算 m）；
+- 章程快照**冻结在入职时**（它写着"你入职时的在册编制"），重建会话时原样复用；
+- 会话重建框为 `【会话重建】`，**不**自称"刚入职"；
+- 领袖叙事跟随真实编制：没有院士时，章程不得声称存在院士或承诺其派活；
+- 框头按**真实来源**标注（所办分派 ≠ 院士分派；督办 ≠ 分派；致全体表决者 ≠ 私信）；
+- 框架反馈有独立发送者（`【框架提示】`），且**一次提示词只投递一条消息**。
+
+---
+
+## 9. 任务板（compare-and-set + DAG）
+
+```mermaid
+flowchart LR
+    A["task_create<br/>subject / description / blocked_by / write_scopes / priority"] --> B["pending"]
+    B -->|"task_claim（全部依赖已完成才可认领）"| C["in_progress"]
+    C -->|"complete"| D["completed"]
+    C -->|"release"| B
+    D -->|"reopen"| B
+    B -->|"delete（有依赖者则拒绝）"| E["deleted"]
+    C -->|"reassign（仅院士/所办）"| C
+    F["任何修改都要带 expected_revision<br/>版本不符 → V5_TASK_STALE_REVISION"] -.-> A
+    G["owner 被解雇 → releaseTasksOf 自动收回"] -.-> B
+
+    style B fill:#eaf3fd,stroke:#0b6fb8
+    style C fill:#fdf5e2,stroke:#b26a00
+    style D fill:#eef7f1,stroke:#1f7a52
+```
+
+---
+
+## 10. 职权矩阵
+
+| 动作 | 院士 | 常驻研究员 | 临时工 | 所办 |
+|---|---|---|---|---|
+| 发言 / 私信 / 致全体表决者 | ✅ | ✅ | ✅ | ✅（所办通知） |
+| 写自己的成果库 / 认领任务 | ✅ | ✅ | ✅ | ❌（不是成员） |
+| **表决**（进 `Verified/`） | ✅ 一票 | ✅ 一票 | ❌ | ❌ |
+| 提议验证 / 提议开会 | ✅ | ✅ | ✅ | ✅（可直接召开） |
+| **直接召开会议** | ✅ | ❌（只能提议） | ❌ | ✅ |
+| **分派任务**（`vibe_v5_assign`） | ✅ | ❌ | ❌ | ✅ |
+| 设定优先级（`vibe_v5_prioritize`） | ✅ | ❌ | ❌ | ✅ |
+| 督导（`vibe_v5_nudge`） | ✅ | ❌ | ❌ | ✅ |
+| **雇佣临时工** | ✅ | ✅（自己的） | ❌ | ✅ |
+| **解雇临时工** | ✅（任何） | ✅（自己雇的） | ❌ | ✅ |
+| 增聘 / 解聘**常驻研究员** | ❌（建议） | ❌（建议） | ❌ | ✅ |
+| 暂停 / 恢复 / 停止 / 调参 | ❌ | ❌ | ❌ | ✅ |
+
+> **分派不改变真假**：院士能分派工作、定优先级，但不能让任何断言因此变正确 ——
+> 对象进 `Verified/` 仍然只能靠 m 票布尔一致。
+
+---
+
+## 11. 目录结构与制品
+
+```text
+<会话工作区>/VibeMath/Projects/<项目>/Institutes/<研究所>/
+├─ Institutes.md                 # 编制镜像（人读快照，勿手改）
+├─ Problems/<id>.md              # 原问题
+├─ Problems/conclusion.md        # 结题记录（全体有表决权者一致认为已解决时生成）
+├─ Members/<代号>/
+│   ├─ Progress/progress.md      # 研究日志（叙述体，可追加；压缩后恢复状态的主要依据）
+│   ├─ Propos/<id>.md            # 命题
+│   ├─ Methods/<id>.md           # 方法 / 理论 / 工具
+│   └─ Subproblems/<id>.md       # 子问题
+├─ Shared/
+│   ├─ Chat/<日期>.md            # 群聊记录
+│   ├─ Meetings/<mt-id>.md       # 会议纪要（含表决小节）
+│   ├─ Debates/<对象>.md         # 辩论录（各轮票与理由 + 平均概率）
+│   ├─ TaskBoard.md              # 任务板镜像
+│   └─ State-of-institute.md     # 各成员对"是否已解决"的判断快照
+├─ Verified/<类型>/<id>.md       # 定论（只读；只有它能被当作已确立）
+└─ State/
+    ├─ README.md                 # 说明"权威状态在会话日志投影里，不是这里"
+    └─ <研究所>.v5state.json      # 仅当宿主缺 sessionProjections 时的回退权威源
+```
+
+**可信分层**：只有 `Verified/` 与标注"已验证·真/假"的卡片**绝对可信**；
+`Progress/`、`Methods/`、未定论命题、他人推测都只是**经验参考**，引用时必须注明"未验证"。
+
+---
+
+## 12. 不变式速查（这些都有测试守着）
+
+| 不变式 | 由谁保证 |
+|---|---|
+| 提示词身份 = 收件人；题头/状态块/人设三者一致 | `prompt-v5-integrity.test.mjs`（逐条断言 + 语料） |
+| 成员先落盘进编制、再构造入职提示词 | 同上 |
+| 章程冻结在入职时；重建会话自称"重建" | 同上 |
+| 无院士时不出现任何院士叙事 | 同上 |
+| 框头署名 = 真实来源 | 同上 |
+| 一次提示词不重复投递同一条消息 | 同上 |
+| 回执契约涵盖框架真正处理的每个字段 | 同上 |
+| 只有 ≥ m 张一致的布尔票才能定论 | `selfdrive-v5.mjs` / `e2e-v5-round2.test.mjs` |
+| 反向布尔票阻塞结论 | 同上 |
+| 临时工无表决权、不能雇佣 | 同上 |
+| 只有院士/所办能分派、定优先级、督办 | 同上 |
+| 会议与验证互斥（双向） | `prompt-v5-integrity.test.mjs` |
+| 解雇是真实的（释放子会话、收回任务） | `selfdrive-v5.mjs` |
+| 跨进程恢复不丢研究所 | `e2e-v5-round2.test.mjs` |
+| 每条不变式都有能让套件变红的探针 | `audit-v5-sensitivity.mjs` + [`../AUDIT-CHECKLIST.md`](../AUDIT-CHECKLIST.md) |