@calcit/procs 0.11.0 → 0.11.2

package/.gitattributes

@@ -3,3 +3,4 @@ calcit.cirru -diff linguist-generated
 yarn.lock -diff linguist-generated
 Cargo.lock -diff linguist-generated
 lib -diff linguist-generated
+editing-history -diff linguist-generated

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

@@ -0,0 +1,91 @@
+# 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-0213-1926-docs-tests-followup.md

@@ -0,0 +1,33 @@
+# 2026-02-13 19:26 文档与测试补充（跟进）
+
+## 背景
+
+在完成 trait/macro 相关优化（P1/P2/P3）后，补做“是否需要补充测试与文档”的审计。
+
+## 本次结论
+
+需要补充，且已补最小必要范围：
+
+1. 文档：
+   - `guidebook/docs/features/macros.md`
+     - 增加 `with-gensyms` 用法示例。
+     - 增加 `macroexpand`/`macroexpand-1`/`macroexpand-all` 的展开链路说明（stderr）。
+   - `guidebook/docs/features/traits.md`
+     - 增加 `warn-dyn-method` 下的新增诊断说明。
+     - 明确 `&trait-call` 按 impl 的 trait origin 匹配，而非仅按名称文本匹配。
+
+2. 测试：
+   - `src/calcit/calcit_trait.rs`
+     - 新增 default identity 单测：
+       - `def_ref` 相同 => trait 相等且 hash 一致；
+       - 无 `def_ref` 时走函数元信息 fallback，并校验等价/不等价边界。
+
+## 验证
+
+- `cargo test -q calcit_trait::tests` 通过。
+- `yarn check-all` 通过（本轮补丁后再跑）。
+
+## 经验点
+
+- 文档应及时反映“诊断开关”边界（默认流程 vs `warn-dyn-method`）。
+- identity 规则变化必须配对 hash/eq 回归测试，避免后续 refactor 引入行为漂移。

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

@@ -0,0 +1,39 @@
+# 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-0214-2358-emit-js-modularization-shift-left.md

@@ -0,0 +1,63 @@
+# 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-0215-1941-macro-diagnostics-refinement.md

@@ -0,0 +1,39 @@
+# 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-0215-diagnostics-consolidated.md

@@ -0,0 +1,35 @@
+# 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-0216-2043-core-api-docs-cleanup.md

@@ -0,0 +1,40 @@
+# 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-0216-2128-docs-smoke-and-trait-errors.md

@@ -0,0 +1,20 @@
+# Docs smoke cases and trait misuse error normalization
+
+## Summary
+
+- Added executable docs smoke tests for key trait semantics.
+- Integrated smoke tests into main test entry.
+- Normalized high-frequency misuse messages with `Expected/Actual/Fix` guidance.
+- Stabilized cross-runtime smoke assertions so `yarn check-all` passes in both eval and js modes.
+
+## Knowledge points
+
+- `assert-traits` first argument is enforced at preprocess as local-only.
+- `impl-traits` targets definition-level values (`struct`/`enum`), not instances.
+- Error string matching in JS runtime should avoid host-error-dependent formatting; keep strict message-content checks in eval mode.
+
+## Validation
+
+- `cargo fmt`
+- `cargo run --bin cr -- calcit/test.cirru -1`
+- `yarn check-all` (exit code 0)

package/lib/calcit.procs.mjs

@@ -23,6 +23,8 @@ export * from "./js-tuple.mjs";
 export * from "./js-trait.mjs";
 export * from "./custom-formatter.mjs";
 export * from "./js-cirru.mjs";
+export * from "./js-arity-helpers.mjs";
+export * from "./js-tag-helpers.mjs";
 export { _$n_compare } from "./js-primes.mjs";
 import { CalcitList, CalcitSliceList, foldl } from "./js-list.mjs";
 import { CalcitMap, CalcitSliceMap } from "./js-map.mjs";
@@ -637,6 +639,25 @@ export let _$n_impl_$o_origin = function (impl) {
     }
     throw new Error(`&impl:origin expected an impl, but received: ${toString(impl, true)}`);
 };
