dsh-vibe-math 2.3.14 → 2.3.16

package/docs/generate_framework_diagram_v5.mjs

@@ -3,25 +3,338 @@
 //
 //   node docs/generate_framework_diagram_v5.mjs
 //   → 写出 示例图/框架图-v5.svg
+//   node docs/generate_framework_diagram_v5.mjs --lang=en   （也接受 --lang en）
+//   → 写出 示例图/框架图-v5-en.svg（同一张图，全部文字换成英文）
+//
+// 图上的**每一句人话**都放在本文件顶部的 zh / en 两张表里，绘图代码只从当前语言的表里取字：
+// 因此两种语言共用同一套几何、配色、坐标、元素顺序与图元，不存在"两套版式各自漂移"的问题。
+// 无参数时取到的就是中文原文，输出与加语言开关之前**逐字节相同**。
 //
 // v2/v3 用 matplotlib 脚本生成 PNG；v4/v5 用 Node 直接生成 **SVG**：
 //   · 本仓库的运行时就包含 Node，不需要额外装 Python / matplotlib；
 //   · SVG 是纯文本，diff 友好、可评审、任意缩放不糊。
-// 需要 PNG 时用浏览器打开 SVG 另存，或用无头浏览器截图：
-//   chrome --headless=new --window-size=1720,1100 --screenshot=框架图-v5.png 框架图-v5.svg
+// 需要 PNG（市场轮播 / 预览图）时**不要**直接照着"窗口尺寸 = 画布尺寸"截图：
+//   chrome --headless=new --window-size=1720,1204 --screenshot=示例图/框架图-v5.png 示例图/框架图-v5.svg   ← 会静默裁掉底部
+// 原因：`--screenshot` 截的是**窗口**，而页面**视口**比窗口矮约 96px（浏览器 UI 占位），
+// 画布底部那一截根本没被绘制——而 PNG 的尺寸又恰好等于画布尺寸，所以从尺寸上完全看不出来。
+// （2.3.15 修掉的真实缺陷：v4/v5 的 PNG 因此丢了最下面的图例行，且连续两版没人发现。）
+// 正确做法（按 SVG 自身尺寸渲染、裁掉多余高度、并校验墨迹到达内容底边）：
+//   node docs/render_framework_diagram_png.mjs 示例图/框架图-v5.svg 示例图/框架图-v5.png 2
 //
 // 版式约定（改布局时请遵守，否则会重叠）：
 //   · 每个 band 的标题在 y+27、副标题在 y+47，**内容从 y+56 开始**；
 //   · 左侧 x=40..214 是一条「控制面通道」，只有所办↔框架的连线走这里，
 //     研究所/框架两个 band 从 x=226 开始 —— 这样控制面的箭头不会穿过所内成员；
-//   · 生成时会估算文字宽度，超出容器的行会打印 WARN，便于立刻发现溢出。
+//   · 生成时会估算文字宽度，超出容器的行会打印 WARN，便于立刻发现溢出（两种语言同样生效）。
 // ============================================================
 import { mkdirSync, writeFileSync } from 'node:fs'
 import { dirname, join } from 'node:path'
 import { fileURLToPath } from 'node:url'
 
 const ROOT = join(dirname(fileURLToPath(import.meta.url)), '..')
