@calcit/procs 0.12.56 → 0.12.57

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`：更新支持表格，移除已实现项

package/editing-history/archived/2026-04-21-2332-split-emit-wasm.md

@@ -1,45 +0,0 @@
-# 202604212332 - Split emit_wasm.rs into focused submodules
-
-## 背景
-
-`src/codegen/emit_wasm.rs` 原来有 6353 行，包含 WASM codegen 的所有逻辑，难以维护。
-
-## 拆分方案
-
-将文件按数据结构类别拆分为 6 个新子模块（位于 `src/codegen/emit_wasm/`）：
-
-| 文件 | 行数 | 内容 |
-|------|------|------|
-| `heap.rs` | 266 | 内存管理：bump allocator、类型标签查找、哈希辅助函数 |
-| `lists.rs` | 1130 | 列表操作 + BufList + `emit_range` + `emit_list_distinct` |
-| `maps.rs` | 1157 | Map 基础操作 + merge/diff + `&map:destruct` + `&merge-non-nil` |
-| `sets.rs` | 828 | Set 操作 + `&set:destruct` |
-| `strings.rs` | 925 | 字符串操作 + pad + `build_str_*` runtime 函数 |
-| `hof.rs` | 423 | `resolve_callee_fn_idx`、`foldl`、`foldl-shortcut`、`foldr-shortcut` |
-
-父文件 `emit_wasm.rs` 精简到 1656 行，保留：
-- 模块级 doc、import、常量、基础 helpers
-- `emit_wasm()` 公开入口函数
-- 所有结构体和 impl（`CompiledFn`、`WasmCompileEnv`、`WasmGenCtx`）
-- 编译管道函数（`extract_fn_parts`、`compile_fn`、`emit_body`）
-- 表达式 emitter（`emit_expr`、`emit_call_expr`、`emit_proc_call` 等）
-- Tag/String pool 收集
-
-## 模块间可见性
-
-- 各子模块顶部均有 `use super::*;`（继承父模块 imports）
-- 所有导出函数使用 `pub(super) fn`（通过 Python 正则批量转换）
-- 父模块通过 `pub(super) use heap::*` 将 heap 辅助函数传播给兄弟模块
-- 父模块通过 `use lists::*; use maps::*; ...` 将各域函数引入 `emit_proc_call` 的作用域
-
-## 实现技术
-
-使用 Python 脚本（`scripts/split_emit_wasm.py`）自动化提取：
-- 精确定位每段的起止行（避免孤立的 doc comment）
-- 对非连续段（如 maps.rs 包含 4 段原文）进行拼接
-- `make_pub_super()` 批量将 `^fn ` 替换为 `pub(super) fn`
-
-## 验证
-
-- `cargo check`：无错误，仅 1 个 `pub(super) use heap::*` 可见性警告（已用 `#[allow(unused_imports)]` 消除）
-- `./target/release/cr calcit/test-record.cirru`：测试全部通过

package/editing-history/archived/2026-04-22-0114-wasm-hof-intercepts-and-set-intersection.md

