dsh-vibe-math 2.7.3 → 2.8.0

package/vibe-math-v2/math-computation.js

@@ -405,12 +405,12 @@ export async function probeMathEngines(host, opts) {
     if (name === 'cli') continue // cli needs a caller-supplied command, so it is not auto-detected
     const hit = await resolveCandidate(H, d)
     if (!hit) continue
-    const v = await probeVersion(H, d, hit)
+    const v = await probeVersion(H, d, hit.exe)
     if (!v.ok) {
       if (d.license === 'commercial') continue // installed but not usable: reported by op=run as LICENSE_REQUIRED
       continue
     }
-    engines.push(Object.assign({ name: name, version: v.version, path: hit, license: d.license }, verifyFields(name)))
+    engines.push(Object.assign({ name: name, version: v.version, path: hit.exe, foundVia: hit.via, license: d.license }, verifyFields(name)))
   }
   const result = { ok: true, engines: engines, available: engines.length > 0 }
   PROBE_CACHE.set(H, result)
@@ -461,7 +461,9 @@ async function knownInstallCandidates(H, engineName) {
       if (Array.isArray(r)) injected = r.filter((x) => typeof x === 'string' && x)
     } catch (e) { injected = null }
   }
-  const roots = injected || mathInstallRoots(engineName, env, win)
+  // A JS empty array is TRUTHY: a host that answers `[]` must fall back to the built-in table,
+  // otherwise the whole per-OS stage is silently suppressed (task-2).
+  const roots = (Array.isArray(injected) && injected.length) ? injected : mathInstallRoots(engineName, env, win)
   const exts = win ? ['', '.exe', '.cmd'] : ['']
   const out = []
   const listNames = async (dir, kind) => {
@@ -491,17 +493,17 @@ async function resolveCandidate(H, d) {
   for (const c of cands) {
     try {
       const p = await H.resolveExecutable(c)
-      if (typeof p === 'string' && p) return p
+      if (typeof p === 'string' && p) return { exe: p, via: 'path' }
     } catch (e) { /* not this one */ }
   }
   // round-7 (fix 2): DSH ships its own runtimes; PATH always wins, so this is a LAST resort. The
   // tree name is globbed (never hard-coded) and executable names come from the descriptor candidates.
   for (const p of await dshRuntimeCandidates(H, d.name)) {
-    if (typeof p === 'string' && p) return p
+    if (typeof p === 'string' && p) return { exe: p, via: 'host-runtime' }
   }
   // round-9: then the known per-OS install locations (an engine installed without touching PATH).
   for (const p of await knownInstallCandidates(H, d.name)) {
-    if (typeof p === 'string' && p) return p
+    if (typeof p === 'string' && p) return { exe: p, via: 'known-install' }
   }
   return null
 }
@@ -660,16 +662,16 @@ async function resolveEngine(H, requested, params, args) {
         cliProbe = fv.diag || null
         if (fv.ok) cliVersion = fv.version
       }
-      return { ok: true, name: name, desc: d, exe: exe, version: cliVersion, family: fam || null, probe: cliProbe }
+      return { ok: true, name: name, desc: d, exe: exe, version: cliVersion, family: fam || null, probe: cliProbe, via: 'cli' }
     }
     const hit = await resolveCandidate(H, d)
     if (!hit) continue
-    const v = await probeVersionWithRetry(H, d, hit)
+    const v = await probeVersionWithRetry(H, d, hit.exe)
     if (!v.ok) {
       if (d.license === 'commercial' || d.versionOptional) {
-        const lic = await checkLicence(H, d, hit)
+        const lic = await checkLicence(H, d, hit.exe)
         if (!lic.ok) return fail('MATH_ENGINE_LICENSE_REQUIRED', name, name + ' 已安装但许可不可用（仅厂商可激活）', { next: next('vendor', Object.assign({ engine: name, url: d.vendor || '' }, verifyFields(name))) })
-        return { ok: true, name: name, desc: d, exe: hit, version: 'unknown' }
+        return { ok: true, name: name, desc: d, exe: hit.exe, version: 'unknown', via: hit.via }
       }
       // round-7 (live-session fix): the engine WAS found - so an install guide would be misleading
       // (the user does not need to install anything; the host path is what failed). Report the probe
@@ -679,9 +681,9 @@ async function resolveEngine(H, requested, params, args) {
         next: next('note', { guidance: '引擎已找到但探测失败：请检查宿主 subprocess 通路（冷启动/超时/权限），或用 mathEngineOverride 调整 versionArgv 模板；已装的引擎不需要重装。' }),
       })
     }
