@calcit/procs 0.12.56 → 0.12.57

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`.

package/editing-history/archived/2026-03-20-1229-query-window-3-with-parent-preview.md

@@ -1,72 +0,0 @@
-# Query 搜索结果分层、降噪与路径/预览优化（合并记录）
-
-## 变更概述
-
-- 初始实现：为 `cr query` 搜索类命令引入结果分层展示（详情窗口 + 压缩输出）。
-- 参数命名收敛：将 `--prefer` 直接改为 `--detail-offset`（不保留兼容别名）。
-- 输出降噪：删除冗长提示，保留定位核心信息（定义、路径、命中片段）。
-- 路径统一：搜索输出与 `--start-path` 示例统一为点号分隔；解析层仅接受点号输入。
-- 详情窗口进一步从 5 缩小为 3，并在窗口内增加“所在表达式 + 父表达式”预览（可省略复杂父表达式）。
-
-## 覆盖命令
-
-- `cr query find`
-- `cr query usages`
-- `cr query search`
-- `cr query search-expr`
-
-## 关键实现
-
-- `src/cli_args.rs`
-  - 参数字段统一为 `detail_offset`。
-  - 参数统一为 `#[argh(option, long = "detail-offset", default = "0")]`。
-  - 参数说明更新为“3 detailed items”。
-  - `query search --start-path` 示例更新为点号格式 `2.1.0`。
-
-- `src/bin/cli_handlers/query.rs`
-  - 结果窗口逻辑：
-    - `DETAILED_RESULTS_WINDOW = 3`
-    - `detailed_window(detail_offset, total)`
-    - `in_detail_window(index, total, detail_offset)`
-    - `print_detail_window_hint(...)`
-  - 搜索结果降噪：
-    - `search/search-expr` 按命中数排序定义（高命中优先）。
-    - 详情行输出为 `[path] <preview>`；窗口外仅输出压缩条数（`N matches compressed outside window`）。
-    - 移除 `Next steps`/批量替换等长提示块。
-  - 预览增强：
-    - 新增 `preview_node_oneline(...)` 并修复叶子节点空预览问题。
-    - 新增 `path_parent(...)`、`get_node_at_path(...)`、`count_nodes_limited(...)`、`can_show_parent_preview(...)`、`expression_and_parent_preview(...)`。
-    - 最终形态改为“单行预览”：优先显示父节点预览；无父节点时回退到当前表达式（避免重复展示两遍）。
-
-  - Tips 与 exact 语义修正：
-    - `--exact` 高优先级提示文案统一为英文：`Many matches (N); add --exact to show exact matches only`。
-    - 仅在 contains 模式且命中数 `> 10` 时展示该提示；`--exact` 模式不再显示冗余提示。
-    - 修复 exact 模式下的误导性高亮：只在 token 边界高亮，避免将 `states` 中的 `state` 误标为命中。
-
-  - 命名收敛：将旧命名 `prefer` 在函数参数/调用链/提示文案中统一改为 `detail_offset` / `detail-offset`。
-
-- `src/bin/cli_handlers/common.rs`
-  - `parse_path(...)` 改为仅接受点号分隔；逗号输入报错并提示改用点号。
-
-## 降噪策略
-
-- 深度嵌套（路径过深）或分支复杂（节点过大）时，父表达式预览自动省略。
-- 详细窗口外仍然输出压缩占位，不展开上下文。
-
-## 验证
-
-- `cargo check --bin cr` 通过。
-- `cargo run --bin cr -- /Users/jon.chen/repo/respo/respo/calcit.cirru query find --help`
-  - 可见 `--detail-offset` 参数。
-- `cargo run --bin cr -- /Users/jon.chen/repo/respo/respo/calcit.cirru query search --help`
-  - `--start-path` 示例为点号格式。
-- `cargo run --bin cr -- /Users/jon.chen/repo/respo/respo/calcit.cirru query search state --filter respo.app.comp.todolist/comp-todolist --detail-offset 5`
-  - 输出降噪，路径为点号，窗口外压缩。
-- `cargo run --bin cr -- /Users/jon.chen/repo/respo/respo/calcit.cirru query search state --filter respo.app.comp.todolist/comp-todolist --detail-offset 0`
-  - 详情窗口为 `[0, 3)`，每条命中仅展示一行（优先父节点预览）。
-- `cargo run --bin cr -- /Users/jon.chen/repo/respo/respo/calcit.cirru query search state --filter respo.app.comp.todolist/comp-todolist --detail-offset 0 --exact`
-  - 精确命中不再把 `states` 视觉误判为 `state`；且不显示“add --exact”提示。
-- `cargo run --bin cr -- /Users/jon.chen/repo/respo/respo/calcit.cirru query search-expr state --filter respo.app.comp.todolist/comp-todolist --detail-offset 0`
-  - 输出样式一致（单行预览）。
-- `cargo run --bin cr -- /Users/jon.chen/repo/respo/respo/calcit.cirru query search-expr state --filter respo.app.comp.todolist/comp-todolist --detail-offset 0 --exact`
-  - 结果为 `No matches found`，符合结构精确匹配预期。

