dsh-vibe-math 2.7.0 → 2.7.2

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

@@ -22,14 +22,47 @@ export const MATH_ENGINES = {
     candidates: ['python3', 'python', 'py'], winPrefix: ['-3'],
     versionArgv: ['--version'], versionRe: '(\\d+\\.\\d+\\.\\d+)',
     scriptArgv: ['<script>'], evalArgv: ['-c', '<expr>'], stdinArgv: ['-'], ext: '.py',
-    probeCode: "import importlib.util,sys;print('|'.join('%s:%s'%(p,'ok' if importlib.util.find_spec(p) else 'missing') for p in sys.argv[1:]))",
-    packageProbe: { argv: ['-c', '<probeCode>', '<pkgs>'], parse: 'pairs' },
+    // round-7 (live): NO shell metacharacters (`|`, `%`) in any probe argv - a real host rejected
+    // them with a null spawn. One line per package: "name ok|missing".
+    probeCode: "import importlib.util,sys\nfor p in sys.argv[1:]: print(p, 'ok' if importlib.util.find_spec(p) is not None else 'missing')",
+    // round-7 (finding 6, found on the real bundled python): the probe code iterates `sys.argv[1:]`,
+    // so the names must be SEPARATE argv items - the old comma-joined `<pkgs>` made it look up one
+    // package literally named "numpy,pandas" and reported everything missing.
+    packageProbe: { argv: ['-c', '<probeCode>', '<pkgs...>'], parse: 'pairs' },
     license: 'free', argErrorHints: ARG_ERROR_HINTS,
     install: {
       manager: 'pip',
       userArgv: ['<exe>', '-m', 'pip', 'install', '--user', '<pkg>'],
       systemArgv: ['<exe>', '-m', 'pip', 'install', '<pkg>'],
       uninstallArgv: ['<exe>', '-m', 'pip', 'uninstall', '-y', '<pkg>'],
+      // Round-6 (B): DISPATCH by the detected interpreter environment. `pip` is the documented
+      // fallback; the module picks conda/mamba/uv only when the interpreter's OWN environment says so
+      // (detect, don't guess) and the plan states which manager it assumed.
+      managers: {
+        conda: {
+          detect: 'conda-markers',
+          userArgv: ['conda', 'install', '-y', '-c', 'conda-forge', '<pkg>'],
+          uninstallArgv: ['conda', 'remove', '-y', '<pkg>'],
+          systemUnsupportedReason: 'conda 环境是用户级的；系统级安装不在 conda 的概念里（本工具只出用户级计划）',
+        },
+        mamba: {
+          detect: 'conda-markers',
+          userArgv: ['mamba', 'install', '-y', '-c', 'conda-forge', '<pkg>'],
+          uninstallArgv: ['mamba', 'remove', '-y', '<pkg>'],
+          systemUnsupportedReason: 'mamba 环境是用户级的；系统级安装不在 mamba 的概念里（本工具只出用户级计划）',
+        },
+        uv: {
+          detect: 'uv-next-to-interpreter',
+          userArgv: ['uv', 'pip', 'install', '<pkg>'],
+          uninstallArgv: ['uv', 'pip', 'uninstall', '<pkg>'],
+          systemUnsupportedReason: 'uv 装进当前虚拟环境（用户级）；系统级需要发行版包管理器，本工具只出用户级计划',
+        },
+        pip: {
+          detect: 'fallback',
+          systemArgv: ['<exe>', '-m', 'pip', 'install', '<pkg>'],
+          uninstallArgv: ['<exe>', '-m', 'pip', 'uninstall', '-y', '<pkg>'],
+        },
+      },
     },
     userInstall: { windows: 'winget install --id Python.Python.3.12', macos: 'brew install python', linux: 'apt install python3' },
   },
@@ -38,13 +71,16 @@ export const MATH_ENGINES = {
     candidates: ['Rscript', 'R'],
     versionArgv: ['--version'], versionRe: '(\\d+\\.\\d+\\.\\d+)',
     scriptArgv: ['<script>'], evalArgv: ['-e', '<expr>'], stdinArgv: ['--no-save', '--slave'], ext: '.R',
-    probeCode: "cat(paste(sapply(strsplit('__PKGS__',',')[[1]],function(p) paste0(p,':',requireNamespace(p,quietly=TRUE))),collapse='|'))",
+    // round-7 (live): line-per-package, no `|` in the argv.
+    probeCode: "for (p in strsplit('__PKGS__',',')[[1]]) cat(p, if (requireNamespace(p, quietly=TRUE)) 'ok' else 'missing', '\\n')",
     packageProbe: { argv: ['-e', '<probeCode>'], parse: 'pairs' },
     license: 'free', argErrorHints: ARG_ERROR_HINTS,
     install: {
       manager: 'r',
       userArgv: ['<exe>', '-e', "install.packages('__PKG__',lib=Sys.getenv('R_LIBS_USER'),repos='https://cloud.r-project.org')"],
       uninstallArgv: ['<exe>', '-e', "remove.packages('__PKG__',lib=Sys.getenv('R_LIBS_USER'))"],
+      // Round-6 (C): user-only BY DESIGN, and the refusal now says why per engine.
+      systemUnsupportedReason: 'R 的用户库是 R_LIBS_USER；系统级安装要写发行版的包目录（需 root 或发行版包管理器），本工具只出用户级计划',
     },
     userInstall: { windows: 'winget install --id RProject.R', macos: 'brew install r', linux: 'apt install r-base' },
   },
