@calcit/procs 0.12.54 → 0.12.56

package/README.md

@@ -139,8 +139,9 @@ Run `caps` to download. Sources are downloaded into `~/.config/calcit/modules/`.
 To load modules, use `:modules` configuration and the runtime snapshot file `calcit.cirru` (legacy: `compact.cirru`):
 
 ```cirru
-:configs $ {}
-  :modules $ [] |memof/calcit.cirru |lilac/
+:entries $ {}
+  :default $ {}
+    :modules $ [] |memof/calcit.cirru |lilac/
 ```
 
 Paths defined in `:modules` field are just loaded as files from `~/.config/calcit/modules/`,

package/RFCs/04-13-type-slot-mechanism-rfc.md

@@ -281,13 +281,15 @@ evaluate(with-type-slot body) -> 在遇到 dependency 时临时影响编译
 
 ### 8.2 已实现的配置语法
 
-默认 entry 在 `:configs` 中绑定短 slot 名，值必须是完整 definition path 或 `:dynamic`：
+默认 entry 在 `:entries.default` 中绑定短 slot 名，值必须是完整 definition path 或 `:dynamic`：
 
 ```cirru
-:configs $ {}
-  :init-fn |app.main/main!
-  :type-slots $ {}
-    :dispatch-op |app.schema/Op
+:entries $ {}
+  :default $ {}
+    :mode :native
+    :init-fn |app.main/main!
+    :type-slots $ {}
+      :dispatch-op |app.schema/Op
 ```
 
 命名 entry 使用自己的完整配置，可以选择另一类型：
@@ -295,12 +297,13 @@ evaluate(with-type-slot body) -> 在遇到 dependency 时临时影响编译
 ```cirru
 :entries $ {}
   :server $ {}
+    :mode :native
     :init-fn |app.server/main!
     :type-slots $ {}
       :dispatch-op |app.schema/ServerOp
 ```
 
