@calcit/procs 0.12.44 → 0.12.46

package/202606131200_primitive_schema_tags.md

@@ -0,0 +1,9 @@
+# Calcit Type schema primitive tags support expansion
+
+## Timestamp: 202606131200
+
+## Modification Summary:
+- Expanded `PRIMITIVE_SCHEMA_TAGS` inside `/Users/chenyong/repo/calcit-lang/calcit/src/snapshot.rs` to include `"record"`, `"struct"`, `"enum"`, `"trait"`, `"impl"`.
+- This ensures schema annotations utilizing these tags (e.g., `:trait` or `:enum` in code entries) pass verification rather than raising an unrecognized primitive tag validation error.
+- Verified with the Calcit test suite which passed 223+85 integration and unit tests without error.
+- Updated `respo/alerts` annotations using these tags to enforce more precise typing rules in the codebase.

package/build.rs

@@ -23,6 +23,8 @@ pub struct CodeEntry {
   pub doc: String,
   #[serde(default)]
   pub examples: Vec<Cirru>,
+  #[serde(default)]
+  pub tags: Vec<String>,
   pub code: Cirru,
   #[serde(default)]
   pub schema: Option<Edn>,
@@ -261,6 +263,32 @@ fn validate_schema_edn_no_legacy_quotes(value: &Edn, owner: &str) -> Result<(),
   walk(value, owner, &mut path)
 }
 
+fn parse_tags_from_edn(value: &Edn, owner: &str) -> Result<Vec<String>, String> {
+  match value {
+    Edn::Set(set) => {
+      let mut tags = Vec::with_capacity(set.0.len());
+      for item in &set.0 {
+        match item {
+          Edn::Tag(tag) => tags.push(format!(":{}", tag.ref_str())),
+          other => {
+            return Err(format!(
+              "{owner}: CodeEntry.tags expects tag items, got {}",
+              format_edn_preview(other)
+            ));
+          }
+        }
+      }
+      tags.sort();
+      tags.dedup();
+      Ok(tags)
+    }
+    other => Err(format!(
+      "{owner}: CodeEntry.tags expects a hashset, got {}",
+      format_edn_preview(other)
+    )),
+  }
+}
+
 fn parse_code_entry(edn: Edn, owner: &str) -> Result<CodeEntry, String> {
   let record: EdnRecordView = match edn {
     Edn::Record(r) => r,
@@ -268,12 +296,14 @@ fn parse_code_entry(edn: Edn, owner: &str) -> Result<CodeEntry, String> {
   };
   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 {
     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}"))?,
+      "tags" => tags = parse_tags_from_edn(value, owner)?,
       "code" => code = Some(from_edn(value.clone()).map_err(|e| format!("{owner}: invalid `:code`: {e}"))?),
       "schema" => {
         if !matches!(value, Edn::Nil) {
@@ -286,6 +316,7 @@ fn parse_code_entry(edn: Edn, owner: &str) -> Result<CodeEntry, String> {
   Ok(CodeEntry {
     doc,
     examples,
+    tags,
     code: code.ok_or_else(|| format!("{owner}: missing `:code` field in CodeEntry"))?,
     schema,
   })

package/editing-history/2026-0610-1200-get-def-doc-schema-builtin.md

@@ -0,0 +1,7 @@
+# &get-def-doc / &get-def-schema
+
+- 新增 `&get-def-doc`、`&get-def-schema` 内置函数，参数为 `ns/def` 字符串或 symbol。
+- Rust/eval 运行时通过 `program::lookup_def_doc` / `lookup_def_schema` 读取已加载定义的 `:doc` 与 `:schema`。
+- `snapshot::schema_annotation_to_edn` 统一 schema 转 EDN。
+- calcit-js 标记为 unavailable，不生成 def-meta 注册表，避免 js-out 膨胀。
+- 测试：`calcit/test-def-meta.cirru`，仅在 `inside-eval:` 下运行。

package/editing-history/202606121525-weak-types-dots-format.md

@@ -0,0 +1,15 @@
+# 修改记录: cr analyze weak-types 路径打印格式优化使用点号 (2026-06-12)
+
+## 知识点与变动树
+
+1. **Weak-type 路径打印格式优化**:
+   - 原本 `cr analyze weak-types` 命令输出 AST 节点和声明模式中的位置时会使用大量的方括号 `[` 和 `]`，如 `code[3][1][6]`。
+   - 现将其重构并统一为标准点号 (`.`) 路径分隔法（如 `code.3.1.6`），以消除视觉冗余。
+
+2. **具体实现 & 多位置对齐**:
+   - `format_cirru_path`: 修改它的实现，将其内部的 `[idx]` 拼接机制替换成了 `.idx`，从而全局对齐了 Cirru 节点遍历的 dot 符号写法。
+   - `scan_schema_dynamic_annotation`: 内部处理 Fn 类型的索引时，把 `{path}.args[{idx}]` 和 `{path}.type-arg[{idx}]` 修改为点号连接的 `{path}.args.{idx}`、`{path}.type-arg.{idx}`，并同步修改了 `schema.args.{idx}` 语法签名位置。
+
+3. **测试与质量验证**:
+   - 执行 `cargo test --bin cr` 通过了全部 85 项内置和回归测试（无测试报错）。
+   - 实地重新构建 `cargo build --bin cr` 并对大规模项目 `termina/msg-buffer` 完美执行 `analyze weak-types` 分析，其输出完美显示为高清晰度的 `code.6.1.3` 及 `schema.args.0.item.item.value` 点号格式。

package/lib/calcit.procs.mjs

@@ -2147,5 +2147,7 @@ export let gensym = unavailableProc;
 export let macroexpand = unavailableProc;
 export let macroexpand_all = unavailableProc;
 export let _$n_get_calcit_running_mode = unavailableProc;
+export let _$n_get_def_doc = unavailableProc;
+export let _$n_get_def_schema = unavailableProc;
 // already handled in code emitter
 export let raise = unavailableProc;

package/lib/package.json

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

package/package.json

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

package/ts-src/calcit.procs.mts

@@ -2278,6 +2278,8 @@ export let gensym = unavailableProc;
 export let macroexpand = unavailableProc;
 export let macroexpand_all = unavailableProc;
 export let _$n_get_calcit_running_mode = unavailableProc;
+export let _$n_get_def_doc = unavailableProc;
+export let _$n_get_def_schema = unavailableProc;
 
 // already handled in code emitter
 export let raise = unavailableProc;