@calcit/procs 0.12.55 → 0.12.57

package/editing-history/2026-04-17-0140-fold-type-predicates.md

@@ -1,44 +0,0 @@
-# Fold type predicates when static type is known
-
-## 背景
-
-`list?` / `map?` / `set?` / `string?` / `number?` / `bool?` / `tag?` / `fn?` /
-`tuple?` / `record?` 这些 type predicate defn 都是 `(&= (type-of x) :xxx)`
-的形式。如果 preprocess 能拿到 `x` 的静态类型，整个调用就可以折叠成一个字面的
-`true` 常量（或者保留运行时 check，但不把 `false` 折叠以保持安全）。
-
-在 WASM / JS codegen 场景下这尤其有收益：谓词出现在 `if` / `cond` 里，
-折叠成常量后整个分支会被后续 dead-code 消除。
-
-## 改动
-
-`src/runner/preprocess/mod.rs::try_specialize_polymorphic_call` 新增一段在
-proc 特化表之前的折叠逻辑：
-
-```rust
-let predicate_true = matches!(
-  (fn_def, receiver_type.as_ref()),
-  ("list?",   T::List(_))
-  | ("map?",    T::Map(_, _))
-  | ("set?",    T::Set(_))
-  | ("string?", T::String)
-  | ("number?", T::Number)
-  | ("bool?",   T::Bool)
-  | ("tag?",    T::Tag)
-  | ("fn?",     T::Fn(_) | T::DynFn)
-  | ("tuple?",  T::Tuple(_) | T::DynTuple)
-  | ("record?", T::Record(_) | T::Struct(_, _))
-);
-if predicate_true { return Some(Calcit::Bool(true)); }
-```
-
-**设计选择**：只折叠“肯定为 true”的情形，不折叠“肯定为 false”的情形。
-原因：`CalcitTypeAnnotation` 枚举有 30+ variant（包括 `Optional`、`Ref`、
-`TypeVar`、`TypeRef`、`Trait` 等等），要列全“除此之外的全部”枚举会很脆弱、
-以后新增 variant 容易漏。保留 runtime check 是安全的 fallback。
-
-## 验证
-
-- `cargo fmt && cargo clippy --release -- -D warnings` ✓
-- `cargo test --release` ✓（179 + 67 测试全通过）
-- `yarn check-all` ✓

package/editing-history/2026-04-17-0154-generic-dispatch-records-tuples.md

@@ -1,52 +0,0 @@
-# Extend generic assoc/nth/get/count/contains?/empty?/first to records & tuples
-
-## 背景
-
-Recollect 升级到 `defstruct` + `%{}` 构造记录后，在 JS 运行时调用 `assoc` /
-`nth` / `get` 等会 fallback 到 `.method`，再经过 `invoke_method` 在
-`structRef.impls` 中查找；但默认构造的 struct 并没有自动挂上 core 的
-`:assoc` / `:nth` / `:get` impls，导致 `Error: No implementation for ... to
-lookup .assoc` 等。
-
-Rust 解释器路径能自动解析到 `&record:*` 内置 proc，所以 `cr --entry test`
-能跑过，但 JS 输出（`cr js` + Node）跑不过。
-
-## 改动
-
-在 `src/cirru/calcit-core.cirru` 的若干 generic 分发函数里显式增加
-`record?` / `tuple?` 分支，直接路由到内置 proc，不再依赖 method lookup：
-
-| 函数        | 新增分支                                                 |
-| ----------- | -------------------------------------------------------- |
-| `assoc`     | `record? -> &record:assoc`, `tuple? -> &tuple:assoc`      |
-| `nth`       | `tuple? -> &tuple:nth`, `record? -> &record:nth`          |
-| `get`       | `tuple? -> &tuple:nth`, `record? -> &record:get`          |
-| `count`     | `tuple? -> &tuple:count`, `record? -> &record:count`      |
-| `contains?` | `record? -> &record:contains?`                           |
-| `empty?`    | `record? -> (&= 0 (&record:count x))`, tuple 同理         |
-| `first`     | `tuple? -> (&tuple:nth x 0)`                             |
-
-这几处与“运行时按 `type-of` 分支”的方向是一致的——在当前 Calcit 语义下
-records / tuples 是独立 kind，本来就应该在 generic 分发里显式处理，而不是
-掉到“最后一条 method lookup” 的兜底里。
-
-与此前添加的 **编译期单态化**（`try_specialize_polymorphic_call`）是互补的：
-当静态类型已知时在预处理阶段直接改写成 proc 调用；静态类型未知时，运行时
-分支也能正确分发到 `&record:*` / `&tuple:*`，而不再需要结构实现端配合
-impls。
-
-## 验证
-
-- `cargo fmt && cargo clippy --release -- -D warnings` ✓
-- `cargo test --release` ✓（179 + 67 全过）
-- `yarn check-all` ✓
-- recollect 全套：
-  - `cr --entry test` ✓
-  - `cr --entry test js && env=ci node test.mjs` ✓（此前 `.assoc` 报错修复）
-  - `cr js && yarn vite build --base=./` ✓
-
-## 后续
-
-随着 Calcit 继续演进，这些 chain-of-if 分发仍然是临时形态。更彻底的做法是
-在预处理阶段通过类型推断消除所有 generic 分发 defn，让核心库只暴露
-`&list:*` / `&map:*` / `&record:*` 等单态 proc —— 见下一步语言简化计划。

