@calcit/procs 0.12.56 → 0.12.57

package/build.rs

@@ -107,6 +107,41 @@ pub struct Snapshot {
   pub files: HashMap<String, FileInSnapShot>,
 }
 
+fn parse_snapshot_entry(data: Edn) -> Result<SnapshotEntry, String> {
+  let map = data.view_map().map_err(|e| format!("entry must be a map: {e}"))?;
+  let ns_def = |key: &str| match map.get_or_nil(key) {
+    Edn::Str(text) | Edn::Symbol(text) => Ok(text.to_string()),
+    other => Err(format!(
+      "entry `:{key}` must be a namespace/definition string or symbol, got {other:?}"
+    )),
+  };
+  let mode = match map.get_or_nil("mode") {
+    Edn::Tag(tag) if tag.ref_str() == "native" => SnapshotRunMode::Native,
+    Edn::Tag(tag) if tag.ref_str() == "js" => SnapshotRunMode::Js,
+    Edn::Str(text) | Edn::Symbol(text) if text.trim_start_matches(':') == "native" => SnapshotRunMode::Native,
+    Edn::Str(text) | Edn::Symbol(text) if text.trim_start_matches(':') == "js" => SnapshotRunMode::Js,
+    other => return Err(format!("entry `:mode` must be :native or :js, got {other:?}")),
+  };
+  Ok(SnapshotEntry {
+    mode,
+    init_fn: ns_def("init-fn")?,
+    reload_fn: ns_def("reload-fn")?,
+    description: from_edn(map.get_or_nil("description")).map_err(|e| format!("entry `:description`: {e}"))?,
+    modules: from_edn(map.get_or_nil("modules")).map_err(|e| format!("entry `:modules`: {e}"))?,
+    type_slots: from_edn(map.get_or_nil("type-slots")).map_err(|e| format!("entry `:type-slots`: {e}"))?,
+  })
+}
+
+fn parse_entries(data: Edn) -> Result<HashMap<String, SnapshotEntry>, String> {
+  let map = data.view_map().map_err(|e| format!("entries must be a map: {e}"))?;
+  let mut entries = HashMap::with_capacity(map.0.len());
+  for (name, value) in map.0 {
+    let name: String = from_edn(name).map_err(|e| format!("invalid entry name: {e}"))?;
+    entries.insert(name, parse_snapshot_entry(value)?);
+  }
+  Ok(entries)
+}
+
 fn format_edn_preview(value: &Edn) -> String {
   let raw = cirru_edn::format(value, true).unwrap_or_else(|_| format!("{value:?}"));
   const LIMIT: usize = 220;
@@ -479,8 +514,7 @@ fn main() {
       Some(from_edn::<LegacySnapshotConfigs>(value).unwrap_or_else(|e| panic!("failed to parse calcit-core legacy `:configs`: {e}")))
     }
   };