@@ -1,82 +0,0 @@
-# WASM HOF Intercepts & Set Intersection
-
-## 修改概要
-
-将 WASM codegen 的不支持 proc 数量从 72 减少到 68（减少 4 个）。
-
-## 核心问题
-
-calcit.core 内部定义了 `map/filter/each/any?/every?/find/find-index` 等 HOF，其实现体使用 `f` 参数作为调用头——在 WASM codegen 中无法静态解析局部变量作为调用目标。解决方案：在**调用点拦截**（call-site intercept），在 `emit_call_expr` 中直接 emit 内联循环。
-
-## 文件修改
-
-### `src/codegen/emit_wasm/hof.rs`
-
-新增以下函数（通过 `cat >>` 追加到文件末尾）：
-
-- **`emit_unary_step`** — 对单参数 HOF callee 发出调用（支持 Static/Inline/Proc 三种 callee 类型）
-- **`emit_binary_step_ei`** — 对 `(elem, idx)` 双参数 callee 发出调用（用于 map-indexed）
-- **`resolve_unary_callee`** — 解析单参数 HOF callee，返回 `FoldlCallKind`
-- **`emit_map`** — `map xs f`：对每个元素调用 f，返回等长新列表
-- **`emit_map_indexed`** — `map-indexed xs f`：对每个 (elem, idx) 调用 f
-- **`emit_each`** — `each xs f`：对每个元素调用 f（副作用），返回 nil
-- **`emit_filter`** — `filter xs f`：过滤满足 f 的元素，返回新列表
-- **`emit_any`** — `any? xs f`：任意元素满足 f 返回 1.0，否则 0.0
-- **`emit_every`** — `every? xs f`：全部元素满足 f 返回 1.0，否则 0.0
-- **`emit_find`** — `find xs f`：返回第一个满足 f 的元素，否则 nil
-- **`emit_find_index`** — `find-index xs f`：返回第一个满足 f 的元素索引，否则 -1.0
-
-### `src/codegen/emit_wasm/sets.rs`
-
-新增：
-- **`emit_set_intersection`** — `&set:intersection a b`：返回两集合共有元素。逻辑与 `emit_set_difference` 对称，条件取反（`I32Ne` 代替 `I32Eq`）。
-
-### `src/codegen/emit_wasm/lists.rs`
-
-修改 **`emit_list_concat`**：从只支持 2-arg 改为支持任意数量 args（通过左折叠依次合并）。新增私有辅助函数 **`emit_list_concat_two`** 处理 2-arg 快速路径。
-
-### `src/codegen/emit_wasm.rs`
-
-**`emit_call_expr` 的 `calcit.core` 拦截块** 新增：
-```rust
-"map" if args_list.len() == 2 => return emit_map(ctx, &args_list),
-"map-indexed" if args_list.len() == 2 => return emit_map_indexed(ctx, &args_list),
-"each" if args_list.len() == 2 => return emit_each(ctx, &args_list),
-"filter" if args_list.len() == 2 => return emit_filter(ctx, &args_list),
-"any?" if args_list.len() == 2 => return emit_any(ctx, &args_list),
-"every?" if args_list.len() == 2 => return emit_every(ctx, &args_list),
-"find" if args_list.len() == 2 => return emit_find(ctx, &args_list),
-"find-index" if args_list.len() == 2 => return emit_find_index(ctx, &args_list),
-"concat" if args_list.len() >= 2 => return emit_list_concat(ctx, &args_list),
-"deref" if args_list.len() == 1 => return emit_expr(ctx, &args_list[0]),
-```
-
-**`emit_proc_call`** 新增：
-```rust
-CalcitProc::NativeSetIntersection => emit_set_intersection(ctx, args),
-```
-
-**`emit_call_spread`** 新增 `Calcit::Proc` arm：
-```rust
-Calcit::Proc(proc) => emit_call_spread_args_as_regular(ctx, proc, call_args),
-```
-
-新增辅助函数 **`emit_call_spread_args_as_regular`**：收集 spread 调用中的真实参数，跳过 ArgSpread 标记，转交 `emit_proc_call` 处理。
-
-## 关键设计理解
-
-### 调用点拦截 vs 定义编译
-
-- calcit.core 的 HOF 定义（如 `calcit.core/map`）内部使用 `f` 参数作为调用头，**定义本身无法编译**（会 skip）。
-- 拦截在 `emit_call_expr` 的 `Calcit::Import` arm，当用户代码调用 `(map my-list my-fn)` 时触发，直接 emit 内联循环，**无需编译 calcit.core/map 的定义体**。
-- 因此 skip 列表中仍可见 `calcit.core/map`（定义 skip），但用户代码的调用点正常生成 WASM。
-
-### 剩余 68 个 skip 的分布
-
-- **核心库定义失败**（~66 个）：使用运行时 spread（`& args`）、方法调用（`.deref`）、嵌套 defn、'f' 作为调用头等无法在 WASM 编译时静态解析的特性。
-- **用户代码 skip**（2 个）：`recollect.app.comp.panel/on-click` 和 `recollect.test/test-diff-funcs`，均因内部使用了嵌套 defn（nested lambda）。
-
-## 测试结果
-
-- `yarn test:wasm`：**全部通过**（=== Recollect WASM checks passed ===）
-- skip 数量：72 → 68（减少 4 个）

package/editing-history/archived/2026-04-22-0136-wasm-enum-tuple-bool-str-fixes.md