package/editing-history/2026-04-17-0520-simplify-generic-defns-via-method-dispatch.md

@@ -1,49 +0,0 @@
-# Simplify generic core defns via `.method` dispatch
-
-## 概要
-
-将 `calcit-core.cirru` 中的泛型 defn（`assoc` / `contains?` / `count` / `empty` / `empty?` / `filter` / `first` / `get` / `includes?` / `nth` / `rest` / `map`）从多分支 `if (list? x) ... if (map? x) ... if (record? x) ...` 链简化为 `list?` 快速路径 + `.method` 动态分发。
-
-## 动机
-
-- 用户要求：优先使用 `.method` 这套已有概念承担多态分发，避免每新增类型（record / tuple / set 等）都要在每个 defn 中追加分支。
-- 所有 built-in 类型已在 `&core-*-methods` 中注册了对应的 `.assoc` `.count` `.empty?` `.get` `.nth` 等方法条目，编译期 `try_inline_method_call` 已能在静态类型已知时把方法调用内联为直接 proc 调用，runtime 则由 `invoke_method` 处理。这使得 defn 自身不再需要枚举类型。
-
-## 实现
-
-以 `empty?` 为例：
-
-```cirru
-defn empty? (x)
-  if (nil? x) true $ if (list? x) (&list:empty? x) (.empty? x)
-```
-
-保留 `nil?` 与 `list?` 两个前置分支，其余类型全部交给 `.empty?`。
-
-**为什么保留 `list?` 快速路径**：
-`ensure_ns_def_compiled(CORE_NS, &init-builtin-impls!)` 在预处理期会展开 `do` 等 macro，其中 `(empty? body)` 会在 impls 还未注册到 runtime 时被调用；若此时 `empty?` 体里就走 `.empty?` → `invoke_method` → `evaluate_symbol_from_program("&core-list-impls", ...)` 会命中 quick-path 失败（循环依赖），导致 panic：
-
-```
-preprocess builtin impls: CalcitErr { kind: Var, msg: "expected symbol `&core-list-impls` from path `calcit.core`, this is a quick path, should succeed", ... }
-```
-
-`list?` 本身只用 `(&= (type-of x) :list)` 等 proc，不依赖 impl 注册，能在 bootstrap 期安全使用，打破循环；其余类型的 methods 此时已构建完毕，可顺利走方法派发。
-
-## 波及范围
-
-- `src/cirru/calcit-core.cirru`：12 个 defn 的 body 瘦身。
-- 预处理期的 `try_specialize_polymorphic_call`（已有）照常将 `(assoc x k v)` 等静态可推断调用折叠为 `&list:assoc`/`&map:assoc` 等 proc。
-- runtime 侧未变：仍由 `invoke_method` + `&core-*-impls` 完成最终派发。
-
-## 验证
-
-- `cargo fmt`
-- `cargo clippy --release -- -D warnings`
-- `cargo test --release`：179 + 67 通过
-- `yarn check-all`：全部 WASM/JS/解释执行测试通过
-- recollect (`cr --entry test` + `cr --entry test js` + `node test.mjs`) ✓
-- respo (`cr --check-only` + `cr js` + `yarn vite build`) ✓
-
-## 备注
-
-- 下一步可以考虑：把那些只剩 `list?` 单分支的 defn 再收拢到一个运行时 primitive，或在 preprocess 阶段对 macro 展开期调用的 `empty?` 等函数强制内联 proc，从而彻底去掉这条 fast path。

package/editing-history/2026-05-21-0055-tree-show-cr-config-and-edit-cleanup.md