@@ -54,13 +90,15 @@ export const MATH_ENGINES = {
     versionArgv: ['--version'], versionRe: '(\\d+\\.\\d+\\.\\d+)',
     scriptArgv: ['--no-gui', '--quiet', '<script>'], evalArgv: ['--no-gui', '--quiet', '--eval', '<expr>'],
     stdinArgv: ['--no-gui', '--quiet'], ext: '.m',
-    probeCode: "s=pkg('list'); n={'__QPKGS__'}; for i=1:numel(n); printf('%s:%s|',n{i},merge(any(cellfun(@(x) strcmp(x.name,n{i}),s)),'ok','missing')); end",
+    // round-7 (live): line-per-package via disp, no `|` and no `%` in the argv.
+    probeCode: "s=pkg('list'); n={'__QPKGS__'}; for i=1:numel(n); if any(cellfun(@(x) strcmp(x.name,n{i}),s)); disp([n{i} ' ok']); else; disp([n{i} ' missing']); end; end",
     packageProbe: { argv: ['--no-gui', '--quiet', '--eval', '<probeCode>'], parse: 'pairs' },
     license: 'free', argErrorHints: ARG_ERROR_HINTS,
     install: {
       manager: 'octave-pkg',
       userArgv: ['<exe>', '--no-gui', '--quiet', '--eval', "pkg install -forge __PKG__"],
       uninstallArgv: ['<exe>', '--no-gui', '--quiet', '--eval', 'pkg uninstall __PKG__'],
+      systemUnsupportedReason: 'Octave 的 pkg install 装进用户包目录；系统级要写 Octave 的 share/packages（需 root），本工具只出用户级计划',
     },
     userInstall: { windows: 'winget install --id GNU.Octave', macos: 'brew install octave', linux: 'apt install octave' },
   },
@@ -76,6 +114,7 @@ export const MATH_ENGINES = {
       manager: 'julia-pkg',
       userArgv: ['<exe>', '-e', 'using Pkg; Pkg.add("__PKG__")'],
       uninstallArgv: ['<exe>', '-e', 'using Pkg; Pkg.rm("__PKG__")'],
+      systemUnsupportedReason: 'Julia 的 Pkg.add 装进当前活动环境 / 用户 depot（JULIA_DEPOT_PATH）；系统级不是 Julia 的概念，本工具只出用户级计划',
     },
     userInstall: { windows: 'winget install --id Julialang.Julia', macos: 'brew install julia', linux: 'apt install julia' },
   },