-命名 entry 不继承默认 `:configs.type-slots`。这里使用完整 definition path，而不是在配置解析阶段求值任意 Calcit expression，因此配置可序列化、可查询，也不依赖入口函数的执行顺序。对应命令为：
+命名 entry 不继承 `:entries.default.type-slots`。这里使用完整 definition path，而不是在配置解析阶段求值任意 Calcit expression，因此配置可序列化、可查询，也不依赖入口函数的执行顺序。对应命令为：
 
 ```bash
 cr config set-type-slot :dispatch-op app.schema/Op
@@ -574,7 +577,7 @@ cr config type-slots --entry server
 
 ## 15. 尚待决定的问题
 
-已决定：`:configs` 与每个命名 entry 各自保存完整 `:type-slots`，不做隐式继承；配置值只接受完整 definition path 或 `:dynamic`。
+已决定：所有入口统一存放在 `:entries`，`:default` 是无参数入口；每个 entry 各自保存完整 `:type-slots`，不做隐式继承；配置值只接受完整 definition path 或 `:dynamic`。
 
 仍待决定：
 

package/RFCs/07-31-unsafe-coerce-driven-static-type-boundary-plan.md

@@ -0,0 +1,170 @@
+# RFC: `unsafe-coerce` 驱动的动态边界治理与静态类型强化计划
+
+状态：Draft
+日期：2026-07-31
+关联：`07-26-static-semantic-analysis-rfc.md`、`07-08-ffi-features-and-js-object-type-rfc.md`、`06-01-generic-binding-unification-rfc.md`
+
+## 1. 现状与目标
+
+我们将本阶段主目标聚焦在类型边界治理，而不是单纯推进 WASM 后端。
+针对 FFI（特别是 JS object）和外部大树形结构中大量动态值的问题，`unsafe-coerce` 要成为“静态分析可利用的类型入口点”，降低 `:dynamic` 退化。
+
+目标如下：
+
+- 让动态边界明确化：能指出哪些值是故意进入静态盲区，哪些是可治理缺口；
+- 提升静态可用信息：`unsafe-coerce` 后的类型关系要能在后续分析中被持续传播；
+- 降低告警噪音：减少因隐式动态而产生的误报，转而给出可执行的收紧建议。
+
+## 2. 问题定义
+
+当前主要痛点是三类：
+
+1. 外部输入（JS Object、外部树形数据）一旦进入，会被频繁打散成 `:dynamic`；
+2. `unsafe-coerce` 当前只附加声明类型，不转换值，也不提供运行时校验，静态分析无法区分“推导所得”与“用户信任声明”；
+3. 未通过显式边界收敛的动态传播，会导致高阶函数、容器、回调、trait 调用处丧失可验证关系。
+
+## 3. 设计思路
+
+我们将类型边界分为五档，贯穿检查与诊断链路：
+
+- `sealed-boundary`：明确的外部边界，需经过显式操作收窄；
+- `trusted`：`unsafe-coerce` 给出的用户信任声明，可传播但不视为运行时证明；
+- `validated`：由未来的实际校验操作建立的证据；
+- `unvalidated`：未经过转换但可继续跟踪的弱上下文；
+- `dynamic`：有意接受的动态盲区（可选 opt-in）。
+
+`unsafe-coerce` 必须具备两个产出：
+
+- 运行时行为：保持原值不变，不承诺验证；
+- 静态元信息：来源类型、声明目标类型、边界位置和 `trusted` 置信等级。
+
+实际完成运行时验证的能力应使用独立操作，并把置信等级提升为 `validated`，不能由 `unsafe-coerce` 冒充。
+
+## 4. 规范草案
+
+### 4.1 `unsafe-coerce` 的静态签名
+
+`unsafe-coerce` 调用应显式携带目标类型表达式，并在静态树或旁路分析元数据中记录：
+
+- `from-type`：调用点推断来源；
+- `to-type`：目标类型表达式；
+- `confidence`：固定为 `trusted`，不可标为 `validated`；
+- `evidence`：字段集合、泛型约束、变体等。
+
+示例：
+
+```cirru
+unsafe-coerce user-json :js-object
+unsafe-coerce user-json (:: :record User)
+unsafe-coerce tree-data (:: :list (:: :ref TreeNode))
+```
+
+### 4.2 结构化构造的类型加强策略（enum / struct）
+
+当调用头能够静态确认就是某个 `defstruct` 或 `defenum` 定义时，类型收敛可走“无缝构造”策略，减少 `::` / `%::` / `%{}` 的显式写法。普通 record 实例或 enum tuple 即使携带相同类型信息，也不得被当作构造器：
+
+- `enum`：在可推断为 enum 的位置，允许直接写 `Result :ok value`，由类型驱动 rewrite 成 `%:: Result :ok value`；
+- `struct`：在可推断为结构体的上下文，允许按字段对写 `Person :name |Alice :age 20`，并在类型上下文中改写为 `%{} Person :name |Alice :age 20` 的有序结构构造；
+- 规则约束仍保留：
+  - `struct` 必须是偶数个参数，按 key/value 成对出现；
+  - 字段不能重复；非 `:optional` 字段不能缺失；
+  - `enum` 的 tag 与 payload 必须匹配该 enum 的 variant；
+  - 任何 key 不在目标 struct 字段中的，回退到原有调用并给出 warning。
+
+示例：
+
+```cirru
+let
+    maybe-ok $ Result :ok 1
+    person $ Person :name |Alice :age 20
+  ...
+```
+
+负向示例（应保持原样并给 warning）：
+
+```cirru
+Person :name |Alice :age
+Result
+Result :bad 1
+Person :email |x
+Result ok 1
+kitty .rename |LagopusB
+```
+
+说明：
+
+- `Person :email |x`：字段不在结构定义中 → 回退并 warning；
+- `Person :name |Alice :age`：奇数参数 → 回退并 warning；
+- `Result ok 1`：enum 首参不是 tag（需 `:ok`）→ 回退并 warning；
+- `kitty .rename |LagopusB`：记录/结构方法调用不能被误判为构造调用。
+
+### 4.3 动态边界的使用规则
+
+1. 来自 FFI/主机接口的值默认进入 `sealed-boundary`；
+2. 若值要进入“纯 Calcit 计算路径”，必须通过 `unsafe-coerce` 进入可信声明类型，或通过实际校验操作进入已验证类型；
+3. 对容器与回调关系，`unsafe-coerce` 后应尽量保留内含关系（如 `:: :list T`、`:: :fn` 的参数/返回关联）；
+4. 对于无法构建精确信息的对象（如完全开放结构），允许 `:dynamic`，但必须记录“故意动态”标签与边界位置。
+
+### 4.4 与现有警告体系对齐
+
+- 引入/保留告警码：
+  - `W_SEALED_BOUNDARY_PASS`
+  - `W_MISSING_COERCE`
+  - `W_COERCE_COVERAGE_GAP`
+  - `W_DYNAMIC_EXIT`
+- `unsafe-coerce` 使用不足的动态传播点应由 `W_MISSING_COERCE` 定位，并给出可替换的目标类型示例；
+- `unsafe-coerce` 后仍不能稳定推断的情况，转为 `W_COERCE_COVERAGE_GAP` 并输出缺失字段/参数位置。
+
+### 4.5 与函数签名协同
+
+`unsafe-coerce` 不是为了替代 schema，而是使 schema 可恢复：
+
+- 大树节点进入列表/record 时，优先映射为命名结构体或 enum；
+- 回调参数在边界后保持 `:fn` 的关系（arg/return / generics / where）；
+- 若同一结构反复出现，鼓励提升为 `defstruct` + `:where` + 类型参数，减少重复 `:dynamic`。
+
+## 5. 实施路线
+
+### Phase 1（1~2 周）：把边界变可见
+
+- 明确 `unsafe-coerce` 在静态元数据中的记录模型，并保证 local 场景不会擦除边界节点；
+- 增加 `sealed-boundary` / `trusted` / `validated` / `unvalidated` / `dynamic` 标签在诊断中可见；
+- 在 `type-at` 与 `check-types` 输出中显示 `unsafe-coerce` evidence 链路；
+- 增加 `unsafe-coerce` 相关正向用例：JS Object → 记录/列表/enum。
+
+### Phase 2（2~3 周）：增强 `unsafe-coerce` 的传播能力
+
+- 在 container / fn / struct / enum 场景保留内含关系；
+- 增强跨文件、跨 def 的类型传播，支持大树结构递归字段推断；
+- 给 FFI 边界添加可执行的“首入场 unsafe-coerce 指南”（必须声明哪些层级，以及哪些位置需要真实校验）。
+
+### Phase 3（1~2 周）：治理现有动态盲区
+
+- 统计 `:dynamic` 产生原因：未转换、边界故意、兼容旧行为；
+- 逐步把“可修复” `:dynamic` 转为结构化 `unsafe-coerce` 或真实校验，保留“故意动态”最小集合；
+- 在 `analyze weak-types` 中增加类型边界报告：按定义、路径、优先级排序。
+
+## 6. 验收指标（建议）
+
+1. 关键 FFI 边界进入非纯路径时，`type-at` 能标出 `sealed-boundary`；
+2. 对树形/树状 JSON 数据，核心字段至少一层以上可从 `:dynamic` 收窄；
+3. 同一入口内的未转换动态访问点告警下降且可定位；
+4. 新增样例在 `check-types` 下可通过，不产生“类型丢失无法解释”的模糊告警。
+
+## 7. 风险与缓解
+
+- 风险：`unsafe-coerce` 过度强约束导致现有生态迁移成本上升。
+  缓解：保持 warning-first，逐步收紧。
+- 风险：分析时间上升。
+  缓解：对 `unsafe-coerce` evidence 做缓存并只在必要路径传播。
+- 风险：FFI 数据本身不稳定结构导致验证失败。
+  缓解：支持“部分声明 + `:dynamic` fallback”，让用户明确知道保留了什么边界。
+
+## 8. 依赖关系
+
+优先参考并复用：
+
+- `06-01-generic-binding-unification-rfc.md`
+- `07-26-static-semantic-analysis-rfc.md`
+- `07-08-ffi-features-and-js-object-type-rfc.md`
+- 现有类型诊断体系与 `analyze weak-types` 输出规范

package/build.rs

@@ -6,16 +6,71 @@ use std::env;
 use std::fs;
 use std::path::Path;
 
+#[derive(Debug, Clone, Copy, Default, PartialEq, Eq, Serialize, Deserialize)]
+#[serde(rename_all = "lowercase")]
+pub enum SnapshotRunMode {
+  #[default]
+  Native,
+  Js,
+}
+
+fn deserialize_run_mode<'de, D>(deserializer: D) -> Result<SnapshotRunMode, D::Error>
+where
+  D: serde::Deserializer<'de>,
+{
+  let value = Edn::deserialize(deserializer)?;
+  let mode = match value {
+    Edn::Tag(tag) => tag.ref_str().to_owned(),
+    Edn::Str(text) | Edn::Symbol(text) => text.trim_start_matches(':').to_owned(),
+    other => return Err(serde::de::Error::custom(format!("expected :native or :js, got {other:?}"))),
+  };
+  match mode.as_str() {
+    "native" => Ok(SnapshotRunMode::Native),
+    "js" => Ok(SnapshotRunMode::Js),
+    _ => Err(serde::de::Error::custom(format!("expected :native or :js, got {mode}"))),
+  }
+}
+
+fn deserialize_ns_def<'de, D>(deserializer: D) -> Result<String, D::Error>
+where
+  D: serde::Deserializer<'de>,
+{
+  match Edn::deserialize(deserializer)? {
+    Edn::Str(text) | Edn::Symbol(text) => Ok(text.to_string()),
+    other => Err(serde::de::Error::custom(format!(
+      "expected namespace/definition string or symbol, got {other:?}"
+    ))),
+  }
+}
+
 #[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
-pub struct SnapshotConfigs {
-  #[serde(rename = "init-fn")]
+pub struct SnapshotEntry {
+  #[serde(default, deserialize_with = "deserialize_run_mode")]
+  pub mode: SnapshotRunMode,
+  #[serde(rename = "init-fn", deserialize_with = "deserialize_ns_def")]
   pub init_fn: String,
-  #[serde(rename = "reload-fn")]
+  #[serde(rename = "reload-fn", deserialize_with = "deserialize_ns_def")]
+  pub reload_fn: String,
+  #[serde(default)]
+  pub description: String,
+  #[serde(default)]
+  pub modules: Vec<String>,
+  #[serde(default, rename = "type-slots")]
+  pub type_slots: HashMap<String, String>,
+}
+
+#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
+pub struct LegacySnapshotConfigs {
+  #[serde(rename = "init-fn", deserialize_with = "deserialize_ns_def")]
+  pub init_fn: String,
+  #[serde(rename = "reload-fn", deserialize_with = "deserialize_ns_def")]
   pub reload_fn: String,
   #[serde(default)]
   pub modules: Vec<String>,
   #[serde(default)]
   pub version: String,
+  #[serde(default, rename = "type-slots")]
+  pub type_slots: HashMap<String, String>,
 }
 
 #[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
@@ -46,8 +101,9 @@ pub struct FileInSnapShot {
 pub struct Snapshot {
   pub package: String,
   pub about: Option<String>,
-  pub configs: SnapshotConfigs,
-  pub entries: HashMap<String, SnapshotConfigs>,
+  #[serde(default)]
+  pub version: String,
+  pub entries: HashMap<String, SnapshotEntry>,
   pub files: HashMap<String, FileInSnapShot>,
 }
 
@@ -417,11 +473,37 @@ fn main() {
 
   let files = parse_files(data.get_or_nil("files")).unwrap_or_else(|e| panic!("failed to parse calcit-core `:files`: {e}"));
 
+  let legacy_configs = match data.get_or_nil("configs") {
+    Edn::Nil => None,
+    value => {
+      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}"));
+  if let Some(configs) = &legacy_configs {
+    entries.insert(
+      "default".to_owned(),
+      SnapshotEntry {
+        mode: SnapshotRunMode::Native,
+        init_fn: configs.init_fn.clone(),
+        reload_fn: configs.reload_fn.clone(),
+        description: String::new(),
+        modules: configs.modules.clone(),
+        type_slots: configs.type_slots.clone(),
+      },
+    );
+  }
+  let version = match data.get_or_nil("version") {
+    Edn::Nil => legacy_configs.map(|configs| configs.version).unwrap_or_default(),
+    value => from_edn(value).unwrap_or_else(|e| panic!("failed to parse calcit-core `:version`: {e}")),
+  };
+
   let snapshot = Snapshot {
     package: pkg,
     about,
-    configs: from_edn(data.get_or_nil("configs")).unwrap_or_else(|e| panic!("failed to parse calcit-core `:configs`: {e}")),
-    entries: from_edn(data.get_or_nil("entries")).unwrap_or_else(|e| panic!("failed to parse calcit-core `:entries`: {e}")),
+    version,
+    entries,
     files,
   };
 

package/editing-history/202607301620-program-diff-type-slots.md

@@ -0,0 +1,6 @@
+# Program diff 补齐 entry type slots
+
+- `SnapshotConfigs.type_slots` 已用于默认 `:configs` 和命名 `:entries`，但 program diff 仍只枚举旧的 `init-fn`、`reload-fn`、`version` 与 `modules` 字段，导致纯 type-slot 修改被误报为无变化。
+- 为字符串 map 增加稳定按 key 排序的结构化 diff，slot 标签保留 `:dispatch-op` 形式；新增或删除整个 entry 时也完整展示其 type slots。
+- `Snapshot` 与 `SnapshotConfigs` 的 program diff 改为无 `..` 的完整字段解构。以后新增字段而未更新 diff 时会产生编译错误，避免同类静默遗漏。
+- 回归测试覆盖默认 entry 的 slot 新增、删除、替换，命名 entry 的 slot 修改，以及新增 entry 时的 slot 详情。

package/editing-history/202607301959-unify-snapshot-entries.md

@@ -0,0 +1,7 @@
+# Unify snapshot entries and run modes
+
+- Replaced the split top-level `:configs` plus `:entries` model with a single `:entries` map. `:default` is now the required implicit entry and the project version lives at top-level `:version`.
+- Added entry-level `:mode` with the supported values `:native` and `:js`. A bare `cr <snapshot> [--entry name]` now follows the selected entry's mode; the explicit `js` subcommand remains available as an override.
+- Kept legacy snapshot loading compatible: old `:configs` is migrated in memory to `entries.default` with native mode, while canonical writes emit only the unified schema.
+- Updated config/query/diff/type-slot/module selection, embedded core serialization, repository snapshots, bundle/sync scripts, CLI help, RFCs, and user/Agent documentation.
+- Added coverage for new-format round trips, legacy migration, configured JS dispatch, and default-entry module extraction.

package/editing-history/202607310027-entry-description.md

@@ -0,0 +1,7 @@
+# Entry description snapshot metadata
+
+- `SnapshotEntry` now carries an optional `description` string for semantic context about an executable entry.
+- Existing snapshots without `:description` remain valid and deserialize to an empty string; canonical snapshot writes include the field.
+- Keep the build-script snapshot model synchronized with runtime `SnapshotEntry`, otherwise the embedded core MessagePack snapshot cannot be decoded.
+- `cr config set [--entry <name>] description "..."` updates the field, and `cr config show` displays it.
+- Program diffs expose description changes independently from runtime configuration and type-slot changes.

package/editing-history/202607310032-initialize-entry-descriptions.md

@@ -0,0 +1,6 @@
+# Initialize entry descriptions in repository snapshots
+
+- Installed the current `cr` 0.12.54 binary globally from this checkout.
+- Used `cr <snapshot> config set description ''` to canonicalize every complete `calcit/**/*.cirru` snapshot.
+- The migration updates 58 snapshots and 60 entry configurations, including named entries, with an explicit empty `:description` field.
+- Empty values preserve existing runtime behavior while providing a stable place for future semantic descriptions.

package/editing-history/202607310041-entry-functions-as-symbols.md

@@ -0,0 +1,7 @@
+# Store entry functions as Calcit symbols
+
+- `:init-fn` and `:reload-fn` describe namespace/definition references, so canonical snapshot output now writes them as Cirru EDN symbols such as `'app.main/main!`.
+- Snapshot readers continue to accept the prior string form (`|app.main/main!`) for compatibility.
+- The embedded core-snapshot build model accepts either representation when deserializing entry metadata.
+- Reinstalled `cr` globally and used it to rewrite all `calcit/**/*.cirru` snapshots; 120 entry function references now use symbols.
+- Updated snapshot documentation and round-trip coverage to make the canonical syntax explicit.

