dsh-vibe-math 2.4.1 → 2.6.0

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

@@ -529,72 +529,88 @@ flowchart TD
 
 ### 8.2 状态文件与版本
 
-`State/<研究所>.v5state.json`（`<研究所>` = `vibe_v5_configure` 的 `institute`，默认 `institute`），`version = 1`。
+`State/<研究所>.v5state.json`（`<研究所>` = `vibe_v5_configure` 的 `institute`，默认 `institute`），`v = 1`。
 
-它**不是投影单元**：没有注册、没有 `wire`、没有 `stateSchema` 契约——就是一份普通（但加固写入）的 JSON，读到版本不匹配的快照即丢弃。
+它**不是投影单元**：没有注册、没有 `wire`、没有 `stateSchema` 契约——就是一份普通（但加固写入）的 JSON。读到版本不匹配的快照即丢弃，**并且此后拒绝写入该路径**（见下）。
 
 ```ts
-interface V5State {
-  version: 1
-  institutes: Record<string /* instituteId */, Institute>
-
-  // 单调计数器（永不复用）
-  seq: { acad: number; researcher: number; temp: number
-         task: number; meeting: number; message: number; verify: number }
+interface V5State {              // 整份快照的顶层信封（代码：initState / emptyInstitute）
+  v: 1                           // = PROJECTION_VERSION；版本不匹配的快照被丢弃
+  institutes: Record<string /* key */, Institute>   // key = `${project}::${institute}`
+  order: string[]                // key 的出现顺序
+  diagnostics?: { at: number; type: string; error: string }[]   // 折叠跳过的事件 / 状态文件读取问题（最多 50 条）
 }
 
 interface Institute {
-  id: string
+  key: string                     // `${project}::${institute}`，与 institutes 的键一致
   project: string                 // 项目名（VibeMath/Projects/<project>）
+  institute: string               // 研究所名（= 状态文件名）
   createdAt: number
   phase: 'idle' | 'founding' | 'active' | 'paused' | 'stopped' | 'solved'
-  problem: { id: string; statement: string; cardRel: string }
-  params: Params                  // 见 §16
+  problem: { id: string; statement: string }
+  params: Params                  // 见 §16（只存被 vibe_v5_set/configure 显式设过的键）
 
-  members: Member[]               // 只增不改身份字段
+  members: Member[]               // 只增不改身份字段（已解雇者保留，phase='dismissed'）
   tasks: Task[]                   // 含 tombstone(deleted)
-  messages: Message[]             // queued
-  delivered: string[]             // 已投递的 messageId（邮箱 = messages − delivered）
-  meetings: MeetingIndex[]        // 只存索引，全文在磁盘
-  debates: DebateIndex[]
-  verdicts: Record<string /* targetKey */, VerdictRecord>
-  activity: { lastProgressAt: number }
+  messages: Message[]             // 排队中的邮件（= 已入队 − delivered）
+  delivered: string[]             // 已投递的 messageId 台账；**有界 LRU 窗口**（上限 500，只用于回答"是否已投递"）
+  meetings: MeetingIndex[]        // 只存索引，全文在磁盘；上限 200
+  debates: DebateIndex[]          // 上限 200
+  verdicts: Record<string /* targetKey */, VerdictRecord>   // 每对象一条（含 closed 的历史结论）
+  formal: Record<string /* targetKey */, FormalRecord>     // 每个对象的形式化记录（见 §14.6）
+  todo: { id: string; at: number; why: string; verdict?: 0 | 1 }[]  // 形式化待办
+  queue: { target: string; kind: string; proposer: string; reason: string; at: number }[]  // 验证队列（FIFO）
+  counters: { academician: number; researcher: number; temp: number
+              task: number; meeting: number; message: number; verify: number }
+  runId: string
+  lastProgressAt: number
+  artifactCount: number
+  diagnostics: { at: number; type: string; error: string }[]      // 每个研究所自己的诊断（上限 50）
 }
 
 interface Member {
   id: string                      // 'acad' | 'r-3' | 't-7'
   kind: 'academician' | 'researcher' | 'temp'
-  childId?: string                // DSH continuable child session id
+  childId?: string                // DSH continuable child session id（'' = 无常驻会话）
   phase: 'provisioning' | 'active' | 'failed' | 'dismissed'
   direction: string               // 研究方向 / 雇佣用途
   hiredBy?: string                // 临时工：雇主 id
-  sealed: { name: string; provider: string; persona: string }   // 不可变身份（照搬官方不可变性）
+  term?: string                   // 临时工：雇佣期限（自由文本）
+  provider: string                // 'spawn' | 'fork' | …
+  persona: string                 // **入职时冻结的章程**（= 该成员的 sealed 身份记录，见 §14.5.3）
   error?: string
   dismissedAt?: number
   dismissReason?: string
   createdAt: number
-  lastActiveAt: number
 }
 ```
 