@@ -1,81 +0,0 @@
-# 202605210055 — tree show 可选路径 + cr config 顶级命令 + cr edit 清理
-
-## 修改概要
-
-### 1. `cr tree show` — `-p` 参数改为可选，缺失时警告而非报错
-
-**动机**: Agent 调用 `cr tree show ns/def` 时若忘记 `-p`，原来直接报错导致 token 浪费。
-
-**变更文件**:
-
-- `src/cli_args.rs`: `TreeShowCommand.path` 类型从 `String` → `Option<String>`，doc 注释更新
-- `src/bin/cli_handlers/tree.rs`: `handle_show` 中对 `None` 输出黄色 `[Warn]`，默认使用空路径（root）
-- `src/bin/cli_handlers/command_echo.rs`: `push_tree` Show 分支改用 `opt "path"` 宏处理 Option 类型
-
-**效果**:
-
-```
-$ cr calcit.cirru tree show "ns/def"
-[Warn] No path (-p) specified; showing from root. Use -p '0' to start from a child node.
-Type: list (4 items)
-...
-```
-
----
-
-### 2. `cr config` — 顶级配置管理命令
-
-**动机**: `cr query config`、`cr query modules`、`cr edit config`、`cr edit add-module`、`cr edit rm-module` 分散在不同子命令下，操作配置需要记忆多个入口。新增统一入口 `cr config`。
-
-**新命令**:
-| 命令 | 等价旧命令 |
-|---|---|
-| `cr config show` | `cr query config` |
-| `cr config modules` | `cr query modules` |
-| `cr config version [value]` | `cr edit config version ...` |
-| `cr config set <key> <value>` | `cr edit config <key> <value>` |
-| `cr config add-module <path>` | `cr edit add-module <path>` |
-| `cr config rm-module <path>` | `cr edit rm-module <path>` |
-
-`cr config version` 可独立使用（无参数显示当前版本，传 `patch/minor/major` 递增，传 semver 直接设置）。
-
-**变更文件**:
-
-- `src/cli_args.rs`: 添加 `CalcitCommand::Config`、`ConfigCommand`、`ConfigSubcommand`（含 `ConfigVersionCommand`）及各子命令 struct
-- `src/bin/cli_handlers/config.rs`: 新建，实现 `handle_config_command` 及各子命令处理函数（含 `handle_version`）
-- `src/bin/cli_handlers/edit.rs`: `parse_semver_value`、`bump_semver_value` 改为 `pub(crate)`
-- `src/bin/cli_handlers/mod.rs`: 注册 `mod config` 并 re-export `handle_config_command`
-- `src/bin/cli_handlers/command_echo.rs`: 添加 `config_name`、`push_config`，并在 `should_echo_command` / `render_command_echo` 中处理 `Config` 变体
-- `src/bin/cr.rs`: 添加 `CalcitCommand::Config` 分支
-
----
-
-### 3. `cr edit` 清理 — 移除已迁移至 `cr config` 的子命令
-
-**动机**: `cr edit add-module`、`cr edit rm-module`、`cr edit config` 与新增的 `cr config` 重复，保持单一职责。
-
-**删除内容**:
-
-- `EditSubcommand::AddModule / RmModule / Config` 及对应 struct（`cli_args.rs`）
-- `handle_add_module / handle_rm_module / handle_config` 函数体（`edit.rs`）
-- `command_echo.rs` 中 `edit_name` 和 `push_edit` 两处 match 的三个变体
-
-**保留**（被 `config.rs` 和单元测试引用）:
-
-- `pub(crate) fn parse_semver_value` — semver 字符串解析
-- `pub(crate) fn bump_semver_value` — patch/minor/major 递增
-
-**文档更新**:
-
-- `docs/run/agent-advanced.md` "模块和配置" 章节、快速参考示例 → 全部改为 `cr config` 命令
-- `docs/CalcitAgent.md` 第 9 节"cr 能力地图" → 新增"配置管理"条目
-
----
-
-## 知识点
-
-- `argh` 中将 `#[argh(option)]` 字段类型改为 `Option<T>` 可使该选项变为可选
-- `pub(crate)` 可在同一 crate 内跨模块共享；被其他模块引用时，不能因删除调用方而一并删除
-- 新增顶级命令时需同步更新 `command_echo.rs` 的三处：`should_echo_command`、`render_command_echo`（名称映射和 token push）
-- 移除 enum 变体时，需同时检查 `command_echo.rs` 的两处 match（`edit_name` 和 `push_edit`）
-- 单元测试也会引用函数，删除前要 grep `tests` 模块确认

package/editing-history/2026-05-31-2052-macro-schema-roundtrip-and-weak-types.md

@@ -1,6 +0,0 @@
-- refined weak-types reporting in `cr analyze weak-types` to classify schema/code hits with detail paths
-- tightened builtin proc signatures for list/map/set/buf-list helpers toward generic compound types
-- kept `field-match` / `record-match` macro schema inputs precise in `calcit-core` while preserving round-trip behavior
-- fixed macro schema serialization to keep non-dynamic returns like `:record` instead of dropping them during snapshot save/load
-- aligned bare marker tag parsing for `:record` and related special tags with schema normalization behavior
-- updated docs and parser tests to current wrapped schema / guidebook-loading behavior