package/editing-history/202607310052-release-0.12.55.md

@@ -0,0 +1,5 @@
+# Release 0.12.55
+
+- Bumped the Rust crate and npm package versions together to `0.12.55`.
+- Refreshed the workspace lockfile before the release commit.
+- This release includes semantic snapshot entry descriptions and canonical symbol storage for entry functions, while preserving legacy string input compatibility.

package/editing-history/202607310224-strengthen-namespace-import-diagnostics.md

@@ -0,0 +1,23 @@
+# Strengthen namespace import diagnostics
+
+## Summary
+
+- Replaced namespace/import parser panics and silent fallbacks with contextual errors for malformed namespace forms, short rules, invalid rule kinds, and invalid node shapes.
+- Added one shared import-rule validator for program loading and `cr edit add-import` / `cr edit imports`, so invalid edits are rejected before the snapshot is saved.
+- Detect duplicate local bindings across rules and repeated `:refer` definitions within one rule instead of silently overwriting the earlier import.
+- Preserved legacy `(:ns namespace)` compatibility while validating supported `:require` structures.
+- Clarified that `call-graph --show-unused` reports definitions unreachable from the selected entry, not proven dead code or unused import declarations.
+- Kept unused-definition analysis independent from `--max-depth`, preventing display truncation from producing false dead-code reports.
+- Documented validation behavior, atomic edits, dead-code analysis limits, and the relevant CLI workflow.
+
+## Validation
+
+- `cargo fmt`
+- `cargo clippy -- -D warnings`
+- `cargo test`
+- `yarn compile`
+- `yarn check-all`
+- `yarn check-agent-interface` (12/12 scenarios)
+- `cr docs check-md docs/features/imports.md --entry calcit/test.cirru` (4/4 blocks)
+- Isolated CLI regressions confirming malformed and duplicate imports are rejected without changing the snapshot.
+- Compared `call-graph --show-unused` with unlimited depth and `--max-depth 1`; unused-definition results are identical.

