lingshu-solver 1.0.3 → 1.0.6

package/LICENSE

@@ -1,206 +1,101 @@
-                                 Apache License
-                           Version 2.0, January 2004
-                        http://www.apache.org/licenses/
-
-   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
-
-   1. Definitions.
-
-      "License" shall mean the terms and conditions for use, reproduction,
-      and distribution as defined by Sections 1 through 9 of this document.
-
-      "Licensor" shall mean the copyright owner or entity authorized by
-      the copyright owner that is granting the License.
-
-      "Legal Entity" shall mean the union of the acting entity and all
-      other entities that control, are controlled by, or are under common
-      control with that entity. For the purposes of this definition,
-      "control" means (i) the power, direct or indirect, to cause the
-      direction or management of such entity, whether by contract or
-      otherwise, or (ii) ownership of fifty percent (50%) or more of the
-      outstanding shares, or (iii) beneficial ownership of such entity.
-
-      "You" (or "Your") shall mean an individual or Legal Entity
-      exercising permissions granted by this License.
-
-      "Source" form shall mean the preferred form for making modifications,
-      including but not limited to software source code, documentation
-      source, and configuration files.
-
-      "Object" form shall mean any form resulting from mechanical
-      transformation or translation of a Source form, including but
-      not limited to compiled object code, generated documentation,
-      and conversions to other media types.
-
-      "Work" shall mean the work of authorship, whether in Source or
-      Object form, made available under the License, as indicated by a
-      copyright notice that is included in or attached to the work
-      (an example is provided in the Appendix below).
-
-      "Derivative Works" shall mean any work, whether in Source or Object
-      form, that is based on (or derived from) the Work and for which the
-      editorial revisions, annotations, elaborations, or other modifications
-      represent, as a whole, an original work of authorship. For the purposes
-      of this License, Derivative Works shall not include works that remain
-      separable from, or merely link (or bind by name) to the interfaces of,
-      the Work and Derivative Works thereof.
-
-      "Contribution" shall mean any work of authorship, including
-      the original version of the Work and any modifications or additions
-      to that Work or Derivative Works thereof, that is intentionally
-      submitted to Licensor for inclusion in the Work by the copyright owner
-      or by an individual or Legal Entity authorized to submit on behalf of
-      the copyright owner. For the purposes of this definition, "submitted"
-      means any form of electronic, verbal, or written communication sent
-      to the Licensor or its representatives, including but not limited to
-      communication on electronic mailing lists, source code control systems,
-      and issue tracking systems that are managed by, or on behalf of, the
-      Licensor for the purpose of discussing and improving the Work, but
-      excluding communication that is conspicuously marked or otherwise
-      designated in writing by the copyright owner as "Not a Contribution."
-
-      "Contributor" shall mean Licensor and any individual or Legal Entity
-      on behalf of whom a Contribution has been received by Licensor and
-      subsequently incorporated within the Work.
-
-   2. Grant of Copyright License. Subject to the terms and conditions of
-      this License, each Contributor hereby grants to You a perpetual,
-      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
-      copyright license to reproduce, prepare Derivative Works of,
-      publicly display, publicly perform, sublicense, and distribute the
-      Work and such Derivative Works in Source or Object form.
-
-   3. Grant of Patent License. Subject to the terms and conditions of
-      this License, each Contributor hereby grants to You a perpetual,
-      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
-      (except as stated in this section) patent license to make, have made,
-      use, offer to sell, sell, import, and otherwise transfer the Work,
-      where such license applies only to those patent claims licensable
-      by such Contributor that are necessarily infringed by their
-      Contribution(s) alone or by combination of their Contribution(s)
-      with the Work to which such Contribution(s) was submitted. If You
-      institute patent litigation against any entity (including a
-      cross-claim or counterclaim in a lawsuit) alleging that the Work
-      or a Contribution incorporated within the Work constitutes direct
-      or contributory patent infringement, then any patent licenses
-      granted to You under this License for that Work shall terminate
-      as of the date such litigation is filed.
-
-   4. Redistribution. You may reproduce and distribute copies of the
-      Work or Derivative Works thereof in any medium, with or without
-      modifications, and in Source or Object form, provided that You
-      meet the following conditions:
-
-      (a) You must give any other recipients of the Work or Derivative
-          Works a copy of this License; and
-
-      (b) You must cause any modified files to carry prominent notices
-          stating that You changed the files; and
-
-      (c) You must retain, in the Source form of any Derivative Works
-          that You distribute, all copyright, patent, trademark, and
-          attribution notices from the Source form of the Work,
-          excluding those notices that do not pertain to any part of
-          the Derivative Works; and
-
-      (d) If the Work includes a "NOTICE" text file as part of its
-          distribution, then any Derivative Works that You distribute must
-          include a readable copy of the attribution notices contained
-          within such NOTICE file, excluding those notices that do not
-          pertain to any part of the Derivative Works.
-
-      You may add Your own copyright statement to Your modifications and
-      may provide additional or different license terms and conditions
-      for use, reproduction, or distribution of Your modifications, or
-      for any such Derivative Works as a whole, provided Your use,
-      reproduction, and distribution of the Work otherwise complies with
-      the conditions stated in this License.
-
-   5. Submission of Contributions. Unless You explicitly state otherwise,
-      any Contribution intentionally submitted for inclusion in the Work
-      by You to the Licensor shall be under the terms and conditions of
-      this License, without any additional terms or conditions.
-      Notwithstanding the above, nothing herein shall supersede or modify
-      the terms of any separate license agreement you may have executed
-      with Licensor regarding such Contributions.
-
-   6. Trademarks. This License does not grant permission to use the trade
-      names, trademarks, service marks, or product names of the Licensor,
-      except as required for reasonable and customary use in describing the
-      origin of the Work and reproducing the content of the NOTICE file.
-
-   7. Disclaimer of Warranty. Unless required by applicable law or
-      agreed to in writing, Licensor provides the Work (and each
-      Contributor provides its Contributions) on an "AS IS" BASIS,
-      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
-      implied, including, without limitation, any warranties or conditions
-      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
-      PARTICULAR PURPOSE. You are solely responsible for determining the
-      appropriateness of using or redistributing the Work and assume any
-      risks associated with Your exercise of permissions under this License.
-
-   8. Limitation of Liability. In no event and under no legal theory,
-      whether in tort (including negligence), contract, or otherwise,
-      unless required by applicable law (such as deliberate and grossly
-      negligent acts) or agreed to in writing, shall any Contributor be
-      liable to You for damages, including any direct, indirect, special,
-      incidental, or consequential damages of any character arising as a
-      result of this License or out of the use or inability to use the
-      Work (including but not limited to damages for loss of goodwill,
-      work stoppage, computer failure or malfunction, or any and all
-      other commercial damages or losses), even if such Contributor
-      has been advised of the possibility of such damages.
-
-   9. Accepting Warranty or Additional Liability. While redistributing
-      the Work or Derivative Works thereof, You may choose to offer,
-      and charge a fee for, acceptance of support, warranty, indemnity,
-      or other liability obligations and/or rights consistent with this
-      License. However, in accepting such obligations, You may act only
-      on Your own behalf and on Your sole responsibility, not on behalf
-      of any other Contributor, and only if You agree to indemnify,
-      defend, and hold each Contributor harmless for any liability
-      incurred by, or claims asserted against, such Contributor by reason
-      of your accepting any such warranty or additional liability.
-
-   END OF TERMS AND CONDITIONS
-
-   APPENDIX: How to apply the Apache License to your work.
-
-      To apply the Apache License to your work, attach the following
-      boilerplate notice, with the fields enclosed by brackets "[]"
-      replaced with your own identifying information. (Don't include
-      the brackets!)  The text should be enclosed in the appropriate
-      comment syntax for the file format. We also recommend that a
-      file or class name and description of purpose be included on the
-      same "printed page" as the copyright notice for easier
-      identification within third-party archives.
-
-   Copyright [yyyy] [name of copyright owner]
-
-   Licensed under the Apache License, Version 2.0 (the "License");
-   you may not use this file except in compliance with the License.
-   You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-   Unless required by applicable law or agreed to in writing, software
-   distributed under the License is distributed on an "AS IS" BASIS,
-   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-   See the License for the specific language governing permissions and
-   limitations under the License.
-
-   ----------------------------------------------------------------------------
-
-   Copyright 2026 广州OPC（红尘灵境）
-
-   Licensed under the Apache License, Version 2.0 (the "License");
-   you may not use this file except in compliance with the License.
-   You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-   Unless required by applicable law or agreed to in writing, software
-   distributed under the License is distributed on an "AS IS" BASIS,
-   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-   See the License for the specific language governing permissions and
-   limitations under the License.
+灵数求解器 (LingShu Solver) 商业授权许可协议
+LingShu Solver Commercial License
+
+Copyright (c) 2026 红尘灵境数字科技有限公司 / 太白（邓其聪）.
+版权所有，保留一切权利。All rights reserved.
+
+--------------------------------------------------------------------------------
+一、著作权与权利保留
+--------------------------------------------------------------------------------
+本软件（包括但不限于源代码、目标代码、二进制文件、文档及随附资料，以下简称
+"本软件"）的著作权及相关知识产权均归上述版权方（以下简称"版权方"）所有。
+除本协议明确授予的有限许可外，任何权利（包括但不限于复制、修改、分发、再许可、
+出租、出借、商业使用、制作衍生作品之权利）均由版权方保留。
+
+--------------------------------------------------------------------------------
+二、非商业性使用（免费）
+--------------------------------------------------------------------------------
+在同时满足下列全部条件的"非商业性使用"范围内，版权方免费授予您一项非独占、
+不可转让、可随时撤销的使用许可：
+  1. 个人学习、研究、教学或技术评测；
+  2. 非营利组织、开源社区或教育机构的内部非营利用途；
+  3. 年营业收入不超过人民币 100 万元的团队，将本软件仅用于内部评估，且同时
+     运行的实例数不超过 3 个。
+上述许可的前提条件：
+  (a) 您须在每一份副本或任何实质性部分中完整保留本版权声明与许可声明；
+  (b) 未经版权方书面同意，不得移除、遮挡或篡改本软件中的任何版权、商标或
+      许可标识；
+  (c) 为互操作性所必须的法定反向工程情形除外，您不得对本软件进行反向工程、
+      反编译或反汇编。
+
+--------------------------------------------------------------------------------
+三、商业使用（须事先取得书面授权）
+--------------------------------------------------------------------------------
+任何"商业使用"均须事先取得版权方签署的书面《商业授权协议》（Commercial
+License），未获书面授权一律禁止。商业使用包括但不限于：
+  - 将本软件用于任何以营利为目的的产品、服务或业务；
+  - 通过 SaaS、云部署、API 或任何其他方式，向第三方提供基于本软件的能力
+    （无论是否收费）；
+  - 将本软件集成、嵌入或捆绑进任何商业发行物、设备或解决方案；
+  - 对本软件进行再分发、转授权或对外提供托管；
+  - 任何超出第二条"非商业性使用"范围的使用。
+未经书面授权的任何商业使用均构成对版权的侵权，版权方保留依法追究全部法律
+责任（包括但不限于停止侵权、损害赔偿及诉讼费用）的权利。
+
+--------------------------------------------------------------------------------
+四、获取商业授权
+--------------------------------------------------------------------------------
+商业授权申请与商务合作，请通过以下渠道联系版权方：
+  联系人：红尘灵境数字科技有限公司 / 太白（邓其聪）
+  邮箱：553420544@qq.com
+  仓库：https://github.com/genesis-plan/lingshu-solver（Issues 亦可用于商务咨询）
+授权范围、地域、期限与费用以双方签署的书面协议为准。
+
+--------------------------------------------------------------------------------
+五、商标与品牌
+--------------------------------------------------------------------------------
+"灵数 / 灵数求解器 / LingShu Solver" 及相关名称、标识为版权方的商标或商号。
+本协议不授予任何商标使用权。未经书面许可，您不得使用上述名称、标识进行任何
+宣传或背书。
+
+--------------------------------------------------------------------------------
+六、无担保与责任限制
+--------------------------------------------------------------------------------
+本软件按"现状"提供，不提供任何明示或默示担保（包括但不限于对适销性、
+特定用途适用性及不侵权的担保）。在任何情况下，无论基于合同、侵权或其他法
+理，版权方均不对因使用或无法使用本软件所产生的任何直接、间接、附带、特殊
+或后果性损害承担责任。
+
+--------------------------------------------------------------------------------
+七、终止
+--------------------------------------------------------------------------------
+若您违反本协议任何条款，本许可自动终止。终止后您须立即停止使用本软件，并
+销毁所持有的全部副本（包括任何备份与衍生作品）。
+
+--------------------------------------------------------------------------------
+八、适用法律
+--------------------------------------------------------------------------------
+本协议受中华人民共和国法律管辖，并按其解释。因本协议产生的争议，提交版权
+方所在地有管辖权的人民法院诉讼解决。
+
+--------------------------------------------------------------------------------
+九、版本适用范围（重要）
+--------------------------------------------------------------------------------
+自 lingshu-solver@1.0.4 起的版本适用本协议。更早版本（含 1.0.3 及此前）曾
+以 Apache License 2.0 发布，该等已发布版本继续按其发布时随附的 Apache
+License 2.0 条款提供，此为历史事实且不可撤回；但其不延伸适用于本协议生效
+后的任何新版本。
+
+--------------------------------------------------------------------------------
+英文摘要 / English Summary
+--------------------------------------------------------------------------------
+Copyright (c) 2026 红尘灵境数字科技有限公司 / 太白（邓其聪）. All rights reserved.
+This software is NOT open source and NOT free for commercial use. Non-commercial
+use (personal study, research, non-profit / educational internal use, or limited
+internal evaluation within a small low-revenue team) is permitted free of charge
+subject to retaining this notice. ANY commercial use requires a prior written
+Commercial License from the copyright holder. Unauthorized commercial use is
+prohibited and constitutes copyright infringement. This license applies to
+lingshu-solver@1.0.4 and later; earlier versions remain under the Apache License
+2.0 as originally distributed. Provided "AS IS" without warranty; liability is
+excluded to the maximum extent permitted by law.