package/editing-history/archived/2026-03-23-1137-command-echo-tool-output-cleanup.md

@@ -1,71 +0,0 @@
-# Command Echo 主导的工具输出收敛与 tree replace 差异摘要
-
-## 变更概述
-
-- 将 `cr` 的命令回显进一步固定为工具主语境：前置、单行、语义化参数展示。
-- 为工具型命令引入更安静的 runtime 输出模式，避免版本、模块目录、模块加载、平台 API 注册等噪音干扰结果读取。
-- 大范围清理 `docs/query/tree` 正文里对 `target/path/pattern/entry/deps` 的重复回显，统一交给 command echo 表达。
-- 修正 `docs/CalcitAgent.md` 中示意性 Cirru 代码块的检查模式，避免 `check-md` 将结构示例误判为 runnable 程序。
-- 单独重构 `tree replace` 输出：从“Preview + From/To”双份重复，改成“Changed node + Containing expression”的单次差异摘要。
-
-## 关键实现
-
-- `src/bin/cr.rs`
-  - 在启用 command echo 时同步启用 `calcit::set_quiet_tool_output(true)`。
-  - 屏蔽工具模式下的运行环境提示：
-    - `calcit version`
-    - `module folder`
-    - `stack trace disabled`
-    - `running entry`
-
-- `src/lib.rs`
-  - 新增全局 quiet flag：
-    - `set_quiet_tool_output(...)`
-    - `quiet_tool_output()`
-  - `load_module(...)` 在工具模式下不再打印 `loading: ...`。
-
-- `src/bin/injection/mod.rs`
-  - `inject_platform_apis()` 在工具模式下不再打印 `registered platform APIs`。
-
-- `src/bin/cli_handlers/docs.rs`
-  - `docs check-md` 不再重复回显 `entry/deps`。
-  - 移除只服务旧回显的路径展示 helper。
-
-- `src/bin/cli_handlers/query.rs`
-  - 删除 `query def/peek/schema/examples/usages` 中重复的 target 标题。
-  - 删除 `query search/search-expr` 中重复的 pattern/filter/entry/start-path 摘要。
-  - `query find` 摘要从“重复 symbol”收敛为纯结果计数。
-
-- `src/bin/cli_handlers/tree.rs`
-  - 删除 `tree show` 与多类 tree 写操作中的冗余 follow-up 命令提示。
-  - 删除成功文案里重复的 `path/target/pattern` 回显。
-  - `tree replace` 改为：
-    - `✓ Replaced node`
-    - `Changed node` 下单次展示 `Before/After`
-    - 非 root path 额外展示 `Containing expression`，帮助快速看出修改落点。
-
-- `docs/CalcitAgent.md`
-  - 将示意性代码块改成 `cirru.no-check`，避免 `docs check-md` 因不存在的符号或非独立程序片段失败。
-
-## 输出策略结论
-
-- 输入参数语境：由 `Command: ...` 统一承担。
-- 正文输出：只保留结果、差异、结构上下文、或真正新增的信息。
-- 不再在正文里重复打印 command echo 已经覆盖的 target/path/pattern/entry/deps。
-
-## 验证摘要
-
-- `cargo fmt`
-- `cargo run --bin cr -- calcit/test.cirru analyze js-escape 'demo?'`
-- `cargo run --bin cr -- calcit/test.cirru analyze js-unescape 'demo_$q_'`
-- `cargo run --bin cr -- calcit/test.cirru query ns app.main`
-- `cargo run --bin cr -- calcit/test.cirru query find render`
-- `cargo run --bin cr -- calcit/test.cirru tree show app.main/test-json --path ''`
-- `cargo run --bin cr -- calcit/test.cirru docs search chunk --filename agent-advanced.md`
-- `cargo run --bin cr -- demos/calcit.cirru docs check-md docs/CalcitAgent.md`
-- `cargo run --bin cr -- /tmp/calcit-cli-demo/calcit.cirru tree replace ...` 多次人工检查 replace 输出形态
-
-## 经验
-
-- command echo 一旦语义化，就应把正文里的“参数再描述一遍”系统性删掉，否则会让工具输出看起来像教程而不是结果。
-- tree 类命令相比简单成功提示，更需要“差异摘要 + 所在表达式”，这样既不冗余，也能快速判断改动是否落在预期结构。

