diff --git a/.github/workflows/tests.yaml b/.github/workflows/tests.yaml
index 7985a00..3206d1b 100644
--- a/.github/workflows/tests.yaml
+++ b/.github/workflows/tests.yaml
@@ -35,12 +35,12 @@ jobs:
       - name: Check snapshot and public contracts
         run: |
           set -euo pipefail
-          test "$(calcit --version)" = "0.34.2"
+          test "$(calcit --version)" = "0.35.1"
           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.34.2, run calcit edit format and inspect definitions through calcit query def.'
+            echo '::error file=calcit.cirru::Snapshot is not canonical. With Calcit 0.35.1, run calcit edit format and inspect definitions through calcit query def.'
             exit 1
           fi
           calcit --warn-dyn-method --check-only --all-defs
diff --git a/README.md b/README.md
index 3936700..cb3c365 100644
--- a/README.md
+++ b/README.md
@@ -4,7 +4,7 @@ Arithmetic
 
 复数运算模块，使用 `[实部, 虚部]` 数字列表；不提供前端资源或服务部署。
 
-使用者影响：CLI 与 `@calcit/procs` 配对升级至正式 **0.34.2**，CI 使用同一版本。
+使用者影响：CLI 与 `@calcit/procs` 配对升级至正式 **0.35.1**，CI 使用同一版本。
 使用者需重新安装依赖并重新生成 JavaScript；模块版本仍为 0.0.1，本 PR 不代表新 tag 或 npm 发布。
 八个公开运算函数已使用具体数字列表合同，没有可直接替换的 Dynamic 联合边界。本轮全部 14 定义、完整 strict（diagnostics=[]）、原 1 项附带测试、原 native/JS 八种运算断言、正式 Caps/toolchain 与 immutable 安装通过。Snapshot 逐字节保持；运算逻辑、公开 `List<Number>` 契约、列表长度约束和原八种运算断言不变。
 没有前端资源，不添加 COS/CDN 配置；保留原全部类型门禁与 native/JavaScript 回放。移除已弃用的 --strict-types 开关，默认严格检查不变。
@@ -30,7 +30,7 @@ Functions:
 
 ### Workflow
 
-需要配对的正式 Calcit / `@calcit/procs` 0.34.2、caps 0.1.1、Node.js 24 和 Yarn 4.18.0：
+需要配对的正式 Calcit / `@calcit/procs` 0.35.1、caps 0.1.1、Node.js 24 和 Yarn 4.18.0：
 
 ```sh
 caps --ci --strict
diff --git a/deps.cirru b/deps.cirru
index 214713d..8291ed0 100644
--- a/deps.cirru
+++ b/deps.cirru
@@ -1,3 +1,3 @@
-{} (:calcit-version |0.34.2)
+{} (:calcit-version |0.35.1)
   :version |0.0.1
   :dependencies $ {}
diff --git a/package.json b/package.json
index d3a08c4..919aaf2 100644
--- a/package.json
+++ b/package.json
@@ -1,7 +1,7 @@
 {
   "version": "0.0.1",
   "dependencies": {
-    "@calcit/procs": "0.34.2"
+    "@calcit/procs": "0.35.1"
   },
   "scripts": {
     "compile": "calcit js",
diff --git a/yarn.lock b/yarn.lock
index b251b08..b22c676 100644
--- a/yarn.lock
+++ b/yarn.lock
@@ -12,15 +12,15 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@calcit/procs@npm:0.34.2":
-  version: 0.34.2
-  resolution: "@calcit/procs@npm:0.34.2"
+"@calcit/procs@npm:0.35.1":
+  version: 0.35.1
+  resolution: "@calcit/procs@npm:0.35.1"
   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/d59000d82051a28f7929671f76c49959fd63d377e2002cf11ae59a73070d6f8f436190007033015cbf6c41245ee7aecc0289d6c081463720c93df604d9bf2d0b
+  checksum: 10c0/c39ab807cdda677cfd9fa9f6ae8adbb468347d5dd85ac38355a27a048cc9a1b7301d4f9c73f3bbf815269ecc7a59d824f61c8c46a9d56ae6a67f3b5cb21be3de
   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.34.2"
+    "@calcit/procs": "npm:0.35.1"
   languageName: unknown
   linkType: soft