-const OUT = join(ROOT, '示例图', '框架图-v5.svg')
+
+// ---------- 语言 ----------
+// `--lang=en` / `--lang en` → 英文；缺省或 `--lang=zh` / `--lang zh` → 中文（保持原样）。
+function readLang(argv) {
+  for (let i = 0; i < argv.length; i++) {
+    const a = argv[i]
+    if (a === '--lang') { if (argv[i + 1] !== undefined) return argv[i + 1] }
+    else if (a.startsWith('--lang=')) return a.slice('--lang='.length)
+  }
+  return 'zh'
+}
+const LANG = readLang(process.argv.slice(2)).toLowerCase()
+if (LANG !== 'zh' && LANG !== 'en') {
+  console.error(`未知语言 "${LANG}"（只支持 zh / en）—— 用法: node docs/generate_framework_diagram_v5.mjs [--lang=zh|en]`)
+  process.exit(2)
+}
+
+// ============================================================
+// 文案表：zh 是图上原有的全部中文（一字不改），en 是同一句话的英文。
+// 排版相关的容器假设（每张卡几行、每行多长）在这里必须与 zh 对齐或更短。
+// 工具名（vibe_v5_*）、参数名、路径（Verified/、Shared/…）、JSON 键、标识符、Lean / DSH / Cordis 一律原样保留。
+// ============================================================
+const STRINGS = {
+  zh: {
+    doc: {
+      ariaLabel: 'Vibe Math V5 研究所架构图',
+      warnHeading: '\n布局告警（文字可能溢出容器）：',
+      warnPrefix: '  WARN ',
+      saved: 'saved ',
+      noWarn: 'layout: no overflow warnings',
+      overflowHint: '文字可能溢出容器',
+      cardTooShort: (n, need, h) => `${n} 行需要高 ${need} > 容器 ${h}`,
+    },
+    title: 'Vibe Math V5 —— 研究所体系',
+    subtitle: '框架只是媒介：中继消息 · 沉淀产物 · 计数表决 · 管理上下文。它绝不指派任务 —— 组织与分派是所内院士的职责',
+
+    gate: {
+      bandTitle: '求真门槛 —— 唯一让对象进入 Verified/ 的规则',
+      bandSub: 'm = min(quorumCap, 在册有表决权人数)　·　票是 [0,1] 概率：恰好 1 = 断言为真，恰好 0 = 断言为假，严格介于两者 = 弃权/存疑（不计入 m，计入全组平均）',
+      cards: [
+        ['布尔票 ≥ m 且全部为 1 或全部为 0 → 定论，写入 Verified/'],
+        ['同时出现 1 与 0 → 阻塞：少数派无法靠别人弃权把结论推过去'],
+        ['未达门槛 → 留在原库 + 全组平均概率 + 完整辩论录（不强行裁决）'],
+      ],
+    },
+
+    office: {
+      bandTitle: '所办（会话根代理 / 人）—— 研究所的对外接口',
+      bandSub: '不参与研究 · 不投票 · 只汇报与转达人的指令；代持平台要求的一次性创建权',
+      cards: [
+        ['自然语言接口 + 汇报者', '「求解 XX」「进度如何」「暂停」'],
+        ['vibe_v5_configure → start', 'message / meeting / hire / fire'],
+        ['pause / resume / stop', 'set 调参（立即生效）'],
+        ['/v5 斜杠命令（与工具等价）', 'configure|start|resume|pause|status|report|members|message|meeting|hire|fire|set'],
+      ],
+    },
+
+    institute: {
+      bandTitle: '研究所（所内自治）—— 编制、组织与分派都在成员之间完成，框架永不指派',
+      bandSub: '院士 acad：领头人 / 组织与协调中心　·　常驻研究员 r-n：有表决权　·　临时工 t-n：无表决权（由雇主雇入与解雇）',
+      acadCard: [
+        '院士 acad',
+        '领头人 · 组织与协调中心',
+        'L1 建立全所视图（overview）',
+        'L2 拆解并分派任务（assign）',
+        'L3 设定优先级（prioritize）',
+        'L4 召集并主持会议（convene）',
+        'L5 督导进度（nudge）',
+        'L6 调配临时工 · L7 对外代表',
+      ],
+      acadNote: ['四条边界：一票与他人等重 / 分派的是工作不是结论 /', '成员可据理反对 / 不能自我扩张编制'],
+      researcherLabel: '常驻研究员（有表决权 · 可自主雇佣/解雇自己的临时工）',
+      researcherCard: ['常驻研究员 r-', 'continuable 持久会话 · 自主方向 · 主动汇报'],
+      tempLabel: '临时工（无表决权 · 为特定任务临时雇入 · 雇主或院士可解雇）',
+      tempCard: ['临时工 t-', '由 r-', ' 雇入 · 可读/可想/可发言/可写自己的库'],
+      houseNote: '所内组织动作（分派 · 优先级 · 督办 · 会议 · 用人）由院士发起，不是框架行为 —— 框架只负责送达',
+    },
+
+    framework: {
+      bandTitle: '框架 vibe-v5 —— 只是媒介（middleware）：中继 · 沉淀 · 计数 · 调度',
+      bandSub: '每轮发「状态块 + 本轮问句」（规章在 persona 里，不进对话）；成员回一个 JSON：say / progress / record / verdict / task_* / hire / fire / reject_assign / input / vote_solved',
+      chips: [
+        ['消息中继（持久邮箱）', '群聊 / 私信 / 致全体表决者', '所办通知 / 分派 / 督办 / 框架提示', '逐收件人落盘 · 先落盘再投递 · 群聊合批'],
+        ['会议 / 辩论', '议程 · 实时名册对账 · 随机发言序', '与验证互斥：任一方进行中，另一方排队', '看门狗：卡死即放弃并回到自组织'],
+        ['任务板（CAS + DAG）', '开 / 认领 / 释放 / 完成 / 重开 / 分派', '版本号比较交换 · 依赖环检测', '写范围重叠告警 · 解雇自动收回'],
+        ['m 票共识验证', '发起 → 独立初评 → 公开辩论重投', '布尔一致 + ≥ m 才定论', 'Verified/ 卡 + 辩论录 + 全组平均概率'],
+        ['上下文与活性', '阈值压缩（人设不丢）· 免轮询活动等待', '优先级调度 · 心跳永远重武装', '并发闸 maxParallel · 停滞自动开会'],
+        ['编制与雇佣', '院士/研究员可雇自己的临时工', '雇主或院士可真实解雇（释放子会话）', '代号永不复用 · 按人/全所双配额'],
+      ],
+      leanCard: [
+        'Lean 形式化验证（可调参数 formalVerify = off / encourage / require）',
+        'encourage：验证时按实现难度决定是否形式化；require：真/假结论必须先有「Lean 通过」或显式阻塞记录',
+        '★ 一旦 Lean 通过，审查对象就变了：不再是「推导对不对」，而是「Lean 的定义/对象/条件/假设/结论是否忠实于命题原文」',
+        '★ 忠实性缺陷（decision=defect）≠ 命题为假：撤回「已通过」+ 撤回归档证明 + 进「形式化待办」，绝不记成 0/假',
+        '归档：证明 → Verified/Lean/<对象>.lean｜可复用定义 → VibeMath/Formal/Lib/｜已证引理 → VibeMath/Formal/Proved/',
+      ],
+      schedulerCard: [
+        '调度器优先级：进行中的会议或验证（二者互斥，永不同时）→ 队列中的验证 → 暂存会议 → 已认领/被分派的在办任务（按 activityTimeoutMs 节流）→ 加急邮件 → 群聊摘要 → 停滞自动开会 → 兜底心跳',
+      ],
+    },
+
+    projection: {
+      bandTitle: '状态权威源：会话日志的 host-only 投影单元（键 vibeMathV5）',
+      bandSub: '副作用只是往会话日志追加事件 —— 不进模型上下文（零 token 成本），checkpoint / restore 交给 DSH',
+      eventsCard: [
+        'applyV5Event（纯折叠，只此一份）',
+        '11 类事件：institute / member / task /',
+        'message / delivered / meeting / debate /',
+        'verdict / queue / counters / progress',
+        '未知或损坏事件 → 跳过并记入 diagnostics：',
+        '可用性优先，绝不因一条坏事件卡死全场',
+      ],
+      checkpointCard: [
+        'checkpoint / restore / resume',
+        '投影随会话日志一起 checkpoint；restore',
+        '时从快照 + 日志尾部重新折叠 → 跨进程与',
+        '同进程恢复走同一条代码路径',
+        '回退：宿主无 sessionProjections 时改用',
+        '加固 JSON：State/<institute>.v5state.json',
+      ],
+    },
+
+    files: {
+      bandTitle: '文件面：人可读产物（投影之外的一切都只是镜像）',
+      bandSub: '共识的权威在投影；文件是工作区与可读产物，手工改坏不会破坏研究所',
+      card: [
+        'Members/<id>/Progress|Propos|Methods|Subproblems/',
+        '只有本人可写，人人可读（跨读被鼓励）',
+        'Shared/Chat/*.md · Shared/Meetings/<mt-id>.md · Shared/Debates/<obj>.md',
+        'Shared/TaskBoard.md · Institutes.md（编制镜像）· State/README.md（说明此处非权威）',
+        'Problems/<id>.md（原问题）· Problems/conclusion.md（结题）· Verified/<类型>/<id>.md（定论，只读）',
+      ],
+    },
+
+    control: {
+      note1: '所办不投票', note2: '不能让结论变真', note3: '也不替成员', note4: '思考或署名',
+    },
+
+    links: {
+      promptLabel: '↑ 每轮提示词（状态块 + 本轮问句）　　↓ 单个 JSON 回执',
+      filesLabel: '读写产物',
+      chLabel: '工具面',
+      chCommand: 'vibe_v5_*',
+      chSlash: '/v5 命令',
+      chDown: '↓',
+      reportLabel: '汇报',
+      chUp: '↑',
+    },
+
+    legend: {
+      heading: '图例',
+      items: [
+        '所办 / 人（外部接口，不研究不投票）',
+        '所内成员与所内组织（虚线 = 不由框架执行）',
+        '框架（中继 / 沉淀 / 计数 / 调度）',
+        '状态与产物',
+        '求真门槛 / Lean 形式化（可调）',
+      ],
+    },
+  },
+
+  en: {
+    doc: {
+      ariaLabel: 'Vibe Math V5 institute architecture diagram',
+      warnHeading: '\nLayout warnings (text may overflow its container):',
+      warnPrefix: '  WARN ',
+      saved: 'saved ',
+      noWarn: 'layout: no overflow warnings',
+      overflowHint: 'text may overflow its container',
+      cardTooShort: (n, need, h) => `${n} lines need height ${need} > container ${h}`,
+    },
+    title: 'Vibe Math V5 —— Institute System',
+    subtitle: 'The framework is only a medium: relaying messages · persisting artifacts · counting votes · managing context. It never assigns tasks —— organizing and assigning is the academician\'s job',
+
+    gate: {
+      bandTitle: 'Truth gate —— the only rule that lets an object enter Verified/',
+      bandSub: 'm = min(quorumCap, number of registered voting members)　·　a vote is a [0,1] probability: exactly 1 = assert true, exactly 0 = assert false, strictly between = abstention/doubt (not counted toward m, counted in the group average)',
+      cards: [
+        ['Boolean votes ≥ m and all 1 or all 0 → conclusion, written to Verified/'],
+        ['Both 1 and 0 → blocked: the minority cannot push a conclusion through'],
+        ['Below quorum → stays in the library + average probability + debate record'],
+      ],
+    },
+
+    office: {
+      bandTitle: 'Institute office (session root agent / human) —— the institute\'s external interface',
+      bandSub: 'Does not research · does not vote · only reports and relays the human\'s instructions; holds the one-off creation rights the platform requires',
+      cards: [
+        ['Natural-language interface + reporter', '"solve XX" "how is it going" "pause"'],
+        ['vibe_v5_configure → start', 'message / meeting / hire / fire'],
+        ['pause / resume / stop', 'set parameters (effective immediately)'],
+        ['/v5 slash commands (equivalent to the tools)', 'configure|start|resume|pause|status|report|members|message|meeting|hire|fire|set'],
+      ],
+    },
+
+    institute: {
+      bandTitle: 'Institute (internal autonomy) —— roster, organization and assignment all happen among members; the framework never assigns',
+      bandSub: 'Academician acad: leader / center of organization and coordination　·　resident researcher r-n: voting rights　·　temp worker t-n: no voting rights (hired and fired by its employer)',
+      acadCard: [
+        'Academician acad',
+        'Leader · organization and coordination center',
+        'L1 institute-wide overview (overview)',
+        'L2 decompose and assign tasks (assign)',
+        'L3 set priorities (prioritize)',
+        'L4 convene and chair meetings (convene)',
+        'L5 supervise progress (nudge)',
+        'L6 move temp workers · L7 external',
+      ],
+      acadNote: ['Four boundaries: one vote, equally weighted /', 'what is assigned is work, not conclusions /'],
+      researcherLabel: 'Resident researcher (voting rights · may autonomously hire/fire its own temp workers)',
+      researcherCard: ['Resident researcher r-', 'continuable persistent session · own direction'],
+      tempLabel: 'Temp worker (no voting rights · hired temporarily for a specific task · fired by its employer or the academician)',
+      tempCard: ['Temp worker t-', 'Hired by r-', ' · read/think/speak, write own library'],
+      houseNote: 'In-institute organization (assignment · priority · nudge · meetings · staffing) is initiated by the academician, not the framework —— it only delivers',
+    },
+
+    framework: {
+      bandTitle: 'Framework vibe-v5 —— only a medium (middleware): relay · persistence · counting · scheduling',
+      bandSub: 'Each round: "state block + this round\'s question" (the charter is in the persona); a member returns one JSON: say / progress / record / verdict / task_* / hire / fire / reject_assign / input / vote_solved',
+      chips: [
+        ['Message relay (persistent mailbox)', 'group chat / direct message / to all voters', 'office notice / assignment / nudge / framework hint', 'persisted per recipient · written before delivery · group chat batched'],
+        ['Meeting / debate', 'agenda · live roster check · random speaking order', 'mutually exclusive with verification: while one runs, the other queues', 'watchdog: if it hangs, abandon it and return to self-organization'],
+        ['Task board (CAS + DAG)', 'open / claim / release / complete / reopen / assign', 'compare-and-set revision · dependency cycle detection', 'write-scope overlap warning · firing reclaims tasks'],
+        ['m-vote consensus verification', 'propose → independent initial assessment → open debate and re-vote', 'Boolean unanimity + ≥ m decides it', 'Verified/ card + debate record + group average probability'],
+        ['Context and liveness', 'threshold compaction (persona kept) · poll-free activity wait', 'priority scheduling · heartbeat always re-armed', 'concurrency gate maxParallel · automatic meeting on stall'],
+        ['Roster and hiring', 'academician/researchers can hire their own temp workers', 'employer or academician can really fire (releases the child session)', 'codenames never reused · dual quota per member / institute-wide'],
+      ],
+      leanCard: [
+        'Lean formal verification (adjustable parameter formalVerify = off / encourage / require)',
+        'encourage: at verification time, implementation difficulty decides whether to formalize; require: a true/false conclusion needs "Lean passed" or an explicit blocking record first',
+        '★ Once Lean passes, the object of review changes: no longer "is the derivation correct", but "are Lean\'s definitions/objects/conditions/assumptions/conclusions faithful to the proposition"',
+        '★ A fidelity defect (decision=defect) ≠ the proposition is false: revoke "passed" + revoke the archived proof + enter the "formalization TODO", never recorded as 0/false',
+        'Archive: proof → Verified/Lean/<object>.lean | reusable definition → VibeMath/Formal/Lib/ | proved lemma → VibeMath/Formal/Proved/',
+      ],
+      schedulerCard: [
+        'Scheduler priority: meeting/verification (mutually exclusive) → queued verification → meetings → active tasks (throttled by activityTimeoutMs) → mail → chat digest → meeting on stall → heartbeat',
+      ],
+    },
+
+    projection: {
+      bandTitle: 'Source of truth: host-only projection cell of the session log (key vibeMathV5)',
+      bandSub: 'The only side effect is appending events to the session log, outside the model context (zero token cost)',
+      eventsCard: [
+        'applyV5Event (pure fold, the only copy)',
+        '11 kinds of events: institute / member / task /',
+        'message / delivered / meeting / debate /',
+        'verdict / queue / counters / progress',
+        'unknown/bad event → skipped and recorded in diagnostics:',
+        'availability first, one bad event never stalls the field',
+      ],
+      checkpointCard: [
+        'checkpoint / restore / resume',
+        'the projection is checkpointed with the session log; restore',
+        're-folds snapshot + log tail → across and within processes',
+        'one process recovery takes the same code path',
+        'fallback: host without sessionProjections → hardened',
+        'JSON: State/<institute>.v5state.json',
+      ],
+    },
+
+    files: {
+      bandTitle: 'File plane: human-readable artifacts (everything outside the projection is only a mirror)',
+      bandSub: 'The authority for consensus is the projection; files are readable artifacts, breaking them by hand does not damage it',
+      card: [
+        'Members/<id>/Progress|Propos|Methods|Subproblems/',
+        'only the owner can write, everyone can read (cross-reading is encouraged)',
+        'Shared/Chat/*.md · Shared/Meetings/<mt-id>.md · Shared/Debates/<obj>.md',
+        'Shared/TaskBoard.md · Institutes.md (roster mirror) · State/README.md (says the authority is not here)',
+        'Problems/<id>.md (original problem) · Problems/conclusion.md (conclusion) · Verified/<type>/<id>.md (conclusion, read-only)',
+      ],
+    },
+
+    control: {
+      note1: 'the office does not vote', note2: 'cannot make a conclusion true', note3: 'nor think or sign', note4: 'on a member\'s behalf',
+    },
+
+    links: {
+      promptLabel: '↑ per-round prompt (state block + this round\'s question)　　↓ single JSON receipt',
+      filesLabel: 'read/write artifacts',
+      chLabel: 'Tool surface',
+      chCommand: 'vibe_v5_*',
+      chSlash: '/v5 commands',
+      chDown: '↓',
+      reportLabel: 'Report',
+      chUp: '↑',
+    },
+
+    legend: {
+      heading: 'Legend',
+      items: [
+        'Institute office / human (no research, no vote)',
+        'Members and org (dashed = not framework)',
+        'Framework (relay / persist / count / sched.)',
+        'State and artifacts',
+        'Truth gate / Lean formalization (adjustable)',
+      ],
+    },
+  },
+}
+
+const T = STRINGS[LANG]  // 绘图代码只会读这张表
+
+const OUT = join(ROOT, '示例图', LANG === 'en' ? '框架图-v5-en.svg' : '框架图-v5.svg')
 
 const W = 1720, H = 1204
 const FONT = "'Microsoft YaHei','PingFang SC','Hiragino Sans GB','Noto Sans CJK SC','Source Han Sans SC',sans-serif"