package/editing-history/archived/2026-04-10-0011-snapshot-empty-version-pipe-marker.md

@@ -1,23 +0,0 @@
-# 2026-0410-0011 — 修复 snapshot `configs.version` 对 `||` 空字符串的漏判
-
-## 背景
-
-PR `snapshot-format` 新增了空 `configs.version` 的回归测试，但 GitHub Actions 上加载运行时快照文件（`calcit.cirru` / legacy `compact.cirru`）时，`(:version ||)` 会解析成字符串 `"|"`，没有命中原先仅检查空白字符串的校验。
-
-## 知识点
-
-- Cirru 的空字符串字面量 `||` 在这条解析路径里会落成 `"|"`，不能只靠 `trim().is_empty()` 判断是否为空。
-- `configs.version` 的校验要同时覆盖真正空串和这个 pipe marker，才能在加载阶段稳定报出 `configs.version cannot be empty`。
-
-## 修改
-
-- `src/snapshot.rs`
-  - 将 `parse_snapshot_config_string_field` 中 `version` 的空值判断扩展为：`text.trim().is_empty() || text == "|"`。
-
-## 验证
-
-```bash
-cargo fmt -- src/snapshot.rs
-```
-
-本地 `cargo test` 在当前机器仍受 macOS 链接器环境影响（`ld: library 'System' not found`），实际正确性改由 GitHub Actions 复核。

package/editing-history/archived/2026-04-16-0131-wasm-math-and-test-integration.md

@@ -1,28 +0,0 @@
-# 202604160131 — WASM codegen 扩展: 数学函数 + 测试集成
-
-## 新增 WASM 操作
-
-- `floor` → `f64.floor`
-- `ceil` → `f64.ceil`
-- `round` → `f64.nearest`
-- `sqrt` → `f64.sqrt`
-- `identical?` → `f64.eq`
-- `sin`/`cos`/`pow` 明确报错(WASM 无对应指令)
-
-## 新增文件
-
-- `calcit/test-wasm.cirru` — 17 个纯数值函数测试(fibo, factorial, add-two, sum-range, floor, ceil, round, sqrt, rem, compare, not, let-chain, collatz-steps, gcd 等)
-- `scripts/test-wasm.sh` — WASM 验证脚本(生成 WAT → wasmtime compile → 逐函数验证返回值)
-
-## 修改文件
-
-- `src/codegen/emit_wasm.rs` — 新增 `unary_op` 辅助函数, 添加 Floor/Ceil/Round/Sqrt/Identical 分支
-- `package.json` — `check-all` 加入 `try-wasm` 步骤; 新增 `try-wasm` 脚本
-- `docs/wasm-codegen.md` — 更新支持列表、测试说明、路线图
-
-## 验证
-
-- `yarn check-all` 通过(含 compile, try-rs, try-js, try-ir, try-wasm)
-- `cargo test` 246/246 pass
-- `cargo clippy -- -D warnings` clean
-- wasmtime 逐函数验证: 17/17 assertions pass

package/editing-history/archived/2026-04-16-1507-wasm-data-structures-and-rfc-rename.md

