dsh-math-calculator 2.1.0 → 2.2.0

package/README.md

@@ -13,14 +13,28 @@ DSH（DeepSeek Harness）原生的**高精度数学计算器**插件，附带可
 |---|---|---|
 | 高精度计算 | 心算 / bash 拼 | BigNumber 64 位，整数输出完整定点 |
 | 符号运算 | 查表或近似 | 求导/积分/化简/展开，符号精确 |
-| 单位换算 | 自己查系数 | 73 个单位，温度按仿射换算 |
-| 写公式 | 每次都重推 | 404 条公式库，参数全可覆盖 |
+| 单位换算 | 自己查系数 | 462 个单位 / 32 个量纲，温度按仿射换算 |
+| 写公式 | 每次都重推 | 442 条公式库，参数全可覆盖 |
 | 改物理常数 | 无法验证 | 自动推导派生量 + 全公式偏差 |
 | 多项目数据 | 互相污染 | 工作区隔离，各持一套常数表与公式表 |
 | *（可选）* 架空世界设定 | 凭感觉 | 输入星球参数 → 出重力/气候/地形上限 |
 
 ---
 
+## 文档
+
+| 文档 | 内容 |
+|---|---|
+| 本文件 | 速查：装什么、有多少能力、命令怎么用 |
+| [**功能详解**](docs/功能详解.md) | 每个 operation 怎么用、结果怎么读、什么时候会被拒绝、能力边界 |
+| [ADR-0002](../docs/adr/0002-plugin-ai-facing.md) | 面向 AI 的三层提示设计 |
+| [docs/formula-authoring.md](../docs/formula-authoring.md) | 怎么加一条公式 |
+| [docs/ui-removed.md](docs/ui-removed.md) | 界面为什么被移除 |
+| [docs/实测报告1106评审.md](docs/实测报告1106评审.md) | 一份实测报告的逐条评审：哪些是真缺陷、哪些判断有误 |
+| [docs/联网联动方案与价值验证.md](docs/联网联动方案与价值验证.md) | 联网联动怎么做、值不值得做（**方案稿，未实现**） |
+
+---
+
 ## 安装
 
 本插件是标准 DSH bundle（`dsh.bundle.patch` → `cordis.patch.yml`）。
@@ -47,7 +61,7 @@ npm run build
 
 ```powershell
 npm pack
-& "...\dsh.cmd" plugin --profile desktop add ./dsh-math-calculator-2.1.0.tgz
+& "...\dsh.cmd" plugin --profile desktop add ./dsh-math-calculator-2.2.0.tgz
 ```
 
 ---
@@ -81,7 +95,7 @@ npm pack
 
 | operation | 说明 | 示例 |
 |---|---|---|
-| `formula` | 调用 404 条公式之一 | `{"formula":"escape_velocity","overrides":{"M":5.97e24,"r":6371000},"operation":"formula"}` |
+| `formula` | 调用 442 条公式之一 | `{"formula":"escape_velocity","overrides":{"M":5.97e24,"r":6371000},"operation":"formula"}` |
 | `formulas` | 检索公式库 | `{"query":"重力","operation":"formulas"}` |
 | `world` | 星球参数 → 体感画像 | `{"world":{"planetRadius":1.4,"rotationHours":40},"operation":"world"}` |
 | `terrain` | 局地气候（配合 world） | `{"world":{"planetMass":2},"terrain":{"kind":"coastal","latitudeDeg":58},"operation":"world"}` |
@@ -89,10 +103,10 @@ npm pack
 | `quantities` | 哪些物理量该跟着变 | `{"constants":{"G":1.3e-10},"constantName":"G","operation":"quantities"}` |
 | `impact` | 改常数 → 全公式偏差 | `{"constants":{"c":1.5e8},"operation":"impact"}` |
 | `feasibility` | 设定一致性校验 | `{"world":{"planetMass":2},"claims":{"creatureHeight":50},"operation":"feasibility"}` |
