@calcit/procs 0.13.27 → 0.13.28

package/README.md

@@ -20,7 +20,7 @@ Core design:
 Current direction:
 
 - `calcit.cirru` is the primary source snapshot; legacy `compact.cirru` is still compatible
-- CLI-first development with `cr` and `caps`, designed to work well with AI agents in terminal workflows
+- CLI-first development with `calcit` and `caps`, designed to work well with AI agents in terminal workflows
 - Better CLI editing and validation for CI, docs lookup, module management, and incremental updates
 
 ### Install ![GitHub Release](https://img.shields.io/github/v/release/calcit-lang/calcit)
@@ -32,53 +32,57 @@ Build and install with Rust:
 curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
 
 # get Calcit user-facing tools
-cargo install calcit --bin cr --bin caps
+cargo install calcit --bin calcit --bin caps
 ```
 
 Installed binaries:
 
-- `cr`, the runtime and JS compiler
+- `calcit`, the runtime and JS compiler
 - `caps`, for downloading dependencies declared in `deps.cirru`
 
 When installing from source, install the same public tools:
 
 ```bash
-cargo install --path . --bin cr --bin caps
+cargo install --path . --bin calcit --bin caps
 ```
 
-To use Calcit in GitHub Actions, try [setup-cr](https://github.com/calcit-lang/setup-cr).
+For new GitHub Actions workflows, use [setup-calcit@v1](https://github.com/calcit-lang/setup-calcit). It
+installs `calcit` and creates a lightweight `cr -> calcit` compatibility link for existing workflow commands;
+for pre-rename releases it falls back to `cr` and exposes the equivalent `calcit` command.
+Local installations ship only `calcit`; migrate local scripts directly instead of relying on a wrapper. Existing
+[setup-cr](https://github.com/calcit-lang/setup-cr) workflow tags remain supported.
 
 ### Quick Start
 
 Evaluate snippets:
 
 ```bash
-cr eval 'range 100'
+calcit eval 'range 100'
 
-cr eval 'thread-first 100 range (map $ \ * % %)'
+calcit eval 'thread-first 100 range (map $ \ * % %)'
 ```
 
 Run with a runtime snapshot such as `calcit.cirru` (legacy filename: `compact.cirru`):
 
 ```bash
-cr calcit.cirru # run once (default)
-cr compact.cirru # legacy filename still works
+calcit calcit.cirru # run once (default)
+calcit compact.cirru # legacy filename still works
 
-cr # by default, it picks `calcit.cirru`, then falls back to `compact.cirru`
+calcit # by default, it picks `calcit.cirru`, then falls back to `compact.cirru`
 
-cr -w # watch mode (explicit flag required)
+calcit -w # watch mode (explicit flag required)
 ```
 
 By default Calcit reads `:init-fn` and `:reload-fn` from `calcit.cirru` configs (falling back to `compact.cirru`). You may also specify functions:
 
 ```bash
-cr --init-fn='app.main/main!' --reload-fn='app.main/reload!'
+calcit --init-fn='app.main/main!' --reload-fn='app.main/reload!'
 ```
 
 You may also configure `:entries` in `calcit.cirru`:
 
 ```bash
-cr --entry server
+calcit --entry server
 ```
 
 ### JavaScript codegen
@@ -86,8 +90,8 @@ cr --entry server
 Calcit compiles to JavaScript with consistent semantics. In browser or Node projects, JavaScript interop is still expected.
 
 ```bash
-cr js # compile to js, also picks `calcit.cirru` by default
-cr js --emit-path=out/ # compile to js and save in `out/`
+calcit js # compile to js, also picks `calcit.cirru` by default
+calcit js --emit-path=out/ # compile to js and save in `out/`
 ```
 
 By default, js code is generated to `js-out/`. You will need Vite or Node to run it, from an entry file:
@@ -104,11 +108,11 @@ The recommended workflow is plain text editing plus CLI validation, often driven
 Common commands:
 
 ```bash