@@ -1,27 +0,0 @@
-# 202604161507 - WASM 数据结构编译 & rfc 目录重命名
-
-## rfc 目录整理
-
-- `drafts/` 重命名为 `rfc/`，所有文件加上 `MM-DD-` 创建日期前缀（从 git 历史提取）
-- README.md 更新为完整索引，补全之前遗漏的 5 个文件条目
-- Cargo.toml 中 `drafts/` 引用更新为 `rfc/`
-
-## WASM 数据结构编译
-
-### 新增能力
-
-- **Memory Section**: 1 页 64KB 线性内存，Global section 维护 `heap_ptr` 作为 bump allocator
-- **Tag 编译**: `collect_all_tags()` 在编译期为所有 tag 字面量分配整数 ID，运行时直接用 f64 表示
-- **Record 编译**: `emit_record_new()` 在堆上分配 `[struct_tag_id, field0, field1, ...]`，`emit_record_nth()` 通过偏移直接读取
-- **Tuple 编译**: `emit_tuple_new()` 在堆上分配 `[tag_id, payload0, payload1, ...]`，`emit_tuple_nth()` 直接读取
-- **静态结构解析**: `try_parse_defrecord_form()` 从源码 AST 静态提取 `defrecord` 的字段定义，不依赖运行时宏展开
-
-### 关键设计决策
-
-- 全 f64 ABI：所有值（包括指针）用 f64 传递，需要 `i32.trunc_f64_u` / `f64.convert_i32_u` 转换
-- record 字段按字母序排列（与 Calcit runtime 一致）
-- bump allocator 不回收，适合短生命周期 WASM 模块
-
-### 测试覆盖
-
-- 22 项 WASM 检查全部通过：17 个数值运算 + 2 个 tag 比较 + 2 个 record 求和 + 1 个 tuple 求和

package/editing-history/archived/2026-04-16-1520-wasm-bitwise-and-match.md

@@ -1,21 +0,0 @@
-# 202604161520 - WASM 位运算 & match 语法编译
-
-## 位运算 (bitwise operations)
-
-- 新增 `bit-and`, `bit-or`, `bit-xor`, `bit-not`, `bit-shl`, `bit-shr` 6 个 WASM 编译支持
-- 策略: f64 → i32 (trunc_f64_s) → 执行 i32 位运算 → i32 → f64 (convert_i32_s)
-- 使用有符号转换 (I32TruncF64S / F64ConvertI32S) 保持负数语义
-
-## match 语法编译
-
-- 实现 `match` 表达式的 WASM codegen, 支持 enum tuple 模式匹配
-- 策略: 加载 tuple 的 tag_id (offset 0), 对各分支做嵌套 if/else 比较
-- 支持 tag 模式 `(:variant a b)` — 从 tuple 内存按偏移读取 payload 绑定到局部变量
-- 支持 wildcard `_` 作为 fallback 分支
-- 注意 block_depth 正确更新以保持 recur 分支跳转的一致性
-
-## 测试覆盖
-
-- 31 项 WASM 检查全部通过 (原 22 + 6 bitwise + 3 match)
-- 246 cargo tests 通过 (179 + 67)
-- clippy 零警告

package/editing-history/archived/2026-04-16-1542-wasm-cross-ns-host-imports.md

@@ -1,38 +0,0 @@
-# WASM: Cross-namespace calls & host imports (pow, sin, cos)
-
-## 概要
-
-为 WASM codegen 增加了跨命名空间函数调用和宿主函数导入两大功能。
-
-## 知识点
-
-### 跨命名空间调用
-
-- `emit_wasm()` 从只处理 `init_ns` 改为遍历 `program_data` 全部命名空间
-- `fn_defs` 从 3-tuple `(def, args, body)` 扩展为 4-tuple `(ns, def, args, body)`
-- `fn_index` 同时保存 `"ns/def"` 全限定名和 `"def"` 裸名两种键
-- `emit_call_expr` 中遇到 `Import` 节点时，先尝试全限定名再尝试裸名
-- `collect_all_tags` 更名为 `collect_all_tags_from` 适配 4-tuple
-
-### 宿主函数导入 (Host Imports)
-
-- 新增 `HostImport` 结构体和 `HOST_IMPORTS` 常量数组（pow/sin/cos）
-- WASM 模块新增 `ImportSection`，从 `"math"` 模块导入函数
-- **关键约束**：导入函数占据函数索引 0..N，用户函数从 N 开始
-  - TypeSection: 先写 host import 的类型, 再写 user function 的类型
-  - FunctionSection: 只写 user function（import 自动拥有类型）
-  - ExportSection / fn_index: 用户函数索引均需加 `num_imports` 偏移
-- `emit_host_call()` 辅助函数：按名称查找 HOST_IMPORTS 并发出 Call 指令
-- `CalcitProc::Sin/Cos/Pow` 从返回错误改为调用 `emit_host_call`
-
-### 测试
-
-- `test-wasm.cirru` 新增 `test-wasm.helper` 命名空间（含 `add-and-double`）
-- `test-wasm.mjs` 新增 `math` 导入对象 + `checkApprox()` 浮点近似断言
-- 测试从 31 项增加到 39 项，全部通过
-
-## 注意事项
-
-- WASM 规范要求 Import section 必须在 Function section 之前
-- 添加新 host import 时需更新 HOST_IMPORTS 数组，并确认 JS 测试 runner 提供对应实现
-- 后续可考虑将 host import 模块名参数化（目前硬编码 `"math"`）

