@calcit/procs 0.12.55 → 0.12.57

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` — 更新文档

package/editing-history/archived/2025-07-16-1633-wasm-data-structures.md

@@ -1,61 +0,0 @@
-# WASM Data Structures: List, Map, Set + Optional Args + Raise
-
-## Summary
-
-Comprehensive data structure support for WASM codegen: list (16 ops), map (9 ops), set (6 ops), plus `raise` and optional argument handling.
-
-## Changes
-
-### 1. Optional Args (`CalcitArgLabel::OptionalMark`)
-- `compile_fn`: Skip `OptionalMark` markers — they aren't parameters, just annotations. The actual Idx labels become WASM params.
-- Added `fn_arity` map alongside `fn_index` to track each function's WASM arity (counting only `Idx` labels).
-- At call sites (`Calcit::Import`, `Calcit::Symbol`), pad missing optional args with `f64.const 0` (nil) to match target arity.
-- **Key insight**: The Calcit preprocessor doesn't always fill nil for omitted optional args in the code tree; WASM codegen must handle the arity mismatch at the call site.
-
-### 2. Raise
-- `CalcitProc::Raise` → evaluate and drop all args, emit `Instruction::Unreachable`.
-
-### 3. Memory Layouts
-- **List**: `[count:f64] [elem0:f64] [elem1:f64] ...` — size `(1+count)*8`
-- **Map**: `[count:f64] [key0:f64] [val0:f64] [key1:f64] [val1:f64] ...` — size `(1+count*2)*8`
-- **Set**: Same as list — `[count:f64] [elem0:f64] ...`
-
-### 4. Helper Functions
-- `emit_bump_alloc_dynamic(ctx, size_local, ptr_local)` — bump allocator with dynamic size
-- `emit_ptr_to_i32(ctx, expr)` — evaluate expression to i32 pointer in a local
-- `emit_load_count_i32(ctx, ptr)` — load count from first f64 slot as i32
-- `emit_addr_offset(ctx, base, offset)` — compute base+offset into new local
-- `emit_copy_f64_loop(ctx, dst, src, n)` — copy N f64 slots between addresses
-- `emit_ds_count(ctx, args)` — shared count accessor (list/map/set)
-- `emit_ds_empty(ctx, args)` — shared empty? check
-- `emit_alloc_with_count(ctx, count, total_slots)` — allocate and write count header
-
-### 5. List Operations (16)
-- Constructor: `emit_list_new` — `[] elem0 elem1 ...`
-- Access: `emit_list_nth`, `emit_list_first`, `emit_list_rest`
-- Mutation: `emit_list_append`, `emit_list_prepend`, `emit_list_butlast`
-- Slicing: `emit_list_slice`, `emit_list_reverse`, `emit_list_concat`
-- Update: `emit_list_assoc`, `emit_list_dissoc`
-- Query: `emit_list_contains`, `emit_list_includes`
-
-### 6. Map Operations (9)
-- Constructor: `emit_map_new` — `&{} key val ...`
-- Access: `emit_map_get_op` — linear key scan, return value or nil
-- Mutation: `emit_map_assoc` (scan for existing key, branch: update vs append), `emit_map_dissoc` (scan + copy-with-skip)
-- Query: `emit_map_contains`, `emit_map_includes`
-- Transform: `emit_map_to_pairs` — creates list of 2-elem lists (nested allocation in loop)
-
-### 7. Set Operations (6)
-- Constructor: `emit_set_new` — `#{} elem ...`
-- Access: `emit_set_includes` (delegates to list_includes — same layout)
-- Mutation: `emit_set_include` (scan + conditional append), `emit_set_exclude` (scan + copy-with-skip)
-
-## WASM Patterns Used
-- **Copy loop**: `block/loop/br_if/br` with i32 counter for bulk f64 element copying
-- **Scan loop**: Same pattern with `f64.eq` comparison for key/value lookup; `found_idx` local with -1 sentinel
-- **Conditional allocation**: `if/else` for map_assoc (new key vs update) and set_include (already present vs append)
-- **Select instruction**: For boolean returns (`contains?`, `empty?`) — `select(true_val, false_val, condition)`
-
-## Test Results
-- 90 WASM checks (55 existing + 35 new) — all pass
-- 246 cargo tests — all pass

package/editing-history/archived/2026-02-13-1926-docs-tests-followup.md