package/README.md

@@ -229,4 +229,10 @@ node test/verify_compliance.js         # 输入门禁专项（20 例）
 
 ## 许可
 
-Apache License 2.0 —— 见 [LICENSE](./LICENSE)。
+**非商业免费 + 商业须书面授权**（自有《灵数求解器商业授权许可协议》，非开源协议）：
+
+- **非商业用途免费**：个人学习/研究/教学/评测，非营利组织与教育机构内部使用，小团队（年营收 ≤100 万元）内部评估（≤3 实例）。
+- **商业用途须事先取得书面授权**：任何以营利为目的的产品/服务/业务、SaaS/云/API 转售、集成嵌入、再分发托管，均须联系版权方（553420544@qq.com）取得《商业授权协议》。
+- **版本适用**：1.0.4 起适用本协议；1.0.3 及更早版本按其发布时的 Apache License 2.0 提供（历史事实，不可撤回，但不延伸至新版本）。
+
+完整条款见 [LICENSE](./LICENSE)。

package/index.html

@@ -5833,6 +5833,9 @@ function suan22(state) {
             _walk1(_eq);
         })();
         if (_lo < _hi) {
+            var _dense = false;  // 修3：根稠密/超时提前终止扫描（防宽域周期方程穷举挂起）
+            var _denseByCount = false;  // 修3：仅由"根数超阈值"触发的稠密标记（用于无限/截断判定，区别于超时触发）
+            var _denseNonPeriodic = false;  // 修3：非周期稠密截断标记（与 periodic→无限 分支互补）
             // ---- 周期感知步长（issue A 修复 2026-09-01）：高频/多周期方程用 < 周期/2 的网格，
             //      确保不漏根；非周期方程回退到 4096 点默认细网格。点数上限 _NMAX 护栏防宽域爆炸。 ----
             var _P = _detectPeriod1D(_eq, _vn);
@@ -5902,8 +5905,11 @@ function suan22(state) {
                             _recScanInterval(_eq, _vn, _gxP, _gx, state, allSolutions, resultVarNames, 0);
                         }
                     }