package/editing-history/archived/2026-04-17-0026-wasm-rest-args.md

@@ -1,62 +0,0 @@
-# WASM: 可变参数 (rest args) 支持
-
-## 背景
-
-此前 `(defn f (a b & xs) ...)` 形式的函数在 WASM codegen 中会直接报错
-"rest args not supported in WASM codegen" 而被跳过。这阻塞了 `calcit.core` 中
-`<`、`-`、`/`、`dissoc`、`exclude`、`intersection`、`difference`、
-`merge-non-nil`、`&str-spaced` 等大量可变参数函数的 WASM 编译。
-
-## 实现
-
-函数签名约定（匹配现有数据结构表示）：
-
-- rest 参数表现为一个 f64 参数，承载一个 list 指针。
-- `(defn f (a b & xs) ...)` 的 WASM 签名是 `(a: f64, b: f64, xs: f64) -> f64`，
-  其中 `xs` 是调用方构造的 list 指针。
-
-关键改动（全部在 `src/codegen/emit_wasm.rs`）：
-
-1. 新增 `compute_fn_arity(args) -> (wasm_arity, Option<rest_fixed>)`：
-   替代原来散落的 arity 计算，同时返回是否含 rest 以及固定参数数。
-2. 新增 `fn_has_rest: HashMap<String, u32>`，记录每个有 rest 的函数的固定
-   参数数（`wasm_arity - 1`）。随 `fn_index` / `fn_arity` 一起在
-   `compile_fn` 之前建好。
-3. `WasmGenCtx` 新增 `fn_has_rest` 字段，与其他 lookup 表一起 clone 进上下文。
-4. `compile_fn`：
-   - 不再对 `CalcitArgLabel::RestMark` 报错。
-   - 跳过 `RestMark` 本身，但把 `&` 后的 `Idx` 仍然作为一个普通 f64 参数
-     压入 `param_names`（它承载 list 指针）。
-5. `emit_call_expr`：提取新助手 `emit_call_args`，根据 callee 是否有 rest
-   分两条路径：
-   - 无 rest：照旧逐个 `emit_expr`，缺失的 optional 参数用 `f64_const(0.0)` 填补。
-   - 有 rest：前 `fixed` 个参数照旧求值，多余参数调用 `emit_list_new` 打包
-     成 list 指针作为最后一个参数。
-
-## 踩坑记录
-
-- **`bash scripts/test-wasm.sh` 用的是 release 产物，不是 `cargo run`**。改完
-  Rust 代码后一定要 `cargo build --release --bin cr`，否则看到的仍是旧行为。
-  这次调试时一度以为 `collect-rest` 还会被跳过，源头是 release binary 陈旧。
-- `emit_list_new` 签名接受 `&[Calcit]`，直接传入 `&args_list[fixed..]`
-  就够用；不需要手动写 header/slot。
-
-## 测试
-
-新增 `calcit/test-wasm.cirru` 三个用例：
-
-- `test-rest-count`：`collect-rest 1 2 3 4` 返回的 list 长度为 3。
-- `test-rest-sum`：`sum-rest 1 2 3 4 5 = 15`，验证打包 list 后由被调函数
-  通过 `&list:first` / `&list:rest` / `recur` 逐项展开并求和。
-- `test-rest-empty`：`sum-rest 10 20 = 30`，验证没有额外参数时 list 为空。
-
-`scripts/test-wasm.mjs` 对应 3 条 `check(...)`。`yarn check-all` 全绿。
-
-## 遗留
-
-尚未支持的 WASM 功能（下一步继续攻克）：
-
-- `type-of`、各类 `xxx?` 谓词（需要运行时类型标记，难度较大）。
-- `foldl` / `foldl-shortcut`（依赖闭包或函数指针）。
-- 嵌套 `defn` / 闭包。
-- 字符串字面量和字符串操作。