package/editing-history/2026-05-31-2105-map-generic-weak-types-followup.md

@@ -1,15 +0,0 @@
-- tightened multiple calcit.core snapshot schemas that safely remove weak composite internals without narrowing runtime behavior: typed path lists for `assoc-in`/`get-in`/`dissoc-in`/`update-in`/`contains-in?`, typed collection helpers like `apply`, `join-str`, `foldr-shortcut`, and explicit output map generics for `map-kv` and `pairs-map`
-- corrected one weak-types false lead by changing `keys` from returning `:list` to `:set`, matching runtime/tests and moving that hit out of the list family
-- extended `cr analyze weak-types` to classify nested schema-dynamic shapes/families, include per-definition summaries, split family/shape counts by `arg`/`return` position, and show per-definition `shape@position` contributors for the remaining hotspots
-- confirmed the current lower-bound weak hits under the existing type system: `&record:to-map` for heterogeneous record values; `&tuple:params`, `&cirru-quote:to-list`, `parse-cirru-list`, `&format-ternary-tree`, `&list:flatten`, `format-cirru`, and `format-cirru-one-liner` for mixed list payloads that cannot be soundly collapsed to `list<'T>`
-- verified the final baseline at schema-dynamic=290 with `cargo test --bin cr analyze_weak_types -- --nocapture`, repeated `cargo run --bin cr -- calcit/test.cirru analyze weak-types --ns calcit.core --only schema-dynamic`, and runtime suite checks via `cargo run --bin cr -- calcit/test.cirru`
-- aligned `parse-float` runtime behavior with the existing optional-number schema across Rust and JS: invalid input now yields `nil`/`null` instead of throwing or leaking `NaN`, and added inference coverage in `calcit/test-types-inference.cirru`
-- aligned JS record missing-field behavior with Rust/eval by making `CalcitRecord.get` return `undefined` on absent fields, which keeps top-level `get` and `get-in` optional semantics consistent across runtimes
-- refined preprocess return inference for `calcit.core/get` and `calcit.core/get-in`, so list/string/map/record accesses produce precise `optional<...>` results for literal paths instead of collapsing to broad `dynamic` in the common safe cases
-- tightened the generic matching path so `Struct` annotations and bare `TypeRef` names bind declared type variables consistently when only one side carries applied type arguments, reducing a gap that previously skipped bindings needed by later generic specialization and `:where` checks
-- validated the follow-up with `cargo run --bin cr -- calcit/test-types-inference.cirru`, `cargo test binds_generic_args_from`, `cargo fmt && cargo test binds_generic_args_from`, and `yarn try-rs`
-- added RFC `RFCs/06-01-generic-binding-unification-rfc.md` to document the next step for Rust-like generic binding unification across `Struct` / `Enum` / `TypeRef`, including concrete examples, rollout stages, and the tradeoff that enum support needs deeper metadata changes than the struct-side fix
-- extended the enum-generic foundation end to end: runtime enum metadata now preserves declared generics, `&enum::new` accepts generic parameter lists, and applied named enum annotations like `(:: 'ResultX :number :string)` validate against payload creation instead of being rejected as "enum cannot be generic"
-- fixed the remaining struct declaration gap in the core macros/runtime boundary: `defstruct Box ([] 'T) (:value 'T)` now lowers to a real generics list for `&struct::new`, and generic field annotations are preserved as type forms instead of being evaluated away before runtime parsing
-- documented the current runnable generic data-structure entry points in `docs/features/records.md` and `docs/features/enums.md`, including a high-level generic `defstruct` example and the current stable generic-enum constructor form via `&enum::new`
-- validated the new docs/examples with direct eval smoke checks for the struct and enum snippets, `cargo run --bin cr -- demos/calcit.cirru docs check-md docs/features/records.md`, `cargo run --bin cr -- demos/calcit.cirru docs check-md docs/features/enums.md`, and `cargo run --bin cr -- calcit/test-generics.cirru`

package/editing-history/2026-06-01-0003-update-callback-field-specialization.md

@@ -1,19 +0,0 @@
-# 2026-06-01 00:03 update callback field specialization
-
-## Summary
-
-- specialized `calcit.core/update` call checking so the 3rd callback arg can inherit a known record/struct field type instead of always staying at generic `fn('T) -> 'T`
-- fixed record field inference to resolve `TypeRef`-based struct annotations, not only direct `Record`/`Struct` annotations
-- aligned native `not` proc signature with calcit-core semantics by accepting dynamic input and returning `:bool`
-
-## Why
-
-- `respo` used precise type refs like `'respo.app.schema/Task`, but `infer_record_field_type` only looked through direct `Record`/`Struct` annotations, so `update task :done? not` could not see the field type
-- even after specializing `update`, Rust-side proc metadata still described `not` as `fn(:bool?) -> :bool`, which was stricter and inconsistent with the core schema/docs path
-
-## Validation
-
-- `cargo test specialize_update_uses_record_field_type_for_callback`
-- `cargo run --manifest-path /Users/chenyong/repo/calcit-lang/calcit/Cargo.toml --bin cr -- js` from `respo`
-- `yarn try-rs`
-- `cargo test`