-### 8.3 事件类型（沿用官方 version-2 风格）
+**读前必 load、按路径锁存、load 未成功拒绝写（2.4.1 审计 H1 的教训）**：
+`makeFileBackend` 的加载锁存是**按路径**的（`loadedPath`），不是布尔量。`configure` 切换 project/institute 时，先读**目标路径**的状态文件：文件里已有该研究所（`members` 非空）就**接管**它，否则要求当前会话自己为空，绝不把空研究所写回去。若某个路径的读**没有成功**（读失败、解析失败、版本不匹配），后端**拒绝写入**该路径并抛 `V5_STATE_NOT_LOADED`，把原因记进 `diagnostics`（`vibe_v5_status.diagnostics` / `vibe_v5_report` 的「⚠ 状态诊断」节可见）。旧实现在这里出过一次真实的数据丢失事故：布尔锁存 + 不读就读的 `state()` + `configure` 结尾的整份快照写回 ⇒ 会话首个工具调用锁存默认研究所路径，之后 `configure {institute:'alpha'}` 从不读 alpha 的文件、直接用空研究所覆盖它。
+
+### 8.3 事件与提交（沿用官方 version-2 风格）
+
+提交一次 = `applyV5Event(state, { type, data })` 折一次 + 把折叠后的整份快照写进 `State/<研究所>.v5state.json`。
 
 ```
-'vibe5/institute'   { version:1, instituteId, patch }          // 建所/参数变更/阶段变更
-'vibe5/member'      { version:1, instituteId, member }         // 编制变更（含 dismissed）
-'vibe5/task'        { version:1, instituteId, task }           // 任务快照（含 revision）
-'vibe5/message'     { version:1, instituteId, message }        // 入队
-'vibe5/delivered'   { version:1, instituteId, messageId, targetId }
-'vibe5/meeting'     { version:1, instituteId, index }          // 会议索引
-'vibe5/verdict'     { version:1, instituteId, targetKey, record }
-'vibe5/formal'      { version:1, instituteId, target, record, todo }
-                                                                // 对象的形式化记录 + 形式化待办
-                                                                // （见 §14.6；与 verdict 同级的权威状态）
+'vibe5/institute'   { version:1, key, patch }          // 建所/参数变更/阶段变更
+'vibe5/member'      { version:1, key, member }         // 编制变更（含 dismissed）
+'vibe5/task'        { version:1, key, task }           // 任务快照（含 revision）
+'vibe5/message'     { version:1, key, message }        // 入队
+'vibe5/delivered'   { version:1, key, ids: string[] }  // 销账：这批 messageId 已投递
+'vibe5/meeting'     { version:1, key, index }          // 会议索引
+'vibe5/debate'      { version:1, key, index }          // 辩论录索引
+'vibe5/verdict'     { version:1, key, target, record } // 验证记录（record=null 删除）
+'vibe5/formal'      { version:1, key, target, record, todo }  // 对象的形式化记录 + 形式化待办
+'vibe5/queue'       { version:1, key, queue }          // 整条验证队列（数组整体替换）
+'vibe5/counters'    { version:1, key, counters }       // 代号与编号（永不复用）
+'vibe5/progress'    { version:1, key, at, artifactCount }     // 进展心跳 + 产物计数
 ```
 
-共 **12 类**事件。`vibe5/queue`（验证队列）、`vibe5/counters`（代号与编号）与 `vibe5/progress`（进展心跳）各占一类。
+共 **12 类**事件。事件的 `key` 是 `${project}::${institute}`，它**只用于把事件折进正确的那个 `institutes[key]`**；权威状态是 JSON 文件本身的结构（顶层的 `institutes` / `order`，研究所内的 `counters`），**不是**事件负载里的字段。
+（这一点曾经写错过，并直接掩盖了上面那条数据丢失缺陷：旧文档把 key 写成"持久化在快照里的 `instituteId`"，而代码里的 key 是会话内存态、从路径重建的。）
 
