Skip to content

Releases: SixId666/dsh-math-plugin

dsh-math 1.0.3 (market packaging layout)

Choose a tag to compare

@SixId666 SixId666 released this 19 Oct 04:31
Immutable release. Only release title and notes can be modified.

Full Changelog: v1.0.2...v1.0.3

dsh-math

Choose a tag to compare

@SixId666 SixId666 released this 03 Oct 08:35
Immutable release. Only release title and notes can be modified.

[1.0.2] - 2026-10-03

首个公开发布版本(GitHub 开源)。

特性

  • 14 个 math_* 工具,接入 214 个数学算子(SymPy / mpmath / NumPy / SciPy),
    覆盖考研数学一:高等数学、线性代数、概率论与数理统计。
  • 独立验证机制:重要结果用与计算不同的途径复核,verification.status 区分
    independent / cross / numeric / unverified 四级。
  • 诚实返回:status 严格区分 ok / partial / unsolved / error,
    绝不把 SymPy 未求值表达式当成功。
  • 成功缓存 + 失败记账:相同参数命中缓存;失败参数被拦下避免无意义重试(可显式 retry: true)。
  • 常驻 Python 引擎:JSON lines over stdio,崩溃自动重建(最多 2 次)。
  • 四类任务模式(纯计算 / 验证找错 / 思路分析 / 完整解题)由自然语言自动识别。

测试期间修复的缺陷(节选,详见 docs/测试报告.md)

  • 关系运算符 >= / <= / != 被静默解析成未定义函数(ast.py 的 _RESERVED 缺 Ge/Le/Ne/Gt/Lt)。
  • abs(x) 被隐式乘法拆成 a*b*s*x。
  • is_unevaluated 引用了不存在的 sp.Solve,导致未求值表达式漏拦。
  • result.approx 从第 13 位起数值错误。
  • numeric_agree 多变量时取同一点导致漏判。
  • 含参二次型 .equals() 挂死。
  • series_sum 只返回 Piecewise 导致幂级数被判 unsolved。
  • y'(x) 撇号解析失败;implicit_diff 变量角色歧义。

测试结论

  • 端到端验收 tests/_test_acceptance.py:111/111 通过,exit 0。
  • 八个专项 tests/_test_special.py:8/8 通过,exit 0。
  • 引擎自检 engine/_selftest_*.py:7 个脚本全部 exit 0。

仓库整理(发布时)

  • 测试脚本移入 tests/,构建/同步脚本移入 scripts/。
  • 清理 _verify/ 下的临时探针脚本与中间产物,保留可复现的证据文件。
  • 补充双语 README、MIT LICENSE、CHANGELOG、requirements.txt、CI、贡献与安全政策。