@calcit/procs 0.12.56 → 0.12.57

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` 仍可用

package/editing-history/2026-06-16-1700-effects-graph-ste-tree.md

@@ -1,84 +0,0 @@
-# effects-graph STE Tree 格式改进
-
-日期: 2026-06-16
-
-## 问题
-
-`cr analyze effects-graph` 默认 `sketch` 格式产出的是项目级鸟瞰图（调用树+聚合 effect/state），而非 RFC 预想的 per-function State/Transform/Effect 分解图。用户无法通过输出快速理解单个函数的功能。
-
-## 改动
-
-### 1. State 提取：从操作名改为目标名
-
-`record_state_operator` 原先记录操作名（如 `swap!`），现改为提取目标 atom 名称（如 `*store`）。
-
-- 新增 `extract_state_target(list, op_name)` 从 AST 列表中提取第一个参数
-- `swap!/reset!/deref/set!` → 提取第一个参数名
-- `defatom/atom` → 提取第一个参数名
-- 修改 `walk_expr` → `inspect_call_head` 传参，传入完整 list
-
-### 2. Effect 分类：添加 Respo 约定函数
-
-`classify_by_name` 新增：
-- `render-app!/mount-app!/rerender-app!/clear-cache!/realize-ssr!` → `render`
-- `send-to-component!/dispatch!` → `lifecycle`
-- `save-store!` → `storage`
-
-`heuristic_effect_kinds` 优化：
-- `unknown/effect!` → `effect`（更简洁）
-- 函数名含 `load/init/setup` 时归类为 `io`
-
-`set!` 加入 `is_state_operator` 和 early-return 列表（之前会被误分类为 effect）
-
-### 3. 深度截断节点保留分析
-
-原先 `max_depth` 到达时直接返回空壳节点（`empty_shell_node`）。
-现改为：始终执行 `analyze_code` 提取 state/effects/transform，仅在 children 构建时跳过。
-新增 `depth_exceeded` 字段标记截断节点。
-
-### 4. STE Tree 格式（`--format tree`）
-
-新增 `format_as_ste_tree` 函数，输出每个函数的 State/Transform/Effect 树形分解：
-
-```
-└── respo.main/main!  [program]
-    ├── State
-    │   ├── atom     *store (write)
-    │   ├── return   unit
-    │   └── watch    *store
-    ├── Transform  (calls: 3)
-    │   ├── → respo.app.core/render-app!
-    │   └── → respo.main/save-store!
-    └── Effects
-        ├── console        println
-        ├── render         render-app!
-        └── storage        save-store!
-```
-
-- `[program]` = 含 effect 的函数
-- `[transform]` = 纯变换函数
-- `[depth limit ↑]` = 深度截断（有分析但无子节点）
-- `(summary)` = 折叠节点的单行摘要（doc + effects）
-
-`cr.rs` 中 `format=tree` 调度改为 `format_as_ste_tree`（原为 `format_for_llm` mermaid）。
-
-### 5. 其他修复
-
-- `birdview_state_labels` 匹配逻辑修复（kind 匹配而非 name 匹配）
-- `effect_channel_name` 新增 `storage`/`lifecycle` 通道映射
-- `ste_state_detail` 对 `return` 类型简化显示（仅类型，不显 "return" 前缀）
-- `node_transform_summary` 修复 doc 与 summary 重复问题
-- `empty_shell_node` 函数删除（不再使用）
-
-## 涉及文件
-
-- `src/effects_graph.rs` — 主要改动
-- `src/bin/cr.rs` — tree 格式调度
-- `src/cli_args.rs` — 无改动（格式字符串不变）
-
-## 验证
-
-- `cargo test effects_graph` — 5/5 通过
-- `cargo clippy -- -D warnings` — 通过
-- `yarn compile` — 通过
-- `cr analyze effects-graph --format tree` on respo — 产出可用的 per-function STE 分解

package/editing-history/2026-06-27-0052-cli-improvements.md

@@ -1,41 +0,0 @@
-## CLI 改进: target-replace → search-replace, 新增 batch-delete, --parent-path
-
-### 改动机
-根据 pudica-schedule-viewer 升级过程中暴露的多次 cr 命令使用痛点:
-
-1. `target-replace` 命名不直观（"目标替换"不如"搜索替换"清晰）
-2. 连续删除多个属性时需要手动从高到低删除，容易出错
-3. 搜索结果的路径是叶子路径，用户需要手动去掉末尾索引得到可编辑父路径
-4. map 属性中用 `$` 编辑的规则未在文档中明确
-
-### 改动清单
-
-**src/cli_args.rs:**
-- `TargetReplace(TreeTargetReplaceCommand)` → `SearchReplace(TreeSearchReplaceCommand)`
-- `#[argh(subcommand, name = "target-replace")]` → `#[argh(subcommand, name = "search-replace")]`
-- 新增 `BatchDelete(TreeBatchDeleteCommand)` 枚举变体
-- 新增 `TreeBatchDeleteCommand` 结构体（`-p` 接受多个路径）
-- `QuerySearchCommand` 新增 `--parent-path` 开关
-
-**src/bin/cli_handlers/tree.rs:**
-- `handle_target_replace` → `handle_search_replace`
-- 新增 `handle_batch_delete`: 按路径降序依次调用 `handle_delete`
-
-**src/bin/cli_handlers/query.rs:**
-- `SearchCommonOpts` 新增 `parent_path: bool` 字段
-- 搜索结果中 `--parent-path` 开启时额外打印父路径
-
-**src/bin/cli_handlers/command_echo.rs:**
-- 更新所有 `TargetReplace` → `SearchReplace` 分发
-- 新增 `BatchDelete` 的三个 match arm
-
-**src/bin/cli_handlers/edit.rs:**
-- 错误提示 `target-replace` → `search-replace`
-
-**src/bin/cli_handlers/docs_tests.rs:**
-- 测试数据中 `target-replace` → `search-replace`
-
-**docs/CalcitAgent.md + 其他文档:**
-- 所有 `target-replace` 替换为 `search-replace`
-- 新增 `batch-delete` 和 `--parent-path` 用法说明
-- 新增 `$` 在属性 map 中的编辑指南