package/editing-history/2026-06-01-2317-data-definition-where-bounds.md

@@ -1,6 +0,0 @@
-- added where-bound metadata to struct and enum definitions, preserving it through parsing, hashing, compare, serialization, and enum prototype reconstruction
-- enforced data-definition generic trait bounds at runtime for `%{}`, `%{}?`, and `%::` by inferring concrete type bindings from record fields and enum payloads
-- kept builtin `Show` satisfaction narrow to builtin value families so function-level missing-impl warnings still fire correctly during preprocess
-- covered the new runtime path with focused Rust tests for accepting and rejecting struct/enum payloads under generic where-bounds
-- validated the calcit side with `cargo test where_bounds --lib`, `yarn check-all`, release `cr` build, and downstream respo compilation via `../../calcit-lang/calcit/target/release/cr js`
-- downstream follow-up in respo needed one explicit `assert-type text :string` for the `Op::update` payload under the stricter enum payload check

package/editing-history/2026-06-02-0114-data-definition-where-macro-followup.md

@@ -1,21 +0,0 @@
-## Summary
-
-- restored high-level `defstruct` / `defenum` where-map syntax end to end after the Rust/runtime work landed
-- aligned JS runtime parsing in `ts-src/calcit.procs.mts` so `defstruct` / `defenum` skip optional generics and where-map entries before parsing fields or variants
-- kept the smoke test in `calcit/test-enum.cirru` on the high-level syntax and reran broad validation
-
-## Knowledge Points
-
-- the JS-emitted high-level data-definition forms do not preserve where-map heads as a stable plain symbol; the first item may be a runtime function alias or even an unresolved value shape, so detecting where-map entries by exact head identity is brittle
-- a safer JS-side strategy is structural detection: after an optional generics list, treat a list as a where-map form when its head is not a tag/symbol/string and the remaining items are all 2-item pairs
-- for current JS codegen, generic parameter lists arrive as a simple list of `CalcitSymbol`s, so the runtime parser can ignore that leading entry without needing full type-variable reconstruction
-
-## Validation
-
-- `cargo fmt`
-- `cargo test where_bounds --lib`
-- `cargo run --bin cr -- calcit/test-enum.cirru`
-- `yarn compile && yarn try-js`
-- `yarn try-rs`
-- `yarn try-ir`
-- `yarn try-wasm`

package/editing-history/2026-06-03-0000-check-md-edn-errors.md

@@ -1,5 +0,0 @@
-# check-md 与 EDN 报错（2026-06-03）
-
-- `collect_check_md_module_paths`：用 `extract_modules_from_edn` 只读 `configs.modules`，避免对旧格式大快照（如 `demos/calcit.cirru` 的 `%Expr` 代码字段）做全量 `load_snapshot_data`。
-- `check-md`：`prepare_program_for_snippet` 以 entry 快照为底、最后写入 `app.main`；no-run 优先编译片段里的 `app.main` defs；片段若全是顶层 `def/defn/defcomp/...` 则拆成多个 `CodeEntry`（`create_file_from_snippet`）。
-- `data/edn.rs`：反序列化失败时在 `got:` 里把旧 `%Expr`/`%Leaf` 还原为格式化 Cirru（约 520 字上限），`snapshot`/`call_stack` 错误预览走同一套。

package/editing-history/2026-06-03-1600-check-md-entry-modules.md

@@ -1,6 +0,0 @@
-# 2026-06-03 check-md entry modules 与文档校验改进
-
-- `cr docs check-md` 现在默认读取 `entry`（如 `demos/calcit.cirru`）里的 `configs.modules`，并与 CLI 的 `--dep` 合并去重，避免每次手动重复传依赖。
-- `check-md` 的 `no-run` 模式在找不到默认入口定义时，增加了对 `app.*` 命名空间定义的回退编译检查，提升示例片段可检性。
-- 更新 `check-md` 帮助文案，明确 `--dep` 是额外依赖，默认依赖来自 `entry configs.modules`。
-- 新增单元测试覆盖 `entry modules + --dep` 合并去重逻辑，并通过 `docs check-md` 实测验证 `respo` 文档在不显式传 `--dep` 时可通过。

package/editing-history/2026-06-04-0000-check-md-app-main-init.md