-| `bodies` | 天体目录与类型学（26 具名天体 + 32 类型） | `{"bodyName":"mars"}` / `{"bodyType":"中子星"}` / `{"bodyConstant":"alpha_fs","bodyFactor":2}` |
-| `balance` | 收支盘点（多项一起看，给最短板） | `{"balance":{"grain":{"demand":2.7e6,"supply":3.1e6}}}` |
-| `units` | 单位换算（73 个单位，含中文古制） | `{"unitValue":30,"unitFrom":"里","unitTo":"km"}` |
-| `custom` | 自创常数/新物理量 | `{"operation":"custom","action2":"add"}` |
+| `bodies` | 天体目录与类型学（26 具名天体 + 32 类型） | `{"bodyName":"mars"}` / `{"bodyType":"中子星"}` / `{"bodyConstant":"alpha_fs","bodyFactor":2}` |
+| `balance` | 收支盘点（多项一起看，给最短板） | `{"balance":{"grain":{"demand":2.7e6,"supply":3.1e6}}}` |
+| `units` | 单位换算（462 个单位 / 32 个量纲，含中外古制与 SI 全量纲） | `{"unitValue":30,"unitFrom":"里","unitTo":"km"}` |
+| `custom` | 自创常数/新物理量 | `{"operation":"custom","action2":"add"}` |
 
 ### 恒星结构（S3）
 
@@ -130,44 +144,44 @@ npm pack
 后端接口一条没删，恢复界面只需重建前端（见 `docs/ui-removed.md` 第七节）。
 所有修改都落到**当前工作区**，不同世界观互不影响。
 
-### 成本控制：schema 瘦身 / 缓存 / 批量
-
-工具定义是**每轮请求都重复计费**的固定成本，所以做了三件事：
-
-| 措施 | 效果 |
-|---|---|
-| schema 瘦身（详细字段挪进 `help`） | 7789 → 6140 字符，约省 21%（≈1100 token/轮） |
-| 结果缓存（键含常数与工作区指纹） | 同一式子重复调用不再重算；改常数后**必然失效** |
-| 批量求值 `expressions` | 一次算最多 100 条，逐条独立报错 |
-
-三条都是纯收益、不改语义：参数一个没删、缓存键漏一项就会算错（有测试守）。
-
-### 显示精度：默认 8 位小数，可调、可固化
-
-计算精度与显示精度**分开**：
-
-| 参数 | 语义 | 默认 |
-|---|---|---|
-| `precision` | **计算**精度（BigNumber 有效位） | 64，不要为好看调低（`(10^20+1)-(10^20)` 在 20 位时算出 0） |
-| `displayPrecision` | **显示**精度：**小数点后几位** | 8 |
-
-- 整数永远完整：`10^20+5` 仍是 21 位，不受显示精度影响
-- 截断会丢精度时主动提醒：`0.00000123456789` 在 8 位下相对误差 0.37%，会附上「请传 displayPrecision:16」
-- 固化一次即全局生效：`{"operation":"workspace","action2":"set","displayPrecision":8}`
-
-### 计算需求分流：心算 / 强制用工具
-
-预警器在外部分三档（不调用 LLM，成本近零）：
-
-| 档 | 判据 | 处置 |
-|---|---|---|
-| `simple` | 短、数字少、纯四则 | 不提醒（想用工具仍可用） |
-| `forced` | 数据/汇总/金融/物理推演信号 | 提醒（这类心算易错且错得看不出来） |
-| `fuzzy` | 其它数学需求 | 按阈值提醒 |
-
-物理推演类**一律不算 simple**——`1.5 倍重力下山能长多高` 心算给「大概 3000 米」，
-工具给 3262 米并提示「已接近花岗岩极限」。差别不在精度，在于知不知道这个数意味着什么。
-
+### 成本控制：schema 瘦身 / 缓存 / 批量
+
+工具定义是**每轮请求都重复计费**的固定成本，所以做了三件事：
+
+| 措施 | 效果 |
+|---|---|
+| schema 瘦身（详细字段挪进 `help`） | 7789 → 6140 字符，约省 21%（≈1100 token/轮） |
+| 结果缓存（键含常数与工作区指纹） | 同一式子重复调用不再重算；改常数后**必然失效** |
+| 批量求值 `expressions` | 一次算最多 100 条，逐条独立报错 |
+
+三条都是纯收益、不改语义：参数一个没删、缓存键漏一项就会算错（有测试守）。
+
+### 显示精度：默认 8 位小数，可调、可固化
+
+计算精度与显示精度**分开**：
+
+| 参数 | 语义 | 默认 |
+|---|---|---|
+| `precision` | **计算**精度（BigNumber 有效位） | 64，不要为好看调低（`(10^20+1)-(10^20)` 在 20 位时算出 0） |
+| `displayPrecision` | **显示**精度：**小数点后几位** | 8 |
+
+- 整数永远完整：`10^20+5` 仍是 21 位，不受显示精度影响
+- 截断会丢精度时主动提醒：`0.00000123456789` 在 8 位下相对误差 0.37%，会附上「请传 displayPrecision:16」
+- 固化一次即全局生效：`{"operation":"workspace","action2":"set","displayPrecision":8}`
+
+### 计算需求分流：心算 / 强制用工具
+
+预警器在外部分三档（不调用 LLM，成本近零）：
+
+| 档 | 判据 | 处置 |
+|---|---|---|
+| `simple` | 短、数字少、纯四则 | 不提醒（想用工具仍可用） |
+| `forced` | 数据/汇总/金融/物理推演信号 | 提醒（这类心算易错且错得看不出来） |
+| `fuzzy` | 其它数学需求 | 按阈值提醒 |
+
+物理推演类**一律不算 simple**——`1.5 倍重力下山能长多高` 心算给「大概 3000 米」，
+工具给 3262 米并提示「已接近花岗岩极限」。差别不在精度，在于知不知道这个数意味着什么。
+
 ### 面向 AI 的设计
 
 插件对 AI 有三层提示（详见 [ADR-0002](../docs/adr/0002-plugin-ai-facing.md)）：
