@calcit/procs 0.13.2 → 0.13.4

package/build.rs

@@ -1,4 +1,4 @@
-use cirru_edn::{Edn, EdnMapView, EdnRecordView, from_edn};
+use cirru_edn::{Edn, EdnMapView, EdnStructView, from_edn};
 use cirru_parser::Cirru;
 use serde::{Deserialize, Serialize};
 use std::collections::HashMap;
@@ -258,10 +258,7 @@ fn parse_schema_from_edn(value: &Edn, owner: &str) -> Result<Edn, String> {
       validate_schema_edn_no_legacy_quotes(&normalized, owner)?;
       return Ok(normalized);
     }
-    Edn::Tuple(view)
-      if matches!(view.tag.as_ref(), Edn::Tag(tag) if matches!(tag.ref_str(), "fn" | "macro"))
-        && matches!(view.extra.first(), Some(Edn::Map(_))) =>
-    {
+    Edn::Enum(view) if matches!(view.variant.as_ref(), "fn" | "macro") && matches!(view.extra.first(), Some(Edn::Map(_))) => {
       let Some(Edn::Map(map)) = view.extra.first() else {
         unreachable!();
       };
@@ -269,7 +266,7 @@ fn parse_schema_from_edn(value: &Edn, owner: &str) -> Result<Edn, String> {
         Edn::Map(map) => map,
         _ => unreachable!(),
       };
-      if normalized.tag_get("kind").is_none() && matches!(view.tag.as_ref(), Edn::Tag(tag) if tag.ref_str() == "macro") {
+      if normalized.tag_get("kind").is_none() && view.variant.as_ref() == "macro" {
         normalized.insert_key("kind", Edn::tag("macro"));
       }
       let normalized = Edn::Map(normalized);
@@ -326,10 +323,14 @@ fn validate_schema_edn_no_legacy_quotes(value: &Edn, owner: &str) -> Result<(),
         }
         Ok(())
       }
-      Edn::Tuple(view) => {
-        path.push(".tag".to_owned());
-        walk(view.tag.as_ref(), owner, path)?;
-        path.pop();
+      Edn::Enum(view) => {
+        if view.variant.starts_with('\'') {
+          return Err(format!(
+            "{owner}: invalid schema enum symbol `{}` at {}",
+            view.variant,
+            schema_path_label(path)
+          ));
+        }
         for (idx, item) in view.extra.iter().enumerate() {
           path.push(format!("[{idx}]"));
           walk(item, owner, path)?;
@@ -345,7 +346,7 @@ fn validate_schema_edn_no_legacy_quotes(value: &Edn, owner: &str) -> Result<(),
         }
         Ok(())
       }
-      Edn::Record(_) => Ok(()),
+      Edn::Struct(_) => Ok(()),
       _ => Ok(()),
     }
   }
