@calcit/procs 0.12.55 → 0.12.57

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` / 闭包。
-- 字符串字面量和字符串操作。

package/editing-history/archived/2026-04-17-0048-wasm-type-of.md

@@ -1,70 +0,0 @@
-# WASM codegen: implement `type-of` via heap type headers
-
-## 背景
-
-在 WASM 子集里实现 `type-of` 是解锁 ~20 个核心函数（`list?`、`map?`、`set?`、
-`number?` 等）的前置。所有值统一用 f64 表示，堆对象是“整数值 f64”的指针
-（byte offset）；没有 NaN-boxing，无法仅凭位模式区分类型。
-
-## 方案
-
-每一次堆分配前置 8 字节类型头：
-
-```
-raw_base + 0 : i32 MAGIC      (0xCA1C17A9)
-raw_base + 4 : i32 tag_id     (BUILTIN_TYPE_TAGS 里的下标对应的 tag_index 值)
-raw_base + 8 : 原本的 payload
-```
-
-`emit_bump_alloc` / `emit_bump_alloc_dynamic` 实际申请 `byte_size + 8` 字节，
-返回的 **logical pointer** 仍然是 `raw_base + 8`，所以所有既有 offset 算术
-（count at offset 0、fields at offset 8/16/…）无需改动。
-
-### 11 个内建 type tag
-
-`BUILTIN_TYPE_TAGS = ["nil","bool","number","tag","string","list","map","set",
-"record","tuple","fn"]`。在 `collect_all_tags_from` 第一步 seed，确保
-`:list` / `:map` 等关键字字面量和 `type-of` 返回值落到同一个 tag id。
-
-### `type-of` 运行时判定
-
-```
-if v == trunc(v)                        // 整数
-   && v >= (HEAP_START + 8)             // 在堆范围内
-   && v < current_heap_ptr {
-  raw_base = trunc(v) - 8
-  if load_i32(raw_base, 0) == MAGIC {   // 魔数校验，排除纯数字误判
-    return f64(load_i32(raw_base, 4))   // 返回 tag id
-  }
-}
-return f64(number_tag)
-```
-
-之前只用“整数 + 在堆范围”做判定时，`42` 这类数字会被错误识别成指针 →
-读到垃圾 tag；加上 `MAGIC` 校验后 `test-type-of-number` 通过。
-
-## 踩坑
-
-1. **签名顺序**：`emit_bump_alloc` 的参数顺序从
-   `(ctx, byte_size, type_tag, ptr_local)` 调整为
-   `(ctx, byte_size, ptr_local, type_tag)`，以匹配 21 处调用点的脚本化改写。
-2. **Magic 必须**：只有“指针范围 + 整数值”不足以区分指针和裸数字，必须加
-   唯一性较高的 magic（这里用 `0xCA1C17A9`）。
-3. **f64 ↔ i32**：`tag_id` 是小整数，用 i32 存取更便宜；新增
-   `mem_arg_i32` 辅助函数（align=2）。
-4. **If/Else 嵌套返回 f64**：`type-of` 用两层 `BlockType::Result(ValType::F64)`
-   实现短路，避免在非指针情况下去读内存。
-
-## 测试
-
-`calcit/test-wasm.cirru` + `scripts/test-wasm.mjs` 新增 5 个用例：
-`test-type-of-list/map/set/number/tuple`。全部返回 1（`&= (type-of x) :list`
-之类比较）。已执行 `cargo fmt && cargo clippy --release -- -D warnings &&
-cargo test --release && yarn check-all`，全部通过。
-
-## 后续
-
-解锁后可以把 `list?` / `map?` / `set?` / `number?` / `tuple?` / `record?`
-等 proc 映射成 `(&= (type-of x) :xxx)` 或直接基于 tag 比较。下一轮挑战：
-字符串支持 (24 个 skip)、nested defn/闭包 (19 个 skip)、`foldl` /
-`foldl-shortcut` (13 个 skip)。

package/editing-history/archived/2026-04-17-0051-wasm-derived-predicates.md

@@ -1,34 +0,0 @@
-# WASM codegen: test derived type predicates on top of `type-of`
-
-## 背景
-
-刚在上一条 commit 里把 `type-of` 跑通了，语料里 `calcit.core` 的几个核心
-predicates (`list?` / `map?` / `number?` / `set?` / `tuple?` / ...) 都是
-`(defn pred? (x) (&= (type-of x) :tag))` 这种薄包装。既然 `type-of`、`&=`、
-keyword 字面量都已经支持，这些 predicate 本来就会被 WASM 编译器吐出来，
-只是一直缺少验证。
-
-## 改动
-
-`calcit/test-wasm.cirru` + `scripts/test-wasm.mjs` 增加 4 个样例：
-
-- `test-list?-true` : `(list? ([] 1 2))` → 1
-- `test-list?-false` : `(list? 42)` → 0  （验证魔数检查能挡住整数伪装）
-- `test-number?-true` : `(number? 42)` → 1
-- `test-map?-true` : `(map? (&{} :a 1))` → 1
-
-`yarn check-all` 全部通过，81 个 WASM 检查全绿。
-
-## 当前 WASM skip 分类（跑 `cr wasm` 的 stderr）
-
-总计 123 条 skipping，主要集中在：
-
-- 24 String values not yet supported
-- 19 nested defn not supported
-- 13 foldl / foldl-shortcut / foldr-shortcut
-- 7 `&call-spread`
-- 4 `Tuple operation %:: not yet supported`
-- 3 `&set:destruct`
-- 少量其它（`sort`, `range`, `println`, `deref`, `turn-string` 等）
-
-下一轮切入点优先级：字符串 → nested defn/闭包 → 高阶函数 (`call_indirect`)。

package/editing-history/archived/2026-04-17-2316-wasm-do-println-fixes.md

@@ -1,41 +0,0 @@
-# 202604172316 — WASM `do` body 与 println host import 修复
-
-## 修复内容
-
-### 1. `do` 在 defn body 中的 WASM 编译问题
-
-**现象**：`defn test-println () do (println 42) 1` 编译后生成 `f64.const 0`（函数体为空）。
-
-**根因**：Cirru 语法中 `defn f () do expr1 expr2` 解析为 `(defn f () do expr1 expr2)`，body 数组为 `[do, expr1, expr2]` 三个独立元素（不是 `[(do expr1 expr2)]`）。`do` 作为裸 Import 节点出现在 `emit_expr` 时，触发 "unsupported WASM expression" 错误，导致函数被跳过并 fallback 为 `f64.const 0`。
-
-**修复**：在 `emit_expr` 中为 `Calcit::Import { def: "do" }` 添加特例，将其视为 no-op（emit 0.0 后由 `emit_body` 的 Drop 消耗掉）。
-
-```rust
-// `do` as bare body expression is a no-op sequencer
-Calcit::Import(import) if import.def.as_ref() == "do" => {
-  ctx.emit(f64_const(0.0));
-}
-```
-
-### 2. io.log_value host import（WASM println）
-
-- WASM codegen 对 `println`/`eprintln`/`echo` 调用 host import `io.log_value`。
-- `test-wasm.mjs` 提供 `io.log_value` 实现：读取堆内存判断类型，字符串解码 UTF-8，数字直接输出。
-- 添加 `test-println` 测试用例验证功能。
-
-### 3. TypeScript 运行时 BufList 修复
-
-`_$n_buf_list_$o_concat` 中 `CalcitSliceList` 的 `items` 是方法而非属性，需调用 `xs.items()` 并手动迭代 Generator（TS 配置不支持 `for...of` Generator）。
-
-## 受影响文件
-
-- `src/codegen/emit_wasm.rs`：`emit_expr` 新增 `do` no-op 特例；`emit_call_expr` Import 分支也保留 `do` 处理（用于 `(do ...)` 调用形式）
-- `ts-src/calcit.procs.mts`：修正 `_$n_buf_list_$o_concat` 迭代逻辑
-- `calcit/test-wasm.cirru`：新增 `test-println`
-- `scripts/test-wasm.mjs`：新增 `io.log_value` 实现与 `test-println` 断言
-
-## 关键经验
-
-- `do` 在 Calcit defn body 中是语法糖/占位符，预处理后展开为多个独立 body 表达式，不是 `(do ...)` 调用形式。WASM codegen 需将其视为 no-op。
-- WASM 编译错误时 fallback 为 `f64.const 0`（静默），调试时需检查 stderr 中的 `[wasm] skipping` 日志。
-- TS 的 Generator 不能直接 `for...of`，需手动调用 `.next()`。

package/editing-history/archived/2026-04-18-1208-split-emit-wasm-and-bump-version.md

@@ -1,15 +0,0 @@
-## Summary
-
-- Split the WASM code generator so `src/codegen/emit_wasm.rs` keeps orchestration while runtime helpers, method dispatch, and record/tuple emitters live in dedicated submodules.
-- Bumped the Calcit patch version from `0.12.20` to `0.12.21` for the next release.
-
-## Module Layout
-
-- `src/codegen/emit_wasm/runtime.rs` now owns host import definitions, module assembly, and internal runtime helper builders.
-- `src/codegen/emit_wasm/methods.rs` now owns dynamic method dispatch and rest-arg call argument packing.
-- `src/codegen/emit_wasm/records.rs` now owns record and tuple emission helpers.
-
-## Notes
-
-- The split is intended to be behavior-preserving; no WASM semantics were changed as part of this refactor.
-- Version strings were updated in `Cargo.toml`, `package.json`, and `lib/package.json`, while generated JS version text will be refreshed by the validation build.

package/editing-history/archived/2026-04-18-1430-wasm-list-match-and-method-dispatch.md

@@ -1,5 +0,0 @@
-- WASM export names now stay unique by qualifying only colliding defs with `ns/def`.
-- `list-match` macro now uses `&list:empty?` after the existing list guard, avoiding the unsupported generic `empty?` invoke path in WASM.
-- Added minimal `Calcit::Method` handling in WASM for dynamic `.empty?`, `.count`, `.nth`, and `.get` calls.
-- `&tuple:nth` in WASM now accepts dynamic indices instead of literal-only indices.
-- Verified `yarn try-all` still passes in calcit after the WASM changes.

package/editing-history/archived/2026-04-18-2041-cr-wasm-split-and-runtime-stability.md

@@ -1,18 +0,0 @@
-# 2026-04-18 20:41 CR WASM Split and Runtime Stability
-
-## 关键修改
-
-- 将 `cr wasm` 拆分为独立二进制 `cr-wasm`，避免主 `cr` 命令体积和职责继续膨胀。
-- `calcit` 的 WASM 相关验证脚本和 CI 调整为优先走 `cr-wasm`。
-- 修复 `emit_wasm` 中 map/set/tuple 相关回归点，恢复 `yarn check-all` 的可通过性。
-- 修复 `recollect` 在 Rust 运行时下的 `patch-map` 路径，避免本地变量解析异常导致测试阻断。
-- 将 `recollect` 的 wasm 测试分为核心 smoke（阻断）与扩展 probes（非阻断），保证 wasm 独立验证但不影响 rust/js 主链路。
-- 版本提升到 patch：`0.12.22`。
-
-## 经验与注意事项
-
-- 对运行时快照文件（`calcit.cirru` / legacy `compact.cirru`）的修改必须通过 `cr edit`/`cr tree` 完成，避免文本直接编辑破坏结构。
-- 在多项目联动（calcit + recollect）场景下，发布前验证至少应覆盖：
-  - calcit: `yarn check-all`
-  - recollect: `yarn test:cr`、`yarn test:js`、`yarn test:wasm`
-- macOS 上遇到 `iconv` 链接问题时，需带 `SDKROOT` 执行构建命令进行最终回归确认。

package/editing-history/archived/2026-04-18-2045-v0.12.23-ci-wasm-fix.md

@@ -1,13 +0,0 @@
-# 2026-04-18 20:45 v0.12.23 CI WASM Fix
-
-## 变更摘要
-
-- 解决 GitHub Actions `try wasm` 步骤失败（exit 127）的问题。
-- 原因：workflow 直接调用 `./target/debug/cr-wasm`，但未提前构建二进制。
-- 修复：在 `.github/workflows/test.yaml` 的 wasm 步骤中先执行 `cargo build --bin cr-wasm`，再运行 `scripts/test-wasm.sh`。
-- 版本升级：`0.12.22` -> `0.12.23`（`Cargo.toml` 与 `package.json` 同步）。
-
-## 验证
-
-- 本地 `cargo check` 通过。
-- 后续以推送后的 Actions `Test` 工作流成功作为发布门禁，再创建 GitHub Release。

package/editing-history/archived/2026-04-21-1818-wasm-string-ops-v2.md

@@ -1,57 +0,0 @@
-# WASM String Ops 扩展 v2
-
-## 本次修改概要
-
-继上一轮字符串实现（count/nth/first/rest/slice/concat/compare）之后，补充剩余实用 API。
-
-## 新增 API
-
-| Proc | 实现位置 | 说明 |
-|------|----------|------|
-| `&str:contains?` | `emit_str_contains` | 字节索引范围检查：`byte_len > idx` |
-| `&str:find-index` | `__rt_str_find_index` (runtime.rs) | 朴素 O(n·m) 字节子串搜索，返回偏移或 -1 |
-| `&str:includes?` | `emit_str_includes` | 调用 `find-index`，判断 `>= 0` |
-| `&str:pad-left` | `__rt_str_pad_left` (emit_wasm.rs) | 循环填充 pattern 字节于左侧 |
-| `&str:pad-right` | `__rt_str_pad_right` (emit_wasm.rs) | 循环填充 pattern 字节于右侧 |
-
-## 关键实现细节
-
-### `__rt_str_find_index`
-
-- 放在 `runtime.rs`，不需要 `str_tag_id`（只读不分配）
-- 使用双层嵌套 Loop/Block 结构，WASM 控制流通过 `Br(N)` 跳出多层
-- 空 needle 返回 0.0；needle 长于 haystack 返回 -1.0
-- `Br(5)` 从内层 If 跳出到 `$outer` Block 返回找到的索引
-
-### `__rt_str_pad_left` / `__rt_str_pad_right`
-
-- 放在 `emit_wasm.rs`，接受 `str_tag_id: i32` 参数（需分配 tagged 堆内存）
-- 早退条件：`str_len >= target_size` 直接返回原指针
-- 使用 j 变量追踪 pattern 偏移，超出 pat_len 时归零，避免 modulo 除法
-- 注册在 `build_runtime_fns` 之后（与 `__str_new` 同一阶段）
-
-### `emit_str_contains` 修复
-
-初始版本使用 `I32LtU`（`byte_len < idx`）导致逻辑反转，修正为 `I32GtU`（`byte_len > idx`）。
-
-## 测试
-
-新增 8 个测试函数（`test-wasm.main`）：
-- `test-str-contains-true` → 1
-- `test-str-contains-false` → 0
-- `test-str-find-index-found` → 1（"ell" 在 "hello" 偏移 1）
-- `test-str-find-index-not-found` → -1
-- `test-str-includes-true` → 1
-- `test-str-includes-false` → 0
-- `test-str-pad-left` → 5（`pad-left "hi" 5 "-"` → "---hi"，count=5）
-- `test-str-pad-right` → 5（`pad-right "hi" 5 "-"` → "hi---"，count=5）
-
-`yarn try-wasm` 全部通过（release build）。
-
-## 文件变更
-
-- `src/codegen/emit_wasm/runtime.rs`：新增 `build_rt_str_find_index`，在 `build_runtime_fns` 中注册
-- `src/codegen/emit_wasm.rs`：新增 `build_str_pad_left_fn`、`build_str_pad_right_fn`、`emit_str_contains`、`emit_str_find_index`、`emit_str_includes`、`emit_str_pad_left`、`emit_str_pad_right`；修复 contains 比较方向
-- `calcit/test-wasm.cirru`：通过 `cr edit def` 添加 8 个测试定义
-- `scripts/test-wasm.mjs`：新增 8 个 `check()` 调用
-- `docs/wasm-codegen.md`：更新支持表格，移除已实现项