lingshu-solver 1.0.13 → 1.0.14

package/http-mcp-server.js

@@ -47,7 +47,7 @@ const solverCore = require('./solver-core');
 const { solve } = solverCore;
 
 const SERVER_NAME = 'lingshu-solver';
-const SERVER_VERSION = '1.0.13';
+const SERVER_VERSION = '1.0.14';
 const PORT = parseInt(process.env.PORT || '3000', 10);
 
 // ---- 护栏常量（防畸形/恶意输入耗尽资源，与 stdio 版一致）----
@@ -736,6 +736,7 @@ function shapeResult(r) {
       tier: s.tier || 'unknown',
       certified: !!s.certified,
       text: text,
+      cert: s.cert || null,
       internals: {
         residual: detF(s.residual),
         certifiedRadius: detF(s.certifiedRadius)
@@ -786,6 +787,8 @@ function shapeResult(r) {
     recommended: recommendedClean,
     solutions: cleanSols,
     warnings: r.warnings || [],
+    reportId: meta.reportId || r.reportId || null,
+    certification: r.certification || null,
     diagnostics: diagnostics
   };
 }

package/index.html

@@ -11192,7 +11192,7 @@ function _runTail(state) {
 
 // —— 可审计结构化溯源（切片A）：每个结果附带完整证据链元数据 ——
 // 设计目标：Agent / 上层系统拿到的不只是裸数字，而是"为什么是这个解"的可读证据链。
-var SOLVER_VERSION = "lingshu-solver/1.0.13";
+var SOLVER_VERSION = "lingshu-solver/1.0.14";
 
 // —— 确定性可复现契约（Certified Real-Root Computation 六属性之「确定性可复现」）——
 // 纯 JS 同步 SHA-256（零依赖，浏览器/Node 通用，免 Web Crypto 异步）。

package/mcp-server.js

@@ -19,7 +19,7 @@ const path = require('path');
 const { solve } = require('./solver-core');
 
 const SERVER_NAME = 'lingshu-solver';
-const SERVER_VERSION = '1.0.13';
+const SERVER_VERSION = '1.0.14';
 
 // ---- 护栏常量（防畸形/恶意输入耗尽资源）----
 const MAX_TOTAL_CHARS = 100 * 1024;   // 单次请求方程文本总长上限 100KB
@@ -73,6 +73,7 @@ function shapeResult(r) {
       tier: s.tier || 'unknown',
       certified: !!s.certified,
       text: text,
+      cert: s.cert || null,
       internals: {
         residual: detF(s.residual),
         certifiedRadius: detF(s.certifiedRadius)
@@ -115,6 +116,8 @@ function shapeResult(r) {
     recommended: recommendedClean,
     solutions: cleanSols,
     warnings: r.warnings || [],
+    reportId: meta.reportId || r.reportId || null,
+    certification: r.certification || null,
     diagnostics: diagnostics
   };
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "lingshu-solver",
-  "version": "1.0.13",
+  "version": "1.0.14",
   "description": "灵数求解器 · 确定性实数方程组求解 MCP 工具（≤6变量）：区间收缩 + Krawczyk 认证，离线零依赖零数据，诚实标记 truncated。本地 stdio 永久免费；另有常驻托管端点 https://hongchenlingjing.com/mcp（按次 ¥0.01/次，支持 honorPaid 免费放行）。",
   "homepage": "https://genesis-plan.github.io/lingshu-solver/",
   "repository": {