@@ -183,7 +197,7 @@ npm pack
 
 ### 公式库扩展（全局包 + 工作区临时）
 
-404 条内置公式不够时，不必改代码：
+442 条内置公式不够时，不必改代码：
 
 | 级别 | 存放 | 范围 | 用法 |
 |---|---|---|---|
@@ -223,7 +237,7 @@ npm pack
 {"operation":"formulas","query":"freq:low"}    // 低频：量子/核物理/相对论/金融
 ```
 
-当前分布：高频 144 / 中频 228 / 低频 32（共 404 条）。
+当前分布：高频 75 / 中频 55 / 低频 4 / 未标注 308（共 442 条）。
 
 ### 基础运算扩展
 
@@ -338,7 +352,7 @@ npm pack
 {"operation":"quantities","constants":{"G":1.3e-10},"constantName":"G"}
 //    → 普朗克长度 ∝√G、玻尔半径与 G 无关、表面重力 ∝G
 
-// 4. 看全部 404 条公式相对现实的偏差
+// 4. 看全部 442 条公式相对现实的偏差
 {"operation":"impact","constants":{"c":1.5e8}}
 //    → 11 条受影响：质能 -75%、黑体辐射 +300%、维恩位移 -50%
 
@@ -475,7 +489,7 @@ node run-all-tests.mjs # 58 套 / 2321 项
 src/
 ├── index.ts            插件入口 + 工具定义 + operation 分发（2032 行）
 ├── ops/                8 个较大的 operation 实现
-├── formula-library*.ts 404 条公式（8 个批次，含势力运行与通用计算批次）
+├── formula-library*.ts 442 条公式（含势力运行、通用计算与电/光/核/化学计量批次）
 ├── constants-graph.ts  43 个常数的依赖图（23 基础旋钮 / 20 派生）
 ├── quantities.ts       量纲分析与缩放指数
 ├── feasibility.ts      11 条设定约束

package/dsh.plugin.json

@@ -1,8 +1,8 @@
 {
   "id": "dsh-math-calculator",
-  "version": "2.1.0",
+  "version": "2.2.0",
   "main": "lib/index.js",
-  "description": "DSH 原生数学与架空世界推演插件：高精度计算、342 条公式、常数与星球推演。",
+  "description": "DSH 原生数学与架空世界推演插件：高精度计算、404 条公式、常数与星球推演。",
   "engines": {
     "dsh": ">=0.1.1-rc.2 <0.4.0"
   },

package/lib/__wtest.txt

@@ -0,0 +1 @@
+x

package/lib/awareness.js

@@ -54,19 +54,48 @@ export function getPromptMode() {
  *     不能砍 —— 它们省下的重算远多于自身开销。
  */
 export const TOOL_DESCRIPTION = [
-    '本地数学与物理推演引擎（BigNumber 64 位 + 符号代数 + 架空世界推演）。',
-    '',
+    '本地数学与物理推演引擎（BigNumber 64 位 + 符号代数）。',
     '⚠️ 数值计算必须调用本工具：不要心算、不要用 bash 拼凑算术。',
-    '触发场景：算术/三角、解方程、微积分、线代、统计、单位换算、公式求值、',
-    '改常数看后果、推演星球/恒星/卫星/生命、势力收支。',
+    '触发：算术/三角、解方程、微积分、线代、统计、单位换算、公式求值、推演。',
+    '',
+    /**
+     * ## 为什么这条要放在正文最前
+     *
+     * 实测反馈（1107 报告 P0-1）的四起千倍级事故，共同形式都是
+     * **全部转成裸数字再算**：
+     *
+     * ```
+     *   0.907/(10*745.7/0.475/3.6/29.564)*60     ← 745.7 是瓦还是千瓦？
+     *   0.907/(10*0.7457/0.475/3.6/29.564)*60    ← 差 1000 倍，两条都宣告成功
+     * ```
+     *
+     * 工具没法从裸数字推断量纲，但**带单位时它自己会发现不对**：
+     * `10 hp + 3 kg` 直接报 unit_mismatch。
+     *
+     * 报告原话：「help 里确实有 `5 cm to inch`，但被埋在第 4 个例子，
+     * 且没有任何一句说『所有物理量计算都带单位』。」
+     */
+    '物理量一律带单位写（如 (10 hp/0.475) to kW）：量纲错误当场拦下；',
+    '裸数字无从判断 745.7 是瓦还是千瓦，差 1000 倍也可能宣告成功。',
     '',
-    'operation 见参数 enum（30 个）；不确定用 help。选法：一条式子用 evaluate，',
-    '数据用 stats/dist，改设定后用 world/derivation。',
+    /**
+     * ## 为什么要把「查 help」写成一个明确的两步动作
+     *
+     * 旧版是一整块 5900 字符的能力清单，每次调用都付全量成本 ——
+     * 算一条 1/3 也要读 3039 字符的 world 字段表。现在改成目录：
+     *
+     * ```
+     *   目录 1731 字符（各节名 + 一句话简介）
+     *   单节 200—1900 字符，只在你真用那一节时才取
+     * ```
+     *
+     * 关键是**必须告诉 AI 这个两步动作存在**，否则它会以为 help 只给目录、
+     * 或者干脆不去查 —— 那功能就等于不存在。
+     */
+    '某功能不确定怎么用 → help 看目录（12 节带简介），再 helpTopic:"world" 取该节全文。',
     '',
-    '读输出约定：',
-    '  · [精确]/[标度]/[量级]/[仅方向] 是可信度标签，引用时保留；',
-    '  · 【跨模块一致性】✓/⚠/✗，看到 ✗ 先修正设定；',
-    '  · 【模型可信度】标出哪些数只是地球标定，常数偏离现实时会失真。',
+    '读输出：[精确]/[标度]/[量级]/[仅方向] 是可信度标签，引用时保留；',
+    '【跨模块一致性】✗ 先修正设定；【模型可信度】标出哪些数是地球标定。',
     '',
     '精度分两层：precision（计算，默认 64，调低会算错大数）不要为好看而动；',
     'displayPrecision（显示，**小数点后几位**，默认 8）只截小数、整数永远完整。',
@@ -120,24 +149,44 @@ export function buildSystemPromptSection() {
     catch {
         /* 读不到就按 0 */
     }
+    /**
+     * brief 档：默认档，每轮下发。
+     *
+     * ## 分区按「频率 × 重要度」排
+     *
+     * 原来这一段是 817 字符，其中「能力清单」占 200 字符（罗列 12 类能力），
+     * 而最常问的「该用哪个 operation」一句都没写 —— 比例完全反了。
+     *
+     * 现在的取舍：
+     *   ① **行为约束**放最前（40 字符）—— 它决定「调不调」，最重要
+     *   ② **选哪个 operation**（70 字符）—— 高频且原先缺失
+     *   ③ **可信度标签**（60 字符）—— 决定「数能不能引用」，最重要之一
+     *   ④ **精度两层**（50 字符）—— 中频
+     *   ⑤ **世界推演分工**（80 字符）—— 低频，压到极限
+     *   ⑥ **能力全清单**不再列出 —— 已在 schema 的 enum 与 help 里，
+     *      同一份信息付两次钱是浪费（这条有实测依据：省 21% 定义长度）
+     */
     if (promptMode === 'brief') {
         return [
             '## 数学计算工具（math_execute）',
             '',
-            '涉及任何数值计算时**必须**调用 math_execute，不要心算、不要用 bash 拼凑。',
+            '涉及数值计算时**必须**调用，不要心算、不要用 bash 拼凑。',
             '',
-            '能算：高精度求值、解方程、符号微积分、矩阵/特征值/秩/奇异值、统计与分布、回归、',
-            '微分方程、' + FORMULAS.length + ' 条自然科学公式、物理常数推演、星球/天空/恒星/卫星/生命推演、',
-            '宏观文明极限（能量/材料/交通/技术树）、观测者体感、逆推校准、混沌概率云。',
+            '**选哪个 operation**：一条式子 → `evaluate`（多条用 `expressions` 批量，可带 label）；',
+            '解方程 → `solve`；数据 → `stats`/`dist`/`regression`；公式 → `formula`（' + FORMULAS.length + ' 条，参数可覆盖）；',
+            '单位 → `units`；改设定 → `world`/`constants`/`derivation`；不确定 → `help`。',
             '',
-            '读输出：',
-            '· [精确]/[标度]/[量级]/[仅方向] 是可信度标签——引用结论时请保留；',
-            '· 【跨模块一致性】的 ✗ 表示设定自相矛盾，先修正再写；',
-            '· 【模型可信度】标出哪些数字只是地球标定。',
+            '**读输出的约定**：',
+            '· `[精确]/[标度]/[量级]/[仅方向]` 是可信度标签，引用时保留，别当装饰；',
+            '· 【跨模块一致性】✗ 表示设定自相矛盾，先修正再写；',
+            '· 【模型可信度】标出哪些数只是地球标定 —— 常数偏离现实时它会失真。',
             '',
-            buildBriefPlaybook({ changedConstants: changedConstants, customConstants: customConstantCount }),
+            '**精度分两层**：`precision`（计算，默认 64）调低会算错大数，不要为好看动它；',
+            '`displayPrecision`（**小数点后几位**，默认 8）只截小数，整数永远完整。',
+            '要更多位就单次传，或 `{operation:"workspace", action2:"set", displayPrecision:N}` 固化。',
             '',
-            '不确定能力边界时先调 operation="help"。' + changedNote + tableNote,
+            buildBriefPlaybook({ changedConstants: changedConstants, customConstants: customConstantCount })
+                + changedNote + tableNote,
         ].join('\n');
     }
     // full 档：完整清单