-> **这些事件只进内存折叠，不进任何日志**：每次提交就是"`applyV5Event(state, {type, data})` 折一次 + 把折叠后的整份快照写进 `State/<研究所>.v5state.json`"。事件名沿用 `vibe5/` 前缀是为了与投影时代的记录对齐，它们**不再是宿主会话日志里的事件类型**（那正是让会话不可恢复的做法，§8.1）。
+> **这些事件只进内存折叠，不进任何日志**：事件名沿用 `vibe5/` 前缀是为了与投影时代的记录对齐，它们**不再是宿主会话日志里的事件类型**（那正是让会话不可恢复的做法，§8.1）。
 
 **折叠纪律（吸取官方教训）**：官方在遇到非法事件时会 `state.failure = ...` **永久闩锁**，此后任何读取都抛错。v5 **不闩锁**：非法事件被**跳过并计入 `diagnostics`**，状态继续前进。理由——研究所的可用性优先于对日志的洁癖，且事件由我们自己的代码产生，非法即代码缺陷，应由测试而非运行时闩锁来发现。
 
@@ -609,10 +625,12 @@ VibeMath/Projects/<project>/Institutes/<institute>/
   Shared/Chat/<day>.md          # 群聊记录（追加）
   Shared/Meetings/<mid>.md      # 会议纪要全文
   Shared/Debates/<target>.md    # 辩论录全文