@@ -1,68 +0,0 @@
-# WASM Codegen: Enum Tuple, Bool Tag, and Str Fixes
-
-**Date**: 2026-04-22 01:36  
-**Skip count**: 68 → 62 (6 fewer)
-
-## Changes Made
-
-### 1. `NativeEnumTupleNew` (`%::`) — New Dedicated Emitter
-
-**File**: `src/codegen/emit_wasm/records.rs`, `src/codegen/emit_wasm.rs`
-
-Added `emit_enum_tuple_new` for the `%::` proc (enum variant constructor).
-
-Key insight: `%::` always has the form `(%:: enum_class tag payload...)` where:
-- `enum_class` (args[0]) is for type-checking only — **ignored in WASM**
-- `tag` (args[1]) is the actual variant tag (Calcit::Tag)
-- `payload` (args[2..]) are the values
-
-This is distinct from `::` (`NativeTuple`) which uses `args[0]` as the tag directly.
-
-**Fixed functions**: `%ok`, `%err`, `%some`, `%none` — now compile correctly.
-
-Memory layout is identical to `::` tuples: `[count:f64][tag_id:f64][payload...]`.
-
-### 2. Bool Support in `emit_tuple_new`
-
-**File**: `src/codegen/emit_wasm/records.rs`
-
-Extended `emit_tuple_new` to accept `Calcit::Bool` as the tag field:
-- `true` → `1.0`
-- `false` → `0.0`
-
-**Purpose**: The `foldl-shortcut` pattern uses `(:: true value)` and `(:: false value)` as tagged pairs for early-exit signaling. The `foldl-shortcut` implementation reads the tag at offset +8 and compares with `1.0`.
-
-**Fixed functions**: `calcit.core/index-of`, `calcit.core/&list:last-index-of` — these use `foldl-shortcut` with an inline `%index-of` defn that calls `(:: true idx)` / `(:: false ...)`.
-
-### 3. Variadic `str` / `str-spaced` Call-Site Intercepts
-
-**File**: `src/codegen/emit_wasm/strings.rs`, `src/codegen/emit_wasm.rs`
-
-Added two new pub functions:
-- `emit_str_variadic(ctx, args)`: `(str a b c ...)` → left-fold of string concat
-- `emit_str_spaced(ctx, args)`: `(str-spaced a b c ...)` → join with space separator
-
-Private helper:
-- `concat_two_i32_ptrs(ctx, ptr_a, ptr_b)`: concatenates two strings from i32 ptr locals
-
-**Key technique**: `emit_turn_string` converts any f64 value to a string, then `concat_two_i32_ptrs` combines them without re-emitting expressions.
-
-For `str-spaced`, the space character is allocated dynamically (1-byte string with 0x20 written via `I32Store8`) to avoid depending on the string pool.
-
-**Intercept added in `emit_call_expr`** for `calcit.core` namespace:
-```rust
-"str" if !args_list.is_empty() => return emit_str_variadic(ctx, &args_list),
-"str-spaced" if !args_list.is_empty() => return emit_str_spaced(ctx, &args_list),
-```
-
-These intercepts help user code calling `str`/`str-spaced`; the core library definitions still fail because they use `(&syntax &)` variadic syntax.
-
-## Remaining 62 Skips (Categorized)
-
-- **14 'f callee** (HOF defs): map, filter, each, find, foldl', update, etc.
-- **~9 nested defn**: &fn:apply, &fn:bind, &list:filter-pair, on-click, etc.
-- **~7 complex defn callee**: group-by, frequencies, repeat, zipmap, etc.
-- **3 `(&syntax &)`**: str, str-spaced, &str-spaced (definitions; call sites intercepted)
-- **3 method calls**: .slice, .filter, .deref (definition level)
-- **~4 variadic spread**: concat, mapcat, &list:flatten, &list:apply
-- **Others**: dissoc, conj, contains-in?, tagging-edn, impl-traits, etc.

package/editing-history/archived/2026-04-22-1340-wasm-map-diff-new-and-let-intercept.md