package/editing-history/202607311940-strengthen-unsafe-coerce-boundaries.md

@@ -0,0 +1,20 @@
+# Strengthen unsafe-coerce boundaries
+
+## Summary
+
+- Kept `unsafe-coerce` visible in preprocessed expressions instead of mutating the source local's type globally, preserving a stable boundary node for later static evidence reporting.
+- Added type-directed shorthand construction for confirmed `defstruct` and `defenum` definitions while preventing record and enum tuple instances from being treated as constructors.
+- Validated shorthand struct fields for pair shape, membership, duplication, required-field coverage, and statically known value type mismatches.
+- Reused typed record and enum constructor nodes so native, JavaScript, and WASM backends receive their existing canonical forms.
+- Documented the boundary model, distinguishing trusted `unsafe-coerce` declarations from future runtime-validated evidence.
+- Added positive and negative preprocessing coverage for constructor rewrites, invalid variants, malformed fields, method syntax, and instance/prototype separation.
+
+## Validation
+
+- `cargo fmt`
+- `cargo clippy -- -D warnings`
+- `cargo test`
+- `yarn compile`
+- `yarn check-agent-interface` (12/12 scenarios)
+- `yarn check-all` (native, JavaScript, and WASM checks passed)
+- Current debug `cr --check-only` against `/Users/jon.chen/repo/respo/respo/calcit.cirru`