-  State/README.md               # 声明"权威状态是本目录的 <研究所>.v5state.json（不在任何宿主会话日志里）；其余仅镜像，勿手改"
+  State/<institute>.v5state.json # **权威状态**（加固 JSON；不在任何宿主会话日志里）
+  State/README.md               # 声明"权威状态是本目录的 <研究所>.v5state.json；其余仅镜像，勿手改"
 ```
 
-镜像**只写不读**，丢失或损坏都不影响正确性——这本身就是对 v4 F-9 一类数据丢失事故的结构性防护。
+除 `State/<研究所>.v5state.json` 之外的一切文件（含 `State/README.md` 本身）都是镜像：
+**只写不读**，丢失或损坏都不影响正确性——这本身就是对 v4 F-9 一类数据丢失事故的结构性防护。
 
 ---
 
@@ -631,6 +649,8 @@ VibeMath/Projects/<project>/Institutes/<institute>/
   - `v === 0` → **断言为假**
   - `0 < v < 1` → **弃权/存疑**（记录，不计入 m）
 - `B₁` = 投出恰好 1 的人集合；`B₀` = 投出恰好 0 的人集合。
+- 计票只读 `E` 内的票：`fire()` 会把被解雇者从未关闭的表决记录里剔除，`judgeVerdict` 也忽略
+  不在 `E` 内的 id——已不在册的人既不能凑 `m`，也不能定论（2.4.1 审计 H2）。
 
 ### 9.2 裁定规则
 
@@ -646,6 +666,10 @@ VibeMath/Projects/<project>/Institutes/<institute>/
 
 > **关键性质**：弃权**不阻塞**裁定（这是与 v4"全体一致"的实质差别），但**任何反对票都会阻塞**。
 > 因此"少数人合谋"无法通过——只要有一个人明确投反向布尔值，该对象就定不了论。
+> 又因为反向票阻塞，**`m` 票口径下"只要有人投布尔票，门槛就等于全部布尔票同向"**：
+> 调低 `quorumCap` 只降低"至少几张布尔票"，**不会让收敛更容易**（`m` 与 `P` 相等时两种口径完全一致）。
+> 计票只认**当前**有表决权者：已解雇成员此前投下的票在 `fire()` 时从未关闭的表决记录中剔除，
+> `judgeVerdict` 也只读 `E` 内的票——`Verified/` 永远不可能由"已不在册的人"凑出来。
 
 ### 9.3 流程（两段式，照搬 v4 已验证的辩论结构并收紧）
 
@@ -818,7 +842,14 @@ prompt  = inbox + base
 
 - 每位成员有一个 **pending 摘要桶**；群聊消息先入桶，不立即唤醒；
 - 触发投递的时机：该成员**因其它原因**（任务/会议/验证/私信）被唤醒时，或在 `chatDigestMs`（默认 45 s）内积累到 `chatDigestMax`（默认 12 条）时；
-- 投递格式为**一条**摘要：`【研究所·群聊摘要（12 条）】\n- r-2：…\n- acad：…\n- t-3：…`
+- 投递格式是**一个**「新到的消息」块：框头 `[新到的消息（N 条）]`（只有 1 条时是 `[新到的消息]`），下面逐条是已经分好类的**单行**消息（`composeInbox` + `frameLine`）：
+  ```
+  [新到的消息（3 条）]
+    【研究所·群聊】r-2：…
+    【研究所·群聊】acad：…
+    【研究所·私信 from t-3】…
+  ```
+  也就是说：**合批是真的**（一次唤醒只带一个块、不逐条唤醒），但**不是**把所有群聊折叠成一行摘要——每条消息保留自己的发送者与类别框头，成员才知道谁说了什么。
 - 私信与会议/验证提示**不做合批**（时效性强），且**优先于摘要投递**（沿用 v4"共识链不被普通轮打断"的取舍：**只在无进行中的会议/验证时投递摘要**）。
 
 ### 11.3 会议
@@ -936,7 +967,8 @@ pass，而该 pass 又立刻唤醒同一个任务所有者 —— 一个未完
 ### 14.2 并发
 
 - `maxParallel`（默认 3）限制同时唤醒的成员数；brainstorm 首轮"各自独立想"一次全开。
-- 会议/验证轮**不受 `maxParallel` 限制**（共识需要全员发言/投票），但每 pass 只唤醒一个未发言/未投票者，由各 `end` 事件串行驱动。
+- 会议轮**受 `maxParallel` 限制**：`askMeetingRound` 每个 pass 最多向 `maxParallel` 名尚未发言者投递，其余由各自 `end` 事件串行驱动（比"一次唤醒全所"更安全；本条曾写成"不受限制"，与代码不符）。
+- 验证轮（初评与补票）**不受 `maxParallel` 限制**：共识需要全员投票，`askVoters` / `continueVerifyRound` 一轮内向所有尚未投票的在册表决者投递。
 - 并行填充：一轮内尽量填满预算（每个 `wakeMember` 只投递即返回，等各自 `end` 异步回归）。
 
 ### 14.3 隔离（继承 v4，简化）
@@ -1067,7 +1099,7 @@ Progress/，不要从头再来"，**不得**复用 `【入职首轮】` 与"你
 | （跨架构）v4 的 `vibe_v4_set` 参数表漏了 `formalVerify`/`leanCommand`/`leanArgs`/`leanTimeoutMs` | 开关不可发现 |
 | （跨架构）v4 的 `usage` 串长期列着不存在的 `message` 子命令 | 告诉用户一个会失败的子命令 |
 
-现在由 `audit-persona-surface.test.mjs`（仓库根，197 条断言）把这一层变成硬约束：
+现在由 `audit-persona-surface.test.mjs`（仓库根，196 条断言）把这一层变成硬约束：
 
 1. **双向工具一致性**：注册的每个工具必须在 persona 的 `prefix` 与 `text` 两块里出现
    （"未文档化"用**显式快照**表示——新增工具必须主动改快照，或在 persona 里写清；
@@ -1178,6 +1210,62 @@ runaway 的编译器会在框架已经报告超时之后继续存活；`done`
 路径大小写差异漏掉了 VibeMath 根的绝对路径，语料因此不确定且泄露本机路径——已修）。
 
 
+### 14.7 最终论文（`finalPaper`）
+
+**时序（规格 v2 §A1，关键）**：论文阶段发生在**标记完成之前**。`checkSolved` 判定"全体有表决权者
+一致认为原问题已解决"后**不再**立刻 `finishRun`，而是先进入论文阶段；只有论文定稿（或降级结束并
+上报）之后才置 `phase='solved'` / `autoDone` / `running=false`。原因：`finishRun` 之后
+`wakeIfIdle` 拒绝唤醒、`startMeeting` 拒绝召开、`scheduleNext` 直接返回——合写、互审、所办交流
+都不可能有唤醒路径。论文阶段用 `wakeMember`（kind=`paper`）+ `paperPass()` 驱动，**不依赖调度器**。
+
+**参数**（§16）：`finalPaper`（默认 true，收口自动触发；`false` 时手动命令仍可用并在返回里说明
+"自动已关闭"）、`paperFormat`（`both|md|tex`）、`paperLanguage`（`zh|en`）、`paperCompilePdf`、
+`paperEditor`（`academician` 默认｜`office`）、`paperLatexCommand`（强制单一引擎，空 = 自动检测）。
+未知/非法拼写显式归一化并回退默认（v2 §B）；`vibe_v5_set` 是**闭集** schema，六个键都必须在其中
+（`audit-prompt-invariants` 的 I14 断言"schema 广告的键必须真被参数层接受"）。
+
+**触发**：① 自动——收口判定处进入（幂等：`inst().paper` 已是 finalized 就直接走补写路径）；
+② 手动——`/v5 paper [lang=zh|en] [format=both|md|tex] [editor=office|academician] [force]` 或
+`vibe_v5_paper`（`editor=` 是**一次性**覆盖，不写回持久参数）。
+**自动触发恒用 `academician`**：所办是根会话、没有唤醒路径，自动流程必须能无人值守完成；`office`
+只从手动路径进入，此时流程停在 `awaiting-editor` 等人工驱动。
+
+**团队流程**：① 每位常驻研究员/院士写**自己**的部分（`paper_part`：title/solution/methods/rules/
+limits/evidence，只允许写库里已有证据支撑的内容，不得编造，未决/被否证必须显式标注）→ ② 合并
+（框架按成员顺序成稿，§3/§6/§7/§8 是成员原文，§1/§2/§4/§5/§9 由状态与文件推导）→ ③ **互审**：
+每人审**另一位**成员的部分（`paper_review`：`of` + `deliverable` 布尔 + `comments`）→ ④ 一致认同：
+**全体**参与成员 `deliverable=true` 才进入定稿；有反对则进入下一轮（`PAPER_MAX_ROUNDS=3`），超限
+记警告并把分歧写进**附录** → ⑤ 定稿代表（`paperEditor`）梳理成最终稿：院士用 `paper_final`
+（`decision=deliverable|revise`）决策；**若为 `office`，所办必须先与全所交流**——至少 1 条所办消息
+（`vibe_v5_message`，在 `say` 的落点计数）+ 至少 1 次**真实召开**的所办会议（在 `beginMeeting` 的
+落点计数；框架自动召集的停滞会议带 `auto:true`，不计入），二者都满足才允许
+`vibe_v5_finalize_paper`，且**定稿说明（note）必填**、交流计数写入 `paper.meta.json`；未满足返回
+`V5_PAPER_CONSULT_REQUIRED`（负用例：跳过交流直接定稿必须被拒）。
+全程往来（谁写了什么、谁提了什么意见、如何采纳）写入 `Paper/<id>/paper.log.md`。
+轮次上限、代表不在册（回退 office）、看门狗跳过未交稿者都记 `warnings` 并写入正文。
+
+**产物与幂等**：`Paper/<研究所 id>/`（`idSafe(instituteName)`，空则 run id，统一由 `PAPER_FILE`
+构造）下 `paper.md`（`paperFormat` 含 md）、`paper.tex`（含 tex）、`paper.pdf`（编译成功）、
+`paper.meta.json`（参数、触发原因、`finalizedAt`、`runId`、编译引擎与结果、轮次、交流计数、分歧、
+警告、产物清单、证据索引）、`paper.log.md`。**幂等用 `finalizedAt` + 逐产物存在性**（不引入多文件
+哈希）：重复触发只补写缺失产物并记日志。
+
+**LaTeX（v2 §C/§D/§E）**：宿主 fs **只支持文本写**，因此 `paper.pdf` **只能由编译器子进程在
+`Paper/<id>/` 内产生**，插件只 `stat` 校验、绝不自己写二进制、**绝不覆盖已有 pdf**。检测/编译照抄
+Lean 缝隙：`sub.resolveExecutable(cmd)` + `sub.spawn({argv, cwd, stdio, graceMs})`（`paperLatexCommand`
+可强制单一命令；否则中文优先 `xelatex → latexmk → pdflatex → lualatex → tectonic`，英文优先
+`pdflatex`）。每次尝试跑两遍（`-interaction=nonstopmode`）。**重试有上限**：完整 tex → 去 `-halt-on-error`
+的 nonstopmode 重跑 → 换引擎 + 剥掉可选宏包（只留 `amsmath/amssymb/amsthm/geometry/ctex`）→ 最小
+模板（仅 `\documentclass`+正文）一次；仍失败则保留 tex+md、`compile:'failed'`、记警告并上报，
+**不阻塞定稿**；未检测到引擎记 `compile:'not-detected'`（本机无任何 LaTeX，真机只能走这条分支）；
+`paperFormat=md` 且 `paperCompilePdf=true` 时**不得**产生"缺 tex"警告（tex 未产出即静默跳过编译）。
+tex 只用 §5 允许的常见宏包，转义 `_ % & # $ { } ~ ^ \`。
+
+**测试**：`e2e-v5-round2.test.mjs` 的最终论文段（参数 schema/回退、手动与自动触发、幂等与补写、
+§6 的假编译器三条路径：成功→pdf、修复后成功、持续失败→降级+警告、真机"未检测到→tex+md"、
+路径与越权、命令覆盖与 `kind:'error'`、office 交流门禁与负用例、一致认同与轮次上限）；
+`selfdrive-v5.mjs` 端到端跑完"收口 → 论文阶段 → 定稿 → 才标记完成"。
+
 ---
 
 ## 15. 工具面