@@ -1,53 +0,0 @@
-# 202604221340 - WASM map diff-new fix & let intercept
-
-## 问题与修复
-
-### 1. `&map:diff-new` 参数顺序错误 (`maps.rs`)
-
-**问题**: `emit_map_diff_new` 中 `args[0]` (b) 和 `args[1]` (a) 搞反，导致"b 中不在 a 里的条目"变成"a 中不在 b 里的条目"。结果 `patch-map` 的 map-splice 分支从来不添加新键，`recollect` API roundtrip 测试 `summary=41` 而不是预期的 44。
-
-**修复**: 交换 a/b 的加载顺序——先加载 `args[0]` 为 `b`，`args[1]` 为 `a`，迭代 b 检查每个 key 是否在 a 中缺失。
-
-### 2. `calcit.core/let` WASM 拦截 (`emit_wasm.rs`)
-
-**问题**: `calcit.core/let` 以宏形式存在，正常编译会由预处理器展开为 `&let`，但作为 Import 出现在 call position 时 WASM codegen 找不到对应函数而报错。
-
-**修复**: 
-- 在 `emit_call_expr` 的 `calcit.core` 拦截块中新增 `"let"` case
-- 新增 `emit_let_multi` + `emit_let_pairs` 辅助函数，将 `(let ((name val)...) body...)` 格式转换为逐层绑定
-
-### 3. `{}` 空 map 字面量 WASM 支持 (`emit_wasm.rs`)
-
-**问题**: `{}` 作为裸表达式（非 call head）时，出现为 `calcit.core/{}` 的 Import 或 `CalcitProc::NativeMap`，WASM codegen 报 "unsupported WASM expression"。
-
-**修复**:
-- 在 `emit_expr` 的 `Calcit::Import` 分支加入 `def == "{}"` 的检查，调用 `emit_map_new(ctx, &[])`
-- 在 `emit_expr` 新增 `Calcit::Proc(CalcitProc::NativeMap)` case，调用 `emit_map_new`
-
-### 4. recollect probe 函数 Cirru 语法修复
-
-**问题**: 7 个调试用 probe 函数缺少 `$` 运算符，导致 `let`/`&map:count`/`if` 等出现为裸表达式而非调用头：
-- `probe-nested-*` (4 个): `let ...` → `$ let ...`  
-- `probe-*-map*` (3 个): `&map:count ...` → `$ &map:count ...`
-- `probe-nested-changes-count`: fn 内部 `if` → `$ if`
-
-**修复**: 用 `cr edit def --overwrite` 重写全部 7 个函数的 Cirru 语法。
-
-## 测试结果
-
-- `yarn run:wasm:api` (recollect): `api-roundtrip summary=44 expected=44 OK` ✓  
-- probe 函数全部通过 WASM 编译并返回正确结果：  
-  `probe-empty-map=0, probe-map-count-1=1, probe-assoc-simple=2`  
-  `probe-nested-bonus=3, probe-nested-count=10, probe-nested-map-count=2`
-- WASM skip 数量: 62 → 51（recollect namespace 中全部消除，仅剩 calcit.core HOF/closure/variadic 等已知不支持项）
-
-## 剩余已知 skip 分类 (51 个)
-
-| 原因 | 数量 | 说明 |
-|------|------|------|
-| `'f` (动态调用头) | 26 | HOF 参数作函数调用，需函数表支持 |
-| nested defn | 9 | 函数内部嵌套 defn（闭包），不支持 |
-| `(&syntax &)` | 3 | 可变参数 `&`，str/str-spaced 已有拦截 |
-| sort | 1 | `&list:sort-by` 需要比较函数回调 |
-| recur arity | 1 | `conj` 内部尾递归 arity 不匹配 |
-| 特殊 proc | 2 | tagging-edn、&core-number-impls |

package/editing-history/archived/2026-04-23-1419-v0.12.26-wasm-bisection-fixes.md

@@ -1,7 +0,0 @@
-- Fixed WASM `&str:nth` to return a one-character string or nil, matching native Calcit semantics.
-- Added string-content-aware `=` handling in WASM while keeping `identical?` as raw-value equality.
-- Inlined imported top-level value defs in WASM so string constants like `dictionary` are usable at runtime.
-- Fixed `nil?` lowering in WASM to match the backend's nil representation.
-- Corrected `&map:diff-new` argument semantics in WASM codegen.
-- Updated WASM tests/docs to match current `&str:nth` semantics.
-- Validated with `cargo clippy -- -D warnings`, `yarn compile`, `cargo test`, and `yarn check-all` before bumping version to `0.12.26`.

package/editing-history/archived/2026-04-23-1645-release-conventions.md