@@ -381,16 +382,16 @@ fn parse_tags_from_edn(value: &Edn, owner: &str) -> Result<Vec<String>, String>
 }
 
 fn parse_code_entry(edn: Edn, owner: &str) -> Result<CodeEntry, String> {
-  let record: EdnRecordView = match edn {
-    Edn::Record(r) => r,
-    other => return Err(format!("{owner}: expected CodeEntry record, got {}", format_edn_preview(&other))),
+  let struct_value: EdnStructView = match edn {
+    Edn::Struct(r) => r,
+    other => return Err(format!("{owner}: expected CodeEntry struct, got {}", format_edn_preview(&other))),
   };
   let mut doc = String::new();
   let mut examples: Vec<Cirru> = vec![];
   let mut tags: Vec<String> = Vec::new();
   let mut code: Option<Cirru> = None;
   let mut schema: Option<Edn> = None;
-  for (key, value) in &record.pairs {
+  for (key, value) in &struct_value.pairs {
     match key.arc_str().as_ref() {
       "doc" => doc = from_edn(value.clone()).map_err(|e| format!("{owner}: invalid `:doc`: {e}"))?,
       "examples" => examples = from_edn(value.clone()).map_err(|e| format!("{owner}: invalid `:examples`: {e}"))?,
@@ -412,18 +413,18 @@ fn parse_code_entry(edn: Edn, owner: &str) -> Result<CodeEntry, String> {
 }
 
 fn parse_ns_entry(edn: Edn, owner: &str) -> Result<NsEntry, String> {
-  let record: EdnRecordView = match edn {
-    Edn::Record(r) => r,
+  let struct_value: EdnStructView = match edn {
+    Edn::Struct(r) => r,
     other => {
       return Err(format!(
-        "{owner}: expected NsEntry/CodeEntry record, got {}",
+        "{owner}: expected NsEntry/CodeEntry struct, got {}",
         format_edn_preview(&other)
       ));
     }
   };
   let mut doc = String::new();
   let mut code: Option<Cirru> = None;
-  for (key, value) in &record.pairs {
+  for (key, value) in &struct_value.pairs {
     match key.arc_str().as_ref() {
       "doc" => doc = from_edn(value.clone()).map_err(|e| format!("{owner}: invalid `:doc`: {e}"))?,
       "code" => code = Some(from_edn(value.clone()).map_err(|e| format!("{owner}: invalid `:code`: {e}"))?),
@@ -437,18 +438,18 @@ fn parse_ns_entry(edn: Edn, owner: &str) -> Result<NsEntry, String> {
 }
 
 fn parse_file_in_snapshot(edn: Edn, file_name: &str) -> Result<FileInSnapShot, String> {
-  let record: EdnRecordView = match edn {
-    Edn::Record(r) => r,
+  let struct_value: EdnStructView = match edn {
+    Edn::Struct(r) => r,
     other => {
       return Err(format!(
-        "{file_name}: expected FileEntry record, got {}",
+        "{file_name}: expected FileEntry struct, got {}",
         format_edn_preview(&other)
       ));
     }
   };
   let mut ns: Option<NsEntry> = None;
   let mut defs: HashMap<String, CodeEntry> = HashMap::new();
-  for (key, value) in &record.pairs {
+  for (key, value) in &struct_value.pairs {
     match key.arc_str().as_ref() {
       "ns" => ns = Some(parse_ns_entry(value.clone(), &format!("{file_name}/:ns"))?),
       "defs" => {

package/editing-history/20260807-1030-doc-struct-enum-rename-followup.md

@@ -0,0 +1,9 @@
+# Struct / Enum 数据模型文档跟进清理
+
+- 同步文档措辞：`tuple` / `record` 术语已迁移为 `enum` / `struct`，将仍然把当前数据模型描述为旧名的 4 处表述更新为 struct/enum 语义。
+- `docs/features/polymorphism.md`：`records/tuples created from them` → `struct/enum values created from them`。
+- `docs/docs-indexing.md`：category registry 中 `records, tuples, enums` → `structs, enums`。
+- `docs/data/edn.md`：严格 EDN 解码不把 `ordinary tuples` 强转成 enum → `ordinary lists`，避免与已移除的 tuple 类型混淆。
+- `docs/features/structs.md`（原 `records.md`）：匿名 struct 字段排序说明 `struct-backed records` → `named structs` 的字段顺序。
+- 保留的合法旧名引用：迁移表（`anonymous-enums.md`、`upgrade.md`）、frontmatter alias / 旧文件名链接（`structs.md`、`anonymous-enums.md`）、`impl records`（trait 概念）、`namespace records`（快照条目）等不属于数据模型旧名。
+- 验证：`cr docs check-md <file> --entry calcit/test.cirru` 结果与改动前一致（structs.md 的 11 个失败均为匿名 `%{} _` 示例在 eval 上下文无法运行的既有问题，与本次改动无关）。

package/editing-history/20260807-1130-rename-record-tuple-doc-files.md

@@ -0,0 +1,6 @@
+# Struct / Enum 数据模型文档文件重命名
+
+- 将文档文件名与新的 struct/enum 模型对齐：`docs/features/records.md` → `docs/features/structs.md`，`docs/features/tuples.md` → `docs/features/anonymous-enums.md`。
+- 同步 frontmatter id：`core/features/records` → `core/features/structs`，`core/features/tuples` → `core/features/anonymous-enums`；保留旧 alias（"record type"、"legacy tuple migration"）以维持文档检索兼容。
+- 更新所有交叉链接：`docs/features.md`（`leads_to` 与 Domain modeling 链接）、`docs/features/enums.md`（See Also）、`docs/features/anonymous-enums.md`（See Also）、`docs/run/agent-advanced.md`（Anonymous Enum vs List 链接）。
+- 验证：终端 grep 确认 `docs/` 下无残留 `records.md` / `tuples.md` / 旧 id；`git status` 显示 `RM` 重命名记录。RFC 为历史提案，保持原样。

package/editing-history/20260807-1200-rename-record-tuple-test-and-rust.md

@@ -0,0 +1,41 @@
+# Struct / Enum 命名全量对齐（测试夹具 + Rust 模块）
+
+延续 data model v2，把代码库中遗留的 `record`/`tuple` 命名统一迁移到 `struct`/`enum`，分两层完成：
+
+## A 级：测试夹具文件与引用
+
+- `calcit/test-record.cirru` → `calcit/test-struct.cirru`（namespace `test-record.main` → `test-struct.main`，package/FileEntry/init-fn/reload-fn/schema args/ns 声明全部同步；内部 def 同步改名：`test-record-with`→`test-struct-with`、`test-partial-record`→`test-partial-struct`、`test-loose-record-rewrite`→`test-loose-struct-rewrite`、`test-map-to-record`→`test-map-to-struct`）。
+- `calcit/test-tuple.cirru` → `calcit/test-anonymous-enum.cirru`（namespace `test-tuple.main` → `test-anonymous-enum.main`；因已有 `test-enum.cirru`，采用与文档 `anonymous-enums.md` 平行的命名；该文件测试 anonymous enum + destruct 操作）。
+- 更新全部引用：`calcit/test.cirru`（模块列表/requires/入口/CodeEntry key）、`calcit/test-wasm-suite.cirru`、`src/bin/cli_handlers/query.rs`（`test-record.main`→`test-struct.main`）、`scripts/check-agent-interface.mjs`、`scripts/test-wasm-suite.sh`、`scripts/test-wasm-suite-extended.sh`、`docs/run/query.md`。
+- 其他测试文件中的内部 def 名同步：`test-record-methods`→`test-struct-methods`（test-types.cirru + `.calcit/cursor.cirru`）、`test-tuple-impl-precedence-order`→`test-enum-impl-precedence-order`（test-traits.cirru）、`test-tuple-to-enum`→`test-anonymous-enum-to-named`（test-enum.cirru）、`test-record-inference`→`test-struct-inference`（test-types-inference.cirru）。
+- **保留**：`test-wasm.cirru` / `scripts/test-wasm.mjs` 未动——该文件是 legacy 兼容测试（仍用 `defrecord`、`tuple-enum`、`:tuple` tag），内部 `test-record-*`/`test-tuple-*` 名称与其 legacy 语义一致。
+
+## B 级：Rust 内部模块与函数命名
+
+- 模块文件重命名 + mod 声明 + 路径引用：
+  - `src/calcit/record.rs` → `src/calcit/struct_value.rs`（`mod record`→`mod struct_value`；`record::` → `struct_value::`）
+  - `src/calcit/tuple.rs` → `src/calcit/enum_value.rs`（`mod tuple`→`mod enum_value`）
+  - `src/builtins/records.rs` → `src/builtins/structs.rs`（`mod records`→`mod structs`；`records::` → `structs::`，含 builtins.rs 分发与 type_inference.rs）
+  - `src/codegen/emit_wasm/records.rs` → `src/codegen/emit_wasm/structs.rs`（含 `#[path = "emit_wasm/structs.rs"]` 修正）
+  - `src/calcit/sum_type.rs` 保留（"sum type" 是 enum 的合法名称，无 legacy 措辞）。
+- 模块内 legacy 函数名迁移（含 call sites）：`call_record*`→`call_struct*`、`record_with`→`struct_with`、`record_nth`→`struct_nth`、`record_field_tag`→`struct_field_tag`、`record_assoc_at`→`struct_assoc_at`、`record_with_at`→`struct_with_at`、`record_from_map`→`struct_from_map`、`get_record_name`→`get_struct_name`、`get_record_struct`→`get_struct_def`；WASM emitter：`emit_record*`→`emit_struct*`、`emit_tuple*`→`emit_enum*`、`emit_enum_tuple_new`→`emit_named_enum_new`、`emit_tuple_*_from_local`→`emit_enum_*_from_local`。
+
+## 有意保留（B 级深层内部，附理由）
+
+- `NativeRecord*` / `NativeTuple*` 内部分发枚举变体：存在命名冲突（`NativeRecordImplTraits` 与已存在的 `NativeStructImplTraits` 并存且分发不同函数），且部分新名已存在，盲改不安全；为兼容性代码库有意保留新旧两套。
+- 局部变量 `record`/`tuple`（约 700+）：大量出现在外部 `Edn::Record`/`Edn::Tuple`（cirru_edn crate）上下文——那是 EDN 自己的 Record/Tuple 语义，改名为 struct/enum 反而错误；其余为内部局部绑定，纯外观、零用户价值、改动面大。
+- 注释与诊断字符串中的措辞、RFC/editing-history 历史记录。
+
+## 验证
+
+- `cargo test` 全绿（360 + 2 + 180，0 失败）；`cargo clippy --lib -- -D warnings` 通过。
+- `cargo clippy --all-targets -- -D warnings` 在 `src/bin/calcit_deps.rs` 报 `items after a test module`——该文件未改动，属分支既有问题。
+- `check-agent-interface` 12 项场景全过（`test-struct.main` 解析正常）；WASM codegen 与 `test-wasm-suite` 通过。
+- 已知既有问题（与本次无关）：`try-rs`（`cr calcit/test.cirru`）在 `test-generics` 栈溢出，clean worktree 亦复现。
+
+## 后续安全术语迁移
+
+- `src/calcit/data_patch.rs`、`src/calcit/data_shape.rs`：将 `Calcit::Struct(record)` / `Calcit::Enum(tuple)` 的内部绑定改为 `struct_value` / `enum_value`，并将仅面向当前数据模型的诊断与测试断言改为 struct/enum。
+- `src/call_tree.rs`：枚举 payload 递归遍历绑定改为 `enum_value`。
+- `src/data/edn_decode.rs`：EDN 解码测试中的 Calcit struct/enum 解构绑定和断言改为新术语；`CalcitEnumDef::from_record` 保持不动，因为它明确承载旧 enum-definition schema 的兼容转换。
+- 以上四个切片分别通过 `data_patch::tests`（4/4）、`data_shape::tests`（6/6）、`call_tree`（1/1）和 `edn_decode::tests`（7/7）。文档检索后仅余迁移表与兼容说明，未发现需改写的当前模型表述。

package/editing-history/202608071809-preserve-targeted-schema-edits.md

@@ -0,0 +1,11 @@
+# Preserve targeted schema edits
+
+## Scope
+
+- `cr edit schema` now updates the selected `CodeEntry` schema through the original EDN snapshot tree instead of re-rendering the entire typed `Snapshot`.
+- Unrelated schema fields, including legacy `:optional` and `:any` forms, remain unchanged by targeted schema updates and clears.
+
+## Validation
+
+- Added a regression fixture covering both schema update and clear operations, preserving an unrelated legacy function schema and the snapshot shebang.
+- Verified with the full Rust test suite, strict Clippy, `yarn compile`, and `yarn check-agent-interface`.

package/editing-history/202608071848-static-method-generic-validation.md

@@ -0,0 +1,5 @@
+# Static Method Generic Validation
+
+- Postfix method rewrites now preprocess their receiver and arguments before static method validation and code generation.
+- Static implementation methods use their declared schemas, binding generic variables from the receiver before validating other arguments.
+- Added regressions for `Option<String>.unwrap-or Number` and an inline anonymous callback passed to `Option.map`.

package/editing-history/20260808-0913-continue-struct-naming-cleanup.md

@@ -0,0 +1,21 @@
+# 继续清理 Struct 命名
+
+延续 data model v2 的术语迁移，继续移除当前 Calcit 代码路径中把 `Struct` 称作 `record` 的内部绑定、诊断和测试表述。
+
+## 本次改动
+
+- EDN 解码、详细快照、构建脚本和运行时快照读取中的 `Edn::Struct` 局部绑定统一为 `struct_value`。
+- 当前 Struct/Enum 诊断、WASM/JS codegen 文案和 CLI 查询提示统一使用 `struct` / `enum`。
+- `CalcitEnumDef` 从 Struct 原型收集 variant 的内部参数、Struct map 转换和编辑器 EDN 修改辅助函数同步改名。
+- Struct 文档别名和类型注释同步更新。
+- 保留旧 API 名称、旧 schema 关键字、`Record(...)` 调试输入以及 `test-wasm.cirru` 等明确的兼容测试内容。
+
+## 验证
+
+- `cargo fmt --check`
+- `cargo check --all-targets`
+- `cargo clippy --lib -- -D warnings`
+- `cargo test data::edn::tests`（5 项）
+- `cargo test data::edn_decode::tests`（7 项）
+
+`cargo test snapshot::tests` 中已有的 `test_save_snapshot_round_trip_keeps_real_world_schema_markers` 仍失败于保存内容断言；本次仅修改绑定名和诊断文本，未改变快照格式逻辑。

package/editing-history/20260808-0917-struct-enum-terminology-cleanup.md

@@ -0,0 +1,17 @@
+# Struct and Enum terminology cleanup
+
+## Summary
+
+- Renamed current Struct and Enum locals in trait fixtures to `struct_value` and `enum_value`.
+- Updated active test comments, method inspection tags, type-failure documentation, and WASM validation labels to use Struct/Enum terminology.
+- Renamed the `struct-with` macro parameter and Struct implementation validation locals in the current preprocessing path.
+- Updated the agent interface diagnostic to describe source-backed struct methods.
+
+## Compatibility retained
+
+- Legacy `record` and `tuple` API spellings, migration diagnostics, historical test namespaces, and explicit WASM/type-failure fixture names remain unchanged.
+
+## Validation
+
+- `cargo check --all-targets`
+- `cargo test runner::preprocess::tests --lib` (72 passed)

package/editing-history/20260808-0926-deprecated-record-api-analysis.md

@@ -0,0 +1,16 @@
+# Deprecated record API analysis
+
+## Summary
+
+- Marked the retained `record-match`, `record-struct`, `record-with`, and `record?` compatibility APIs in `calcit.core` with `:deprecated` tags.
+- Updated each API document to name its Struct-model replacement.
+- Added `cr analyze deprecated`, a tag-driven static report that finds calls to any `:deprecated` definition and reports the calling definition, `code@...` path, target documentation, and JSON `W_DEPRECATED_API` diagnostic.
+- Added a focused regression test for implicit `calcit.core/record?` call detection.
+
+## Validation
+
+- `cargo test --bin cr deprecated_api::tests::finds_implicit_core_deprecated_call_at_body_path`
+- `cargo check --all-targets`
+- `cargo fmt --check`
+- `git diff --check`
+- Manual temporary Snapshot validation: `record?` produced one `calcit.core/record?` report at `code@3` and `W_DEPRECATED_API`.

package/editing-history/20260808-0939-pr-review-ci-remediation.md

@@ -0,0 +1,10 @@
+# PR Review 与 CI 修复
+
+针对 record/tuple 到 struct/enum 迁移 PR 的 review 与 CI 失败做最小修复：
+
+- Snapshot round-trip 测试改为断言 canonical 的 `'CodeEntry` 输出，保留 Fn/Macro schema 验证。
+- `dump_code` 的运行时 enum/struct 值 metadata `:kind` 恢复为兼容的 `:tuple`/`:record`；定义 metadata 继续使用 `:enum`/`:struct`。
+- 修正 enum、struct 与 WASM 布局的遗留文案和注释偏移量。
+- 修复此前迁移记录中分裂的 Markdown code span。
+
+验证：snapshot 精确测试、`cargo test --lib`、`cargo fmt --check`、`cargo clippy -- -D warnings`。

package/editing-history/20260808-0959-canonical-edn-fixture-expectations.md

@@ -0,0 +1,10 @@
+# Canonical EDN Fixture Expectations
+
+修复 PR CI 的 Cirru integration suite：Snapshot canonicalization 后，部分旧 golden
+expectation 仍把 enum/struct discriminator 或 nominal name 写为 tags。
+
+- `format-cirru-edn` 对 enum discriminator、typed enum name/variant 和 struct nominal name
+  输出 symbol quote；相应 fixture 改为 canonical 格式。
+- `&get-def-schema` 返回 `:Fn` tag discriminator；definition metadata fixture 同步断言该值。
+
+验证：`cargo test --bin cr cr_cirru_suite_tests::cirru_test_suite`。

package/editing-history/20260808-1004-align-js-canonical-edn-format.md

@@ -0,0 +1,10 @@
+# Align JS Canonical EDN Format
+
+`cirru_edn 0.8` 在 Rust 端将 enum discriminator、typed enum name/variant 和
+nominal struct name 规范化输出为 symbol quote。JS runtime 原先保留 `:` tag 写法，
+导致同一套 Cirru EDN fixture 在 native 与 JS 后端产生不同结果。
+
+调整 `ts-src/js-cirru.mts`：仅在 struct/enum EDN shape header 中通过
+`CalcitSymbol` 输出这些结构标识符；普通 payload tags 仍保持原有 tag 格式。
+
+验证：`yarn tsc`、`yarn try-js`、`cargo test`。

package/editing-history/20260808-1008-deprecated-analysis-review-fixes.md

@@ -0,0 +1,10 @@
+# Deprecated Analysis Review Fixes
+
+处理 record/tuple 迁移 PR 的未 resolve review：
+
+- `analyze deprecated` 解析未限定 symbol 时先检查本地 namespace definition，避免 local `record?` shadowing 被误报为 `calcit.core/record?`。
+- 遍历 list-valued callee，避免 IIFE 中的 deprecated call 漏报。
+- JSON envelope 复用 static-analysis 的稳定 revision 算法，满足文档化 contract。
+- WASM enum literal 与 enum operation 错误文案统一使用 Enum 术语。
+
+验证：`cargo test deprecated_api`、`cr analyze deprecated --format json --summary-only`、`cargo fmt --check`。

package/editing-history/20260808-1012-document-deprecated-api-cleanup.md

@@ -0,0 +1,7 @@
+# Document Deprecated API Cleanup
+
+在 `docs/CalcitAgent.md` 增加简短的 deprecated API 清理流程：用
+`cr analyze deprecated` 定位调用，以 summary-only JSON 作为 migration gate，并在
+目标范围 calls 清零前保留兼容 API 与 `:deprecated` tag。
+
+验证：`cr docs check-md docs/CalcitAgent.md --entry calcit/test.cirru`。

package/editing-history/20260808-1020-release-0.13.3.md

@@ -0,0 +1,7 @@
+# Release 0.13.3
+
+在合并 Struct/Enum terminology migration、deprecated API analysis 与跨后端
+canonical EDN formatting 修复后，将 Rust crate 与 npm package 版本从 `0.13.2`
+同步升级至 `0.13.3`。
+
+验证：`cargo update --workspace`、`cargo test`、`yarn compile`。

package/editing-history/20260808-1117-option-result-method-api.md

@@ -0,0 +1,7 @@
+# Option and Result Method API
+
+- Classified direct `option:*` and `result:*` helpers as `:internal`; they remain compiler-lowering targets and core implementation details.
+- Added public `Option` method entries for `.unwrap` and `.fold`, alongside the existing predicates, mapping, fallback, and chaining methods.
+- Migrated public Option examples and lens tests to inferred postfix methods when static type evidence exists; dynamic map lookups continue to use explicit `tag-match`.
+- Documented inferred Option/Result methods as the public API, including the JavaScript interop guide.
+- Verified direct helpers still provide Result method dispatch; current WASM codegen cannot consume a surviving nominal Option method call, so backend-only helper coverage remains direct until preprocessing lowering is extended.

package/editing-history/20260808-1126-format-cirru-snapshots.md

@@ -0,0 +1,6 @@
+# Canonical Cirru Snapshot Formatting
+
+- Ran `cr edit format` across every repository Snapshot identified by top-level `:files` metadata.
+- Canonicalized 57 Snapshot files, including runnable tests, debug/script fixtures, and type-fail fixtures.
+- The serializer normalized legacy Snapshot record tags to quoted symbols while preserving program semantics.
+- Verified formatting idempotence with a second formatter pass and ran `yarn check-all` successfully.

package/editing-history/20260808-1300-record-tuple-naming-cleanup.md

@@ -0,0 +1,62 @@
+# Record / Tuple 命名收尾清理（data model v2 术语全量对齐）
+
+延续 data model v2 与 `20260807-1200-rename-record-tuple-test-and-rust.md` 的「后续安全术语迁移」计划，
+把代码库中剩余的 `record`/`tuple` 措辞在**安全**的前提下统一迁移到 `struct`/`enum`。本次改动仅涉及 Rust 源码（32 个文件），文档无需再改（上次已同步）。
+
+## 迁移内容
+
+### 内部函数重命名（含调用点）
+
+- `compare_record_values` → `compare_struct_values`（`src/calcit/compare.rs` + `calcit.rs`）
+- `CalcitEnumDef::to_record_prototype` → `to_struct_prototype`（`sum_type.rs` + type_inference / type_rewriting 调用点）
+- `infer_record_field_type/get_type/nth_type/literal_type` → `infer_struct_*`；`infer_struct_literal_type` 与新模型 `%{}` 冲突，新值字面量推断改名为 `infer_struct_value_literal_type`
+- `check_record_field_access/update_fields/method_args` → `check_struct_*`；`check_field_in_record` → `check_field_in_struct`
+- `check_tuple_nth_bounds` → `check_enum_nth_bounds`；`check_enum_tuple_construction` → `check_enum_construction`（`mod.rs` + `type_checking.rs` 导入与测试调用点）
+- `resolve_record_value` → `resolve_struct_value`；`resolve_record_def` → `resolve_struct_value`（type_annotation.rs，避免与既有 `resolve_struct_def` 冲突）
+- `collect_record_literal_values` → `collect_struct_literal_values`
+- `is_tuple_constructor` → `is_enum_constructor`（type_inference + type_annotation）
+- `infer_enum_tuple_annotation` → `infer_enum_annotation`；`infer_enum_tuple_applied_args` → `infer_enum_applied_args`
+- type_rewriting.rs：`try_rewrite_map_args_to_records` → `try_rewrite_map_args_to_structs`、`try_rewrite_single_map_to_record` → `try_rewrite_single_map_to_struct`、`try_rewrite_loose_record_args_to_struct_records` → `try_rewrite_loose_struct_args_to_structs`、`try_rewrite_single_loose_record_to_struct_record` → `try_rewrite_single_loose_struct_to_struct`、`try_rewrite_tuple_args_to_enum_tuples` → `try_rewrite_enum_args_to_named_enums`、`try_rewrite_single_tuple_to_enum_tuple` → `try_rewrite_single_enum_to_named_enum`、`try_rewrite_local_fn_tuple_args_to_enum_tuples` → `try_rewrite_local_fn_enum_args_to_named_enums`
+- builtins/meta.rs：`new_tuple` → `new_enum_value`、`new_enum_tuple_no_class` → `new_named_enum_value`、`tuple_enum` → `enum_definition`、`tuple_enum_has_variant` → `enum_def_has_variant`、`tuple_enum_variant_arity` → `enum_def_variant_arity`、`tuple_validate_enum` → `enum_validate`、`tuple_nth` → `enum_nth`、`tuple_count` → `enum_count`、`tuple_impls` → `enum_impls`、`tuple_params` → `enum_params`、`parse_enum_record` → `parse_enum_struct`（builtins.rs 分发同步）
+- builtins/structs.rs：`checked_record_index` → `checked_struct_index`
+- gen_ir.rs：`dump_record_code` → `dump_struct_value_code`、`record_metadata` → `struct_value_metadata`、`dump_tuple_code` → `dump_enum_value_code`、`tuple_metadata_entries` → `enum_value_metadata_entries`（与既有 `dump_struct_code`/`dump_enum_code` 错开）
+- effects_graph.rs：`find_best_record_template` → `find_best_struct_template`、`walk_for_record_templates` → `walk_for_struct_templates`、`format_record_fields` → `format_struct_template_fields`（与既有 `format_struct_fields` 错开）、`parse_record_field_pairs` → `parse_struct_field_pairs`、`parse_flat_record_pairs` → `parse_flat_struct_pairs`、`parse_nested_record_entries` → `parse_nested_struct_entries`、`record_fields_from_calcit` → `struct_fields_from_calcit`、`is_record_literal_head` → `is_struct_literal_head`
+- type_coverage.rs：`read_schema_param_tuple` → `read_schema_param_wrapped`
+- WASM codegen：`emit_option_tuple` → `emit_option_enum`、局部变量 `tuple_tag` → `enum_tag`、`record_tag` → `struct_tag`、`tuple_ptr` → `enum_ptr`、`try_format_tuple_literal` → `try_format_enum_literal`
+- `CalcitImpl::from_record` → `CalcitImpl::from_struct`（calcit_impl.rs + type_annotation.rs 调用点）；`as_record` 冗余别名删除（`as_struct` 已存在）；`as_tuple` → `as_enum`
+- `resolve_enum_value`/`resolve_enum_from_program`/`resolve_enum_def` 内 `Calcit::Struct(record)` 绑定 → `struct_value`
+
+### 局部绑定与测试夹具
+
+- 模式绑定 `Calcit::Struct(record)` / `Calcit::Enum(tuple)` → `struct_value` / `enum_value`（全仓库，约 40 处）
+- 测试夹具变量：`enum_record` → `enum_struct`、`test_record` → `test_struct`、`class_record` → `class_struct`、`indexed_record_fixture` → `indexed_struct_fixture`、`sample_enum_record` → `sample_enum_struct`、`enum_left/right_record` → `enum_left/right_struct`
+- 测试名（可见于测试输出）：`cmp_records_*` → `cmp_structs_*`、`*record_field*` → `*struct_field*`、`checks_enum_tuple_*` → `checks_enum_*`、`checks_tuple_nth_*` → `checks_enum_nth_*`、`schema_rest_named_tuple_is_treated_as_type_only` → `schema_rest_named_enum_*`、`test_normalize_schema_unwraps_wrapped_*_tuple` → `*_enum` 等
+
+### 注释 / 诊断字符串
+
+- `mod.rs`、`builtins/*`、`codegen/emit_wasm/*`、`data/cirru.rs`、`calcit/syntax_name.rs` 等 60+ 处注释与 doc 措辞同步
+- 用户可见错误/警告串：`[Warn] record update field` → `struct update field`、`map-to-record` → `map-to-struct`、`loose-record-to-struct` → `loose-struct-to-struct`、`tuple-to-enum` → `enum-to-named-enum`、`record {} does not define field` → `struct`、`&list:foldl-shortcut expected a value in the tuple` → `in the enum`
+
+## 有意保留（附理由）
+
+- `NativeRecord*` / `NativeTuple*` 内部分发枚举变体：与既有 `NativeStruct*` / `NativeEnum*` 存在真实命名冲突（如 `NativeRecordImplTraits` = `&struct:impl-traits` 与 `NativeStructImplTraits` = `&struct-def:impl-traits` 并存且分发不同），盲改不安全。配套的 `record_impl_traits` / `tuple_impl_traits` 函数名同步保留。
+- `CalcitEnumDef::from_record`：明确承载旧 enum-definition schema 的兼容转换，保留。
+- `Edn::Record` / `Edn::Tuple`、`EdnRecordView` / `EdnTupleView`、`Edn::enum_tuple`、`DefinitionRecord`、`find_edn_record_value_mut`、`find_record_in_options`、`legacy_snapshot_record_summary`、`empty_record`（快照测试）：外部 `cirru_edn` crate 的 EDN 语义，改名反而错误。
+- 旧输入拼写兼容：`type_annotation.rs` 中 `"record"/"Record"/"tuple"/"Tuple"` 的解析匹配、`:: :record`/`:: :tuple` 兼容分支、`custom_keyword_matches(..., "record"/"tuple")` 运行时类型校验——保留以兼容旧写法。
+- legacy `defrecord` 语法兼容：`try_parse_defrecord_form` / `is_defrecord`（WASM codegen 解析旧 `defrecord` 表单）。
+- impl records（trait 概念）：`collect_*_impl_records*`、`get_impl_records_from_type`、`resolve_core_impl_records`、`method_record`、`imp_record`、`impl_record` 等——与文档中保留的「impl records」术语一致。
+- Hash 鉴别串：`"record:"` / `"tuple:"`（`Calcit::Hash`）、`"record"` / `"dyntuple"`（type annotation Hash）——`&hash` 内建会把结果暴露给用户，改动会改变 hash 输出，属于行为变更，不纳入术语清理。
+- 遗留行为测试名：`nominal_options_warn_on_legacy_nil_and_tuple_operations`（测试的是对旧 tuple 操作的告警）。
+- 文档中的合法旧名引用：upgrade 迁移表、`impl records`、`namespace records`、动词 `records`、旧 `tuple` where 语法告警。
+- `src/cirru/calcit-core.cirru` 中 `record-match` 已标记为 removed legacy macro，保留。
+
+## 验证
+
+- `cargo fmt` 通过；`cargo clippy --lib -- -D warnings` 通过。
+- `cargo test`：360 + 2 + 184 = 546 用例全绿（修复 1 处 `validates_typed_struct_update_fields_after_generic_substitution` 断言串仍引用旧 `record update field`）。
+- `cargo clippy --all-targets` 仅剩 `src/bin`（caps/calcit_deps）既有 `items after a test module` 警告，未改动文件，与本次无关。
+- `yarn compile`、`yarn check-js-runtime`、`yarn check-agent-interface`（12/12）、`yarn try-rs`、`yarn try-js`、`yarn try-ir`、`yarn try-wasm` 全部通过。
+
+## 备注
+
+- 修改类编辑统一用 `search-replace`/上下文定位，避免索引漂移；遇到多副本局部变量（如 WASM `tuple_tag`/`tuple_ptr`、测试夹具 `enum_record`）用语言服务器语义重命名（rename symbol）按函数作用域逐一处理。

package/editing-history/20260808-1418-cross-backend-host-ffi-contract-rfc.md

@@ -0,0 +1,7 @@
+# Cross-backend Host/FFI Contract RFC
+
+- Designed a backend-neutral logical FFI contract shared by JavaScript, native registered procedures, WASM, and WASI.
+- Separated logical host types and callable checks from backend-specific ABI transport, ownership, symbol binding, and memory layout.
+- Proposed nominal stable host shapes, with JavaScript/DOM as the first field and method projection consumer.
+- Kept raw host values opaque and required declarations, checked decoders, registered identity, or auditable trusted assertions for stronger host types.
+- Preserved existing registered-proc and `defwasm-import`/`defwasm-export` syntax as incremental migration inputs.

package/editing-history/20260808-1439-host-ffi-type-foundation.md

@@ -0,0 +1,7 @@
+# Host FFI Type Foundation
+
+- Expanded the cross-backend host/FFI RFC with concise browser and DOM declaration patterns, plus explicit FFI conversion boundaries.
+- Added `Host<T>` as a nominal FFI type annotation that reuses existing Calcit type references without making host values ordinary Calcit data.
+- Added parsing, schema serialization, generic substitution, strict nominal matching, ordering, hashing, and regression coverage for `Host<T>`.
+- Rejected host values from closed `data-shape` conversion and classified them as intentional FFI boundaries in coverage and mismatch diagnostics.
+- Deferred `defhost-type` declaration storage and JS member inference until their registry and preprocessing model are designed.

package/editing-history/20260808-1523-ffi-schema-redesign-and-cirru-edn-check.md

@@ -0,0 +1,7 @@
+# FFI Schema Redesign + `cirru.edn` check-md Mode
+
+- Retired the premature `CalcitTypeAnnotation::Host` variant and its temporary `defhost-type` macro. Host/FFI value types should not become a parallel type-annotation system.
+- Rewrote the cross-backend host/FFI RFC around Calcit's existing conventions: function/value types stay on `CodeEntry.schema` using `:: 'Fn`/`:: 'Trait`/etc.; backend lowering metadata (JS host path, native symbol, WASM module/field) lives in a separate `CodeEntry.ffi` raw EDN field that never participates in ordinary type matching.
+- Redesigned host capability declarations to reuse existing `deftrait`/`:where` machinery instead of inventing field/shape/member schema kinds; JS property get/set/call lowering is expressed as a small `:members` map on the trait's `:ffi` metadata.
+- Added a `cirru.edn` fenced-block mode to `cr docs check-md`/`format-md` (`CirruCheckMode::Edn`, `run_edn_parse_only` in `src/bin/cli_handlers/docs.rs`) that validates a block parses as EDN data via `cirru_edn::parse`, for schema/`:ffi`-shaped snippets that are not runnable/parseable Calcit source. Documented it in `docs/run/cli-options.md`.
+- Reclassified the RFC's `CodeEntry`/type-reference example blocks from `cirru.no-check` to `cirru.edn` (kept the one illustrative `deftrait DomInput` Calcit-code block as `cirru.no-check`) and verified all 13 blocks pass `cr docs check-md`.

package/editing-history/20260808-1532-external-object-trait-refinement.md

@@ -0,0 +1,6 @@
+# Refine external object traits in host FFI RFC
+
+- Rewrote RFC section 6 around existing `deftrait` member syntax: `:field Type` tag members express field capabilities (read via tag access), `.method FnSchema` members express method capabilities (invoke via receiver-preserving JS method call).
+- Replaced the separate `:ffi :members` field/method map with a minimal optional `:names` override that only maps Calcit member names to host names when they differ; member kind/type stays in the trait schema.
+- Noted that `CalcitTrait` currently flattens tags and methods into `EdnTag`; implementing external objects requires extending the member descriptor to `{name, kind, type}` rather than maintaining a parallel schema.
+- Kept `cirru.edn` fenced blocks for all `CodeEntry`/schema-shaped examples; `cr docs check-md` still passes all 13 blocks.

package/editing-history/20260808-1632-host-ffi.md

@@ -0,0 +1,6 @@
+# Host FFI typed access and metadata editing
+
+- Added snapshot-preserved `CodeEntry :ffi` metadata and `cr edit ffi` for authoring Cirru EDN host contracts.
+- Added external-object trait member typing: tag access maps to JavaScript properties and method invoke maps to aliased JavaScript calls.
+- Added preprocessing and JS codegen coverage for typed external-object access, including `:names` aliases.
+- Updated the cross-backend host/FFI RFC to use canonical snapshot schema and Cirru EDN forms.

package/editing-history/20260808-1734-pr-review-ffi-followups.md

@@ -0,0 +1,7 @@
+# PR review follow-ups for typed FFI
+
+- Fixed JS external-property alias lookup for `JsNullish<TraitSet>` receivers.
+- Preprocess prefix typed tag-access receivers before embedding them in external-access IR.
+- Resolve external-object trait metadata from the declared `deftrait` name when suppressing legacy member-tag warnings.
+- Kept `cirru.edn` fences byte-preserved by markdown formatting and allowed standalone EDN checks without a Calcit entry; failure results now retain the fence mode.
+- Clarified the RFC's persisted `:ffi` representation, normalized WASM direction metadata, settled MVP decisions, and repaired the WASM validation document reference.

package/editing-history/20260808-1745-es-module-typed-adapters.md

@@ -0,0 +1,6 @@
+# ES module typed adapter conventions
+
+- Documented ES module imports as opaque values that acquire `Fn` or external-trait evidence only through an explicit `unsafe-coerce` at a small adapter boundary.
+- Established the JavaScript external-member default conversion: kebab case becomes camel case and trailing `?`/`!` are removed.
+- Kept `:ffi :names` as the single per-member override for nonstandard JavaScript property keys, with bracket access preserving special keys safely.
+- Added codegen coverage for the default member-name conversion and checked the RFC and JS interop examples with `docs check-md`.

package/editing-history/20260808-1817-release-0.13.4.md

@@ -0,0 +1,4 @@
+# Release 0.13.4
+
+- Bumped the Calcit package versions in `Cargo.toml`, `package.json`, and `Cargo.lock` from 0.13.3 to 0.13.4 after merging the typed host FFI work.
+- Verified the release with formatting, tests, clippy, compilation, full checks, and the agent interface smoke checks.

package/editing-history/202608080132-pr-309-review-fixes.md

@@ -0,0 +1,5 @@
+# PR #309 Review Fixes
+
+- Reused the already-preprocessed postfix receiver and run static method argument validation for every statically known receiver.
+- Guard receiver-generic binding when a trait or enum method schema has no declared argument types, preventing an empty-list index panic.
+- Renamed the generic receiver mismatch fixture package, namespace, entry points, and documentation to match its purpose.

package/editing-history/202608080202-js-example-checks.md

@@ -0,0 +1,5 @@
+# JavaScript Example Checks
+
+- Added `cr analyze check-examples --js` to compile the generated examples entry and execute it with Node.js.
+- The generated entry declares the `:js-ffi` feature so legitimate JavaScript-only syntax, including `exists? js/process`, does not produce a preprocessing warning.
+- Documented the JS mode and covered the generated runner and schema metadata with unit tests.

package/editing-history/202608080206-quote-shell-special-example.md

@@ -0,0 +1,4 @@
+# Quote shell-special definition names in documentation
+
+- Wrap the `detect-nodejs?` definition argument in single quotes in the JavaScript example-checking command.
+- This prevents shells from interpreting the trailing question mark as a glob pattern.

package/editing-history/202608080854-edn-0.8-integration.md

@@ -0,0 +1,6 @@
+# Integrate cirru_edn 0.8
+
+- Upgrade Calcit to `cirru_edn 0.8.0` and adapt build-time snapshot parsing.
+- Convert Calcit EDN struct and enum boundaries to symbol-backed names while retaining tags for field keys.
+- Update schema serialization, snapshot compatibility handling, CLI traversal, and tests for the new Struct/Enum API.
+- Validate with all-target compilation, Rust tests, library Clippy, TypeScript compilation, and the agent interface smoke suite.

package/history/202608062004-wasm-ffi-declarations.md

@@ -0,0 +1,7 @@
+# WASM FFI declarations
+
+- Added `defwasm-export` for stable host-facing WASM functions. A marked function that cannot be compiled now fails code generation instead of exporting a placeholder.
+- Added `defwasm-import name (args) |module |field`. The emitter collects these declarations before function indices are assigned and emits the corresponding WASM imports.
+- The initial ABI uses `f64`: Number is direct, while String is its tagged Calcit heap pointer carried as `f64`. Host code may create returned strings through `__str_new` or the documented layout.
+- Import declarations must remain parseable after schema preprocessing, so module and field are discovered from the first two literal strings following the argument list rather than fixed preprocessed positions.
+- Regression coverage checks module exports/imports and executes Number plus String host round trips. Both pull-request and release workflows run the check.

package/history/202608071500-wasm-ffi-review-fixes.md

@@ -0,0 +1,6 @@
+# WASM FFI review fixes
+
+- Hardened the Node WASM-string reader and corrected host-side string allocation to reserve its header, length and aligned payload.
+- Validated `defwasm-import` declarations before preprocessing and rejected optional/rest import parameters, while recording declared arity for direct calls.
+- Preserved outer JavaScript await detection after nested function declarations and aligned macro-schema validation with the new WASM declaration forms.
+- Moved WASM tag-index diagnostics to stderr and corrected the runtime type-section documentation.

package/lib/js-cirru.mjs

@@ -155,7 +155,7 @@ export let to_cirru_edn = (x) => {
         }
         // placed literals first
         buffer.sort(recordFieldOrder);
-        buffer.unshift(x.name.toString());
+        buffer.unshift(new CalcitSymbol(x.name.value).toString());
         buffer.unshift("%{}");
         return buffer;
     }
@@ -177,28 +177,28 @@ export let to_cirru_edn = (x) => {
             return ["quote", toWriterNode(x.get(1))];
         }
         else if (x.enumPrototype != null) {
-            let enumTag = unwrap_enum_prototype_local(x.enumPrototype).name.toString();
+            let enumTag = new CalcitSymbol(unwrap_enum_prototype_local(x.enumPrototype).name.value).toString();
             if (x.tag instanceof CalcitTag) {
-                return ["%::", enumTag, x.tag.toString(), ...x.extra.map(to_cirru_edn)];
+                return ["%::", enumTag, new CalcitSymbol(x.tag.value).toString(), ...x.extra.map(to_cirru_edn)];
             }
             else if (x.tag instanceof CalcitStructValue) {
-                return ["%::", enumTag, x.tag.name.toString(), ...x.extra.map(to_cirru_edn)];
+                return ["%::", enumTag, new CalcitSymbol(x.tag.name.value).toString(), ...x.extra.map(to_cirru_edn)];
             }
             else if (x.tag instanceof CalcitImpl) {
-                return ["%::", enumTag, x.tag.name.toString(), ...x.extra.map(to_cirru_edn)];
+                return ["%::", enumTag, new CalcitSymbol(x.tag.name.value).toString(), ...x.extra.map(to_cirru_edn)];
             }
             else {
                 throw new Error(`Unsupported tag for EDN: ${x.tag}`);
             }
         }
         else if (x.tag instanceof CalcitTag) {
-            return ["::", x.tag.toString(), ...x.extra.map(to_cirru_edn)];
+            return ["::", new CalcitSymbol(x.tag.value).toString(), ...x.extra.map(to_cirru_edn)];
         }
         else if (x.tag instanceof CalcitStructValue) {
-            return ["::", x.tag.name.toString(), ...x.extra.map(to_cirru_edn)];
+            return ["::", new CalcitSymbol(x.tag.name.value).toString(), ...x.extra.map(to_cirru_edn)];
         }
         else if (x.tag instanceof CalcitImpl) {
-            return ["::", x.tag.name.toString(), ...x.extra.map(to_cirru_edn)];
+            return ["::", new CalcitSymbol(x.tag.name.value).toString(), ...x.extra.map(to_cirru_edn)];
         }
         else {
             throw new Error(`Unsupported tag for EDN: ${x.tag}`);

package/lib/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@calcit/procs",
-    "version": "0.13.2",
+    "version": "0.13.4",
     "main": "./lib/calcit.procs.mjs",
     "devDependencies": {
         "@types/node": "^25.7.0",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@calcit/procs",
-  "version": "0.13.2",
+  "version": "0.13.4",
   "main": "./lib/calcit.procs.mjs",
   "devDependencies": {
     "@types/node": "^25.7.0",