-cr docs agents --full   # read the current agent workflow guide
-cr query search 'foo'   # locate code by symbol or string
-cr edit ...             # structured edits for defs, imports, config, modules
-cr js                   # compile once
-cr js -w                # watch mode
+calcit docs agents --full   # read the current agent workflow guide
+calcit query search 'foo'   # locate code by symbol or string
+calcit edit ...             # structured edits for defs, imports, config, modules
+calcit js                   # compile once
+calcit js -w                # watch mode
 caps                    # install/update dependencies from deps.cirru
 ```
 
@@ -118,20 +122,16 @@ Related examples and workflows:
 
 - [Minimal Calcit](https://github.com/calcit-lang/minimal-calcit/blob/main/README.md)
 - [Respo Calcit Workflow](https://github.com/calcit-lang/respo-calcit-workflow)
-- [setup-cr](https://github.com/calcit-lang/setup-cr) for GitHub Actions
+- [setup-calcit](https://github.com/calcit-lang/setup-calcit) for new GitHub Actions workflows
 
 ### Modules
 
 `deps.cirru` declares dependencies that need to download, which correspond to repositories on GitHub. Specify a branch or a tag:
 
 ```cirru
-{}
-  :calcit-version |0.9.11
-  :dependencies $ {}
-    |calcit-lang/memof |0.0.11
-    |calcit-lang/lilac |main
-  :dev-dependencies $ {}
-    |calcit-lang/calcit-test |0.1.0
+{} (:calcit-version |0.9.11)
+  :dependencies $ {} (|calcit-lang/memof |0.0.11) (|calcit-lang/lilac |main)
+  :dev-dependencies $ {} (|calcit-lang/calcit-test |0.1.0)
 ```
 
 Run `caps` to resolve the recursive dependency graph and install it. Immutable revisions are stored under
@@ -148,11 +148,11 @@ Root projects install both `:dependencies` and `:dev-dependencies`. Recursive re
 `:dependencies`, so test and maintenance modules declared by a dependency do not leak into consumers.
 Use `caps add --dev <org/repo>@<ref>` and `caps remove --dev <org/repo>` to manage the development group.
 
-`:calcit-version` helps with version checks and provides hints in [CI](https://github.com/calcit-lang/setup-cr).
+`:calcit-version` helps with version checks and provides hints in [CI](https://github.com/calcit-lang/setup-calcit).
 
 To load modules, use `:modules` configuration and the runtime snapshot file `calcit.cirru` (legacy: `compact.cirru`):
 
-```cirru
+```cirru.no-check
 :entries $ {}
   :default $ {}
     :modules $ [] |memof/calcit.cirru |lilac/
@@ -178,16 +178,16 @@ Local validation commands:
 
 ```bash
 # run tests in Rust
-cargo run --bin cr -- calcit/test.cirru
+cargo run --bin calcit -- calcit/test.cirru
 
 # run tests in Node.js
-cargo run --bin cr -- calcit/test.cirru js && yarn try-js
+cargo run --bin calcit -- calcit/test.cirru js && yarn try-js
 
 # run snippet
-cargo run --bin cr -- eval 'range 100'
+cargo run --bin calcit -- eval 'range 100'
 
 # internal compiler/WASM validation when working on this repository