@@ -1240,12 +1328,17 @@ runaway 的编译器会在框架已经报告超时之后继续存活；`done`
 | `vibe_v5_hire / vibe_v5_fire` | 雇佣 / 解雇**临时工** |
 | `vibe_v5_add_researcher / vibe_v5_remove_researcher` | **仅所办**：增聘 / 解聘**常驻研究员**（成员只能提案） |
 | `vibe_v5_report` | 生成人读汇报（编制/进展/共识/待决） |
+| `vibe_v5_paper { lang?, format?, force?, reason? }` | **最终论文**：开始/重跑团队合写（`lang`/`format` 覆盖本次参数，`force` 重写已定稿的；幂等时只补写缺失产物） |
+| `vibe_v5_finalize_paper { decision, note, conclusion?, force? }` | **仅所办 + `paperEditor='office'`**：先交流（消息 + 至少一次所办会议）后定稿；未交流返回 `V5_PAPER_CONSULT_REQUIRED`，`note` 必填 |
 
-外加 `/v5` 斜杠命令：`configure | start | resume | pause | stop | status | report | members | message | meeting | hire | fire | add | remove | set`。
+外加 `/v5` 斜杠命令：`configure | start | resume | pause | stop | status | report | members | message | meeting | hire | fire | add | remove | set | paper [lang=zh|en] [format=both|md|tex] [editor=office|academician] [force]`。
 
 ### 15.3 错误码（照搬 M7 风格）
 
 `V5_INVALID_ARGUMENT`（参数缺失或非法，含"入库必须写明价值程度/动机用途计划/概率"）、`V5_WRITE_FAILED`（库文件写入失败）、`V5_NOT_FOUND`（要执行的 Lean 文件不存在）、`V5_LEAD_REQUIRED`（职权不足）、`V5_NOT_ACADEMICIAN`（非院士调用院士专用工具）、`V5_NOT_MEMBER`、`V5_MEMBER_NOT_FOUND`、`V5_MEMBER_NAME_TAKEN`、`V5_MEMBER_LIMIT`、`V5_INVALID_MEMBER_NAME`、`V5_PROVISIONING_CONFLICT`、`V5_SELF_MESSAGE`、`V5_MAILBOX_FULL`、`V5_MESSAGE_TOO_LARGE`、`V5_INVALID_TIMEOUT`、`V5_WAIT_ABORTED`、`V5_TASK_LIMIT`、`V5_TASK_NOT_FOUND`、`V5_TASK_STALE_REVISION`、`V5_TASK_DELETED`、`V5_TASK_UNAUTHORIZED`、`V5_TASK_ALREADY_CLAIMED`、`V5_TASK_BLOCKED`、`V5_TASK_INVALID_TRANSITION`、`V5_TASK_HAS_DEPENDENTS`、`V5_TASK_DEPENDENCY_CYCLE`、`V5_NOT_VOTER`（临时工投票）、`V5_INVALID_VERDICT`、`V5_INSTITUTE_STATE`、`V5_INVALID_WRITE_SCOPE`、`V5_INTERNAL`（框架内部不变式被破坏——例如"要生成某成员的状态块却没有给出该成员"；**宁可显式失败，也绝不猜身份**）。