@@ -1,33 +0,0 @@
-# 2026-02-13 19:26 文档与测试补充（跟进）
-
-## 背景
-
-在完成 trait/macro 相关优化（P1/P2/P3）后，补做“是否需要补充测试与文档”的审计。
-
-## 本次结论
-
-需要补充，且已补最小必要范围：
-
-1. 文档：
-   - `guidebook/docs/features/macros.md`
-     - 增加 `with-gensyms` 用法示例。
-     - 增加 `macroexpand`/`macroexpand-1`/`macroexpand-all` 的展开链路说明（stderr）。
-   - `guidebook/docs/features/traits.md`
-     - 增加 `warn-dyn-method` 下的新增诊断说明。
-     - 明确 `&trait-call` 按 impl 的 trait origin 匹配，而非仅按名称文本匹配。
-
-2. 测试：
-   - `src/calcit/calcit_trait.rs`
-     - 新增 default identity 单测：
-       - `def_ref` 相同 => trait 相等且 hash 一致；
-       - 无 `def_ref` 时走函数元信息 fallback，并校验等价/不等价边界。
-
-## 验证
-
-- `cargo test -q calcit_trait::tests` 通过。
-- `yarn check-all` 通过（本轮补丁后再跑）。
-
-## 经验点
-
-- 文档应及时反映“诊断开关”边界（默认流程 vs `warn-dyn-method`）。
-- identity 规则变化必须配对 hash/eq 回归测试，避免后续 refactor 引入行为漂移。

package/editing-history/archived/2026-02-16-2128-docs-smoke-and-trait-errors.md

@@ -1,20 +0,0 @@
-# Docs smoke cases and trait misuse error normalization
-
-## Summary
-
-- Added executable docs smoke tests for key trait semantics.
-- Integrated smoke tests into main test entry.
-- Normalized high-frequency misuse messages with `Expected/Actual/Fix` guidance.
-- Stabilized cross-runtime smoke assertions so `yarn check-all` passes in both eval and js modes.
-
-## Knowledge points
-
-- `assert-traits` first argument is enforced at preprocess as local-only.
-- `impl-traits` targets definition-level values (`struct`/`enum`), not instances.
-- Error string matching in JS runtime should avoid host-error-dependent formatting; keep strict message-content checks in eval mode.
-
-## Validation
-
-- `cargo fmt`
-- `cargo run --bin cr -- calcit/test.cirru -1`
-- `yarn check-all` (exit code 0)

package/editing-history/archived/2026-02-25-1234-watch-mode-default-once.md

@@ -1,5 +0,0 @@
-# watch mode default-once update
-
-- Unified run mode behavior for `cr`, `cr js`, and `cr ir`: default to once.
-- Added explicit `-w/--watch` switches for top-level direct run and `ir` subcommand.
-- Updated watch-mode related docs in `Agents.md` and `docs/CalcitAgent.md`.

package/editing-history/archived/2026-03-07-1302-calcit-agent-docs-update.md

@@ -1,32 +0,0 @@
-# 2026-03-07 CalcitAgent.md 文档更新
-
-## 修改内容
-
-### 1. 新增 `--no-tips` 全局标志文档
-
-在「主要运行命令」小节中，`cr js --check-only` 之后新增：
-
-```
-- `cr --no-tips <subcommand> ...` - 隐藏所有编辑/查询命令输出的 "Tips:" 提示行（适合脚本/Agent 使用）
-  - 示例：`cr --no-tips demos/calcit.cirru query def calcit.core/foldl`
-```
-
-**背景**：`aa21b3a` 提交新增了 `--no-tips` 全局开关（`TIPS_SUPPRESSED: AtomicBool`，通过 `suppress_tips()` 设置），文档中缺少记录。
-
-### 2. 新增 HOF 高阶函数回调类型检查说明
-
-在「类型标注与检查 → 3. 支持的类型标签」之后，`约定：动态类型标注…` 注释的下方新增章节：
-
-**高阶函数（HOF）回调类型检查：**  
-`foldl`、`sort`、`filter`、`find`、`find-index`、`filter-not`、`mapcat`、`group-by` 等内置 HOF 的回调参数已强制要求 `:fn` 类型，传入非函数值时预处理阶段会触发类型警告。附正/误示例。
-
-**背景**：`aa21b3a` 提交修复了以下两条路径的类型检查：
-
-- Cirru `defn` schema (`calcit-core.cirru`)：`filter-not`/`find`/`find-index`/`foldl`/`foldl'`/`foldl-compare`/`mapcat`/`group-by`/`sort` 的回调参数由 `:dynamic` 改为 `:fn`（部分带泛型注解）
-- `ProcTypeSignature` (`proc_name.rs`)：`Foldl`/`Sort`/`FoldlShortcut`/`FoldrShortcut` 的回调参数 `dynamic` → `some_fn()`/`optional_fn()`
-
-## 知识点
-
-- **文档中不需要描述 `ProTypeSignature` 实现细节**，面向 Agent 只需说明行为：哪些 HOF 要求 `:fn` 参数。
-- **`--no-tips` 定位**：全局开关，放在 subcommand 前；所有 `Tips::print()` 调用均受其控制。
-- CalcitAgent.md 未发现旧 `-s/--stdin` 残留，无需清理。