-cargo run --bin cr -- calcit/test.cirru ir
+cargo run --bin calcit -- calcit/test.cirru ir
 yarn try-wasm
 ```
 

package/RFCs/02-04-runtime-traits-plan.md

@@ -31,7 +31,7 @@ Snapshot schema 暂时只保存 symbol 形式的 trait reference。预处理在
 
 ### Inherent method bag
 
-历史写法允许把 tag 传给 `defimpl`。它继续产生 originless method bag，并参与 `.method` 查找，以保证旧项目可运行；但它不是 trait impl，不能满足能力约束。`cr edit format` 对此给出非阻断迁移告警。
+历史写法允许把 tag 传给 `defimpl`。它继续产生 originless method bag，并参与 `.method` 查找，以保证旧项目可运行；但它不是 trait impl，不能满足能力约束。`calcit edit format` 对此给出非阻断迁移告警。
 
 这个边界取代旧的“class/prototype”概念：底层仍复用有序 impl record 作为方法表，但语言层不再把方法存在性当作 trait 身份。
 

package/RFCs/02-17-register-platform-api-rfc.md

@@ -95,7 +95,7 @@ descriptor 已用于统一校验：
 
 ## 6. 验收标准（当前版本）
 
-1. `dylib-workflow` 在旧命名下可直接 `cr -1` 通过。
+1. `dylib-workflow` 在旧命名下可直接 `calcit -1` 通过。
 2. `call_registered_proc` 校验（arity/platform/callback）持续生效。
 3. ABI 版本保持 `0.0.9` 且调用链稳定。
 4. 相关测试保持通过（Rust tests + workflow 冒烟）。

package/RFCs/02-18-language-theory-evolution-plan.md

@@ -81,7 +81,7 @@
 可接受改动层级（按优先顺序）：
 
 - 第一层：文档规范、元数据结构、CI 检查。
-- 第二层：preprocess 诊断、`cr` 子命令扩展。
+- 第二层：preprocess 诊断、`calcit` 子命令扩展。
 - 第三层：runtime 文案增强（不改求值语义）。
 
 不建议在早期做的事：
@@ -200,7 +200,7 @@
 
 给开发流程增加一条轻量入口：
 
-- `cr doctor`（草案）或现有命令扩展，汇总当前文件“下一步可修复项”。
+- `calcit doctor`（草案）或现有命令扩展，汇总当前文件“下一步可修复项”。
 
 ### Phase C DoD
 
@@ -311,7 +311,7 @@
 
 建议改动：
 
-- 增加一个命令入口（可在 `cr` 子命令或测试脚本中实现）用于执行 law-check。
+- 增加一个命令入口（可在 `calcit` 子命令或测试脚本中实现）用于执行 law-check。
 - 先对 1 个 trait 做样板（建议 `Monoid` 或 `Semigroup`）。
 - 输出为 warning，不阻断主流程。
 

package/RFCs/03-05-function-schema-dual-track-rfc.md

@@ -99,18 +99,18 @@
 
 ## parse 校验示例
 
-文档里保留的 schema 示例应至少能被 `cr` 解析。
+文档里保留的 schema 示例应至少能被 `calcit` 解析。
 
 主示例：
 
 ```bash
-cr demos/calcit.cirru cirru parse-edn "(:: :fn ({} (:generics ([] 'T 'U)) (:where ({} ('T Eq))) (:args ([] 'T :number)) (:rest :number) (:return (:: :tuple :ok 'U))))"
+calcit demos/calcit.cirru cirru parse-edn "(:: :fn ({} (:generics ([] 'T 'U)) (:where ({} ('T Eq))) (:args ([] 'T :number)) (:rest :number) (:return (:: :tuple :ok 'U))))"
 ```
 
 运行时数据验证：
 
 ```bash
