@calcit/procs 0.13.19 → 0.13.21

package/RFCs/README.md

@@ -1,6 +1,6 @@
 # RFC 整理索引
 
-更新时间：2026-08-14
+更新时间：2026-08-18
 
 ## 目录原则
 
@@ -44,6 +44,7 @@
 | `08-04-strict-cirru-edn-decoding-rfc.md`            | Implemented   | Phase 1：`parse-cirru-edn-as` 严格类型化反序列化、无 Dynamic 的 `EdnDecoderGraph`、名义身份与 Native/JS 一致性。    |
 | `08-05-systematic-nil-reduction-rfc.md`              | Partial       | 类型驱动减少 nil：先拆分可省略参数与 nullable 值，再迁移至 Option/Result 并逐步收紧 typed code。                  |
 | `08-08-cross-backend-host-ffi-contracts-rfc.md`      | Draft         | 统一 JS/native/WASM/WASI 的逻辑 FFI 契约与诊断，ABI transport 保持 backend-specific；首个完整 shape consumer 为 JS/DOM。 |
+| `08-18-calcit-typed-js-ffi-boundary-rfc.md`           | Draft         | 在现有 Struct/Enum/Fn/trait 上补齐 JS capability gate 与 target validation；FFI metadata 不进入普通 trait 匹配和泛型推断。 |
 
 ## 已执行的清理
 

package/build.rs

@@ -57,6 +57,10 @@ pub struct SnapshotEntry {
   pub modules: Vec<String>,
   #[serde(default, rename = "type-slots")]
   pub type_slots: HashMap<String, String>,
+  #[serde(default, rename = "feature-policy")]
+  pub feature_policy: HashMap<String, String>,
+  #[serde(default)]
+  pub target: Option<String>,
 }
 
 #[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
@@ -139,9 +143,27 @@ fn parse_snapshot_entry(data: Edn) -> Result<SnapshotEntry, String> {
     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}"))?,
+    feature_policy: match map.get_or_nil("feature-policy") {
+      Edn::Nil => HashMap::new(),
+      value => parse_feature_policy(value)?,
+    },
+    target: match map.get_or_nil("target") {
+      Edn::Nil => None,
+      value => Some(from_edn(value).map_err(|e| format!("entry `:target`: {e}"))?),
+    },
   })
 }
 
+fn parse_feature_policy(data: Edn) -> Result<HashMap<String, String>, String> {
+  let map = data.view_map().map_err(|e| format!("entry `:feature-policy` must be a map: {e}"))?;
+  let text = |value: &Edn| match value {
+    Edn::Tag(tag) => Ok(tag.ref_str().to_owned()),
+    Edn::Str(value) | Edn::Symbol(value) => Ok(value.to_string().trim_start_matches(':').to_owned()),
+    other => Err(format!("entry `:feature-policy` expects tag/string/symbol values, got {other:?}")),
+  };
+  map.0.iter().map(|(key, value)| Ok((text(key)?, text(value)?))).collect()
+}
+
 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());
@@ -576,6 +598,8 @@ fn main() {
         description: String::new(),
         modules: configs.modules.clone(),
         type_slots: configs.type_slots.clone(),
+        feature_policy: HashMap::new(),
+        target: None,
       },
     );
   }

package/editing-history/202608131340-agent-dependency-intent-audit.md

@@ -0,0 +1,21 @@
+# Make dependency-boundary audits discoverable to agents
+
+## Knowledge points
+
+- `:dependencies`, `:dev-dependencies`, configured entry modules, and statically reachable source paths
+  answer different questions. An installed module must not be classified as runtime-only from its presence
+  under `.calcit/modules/`.
+- Inspect root declaration intent in `deps.cirru`; use `caps tree` and `caps why <owner/repo>` to explain
+  the resolved recursive graph. The current display combines both root groups, so it cannot be the
+  authority for runtime versus development declaration intent.
+- Use `cr config modules [--entry <name>]` to inspect each selected entry's module configuration, then
+  run `cr --check-only` for default and every release/CI entry. Named entries do not inherit default
+  modules.
+- `docs check-md` defaults to modules from the default entry. Documentation-only dependencies require
+  appropriate explicit module paths through repeatable `--dep`; these checks, like entry preprocessing,
+  are static evidence and do not prove dynamic loading or external consumer use.
+
+## Validation
+
+- `cr docs check-md docs/run/load-deps.md --entry calcit/test.cirru --failures-only`
+- `cr docs check-md docs/CalcitAgent.md --entry calcit/test.cirru --failures-only`

package/editing-history/202608171230-update-release-dependencies.md

@@ -0,0 +1,4 @@
+# Update release dependencies
+
+- Refresh `md-5` and `wasm-encoder` to the requested current compatible releases.
+- Refresh the transitive `generic-array` lockfile entry where the resolver permits, then validate the compiler, code generators, and tests.

package/editing-history/202608171409-module-cache-review-followup.md

@@ -0,0 +1,5 @@
+# Module cache review follow-up
+
+- Added a shared inter-process metadata lock for cache revision metadata updates and cleanup scans, preventing concurrent `caps` processes from losing the highest observed SemVer reference.
+- Made project-view installation transactional across module links and `caps-state.cirru`; registration failures now restore the previous view and state before returning an error.
+- Added concurrency and rollback regression tests, and routed module documentation tests through project-root-aware resolver helpers so the production path is covered.

package/editing-history/202608171427-module-cache-review-followup-locking.md

@@ -0,0 +1,5 @@
+# Module cache locking follow-up
+
+- Replaced removable lock files with OS-managed `fs4` locks, so ownership is released when the handle or process exits on every supported platform.
+- Held the cache lock across revision installation and metadata publication, and added a project-scoped lock spanning module view activation, state replacement, registration, rollback, and cleanup.
+- Isolated the documentation fallback regression test against the actual `$HOME/.config/calcit/modules` layout without leaking the test environment.

package/editing-history/202608171438-module-docs-home-lock.md

@@ -0,0 +1,4 @@
+# 2026-08-17 14:38 — Serialize documentation HOME access
+
+- Shared the documentation test HOME mutex between `TestHome` and tests that read the guidebook through the process environment.
+- Guarded `collect_docs_for_query_uses_guidebook_without_module` so it cannot race with tests that temporarily replace `HOME`.

package/editing-history/202608171611-dependency-audit-review.md

@@ -0,0 +1,4 @@
+# Address dependency audit documentation review
+
+- Clarified that `docs check-md --entry` takes a snapshot filename, unlike named-entry selection in `config modules` and top-level `--check-only`.
+- Recorded Markdown validation for both changed dependency-audit documents.

package/editing-history/202608181000-release-0-13-20.md

@@ -0,0 +1,5 @@
+# Release 0.13.20
+
+- Publish the typed JavaScript FFI capability boundary and browser/Node target validation from PR #367.
+- Reorganize and expand the JavaScript FFI documentation, including adapter design, diagnostics, and release checks.
+- Keep Cargo and npm package versions synchronized at `0.13.20` for the direct PR-branch release.

package/editing-history/202608181930-release-0-13-21.md

@@ -0,0 +1,5 @@
+# Release 0.13.21
+
+- Publish the typed JavaScript FFI boundary and the related struct/enum type-resolution fixes merged from PR #367.
+- Improve migration diagnostics for projects moving their version field to `deps.cirru`.
+- Keep Cargo and npm package versions synchronized at `0.13.21`.

package/lib/package.json

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

package/package.json

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