package/editing-history/archived/2026-03-09-1819-add-test-fail-script.md

@@ -1,5 +0,0 @@
-# add test-fail script
-
-- 在 `package.json` 中新增 `yarn test-fail`，用于日常单独执行 schema/type-fail 相关测试。
-- 该命令当前映射到 `cargo test -q --bin cr type_fail_`，覆盖 `src/bin/cr.rs` 中新增的 fixture 测试。
-- 更新 `calcit/type-fail/README.md`，补充 `yarn test-fail` 的使用说明。

package/editing-history/archived/2026-03-09-1944-split-type-fail-tests.md

@@ -1,8 +0,0 @@
-# split type-fail tests into separate file
-
-- 将 `src/bin/cr.rs` 中与 `type-fail` fixture 相关的 helper 和测试拆分到独立文件 `src/bin/cr_type_fail_tests.rs`。
-- 在 `src/bin/cr.rs` 顶部通过 `#[cfg(test)] mod cr_type_fail_tests;` 挂载测试模块。
-- 保留 `cr.rs` 中的通用 schema/type 覆盖测试，减少主文件体积。
-- 验证通过：
-  - `cargo test -q --bin cr`
-  - `yarn test-fail`

package/editing-history/archived/2026-03-16-1449-profiling-tools-reorg.md

@@ -1,13 +0,0 @@
-# Profiling tools reorganization
-
-## Summary
-
-- Moved profiling scripts from `scripts/` into dedicated `profiling/` directory.
-- Added `profiling/README.md` with end-to-end usage for xctrace and samply workflows.
-- Removed obsolete `scripts/profiling.sh` flamegraph helper script.
-
-## Knowledge notes
-
-- Keep profiling tooling isolated under `profiling/` to reduce script namespace clutter.
-- `samply` profiling should run against built `target/*/cr` binaries to avoid sampling `rustc` compile threads.
-- Preserve `.tmp-profiles/` as transient output directory for trace artifacts.

package/editing-history/archived/2026-03-17-2026-afternoon-runtime-boundary-optimization-summary.md