-cr demos/calcit.cirru eval "let ((schema (:: :fn ({} (:generics ([] 'T 'U)) (:where ({} ('T Eq))) (:args ([] 'T :number)) (:rest :number) (:return (:: :tuple :ok 'U)))))) (println schema) (println (type-of schema)) , schema"
+calcit demos/calcit.cirru eval "let ((schema (:: :fn ({} (:generics ([] 'T 'U)) (:where ({} ('T Eq))) (:args ([] 'T :number)) (:rest :number) (:return (:: :tuple :ok 'U)))))) (println schema) (println (type-of schema)) , schema"
 ```
 
 ## 顶层定义与局部定义的分工

package/RFCs/03-18-query-def-tree-show-chunked-display-plan.md

@@ -1,4 +1,4 @@
-# `cr query def` / `cr tree show` 分片展示方案
+# `calcit query def` / `calcit tree show` 分片展示方案
 
 ## 目标
 
@@ -26,9 +26,9 @@
 
 ### 基线：直接整块输出
 
-当前的 `cr query def` 会一次性打印完整定义。
+当前的 `calcit query def` 会一次性打印完整定义。
 
-当前的 `cr tree show` 会打印目标子树，然后列出直接子节点路径。
+当前的 `calcit tree show` 会打印目标子树，然后列出直接子节点路径。
 
 这个方案在小表达式上没有问题，但面对大表达式时会出现这些缺点：
 
@@ -134,7 +134,7 @@ let
 
 ## 预期交互
 
-### `cr query def`
+### `calcit query def`
 
 对于较小定义：
 
@@ -147,7 +147,7 @@ let
 - 先打印根片段，再按坐标顺序打印拆出的片段；
 - 每个片段展示：坐标、节点数、最大深度、Cirru 内容。
 
-### `cr tree show`
+### `calcit tree show`
 
 对于较小子树：
 
@@ -163,7 +163,7 @@ let
 
 ## CLI 参数设计
 
-这些参数应同时提供给 `cr query def` 和 `cr tree show`：
+这些参数应同时提供给 `calcit query def` 和 `calcit tree show`：
 
 - `--chunk-target-nodes <n>`：每个片段理想节点数；
 - `--chunk-max-nodes <n>`：停止继续细分前允许的软上限；
@@ -251,7 +251,7 @@ let
 把文档示例统一调整为优先使用点号路径，例如：
 
 ```bash
-cr tree show ns/def --path '3.2.1'
+calcit tree show ns/def --path '3.2.1'
 ```
 
 逗号兼容只在合适位置说明一次，不重复铺满全文。
@@ -284,16 +284,16 @@ cr tree show ns/def --path '3.2.1'
 
 1. 先写这份方案文档。
 2. 在 Rust 中加入可复用的分片与路径辅助逻辑。
-3. 把分片渲染接入 `cr query def`。
-4. 把分片渲染接入 `cr tree show`。
+3. 把分片渲染接入 `calcit query def`。
+4. 把分片渲染接入 `calcit tree show`。
 5. 加入点号路径兼容。
 6. 更新文档，主推点号路径。
 7. 用 `find-children-diffs` 做真实案例验证，并微调默认值。
 
 ## 验收标准
 
-- `cr query def` 在大定义上默认输出分片结果；
-- `cr tree show` 在大子树上默认输出分片结果；
+- `calcit query def` 在大定义上默认输出分片结果；
+- `calcit tree show` 在大子树上默认输出分片结果；
 - 两个命令都支持 `--chunk-target-nodes`；
 - 两个命令都接受点号路径；
 - 逗号路径保持兼容；

package/RFCs/04-13-type-slot-mechanism-rfc.md

@@ -38,7 +38,7 @@ Type slot 是 Calcit 为避免在 UI 框架、dispatch 回调等调用链中大
 | B3. slot 使用声明命名空间作为身份 | 暂缓 | Schema/序列化可能 Breaking | 跨库同名冲突 |
 | B4. 未绑定 slot 不再静默退化 | 暂缓 | 行为 Breaking | 防止类型检查悄悄失效 |
 
-现有 `with-type-slot` 源码仍可继续使用，但新项目应通过 `cr config set-type-slot` 维护 entry 配置。实现 entry 配置 **不代表批准** 显式环境对象、缓存指纹或 namespaced identity 的重构预算；这些内容仍需满足第 8.7 节的证据门槛。
+现有 `with-type-slot` 源码仍可继续使用，但新项目应通过 `calcit config set-type-slot` 维护 entry 配置。实现 entry 配置 **不代表批准** 显式环境对象、缓存指纹或 namespaced identity 的重构预算；这些内容仍需满足第 8.7 节的证据门槛。
 
 ## 3. 背景与原始动机
 
@@ -306,10 +306,10 @@ evaluate(with-type-slot body) -> 在遇到 dependency 时临时影响编译
 命名 entry 不继承 `:entries.default.type-slots`。这里使用完整 definition path，而不是在配置解析阶段求值任意 Calcit expression，因此配置可序列化、可查询，也不依赖入口函数的执行顺序。对应命令为：
 
 ```bash