@@ -1,6 +0,0 @@
-# 2026-06-04 check-md 入口加载与 app.main 注入
-
-- `prepare_program_for_snippet` 加载 entry snapshot 失败时不再回退空 snapshot，改为直接报错。
-- `extract_modules_from_edn` 对畸形 `configs.modules` 返回明确 EDN 预览，不再静默忽略。
-- check-md 注入片段固定使用 `app.main/main!`，避免误跑 entry 项目的 `:init-fn`（如 memof 测试套件）。
-- `docs/run/cli-options.md` 注明 Run 模式使用 `app.main/main!`。

package/editing-history/2026-06-04-2218-compiled-executable-runtime-backfill.md

@@ -1,6 +0,0 @@
-# 2026-06-04 compiled executable runtime backfill
-
-- `resolve_runtime_or_compiled_def` materialized compiled executable defs without seeding runtime, so repeated symbol lookup rebuilt fresh `Fn` values.
-- Fresh `Fn` ids broke caches keyed by functions, reproducing in `memof` where `memof1-call` and `memof1-call-by` missed cache hits under `cr calcit.cirru`.
-- `materialize_compiled_executable_payload` now writes the resolved executable back into runtime-ready storage, preserving stable function identity across lookups.
-- Program tests now assert runtime backfill for compiled executable resolution and `memof` plain `cr` execution passes again with the patched binary.

package/editing-history/2026-06-09-0000-with-type-slot-scoped-binding.md

@@ -1,83 +0,0 @@
-# with-type: 局部作用域类型绑定
-
-日期：2026-06-09
-
-## 功能概要
-
-实现 `with-type-slot` 表达式，允许在局部代码块范围内绑定 type-slot，替代全局 `bind-type` 的全局副作用。
-
-## 语法
-
-```cirru
-with-type-slot (:slot-name TypeExpr)
-  body-expr1
-  body-expr2
-  ...
-```
-
-- 第一个参数必须是二元列表 `(:slot-name TypeExpr)`
-- 后续参数是 body 表达式
-- 返回最后一个 body 表达式的值
-
-## 与 bind-type 的对比
-
-| 特性 | bind-type | with-type-slot |
-|------|-----------|-----------|
-| 作用域 | 全局（整个预处理 pass） | 局部（仅 body 范围内） |
-| 是否可重叠 | 单次绑定，不可重复 | 可嵌套，栈式覆盖 |
-| 使用位置 | 通常在 main! 最顶部 | 任意代码块 |
-
-## 实现细节
-
-### 修改文件
-
-1. **`src/calcit/type_annotation.rs`**
-   - 新增 `TYPE_SLOT_OVERRIDES` thread-local（HashMap of Vec）
-   - 新增 `push_type_slot_override(name, ty)`：压栈一个作用域覆盖
-   - 新增 `pop_type_slot_override(name)`：弹栈，自动清理空栈
-   - 修改 `resolve_type_slot`：优先检查 override 栈，再回退到基础 `TYPE_SLOTS`
-   - 修改 `clear_type_slots`：同时清理 override 栈
-
-2. **`src/calcit/proc_name.rs`**
-   - 添加 `WithType` 枚举变体（strum serialize = "with-type"）
-   - `get_type_signature` 返回 `None`（type-checking 在预处理阶段处理）
-
-3. **`src/builtins.rs`**
-   - 添加 `WithType => meta::with_type_runtime(args)` dispatch
-
-4. **`src/builtins/meta.rs`**
-   - 添加 `with_type_runtime()` 运行时 no-op（返回最后一个 body 值）
-
-5. **`src/runner/preprocess/mod.rs`**
-   - 新增 `preprocess_with_type_block()` 函数：
-     - 解析 binding pair → 解析类型注解
-     - push override → 预处理 body → pop override（错误时也 pop）
-   - 在 `preprocess_list_call` 中：在 generic `Calcit::Proc` 分支之前插入 `WithType` 特殊分支
-
-6. **`src/calcit.rs`**
-   - re-export `push_type_slot_override`, `pop_type_slot_override`
-
-### 运行时行为
-
-`with-type-slot` 在运行时是 no-op：类型绑定仅影响预处理阶段的类型检查，不影响运行时值。运行时返回最后一个 body 表达式的值。
-
-### 预处理时机
-
-`with-type-slot` 的 body 在 override 激活期间被预处理。由于 `ensure_ns_def_compiled` 是懒加载的，所有从 body 中引用的 def（包括传递依赖）都会在 override 有效时被编译，从而获得正确的类型检查。
-
-## 验证
-
-使用 calcium-workflow 项目验证：将 `app.client/main!` 从 `bind-type` 改写为 `with-type-slot`：
-
-```cirru
-;; 改写前
-defn main! () (bind-type :dispatch-op Op)
-  ...
-
-;; 改写后
-defn main! ()
-  with-type-slot (:dispatch-op Op)
-    ...
-```
-
-运行 `cr calcit.cirru --check-only` 验证通过：`✓ Check passed (59ms)`