@@ -1,87 +0,0 @@
-# 2026-03-17 下午至晚间改动总结（1739-2031）
-
-## 总览
-
-- 时间段：`2026-0317-1739` 至 `2026-0317-2031`
-- 主要改动：测试减法、program/preprocess 架构减法、类型注解热路径优化、samply 验证、计划文档同步
-
-## 关键变更（按时间顺序）
-
-### 1) 测试减法（1739 / 1745）
-
-- 清理 `src/program/tests.rs` 中 helper/重复语义测试：
-  - `runtime_snapshot_fallback_only_allows_runtime_only_defs`
-  - `preprocess_ns_def_accepts_compiled_only_value_without_source_lookup`
-- 保留行为级回归用例，继续覆盖 snapshot/runtime-only 与 compiled-only 消费边界。
-
-### 2) preprocess 推断逻辑去重（1751）
-
-- 文件：`src/runner/preprocess.rs`
-- 抽取 `infer_return_type_from_compiled_callable(...)`，统一 `Import`/`Symbol` 分支的 compiled callable 返回类型推断。
-- 保留 `Symbol` 分支对源码 tag 的回退解析行为。
-
-### 3) program snapshot helper 内联（1753）
-
-- 文件：`src/program.rs`
-- 删除并内联单次用途 helper：
-  - `collect_referenced_compiled_def_ids(...)`
-  - `should_use_runtime_snapshot_fallback(...)`
-- 逻辑并入 `collect_snapshot_fill_tasks(...)` 与 `build_snapshot_fill_compiled_def(...)`。
-
-### 4) 文档刷新 + 首轮热路径减法（1812）
-
-- 文件：`drafts/runtime-boundary-refactor-plan.md`
-  - 修正过时描述：`run_program_with_docs` 现状与 preprocess 返回值关系。
-  - 将阶段状态与 `samply` 观察、下一步优先级对齐。
-- 文件：`src/runner/preprocess.rs`
-  - 去除 `drop_left` 中间列表分配。
-  - `resolve_generic_return_type` 改为接收迭代器，调用处直接 `iter().skip(1)`。
-
-### 5) materialize executable fast path（2012）
-
-- 文件：`src/program.rs`
-- `materialize_compiled_executable_payload(...)`：
-  - `Proc | Syntax` 直接返回 `preprocessed_code`。
-  - `Fn | Macro` 继续 `evaluate_expr` materialize。
-  - `LazyValue | Value` 继续保持不可执行语义。
-- 删除无调用 helper：`with_compiled_executable_payload(...)`。
-
-### 6) type-annotation 单次扫描收敛（2023）
-
-- 文件：`src/calcit/type_annotation.rs`
-- 在 `parse_fn_annotation_from_schema_form` 中引入 `collect_fn_schema_fields`，由多次 key 扫描改为一次遍历收集。
-- 删除无用 helper：`schema_has_any_field`。
-
-### 7) schema key 热路径进一步减法（2031）
-
-- 文件：`src/calcit/type_annotation.rs`
-- 新增单 key 快路径：
-  - `schema_key_matches(...)`
-  - `extract_schema_value_single(...)`
-- 将常见单 key 查询点改为快路径：
-  - `extract_return_type_from_hint_form`
-  - `extract_generics_from_hint_form`
-  - `extract_arg_types_from_hint_form`
-- 清理过渡遗留 helper：
-  - `schema_key_matches_any(...)`
-  - `extract_schema_value(...)`
-
-## 验证汇总
-
-- 多轮定向测试均通过：
-  - `cargo test -q program::tests`
-  - `cargo test -q runner::preprocess::tests`
-  - `cargo test -q calcit::type_annotation::tests`
-- 全量 Rust 测试持续通过：`cargo test -q`（会话末保持全绿）
-- 语义门禁持续通过：`yarn check-all`
-
-## profiling 结论汇总
-
-- 使用既有流程：`profiling/samply-once.sh` + `profiling/samply-summary.py`
-- 在 materialize 目标链路过滤中，样本权重由 14 降至 7（单轮观测，方向符合预期）。
-- 在 schema-key 相关过滤中，基线 `fibo-release-iter5-20260317.samply` 为 21，本轮新采样 `fibo-release-20260317-203129.samply` 为 5，方向上显著下降。
-
-## 本轮经验
-
-- 以“删 helper/删重复分支/删中间分配”为主线做减法，优先保证行为级测试覆盖。
-- 每次改动后固定执行“定向测试 → 全量 Rust → `yarn check-all`”可有效阻断语义回退。

package/editing-history/archived/2026-03-18-1802-tips-level-and-overwrite-schema-preservation.md

@@ -1,26 +0,0 @@
-## Summary
-
-This commit finalizes two CLI workflow improvements:
-
-1. **Tips policy refactor**
-   - Added `--tips-level` support (`minimal|full|none`) as a unified switch.
-   - Kept `--tips` as a shortcut for full tips output.
-   - Updated handlers so tips rendering is centralized and priority-aware.
-   - Updated docs to align with the new default behavior (minimal, high-priority-first hints).
-
-2. **`cr edit def --overwrite` metadata safety**
-   - Fixed overwrite behavior to preserve existing definition metadata (`doc`, `examples`, `schema`).
-   - Overwrite now updates only the `code` field when the definition already exists.
-   - This avoids accidental schema loss during whole-definition rewrites.
-
-## Files touched (high level)
-
-- CLI args and command wiring for tips level handling.
-- Query/tree/tips handler integration and output behavior updates.
-- `edit` handler overwrite logic for metadata-preserving updates.
-- Agent docs and advanced workflow docs reflecting the new tips model.
-
-## Validation notes
-
-- Rust formatting/lint/tests were run during implementation iterations.
-- Manual end-to-end verification confirmed schema is retained after `--overwrite`.