package/editing-history/202608010103-warn-on-duplicate-imports.md

@@ -0,0 +1,18 @@
+# Warn on duplicate imports
+
+- Changed duplicate namespace import bindings from validation errors to recoverable warnings on stderr.
+- Preserved the existing last-rule-wins behavior so duplicate aliases and repeated `:refer` entries do not stop program execution.
+- Kept malformed import structures, invalid rule kinds, and invalid node shapes as errors.
+- Updated CLI editing to save valid duplicate imports after displaying the warning.
+- Added tests for warnings and last-rule-wins resolution, plus an isolated CLI/runtime regression proving execution continues.
+- Updated import documentation to distinguish recoverable duplicate bindings from malformed rules.
+
+## Validation
+
+- `cargo fmt`
+- `cargo clippy -- -D warnings`
+- `cargo test`
+- `yarn compile`
+- `yarn check-all`
+- `yarn check-agent-interface` (12/12 scenarios)
+- `cr docs check-md docs/features/imports.md --entry calcit/test.cirru`

package/editing-history/202608010111-release-0.12.56.md

@@ -0,0 +1,15 @@
+# Release 0.12.56
+
+## Summary
+
+- Bump the Calcit Rust crate and npm package versions from `0.12.55` to `0.12.56`.
+- Refresh the workspace lockfile so package metadata remains consistent.
+
+## Validation
+
+- `cargo fmt --check`
+- `cargo clippy -- -D warnings`
+- `yarn compile`
+- `cargo test`
+- `yarn check-all`
+- `yarn check-agent-interface`

