lingshu-solver 1.0.1 → 1.0.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (4) hide show
  1. package/README.md +232 -239
  2. package/index.html +12237 -11816
  3. package/mcp-server.js +288 -287
  4. package/package.json +55 -56
package/README.md CHANGED
@@ -1,239 +1,232 @@
1
- # 灵数求解器 · Lingshu Solver
2
-
3
- [![License](https://img.shields.io/github/license/genesis-plan/lingshu-solver)](LICENSE)
4
- [![Stars](https://img.shields.io/github/stars/genesis-plan/lingshu-solver?style=social)](https://github.com/genesis-plan/lingshu-solver/stargazers)
5
- [![Last Commit](https://img.shields.io/github/last-commit/genesis-plan/lingshu-solver)](https://github.com/genesis-plan/lingshu-solver/commits)
6
- [![MCP](https://img.shields.io/badge/MCP-Streamable%20HTTP-blue)](https://modelcontextprotocol.io)
7
- [![Deterministic](https://img.shields.io/badge/core-deterministic%20%2F%20non--LLM-green)](https://genesis-plan.github.io/lingshu-solver/)
8
-
9
- > **确定性**实数方程组求解引擎 · 面向 AI 智能体与普通用户的 MCP 工具
10
- > 同样的题永远得到同样的答案，没有大模型的随机与幻觉，每个解都能回代验证。免费、网页打开即用、也能被 AI 智能体直接调用。
11
-
12
- 灵数求解器（代号 Epsilon，V4.1）是一个**离线、确定性、零数据**的实数方程组求解器，
13
- 覆盖 ≤6 个变量、实数解、轻量数值定位。它不要求用户提供初值，采用区间算术做保守收缩 +
14
- Krawczyk 算子做解认证，并尽力穷尽多解。
15
-
16
- 👉 **给用户看的产品介绍（大白话，帮你看懂它能干嘛、适不适合你）**：[点这里](intro.html) ｜ [国内 COS 在线版](https://hclj-1409755229.cos.ap-guangzhou.myqcloud.com/lingshu-solver/intro.html)
17
-
18
- ---
19
-
20
- ## 🚀 快速上手（30 秒）
21
-
22
- ### 如果你完全不懂技术 —— 直接用网页版
23
- **打开这个链接就能用，不用安装任何东西：**
24
- 👉 **https://genesis-plan.github.io/lingshu-solver/** （GitHub Pages，海外/通用）
25
-
26
- **国内用户（更快，腾讯云 COS 托管）：**
27
- 👉 **https://hclj-1409755229.cos.ap-guangzhou.myqcloud.com/lingshu-solver/index.html**
28
-
29
- 在输入框写方程（例如 `x^2 + y^2 = 25` 和 `x + y = 7`），点求解即可。
30
- 页面里有 6 个示例按钮，点一下就知道它能解什么。
31
-
32
- ### 如果你是 AI 用户（Claude / Cursor / Cline 等）
33
-
34
- **方式 A · 远程托管（零安装，免密即用）**
35
- 我们已部署常驻公网服务，直接填 URL 即可，无需本机装 Node：
36
- ```json
37
- {
38
- "mcpServers": {
39
- "lingshu-solver": {
40
- "url": "http://159.75.154.206:3000/mcp"
41
- }
42
- }
43
- }
44
- ```
45
- > 端点：`http://159.75.154.206:3000/mcp`（Streamable HTTP）。服务运行于腾讯云轻量服务器，开机自启、崩溃自动拉起。
46
- > ⚠️ 当前为**裸 IP + HTTP 临时端点**，`hongchenlingjing.com` 备案通过后我们将切换为 `https://hongchenlingjing.com/mcp` 固定 HTTPS 域名（届时更新此处）。此临时端点可用于对接测试，Smithery 等需 HTTPS 的平台待备案后正式接入。
47
-
48
- **方式 B · 本地 stdio（需本机 Node）**
49
- ```json
50
- {
51
- "mcpServers": {
52
- "lingshu-solver": {
53
- "command": "npx",
54
- "args": ["-y", "lingshu-solver"]
55
- }
56
- }
57
- }
58
- ```
59
- > `npx` 版已发布到 npm，现在即可一键 `npx -y lingshu-solver`。如需最新源码也可 `git clone` 后用方式 C。
60
-
61
- **方式 C · 本地 clone + 指定路径**
62
- ```bash
63
- git clone https://github.com/genesis-plan/lingshu-solver.git
64
- cd lingshu-solver
65
- node mcp-server.js
66
- ```
67
- MCP 配置：
68
- ```json
69
- { "mcpServers": { "lingshu-solver": { "command": "node", "args": ["本地绝对路径/灵数求解器/mcp-server.js"] } } }
70
- ```
71
-
72
- ### 如果你是开发者
73
- ```bash
74
- git clone https://github.com/genesis-plan/lingshu-solver.git
75
- cd lingshu-solver
76
- node mcp-server.js # 启动 MCP 服务端
77
- node test/regression.js # 跑回归测试（28 用例）
78
- ```
79
-
80
- ---
81
-
82
- 本仓库包含：
83
- - `index.html` —— 单文件产品（浏览器内 UI + 已验证核心脚本 `<script id="solver-core">`）
84
- - `solver-core.js` —— Node 引擎加载器（读取 index.html 核心脚本，零依赖，供 MCP/测试复用）
85
- - `mcp-server.js` —— 零依赖 MCP stdio 服务端（手工 JSON-RPC 2.0 + 换行符分隔 JSON，与官方 MCP SDK 线格式对齐）
86
- - `package.json` —— 标准元数据，`node mcp-server.js` 本地启动即作为 MCP 工具（发布 npm 后亦可 `npx lingshu-solver`）
87
- - `test/` —— 回归套件 + 冒烟测试 + 三套常驻考卷
88
-
89
- ---
90
-
91
- ## 能力边界（诚实声明）
92
-
93
- | 维度 | 说明 |
94
- |---|---|
95
- | 已验证解 | 每个找到的解都经 Krawczyk 认证（`tier=proven`），误差 ≤ 认证半径，数学保真 |
96
- | 穷尽性 | **尽力穷尽多解**；极端病态（雅可比高度奇异、解簇极近）在预算内可能遗漏个别解，此时显式标记 `truncated=true`，**绝不谎称已穷尽** |
97
- | `truncated` 语义 | 仅表示「全局分支未在预算内完全判定所有盒子（无法证明已穷尽）」，**不等于一定遗漏**；绝大多数情况全部真解已找到 |
98
- | 变量数 | ≤6 |
99
- | 数值范围 | 默认搜索域 ±1e6；对快增长函数（exp/sinh）或大域，建议显式给定 `domain` 以避免剪枝失效 |
100
- | 确定性 | 无随机分支，同输入永远同输出 |
101
- | 部署 | 纯本地、离线、零数据（无网络、无存储、无第三方依赖） |
102
-
103
- **不保证**：对一切输入 100% 穷尽；对高度病态系统在预算内必收敛。这些是诚实边界，不是缺陷。
104
-
105
- ---
106
-
107
- ## 作为 MCP 工具使用
108
-
109
- ### 1. 三种接入形态
110
-
111
- | 形态 | 端点 / 命令 | 适用 |
112
- |---|---|---|
113
- | **远程 HTTP（已上线）** | `http://159.75.154.206:3000/mcp` | 任何支持 Streamable HTTP 的 MCP 客户端，零安装 |
114
- | 本地 stdio（npx） | `npx -y lingshu-solver` | 本机已装 Node，npm 已发布，直接可用 |
115
- | 本地 stdio（clone） | `node mcp-server.js` | 开发者 / 离线自托管 |
116
-
117
- **远程 HTTP 服务端代码**：`http-mcp-server.js`（零依赖，仅用 Node 内置模块；与 `mcp-server.js` 共享 `solver-core.js` 求解核心，结果同源一致）。如需自托管远程服务：
118
- ```bash
119
- PORT=3000 node http-mcp-server.js
120
- ```
121
-
122
- ### 2. 在 MCP 客户端（Claude Desktop / Cursor / Cline / VS Code 等）配置
123
-
124
- **推荐 · 远程托管（零安装，已上线）：**
125
- ```json
126
- {
127
- "mcpServers": {
128
- "lingshu-solver": {
129
- "url": "http://159.75.154.206:3000/mcp"
130
- }
131
- }
132
- }
133
- ```
134
-
135
- **本地 stdio · 一行命令（npm 已发布，直接可用）：**
136
- ```json
137
- {
138
- "mcpServers": {
139
- "lingshu-solver": {
140
- "command": "npx",
141
- "args": ["-y", "lingshu-solver"]
142
- }
143
- }
144
- }
145
- ```
146
- > 注：`npx -y lingshu-solver` 已发布到 npm，直接可用。如需指定本地路径，用下方「手动指定本地路径」版（先 clone 仓库）。
147
-
148
- **备选 · 手动指定本地路径（已 clone 仓库时）：**
149
- ```json
150
- {
151
- "mcpServers": {
152
- "lingshu-solver": {
153
- "command": "node",
154
- "args": ["把这里替换成你本地的绝对路径/灵数求解器/mcp-server.js"]
155
- }
156
- }
157
- }
158
- ```
159
-
160
- > 手动版需将 `args` 中的路径替换为你本机的 `mcp-server.js` 绝对路径（例如 `C:/Users/你的用户名/Desktop/灵数求解器/mcp-server.js`）。npx 版无需此步。
161
-
162
- ### 工具一：`solve`
163
-
164
- 输入：
165
- ```json
166
- {
167
- "equations": ["x^2 + y^2 = 25", "x + y = 7"],
168
- "variables": ["x", "y"],
169
- "domain": { "x": [-30, 30], "y": [-30, 30] }
170
- }
171
- ```
172
- - `equations`：方程字符串数组（必填），支持 `+ - * / ^ sqrt log sin cos tan exp abs`，以及 in-text 域约束 `"x ∈ [-30,30]"`。
173
- - `variables`：变量名数组（可选，不填则按出现顺序自动识别，最多 6 个）。
174
- - `domain`：显式搜索域（可选）。**对"有限解·部分"演示或快增长函数建议给定**，否则默认 ±1e6 可能剪枝失效并触发 `truncated`。
175
-
176
- > 输出精度固定 6 位小数（产品规格「6位小数有限网格」），不提供位数切换；解点 `values` 经网格吸附，实际残差通常 ≤ 1e-9。
177
-
178
- 输出（节选）：
179
- ```json
180
- {
181
- "resultType": 2,
182
- "resultTypeName": "finite",
183
- "certified": true,
184
- "truncated": false,
185
- "precisionDecimals": 6,
186
- "solutionCount": 2,
187
- "summary": "找到 2 个实数解（全部经 Krawczyk 区间认证）。",
188
- "recommended": { "values": [3, 4], "tier": "proven", "certified": true, "text": "x=3.000000, y=4.000000", "internals": { "residual": 0, "certifiedRadius": 0.00001 } },
189
- "solutions": [ { "values": [3, 4], "tier": "proven", "certified": true, "text": "x=3.000000, y=4.000000", "internals": { "residual": 0, "certifiedRadius": 0.00001 } }, ... ],
190
- "warnings": []
191
- }
192
- ```
193
- - `resultType`：`1=empty(无解)` / `2=finite(有限解)` / `3=infinite(无限解集，仅给距原点最近的推荐解)`。
194
- - `summary`：中文一句话总览，适合直接展示给用户或日志。
195
- - 每解字段：`values`（6 位小数数值数组）、`tier`、`certified`、`text`（人类可读，如 `"x=3.000000, y=4.000000"`）；残差等内部数值收在 `internals` 子块，机器可整块跳过以降低 token 噪音。
196
- - `tier`：`proven`（Krawczyk 认证）/ `candidate`（未证但可能为解）/ `structural`（结构推导）。
197
-
198
- ### 工具二：`give_feedback`
199
-
200
- AI 智能体遇到卡点/错误/疑似问题时主动回报，仅落本地 `feedback.log`，不外传：
201
- ```json
202
- { "name": "give_feedback", "arguments": { "message": "x^2=4 期望2解", "context": "批量求解场景" } }
203
- ```
204
-
205
- ---
206
-
207
- ## 本地验证
208
-
209
- ```bash
210
- node verify_core.js # 引擎加载 + 6 个代表性用例
211
- node mcp_smoke.js # MCP 字节级冒烟（initialize/tools/list/tools/call）
212
- node mcp_smoke2.js # give_feedback + 错误结构化（不泄露堆栈）
213
- node test/regression.js # 三套常驻考卷回归（28 用例，known 命中率统计）
214
- ```
215
-
216
- ---
217
-
218
- ## 示例（6 类结果覆盖）
219
-
220
- | 标题 | 方程 | 预期 |
221
- |---|---|---|
222
- | 最少 1 变量 | `x^2 = 4` | 2 解 |
223
- | 最多 6 变量 | 6 元三对角线性 | 唯一解 |
224
- | 空集无解 | `x+y=3` 与 `x+y=5` | 空集（sound 证无解） |
225
- | 有限解·全部 | 圆 × 双曲线 `x²+y²=4, xy=1` | 4 解全认证 |
226
- | 有限解·部分 | `sin(20x)=0.5, sin(20y)=0.5`（域 [-30,30]） | 多解 + `truncated` 横幅 |
227
- | 无限解·推荐 | `x+y=3` | 无限集，推荐 (1.5,1.5) |
228
-
229
- ---
230
-
231
- ## 文档
232
-
233
- - 《灵数求解器_代码流程中文说明.md》—— 从解析到输出的完整内部流程（面向数学背景读者）
234
- - 《灵数求解器商业化战略白皮书.md》—— 定位、能力边界、风险
235
- - 发明专利申请书系列（已提交）
236
-
237
- ## 许可
238
-
239
- Apache License 2.0 —— 见 [LICENSE](./LICENSE)。
1
+ # 灵数求解器 · Lingshu Solver
2
+
3
+ [![License](https://img.shields.io/github/license/genesis-plan/lingshu-solver)](LICENSE)
4
+ [![Stars](https://img.shields.io/github/stars/genesis-plan/lingshu-solver?style=social)](https://github.com/genesis-plan/lingshu-solver/stargazers)
5
+ [![Last Commit](https://img.shields.io/github/last-commit/genesis-plan/lingshu-solver)](https://github.com/genesis-plan/lingshu-solver/commits)
6
+ [![MCP](https://img.shields.io/badge/MCP-Streamable%20HTTP-blue)](https://modelcontextprotocol.io)
7
+ [![Deterministic](https://img.shields.io/badge/core-deterministic%20%2F%20non--LLM-green)](https://genesis-plan.github.io/lingshu-solver/)
8
+
9
+ > **确定性**实数方程组求解引擎 · 面向 AI 智能体与普通用户的 MCP 工具
10
+ > 同样的题永远得到同样的答案，没有大模型的随机与幻觉，每个解都能回代验证。免费、网页打开即用、也能被 AI 智能体直接调用。
11
+
12
+ 灵数求解器（代号 Epsilon，V4.1）是一个**离线、确定性、零数据**的实数方程组求解器，
13
+ 覆盖 ≤6 个变量、实数解、轻量数值定位。它不要求用户提供初值，采用区间算术做保守收缩 +
14
+ Krawczyk 算子做解认证，并尽力穷尽多解。
15
+
16
+ 👉 **给用户看的产品介绍（大白话，帮你看懂它能干嘛、适不适合你）**：[点这里](intro.html) ｜ [国内 COS 在线版](https://hclj-1409755229.cos.ap-guangzhou.myqcloud.com/lingshu-solver/intro.html)
17
+
18
+ ---
19
+
20
+ ## 🚀 快速上手（30 秒）
21
+
22
+ ### 如果你完全不懂技术 —— 直接用网页版
23
+ **打开这个链接就能用，不用安装任何东西：**
24
+ 👉 **https://genesis-plan.github.io/lingshu-solver/** （GitHub Pages，海外/通用）
25
+
26
+ **国内用户（更快，腾讯云 COS 托管）：**
27
+ 👉 **https://hclj-1409755229.cos.ap-guangzhou.myqcloud.com/lingshu-solver/index.html**
28
+
29
+ 在输入框写方程（例如 `x^2 + y^2 = 25` 和 `x + y = 7`），点求解即可。
30
+ 页面里有 6 个示例按钮，点一下就知道它能解什么。
31
+
32
+ ### 如果你是 AI 用户（Claude / Cursor / Cline 等）
33
+
34
+ **方式 A · 远程托管（备案中，暂未公开）**
35
+ 我们已部署常驻公网服务，**但 `hongchenlingjing.com` 域名 ICP 备案尚未通过**——按合规要求，备案期间该域名端点暂不对外开放。备案批下并切 HTTPS 后，此处将提供 `https://hongchenlingjing.com/mcp` 端点（开机自启、崩溃自动拉起）。
36
+ > 当前想零安装调用，请直接用下方「方式 B · 本地 stdio（npx）」，已发布 npm，现在即可用。
37
+
38
+ **方式 B · 本地 stdio（需本机 Node）**
39
+ ```json
40
+ {
41
+ "mcpServers": {
42
+ "lingshu-solver": {
43
+ "command": "npx",
44
+ "args": ["-y", "lingshu-solver"]
45
+ }
46
+ }
47
+ }
48
+ ```
49
+ > `npx` 版已发布到 npm，现在即可一键 `npx -y lingshu-solver`。如需最新源码也可 `git clone` 后用方式 C。
50
+
51
+ **方式 C · 本地 clone + 指定路径**
52
+ ```bash
53
+ git clone https://github.com/genesis-plan/lingshu-solver.git
54
+ cd lingshu-solver
55
+ node mcp-server.js
56
+ ```
57
+ MCP 配置：
58
+ ```json
59
+ { "mcpServers": { "lingshu-solver": { "command": "node", "args": ["本地绝对路径/灵数求解器/mcp-server.js"] } } }
60
+ ```
61
+
62
+ ### 如果你是开发者
63
+ ```bash
64
+ git clone https://github.com/genesis-plan/lingshu-solver.git
65
+ cd lingshu-solver
66
+ node mcp-server.js # 启动 MCP 服务端
67
+ node test/regression.js # 跑回归测试（28 用例）
68
+ ```
69
+
70
+ ---
71
+
72
+ 本仓库包含：
73
+ - `index.html` —— 单文件产品（浏览器内 UI + 已验证核心脚本 `<script id="solver-core">`）
74
+ - `solver-core.js` —— Node 引擎加载器（读取 index.html 核心脚本，零依赖，供 MCP/测试复用）
75
+ - `mcp-server.js` —— 零依赖 MCP stdio 服务端（手工 JSON-RPC 2.0 + 换行符分隔 JSON，与官方 MCP SDK 线格式对齐）
76
+ - `package.json` —— 标准元数据，`node mcp-server.js` 本地启动即作为 MCP 工具（发布 npm 后亦可 `npx lingshu-solver`）
77
+ - `test/` —— 回归套件 + 冒烟测试 + 三套常驻考卷
78
+
79
+ ---
80
+
81
+ ## 能力边界（诚实声明）
82
+
83
+ | 维度 | 说明 |
84
+ |---|---|
85
+ | 已验证解 | 每个找到的解都经 Krawczyk 认证（`tier=proven`），误差 ≤ 认证半径，数学保真 |
86
+ | 穷尽性 | **尽力穷尽多解**；极端病态（雅可比高度奇异、解簇极近）在预算内可能遗漏个别解，此时显式标记 `truncated=true`，**绝不谎称已穷尽** |
87
+ | `truncated` 语义 | 仅表示「全局分支未在预算内完全判定所有盒子（无法证明已穷尽）」，**不等于一定遗漏**；绝大多数情况全部真解已找到 |
88
+ | 变量数 | ≤6 |
89
+ | 数值范围 | 默认搜索域 ±1e6；对快增长函数（exp/sinh）或大域，建议显式给定 `domain` 以避免剪枝失效 |
90
+ | 确定性 | 无随机分支，同输入永远同输出 |
91
+ | 部署 | 纯本地、离线、零数据（无网络、无存储、无第三方依赖） |
92
+
93
+ **不保证**：对一切输入 100% 穷尽；对高度病态系统在预算内必收敛。这些是诚实边界，不是缺陷。
94
+
95
+ ---
96
+
97
+ ## 作为 MCP 工具使用
98
+
99
+ ### 1. 三种接入形态
100
+
101
+ | 形态 | 端点 / 命令 | 适用 |
102
+ |---|---|---|
103
+ | **远程 HTTP（备案中，暂未公开）** | `hongchenlingjing.com` 域名 ICP 备案尚未通过，端点暂停开放；备案批下后启用 `https://hongchenlingjing.com/mcp` | 任何支持 Streamable HTTP 的 MCP 客户端（待备案后） |
104
+ | 本地 stdio（npx） | `npx -y lingshu-solver` | 本机已装 Node，npm 已发布，直接可用 |
105
+ | 本地 stdio（clone） | `node mcp-server.js` | 开发者 / 离线自托管 |
106
+
107
+ **远程 HTTP 服务端代码**：`http-mcp-server.js`（零依赖，仅用 Node 内置模块；与 `mcp-server.js` 共享 `solver-core.js` 求解核心，结果同源一致）。如需自托管远程服务：
108
+ ```bash
109
+ PORT=3000 node http-mcp-server.js
110
+ ```
111
+
112
+ ### 2. 在 MCP 客户端（Claude Desktop / Cursor / Cline / VS Code 等）配置
113
+
114
+ **推荐 · 本地 stdio 零安装（npm 已发布，现在即可用）：**
115
+ ```json
116
+ {
117
+ "mcpServers": {
118
+ "lingshu-solver": {
119
+ "command": "npx",
120
+ "args": ["-y", "lingshu-solver"]
121
+ }
122
+ }
123
+ }
124
+ ```
125
+ > 远程 HTTP 端点（`hongchenlingjing.com/mcp`）因域名 ICP 备案未通过，备案期间暂停开放；备案批下并切 HTTPS 后将在此处提供 `url` 版配置。
126
+
127
+ **本地 stdio · 一行命令（npm 已发布，直接可用）：**
128
+ ```json
129
+ {
130
+ "mcpServers": {
131
+ "lingshu-solver": {
132
+ "command": "npx",
133
+ "args": ["-y", "lingshu-solver"]
134
+ }
135
+ }
136
+ }
137
+ ```
138
+ > 注：`npx -y lingshu-solver` 已发布到 npm，直接可用。如需指定本地路径，用下方「手动指定本地路径」版（先 clone 仓库）。
139
+
140
+ **备选 · 手动指定本地路径（已 clone 仓库时）：**
141
+ ```json
142
+ {
143
+ "mcpServers": {
144
+ "lingshu-solver": {
145
+ "command": "node",
146
+ "args": ["把这里替换成你本地的绝对路径/灵数求解器/mcp-server.js"]
147
+ }
148
+ }
149
+ }
150
+ ```
151
+
152
+ > 手动版需将 `args` 中的路径替换为你本机的 `mcp-server.js` 绝对路径（例如 `C:/Users/你的用户名/Desktop/灵数求解器/mcp-server.js`）。npx 版无需此步。
153
+
154
+ ### 工具一：`solve`
155
+
156
+ 输入：
157
+ ```json
158
+ {
159
+ "equations": ["x^2 + y^2 = 25", "x + y = 7"],
160
+ "variables": ["x", "y"],
161
+ "domain": { "x": [-30, 30], "y": [-30, 30] }
162
+ }
163
+ ```
164
+ - `equations`：方程字符串数组（必填），支持 `+ - * / ^ sqrt log sin cos tan exp abs`，以及 in-text 域约束 `"x ∈ [-30,30]"`。
165
+ - `variables`：变量名数组（可选，不填则按出现顺序自动识别，最多 6 个）。
166
+ - `domain`：显式搜索域（可选）。**对"有限解·部分"演示或快增长函数建议给定**，否则默认 ±1e6 可能剪枝失效并触发 `truncated`。
167
+
168
+ > 输出精度固定 6 位小数（产品规格「6位小数有限网格」），不提供位数切换；解点 `values` 经网格吸附，实际残差通常 ≤ 1e-9。
169
+
170
+ 输出（节选）：
171
+ ```json
172
+ {
173
+ "resultType": 2,
174
+ "resultTypeName": "finite",
175
+ "certified": true,
176
+ "truncated": false,
177
+ "precisionDecimals": 6,
178
+ "solutionCount": 2,
179
+ "summary": "找到 2 个实数解（全部经 Krawczyk 区间认证）。",
180
+ "recommended": { "values": [3, 4], "tier": "proven", "certified": true, "text": "x=3.000000, y=4.000000", "internals": { "residual": 0, "certifiedRadius": 0.00001 } },
181
+ "solutions": [ { "values": [3, 4], "tier": "proven", "certified": true, "text": "x=3.000000, y=4.000000", "internals": { "residual": 0, "certifiedRadius": 0.00001 } }, ... ],
182
+ "warnings": []
183
+ }
184
+ ```
185
+ - `resultType`：`1=empty(无解)` / `2=finite(有限解)` / `3=infinite(无限解集，仅给距原点最近的推荐解)`。
186
+ - `summary`：中文一句话总览，适合直接展示给用户或日志。
187
+ - 每解字段：`values`（6 位小数数值数组）、`tier`、`certified`、`text`（人类可读，如 `"x=3.000000, y=4.000000"`）；残差等内部数值收在 `internals` 子块，机器可整块跳过以降低 token 噪音。
188
+ - `tier`：`proven`（Krawczyk 认证）/ `candidate`（未证但可能为解）/ `structural`（结构推导）。
189
+
190
+ ### 工具二：`give_feedback`
191
+
192
+ AI 智能体遇到卡点/错误/疑似问题时主动回报，仅落本地 `feedback.log`，不外传：
193
+ ```json
194
+ { "name": "give_feedback", "arguments": { "message": "x^2=4 期望2解", "context": "批量求解场景" } }
195
+ ```
196
+
197
+ ---
198
+
199
+ ## 本地验证
200
+
201
+ ```bash
202
+ node verify_core.js # 引擎加载 + 6 个代表性用例
203
+ node test/regression.js # 三套常驻考卷回归（28 用例，known 命中率统计）
204
+ node test/verify_paste.js # 粘贴容错专项（7 例）
205
+ node test/verify_issueA.js # 周期/高频单变量多解专项（15 例）
206
+ node test/verify_compliance.js # 输入门禁专项（20 例）
207
+ ```
208
+
209
+ ---
210
+
211
+ ## 示例（6 类结果覆盖）
212
+
213
+ | 标题 | 方程 | 预期 |
214
+ |---|---|---|
215
+ | 最少 1 变量 | `x^2 = 4` | 2 解 |
216
+ | 最多 6 变量 | 6 元三对角线性 | 唯一解 |
217
+ | 空集无解 | `x+y=3` 与 `x+y=5` | 空集（sound 证无解） |
218
+ | 有限解·全部 | 圆 × 双曲线 `x²+y²=4, xy=1` | 4 解全认证 |
219
+ | 有限解·部分 | `sin(20x)=0.5, sin(20y)=0.5`（域 [-30,30]） | 多解 + `truncated` 横幅 |
220
+ | 无限解·推荐 | `x+y=3` | 无限集，推荐 (1.5,1.5) |
221
+
222
+ ---
223
+
224
+ ## 文档
225
+
226
+ - [docs/ARCHITECTURE.md](./docs/ARCHITECTURE.md) —— 产品现状：数学框架 / 结构框架 / 代码框架 / 算法框架 / 处理流程（忠实于真实实现）
227
+ - [CHANGELOG.md](./CHANGELOG.md) —— 能力、边界与修复记录
228
+ - 发明专利申请书系列（已提交）
229
+
230
+ ## 许可
231
+
232
+ Apache License 2.0 —— 见 [LICENSE](./LICENSE)。