-cr config set-type-slot :dispatch-op app.schema/Op
-cr config set-type-slot --entry server :dispatch-op app.schema/ServerOp
-cr config type-slots --entry server
-cr config rm-type-slot --entry server :dispatch-op
+calcit config set-type-slot :dispatch-op app.schema/Op
+calcit config set-type-slot --entry server :dispatch-op app.schema/ServerOp
+calcit config type-slots --entry server
+calcit config rm-type-slot --entry server :dispatch-op
 ```
 
 程序加载模块后验证 type path 存在，再在任何 definition 预处理前安装所选 entry 的绑定。局部 `with-type-slot` 兼容形式仍可覆盖 entry 默认值，但新入口不需要 wrapper。
@@ -435,7 +435,7 @@ Type slot 不只影响 warning；它还可能参与 enum tuple 识别和类型
 
 - 已增加 `:type-slots` 配置；
 - `with-type-slot` 继续可用并始终在预处理阶段擦除；
-- `cr config type-slots [--entry name]` 展示 bindings；
+- `calcit config type-slots [--entry name]` 展示 bindings；
 - `set-type-slot` / `rm-type-slot` 提供安全的 snapshot 修改入口；
 - 未绑定 slot 暂时保持 `:dynamic` 兼容行为；
 - `TypeSlotEnvId` 和自动提取 wrapper 的迁移命令尚未实现。
@@ -451,7 +451,7 @@ defn main! () $ with-type-slot (:dispatch-op Op)
 迁移后：
 
 ```cirru
-;; cr config set-type-slot :dispatch-op app.schema/Op
+;; calcit config set-type-slot :dispatch-op app.schema/Op
 defn main! ()
   setup!
   render-app!
@@ -507,7 +507,7 @@ yarn check-agent-interface
 yarn check-all
 ```
 
-涉及 CLI 查询、编辑或类型分析时，再使用新构建的 `cr` 在 Respo 等真实项目回归。应验证 Respo 的 entry 配置能让大量 `d! $ :: ...` 调用共享同一 `Op` 检查，并验证旧的多 body 兼容 form 生成 JS 不再依赖 `do`。
+涉及 CLI 查询、编辑或类型分析时，再使用新构建的 `calcit` 在 Respo 等真实项目回归。应验证 Respo 的 entry 配置能让大量 `d! $ :: ...` 调用共享同一 `Op` 检查，并验证旧的多 body 兼容 form 生成 JS 不再依赖 `do`。
 
 ## 12. 备选方案
 
@@ -552,8 +552,8 @@ yarn check-all
 为避免 type slot 再次成为只能从生成代码猜测的隐藏状态，当前已经提供面向人的只读查询：
 
 ```bash
-cr config type-slots
-cr config type-slots --entry server
+calcit config type-slots
+calcit config type-slots --entry server
 ```
 
 后续若 Agent 接口确有需要，再增加单 JSON 的机器输出，例如：

package/RFCs/05-12-program-diff-rfc.md

@@ -1,4 +1,4 @@
-# RFC: `cr analyze program-diff <GIT REF>`
+# RFC: `calcit analyze program-diff <GIT REF>`
 
 状态：Draft
 日期：2026-05-12
@@ -9,9 +9,9 @@
 
 新增命令：
 
-- `cr analyze program-diff <GIT REF>`
+- `calcit analyze program-diff <GIT REF>`
 
-该命令从 Git 中读取指定版本的完整运行时快照文件（默认沿用当前 `cr` 的输入文件路径，优先 `calcit.cirru`，兼容旧文件名 `compact.cirru`），确保**历史版本**与**当前工作区版本**都能被正确解析为 Calcit snapshot，然后做**结构化 diff**。
+该命令从 Git 中读取指定版本的完整运行时快照文件（默认沿用当前 `calcit` 的输入文件路径，优先 `calcit.cirru`，兼容旧文件名 `compact.cirru`），确保**历史版本**与**当前工作区版本**都能被正确解析为 Calcit snapshot，然后做**结构化 diff**。
 
 输出目标不是纯文本行 diff，而是面向程序结构的树形 diff：
 
@@ -37,13 +37,13 @@
 ## 3. 命令定义
 
 ```/dev/null/rfc.txt#L1-2