package/editing-history/202608011654-library-quality-gates.md

@@ -0,0 +1,23 @@
+# Library quality gates and format advisories
+
+## Summary
+
+- Add a dedicated Calcit library/module acceptance guide covering Snapshot canonicalization, entries, type slots, weak-type baselines, examples, Markdown checks, entry/backend validation, call-graph limits, consumer regression, and CI evidence.
+- Refresh the project upgrade guide for once-by-default execution, entry modes, unified `:entries`, per-entry type slots, canonical `:dynamic`, and current static-analysis commands.
+- Extend `cr edit format` with recoverable advisories for legacy `:configs`, the `compact.cirru` filename, legacy `:any`, and unresolved dynamic type debt.
+- Keep formatting non-blocking for quality debt and direct users to `check-types` / `weak-types` for semantic paths and recommendations.
+
+## Validation
+
+- `cargo fmt`
+- `cargo clippy -- -D warnings`
+- focused `cr` format advisory unit tests
+- `cargo test`
+- `yarn compile`
+- `yarn check-all`
+- `yarn check-agent-interface`
+- `cr docs graph check`
+- `cr docs check-md docs/run/library-quality.md`
+- `cr docs check-md docs/run/upgrade.md`
+- legacy config and filename formatting on temporary Snapshots
+- Respo consumer regression on a temporary Snapshot: format, config show, weak-types summary, and `--check-only`

package/lib/package.json

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

package/package.json

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