package/editing-history/2026-06-09-1241-remove-bind-type.md

@@ -1,64 +0,0 @@
-# 2026-0609-1241 移除 bind-type（Breaking Change）
-
-## 概要
-
-彻底移除 `bind-type` 内置过程，所有类型槽绑定统一使用 `with-type-slot`。
-
-## 动机
-
-`bind-type` 是全局绑定，每个槽只能绑定一次，多入口项目（client/server）会产生冲突或需要分程序加载。`with-type-slot` 提供了基于词法作用域的替代方案，在入口函数体内局部绑定，天然支持多入口并行编译。
-
-## 删除范围
-
-### Rust 核心
-
-| 文件 | 改动 |
-|------|------|
-| `src/calcit/proc_name.rs` | 删除 `BindType` 枚举变体及其 `ProcTypeSignature` |
-| `src/calcit/type_annotation.rs` | 删除 `bind_type_slot()` 函数（`TYPE_SLOTS` 仍保留用于 `deftype-slot` 声明） |
-| `src/calcit.rs` | 删除 `bind_type_slot` 的 re-export |
-| `src/builtins.rs` | 删除 `BindType => meta::bind_type(args)` dispatch arm |
-| `src/builtins/meta.rs` | 删除 `bind_type()` 函数及其 `bind_type_slot` 导入 |
-| `src/runner/preprocess/mod.rs` | 删除 `BindType` 预处理块（~90 行）及 `precompile_bind_type_defs()` 函数 |
-| `src/lib.rs` | 删除 `precompile_bind_type_defs` 调用 |
-| `src/program.rs` | 删除 `calcit_contains_bind_type()` 及 snapshot 任务排序中的优先级逻辑 |
-| `src/codegen/emit_js.rs` | 从 JS codegen no-op 分支中移除 `BindType` |
-
-### 测试与固件
-
-| 文件 | 改动 |
-|------|------|
-| `calcit/type-fail/type-slot-bind-duplicate.cirru` | **删除**（测试已无法成立） |
-| `calcit/type-fail/type-slot-bind-unknown.cirru` | **删除**（`with-type-slot` 不需要预先声明） |
-| `calcit/type-fail/type-slot-enum-invalid-variant.cirru` | `bind-type` → `with-type-slot (:dispatch-op Action)` |
-| `calcit/type-fail/type-slot-record-call-arg-type-mismatch.cirru` | `bind-type` → `with-type-slot (:payload ...)` |
-| `calcit/type-fail/type-slot-entry-scope.cirru` | `bind-type` → `with-type-slot` |
-| `src/bin/cr_tests/type_fail.rs` | 删除 `type_fail_type_slot_fixtures_report_errors` 测试；更新注释 |
-
-### 文档
-
-| 文件 | 改动 |
-|------|------|
-| `docs/features/static-analysis.md` | "Binding a Type Slot" 章节改用 `with-type-slot` 说明 |
-
-### 外部项目
-
-| 文件 | 改动 |
-|------|------|
-| `calcium-workflow/calcit.cirru` (`app.server/main!`) | `(bind-type :dispatch-op Op)` → `with-type-slot (:dispatch-op Op)` |
-
-## 验证
-
-- `cargo build --bin cr` — 零警告、零错误
-- `cargo clippy -- -D warnings` — 通过
-- `cargo test` — 85 个测试全部通过
-- `calcium-workflow --check-only`（client + server 入口）— 均通过
-
-## 迁移指南
-
-将所有 `bind-type :slot-name TypeExpr` 替换为：
-
-```cirru
-with-type-slot (:slot-name TypeExpr)
-  ;; 原来在 bind-type 之后的代码全部作为 body
-```

package/editing-history/2026-06-09-1800-core-effect-tags.md