-cr analyze program-diff <GIT REF>
+calcit analyze program-diff <GIT REF>
 ```
 
 语义：
 
 - `<GIT REF>` 可以是 `HEAD~1`、tag、branch、commit SHA 等；
-- 当前侧使用 `cr` 输入路径（默认优先 `calcit.cirru`，兼容旧文件名 `compact.cirru`）；
+- 当前侧使用 `calcit` 输入路径（默认优先 `calcit.cirru`，兼容旧文件名 `compact.cirru`）；
 - 历史侧使用 `git show <ref>:<repo-relative-input-path>` 读取文件内容；
 - 两边都必须先经过：
   1. `cirru_edn::parse`
@@ -71,7 +71,7 @@ Summary 示例：
 
 ### 4.2 树形 diff 约定
 
-参考 `cr analyze call-graph` 的树形展示风格，继续使用：
+参考 `calcit analyze call-graph` 的树形展示风格，继续使用：
 
 - `├──`
 - `└──`
@@ -190,7 +190,7 @@ list 内部子节点对比采用“带替换代价的序列对齐”策略：
 - patch 应用；
 - HTML/TUI 交互界面；
 - 抽取到 `cirru_parser` crate；
-- 和 `cr tree show` / `cr query def` 的统一 chunk/diff UI。
+- 和 `calcit tree show` / `calcit query def` 的统一 chunk/diff UI。
 
 ## 9. 后续可能扩展
 

package/RFCs/06-15-effects-graph-rfc.md

@@ -1,4 +1,4 @@
-# RFC: `cr analyze effects-graph` — State / Transform / Effect 分解图
+# RFC: `calcit analyze effects-graph` — State / Transform / Effect 分解图
 
 状态：Draft  
 日期：2026-06-15  
@@ -11,7 +11,7 @@
 新增分析命令：
 
 ```bash
-cr analyze effects-graph [--root ns/def] [options...]
+calcit analyze effects-graph [--root ns/def] [options...]
 ```
 
 从**入口定义**（默认 `:init-fn`）出发，把程序（及其可达子函数）分解为三类信息，并输出一张可递归展开的分析图：
@@ -227,7 +227,7 @@ defn render-once (ui) $
 - `&doseq` (`:effect`) → body 内 effect 边展开
 - `println` (`:log` `:io`) → `[:console]`
 
-宿主注入 proc 通过 `RegisteredProcDescriptor.tags`（`HashSet<EdnTag>`，与 core `:tags` 同名）声明；可用 `cr query host-procs [--tag :log]` 查看。
+宿主注入 proc 通过 `RegisteredProcDescriptor.tags`（`HashSet<EdnTag>`，与 core `:tags` 同名）声明；可用 `calcit query host-procs [--tag :log]` 查看。
 
 ---
 
@@ -236,7 +236,7 @@ defn render-once (ui) $
 ### 5.1 语法
 
 ```bash
-cr analyze effects-graph [options]
+calcit analyze effects-graph [options]
 ```
 
 与 `call-graph` 对齐的选项：
@@ -316,9 +316,9 @@ flowchart LR
 
 推荐工作流：
 
-1. `cr analyze call-graph` — 看清**可达定义集合**
-2. `cr analyze effects-graph` — 在同一入口上读**语义分解**
-3. `cr analyze check-types --infer-missing` + `effects-graph --infer-missing` — 补齐 schema
+1. `calcit analyze call-graph` — 看清**可达定义集合**
+2. `calcit analyze effects-graph` — 在同一入口上读**语义分解**
+3. `calcit analyze check-types --infer-missing` + `effects-graph --infer-missing` — 补齐 schema
 
 ---
 
@@ -326,7 +326,7 @@ flowchart LR
 
 ### 6.1 模块划分
 
-新增 `src/effects_graph.rs`（库模块），CLI 入口挂到 `cr analyze`（`cli_args.rs` / `cr.rs`），与 `call_tree` 并列。
+新增 `src/effects_graph.rs`（库模块），CLI 入口挂到 `calcit analyze`（`cli_args.rs` / `calcit.rs`），与 `call_tree` 并列。
 
 ```
 effects_graph/
