配对正式 Calcit 0.31.0，保留复数运算与双后端验收

.github/workflows/tests.yaml

@@ -23,7 +23,7 @@ jobs:
         run: corepack enable
       - uses: calcit-lang/setup-calcit@v1.5.0
         with:
-          version: "0.30.1"
+          version: "0.31.0"
           tools: calcit,caps
           caps-version: "0.1.1"
       - name: Install dependencies
@@ -35,12 +35,12 @@ jobs:
       - name: Check snapshot and public contracts
         run: |
           set -euo pipefail
-          test "$(calcit --version)" = "0.30.1"
+          test "$(calcit --version)" = "0.31.0"
           test ! -e compact.cirru
           test ! -e package.cirru
           calcit edit format
           if ! git diff --exit-code --quiet -- calcit.cirru; then
-            echo '::error file=calcit.cirru::Snapshot is not canonical. With Calcit 0.30.1, run calcit edit format and inspect definitions through calcit query def.'
+            echo '::error file=calcit.cirru::Snapshot is not canonical. With Calcit 0.31.0, run calcit edit format and inspect definitions through calcit query def.'
             exit 1
           fi
           calcit --strict-types --warn-dyn-method --check-only --all-defs

README.md

@@ -4,9 +4,10 @@ Arithmetic
 
 复数运算模块，使用 `[实部, 虚部]` 数字列表；不提供前端资源或服务部署。
 
-使用者影响：本轮仅将 `divide-by` 计算末尾索引时的 `count` 改为 `.len`，
-仍读取列表首项与末项，不新增“两元素”校验，不改变原错误、运算或公开 List 契约。
-保持正式 CLI/procs 0.30.1、原八种运算断言及 native/JS 回放；不发新版、不加验证脚本或预算。
+使用者影响：CLI 与 `@calcit/procs` 配对升级至正式 **0.31.0**，CI 使用同一版本。
+使用者需重新安装依赖并重新生成 JavaScript；模块版本仍为 0.0.1，本 PR 不代表新 tag 或 npm 发布。
+本轮不改运算源码、公开 `List<Number>` 契约、列表长度约束或原八种运算断言。
+没有前端资源，不添加 COS/CDN 配置；保留原全部类型门禁与 native/JavaScript 回放。
 
 ### Usages
 
@@ -29,7 +30,7 @@ Functions:
 
 ### Workflow
 
-需要配对的正式 Calcit / `@calcit/procs` 0.30.1、caps 0.1.1、Node.js 24 和 Yarn 4.18.0：
+需要配对的正式 Calcit / `@calcit/procs` 0.31.0、caps 0.1.1、Node.js 24 和 Yarn 4.18.0：
 
 ```sh
 caps --ci --strict
@@ -46,7 +47,7 @@ yarn test
 调用方需要同步改名。极坐标计算使用跨后端 `cos` / `sin`，不再直接调用 JS Math。
 复数运算保留原公式；代码中的 `List<Number>` 契约不证明列表长度，调用方仍需提供有效复数对。
 
-CLI 与 `@calcit/procs` 同步升级至正式 0.30.1。复数除法的旧 `let-sugar` 改为直接的 `let[]` / `let`，
+此前 0.30.1 迁移：复数除法的旧 `let-sugar` 改为直接的 `let[]` / `let`，
 绑定顺序、原公式与公开 API 不变。CI 显式启用严格类型检查和动态方法警告，
 检查全部定义及完整 strict，并要求零弃用调用；保留原有八种运算断言和同一组 native/JavaScript 回放。
 已有数字列表/数字参数/Unit 入口契约不变，不为迁移添加断言、验证脚本、依赖安全例外或改写规则。

deps.cirru

@@ -1,3 +1,3 @@
-{} (:calcit-version |0.30.1)
+{} (:calcit-version |0.31.0)
   :version |0.0.1
   :dependencies $ {}

package.json

@@ -1,7 +1,7 @@
 {
   "version": "0.0.1",
   "dependencies": {
-    "@calcit/procs": "0.30.1"
+    "@calcit/procs": "0.31.0"
   },
   "scripts": {
     "compile": "calcit js",