From 7f711343e3c280503d8776d0d3a06a7fc083a8e2 Mon Sep 17 00:00:00 2001
From: tiye <jiyinyiyong@gmail.com>
Date: Wed, 28 Oct 2026 14:32:30 +0800
Subject: [PATCH] =?UTF-8?q?=E5=90=8C=E6=AD=A5=20Arithmetic=20=E5=B7=A5?=
 =?UTF-8?q?=E5=85=B7=E9=93=BE=E8=87=B3=E6=AD=A3=E5=BC=8F=20Calcit=200.31.0?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .github/workflows/tests.yaml |  6 +++---
 README.md                    | 11 ++++++-----
 deps.cirru                   |  2 +-
 package.json                 |  2 +-
 yarn.lock                    | 10 +++++-----
 5 files changed, 16 insertions(+), 15 deletions(-)

diff --git a/.github/workflows/tests.yaml b/.github/workflows/tests.yaml
index b4a9cff..6df3330 100644
--- a/.github/workflows/tests.yaml
+++ b/.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
diff --git a/README.md b/README.md
index c175090..5fd93b8 100644
--- a/README.md
+++ b/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 入口契约不变，不为迁移添加断言、验证脚本、依赖安全例外或改写规则。
diff --git a/deps.cirru b/deps.cirru
index 9ba9f08..cd0d79e 100644
--- a/deps.cirru
+++ b/deps.cirru
@@ -1,3 +1,3 @@
-{} (:calcit-version |0.30.1)
+{} (:calcit-version |0.31.0)
   :version |0.0.1
   :dependencies $ {}
diff --git a/package.json b/package.json
index b1e9a31..3ade675 100644
--- a/package.json
+++ b/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",
diff --git a/yarn.lock b/yarn.lock
index a4636e6..3164e4a 100644
--- a/yarn.lock
+++ b/yarn.lock
@@ -12,15 +12,15 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@calcit/procs@npm:0.30.1":
-  version: 0.30.1
-  resolution: "@calcit/procs@npm:0.30.1"
+"@calcit/procs@npm:0.31.0":
+  version: 0.31.0
+  resolution: "@calcit/procs@npm:0.31.0"
   dependencies:
     "@calcit/finger-vec": "npm:0.1.1"
     "@calcit/ternary-tree": "npm:0.0.26"
     "@cirru/parser.ts": "npm:0.0.10"
     "@cirru/writer.ts": "npm:^0.1.9"
-  checksum: 10c0/a0f00e3c0c9b3a5a2aea8b97e09f2692aa25039a48a2f7ccb345801fdbc546cbf3bb34ee268a58526baba9fb697781bb7929a5d1f6622816c9422c6c3ba8537b
+  checksum: 10c0/daa73d722acd302be00f5f83eb91f742025a5323fac01b84222bed0fffef688761c1285637f9d672b74c2b1bb4513b170d4b5dfcc51bd65f1396390bd526ac77
   languageName: node
   linkType: hard
 
@@ -49,6 +49,6 @@ __metadata:
   version: 0.0.0-use.local
   resolution: "root-workspace-0b6124@workspace:."
   dependencies:
-    "@calcit/procs": "npm:0.30.1"
+    "@calcit/procs": "npm:0.31.0"
   languageName: unknown
   linkType: soft