package/editing-history/2026-06-27-0202-docs-indexing-improvements.md

@@ -1,22 +0,0 @@
-## 文档索引改进: abstract 字段 + --summary 模式 + Hub 标记
-
-### 改动内容
-
-**P0: abstract/summary 字段**
-- `GuideDocFrontmatter` 新增 `summary: Option<String>` 字段
-- `parse_doc_frontmatter` 支持解析 `summary:` 键值对
-- `score_metadata_hit` 加入 summary 评分（exact 200，contains 130）
-- 8 个核心文档已添加 summary 描述
-
-**P0: `cr docs search --summary` 模式**
-- `DocsSearchCommand` 新增 `--summary` 开关
-- 搜索时只显示文档标题 + summary，不输出内容片段
-- 无 summary 的文档显示 `(no summary)`
-
-**P0: Hub 标记**
-- 搜索结果中 `kind: hub` 的文档显示 `[Hub]` 前缀
-- 帮助 LLM 快速识别导航页 vs 详细页
-
-**文档更新**
-- `docs-indexing.md` 新增 `summary` 字段规范说明和 `--summary` 用法
-- `docs-validation.md` 新增 `--summary` 和 hub 标记的验证用例

package/editing-history/2026-06-27-0315-file-splits.md

@@ -1,17 +0,0 @@
-## 文档拆分: agent-advanced.md 和 CalcitAgent.md 的部分内容拆成独立文件
-
-### 改动内容
-
-**从 `run/agent-advanced.md` 拆分:**
-- `## 快速开始` 节 (原 lines 24-58) → 新建 `run/quick-start.md` (47行)
-- 原文替换为交叉链接
-
-**从 `CalcitAgent.md` 拆分:**
-- `calcit.cirru EDN 结构` + `deps.cirru` 两节 (原 lines 156-231) → 新建 `run/project-structure.md` (82行)
-- `结构化策略（5 招）` 节 → 新建 `run/structural-strategies.md` (53行)
-- 原文替换为交叉链接
-
-### 新文件
-- `docs/run/quick-start.md` — 新 LLM 快速开始工作流
-- `docs/run/project-structure.md` — calcit.cirru EDN 结构 + deps.cirru
-- `docs/run/structural-strategies.md` — cp/mv/wrap/raise/rewrite 策略