@@ -48,7 +361,7 @@ const esc = (s) => String(s).replace(/&/g, '&amp;').replace(/</g, '&lt;').replac
 const textWidth = (s, fs) => [...String(s)].reduce((n, ch) => n + (/[\u2e80-\u9fff\uff00-\uffef]/.test(ch) ? 1 : 0.56), 0) * fs
 const fits = (s, fs, limit, where) => {
   const w = textWidth(s, fs)
-  if (w > limit) warnings.push(`${where}: 文字宽 ${w.toFixed(0)} > 可用 ${limit.toFixed(0)} — ${String(s).slice(0, 42)}…`)
+  if (w > limit) warnings.push(`${where}: ${T.doc.overflowHint} ${w.toFixed(0)} > ${limit.toFixed(0)} — ${String(s).slice(0, 42)}…`)
   return w
 }
 
@@ -71,7 +384,7 @@ function card(x, y, w, h, lines, { fill = '#ffffff', stroke = C.frame, fs = 13,
   const cx = x + w / 2
   const lead = fs + 4
   const total = (lines.length - 1) * lead
-  if (total + fs > h) warnings.push(`card@${x},${y}: ${lines.length} 行需要高 ${(total + fs).toFixed(0)} > 容器 ${h}`)
+  if (total + fs > h) warnings.push(`card@${x},${y}: ${T.doc.cardTooShort(lines.length, (total + fs).toFixed(0), h)}`)
   let ty = y + h / 2 - total / 2 + fs * 0.36
   lines.forEach((ln, i) => {
     const size = i === 0 ? fs : sfs
@@ -104,7 +417,7 @@ function polyline(points, { color = C.human, width = 2, dashed = false, marker =
 
 // ---------- document ----------
 push('<?xml version="1.0" encoding="UTF-8"?>')
-push(`<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 ${W} ${H}" width="${W}" height="${H}" role="img" aria-label="Vibe Math V5 研究所架构图">`)
+push(`<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 ${W} ${H}" width="${W}" height="${H}" role="img" aria-label="${esc(T.doc.ariaLabel)}">`)
 push(`<defs>
   <marker id="both" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M 0 0 L 10 5 L 0 10 z" fill="${C.line}"/></marker>
   <marker id="bothHuman" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse"><path d="M 0 0 L 10 5 L 0 10 z" fill="${C.human}"/></marker>
@@ -116,139 +429,89 @@ push(`<rect width="${W}" height="${H}" fill="#ffffff"/>`)
 push(`<g font-family="${FONT}">`)
 
 // ---- 标题 ----
-plain(W / 2, 40, 'Vibe Math V5 —— 研究所体系', { size: 27, fill: C.ink, anchor: 'middle', weight: 700 })
-plain(W / 2, 67, '框架只是媒介：中继消息 · 沉淀产物 · 计数表决 · 管理上下文。它绝不指派任务 —— 组织与分派是所内院士的职责',
+plain(W / 2, 40, T.title, { size: 27, fill: C.ink, anchor: 'middle', weight: 700 })
+plain(W / 2, 67, T.subtitle,
   { size: 13, fill: C.mute, anchor: 'middle', limit: W - 80, where: 'subtitle' })
 
 // ---- 求真门槛 ----
-band(FULL_L, 84, FULL_R - FULL_L, 94, '求真门槛 —— 唯一让对象进入 Verified/ 的规则',
-  'm = min(quorumCap, 在册有表决权人数)　·　票是 [0,1] 概率：恰好 1 = 断言为真，恰好 0 = 断言为假，严格介于两者 = 弃权/存疑（不计入 m，计入全组平均）',
+band(FULL_L, 84, FULL_R - FULL_L, 94, T.gate.bandTitle, T.gate.bandSub,
   { fill: C.gateBg, stroke: C.gate, titleFill: C.gate })
-card(62, 140, 506, 28, ['布尔票 ≥ m 且全部为 1 或全部为 0 → 定论，写入 Verified/'], { stroke: C.gate, fs: 12 })
-card(588, 140, 506, 28, ['同时出现 1 与 0 → 阻塞：少数派无法靠别人弃权把结论推过去'], { stroke: C.gate, fs: 12 })
-card(1114, 140, 524, 28, ['未达门槛 → 留在原库 + 全组平均概率 + 完整辩论录（不强行裁决）'], { stroke: C.gate, fs: 12 })
+card(62, 140, 506, 28, T.gate.cards[0], { stroke: C.gate, fs: 12 })
+card(588, 140, 506, 28, T.gate.cards[1], { stroke: C.gate, fs: 12 })
+card(1114, 140, 524, 28, T.gate.cards[2], { stroke: C.gate, fs: 12 })
 
 // ---- 所办 ----
-band(FULL_L, 190, FULL_R - FULL_L, 100, '所办（会话根代理 / 人）—— 研究所的对外接口',
-  '不参与研究 · 不投票 · 只汇报与转达人的指令；代持平台要求的一次性创建权',
+band(FULL_L, 190, FULL_R - FULL_L, 100, T.office.bandTitle, T.office.bandSub,
   { fill: C.humanBg, stroke: C.human, titleFill: C.human })
-card(62, 246, 372, 38, ['自然语言接口 + 汇报者', '「求解 XX」「进度如何」「暂停」'], { stroke: C.human, fs: 12, sfs: 10.5 })
-card(452, 246, 372, 38, ['vibe_v5_configure → start', 'message / meeting / hire / fire'], { stroke: C.human, fs: 12, sfs: 10.5 })
-card(842, 246, 330, 38, ['pause / resume / stop', 'set 调参（立即生效）'], { stroke: C.human, fs: 12, sfs: 10.5 })
-card(1190, 246, 448, 38, ['/v5 斜杠命令（与工具等价）', 'configure|start|resume|pause|status|report|members|message|meeting|hire|fire|set'],
+card(62, 246, 372, 38, T.office.cards[0], { stroke: C.human, fs: 12, sfs: 10.5 })
+card(452, 246, 372, 38, T.office.cards[1], { stroke: C.human, fs: 12, sfs: 10.5 })
+card(842, 246, 330, 38, T.office.cards[2], { stroke: C.human, fs: 12, sfs: 10.5 })
+card(1190, 246, 448, 38, T.office.cards[3],
   { stroke: C.human, fs: 12, sfs: 9 })
 
 // ---- 研究所 ----
-band(MAIN_L, 302, MAIN_R - MAIN_L, 240, '研究所（所内自治）—— 编制、组织与分派都在成员之间完成，框架永不指派',
-  '院士 acad：领头人 / 组织与协调中心　·　常驻研究员 r-n：有表决权　·　临时工 t-n：无表决权（由雇主雇入与解雇）',
+band(MAIN_L, 302, MAIN_R - MAIN_L, 240, T.institute.bandTitle, T.institute.bandSub,
   { fill: C.houseBg, stroke: C.house, titleFill: '#8a5200' })
-card(IN_L, 362, 300, 142, [
-  '院士 acad',
-  '领头人 · 组织与协调中心',
-  'L1 建立全所视图（overview）',
-  'L2 拆解并分派任务（assign）',
-  'L3 设定优先级（prioritize）',
-  'L4 召集并主持会议（convene）',
-  'L5 督导进度（nudge）',
-  'L6 调配临时工 · L7 对外代表',
-], { stroke: C.house, fs: 13.5, sfs: 10.5 })
-plain(IN_L + 150, 520, '四条边界：一票与他人等重 / 分派的是工作不是结论 /', { size: 10, fill: C.gate, anchor: 'middle', limit: 300, where: 'acad note' })
-plain(IN_L + 150, 536, '成员可据理反对 / 不能自我扩张编制', { size: 10, fill: C.gate, anchor: 'middle', limit: 300, where: 'acad note' })
+card(IN_L, 362, 300, 142, T.institute.acadCard, { stroke: C.house, fs: 13.5, sfs: 10.5 })
+plain(IN_L + 150, 520, T.institute.acadNote[0], { size: 10, fill: C.gate, anchor: 'middle', limit: 300, where: 'acad note' })
+plain(IN_L + 150, 536, T.institute.acadNote[1], { size: 10, fill: C.gate, anchor: 'middle', limit: 300, where: 'acad note' })
 
 const RX = IN_L + 328, RW = 1390 - 328 - 44
 const rcw = (RW - 2 * 20) / 3
-plain(RX, 372, '常驻研究员（有表决权 · 可自主雇佣/解雇自己的临时工）', { size: 11.5, fill: '#8a5200', weight: 700, limit: RW, where: 'researcher label' })
+plain(RX, 372, T.institute.researcherLabel, { size: 11.5, fill: '#8a5200', weight: 700, limit: RW, where: 'researcher label' })
 for (let i = 0; i < 3; i++) {
-  card(RX + i * (rcw + 20), 380, rcw, 52, [`常驻研究员 r-${i + 1}`, 'continuable 持久会话 · 自主方向 · 主动汇报'],
+  card(RX + i * (rcw + 20), 380, rcw, 52, [T.institute.researcherCard[0] + (i + 1), T.institute.researcherCard[1]],
     { stroke: C.house, fs: 13, sfs: 10.5 })
 }
-plain(RX, 452, '临时工（无表决权 · 为特定任务临时雇入 · 雇主或院士可解雇）', { size: 11.5, fill: '#8a5200', weight: 700, limit: RW, where: 'temp label' })
+plain(RX, 452, T.institute.tempLabel, { size: 11.5, fill: '#8a5200', weight: 700, limit: RW, where: 'temp label' })
 for (let i = 0; i < 3; i++) {
-  card(RX + i * (rcw + 20), 460, rcw, 52, [`临时工 t-${i + 1}`, `由 r-${i + 1} 雇入 · 可读/可想/可发言/可写自己的库`],
+  card(RX + i * (rcw + 20), 460, rcw, 52, [T.institute.tempCard[0] + (i + 1), T.institute.tempCard[1] + (i + 1) + T.institute.tempCard[2]],
     { stroke: '#c99a4a', fs: 13, sfs: 10.5 })
 }
-plain(RX, 536, '所内组织动作（分派 · 优先级 · 督办 · 会议 · 用人）由院士发起，不是框架行为 —— 框架只负责送达',
+plain(RX, 536, T.institute.houseNote,
   { size: 10.5, fill: C.mute, limit: RW, where: 'house note' })
 
 // ---- 框架 ----
-band(MAIN_L, 566, MAIN_R - MAIN_L, 382, '框架 vibe-v5 —— 只是媒介（middleware）：中继 · 沉淀 · 计数 · 调度',
-  '每轮发「状态块 + 本轮问句」（规章在 persona 里，不进对话）；成员回一个 JSON：say / progress / record / verdict / task_* / hire / fire / reject_assign / input / vote_solved',
+band(MAIN_L, 566, MAIN_R - MAIN_L, 382, T.framework.bandTitle, T.framework.bandSub,
   { fill: C.frameBg, stroke: C.frame, titleFill: '#084d80' })
-const chips = [
-  ['消息中继（持久邮箱）', '群聊 / 私信 / 致全体表决者', '所办通知 / 分派 / 督办 / 框架提示', '逐收件人落盘 · 先落盘再投递 · 群聊合批'],
-  ['会议 / 辩论', '议程 · 实时名册对账 · 随机发言序', '与验证互斥：任一方进行中，另一方排队', '看门狗：卡死即放弃并回到自组织'],
-  ['任务板（CAS + DAG）', '开 / 认领 / 释放 / 完成 / 重开 / 分派', '版本号比较交换 · 依赖环检测', '写范围重叠告警 · 解雇自动收回'],
-  ['m 票共识验证', '发起 → 独立初评 → 公开辩论重投', '布尔一致 + ≥ m 才定论', 'Verified/ 卡 + 辩论录 + 全组平均概率'],
-  ['上下文与活性', '阈值压缩（人设不丢）· 免轮询活动等待', '优先级调度 · 心跳永远重武装', '并发闸 maxParallel · 停滞自动开会'],
-  ['编制与雇佣', '院士/研究员可雇自己的临时工', '雇主或院士可真实解雇（释放子会话）', '代号永不复用 · 按人/全所双配额'],
-]
+const chips = T.framework.chips
 const ccw = (IN_R - IN_L - 2 * 22) / 3
 chips.forEach((c, i) => {
   card(IN_L + (i % 3) * (ccw + 22), i < 3 ? 620 : 708, ccw, 78, c, { stroke: C.frame, fs: 12.5, sfs: 10.5 })
 })
-card(IN_L, 796, IN_R - IN_L, 90, [
-  'Lean 形式化验证（可调参数 formalVerify = off / encourage / require）',
-  'encourage：验证时按实现难度决定是否形式化；require：真/假结论必须先有「Lean 通过」或显式阻塞记录',
-  '★ 一旦 Lean 通过，审查对象就变了：不再是「推导对不对」，而是「Lean 的定义/对象/条件/假设/结论是否忠实于命题原文」',
-  '★ 忠实性缺陷（decision=defect）≠ 命题为假：撤回「已通过」+ 撤回归档证明 + 进「形式化待办」，绝不记成 0/假',
-  '归档：证明 → Verified/Lean/<对象>.lean｜可复用定义 → VibeMath/Formal/Lib/｜已证引理 → VibeMath/Formal/Proved/',
-], { stroke: C.gate, fs: 12.5, sfs: 10.5 })
-card(IN_L, 880, IN_R - IN_L, 38, [
-  '调度器优先级：进行中的会议或验证（二者互斥，永不同时）→ 队列中的验证 → 暂存会议 → 已认领/被分派的在办任务（按 activityTimeoutMs 节流）→ 加急邮件 → 群聊摘要 → 停滞自动开会 → 兜底心跳',
-], { stroke: C.frame, fs: 11.5 })
+card(IN_L, 796, IN_R - IN_L, 90, T.framework.leanCard, { stroke: C.gate, fs: 12.5, sfs: 10.5 })
+card(IN_L, 880, IN_R - IN_L, 38, T.framework.schedulerCard, { stroke: C.frame, fs: 11.5 })
 
 // ---- 数据面 ----
-band(FULL_L, 964, 790, 196, '状态权威源：会话日志的 host-only 投影单元（键 vibeMathV5）',
-  '副作用只是往会话日志追加事件 —— 不进模型上下文（零 token 成本），checkpoint / restore 交给 DSH',
+band(FULL_L, 964, 790, 196, T.projection.bandTitle, T.projection.bandSub,
   { fill: C.dataBg, stroke: C.data, titleFill: '#125a3c' })
-card(62, 1020, 360, 124, [
-  'applyV5Event（纯折叠，只此一份）',
-  '11 类事件：institute / member / task /',
-  'message / delivered / meeting / debate /',
-  'verdict / queue / counters / progress',
-  '未知或损坏事件 → 跳过并记入 diagnostics：',
-  '可用性优先，绝不因一条坏事件卡死全场',
-], { stroke: C.data, fs: 12, sfs: 10.5 })
-card(434, 1020, 374, 124, [
-  'checkpoint / restore / resume',
-  '投影随会话日志一起 checkpoint；restore',
-  '时从快照 + 日志尾部重新折叠 → 跨进程与',
-  '同进程恢复走同一条代码路径',
-  '回退：宿主无 sessionProjections 时改用',
-  '加固 JSON：State/<institute>.v5state.json',
-], { stroke: C.data, fs: 12, sfs: 10.5 })
-
-band(852, 964, FULL_R - 852, 196, '文件面：人可读产物（投影之外的一切都只是镜像）',
-  '共识的权威在投影；文件是工作区与可读产物，手工改坏不会破坏研究所',
+card(62, 1020, 360, 124, T.projection.eventsCard, { stroke: C.data, fs: 12, sfs: 10.5 })
+card(434, 1020, 374, 124, T.projection.checkpointCard, { stroke: C.data, fs: 12, sfs: 10.5 })
+
+band(852, 964, FULL_R - 852, 196, T.files.bandTitle, T.files.bandSub,
   { fill: C.dataBg, stroke: C.data, titleFill: '#125a3c' })
-card(874, 1020, FULL_R - 874 - 22, 124, [
-  'Members/<id>/Progress|Propos|Methods|Subproblems/',
-  '只有本人可写，人人可读（跨读被鼓励）',
-  'Shared/Chat/*.md · Shared/Meetings/<mt-id>.md · Shared/Debates/<obj>.md',
-  'Shared/TaskBoard.md · Institutes.md（编制镜像）· State/README.md（说明此处非权威）',
-  'Problems/<id>.md（原问题）· Problems/conclusion.md（结题）· Verified/<类型>/<id>.md（定论，只读）',
-], { stroke: C.data, fs: 11.5, sfs: 10.5 })
+card(874, 1020, FULL_R - 874 - 22, 124, T.files.card, { stroke: C.data, fs: 11.5, sfs: 10.5 })
 
 // ---- 连线：控制面（左侧通道，不穿过所内成员） ----
 const CHX = 127
 polyline([[CHX, 290], [CHX, 700], [MAIN_L, 700]], { color: C.human, width: 2 })
-plain(CHX, 336, '工具面', { fill: C.human, anchor: 'middle', size: 12, weight: 700, halo: true })
-plain(CHX, 356, 'vibe_v5_*', { fill: C.human, anchor: 'middle', size: 11, halo: true })
-plain(CHX, 374, '/v5 命令', { fill: C.human, anchor: 'middle', size: 11, halo: true })
-plain(CHX, 398, '↓', { fill: C.human, anchor: 'middle', size: 13, weight: 700, halo: true })
-plain(CHX, 470, '汇报', { fill: C.human, anchor: 'middle', size: 12, weight: 700, halo: true })
+plain(CHX, 336, T.links.chLabel, { fill: C.human, anchor: 'middle', size: 12, weight: 700, halo: true })
+plain(CHX, 356, T.links.chCommand, { fill: C.human, anchor: 'middle', size: 11, halo: true })
+plain(CHX, 374, T.links.chSlash, { fill: C.human, anchor: 'middle', size: 11, halo: true })
+plain(CHX, 398, T.links.chDown, { fill: C.human, anchor: 'middle', size: 13, weight: 700, halo: true })
+plain(CHX, 470, T.links.reportLabel, { fill: C.human, anchor: 'middle', size: 12, weight: 700, halo: true })
 plain(CHX, 490, 'status', { fill: C.human, anchor: 'middle', size: 11, halo: true })
 plain(CHX, 508, 'report', { fill: C.human, anchor: 'middle', size: 11, halo: true })
-plain(CHX, 532, '↑', { fill: C.human, anchor: 'middle', size: 13, weight: 700, halo: true })
-plain(CHX, 600, '所办不投票', { fill: C.mute, anchor: 'middle', size: 10, limit: 170, where: 'ch note' })
-plain(CHX, 616, '不能让结论变真', { fill: C.mute, anchor: 'middle', size: 10, limit: 170, where: 'ch note' })
-plain(CHX, 644, '也不替成员', { fill: C.mute, anchor: 'middle', size: 10, limit: 170, where: 'ch note' })
-plain(CHX, 660, '思考或署名', { fill: C.mute, anchor: 'middle', size: 10, limit: 170, where: 'ch note' })
+plain(CHX, 532, T.links.chUp, { fill: C.human, anchor: 'middle', size: 13, weight: 700, halo: true })
+plain(CHX, 600, T.control.note1, { fill: C.mute, anchor: 'middle', size: 10, limit: 170, where: 'ch note' })
+plain(CHX, 616, T.control.note2, { fill: C.mute, anchor: 'middle', size: 10, limit: 170, where: 'ch note' })
+plain(CHX, 644, T.control.note3, { fill: C.mute, anchor: 'middle', size: 10, limit: 170, where: 'ch note' })
+plain(CHX, 660, T.control.note4, { fill: C.mute, anchor: 'middle', size: 10, limit: 170, where: 'ch note' })
 
 // ---- 连线：研究所 ↔ 框架（提示词 / 回执） ----
 arrow(560, 542, 560, 566, { color: C.frame, marker: 'bothFrame', width: 2 })
 arrow(1400, 542, 1400, 566, { color: C.frame, marker: 'bothFrame', width: 2 })
-plain(980, 559, '↑ 每轮提示词（状态块 + 本轮问句）　　↓ 单个 JSON 回执',
+plain(980, 559, T.links.promptLabel,
   { fill: C.frame, anchor: 'middle', size: 10.5, limit: 780, where: 'prompt label', halo: true })
 
 // ---- 连线：所内组织（虚线 = 不由框架执行） ----
@@ -259,16 +522,16 @@ arrow(556, 430, 578, 430, { color: C.house, dashed: true, width: 1.8, marker: 'b
 arrow(400, 940, 400, 964, { color: C.data, marker: 'bothData', width: 2 })
 plain(392, 956, 'append / fold / stateOf', { fill: C.data, anchor: 'end', size: 10.5, halo: true })
 arrow(1280, 940, 1280, 964, { color: C.data, marker: 'bothData', width: 2 })
-plain(1288, 956, '读写产物', { fill: C.data, anchor: 'start', size: 10.5, halo: true })
+plain(1288, 956, T.links.filesLabel, { fill: C.data, anchor: 'start', size: 10.5, halo: true })
 
 // ---- 图例 ----
-plain(52, 1186, '图例', { size: 12, fill: C.ink, weight: 700 })
+plain(52, 1186, T.legend.heading, { size: 12, fill: C.ink, weight: 700 })
 const legend = [
-  [C.human, '所办 / 人（外部接口，不研究不投票）'],
-  [C.house, '所内成员与所内组织（虚线 = 不由框架执行）'],
-  [C.frame, '框架（中继 / 沉淀 / 计数 / 调度）'],
-  [C.data, '状态与产物'],
-  [C.gate, '求真门槛 / Lean 形式化（可调）'],
+  [C.human, T.legend.items[0]],
+  [C.house, T.legend.items[1]],
+  [C.frame, T.legend.items[2]],
+  [C.data, T.legend.items[3]],
+  [C.gate, T.legend.items[4]],
 ]
 legend.forEach(([col, txt], i) => {
   const x = 108 + i * 330
@@ -282,10 +545,10 @@ push('</svg>')
 mkdirSync(dirname(OUT), { recursive: true })
 const svg = out.join('\n')
 writeFileSync(OUT, svg, 'utf8')
-console.log('saved ' + OUT + ' (' + svg.length + ' bytes)')
+console.log(T.doc.saved + OUT + ' (' + svg.length + ' bytes)')
 if (warnings.length) {
-  console.error('\n布局告警（文字可能溢出容器）：')
-  for (const w of warnings) console.error('  WARN ' + w)
+  console.error(T.doc.warnHeading)
+  for (const w of warnings) console.error(T.doc.warnPrefix + w)
   process.exit(1)
 }
-console.log('layout: no overflow warnings')
+console.log(T.doc.noWarn)