@calcit/procs 0.12.56 → 0.12.58

package/ts-src/calcit.procs.mts

@@ -202,46 +202,35 @@ export let _$n_assert_traits = function (value: CalcitValue, traitDef: CalcitVal
   if (!(traitDef instanceof CalcitTrait)) {
     throw new Error(`&assert-traits expected a trait definition, but received: ${toString(traitDef, true)}`);
   }
-  // For records/tuples, only check instance impls (not builtin fallbacks),
-  // matching the Rust runtime behavior of collect_impl_records_for_value.
-  let impls: CalcitImpl[];
-  if (value instanceof CalcitRecord) {
-    impls = value.structRef.impls ?? [];
-  } else if (value instanceof CalcitTuple) {
-    impls = value.impls ?? [];
-  } else {
-    const pair = lookup_impls(value);
-    if (pair == null) {
-      throw new Error(`&assert-traits cannot resolve impls for: ${toString(value, true)}`);
-    }
-    impls = pair[0];
-  }
-  const missing: string[] = [];
-  for (let i = 0; i < traitDef.methods.length; i++) {
-    const method = traitDef.methods[i];
-    let exists = false;
-    for (let j = 0; j < impls.length; j++) {
-      const impl = impls[j];
-      if (impl != null && impl.getOrNil(method) != null) {
-        exists = true;
-        break;
-      }
-    }
-    if (!exists) missing.push(method.toString());
+  // Use the same merged builtin + attached impl list as method dispatch.
+  // Otherwise records and tuples can call a builtin method while
+  // `assert-traits` incorrectly claims that the corresponding trait is absent.
+  const pair = lookup_impls(value);
+  if (pair == null) {
+    throw new Error(`&assert-traits cannot resolve impls for: ${toString(value, true)}`);
+  }
+  const impls = pair[0];
+  const reverse =
+    value instanceof CalcitRecord || value instanceof CalcitTuple || value instanceof CalcitStruct || value instanceof CalcitEnum;
+  const ordered = reverse ? [...impls].reverse() : impls;
+  const selected = ordered.find((impl) => impl != null && impl.origin === traitDef);
+  if (selected == null) {
+    const available = impls
+      .filter((impl) => impl?.origin != null)
+      .map((impl) => impl.origin!.name.toString())
+      .join(" ");
+    throw new Error(
+      `assert-traits failed: ${toString(value, true)} does not nominally implement ${traitDef.toString()}. Available trait impls: ${
+        available || "(none)"
+      }`
+    );
   }
+  const missing = traitDef.methods.filter((method) => selected.getOrNil(method) == null);
   if (missing.length > 0) {
-    const available: string[] = [];
-    for (let j = 0; j < impls.length; j++) {
-      const impl = impls[j];
-      if (impl == null) continue;
-      for (let k = 0; k < impl.fields.length; k++) {
-        available.push(impl.fields[k].toString());
-      }
-    }
     throw new Error(
-      `assert-traits failed: ${toString(value, true)} does not implement ${traitDef.toString()}. Missing: ${missing.join(
+      `assert-traits failed: impl ${selected.name.toString()} for trait ${traitDef.name.toString()} is incomplete. Missing: ${missing.join(
         " "
-      )}. Available: ${available.join(" ")}`
+      )}`
     );
   }
   return value;
@@ -306,12 +295,14 @@ export let _$n_impl_$o__$o_new = (name: CalcitValue, ...pairs: CalcitValue[]): C
   if (name === undefined) throw new Error("&impl::new expected arguments");
   const origin = name instanceof CalcitTrait ? name : null;
   const implName = origin ? origin.name : castTag(name);
-  if (pairs.length === 0) {
-    return new CalcitImpl(implName, [], [], origin);
-  }
   const entries: Array<{ tag: CalcitTag; value: CalcitValue }> = [];
-  for (let idx = 0; idx < pairs.length; idx++) {
-    const pairValue = pairs[idx];
+  let sourcePairs = pairs;
+  if (pairs.length === 1 && pairs[0] instanceof CalcitImpl) {
+    const sourceImpl = pairs[0];
+    sourcePairs = sourceImpl.fields.map((field, idx) => new CalcitTuple(field, [sourceImpl.values[idx]], null));
+  }
+  for (let idx = 0; idx < sourcePairs.length; idx++) {
+    const pairValue = sourcePairs[idx];
     let fieldTag: CalcitTag;
     let value: CalcitValue;
     if (pairValue instanceof CalcitTuple) {
@@ -338,6 +329,21 @@ export let _$n_impl_$o__$o_new = (name: CalcitValue, ...pairs: CalcitValue[]): C
   }
   const fields = entries.map((entry) => entry.tag);
   const values = entries.map((entry) => entry.value);
+  if (origin != null) {
+    const missing = origin.methods.filter((method) => !fields.some((field) => field.value === method.value));
+    const unexpected = fields.filter((field) => !origin.methods.some((method) => method.value === field.value));
+    if (missing.length > 0 || unexpected.length > 0) {
+      const details: string[] = [];
+      if (missing.length > 0) details.push(`missing methods: ${missing.join(" ")}`);
+      if (unexpected.length > 0) details.push(`methods not declared by the trait: ${unexpected.join(" ")}`);
+      throw new Error(`&impl::new does not conform to trait ${origin.name.toString()}: ${details.join("; ")}`);
+    }
+    for (const entry of entries) {
+      if (typeof entry.value !== "function") {
+        throw new Error(`&impl::new expects trait method .${entry.tag.value} to be a function, but received: ${toString(entry.value, true)}`);
+      }
+    }
+  }
   return new CalcitImpl(implName, fields, values, origin);
 };
 
@@ -1884,6 +1890,7 @@ let calcit_builtin_impls = {
   fn: null as CalcitImplEntry,
   tuple: null as CalcitImplEntry,
   record: null as CalcitImplEntry,
+  scalar: null as CalcitImplEntry,
 };
 
 // need to register code from outside
@@ -1951,10 +1958,12 @@ function lookup_impls(obj: CalcitValue): [CalcitImpl[], string] {
     // impls, so introspection tools like `&methods-of` can answer "what
     // methods will instances of this type have" without a concrete instance.
     tag = obj.name.toString();
-    impls = obj.impls;
+    const builtinRecordImpls = normalize_builtin_impls(calcit_builtin_impls.record) ?? [];
+    impls = [...builtinRecordImpls, ...(obj.impls ?? [])];
   } else if (obj instanceof CalcitEnum) {
     tag = obj.name();
-    impls = obj.impls;
+    const builtinTupleImpls = normalize_builtin_impls(calcit_builtin_impls.tuple) ?? [];
+    impls = [...builtinTupleImpls, ...(obj.impls ?? [])];
   } else if (typeof obj === "number") {
     tag = "&core-number-methods";
     impls = normalize_builtin_impls(calcit_builtin_impls.number);
@@ -1964,6 +1973,15 @@ function lookup_impls(obj: CalcitValue): [CalcitImpl[], string] {
   } else if (typeof obj === "function") {
     tag = "&core-fn-methods";
     impls = normalize_builtin_impls(calcit_builtin_impls.fn);
+  } else if (
+    obj == null ||
+    typeof obj === "boolean" ||
+    obj instanceof CalcitTag ||
+    obj instanceof CalcitSymbol ||
+    obj instanceof CalcitCirruQuote
+  ) {
+    tag = "&core-scalar-impls";
+    impls = normalize_builtin_impls(calcit_builtin_impls.scalar);
   } else {
     return null;
   }
@@ -2110,7 +2128,7 @@ export function _$n_trait_call(traitDef: CalcitValue, method: CalcitValue, obj:
   let idx = reverse ? impls.length - 1 : 0;
   while (reverse ? idx >= 0 : idx < impls.length) {
     const impl = impls[idx];
-    if (impl != null && impl.origin != null && impl.origin.name.value === traitDef.name.value) {
+    if (impl != null && impl.origin === traitDef) {
       const fn = impl.getOrNil(methodName);
       if (fn != null) {
         if (typeof fn !== "function") {

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。

package/editing-history/2026-02-23-2321-ns-imports-code-fixes.md

@@ -1,42 +0,0 @@
-# 2026-0223 命名空间 imports 操作 Bug 修复
-
-## 背景
-
-通过在 `demos/calcit.cirru` 上逐一测试 `cr edit` 的 namespace 相关子命令，发现三处导致 Agent 频繁用错的根本原因。
-
-## 发现的 Bug
-
-### Bug 1：`imports --code 'rule'` 产生平坦结构，与 `extract_require_rules` 不兼容
-
-- **现象**：`imports --code 'respo.core :refer $ sym'` 成功，但之后执行 `add-import` 会丢失已有 imports
-- **根因**：`handle_imports` 手工拼接 `ns_code_items`（平坦 list），产生结构：
-  ```
-  ["ns", "my.ns", ":require", "respo.core", ":refer", "$", "sym"]
-  ```
-  而 `extract_require_rules`/`build_ns_code` 期望嵌套结构：
-  ```
-  ["ns", "my.ns", [":require", ["respo.core", ":refer", "$", "sym"]]]
-  ```
-  导致后续任何依赖 `extract_require_rules` 的操作（`add-import`、`rm-import`）全部解析不到已有规则。
-- **修复**：重写 `handle_imports` 的 rules 解析逻辑，统一调用 `build_ns_code` 生成嵌套结构。同时自动区分输入是单条规则（flat array of strings）还是多条规则（array of arrays）。
-
-### Bug 2：`imports --code ':require ...'` 静默产生 `:require :require` 重复
-
-- **现象**：写 `:require respo.core :refer $ sym` 不报错，但生成 `ns my.ns :require :require respo.core ...`
-- **修复**：当 Cirru 解析后发现数组第一元素为 `:require` 字符串，立即返回错误消息，引导用户不包含 `:require` 前缀。
-
-### Bug 3：`add-ns --code 'ns WRONG_NAME ...'` 名称不一致静默通过
-
-- **现象**：`cr edit add-ns my.ns --code 'ns wrong.ns ...'` 成功，file-key 是 `my.ns`，但 ns 声明内写的是 `wrong.ns`，导致 `query ns my.ns` 看到内部名称错误
-- **修复**：当输入解析为 `ns` 表达式时，校验第二个元素是否与位置参数一致，不一致则 Error。
-
-## 修改文件
-
-- `src/bin/cli_handlers/edit.rs`：`handle_imports`、`handle_add_ns` 函数
-
-## 知识点
-
-- `imports` 命令的 `--code` 输入格式：**不含 `:require` 前缀**，直接是规则体（`src-ns :refer $ sym`）。单条规则用 `--code`，多条规则用 `--file`（每行一条）或通过 stdin 传 JSON 数组（元素为数组）。
-- `add-import` 和 `imports` 的格式一致，都是 `src-ns :refer $ sym`（无 `:require` 前缀）。
-- `add-ns --code` 中若传完整 `ns` 表达式，内部名称必须与位置参数完全匹配。
-- 最佳实践：优先使用 `add-import`（带保护和覆盖控制），`imports` 只在需要全量重置时使用。