@@ -358,7 +358,7 @@ effects_graph/
 3. 替换：字面量 → `_`；长字符串 → `"..."` ；大块 `quote` → `⟨quoted⟩`
 4. 生成 `summary`：优先 `doc` 首句，否则模板 `"let×N, if×M, calls K"`
 
-`full` 模式：输出类似 `cr tree show --chunked` 的分片骨架（见 `03-18-query-def-tree-show-chunked-display-plan.md`），但不输出完整叶子。
+`full` 模式：输出类似 `calcit tree show --chunked` 的分片骨架（见 `03-18-query-def-tree-show-chunked-display-plan.md`），但不输出完整叶子。
 
 ### 6.4 类型补全（`--infer-missing`）
 
@@ -379,7 +379,7 @@ effects_graph/
     :effects $ [] :render :console
 ```
 
-与 `cr edit` 集成留作 Phase C。
+与 `calcit edit` 集成留作 Phase C。
 
 ---
 
@@ -389,7 +389,7 @@ effects_graph/
 
 **交付**：
 
-- [x] `cr analyze effects-graph` tree + json 输出
+- [x] `calcit analyze effects-graph` tree + json 输出
 - [x] 入口可达分析（复用 `CallTreeAnalyzer` 可达集）
 - [x] State：`param` / `return` / `local` / `atom` 基础识别
 - [x] Effect：builtin proc 表（core 全覆盖）
@@ -412,9 +412,9 @@ effects_graph/
 
 - [x] `RegisteredProcDescriptor.tags`（与 core `:tags` 对齐）
 - [ ] `defeffect` 语法落地（可选）
-- [ ] `cr analyze effects-graph-diff <git-ref>`（对齐 `program-diff`）
-- [ ] Agent 指南：`cr docs agents` 增加 effects-graph 工作流
-- [ ] 与 `query def` 联动：`cr query def ns/def --view effects`
+- [ ] `calcit analyze effects-graph-diff <git-ref>`（对齐 `program-diff`）
+- [ ] Agent 指南：`calcit docs agents` 增加 effects-graph 工作流
+- [ ] 与 `query def` 联动：`calcit query def ns/def --view effects`
 
 ---
 
@@ -451,7 +451,7 @@ app.comp.container/comp-container
 | 层级 | 内容 |
 |------|------|
 | 单元测试 | `classify_effect`, `extract_state_ports`, `compress_transform` |
-| 集成测试 | 对 `calcit/test-effects-graph.cirru` 跑 `cr analyze effects-graph --format json`，快照比对 |
+| 集成测试 | 对 `calcit/test-effects-graph.cirru` 跑 `calcit analyze effects-graph --format json`，快照比对 |
 | 回归 | 不改变现有 `call-graph` / `check-types` 行为 |
 | 可选 | msg-buffer / respo 手工验收（不纳入 CI 硬依赖） |
 
@@ -492,7 +492,7 @@ app.comp.container/comp-container
 
 ## 13. 验收标准（Phase A）
 
-- [ ] `cargo run --bin cr -- calcit/test.cirru analyze effects-graph` 成功退出
+- [ ] `cargo run --bin calcit -- calcit/test.cirru analyze effects-graph` 成功退出
 - [ ] 输出包含 entry 的 state / transform / effect 三节
 - [ ] `read-file` 调用归类为 `io/read`，不落在 transform 摘要正文中
 - [ ] `--format json` 可被 `jq` 解析，节点含 `fqn`、`kind`