-  let mut entries: HashMap<String, SnapshotEntry> =
-    from_edn(data.get_or_nil("entries")).unwrap_or_else(|e| panic!("failed to parse calcit-core `:entries`: {e}"));
+  let mut entries = parse_entries(data.get_or_nil("entries")).unwrap_or_else(|e| panic!("failed to parse calcit-core `:entries`: {e}"));
   if let Some(configs) = &legacy_configs {
     entries.insert(
       "default".to_owned(),

package/editing-history/202608011759-issue-routing-in-agent-guide.md

@@ -0,0 +1,17 @@
+# Route discovered issues to their owning repository
+
+## Summary
+
+- Add an Agent-guide rule requiring reproducible Calcit language, runtime, compiler, and CLI issues to be filed with their maintenance repository.
+- Route module and library defects from their resolved local path to the library's own GitHub repository, rather than reporting them to the consuming project or Calcit core by default.
+- Document explicit cross-repository issue creation with `gh issue create --repo OWNER/REPO`, target verification with `gh repo view`, evidence requirements, and safe handling of sensitive reproduction data.
+
+## Validation
+
+- Confirmed `gh issue create --help` exposes `--repo [HOST/]OWNER/REPO` for selecting another repository.
+- Confirmed the current GitHub CLI authentication can query the non-current `calcit-lang/setup-cr` repository.
+- `cargo build --bin cr`
+- `cargo test --bin cr agents_docs_default_to_the_version_matched_embedded_guide`
+- `./target/debug/cr docs check-md docs/CalcitAgent.md --entry calcit/test.cirru --failures-only`
+- `./target/debug/cr docs graph check`
+- `git diff --check`

package/editing-history/202608011833-schema-type-symbols.md

@@ -0,0 +1,20 @@
+# Canonical schema types use quoted symbols
+
+## Summary
+
+- Keep legacy lowercase type tags load-compatible, while making quoted symbols such as `'String`, `'List`, `'Fn`, and `'Dynamic` the canonical schema serialization.
+- Make `cr edit format` rewrite only recognized type positions in schemas, hints, assertions, coercions, structs, and enums; ordinary tag data remains unchanged.
+- Migrate repository Snapshots, type-query/IR/agent-interface output, build-time core Snapshot loading, and primary type documentation.
+
+## Validation
+
+- `cargo fmt`
+- `cargo test`
+- `cargo clippy -- -D warnings`
+- `yarn compile`
+- `yarn check-all`
+- `yarn check-agent-interface`
+- `cr docs check-md docs/features/static-analysis.md --entry calcit/test.cirru --failures-only`
+- `cr docs check-md docs/CalcitAgent.md --entry calcit/test.cirru --failures-only`
+- `cr docs graph check`
+- formatted every valid repository Snapshot with `cr edit format`, then `cr calcit/test.cirru --check-only`

package/editing-history/202608011852-wasm-dynamic-string-tag.md

@@ -0,0 +1,7 @@
+# WASM dynamic string tag
+
+- Schema type migration removed legacy type tags from program data, which can shift WASM's program-local tag indices.
+- The Node.js WASM test host must not assume that the `string` type tag always has index 34.
+- Export the generated module's actual string tag as `__string_tag` and use that value when the host validates or allocates strings.
+- Keep the test host compatible with older generated modules by recovering the tag from their static string pool when the export is absent.
+- Regression command: `cargo build --bin cr-wasm && CR_WASM_BIN=./target/debug/cr-wasm bash scripts/test-wasm.sh`.

package/editing-history/202608011908-consolidate-history.md

@@ -0,0 +1,6 @@
+# Consolidate historical editing notes
+
+- Replaced 142 individual notes from June 2026 and earlier with a compact topic index.
+- Retained all July–August notes for active maintenance context.
+- The removed notes remain recoverable through Git history; `editing-history/README.md` documents the retention rule.
+- Verification: reviewed the tracked path set and checked the resulting Git diff.

package/editing-history/202608012022-consolidate-cli-and-test-duplication.md

@@ -0,0 +1,28 @@
+# Consolidate CLI and test duplication
+
+## Summary
+
+- Introduced a typed `TreeOperation` model and shared cursor path transforms so edit, tree, and cursor commands use one implementation for structural mutations.
+- Reused one staged-file abstraction for atomic cursor writes and edit transactions, including permission preservation, sync, commit, and cleanup behavior.
+- Consolidated query result collection/rendering and type-coverage scope traversal without changing their JSON envelopes or diagnostics.
+- Added one test-only temporary project fixture shared by edit, cursor, and query tests.
+- Replaced eight identical Calcit test-local `log-title` definitions with `util.core/log-title`, keeping each standalone snapshot loadable through its module configuration.
+- Removed the misspelled `test-gynienic.cirru` snapshot because the typed `test-hygienic.cirru` suite is a strict superset, and removed the identical `test-cond` runtime case from the macro suite.
+- Made the remaining `case-default` macroexpansion assertion deterministic by resetting the gensym counter before checking the generated symbol.
+
+## Review notes
+
+- Kept repeated `main!` and `reload!` definitions because they are snapshot entry points rather than interchangeable helpers.
+- Kept similarly named macro, native, JS, and WASM tests when they exercise different expansion or backend behavior.
+- The resulting tracked diff removes more code than it adds while retaining the command boundaries and test coverage.
+
+## Validation
+
+- `cargo fmt`
+- `cargo clippy -- -D warnings`
+- `cargo test`
+- `yarn compile`
+- `yarn check-agent-interface` (12/12 scenarios)
+- `yarn check-all` (native, JS, and WASM)
+- Standalone native runs for the updated Calcit snapshots, including `test-cond.cirru`, `test-macro.cirru`, and `test-hygienic.cirru`
+- Real-project Respo regression with JSON definition query and summary-only type-coverage analysis

package/editing-history/202608012123-review-follow-up.md

@@ -0,0 +1,18 @@
+# Review follow-up for CLI consolidation
+
+## Summary
+
+- Updated staged-file rewriting to open the temporary file with write access, truncate it, write through the same handle, and then sync it. This keeps `sync_all` valid on Windows.
+- Reject symbolic-link destinations before staging so an atomic rename cannot silently replace the link while preserving permissions from its target.
+- Avoid copying every definition tree during whole-project search; only a subtree selected by `--start-path` remains owned.
+- Corrected cursor feedback so replace, swap, unwrap, and wrap report an unaffected cursor when their path did not change.
+
+## Tests
+
+- Added staged write/commit coverage and a Unix symbolic-link rejection test.
+- Added cursor feedback assertions for unrelated paths and single-child unwraps.
+
+## Review disposition
+
+- Kept the existing parent-context preview for `query search-expr`; it predates this refactor and is intentional shared search presentation rather than a regression.
+- Deferred directory `fsync` after rename: it is a larger crash-durability policy decision, especially for multi-file commits, and is not needed to correct the current atomic rename behavior.

package/editing-history/202608012320-release-0.12.57.md

@@ -0,0 +1,5 @@
+# Release 0.12.57
+
+- Release the merged CLI mutation, atomic staging, and test deduplication work from PR #284.
+- Include the follow-up fixes for Windows staged-file synchronization, symlink destinations, query cloning, and cursor feedback.
+- Synchronize the Rust crate and npm package versions, then refresh the workspace lockfile before publishing.

package/editing-history/ARCHIVE.md

@@ -0,0 +1,15 @@
+# Consolidated history through June 2026
+
+Detailed task notes before July 2026 were consolidated on 2026-08-01. Their
+full text remains recoverable from Git history; this file preserves the useful
+navigation layer.
+
+| Period | Durable themes |
+| --- | --- |
+| 2025–Feb 2026 | WASM/codegen groundwork, structural equality, diagnostics, core API documentation, and migration toward `defstruct`. |
+| Mar 2026 | Schema and type-annotation redesign: `hint-fn` migration, schema normalization/validation, generic type references, arity checks, and type-fail coverage. |
+| Apr 2026 | Records/enums, type narrowing and generic dispatch; the WASM runtime gained collections, strings, methods, host imports, and multi-module tests. |
+| May–Jun 2026 | Weak-type analysis, data-definition bounds, markdown checking, compiled-runtime backfill, scoped type slots, effects graph, and Agent/CLI documentation. |
+
+For current behavior, prefer `docs/`, tests, and the retained July–August notes
+over this summary.

package/editing-history/README.md

@@ -0,0 +1,21 @@
+# Editing history
+
+This directory keeps short, task-specific notes that help with nearby follow-up
+work. It is not a second changelog: exact prior notes remain available from Git
+history after they leave this directory.
+
+## Retention
+
+- Keep individual notes for the current development window (normally the most
+  recent 45 days).
+- Periodically replace older clusters with a concise topic summary in
+  [ARCHIVE.md](ARCHIVE.md), then remove their individual files.
+- Each code commit still adds one timestamped note, but it should capture only
+  durable context: the reason for the change, compatibility constraints, and
+  the relevant verification command.
+
+To recover a removed note, search the repository history, for example:
+
+```bash
+git log --all -- editing-history/
+```

package/lib/package.json

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

package/package.json

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

package/editing-history/2026-02-13-1841-trait-origin-structural-eq.md

@@ -1,91 +0,0 @@
-# 202602131841 trait origin 匹配与结构化 trait 相等性
-
-## 背景
-
-本次提交延续了动态方法告警收敛与 trait 分发可靠性改进。
-评审中提出的核心问题是：trait 分发不应只依赖 trait 名称匹配。
-`impl` 记录本身已经携带了 trait 的 origin 元数据，因此匹配应直接基于 origin。
-
-## 目标
-
-1. 让 `&trait-call` 按 trait origin 相等性选择 impl，而不是按名称字符串匹配。
-2. 让 trait/impl 的相等语义与上述运行时选择模型一致。
-3. 在尽量保持兼容的前提下，提高歧义/重名场景下的正确性。
-4. 保持现有优先级规则不变（用户 impl：后者覆盖前者；内建 impl：前者优先）。
-
-## 思考过程
-
-### 为什么 name-only 匹配不够
-
-- 仅按名称匹配会把“同名但结构不同”的 trait 混为一类。
-- 运行时已有 `CalcitImpl.origin: Option<Arc<CalcitTrait>>`，若忽略它会浪费已有语义信息。
-- 使用显式 `&trait-call` 时，调用方预期的是“精确 trait 命中”，而非按名字近似匹配。
-
-### 分发策略决定
-
-在 `trait_call` 中：
-
-- 旧逻辑：`imp.trait_name()` 与 `trait_def.name` 比较。
-- 新逻辑：`imp.origin()` 与目标 trait 直接通过 `Eq` 比较。
-
-该方案改动小、语义清晰，并与当前运行时模型一致，不引入额外解析复杂度。
-
-### Eq/Hash 一致性
-
-当分发切换到 origin 相等后，`CalcitTrait` 的相等语义就不能继续只看 `name`。
-
-因此将 `CalcitTrait` 的 Eq/Hash 升级为结构化比较，包含：
-
-- trait 名称
-- 方法名列表
-- 方法类型签名
-- requires（依赖 trait）
-- 默认实现槽位形状（每个位置是 `Some` 还是 `None`）
-
-关于默认实现：
-
-- 默认函数体（`CalcitFn`）不做深比较/深哈希，因为 `CalcitFn` 当前不提供完整 Eq/Hash。
-- 这里只比较默认槽位可用性形状，以保证 Eq/Hash 契约一致，同时提升结构判断准确性。
-
-## 文件级改动
-
-### 运行时分发与文档
-
-- `src/builtins/meta.rs`
-  - `trait_call` 改为按 `impl.origin` 相等匹配。
-  - 同步更新函数附近注释，确保文档与实现一致。
-
-### impl 相等性
-
-- `src/calcit/calcit_impl.rs`
-  - `PartialEq` 改为直接比较 `origin`（不再只比较 `origin.name`）。
-
-### trait 相等性与哈希语义
-
-- `src/calcit/calcit_trait.rs`
-  - `PartialEq` 从 name-only 改为结构化比较。
-  - `Hash` 同步到相同结构维度。
-  - 增加注释，说明默认函数比较策略。
-
-### 相关一致性修正（同一工作区变更）
-
-- `src/runner/preprocess.rs`
-  - 修复重命名后的测试守卫符号残留（`DynTraitCheckGuard` -> `WarnDynMethodGuard`）。
-
-## 验证
-
-- `cargo fmt`
-- `cargo test -q`
-  - 结果：当前工作区下测试全部通过。
-
-## 兼容性与风险
-
-- 该行为变化是有意为之：同名但结构不同的 trait 不再被视为相等。
-- 默认函数体差异仍不纳入 Eq/Hash。
-- 方法分发优先级规则保持不变。
-
-## 后续可选项
-
-1. 如有需要，可补强默认实现身份比较（例如优先比较 def ref）。
-2. 增加“同名不同结构 trait”相等性的显式测试用例。
-3. 继续收敛 `warn-dyn-method` 全量运行中的剩余动态调用告警。

package/editing-history/2026-02-14-2050-js-codegen-recursion-tag-migration.md

@@ -1,39 +0,0 @@
-# 2026-02-14 20:50 JS codegen recursion + tag migration
-
-## 背景
-
-在 trait/macro 改进后，继续针对 JavaScript 编译目标做性能与可维护性优化。
-
-## 本次改动
-
-1. 参数个数报错模板统一
-
-- 在 runtime 新增 `_args_fewer_throw` / `_args_between_throw`，保留 `_args_throw`。
-- emitter 中 `too few/too many` 模板改为调用统一 helper，错误信息继续携带期望与实际参数个数。
-
-2. rest 参数处理优化
-
-- 对 `&` rest 参数，仅在函数体实际引用时才注入 `arrayToList` 转换，避免不必要转换。
-- 修复符号引用检测边界：`contains_symbol` 增加 `Calcit::Local` 分支。
-
-3. tail recursion 模板优化
-
-- watchdog 从每轮检查改为周期检查（`(times & 1023) === 0` 时再判断上限）。
-- 对无 rest/optional 的固定参数函数，recur 回填改为索引赋值（`arg = ret.args[i]`），减少解构开销。
-
-4. tag 初始化一次迁移
-
-- runtime 新增 `init_tags` 与全局 tag 缓存。
-- emitter 统一改为 `const _t_ = init_tags([...])` / `$clt.init_tags([...])`。
-- 移除每模块内联 `forEach + newTag` 初始化模板。
-- 修复 `calcit.core` 目标缺失导入，补上 `init_tags` import。
-
-## 验证
-
-- `yarn check-all` 通过。
-- 额外执行了 JS 微基准（`test-recursion.main/test_loop`）用于观察 recursion 模板优化影响。
-
-## 经验点
-
-- JS 生成模板优化要先保证语义完整，再做结构性收敛（helper 化/去重复）。
-- 对 codegen 的性能优化，建议配套微基准，并与 baseline 做同脚本对比。

package/editing-history/2026-02-14-2358-emit-js-modularization-shift-left.md

@@ -1,63 +0,0 @@
-# 2026-02-14 23:58 emit_js modularization + shift-left contracts
-
-## Scope
-
-This round focuses on two tracks:
-
-1. Continue low-risk modularization of `src/codegen/emit_js.rs` without changing runtime semantics.
-2. Introduce AI-oriented "shift-left" validation contracts for expected warning/error paths.
-
-## What changed
-
-### Rust codegen modularization
-
-- Removed duplicate legacy module file:
-  - `src/calcit/struct.rs`
-- Split helpers from `emit_js.rs` into cohesive submodules:
-  - `src/codegen/emit_js/tags.rs`
-  - `src/codegen/emit_js/symbols.rs`
-  - `src/codegen/emit_js/paths.rs`
-  - `src/codegen/emit_js/runtime.rs`
-  - `src/codegen/emit_js/args.rs`
-  - `src/codegen/emit_js/deps.rs`
-  - `src/codegen/emit_js/helpers.rs`
-- Kept behavior stable by only moving logic and wiring imports/call sites.
-- Added targeted unit tests in extracted modules.
-
-### Runtime helper boundary cleanup (TS)
-
-- Grouped runtime helpers into dedicated modules:
-  - `ts-src/js-arity-helpers.mts` (`_args_throw`, `_args_fewer_throw`, `_args_between_throw`)
-  - `ts-src/js-tag-helpers.mts` (`init_tags` + internal cache)
-- Switched `ts-src/calcit.procs.mts` to re-export these modules, keeping public API names unchanged.
-
-### Test/validation workflow improvements
-
-- Added contract-based shift-left script:
-  - `scripts/check-shift-left.mjs`
-- Added npm script:
-  - `check-shift-left` in `package.json`
-- This script enforces both:
-  - positive baseline must pass (`calcit/test.cirru -1`)
-  - selected negative cases must fail with expected diagnostic tokens.
-
-### Planning/documentation updates
-
-- Expanded and updated roadmap status:
-  - `drafts/project-modernization-roadmap.md`
-- Added AI-oriented long-term section for:
-  - immutable core constraints
-  - earlier error detection
-  - contractized diagnostics
-  - staged execution strategy.
-
-## Verification
-
-- Ran targeted unit tests for extracted modules (`tags/symbols/paths/runtime/args/deps/helpers` where applicable).
-- Repeated full validation with `yarn check-all` after each refactor batch.
-- Ran `yarn check-shift-left` to validate diagnostic contracts.
-
-## Notes
-
-- Some standalone `calcit/test-*.cirru` files are intentionally warning/error reproductions or independent package entries; they are not safe to inline into `test.cirru` module list directly.
-- Using a separate shift-left contract script avoids namespace collisions and preserves intent.

package/editing-history/2026-02-15-0000-diagnostics-consolidated.md

@@ -1,35 +0,0 @@
-# 2026-02-15 diagnostics 合并记录
-
-本文件合并以下 diagnostics 相关记录，避免碎片化：
-
-- 2026-0215-1011-preprocess-diagnostic-v1.md
-- 2026-0215-1026-cli-diag-json.md
-- 2026-0215-1104-diag-expected-actual-action-let.md
-- 2026-0215-1110-eval-diag-fallbacks.md
-- 2026-0215-1116-macro-diagnostic-protocol.md
-- 2026-0215-1134-macro-diag-expansion-if-defn-assert.md
-- 2026-0215-1152-runtime-fallback-tag-match-arity.md
-- 2026-0215-1202-warning-arity-fallback-compat.md
-- 2026-0215-1211-warning-learning-fields.md
-- 2026-0215-1238-convergence-help-docs-diag.md
-- 2026-0215-1306-text-diagnostics-convergence-fix.md
-- 2026-0215-1332-diagnostics-simplification-example-driven.md
-
-## 合并后的结论（当前保留）
-
-- 已移除 `--diag json` 路径，CLI 统一使用文本诊断输出。
-- warning 维持最小字段与文本展示，不再维护 JSON 结构演进。
-- error 维持 call stack + examples 辅助定位，避免复杂规则映射。
-- 文本模式保持简洁：优先 message/hint/location/stack，便于直接修复。
-
-## 本轮简化（减法）
-
-- 移除 warning 侧复杂增强字段：`fingerprint/convergence/help/learning`。
-- 移除 error 侧复杂增强字段：`fingerprint/convergence/help/learning` 与大段规则映射。
-- 将 error 的 expected/actual/action 处理改为“hint 优先 + 通用 message 提取 + 最小 fallback”。
-
-## 设计原则（后续继续遵循）
-
-- 诊断能力优先复用编译器已有信息（hint、message、stack、examples）。
-- 尽量减少按错误码硬编码规则，避免语言层复杂度膨胀。
-- LLM 修复入口尽量通用化：`query examples` + 最小可执行动作。

package/editing-history/2026-02-15-1941-macro-diagnostics-refinement.md

@@ -1,39 +0,0 @@
-# Macro Diagnostics Refinement (2026-02-15 19:41)
-
-## Summary
-
-This change improves diagnostic quality for macro misuse and warning flows without changing macro semantics.
-
-## Key updates
-
-- Added a shared diagnostics helper module:
-  - `src/diagnostics_help.rs`
-  - Centralizes message-to-help inference logic.
-- Improved stack-rendered failure guidance:
-  - `src/call_stack.rs`
-  - Uses macro-context-aware help text.
-  - Keeps examples targeting user-facing macros over internal helper macros.
-- Improved warning-path guidance:
-  - `src/bin/cr.rs`
-  - Reuses shared help inference for preprocessing/codegen warning blocks.
-- Improved macro argument binding diagnostics in runtime:
-  - `src/runner.rs`
-  - Replaces low-level `Idx(...)` style arity failures with readable signatures and missing argument names.
-- Refined macro-side error wording:
-  - `src/cirru/calcit-core.cirru`
-  - Better `list-match` branch-shape messages.
-- Kept macro signatures intact where requested:
-  - `when`, `when-not`, `when-let` remain with explicit parameter forms.
-
-## Validation
-
-- Spot checks executed with `cr eval` for macro misuse cases:
-  - `when`, `when-not`, `when-let`, `if-not`, `tag-match`, `record-match`, `list-match`, `cond`, `let`, `thread-first`, `thread-last`.
-- Confirmed help text differentiates macro misuse vs proc/function arity warnings.
-- Full regression passed:
-  - `yarn check-all` => `EXIT:0`.
-
-## Notes
-
-- This iteration focuses on user-facing diagnostics quality.
-- Behavior and compatibility are preserved; changes are primarily in error/help reporting paths.

package/editing-history/2026-02-16-2043-core-api-docs-cleanup.md

@@ -1,40 +0,0 @@
-# 2026-02-16 20:43 core API/docs cleanup
-
-## Scope
-
-- Cleaned outdated draft references and status notes.
-- Aligned core internal API names around trait attachment (`*:impl-traits`).
-- Fixed `wo-js-log` export/definition mismatch.
-- Merged symbol-resolution note into drafts and removed duplicated doc file.
-
-## Key updates
-
-1. **drafts cleanup**
-   - Added `drafts/README.md` as a state index (active/review-needed/archived).
-   - Fixed stale links between `assert-types-plan.md` and `assert-types.md`.
-   - Marked `drafts/last-session.md` as archived historical snapshot.
-
-2. **core naming consistency**
-   - Updated internal entries in `src/cirru/calcit-core.cirru`:
-     - `&record:with-impls` -> `&record:impl-traits`
-     - `&tuple:with-impls` -> `&tuple:impl-traits`
-     - `&struct:with-impls` -> `&struct:impl-traits`
-     - `&enum:with-impls` -> `&enum:impl-traits`
-   - Updated `%::` doc hint to reference `&tuple:impl-traits`.
-
-3. **debug macro fix**
-   - Fixed `wo-js-log` entry to define `wo-js-log` (not `w-js-log`).
-
-4. **symbol note consolidation**
-   - Appended symbol-resolution appendix into `drafts/runtime-traits-plan.md`.
-   - Removed duplicated `docs/symbol-spec.md` after migration.
-
-## Validation notes
-
-- Verified `wo-js-log` evaluates successfully.
-- Verified `&struct:impl-traits` resolves as runtime proc.
-- Confirmed old `&struct:with-impls` now reports unknown symbol (no compatibility layer, by design).
-
-## Follow-up
-
-- If needed, add explicit migration note/changelog entry for removed `*-with-impls` internal names.

package/editing-history/2026-02-23-0834-migrate-to-defstruct.md

@@ -1,91 +0,0 @@
-# 2026-0223-0834 — 迁移到 defstruct 方案并实现 `%{}?` 可选字段 Record 宏
-
-## 背景
-
-将 Calcit Record 系统从旧的 `new-record`/`defrecord`/`defrecord!` 方案全面迁移到基于 `defstruct` 的新方案，同时新增 `%{}?` / `&%{}?` 支持可选字段初始化与更新。
-
----
-
-## 知识点一：`%{}?` 与 `&%{}?` 的语义设计
-
-`struct` 初始化为 record 时，部分字段在语义上是可选的，对应 TypeScript 中的 `{ a?: number; b?: number }`。原有的 `%{}` / `&%{}` 要求所有字段都必须显式传入。
-
-### `%{}?`（macro）
-
-- 初始化 record 时允许省略字段，省略的字段自动填 `nil`。
-- 用法：`%{}? MyRecord (:x 1)`
-
-### `&%{}?`（proc）
-
-`call_record_partial` 的语义：
-
-- **proto 是 Struct**：以全 `nil` 为基础 `values`，用传入的 k-v 覆盖对应位置。
-- 传入未知字段 → 报错；传入重复字段 → 报错；`(args_size - 1) % 2 != 0` → 报错。
-
-关键实现细节：`CalcitStruct.fields` 元素类型是 `EdnTag`，比较时用 `f.ref_str()` 而非 `f.as_ref()`（后者无 `AsRef` impl）。
-
-### `%{}?` 宏定义
-
-```cirru
-defmacro %{}? (R & xs)
-  if
-    not $ and (list? xs) (every? xs list?)
-    raise $ str-spaced "|%{}? expects field entries in list, got:" xs
-  &let
-    args $ &list:concat & xs
-    quasiquote $ &%{}? ~R ~@args
-```
-
----
-
-## 知识点二：Rust proc 注册流程
-
-新增一个内置 proc 需要同时修改四处：
-
-| 文件                       | 修改内容                                                 |
-| -------------------------- | -------------------------------------------------------- |
-| `src/calcit/proc_name.rs`  | 添加枚举变体 `NativeRecordPartial` + `ProcTypeSignature` |
-| `src/builtins/records.rs`  | 实现 `call_record_partial` 函数                          |
-| `src/builtins.rs`          | 在 `match proc` 中添加分发分支                           |
-| `src/runner/preprocess.rs` | 将新 proc 加入"跳过 arity 检查"的 `matches!` 列表        |
-
----
-
-## 知识点三：`%{}` 严格要求 Struct proto
-
-- `call_record`（`%{}`）：若 proto 为 `Calcit::Record`，直接返回错误提示改用 `defstruct`。
-- `defstruct` 产生 `Calcit::Struct`（含 `field_types`），并作为 `%{}` / `%{}?` 的唯一原型来源。
-
-### `&record:get-name` / `&record:struct` 的参数约束
-
-- 两者统一要求传入 `record`，避免 `struct` / `record` 混用语义。
-
-### `&record:matches?` 的参数约束
-
-- 第一参数要求 `record`。
-- 第二参数接受 `record` 或 `struct`（用于 `record-match` 的模式匹配场景）。
-
----
-
-## 修改文件
-
-| 文件                          | 变更内容                                                                                                      |
-| ----------------------------- | ------------------------------------------------------------------------------------------------------------- |
-| `src/calcit/proc_name.rs`     | 新增 `NativeRecordPartial` 枚举变体与类型签名；移除 `NewRecord` 变体                                          |
-| `src/builtins/records.rs`     | 新增 `call_record_partial`（struct-only）；`matches` 调整为 `(record, record/struct)`；移除 `new_record` 函数 |
-| `src/builtins.rs`             | 分发 `NativeRecordPartial`；移除 `NewRecord` 分发                                                             |
-| `src/runner/preprocess.rs`    | arity 检查豁免新增 `NativeRecordPartial`                                                                      |
-| `src/cirru/calcit-core.cirru` | 新增 `%{}?` 宏定义与 `&%{}?` 文档条目；`defrecord`/`defrecord!` 改为 raise error；删除 `new-record` 定义      |
-| `calcit/test-record.cirru`    | Cat/BirdShape/Person/City/A/B/C/Demo 全部改为 `defstruct`；删除所有 `new-record` let 绑定；修复各测试函数体   |
-| `docs/CalcitAgent.md`         | 类型标注示例中 `new-record` 改为 `defstruct`                                                                  |
-
----
-
-## 验证
-
-```bash
-cargo run --bin cr -- calcit/test-record.cirru -1
-cargo clippy -- -D warnings
-```
-
-全部通过，无 warning。