+export let _$n_impl_$o_get = function (impl, name) {
+    if (arguments.length !== 2)
+        throw new Error("&impl:get expected 2 arguments");
+    if (!(impl instanceof CalcitImpl)) {
+        throw new Error(`&impl:get expected an impl as first argument, but received: ${toString(impl, true)}`);
+    }
+    return impl.get(name);
+};
+export let _$n_impl_$o_nth = function (impl, index) {
+    if (arguments.length !== 2)
+        throw new Error("&impl:nth expected 2 arguments");
+    if (!(impl instanceof CalcitImpl)) {
+        throw new Error(`&impl:nth expected an impl as first argument, but received: ${toString(impl, true)}`);
+    }
+    if (typeof index !== "number" || !Number.isInteger(index) || index < 0) {
+        throw new Error(`&impl:nth expected a non-negative integer index, but received: ${toString(index, true)}`);
+    }
+    return impl.values[index];
+};
 export let _$n_list_$o_assoc_before = function (xs, k, v) {
     if (arguments.length !== 3) {
         throw new Error("assoc takes 3 arguments");
@@ -1885,8 +1906,5 @@ export let gensym = unavailableProc;
 export let macroexpand = unavailableProc;
 export let macroexpand_all = unavailableProc;
 export let _$n_get_calcit_running_mode = unavailableProc;
-export let _args_throw = (name, expected, got) => {
-    return new Error(`\`${name}\` expected ${expected} params, got ${got}`);
-};
 // already handled in code emitter
 export let raise = unavailableProc;

package/lib/js-arity-helpers.mjs

@@ -0,0 +1,9 @@
+export let _args_throw = (name, expected, got) => {
+    return new Error(`\`${name}\` expected ${expected} params, got ${got}`);
+};
+export let _args_fewer_throw = (name, min, got) => {
+    return new Error(`\`${name}\` expected at least ${min} params, got ${got}`);
+};
+export let _args_between_throw = (name, min, max, got) => {
+    return new Error(`\`${name}\` expected ${min}-${max} params, got ${got}`);
+};

package/lib/js-record.mjs

@@ -131,18 +131,28 @@ export let fieldsEqual = (xs, ys) => {
     return true;
 };
 export let _$n__PCT__$M_ = (proto, ...xs) => {
+    let recordProto;
     if (proto instanceof CalcitRecord) {
+        recordProto = proto;
+    }
+    else if (proto instanceof CalcitStruct) {
+        recordProto = new CalcitRecord(proto.name, proto.fields, new Array(proto.fields.length).fill(null), proto);
+    }
+    else {
+        throw new Error("Expected prototype to be a record");
+    }
+    {
         if (xs.length % 2 !== 0) {
             throw new Error("Expected even number of key/value");
         }
-        if (xs.length !== proto.fields.length * 2) {
+        if (xs.length !== recordProto.fields.length * 2) {
             throw new Error("fields size does not match");
         }
-        let values = new Array(proto.fields.length);
-        for (let i = 0; i < proto.fields.length; i++) {
+        let values = new Array(recordProto.fields.length);
+        for (let i = 0; i < recordProto.fields.length; i++) {
             let idx = -1;
-            let k = proto.fields[i];
-            for (let j = 0; j < proto.fields.length; j++) {
+            let k = recordProto.fields[i];
+            for (let j = 0; j < recordProto.fields.length; j++) {
                 if (k === castTag(xs[j * 2])) {
                     idx = j;
                     break;
@@ -156,10 +166,7 @@ export let _$n__PCT__$M_ = (proto, ...xs) => {
             }
             values[i] = xs[idx * 2 + 1];
         }
-        return new CalcitRecord(proto.name, proto.fields, values, proto.structRef);
-    }
-    else {
-        throw new Error("Expected prototype to be a record");
+        return new CalcitRecord(recordProto.name, recordProto.fields, values, recordProto.structRef);
     }
 };
 /// update record with new values

package/lib/js-tag-helpers.mjs

@@ -0,0 +1,15 @@
+import { newTag } from "./calcit-data.mjs";
+let _tag_cache = {};
+export let init_tags = (arr) => {
+    let tags = {};
+    for (let idx = 0; idx < arr.length; idx++) {
+        let name = arr[idx];
+        let item = _tag_cache[name];
+        if (item === undefined) {
+            item = newTag(name);
+            _tag_cache[name] = item;
+        }
+        tags[name] = item;
+    }
+    return tags;
+};

package/lib/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@calcit/procs",
-    "version": "0.11.0",
+    "version": "0.11.2",
     "main": "./lib/calcit.procs.mjs",
     "devDependencies": {
         "@types/node": "^25.0.9",
@@ -8,11 +8,18 @@
     },
     "scripts": {
         "compile": "rm -rfv lib/* && tsc",
-        "procs-link": "ln -s ../../ node_modules/@calcit/procs",
+        "procs-link": "ln -sfn ../../ node_modules/@calcit/procs",
         "cp-mac": "cargo build --release && rm -rfv builds/* && node scripts/cp-version.js && scp builds/* rsync-user@calcit-lang.org:/web-assets/repo/calcit-lang/binaries/macos/",
         "eval": "cargo run --bin cr -- eval",
+        "fmt-rs": "cargo fmt --all",
+        "lint-rs": "cargo clippy --all-targets -- -D warnings",
+        "test-rs": "cargo test -q",
+        "test-snippets": "cargo test -q snippets::tests",
+        "bench-recur-smoke": "cargo run --bin cr -- calcit/test.cirru -1 js && node --input-type=module -e \"import { test_loop } from './js-out/test-recursion.main.mjs'; const n=3000; const t0=process.hrtime.bigint(); for(let i=0;i<n;i++) test_loop(); const dt=Number(process.hrtime.bigint()-t0)/1e6; console.log('test_loop_ms='+dt.toFixed(3));\"",
+        "check-smooth": "yarn fmt-rs && yarn lint-rs && yarn test-rs && yarn check-all",
         "check-all": "yarn compile && yarn try-rs && yarn try-js && yarn try-ir",
         "try-rs": "cargo run --bin cr -- calcit/test.cirru -1",
+        "warn-dyn-method": "cargo run --bin cr -- calcit/test.cirru -1 --warn-dyn-method",
         "try-js-brk": "cargo run --bin cr -- calcit/test.cirru -1 js && node --inspect-brk js-out/main.mjs",
         "try-js": "cargo run --bin cr -- calcit/test.cirru -1 js && node js-out/main.mjs",
         "try-ir": "cargo run --bin cr -- calcit/test.cirru -1 js"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@calcit/procs",
-  "version": "0.11.0",
+  "version": "0.11.2",
   "main": "./lib/calcit.procs.mjs",
   "devDependencies": {
     "@types/node": "^25.0.9",
@@ -8,11 +8,18 @@
   },
   "scripts": {
     "compile": "rm -rfv lib/* && tsc",
-    "procs-link": "ln -s ../../ node_modules/@calcit/procs",
+    "procs-link": "ln -sfn ../../ node_modules/@calcit/procs",
     "cp-mac": "cargo build --release && rm -rfv builds/* && node scripts/cp-version.js && scp builds/* rsync-user@calcit-lang.org:/web-assets/repo/calcit-lang/binaries/macos/",
     "eval": "cargo run --bin cr -- eval",
+    "fmt-rs": "cargo fmt --all",
+    "lint-rs": "cargo clippy --all-targets -- -D warnings",
+    "test-rs": "cargo test -q",
+    "test-snippets": "cargo test -q snippets::tests",
+    "bench-recur-smoke": "cargo run --bin cr -- calcit/test.cirru -1 js && node --input-type=module -e \"import { test_loop } from './js-out/test-recursion.main.mjs'; const n=3000; const t0=process.hrtime.bigint(); for(let i=0;i<n;i++) test_loop(); const dt=Number(process.hrtime.bigint()-t0)/1e6; console.log('test_loop_ms='+dt.toFixed(3));\"",
+    "check-smooth": "yarn fmt-rs && yarn lint-rs && yarn test-rs && yarn check-all",
     "check-all": "yarn compile && yarn try-rs && yarn try-js && yarn try-ir",
     "try-rs": "cargo run --bin cr -- calcit/test.cirru -1",
+    "warn-dyn-method": "cargo run --bin cr -- calcit/test.cirru -1 --warn-dyn-method",
     "try-js-brk": "cargo run --bin cr -- calcit/test.cirru -1 js && node --inspect-brk js-out/main.mjs",
     "try-js": "cargo run --bin cr -- calcit/test.cirru -1 js && node js-out/main.mjs",
     "try-ir": "cargo run --bin cr -- calcit/test.cirru -1 js"

package/ts-src/calcit.procs.mts

@@ -41,6 +41,8 @@ export * from "./js-tuple.mjs";
 export * from "./js-trait.mjs";
 export * from "./custom-formatter.mjs";
 export * from "./js-cirru.mjs";
+export * from "./js-arity-helpers.mjs";
+export * from "./js-tag-helpers.mjs";
 export { _$n_compare } from "./js-primes.mjs";
 
 import { CalcitList, CalcitSliceList, foldl } from "./js-list.mjs";
@@ -703,6 +705,25 @@ export let _$n_impl_$o_origin = function (impl: CalcitValue): CalcitValue {
   throw new Error(`&impl:origin expected an impl, but received: ${toString(impl, true)}`);
 };
 
+export let _$n_impl_$o_get = function (impl: CalcitValue, name: CalcitValue): CalcitValue {
+  if (arguments.length !== 2) throw new Error("&impl:get expected 2 arguments");
+  if (!(impl instanceof CalcitImpl)) {
+    throw new Error(`&impl:get expected an impl as first argument, but received: ${toString(impl, true)}`);
+  }
+  return impl.get(name);
+};
+
+export let _$n_impl_$o_nth = function (impl: CalcitValue, index: CalcitValue): CalcitValue {
+  if (arguments.length !== 2) throw new Error("&impl:nth expected 2 arguments");
+  if (!(impl instanceof CalcitImpl)) {
+    throw new Error(`&impl:nth expected an impl as first argument, but received: ${toString(impl, true)}`);
+  }
+  if (typeof index !== "number" || !Number.isInteger(index) || index < 0) {
+    throw new Error(`&impl:nth expected a non-negative integer index, but received: ${toString(index, true)}`);
+  }
+  return impl.values[index];
+};
+
 export let _$n_list_$o_assoc_before = function (xs: CalcitList | CalcitSliceList, k: number, v: CalcitValue): CalcitList {
   if (arguments.length !== 3) {
     throw new Error("assoc takes 3 arguments");
@@ -2027,9 +2048,5 @@ export let macroexpand = unavailableProc;
 export let macroexpand_all = unavailableProc;
 export let _$n_get_calcit_running_mode = unavailableProc;
 
-export let _args_throw = (name: string, expected: number, got: number) => {
-  return new Error(`\`${name}\` expected ${expected} params, got ${got}`);
-};
-
 // already handled in code emitter
 export let raise = unavailableProc;

package/ts-src/js-arity-helpers.mts

@@ -0,0 +1,11 @@
+export let _args_throw = (name: string, expected: number, got: number) => {
+  return new Error(`\`${name}\` expected ${expected} params, got ${got}`);
+};
+
+export let _args_fewer_throw = (name: string, min: number, got: number) => {
+  return new Error(`\`${name}\` expected at least ${min} params, got ${got}`);
+};
+
+export let _args_between_throw = (name: string, min: number, max: number, got: number) => {
+  return new Error(`\`${name}\` expected ${min}-${max} params, got ${got}`);
+};

package/ts-src/js-record.mts

@@ -135,20 +135,28 @@ export let fieldsEqual = (xs: Array<CalcitTag>, ys: Array<CalcitTag>): boolean =
 };
 
 export let _$n__PCT__$M_ = (proto: CalcitValue, ...xs: Array<CalcitValue>): CalcitValue => {
+  let recordProto: CalcitRecord;
   if (proto instanceof CalcitRecord) {
+    recordProto = proto;
+  } else if (proto instanceof CalcitStruct) {
+    recordProto = new CalcitRecord(proto.name, proto.fields, new Array(proto.fields.length).fill(null), proto);
+  } else {
+    throw new Error("Expected prototype to be a record");
+  }
+  {
     if (xs.length % 2 !== 0) {
       throw new Error("Expected even number of key/value");
     }
-    if (xs.length !== proto.fields.length * 2) {
+    if (xs.length !== recordProto.fields.length * 2) {
       throw new Error("fields size does not match");
     }
 
-    let values = new Array(proto.fields.length);
+    let values = new Array(recordProto.fields.length);
 
-    for (let i = 0; i < proto.fields.length; i++) {
+    for (let i = 0; i < recordProto.fields.length; i++) {
       let idx = -1;
-      let k = proto.fields[i];
-      for (let j = 0; j < proto.fields.length; j++) {
+      let k = recordProto.fields[i];
+      for (let j = 0; j < recordProto.fields.length; j++) {
         if (k === castTag(xs[j * 2])) {
           idx = j;
           break;
@@ -164,9 +172,7 @@ export let _$n__PCT__$M_ = (proto: CalcitValue, ...xs: Array<CalcitValue>): Calc
       values[i] = xs[idx * 2 + 1];
     }
 
-    return new CalcitRecord(proto.name, proto.fields, values, proto.structRef);
-  } else {
-    throw new Error("Expected prototype to be a record");
+    return new CalcitRecord(recordProto.name, recordProto.fields, values, recordProto.structRef);
   }
 };
 

package/ts-src/js-tag-helpers.mts

@@ -0,0 +1,17 @@
+import { CalcitTag, newTag } from "./calcit-data.mjs";
+
+let _tag_cache: Record<string, CalcitTag> = {};
+
+export let init_tags = (arr: string[]) => {
+  let tags: Record<string, CalcitTag> = {};
+  for (let idx = 0; idx < arr.length; idx++) {
+    let name = arr[idx];
+    let item = _tag_cache[name];
+    if (item === undefined) {
+      item = newTag(name);
+      _tag_cache[name] = item;
+    }
+    tags[name] = item;
+  }
+  return tags;
+};