@@ -1,57 +0,0 @@
-# calcit-core / RegisteredProcDescriptor effect tags
-
-## 概要
-
-为 `cr analyze effects-graph` 静态分析补充 effect 标记，数据源分两处、tag 名称统一：
-
-1. **`calcit-core.cirru`** — builtin CodeEntry 的 `:tags`
-2. **宿主注入 proc** — `RegisteredProcDescriptor.tags`（`HashSet<EdnTag>`）
-
-RFC `06-15-effects-graph-rfc.md` §4.2 已同步完整 tag 约定表。
-
-## calcit.core Tag 分类
-
-| Tag | 目标 |
-|-----|------|
-| `:state` | `defatom`, `atom`, `reset!`, `swap!`, `deref`, `ref?`, `add-watch`, `remove-watch`, `&atom:deref`, `&buf-list:*`, `&buffer`, `deftype-slot`, `with-type-slot` |
-| `:io` | `read-file`, `write-file`, `get-env`, `cpu-time`, `&get-os`, `&get-calcit-*`, `generate-id!` |
-| `:file` | `read-file`, `write-file`（与 `:io` 叠加） |
-| `:env` | `get-env`（与 `:io` 叠加） |
-| `:control` | `raise`, `quit!`, `try`；`assert`/`assert=`/`assert-detect`（失败时 `raise` + `eprintln`） |
-| `:log` | `&display-stack`, `with-cpu-time`（宿主 `println`/`eprintln`/`echo` 见下节） |
-| `:meta` | `&get-def-doc`, `&get-def-schema`, `macroexpand*`, `assert-type`, `deftype-slot`, `with-type-slot`, `&data-to-code`, `&extract-code-into-edn` |
-| `:async` | `hint-fn` |
-| `:watch` | `add-watch`, `remove-watch`（与 `:state` 叠加） |
-| `:effect` | `&doseq` |
-| `:interop` | `eval`, `js-object` |
-
-## RegisteredProcDescriptor
-
-`println` / `eprintln` / `echo` **不能**在 core 中用 `&runtime-implementation` 建 stub（会与 `has_def_code` 冲突）；改由 descriptor 标记。
-
-### API
-
-- `builtins::proc_tags(["log", "io"])` — 构建 tag 集合
-- `registered_proc_descriptor(name)` / `list_registered_procs()` / `registered_proc_has_tag(name, tag)`
-- `cr query host-procs [--tag :log]`
-
-### 已标记注入 proc
-
-| Proc | Tags |
-|------|------|
-| `println` / `eprintln` / `echo` | `:log` `:io` |
-| `&call-dylib-edn*` | `:interop` `:io` |
-| `async-sleep` | `:io` |
-| `on-control-c` | `:control` `:io` |
-
-### 其它实现细节
-
-- `inject_platform_apis()` 幂等；在 `main` 开头调用，保证 `cr query` 可见已注入 proc。
-
-## 查询示例
-
-```bash
-cr src/cirru/calcit-core.cirru query defs calcit.core --tag :state
-cr src/cirru/calcit-core.cirru query defs calcit.core --tag :meta
-cr calcit/test.cirru query host-procs --tag :log
-```

package/editing-history/2026-06-10-1200-get-def-doc-schema-builtin.md

@@ -1,7 +0,0 @@
-# &get-def-doc / &get-def-schema
-
-- 新增 `&get-def-doc`、`&get-def-schema` 内置函数，参数为 `ns/def` 字符串或 symbol。
-- Rust/eval 运行时通过 `program::lookup_def_doc` / `lookup_def_schema` 读取已加载定义的 `:doc` 与 `:schema`。
-- `snapshot::schema_annotation_to_edn` 统一 schema 转 EDN。
-- calcit-js 标记为 unavailable，不生成 def-meta 注册表，避免 js-out 膨胀。
-- 测试：`calcit/test-def-meta.cirru`，仅在 `inside-eval:` 下运行。

package/editing-history/2026-06-15-1500-effects-graph-mvp.md

@@ -1,30 +0,0 @@
-# `cr analyze effects-graph` Phase A MVP
-
-## 概要
-
-实验性只读分析命令，从入口定义递归分解 State / Transform / Effect 三维信息。
-
-## 实现
-
-- 新模块 `src/effects_graph.rs`：`EffectsGraphAnalyzer` 遍历 `PROGRAM_CODE_DATA`，复用 call-tree 可达性模式。
-- Tag 来源：`load_core_snapshot()` 的 `calcit.core` `:tags` + `RegisteredProcDescriptor.tags`。
-- CLI：`cr analyze effects-graph [--root ns/def] [--format tree|json] [--detail summary|full|minimal] ...`
-- 测试夹具：`calcit/test-effects-graph.cirru`
-
-## 路径修正
-
-RFC 文件名统一为 `RFCs/06-15-effects-graph-rfc.md`（原 `06-10-...` 已手动纠正）。
-
-## 已知限制（Phase B）
-
-- `mermaid` 输出未实现
-- `--infer-missing` 未实现
-- `detail full|minimal` 暂未差异化输出
-- Respo 专用规则（`render!`、`d!`）仅靠 `!` 启发式
-
-## 输出格式（2026-06-15 更新）
-
-- **默认 `--format sketch`**：聚合 birdview 文本（State / Lifecycle / Effects 通道 / Data flow）
-- 自动 `--ns-prefix` 推断为 `app.`（从入口 ns 首段）
-- 默认 `--max-depth 2`；库代码不展开
-- `--format mermaid` / `tree` 仍可用