+| `V5_NOT_OFFICE` | 调用者不是**可证明的会话根（所办）**：空身份或成员身份一律拒绝（`configure/start/resume/pause/stop/set` 与 `/v5` 的变更类子命令） |
+| `V5_PAPER_STATE` | 论文流程不在此阶段/不存在：例如定稿代表在全稿尚未写完或未互审时定稿 |
+| `V5_PAPER_CONSULT_REQUIRED` | `paperEditor='office'` 定稿前必须先与全所交流：至少 1 条所办消息 + 至少 1 次所办会议（`vibe_v5_finalize_paper` 返回，含当前计数） |
 
 Lean 工具另外会返回**非错误码**的失败原因（都属于"可读结果"而非异常）：`NO_SUBPROCESS`（宿主没有 subprocess 服务）、`LEAN_NOT_FOUND`（解析不到 `leanCommand`）、`LEAN_SPAWN_FAILED`、`LEAN_RUN_FAILED`、`LEAN_FAILED`（编译器非零退出）、`LEAN_TIMEOUT`。
 
@@ -1274,6 +1367,9 @@ Lean 工具另外会返回**非错误码**的失败原因（都属于"可读结
 | `input` | ✓ | ✓ | ✓ | 会议/辩论轮的发言正文 |
 | `hire` / `fire` | ✓ | ✓ | ✗ | 临时工不能雇佣他人 |
 | `vote_solved` / `solved` / `contextPct` / `compacted` | ✓ | ✓ | ✓ | 停止表决与上下文记账 |