@@ -1,14 +0,0 @@
-# 发布流程规范与加速
-
-## 本次改动
-
-- 更新 `Agents.md`：新增"发布流程规范"章节，记录版本升级、PR/tag 习惯、crates.io 加速措施
-- 更新 `.github/workflows/publish.yaml`：加入两项加速
-  1. `CARGO_REGISTRIES_CRATES_IO_PROTOCOL=sparse`：加速 crates.io index 查找（分钟级 → 秒级）
-  2. `cargo publish --no-verify`：跳过发布前重复的编译验证，因为本地和 PR CI 已跑过
-
-## 关键规范
-
-- 版本升级：`Cargo.toml` 和 `package.json` 两边同步改，再更新 `Cargo.lock`/`yarn.lock`
-- Tag 格式：`0.12.27`（无 `v` 前缀），与 commit 一起打，message 注明版本号
-- 分支开发，不自动合并；本地测试全过 → push PR → Actions 全过 → 手动合并

package/editing-history/archived/2026-04-25-1940-wasm-suite-multi-module-entry.md

@@ -1,53 +0,0 @@
-# 202604251940 — wasm: 新增 test-wasm-suite 多模块入口
-
-## 背景
-
-`test-wasm.cirru` 是手写的小型 WASM 测试用例集，已经通过；但
-`yarn check-all` 还会运行 `calcit/test-X.cirru` 一系列测试模块
-（test-cond / test-math / test-set / ...），目前 WASM target
-还没有专门的入口把这些测试统一跑起来。
-
-## 改动
-
-1. 新增 `calcit/test-wasm-suite.cirru`：手写的 snapshot 文件，
-   通过 `:modules` 引入 `util.cirru` 与若干测试模块，自身定义
-   `test-wasm-suite.main/main!` 依次调用各测试模块的 `main!`。
-   - 当前包含：`util` + `test-cond` + `test-math` + `test-set` + `test-tuple`
-   - `test-tuple/main!` 因 `&tuple:enum` 未实现，被 codegen 标为
-     skip，main! 会以 `f64 0.0` 占位返回，对整体不产生副作用。
-2. 新增 `scripts/test-wasm-suite-extended.sh`：编译并运行新入口的
-   一键脚本，输出 `[wasm] skipping ...` 的列表，便于后续逐步补齐
-   proc 实现。
-
-## 已知阻塞（短期不放进新入口）
-
-- `test-recursion`：`emit_bump_alloc` 与 closure-as-value 的交互产生
-  无效 WAT（`global.set __heap_ptr` 收到 f64），独立编译也会触发；
-  与目前 in-progress refactor（emit_set_find_structural / hash_list_or_set）
-  联动后表现尤其明显。
-- `test-list`：`local.set f64` 收到 i32（function 35 体内），bytes 模式
-  形如 `local.get a (i32) ; local.get b (i32) ; local.set c (f64)`。
-- `test-string`：`includes?` / `.find-index` / `starts-with?` /
-  `strip-prefix` / `strip-suffix` 等字符串过程 WASM 未实现；
-  `trim` / `blank?` / `parse-float` / `&str:replace` / `format-to-cirru` /
-  `&cirru-quote:to-list` / `get-char-code` 同上。
-- `test-fn`：`(let f2 &+)` 把过程作为值放进局部变量，
-  当前 WASM 不支持 first-class proc，整个 `main!` 会被 skip。
-- `test-algebra`、`test-map`：旧的 `unreachable` 失败，与本次改动无关。
-
-## 用法
-
-```bash
-bash scripts/test-wasm-suite-extended.sh
-# 期望最后一行: [test-wasm-suite] PASS
-```
-
-## 后续步骤
-
-1. 修 test-recursion 的 closure-as-value / bump_alloc 类型不一致
-   （定位 `f64.const 0; local.tee Xf64; global.set __heap_ptr` 来源）。
-2. 修 test-list 的 i32 ↔ f64 binding bug。
-3. 实现 `includes?` / `starts-with?` / `ends-with?` / `strip-prefix` /
-   `strip-suffix` / `.find-index` 等 string proc，把 test-string 的
-   `test-includes` 子集放进新入口。
-4. 实现 `&tuple:enum` 等 tuple 操作，让 test-tuple/main! 不再被 skip。