+                    if (allSolutions.length > 200) { _dense = true; _denseByCount = true; break; }
+                    if ((performance.now() - state.startTime) > 1500) { _dense = true; break; }
                     _gxP = _gx; _gfP = _gf;
                 }
+                if (_dense) break;
                 // 终止端点若有根也记录
                 if (_gfP !== null && Math.abs(_gfP) < 1e-7) {
                     var _fbV = reconstructSolution(state, [_B]).map(roundToGrid);
@@ -5951,6 +5957,31 @@ function suan22(state) {
             if (_dedupMap[_mi]) mergedSolutions.push(_dedupMap[_mi]);
         }
 
+        // 修3（2026-09-04）：稠密根防护——单变量周期方程在宽域内根稠密，
+        // 继续穷举既耗时（曾致 solve 挂起 >110s）又产出无用的海量解集。
+        // 含周期函数且根数超阈值 ⇒ 解集实际为无限（周期平移），如实标 rt=3 无限解集(代表解)；
+        // 非周期但稠密（如高次多项式）⇒ 不谎称无限，置 truncated 并后续告警，诚实返回部分代表根。
+        if (_denseByCount) {
+            if (_P !== null) {
+                state.done = true;
+                state.result = {
+                    solutions: mergedSolutions,
+                    error: null,
+                    message: "单变量周期方程在声明域内出现大量（>" + 200 + "）孤立根，呈周期性稠密分布，解集实际为无限（如 x = x₀ + k·" + _P.toFixed(4) + "）。已给出 " + mergedSolutions.length + " 个代表根；如需有限个解请收窄变量定义域。",
+                    executionPath: "单变量稠密周期根判定(无限解集)",
+                    timeMs: performance.now() - state.startTime,
+                    confidence: "high",
+                    varNames: resultVarNames,
+                    resultType: 3,
+                    resultTypeName: "无限解集(代表解)",
+                    resultTypeDesc: "周期方程在宽域内根稠密，解集为周期平移的无穷集合，已给出代表根"
+                };
+                return;
+            }
+            state.truncated = true;  // 非周期稠密：诚实截断（避免海量/不完整解集），下方 domainFiltered 产出部分代表根
+            _denseNonPeriodic = true;
+        }
+
         // 2) 原始方程回代验证：对每组候选解，代入全部原始方程重新计算残差
         //    二分查找得到的解（_bisect=true）跳过残差验证（区间收敛保证精度）
         var _origEqs = state.originalEquations || state.equations;
@@ -6082,6 +6113,12 @@ function suan22(state) {
                 }
             }
         }