package/editing-history/2026-06-27-0416-agent-advanced-split.md

@@ -1,15 +0,0 @@
-## agent-advanced.md 拆分: CLI 命令和语言基础节替换为交叉链接, 开发调试拆出独立文件
-
-### 改动
-
-**`run/agent-advanced.md` 精简 (1598→807 行, ~49%):**
-
-- `## Calcit CLI 命令` 节 (~508行): 替换为独立文件链接列表，保留 `LLM 辅助：动态方法提示` 和 `复杂表达式分段组装策略` 两个独特子节
-- `## Calcit 语言基础` 节 (~266行): 替换为 cirru-syntax.md / features/tuples.md / features/static-analysis.md 链接，保留 `其他易错点`
-- `## 开发调试` 节 (~99行): 拆出为独立 `run/debugging.md`
-
-**新增文件:**
-- `run/debugging.md` — watcher 监听模式、增量更新、编译检查
-
-### 删除的重复内容
-CLI 命令和语言基础的子节内容在 `run/query.md`、`run/edit-tree.md`、`cirru-syntax.md`、`features/static-analysis.md` 等文件中已有完整覆盖。

package/editing-history/archived/2025-04-12-1453-map-to-record-rewrite.md

@@ -1,33 +0,0 @@
-# 202504121453 - Automatic map-to-record rewrite in preprocessing
-
-## Summary
-
-When a function parameter is typed as a struct type in its schema, but the caller passes a hashmap literal `{}`, the preprocessor now automatically rewrites the hashmap to a record construction `%{}` so that runtime gets a proper record with full type checking.
-
-## Key implementation details
-
-### type_annotation.rs
-- Added `CalcitTypeAnnotation::resolve_to_struct()` — resolves `Struct`, `Record`, `TypeRef("ns/def")`, and `Optional(inner)` variants to concrete `CalcitStruct` definitions
-- Added `resolve_struct_from_program(ns, def)` helper — looks up struct definitions from the program registry via `lookup_runtime_ready_registered` with fallback to `lookup_def_code_registered`
-
-### preprocess.rs
-- Added `try_rewrite_map_args_to_records()` — iterates processed args, checks each against `fn_info.arg_types[idx]`, calls `try_rewrite_single_map_to_record()` for potential rewrites
-- Added `try_rewrite_single_map_to_record()` — validates arg is `List` with `Proc(NativeMap)` head, resolves expected type to struct, validates all keys are tags, builds `[Proc(NativeRecord), Struct(def), k1, v1, ...]`
-- Integration point: `preprocess_list_call()` → `Calcit::Fn` match arm, between arg preprocessing and type checking
-
-### AST transformation
-- Input (hashmap literal): `[Proc(NativeMap), Tag(:x), 10, Tag(:y), 20]`
-- Output (record literal): `[Proc(NativeRecord), Struct(Point2D), Tag(:x), 10, Tag(:y), 20]`
-
-### Rewrite conditions
-- Function has schema with `:args` referencing a struct type (TypeRef, Struct, or Record)
-- Argument is a hashmap literal (`{}`) with tag keys
-- Struct definition is resolvable at preprocess time
-- If any condition fails, argument is left unchanged (safe fallback)
-
-## Test
-- Added `Point2D`, `sum-point`, `check-point-type`, `test-map-to-record` to `calcit/test-record.cirru`
-- `check-point-type` uses `record?` to verify the rewrite produces actual records, not just maps
-
-## Gotcha
-- `cr tree insert-after` can create doubly-nested nodes — always verify with `tree show` after insertion

package/editing-history/archived/2025-04-16-0117-wasm-codegen-and-catalog-update.md