@@ -84,7 +123,8 @@ export const MATH_ENGINES = {
     candidates: ['matlab'],
     versionArgv: ['-batch', 'disp(version)'], versionRe: '(\\d+\\.\\d+)',
     scriptArgv: ['-batch', "run('<script>')"], evalArgv: ['-batch', '<expr>'], stdinArgv: null, ext: '.m',
-    probeCode: "t={'__QPKGS__'}; for i=1:numel(t); printf('%s:%d|',t{i},license('test',t{i})); end",
+    // round-7 (live): no `|`/`%` in any probe argv (a real host rejected such argv with a null spawn).
+    probeCode: "t={'__QPKGS__'}; for i=1:numel(t); if license('test',t{i}); disp([t{i} ' ok']); else; disp([t{i} ' missing']); end; end",
     packageProbe: { argv: ['-batch', '<probeCode>'], parse: 'pairs' },
     license: 'commercial', argErrorHints: ARG_ERROR_HINTS,
     licenseProbe: { argv: ['-batch', "disp(license('test','MATLAB'))"], okWhen: 'trim-1' },
@@ -96,7 +136,8 @@ export const MATH_ENGINES = {
     candidates: ['maple'],
     versionArgv: ['--version'], versionRe: '(\\d+\\.\\d+)',
     scriptArgv: ['-q', '<script>'], evalArgv: ['-q', '-c', '<expr>'], stdinArgv: null, ext: '.mpl',
-    probeCode: 'for p in ["__PKGS__"] do try with(p) catch: printf("%s:missing|", p); next end try; printf("%s:ok|", p) end do',
+    // round-7 (live): `print` instead of printf so the argv carries no `|`/`%`.
+    probeCode: 'for p in ["__PKGS__"] do try with(p) catch: print(p, " missing"); next end try; print(p, " ok") end do',
     packageProbe: { argv: ['-q', '-c', '<probeCode>'], parse: 'pairs' },
     license: 'commercial', argErrorHints: ARG_ERROR_HINTS,
     licenseProbe: { argv: ['-q', '-c', 'printf("1")'], okWhen: 'exit-0' },

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

@@ -67,6 +67,8 @@ import {
   MATH_RULE_LINES_EN,
   MATH_ARCHIVE_WORKFLOW_LINE,
   MATH_ARCHIVE_WORKFLOW_LINE_EN,
+  MATH_SUBSTITUTION_RULE_LINE,
+  MATH_SUBSTITUTION_RULE_LINE_EN,
   normalizeMathParams,
   probeMathEngines,
   registerMathComputation,
@@ -767,6 +769,14 @@ export function apply(ctx) {
     const vibeRoot = () => (workspaceRoot() + '/VibeMath').replace(/\\/g, '/')
     const projectRoot = () => vibeRoot() + '/Projects/' + project
     const instRoot = () => projectRoot() + '/Institutes/' + instituteName
+    // DEFECT A (3rd self-test): member-facing text used INSTITUTE-relative paths
+    // (`Members/<id>/…`), but a member's OWN file tools resolve a relative path against the
+    // SESSION CWD — so a member following that text verbatim created `<cwd>/Members/…`, a stray
+    // tree outside `VibeMath/Projects/…` (the self-test's `Members/acad/Propos/p-*.md`). Every
+    // member-facing path now uses the CWD-relative form (their real baseline); the framework's own
+    // writes keep going through `instRoot()`. `instRel()` is the one place that composes it.
+    const instRootRel = () => 'VibeMath/Projects/' + project + '/Institutes/' + instituteName
+    const instRel = (rel) => instRootRel() + '/' + String(rel == null ? '' : rel).replace(/^\/+/, '')
 
     function getPolicy() {
       const sp = sandboxPolicyOf()
@@ -922,9 +932,95 @@ export function apply(ctx) {
     const memberById = (id) => inst().members.find((m) => m.id === id)
     const voters = () => activeMembers().filter((m) => m.kind === 'academician' || m.kind === 'researcher')
     const voterCount = () => voters().length
-    function quorumM() {
+    function quorumMFrom(vc) {
       const cap = Math.max(1, Math.floor(Number(params.quorumCap) || 3))
-      return Math.max(1, Math.min(cap, voterCount()))
+      return Math.max(1, Math.min(cap, vc))
+    }
+    function quorumM() { return quorumMFrom(voterCount()) }
+    // DEFECT B (3rd self-test): the office's digest showed `m=2` while `status`/`acad` showed
+    // `m=3` in the SAME window — two views had computed the voter set at different moments
+    // (roster-snapshot timing). Every quorum-bearing view now reads ONE live snapshot and carries
+    // its `rosterVersion`, so all views at one point in time are provably identical and a stale
+    // reader can be DETECTED instead of silently disagreeing.
+    function rosterVersion() {
+      const ids = voters().map((m) => String(m.id) + ':' + String(m.phase)).sort()
+      return 'r' + String((inst().members || []).length) + ':' + ids.join(',')
+    }
+    function rosterSnapshot() {
+      const vs = voters()
+      const vc = vs.length
+      const started = vc > 0
+      return {
+        version: rosterVersion(),
+        m: started ? quorumMFrom(vc) : 0,
+        voters: vs.map((m) => m.id),
+        voterCount: vc,
+        started: started,
+      }
+    }
+    // DEFECT 2 (v5 self-test §18): before `start` there are no voters, yet the reported quorum
+    // was `m=1` with `voters=0` — it read like "a quorum of 1 is already there". The REPORTED
+    // quorum is therefore coherent and explicit: `started:false`, `m:0`, `voterCount:0` and the
+    // next step. `quorumM()` itself stays >=1 so the consensus arithmetic is unchanged, and
+    // `judgeVerdict` refuses to conclude at all when there are no voters.
+    function quorumView() {
+      const snap = rosterSnapshot()
+      const started = snap.started
+      const view = {
+        m: snap.m,
+        mode: params.quorumMode,
+        voters: snap.voters,
+        voterCount: snap.voterCount,
+        started: started,
+        phase: started ? 'voting' : 'not-started',
+        rosterVersion: snap.version,
+      }
+      if (!started) {
+        view.next = {
+          kind: 'start', tool: 'vibe_v5_start',
+          hint: '研究所尚未启动：有表决权者 0 人，因此 m 记为 0（不是"已满足 1 票门槛"）。先 vibe_v5_start（或 /v5 start）建立名册，m 才有意义。',
+        }
+      }
+      return view
+    }
+    // DEFECT 1 (v5 self-test §18): a member-scoped tool called before the institute exists — or
+    // by nobody identifiable — answered a BARE `V5_MEMBER_NOT_FOUND`, so an operator (or the
+    // model) could not tell WHY it failed or WHAT TO DO FIRST. The error CODE is unchanged (all
+    // existing gates keep matching on it); the answer now names the state and the next step, in
+    // the same `next`-hint shape the `math_computation` tool uses.
+    function memberDiagnosis(what, memberId) {
+      const total = (inst().members || []).length
+      const active = activeMembers().length
+      const who = String(memberId || '')
+      if (active === 0 && !running) {
+        return {
+          ok: false, code: 'V5_MEMBER_NOT_FOUND',
+          message: what + '失败：研究所尚未启动（在册 ' + total + ' 名、有表决权者 0 人），没有可归属的成员身份。',
+          next: {
+            kind: 'start', tool: 'vibe_v5_start',
+            hint: '先启动研究所（vibe_v5_start 或 /v5 start）让框架派出常驻成员，再由**成员子代理**调用该工具；所办（会话根）本身不是成员。',
+          },
+        }
+      }
+      if (active === 0) {
+        return {
+          ok: false, code: 'V5_MEMBER_NOT_FOUND',
+          message: what + '失败：研究所当前没有在册（active）成员。',
+          next: { kind: 'staff', tool: 'vibe_v5_add_researcher', hint: '先用 vibe_v5_add_researcher / vibe_v5_hire 补充成员，再调用该工具。' },
+        }
+      }
+      if (!who) {
+        return {
+          ok: false, code: 'V5_MEMBER_NOT_FOUND',
+          message: what + '失败：无法识别调用者（这是成员工具，所办/会话根没有成员身份）。',
+          next: { kind: 'member-call', tool: 'vibe_v5_members', hint: '请由成员子代理调用；所办可用 vibe_v5_message 转达，或直接用所办工具（vibe_v5_report / vibe_v5_status）。' },
+        }
+      }
+      return {
+        ok: false, code: 'V5_MEMBER_NOT_FOUND',
+        message: what + '失败：名册中没有成员 "' + who + '"（可能已被解雇或尚未就位）。',
+        next: { kind: 'roster', tool: 'vibe_v5_members', hint: '先用 vibe_v5_members 查看当前名册与阶段（active / provisioning / dismissed）。' },
+      }
     }
     function byChild(childId) { return inst().members.find((m) => m.childId === childId) }
     // The live academician's id, or '' when the office founded the institute with
@@ -1147,7 +1243,7 @@ export function apply(ctx) {
       L.push('  2. 只有 Verified/ 目录下的结论（以及成果卡中标注"已验证·真/假"的条目）绝对可信。')
       L.push('     其余一切——他人的推测、你自己的未验结论、Progress/、Methods/ 里的未验证断言——')
       L.push('     都只是经验性参考，引用时必须注明"未验证"。')
-      L.push('  3. 任何人可以读任何人的成果库；你只能写自己的库（Members/<你>/）。')
+      L.push('  3. 任何人可以读任何人的成果库；你只能写自己的库（' + instRel('Members/<你>/') + '）。')
       L.push('  4. 你写下的有价值内容由你自己判断是否入库，但入库必须写明三项：')
       L.push('     价值程度、动机用途计划、你自己对"该对象为真"的概率估计。')
       L.push('  5. 你随时可以在群聊里说话；要单独找人可以私信。需要集体决策就提议开会。')
@@ -1162,8 +1258,10 @@ export function apply(ctx) {
       L.push('')
       // ── 三、libraries ───────────────────────────────────────────────────
       L.push('【三、你的资料库、progress 与卡片格式】')
-      L.push('  你的资料库根目录：Members/' + member.id + '/')
+      L.push('  你的资料库根目录（**相对会话工作目录**）：' + instRel('Members/' + member.id + '/'))
       L.push('  （以下路径都相对该目录。你**只写这里**，但可以读任何人的对应目录。）')
+      L.push('  ⚠ 路径基准：你自己的文件工具的**相对路径以会话工作目录为基准**，所以直接读写文件时必须用上面这条完整路径；')
+      L.push('    若只想记录成果，直接用 vibe_v5_record_progress / vibe_v5_record_proposition / vibe_v5_record_method / vibe_v5_record_subproblem，框架会写到正确位置。')
       L.push('')
       L.push(LIB_SPEC)
       L.push('')
@@ -1301,7 +1399,7 @@ export function apply(ctx) {
       const ms = activeMembers()
       const b = []
       b.push('[状态] 你是 ' + member.id + '（' + kindLabel(member.kind) + '）｜轮次 ' + (rounds.get(member.id) || 0) +
-        '｜法定票数 m=' + quorumM() + '｜有表决权者 ' + voterCount() + ' 人')
+        '｜法定票数 m=' + (voterCount() > 0 ? quorumM() : '未启动') + '｜有表决权者 ' + voterCount() + ' 人')
       b.push('[在册] ' + (ms.length ? ms.map((x) => x.id).join('、') : '（无）'))
       // Members that are on the books but NOT on the floor. Silently omitting them made a
       // failed provision invisible to the whole institute.
@@ -1768,7 +1866,7 @@ export function apply(ctx) {
         const soft = (contextPct.get(member.id) || 0) >= Number(params.compactThreshold) ||
           (roundsSinceCompact.get(member.id) || 0) >= Number(params.compactAfterRounds)
         if (soft) {
-          prompt = CORE_RULES + '\n[CONTEXT COMPACT — 你的对话已接近上限。不要重新推导历史。\n' +
+          prompt = coreRules() + '\n[CONTEXT COMPACT — 你的对话已接近上限。不要重新推导历史。\n' +
             '请把当前工作状态浓缩成一段自述（已有发现、当前方向、已记录的关键成果、下一步具体动作、未决问题），' +
             '然后照常以 JSON 回答本轮。请在回复里填 "contextPct": 15 与 "compacted": true。]\n\n' + prompt
           // Reset the counter WITH the injection so the directive cannot repeat on the
@@ -1777,7 +1875,7 @@ export function apply(ctx) {
         }
       }
       if (needReanchor.has(member.id)) {
-        prompt = CORE_RULES + '\n' + prompt
+        prompt = coreRules() + '\n' + prompt
         needReanchor.delete(member.id)
       }
       try {
@@ -1859,7 +1957,7 @@ export function apply(ctx) {
         L.push('  "prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"}   ← 设定全所优先级，')
         L.push('  "nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"}，')
       }
-      L.push('  "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},')
+      L.push('  "task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["' + instRel('Members/r-1/Propos') + '"]},')
       L.push('  "task_claim": "t-3",')
       L.push('  "task_done": "t-3",')
       L.push('  "task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},')
@@ -2902,6 +3000,11 @@ export function apply(ctx) {
       // reports MATH_NO_SUBPROCESS before engine detection), and let it check the retention cap.
       hasSubprocess: () => { const sub = subprocessOf(); return !!(sub && typeof sub.spawn === 'function') },
       listDir: (rel) => mathListDirRel(rel),
+      // round-7 (fix 2): DSH's own bundled runtimes (`<home>/.dsh/dsh-runtimes/*/dependencies/<engine>/`)
+      // as a LAST resort after PATH. Generic roots only; the module globs the tree name and accepts
+      // only the descriptor's own candidate names.
+      runtimeRoots: () => { const env = process.env.DSH_HOME; if (env) return [String(env)]; const home = String(process.env.HOME || process.env.USERPROFILE || ''); return home ? [home.replace(/[\\/]+$/, '') + '/.dsh'] : [] },
+      listDirAbs: async (abs) => { try { const t = await fs.resolve(String(abs)); const st = await fs.stat(t); if (!st) return []; return (await fs.listDir(t)) || [] } catch (e) { return [] } },
       log: (kind, msg) => mathLog(kind, msg),
     }
     // The DYNAMIC per-round availability line: computed from a (cached) probe when the prompt is
@@ -2923,6 +3026,10 @@ export function apply(ctx) {
         // `scriptChanged` actionable for a member).
         if (mathLineZh.indexOf(MATH_ARCHIVE_WORKFLOW_LINE) === -1) console.error('vibe-math-v5: the math availability line lost the archive workflow rule')
         if (mathLineEn.indexOf(MATH_ARCHIVE_WORKFLOW_LINE_EN) === -1) console.error('vibe-math-v5: the EN math availability line lost the archive workflow rule')
+        // Round-6 (A): an undeclared SUBSTITUTION must never read like the exact result — the
+        // honesty rule has to reach the prompt in both languages.
+        if (mathLineZh.indexOf(MATH_SUBSTITUTION_RULE_LINE) === -1) console.error('vibe-math-v5: the math availability line lost the substitution-honesty rule')
+        if (mathLineEn.indexOf(MATH_SUBSTITUTION_RULE_LINE_EN) === -1) console.error('vibe-math-v5: the EN math availability line lost the substitution-honesty rule')
         return mathLineZh
       } catch (e) {
         // A probe failure must never break prompt construction: keep whatever we had.
@@ -2935,11 +3042,12 @@ export function apply(ctx) {
       const line = lang === 'en' ? mathLineEn : mathLineZh
       if (line) return '\n' + line
       // Fallback: when the dynamic line could not be built, the member still needs to know the
-      // tool exists, how to cite it, and (P2a) that an edited script needs a NEW receipt.
+      // tool exists, how to cite it, that an edited script needs a NEW receipt, and (round 6) that
+      // a substitution weakening exactness must be declared.
       if (String(params.mathComputation) === 'off') return ''
       return lang === 'en'
-        ? '\n' + MATH_PERSONA_TOOL_LINE + '\n' + MATH_ARCHIVE_WORKFLOW_LINE_EN
-        : '\n' + MATH_PERSONA_TOOL_LINE + '\n' + MATH_ARCHIVE_WORKFLOW_LINE
+        ? '\n' + MATH_PERSONA_TOOL_LINE + '\n' + MATH_ARCHIVE_WORKFLOW_LINE_EN + '\n' + MATH_SUBSTITUTION_RULE_LINE_EN
+        : '\n' + MATH_PERSONA_TOOL_LINE + '\n' + MATH_ARCHIVE_WORKFLOW_LINE + '\n' + MATH_SUBSTITUTION_RULE_LINE
     }
     // Push the tool section into a prompt under construction (a no-op in the 'off' mode, which
     // is the "off means zero mention" discipline).
@@ -3316,9 +3424,12 @@ export function apply(ctx) {
     // A SHORT core-rules recap, injected ONLY (a) right after a REAL compaction, or
     // (b) in the same wake as a soft-compact directive — never on every round. The
     // charter itself lives in `persona` and needs no reinforcement otherwise.
-    const CORE_RULES = '[核心规则] 只有 Verified/（及标记"已验证·真/假"的卡片）算已确立；' +
+    // A function, not a frozen string: the member-facing library path must reflect the LIVE
+    // project/institute (DEFECT A) — a path captured at session creation could point at the
+    // default project after a `configure`.
+    const coreRules = () => '[核心规则] 只有 Verified/（及标记"已验证·真/假"的卡片）算已确立；' +
       '任何对象要进 Verified/，必须至少有 m 名有表决权者投出布尔值（恰好 1 或恰好 0）**且没有任何一张反向票**，否则留库附平均概率；' +
-      '你只写自己的库（Members/<你>/），可只读任何人的库；组织与分派由院士负责，但判断属于你自己；' +
+      '你只写自己的库（' + instRel('Members/<你>/') + '——相对**会话工作目录**），可只读任何人的库；组织与分派由院士负责，但判断属于你自己；' +
       '退出时只输出一个 JSON 对象。'
 
     // ONE place accounts for context usage on EVERY reply (normal, meeting, verify,
@@ -3365,7 +3476,7 @@ export function apply(ctx) {
       return n
     }
     async function publishProgress(memberId, text) {
-      if (!memberId || !memberById(memberId)) return { ok: false, code: 'V5_MEMBER_NOT_FOUND' }
+      if (!memberId || !memberById(memberId)) return memberDiagnosis('记录研究进度（vibe_v5_record_progress）', memberId)
       if (!String(text || '').trim()) return { ok: false, code: 'V5_INVALID_ARGUMENT', message: 'empty progress' }
       const rel = 'Members/' + memberId + '/Progress/progress.md'
       const prev = (await readTextRel(rel)) || ''
@@ -3378,7 +3489,7 @@ export function apply(ctx) {
     // hard requirements. Missing fields are refused rather than silently defaulted,
     // so the libraries keep their meaning.
     async function recordCard(memberId, kind, o) {
-      if (!memberId || !memberById(memberId)) return { ok: false, code: 'V5_MEMBER_NOT_FOUND', message: 'no such member' }
+      if (!memberId || !memberById(memberId)) return memberDiagnosis('记录成果卡片（vibe_v5_record_proposition/method/subproblem）', memberId)
       const args = o || {}
       const missing = []
       if (args.value === undefined || args.value === null) missing.push('value（价值程度）')
@@ -3541,7 +3652,7 @@ export function apply(ctx) {
       // An unknown caller must be refused HERE as well: `owner = task.ownerId === memberId` is true
       // for an UNOWNED task (ownerId '') when memberId is '', so without this guard an
       // unidentifiable caller would count as the owner of every unclaimed task (audit L6 follow-up).
-      if (!memberId) return { ok: false, code: 'V5_MEMBER_NOT_FOUND', message: 'no calling member' }
+      if (!memberId) return memberDiagnosis('修改任务（vibe_v5_task_update）', memberId)
       const args = o || {}
       const id = String(args.task_id || args.taskId || '')
       const task = inst().tasks.find((x) => x.id === id)
@@ -3638,7 +3749,7 @@ export function apply(ctx) {
     // it can never make any statement true, and the assignee may object with reasons
     // (the objection is broadcast, not silently swallowed).
     async function taskAssign(memberId, o) {
-      if (!memberId) return { ok: false, code: 'V5_MEMBER_NOT_FOUND', message: 'no calling member' }
+      if (!memberId) return memberDiagnosis('分派任务（vibe_v5_assign）', memberId)
       if (!isOffice(memberId) && !(isAcademician(memberId) && params.academicianLeads)) {
         return { ok: false, code: 'V5_NOT_ACADEMICIAN', message: 'only the academician (or the office) can assign tasks' }
       }
@@ -3682,7 +3793,7 @@ export function apply(ctx) {
       return { ok: true, task: taskView(withMeta) }
     }
     async function taskPrioritize(memberId, o) {
-      if (!memberId) return { ok: false, code: 'V5_MEMBER_NOT_FOUND', message: 'no calling member' }
+      if (!memberId) return memberDiagnosis('设置任务优先级（vibe_v5_task_prioritize）', memberId)
       if (!isOffice(memberId) && !(isAcademician(memberId) && params.academicianLeads)) {
         return { ok: false, code: 'V5_NOT_ACADEMICIAN', message: 'only the academician (or the office) can set priorities' }
       }
@@ -3734,7 +3845,7 @@ export function apply(ctx) {
       const s = inst()
       const lines = ['# 研究所编制表（人读镜像）｜' + instituteName + '｜' + fmtTime(), '',
         '> 权威状态在 State/<研究所>.v5state.json 里；本文件只是快照，勿手改。', '']
-      lines.push('- 求真门槛：m = ' + quorumM() + '（模式 ' + params.quorumMode + '）｜有表决权者 ' + voterCount() + ' 人')
+      lines.push('- 求真门槛：' + (voterCount() > 0 ? 'm = ' + quorumM() : '未启动（有表决权者 0 人，m 未定义）') + '（模式 ' + params.quorumMode + '）｜有表决权者 ' + voterCount() + ' 人')
       lines.push('- 阶段：' + phase + '｜运行中：' + running + '｜已结题：' + autoDone)
       lines.push('')
       lines.push('| 代号 | 职位 | 状态 | 雇主 | 方向/用途 | 轮次 | 上下文% |')
@@ -3861,6 +3972,9 @@ export function apply(ctx) {
       }
       const mean = all.length ? all.reduce((a, x) => a + x, 0) / all.length : 0.5
       const base = { m, P, bTrue, bFalse, abstain, mean, votedCount: all.length, voters: E }
+      // DEFECT 2 hardening: with NO voters there is nothing to conclude — every `>= m` test
+      // below would be trivially satisfiable if m were ever 0. Consensus needs voters.
+      if (P === 0) return Object.assign(base, { outcome: 'undecided', reason: 'no voters: the institute has no voting members yet' })
       if (params.quorumMode === 'all-unanimous') {
         const allVoted = E.length > 0 && E.every((id) => votes[id])
         if (!allVoted) return Object.assign(base, { outcome: 'undecided', reason: 'not every voter has voted' })
@@ -4207,7 +4321,7 @@ export function apply(ctx) {
     // Record one vote and, when every voter has answered, settle the round.
     async function castVerdict(memberId, target, verdict, reason) {
       const member = memberById(memberId)
-      if (!member) return { ok: false, code: 'V5_MEMBER_NOT_FOUND' }
+      if (!member) return memberDiagnosis('投票（vibe_v5_verdict）', memberId)
       if (member.kind === 'temp') {
         // Temp workers have no vote — but their judgement still matters, so it is
         // relayed to the group instead of being silently dropped.
@@ -4566,7 +4680,7 @@ export function apply(ctx) {
       L.push('【最终论文·撰写 —— ' + kindLabel(member.kind) + ' ' + member.id + '】')
       L.push('本所对原问题的一致结论已经达成，现在撰写**最终论文**（第 ' + p.round + '/' + PAPER_MAX_ROUNDS + ' 轮）。')
       L.push('请你**只写你自己库里已有证据支撑**的内容：')
-      L.push('- 直接引用你的卡片（Members/' + member.id + '/Propos|Methods|Subproblems/）、Members/' + member.id + '/Progress/progress.md、你参与的表决记录；')
+      L.push('- 直接引用你的卡片（' + instRel('Members/' + member.id + '/Propos|Methods|Subproblems/') + '）、' + instRel('Members/' + member.id + '/Progress/progress.md') + '、你参与的表决记录；')
       L.push('- **不得编造**：没有证据的推测不要写成结论；未决 / 被否证的条目必须显式标注“未定论 / 已被否证”；')
       L.push('- 在 evidence 里写清证据路径，附录会逐条索引。')
       if (p.round > 1) {
@@ -4586,7 +4700,7 @@ export function apply(ctx) {
       L.push('    "methods": "你创造/发现的方法、理论、思想、有价值经验、数学理解",')
       L.push('    "rules": "你从这些工作中归纳出的可复用规律",')
       L.push('    "limits": "局限、未决、被否证之处（必须诚实、显式）",')
-      L.push('    "evidence": ["Members/' + member.id + '/Propos/p-x.md"] } }')
+      L.push('    "evidence": ["' + instRel('Members/' + member.id + '/Propos/p-x.md') + '"] } }')
       return L.join('\n')
     }
     function paperReviewPrompt(member, p, ofId) {
@@ -5012,8 +5126,10 @@ export function apply(ctx) {
       }
       if (ev.formalKeys.length) out.push('Formal/Index.md', 'Formal/TODO.md')
       for (const m of ev.members) {
-        out.push('Members/' + m.id + '/Progress/progress.md（' + m.id + ' 的研究日志）')
-        out.push('Members/' + m.id + '/{Propos,Methods,Subproblems}/（' + m.id + ' 的卡片）')
+        // Member-facing evidence paths are CWD-relative (DEFECT A): a member copying one of these
+        // into its own file tool must not create a stray `<cwd>/Members/…` tree.
+        out.push(instRel('Members/' + m.id + '/Progress/progress.md') + '（' + m.id + ' 的研究日志）')
+        out.push(instRel('Members/' + m.id + '/{Propos,Methods,Subproblems}/') + '（' + m.id + ' 的卡片）')
       }
       out.push('Institutes.md（编制镜像）', 'Shared/TaskBoard.md（任务板镜像）')
       out.push('Paper/' + p.id + '/paper.log.md（本论文流程往来）')
@@ -5496,7 +5612,7 @@ export function apply(ctx) {
       return { ok: true, dismissed: id, reclaimedTasks: reclaimed, reason }
     }
     async function nudge(callerId, o) {
-      if (!callerId) return { ok: false, code: 'V5_MEMBER_NOT_FOUND', message: 'no calling member' }
+      if (!callerId) return memberDiagnosis('督办（vibe_v5_nudge）', callerId)
       if (!isOffice(callerId) && !(isAcademician(callerId) && params.academicianLeads)) {
         return { ok: false, code: 'V5_NOT_ACADEMICIAN', message: 'only the academician (or the office) can nudge members' }
       }
@@ -6091,7 +6207,7 @@ export function apply(ctx) {
         memberMayRejectAssign: params.memberMayRejectAssign,
         researcherCount: params.researcherCount,
         quorumCap: params.quorumCap, quorumMode: params.quorumMode,
-        m: quorumM(), voterCount: voterCount(),
+        m: quorumView().m, voterCount: voterCount(), started: voterCount() > 0,
         verdictMaxRounds: params.verdictMaxRounds,
         maxTempPerMember: params.maxTempPerMember, maxTempTotal: params.maxTempTotal,
         compactThreshold: params.compactThreshold, compactAfterRounds: params.compactAfterRounds,
@@ -6407,7 +6523,7 @@ export function apply(ctx) {
         // failure modes that silently drop state were invisible in the operator's view.
         diagnostics: s.diagnostics || [],
         debug: Object.assign({ scheduling, reschedule }, dbg),
-        quorum: { m: quorumM(), mode: params.quorumMode, voters: voters().map((m) => m.id), voterCount: voterCount() },
+        quorum: quorumView(),
         members: s.members.map((m) => ({
           id: m.id, kind: m.kind, phase: m.phase, direction: m.direction, hiredBy: m.hiredBy,
           rounds: rounds.get(m.id) || 0, busy: busy.has(m.id), contextPct: contextPct.get(m.id) || 0,
@@ -6444,12 +6560,15 @@ export function apply(ctx) {
     function report() {
       syncParamsFromState()
       const s = inst()
+      // ONE snapshot for the whole report: the text line and the returned `quorum` object can
+      // never disagree (DEFECT B), and `rosterVersion` lets a reader detect a stale copy.
+      const qv = quorumView()
       const L = []
       L.push('# 「' + instituteName + '」研究所汇报')
       L.push('')
       L.push('- 项目：' + project + '｜阶段：' + phase + '｜运行中：' + running + '｜已结题：' + autoDone)
       L.push('- 研究对象：' + (s.problem.statement ? s.problem.statement.slice(0, 200) : '（未设定）'))
-      L.push('- 求真门槛：m = ' + quorumM() + '（模式 ' + params.quorumMode + '）｜有表决权者 ' + voterCount() + ' 人')
+      L.push('- 求真门槛：' + (qv.started ? 'm = ' + qv.m : '未启动（有表决权者 0 人，m 未定义）') + '（模式 ' + params.quorumMode + '）｜有表决权者 ' + qv.voterCount + ' 人｜rosterVersion ' + qv.rosterVersion)
       L.push('')
       L.push('## 编制')
       if (!s.members.length) L.push('（暂无成员）')
@@ -6521,8 +6640,8 @@ export function apply(ctx) {
       L.push('')
       L.push('## 文件位置')
       L.push('- 根目录：' + instRoot())
-      L.push('- 已确立：Verified/｜成员库：Members/<id>/｜群聊：Shared/Chat/｜会议：Shared/Meetings/｜辩论：Shared/Debates/')
-      return { ok: true, report: L.join('\n') }
+      L.push('- 工作目录相对路径（你的文件工具的基准）：' + instRootRel() + '/｜已确立：Verified/｜成员库：Members/<id>/｜群聊：Shared/Chat/｜会议：Shared/Meetings/｜辩论：Shared/Debates/')
+      return { ok: true, report: L.join('\n'), quorum: qv }
     }
     // Adding/removing a PERMANENT researcher is a change to the institute's public
     // structure, so members may only propose it; the office decides and executes.
@@ -6594,6 +6713,8 @@ export function apply(ctx) {
       startPaper, paperStatus: paperSummary, finalizePaperByOffice,
       // authorization helpers (used by tool handlers)
       memberIdOfAgent, isOffice, isAcademician, isProvablyOffice, officeCaller, memberById, activeMembers,
+      // diagnosis helpers (defects 1/2 of the architecture self-test)
+      memberDiagnosis, quorumM, quorumView, voterCount,
     }
   }
 
@@ -6788,7 +6909,7 @@ export function apply(ctx) {
   // ── member-facing controls ────────────────────────────────────────────────
   registerTool('vibe_v5_say', '(member) Speak in the group chat (omit "to"), send a private message ("to":"r-2"), or address only the voters ("to":"voters").', objParams({ text: S, to: S }, ['text']), (s, a, x) => {
     const from = s.memberIdOfAgent(x)
-    if (!from) return { ok: false, code: 'V5_MEMBER_NOT_FOUND', message: 'no calling member' }
+    if (!from) return s.memberDiagnosis('发言（vibe_v5_say）', from)
     const to = a.to || 'all'
     return s.say(from, { to, text: a.text, kind: to === 'voters' ? 'voters' : (a.to ? 'dm' : 'chat') })
   })