-    const lic = await checkLicence(H, d, hit)
+    const lic = await checkLicence(H, d, hit.exe)
     if (!lic.ok) return fail('MATH_ENGINE_LICENSE_REQUIRED', name, name + ' 已安装但许可不可用（仅厂商可激活）', { next: next('vendor', Object.assign({ engine: name, url: d.vendor || '' }, verifyFields(name))) })
-    return { ok: true, name: name, desc: d, exe: hit, version: v.version }
+    return { ok: true, name: name, desc: d, exe: hit.exe, version: v.version, via: hit.via }
   }
   const first = requested === 'auto' ? (params.mathEngines[0] || 'python') : requested
   return fail('MATH_ENGINE_NOT_FOUND', first, '本机没有可用的计算引擎（试过：' + names.join(', ') + '）', { next: await userInstallNext(H, first) })
@@ -967,7 +969,7 @@ async function opProbe(H, args, params) {
   if (chosen && chosen.ok && !engines.some((e) => e.name === chosen.name)) {
     engines.push(Object.assign({ name: chosen.name, path: chosen.exe, version: chosen.version, license: (MATH_ENGINES[chosen.name] || {}).license }, verifyFields(chosen.name)))
   }
-  const engineInfo = (chosen && chosen.ok) ? Object.assign({ name: chosen.name, path: chosen.exe, version: chosen.version }, verifyFields(chosen.name)) : null
+  const engineInfo = (chosen && chosen.ok) ? Object.assign({ name: chosen.name, path: chosen.exe, version: chosen.version, foundVia: chosen.via }, verifyFields(chosen.name)) : null
   // round-9 (F3): the availability line must never be silently partial - name the CONFIGURED engines
   // that were not found (and why), instead of just listing the ones that happened to resolve.
   const foundNames = engines.map((e) => e.name)
@@ -1000,7 +1002,7 @@ async function opRun(H, args, params) {
   const det = await resolveEngine(H, args.engine || 'auto', params, args)
   if (!det.ok) return det
   const desc = applyOverride(det, params, args)
-  const det2 = { ok: true, name: det.name, desc: desc, exe: det.exe, version: det.version }
+  const det2 = { ok: true, name: det.name, desc: desc, exe: det.exe, version: det.version, via: det.via }
   // The generic escape hatch is recorded as `cli:<command>` (spec §4.3 / guards §18): the model and
   // the receipt must be able to tell WHICH command was run, not just that it was "cli".
   const cliCommand = args.cli && typeof args.cli.command === 'string' ? args.cli.command : ''
@@ -1118,7 +1120,7 @@ async function opRun(H, args, params) {
     schema: 'vibe-math/math-computation-receipt@1',
     runId: runId, preset: H.designator, project: slug(root), op: 'run', mode: mode,
     attempt: attempt, attemptDir: dir, baseRunDir: baseDir,
-    engine: { name: engineLabel, path: det.exe, version: det.version, source: det.name === 'cli' ? 'cli' : 'path' },
+    engine: { name: engineLabel, path: det.exe, version: det.version, source: det.name === 'cli' ? 'cli' : 'path', foundVia: det2.via },
     script: { path: scriptRel, sha256: scriptHash, bytes: Buffer.byteLength(scriptText, 'utf8') },
     scriptPath: scriptRel, scriptHash: scriptHash,
     // round-8 (P0/D3): member file tools are session-cwd relative, so the ABSOLUTE locations must be

package/vibe-math-v2/preset.yml

@@ -1,2 +1,2 @@
-name: Vibe Math V2
-description: 多代理数学问题求解与验证框架（经典）：概率驱动调度 —— qs.json 问题清单 + Propos/ 命题库 + Reliable/ 参考文献，explorer 拆方向 → 逐方向 Solver 迭代 → 多验证器独立审查→辩论→裁决；断点续跑、人工/自动干预、file/push 双模式进度汇报。
+name: Vibe Math V2
+description: 多代理数学问题求解与验证框架（经典）：概率驱动调度 —— qs.json 问题清单 + Propos/ 命题库 + Reliable/ 参考文献，explorer 拆方向 → 逐方向 Solver 迭代 → 多验证器独立审查→辩论→裁决；断点续跑、人工/自动干预、file/push 双模式进度汇报。

package/vibe-math-v2/v2/347/232/204/351/242/235/345/244/226/350/246/201/346/261/202.txt

@@ -1,22 +1,22 @@
-判断当前 v2 的下述是否已实现、当前是否符合下述，若未实现则请实现，过程中有不明确或觉得不合理或有自己建议时请询问我来决策：
-
-1 .当前是否按我说的只允许“命题、命题+证明/证伪、问题+解法”被调度到验证器？以及是否按我说的只允许“问题”被调度到求解器solve。
-
-2 .当前是否实现：当“命题”、“问题”的“证明/证伪/解法”的正确概率为1或0，或“命题”的布尔估计（正确概率）为1或0 或 问题已被解决时，则该证明/证伪/解法永不会被调度到去验证。当 “命题”、“问题”的证明/证伪/解法列表中存在它的正确概率为1的解法/证明/证伪时，则该“命题”、“问题”优先级设为 never，永不调度（到验证器、solve）。命题、问题 如果证明/证伪/解法列表非空且含有正确概率非0的证明/证伪/解法的话 ，则在验证时可优先验证“命题/问题+证明/证伪/解法”而不是“命题/问题”，在验证时优先调度其正确概率高的证明/证伪/解法进行验证。正确概率会动态调整。
-
-3 .允许晋升为问题清单的“问题”的是“命题”，晋升原命题对象为“判断下述命题是否成立：...（原命题）”这样的问题对象，相应证明、证伪列表变为解法列表（并在各个证明证伪过程前面表明是要证明还是证伪），一些合理的、适配的属性也可以对应地转移过去。那些布尔概率为0、1的命题不会被晋升。
-
-4 .那个Verified里需含有所有当前 被证明/证伪的命题和已解决的问题及它们的所有正确概率为1的证明/证伪/解法。
-
-5 .按下述修改文件 实现方案.md 中的那个 q_sub 部分的逻辑（使得我的这个方案更严格化），然后按照下述来实现下述功能：q_sub 需为问题类对象，临时假设（记 p_{q-tmp} ）为对 q_sub 的某种回答/答案的临时假设（是命题类对象）。把临时问题 q_sub 和“判断下述命题是否成立：p_{q-tmp}”交到问题清单（注意交到问题清单后的它们的概述、定义要完整，所涉及的一些依赖、对象等要给出完整定义，以避免断章取义），之后推理过程中发现的命题/结论中那些依赖这个假设的结论/命题在输出时需要把这个假设加上来作为命题/结论，如“若 p_{q-tmp} 成立，则...”（注意，概述、定义要完整，所依赖、基于的一些对象、环境、背景等要给出完整定义，不能断章取义）。
-
-
-6 .是否有对代理通过提示词/上下文按照我实现方案中的定义来解释/告诉它各个参数的完整含义（如progress是指...）？
-要完全对照我的实现方案，来对各提示词/上下文中可能导致代理理解不清楚的地方、对象、要求进行优化、完善、完整解释、举例解释等，优化提示词，使得能让ai/代理完全明确理解含义，使得符合我实现方案中的定义/含义/意思。一定要让代理完全明白、符合实现方案中的理解/要求来进行。
-例如，一个命题、问题或其它各种对象及其各属性的完整定义（按照我实现方案.md中的来），只要1或0那么就视为绝对正确/错误，就可以被代理作为已知成立的结论来使用。
-这样来保证它们在阅读文件时可以有正确的理解，以及保证它们可以明确到底要输出什么、对输出的内容有正确的理解、使得输出的内容符合要求（例如尤其是要求输出的那些对象一定要完整不要断章取义，要把环境/背景、一些依赖的对象/概念都完整补充、补充定义）。
-当前是否有对它们介绍各个文件夹（里文件）的用处、各个文件夹里文件的格式及文件的各参数的含义、完整含义和用处（按我的实现方案来）。
-
-7. 允许调控它们是否可以使用网络、写程序/脚本及其次数等。
-
+判断当前 v2 的下述是否已实现、当前是否符合下述，若未实现则请实现，过程中有不明确或觉得不合理或有自己建议时请询问我来决策：
+
+1 .当前是否按我说的只允许“命题、命题+证明/证伪、问题+解法”被调度到验证器？以及是否按我说的只允许“问题”被调度到求解器solve。
+
+2 .当前是否实现：当“命题”、“问题”的“证明/证伪/解法”的正确概率为1或0，或“命题”的布尔估计（正确概率）为1或0 或 问题已被解决时，则该证明/证伪/解法永不会被调度到去验证。当 “命题”、“问题”的证明/证伪/解法列表中存在它的正确概率为1的解法/证明/证伪时，则该“命题”、“问题”优先级设为 never，永不调度（到验证器、solve）。命题、问题 如果证明/证伪/解法列表非空且含有正确概率非0的证明/证伪/解法的话 ，则在验证时可优先验证“命题/问题+证明/证伪/解法”而不是“命题/问题”，在验证时优先调度其正确概率高的证明/证伪/解法进行验证。正确概率会动态调整。
+
+3 .允许晋升为问题清单的“问题”的是“命题”，晋升原命题对象为“判断下述命题是否成立：...（原命题）”这样的问题对象，相应证明、证伪列表变为解法列表（并在各个证明证伪过程前面表明是要证明还是证伪），一些合理的、适配的属性也可以对应地转移过去。那些布尔概率为0、1的命题不会被晋升。
+
+4 .那个Verified里需含有所有当前 被证明/证伪的命题和已解决的问题及它们的所有正确概率为1的证明/证伪/解法。
+
+5 .按下述修改文件 实现方案.md 中的那个 q_sub 部分的逻辑（使得我的这个方案更严格化），然后按照下述来实现下述功能：q_sub 需为问题类对象，临时假设（记 p_{q-tmp} ）为对 q_sub 的某种回答/答案的临时假设（是命题类对象）。把临时问题 q_sub 和“判断下述命题是否成立：p_{q-tmp}”交到问题清单（注意交到问题清单后的它们的概述、定义要完整，所涉及的一些依赖、对象等要给出完整定义，以避免断章取义），之后推理过程中发现的命题/结论中那些依赖这个假设的结论/命题在输出时需要把这个假设加上来作为命题/结论，如“若 p_{q-tmp} 成立，则...”（注意，概述、定义要完整，所依赖、基于的一些对象、环境、背景等要给出完整定义，不能断章取义）。
+
+
+6 .是否有对代理通过提示词/上下文按照我实现方案中的定义来解释/告诉它各个参数的完整含义（如progress是指...）？
+要完全对照我的实现方案，来对各提示词/上下文中可能导致代理理解不清楚的地方、对象、要求进行优化、完善、完整解释、举例解释等，优化提示词，使得能让ai/代理完全明确理解含义，使得符合我实现方案中的定义/含义/意思。一定要让代理完全明白、符合实现方案中的理解/要求来进行。
+例如，一个命题、问题或其它各种对象及其各属性的完整定义（按照我实现方案.md中的来），只要1或0那么就视为绝对正确/错误，就可以被代理作为已知成立的结论来使用。
+这样来保证它们在阅读文件时可以有正确的理解，以及保证它们可以明确到底要输出什么、对输出的内容有正确的理解、使得输出的内容符合要求（例如尤其是要求输出的那些对象一定要完整不要断章取义，要把环境/背景、一些依赖的对象/概念都完整补充、补充定义）。
+当前是否有对它们介绍各个文件夹（里文件）的用处、各个文件夹里文件的格式及文件的各参数的含义、完整含义和用处（按我的实现方案来）。
+
+7. 允许调控它们是否可以使用网络、写程序/脚本及其次数等。
+
 8. 让对代理的提示词/上下文的一些关键部分（局部提示词/上下文）也作为 setting 值可配置的参数（方便用户自行修改/调控一些关键部分的提示词/上下文）。