@@ -1,40 +0,0 @@
-# 202504160117 — 优化目录更新 + WASM codegen demo
-
-## 优化目录更新
-
-更新 `drafts/04-15-type-directed-optimization-catalog.md`：
-
-- 标记 P0、P1、P2、P5、P7 为已完成，附 commit hash
-- 标记 P3、P4 为推迟，附推迟原因
-- 更新 Scope 行：从 `TernaryTreeList<ScopePair>` 改为 `Vec<ScopePair>`
-- P5 描述更新为实际采用的 Vec 方案（而非原规划的 O(1) 方案）
-- 新增「执行记录」节替代原「推荐执行顺序」，含基准数据（836ms→718ms，~14%）
-
-## WASM codegen 实验性功能
-
-### 新增文件
-
-- `src/codegen/emit_wasm.rs` — ~440 行 WAT 代码生成器
-- `demos/wasm-demo.cirru` — 示例程序（fibo、factorial、add-two）
-- `docs/wasm-codegen.md` — 使用文档 + 未来改进路线
-
-### 修改文件
-
-- `src/codegen.rs` — 注册 `emit_wasm` 模块
-- `src/cli_args.rs` — 新增 `EmitWasmCommand`（`cr <entry> wasm`）
-- `src/bin/cr.rs` — 新增 `run_wasm_codegen` 入口
-
-### 设计要点
-
-- **纯 WAT 文本输出** — 零额外依赖，不引入 wasm-encoder 等 crate
-- **All-f64 类型策略** — 所有值统一为 f64，Bool 用 1.0/0.0
-- **支持子集** — defn、if、let、算术(&+/&-/&\*/&/)、比较(&</&>/&=)、recur、函数调用
-- **不支持** — 字符串、Record/Map/Set、method dispatch、IO、可变参数
-
-### 验证
-
-- wasmtime compile 验证 WAT 合法
-- wasmtime run 验证 fibo(10)=89、factorial(10)=3628800、add-two(3.5,2.5)=6
-- cargo test 246/246 pass
-- cargo clippy -- -D warnings clean
-- yarn check-all pass

package/editing-history/archived/2025-07-16-0207-wasm-encoder-migration.md

@@ -1,48 +0,0 @@
-# wasm-encoder 迁移：WAT 文本 → 二进制 .wasm
-
-## 概要
-
-将 WASM codegen 从手工拼接 WAT 文本字符串改为使用 `wasm-encoder` crate 直接生成二进制 `.wasm`，
-同时将测试运行时从 wasmtime CLI 替换为 Node.js 内置的 `WebAssembly` API。
-
-## 动机
-
-- wasmtime 是重量级依赖，CI 需要额外安装步骤，且跨版本 CLI 接口不稳定（v14/v25 breaking changes）
-- WAT 字符串拼接容易出错且难以调试
-- Node.js 自带 WebAssembly 运行时，零额外依赖
-
-## 关键知识点
-
-### wasm-encoder 用法
-
-- `wasm-encoder = "0.246.2"`，仅 1 个传递依赖 `leb128fmt`
-- TypeSection → FunctionSection → ExportSection → CodeSection → module.finish()
-- `F64Const` 接受 `Ieee64` 而非 `f64`，需 `Ieee64::from(val)` 包装
-- `Function::new(locals_vec)` + `instruction(&Instruction::...)` + `instruction(&Instruction::End)`
-
-### WASM block depth 追踪
-
-- `br N` 中 N 是相对深度（0 = 当前块）
-- `if` 块会增加一层嵌套，所以在 `if` 内部 `br` 到外层 `loop` 需要 depth=1
-- 解决方案：`WasmGenCtx` 添加 `block_depth` 字段，`emit_if` 时 +1，`recur` 使用 `Br(ctx.block_depth)`
-
-### 两阶段编译
-
-- 函数互调需要预知 fn_index，所以：
-  1. 第一遍：收集函数签名和索引映射 `HashMap<String, u32>`
-  2. 第二遍：编译函数体，失败的函数用 stub `[f64_const(0.0)]` 保持索引稳定
-
-### 比较运算的 i32→f64 转换
-
-- WASM 比较指令（f64.lt/gt/eq）返回 i32
-- 用 `select(1.0, 0.0, cmp_result)` 转为 f64
-- `if` 条件用 `f64.ne(val, 0.0)` 转回 i32
-
-## 修改文件
-
-- `src/codegen/emit_wasm.rs` — 完全重写
-- `scripts/test-wasm.mjs` — 新增 Node.js 测试运行器
-- `scripts/test-wasm.sh` — 简化为生成 + node 调用
-- `.github/workflows/test.yaml` — 移除 wasmtime 安装步骤
-- `Cargo.toml` / `Cargo.lock` — 添加 wasm-encoder
-- `docs/wasm-codegen.md` — 更新文档