+| `paper_part` | ✓ | ✓ | ✗ | **最终论文**：写自己那部分（title/solution/methods/rules/limits/evidence；只写有证据的，未决/被否证必须标注） |
+| `paper_review` | ✓ | ✓ | ✗ | **互审**：`{ of, deliverable: true\|false, comments }`——审另一位成员的部分 |
+| `paper_final` | ✓（仅定稿代表为院士时） | ✗ | ✗ | **定稿**：`{ decision: 'deliverable'\|'revise', note, conclusion? }` |
 
 框架对**未生效**的动作必须回一条 `【框架提示】`（§11.5），不得静默丢弃。
 
@@ -1304,6 +1400,12 @@ Lean 工具另外会返回**非错误码**的失败原因（都属于"可读结
 | `leanCommand` | `'lean'` | 要执行的 Lean 可执行文件（例：`'lake'`） |
 | `leanArgs` | `[]` | 插在文件名之前的附加参数（例：`['env','lean']` 配合 `lakeCommand='lake'`） |
 | `leanTimeoutMs` | `120000` | 单次 Lean 运行的上限（<1000 会被抬到 1000） |
+| `finalPaper` | `true` | **最终论文**（§14.7）：收口时自动撰写；`false` = 自动关闭（手动 `/v5 paper` 仍可用并在返回里说明）。未知拼写显式拒绝（回退默认） |
+| `paperFormat` | `'both'` | `both`｜`md`｜`tex`（`paperFormat=md` 时不产出 tex，编译静默跳过） |
+| `paperLanguage` | `'zh'` | `zh`（ctexart，xelatex 优先）｜`en`（article，pdflatex 优先） |
+| `paperCompilePdf` | `true` | 检测到 LaTeX 引擎时是否编译 PDF；未检测到则只交付 tex+md 并记 `compile:'not-detected'` |
+| `paperEditor` | `'academician'` | 定稿代表：`academician`（自动触发恒用院士——所办是根会话、无唤醒路径）｜`office`（仅手动 `/v5 paper`：必须先与全所交流 + 至少一次会议） |
+| `paperLatexCommand` | `''` | 强制单一 LaTeX 命令（空 = 自动检测：中文 `xelatex → latexmk → pdflatex → lualatex → tectonic`，英文优先 `pdflatex`） |
 | `provider` / `model` | `''` | 空 = 成员继承主代理路由 |
 | `toolAllow` / `toolDeny` | `[]` | 成员工具权限（空 = 全继承）。⚠ 空 `allow:[]` 会拒绝一切工具 |
 | `tempToolAllow` / `tempToolDeny` | `[]` | 临时工的工具权限（比常驻更窄；空 = 继承全部）。⚠ 空 `allow:[]` 会拒绝一切工具 |