+        // 修3：非周期稠密截断告警（与上方 periodic→无限 分支互补）
+        if (_denseNonPeriodic && state.result) {
+            state.result.warnings = (state.result.warnings || []).concat([
+                "方程在声明域内根数量过多（>" + 200 + "），已截断扫描；结果不完整，缩小变量范围或确认方程规模可获完整解集。"
+            ]);
+        }
     }
 }
 
@@ -6624,7 +6661,13 @@ function _affineEval(ast, env) {
     // 超越函数降级：仿射自变量 → 保守区间函数包围（复用 _rangeEval，无递归环）
     var tmp = { type: 'func', name: ast.name, arg: { type: 'var', name: '__a' } };
     var rv = _rangeEval(tmp, { __a: iv });
-    return rv ? _Aff((rv.min + rv.max) / 2, {}) : null;
+    if (!rv || !isFinite(rv.min) || !isFinite(rv.max)) return null; // 含 ±Inf：交还 _rangeEval 直接给出保守区间
+    // 关键修复（P0-2）：旧实现 return _Aff((rv.min+rv.max)/2, {}) 把合法区间宽度丢成 0，
+    // 致 intervalEval(sin x)@[-2,2] 塌成 [0,0]（unsound：真值须含 [-1,1]）。
+    // 正确做法：用半径 (rv.max-rv.min)/2 的噪声符号把 rv 完整编码为仿射，
+    // 使 _affToInterval 还原为 [rv.min, rv.max]（sound 且紧致），Krawczyk 雅可比随之可信。
+    var e = {}; e[_affSym++] = (rv.max - rv.min) / 2;
+    return _Aff((rv.min + rv.max) / 2, e);
   }
   if (ast.type === 'unary') {
     var u = _affineEval(ast.operand, env);
@@ -11378,7 +11421,11 @@ function _newtonRefine(eqs, vns, x0, box) {
         var F = []; for (var e = 0; e < n; e++) { var fe = evalAST(eqs[e], vmap); if (!isFinite(fe)) return null; F.push(fe); }
         var rms = 0; for (var i2 = 0; i2 < n; i2++) rms += F[i2] * F[i2]; rms = Math.sqrt(rms / n);
         if (rms < 1e-11) return x;
-        var J = []; for (var a = 0; a < n; a++) { J.push([]); for (var b = 0; b < n; b++) { var d = _diffAST(eqs[a], vns[b]); var dv = intervalEval(d, vmap); if (!dv) return null; J[a].push((dv.min + dv.max) / 2); } }
+        // 雅可比区间求导：必须喂退化的点区间 {min:x,max:x}（而非裸点值）。
+        // 旧实现 intervalEval(d, vmap) 把裸数当 iv，iv.min/iv.max 为 undefined → _buildAffEnv 算出 NaN 噪声
+        // → 雅可比整行 NaN → realMatInv 失败 → 本函数对一切良置问题恒返 null（P0-1）。
+        var pmap = {}; for (var i3 = 0; i3 < n; i3++) pmap[vns[i3]] = { min: x[i3], max: x[i3] };
+        var J = []; for (var a = 0; a < n; a++) { J.push([]); for (var b = 0; b < n; b++) { var d = _diffAST(eqs[a], vns[b]); var dv = intervalEval(d, pmap); if (!dv) return null; J[a].push((dv.min + dv.max) / 2); } }
         var Y = realMatInv(J); if (!Y) return null;
         var dX = rMatVec(Y, F);
         for (var j = 0; j < n; j++) x[j] = x[j] - dX[j];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "lingshu-solver",
-  "version": "1.0.3",
+  "version": "1.0.6",
   "description": "灵数求解器 · 确定性实数方程组求解 MCP 工具（≤6变量）：区间收缩 + Krawczyk 认证，离线零依赖零数据，诚实标记 truncated。",
   "homepage": "https://genesis-plan.github.io/lingshu-solver/",
   "repository": {
@@ -10,7 +10,7 @@
   "bugs": {
     "url": "https://github.com/genesis-plan/lingshu-solver/issues"
   },
-  "license": "Apache-2.0",
+  "license": "SEE LICENSE IN LICENSE",
   "keywords": [
     "mcp",
     "math",
@@ -50,6 +50,6 @@
   },
   "scripts": {
     "start": "node mcp-server.js",
-    "test": "node test/regression.js"
+    "test": "node test/p0_fix_regression.js"
   }
 }

package/LICENSE.md

@@ -1,53 +0,0 @@
-# 灵数求解器 软件许可协议（草稿 / DRAFT）
-
-> ⚠️ **本文件为法律文件草稿，须经执业律师复核并定稿后方可采用。** 以下是文本模板与条款框架，不代表已生效的法律意见。
-
-**软件名称**：灵数求解器（Lingshu Solver）
-**著作权人**：红尘灵境数字科技有限公司（以下简称"权利人"）
-**版本**：本仓库当前版本
-
----
-
-## 1. 许可授予
-权利人在遵守本协议的条件下，授予使用者一项**有限的、非独占的、不可转让的、可撤销的**使用权，允许使用者：
-1. 在自有设备上安装、运行本软件（包括但不限于单文件 HTML 形态）；
-2. 为内部研究、教学、工程计算目的使用本软件的输出结果；
-3. 在保留本协议全部内容的前提下，复制并分发本软件的原始未修改副本。
-
-## 2. 使用限制
-未经权利人书面许可，使用者**不得**：
-1. 对本软件进行反向工程、反编译或试图提取源代码（为互操作目的的法律例外除外）；
-2. 移除或遮盖本软件中的著作权、商标或许可声明；
-3. 将本软件用于再许可、出租、托管为对外服务（SaaS）而未另行签约；
-4. 将本软件或其输出用于**安全攸关（safety-critical）场景**（定义见第 6 条）。
-
-## 3. 知识产权
-本软件及其全部源代码、算法、文档、界面设计的著作权及相关知识产权均归权利人所有。本协议不授予任何明示或暗示的专利权许可。
-
-## 4. 无担保（AS IS）
-本软件按"现状"提供，**不附任何明示或暗示担保**，包括但不限于对**适销性、特定用途适用性、不侵权、结果准确性、结果完备性**的担保。权利人明确声明：
-- 在给定计算预算内，本软件采用保守区间算术以尽量确保所有真解被包含于输出集合；
-- 当计算资源（盒子数、分支预算、迭代次数）耗尽时，结果可能不完整，并将以 `truncated` / `UNKNOWN` 等状态字段显式标记；
-- 使用者须自行验证输出是否满足其应用场景的精度与完备性要求。
-
-## 5. 责任限制
-在任何情况下，权利人对因使用或无法使用本软件所导致的**间接、偶然、特殊、后果性损害**（包括利润损失、数据损失、业务中断）不承担责任。权利人的累计赔偿责任不超过使用者为获取本软件所支付的对价（若免费获取，则上限为零）。
-
-## 6. 禁止安全攸关用途
-本软件**不得**用于任何安全攸关、生命健康、重大财产或公共利益攸关的场景，包括但不限于：
-- 交通工具（汽车、航空、轨道交通）的控制或认证；
-- 医疗器械、诊断或治疗决策；
-- 工业控制系统、 nuclear/能源关键设施；
-- 任何若结果错误可能导致人身伤害或重大损失的用途。
-
-在上述场景中使用本软件，须改用经独立功能安全认证（如 ISO 26262 / IEC 61508）的专用版本，并取得权利人书面授权。在本协议签署时，**安全版本尚未通过前述认证**，故本条禁止具有现实约束力。
-
-## 7. 终止
-违反本协议任何条款，本许可自动终止，使用者须删除所有副本。
-
-## 8. 适用法律与争议解决
-本协议受中华人民共和国法律管辖。因本协议产生的争议，提交权利人所在地有管辖权的人民法院诉讼解决。
-
----
-
-*草稿版本 v0.1 — 待执业律师复核。*