@calcit/procs 0.13.56 → 0.13.57

package/build.rs

@@ -5,7 +5,6 @@ use std::collections::HashMap;
 use std::env;
 use std::fs;
 use std::path::Path;
-use std::process::Command;
 
 #[derive(Debug, Clone, Copy, Default, PartialEq, Eq, Serialize, Deserialize)]
 #[serde(rename_all = "lowercase")]
@@ -545,39 +544,8 @@ fn parse_files(edn: Edn) -> Result<HashMap<String, FileInSnapShot>, String> {
   }
 }
 
-fn rustc_verbose_field<'a>(output: &'a str, name: &str) -> &'a str {
-  output
-    .lines()
-    .find_map(|line| line.strip_prefix(name).map(str::trim))
-    .unwrap_or_else(|| panic!("`rustc --version --verbose` did not report `{name}`"))
-}
-
-fn ffi_build_id() -> String {
-  let rustc = env::var("RUSTC").unwrap_or_else(|_| "rustc".to_owned());
-  let output = Command::new(&rustc)
-    .args(["--version", "--verbose"])
-    .output()
-    .unwrap_or_else(|error| panic!("failed to run `{rustc} --version --verbose`: {error}"));
-  if !output.status.success() {
-    panic!("`{rustc} --version --verbose` failed with {}", output.status);
-  }
-  let verbose = String::from_utf8(output.stdout).expect("rustc verbose version must be UTF-8");
-  let release = rustc_verbose_field(&verbose, "release:");
-  let commit = rustc_verbose_field(&verbose, "commit-hash:");
-  let target = env::var("TARGET").expect("Cargo must provide TARGET to build scripts");
-  let debug_assertions = env::var_os("CARGO_CFG_DEBUG_ASSERTIONS").is_some();
-  let panic_strategy = env::var("CARGO_CFG_PANIC").expect("Cargo must provide CARGO_CFG_PANIC to build scripts");
-
-  format!("rustc={release}:{commit};target={target};debug-assertions={debug_assertions};panic={panic_strategy}")
-}
-
 fn main() {
   println!("cargo:rerun-if-changed=src/cirru/calcit-core.cirru");
-  println!("cargo:rerun-if-env-changed=RUSTC");
-  println!("cargo:rerun-if-env-changed=TARGET");
-  println!("cargo:rerun-if-env-changed=CARGO_CFG_DEBUG_ASSERTIONS");
-  println!("cargo:rerun-if-env-changed=CARGO_CFG_PANIC");
-  println!("cargo:rustc-env=CALCIT_FFI_BUILD_ID={}", ffi_build_id());
 
   let target = env::var("TARGET").expect("Cargo must provide TARGET to build scripts");
   if target.ends_with("apple-darwin") {

package/editing-history/202608280637-remove-rust-ffi-fallback.md

@@ -0,0 +1,21 @@
+# Remove Rust FFI fallback / 删除 Rust FFI fallback
+
+## 中文
+
+- sync、callback、blocking 调用缺少 C-safe version/method/free symbol 时直接返回包含期望符号的迁移错误，不再查找或调用 Rust `Vec<Edn>`/trait-object function pointer。
+- 删除 `EdnFfi`、`EdnFfiFn`、release-host legacy warning、build identity validation，以及 `abi_version`/`edn_version` probes。
+- 删除 `--ffi-build-id` 与 build.rs 中 rustc/target/debug/panic identity 生成，C-safe wire protocol 不再绑定 host 与 dylib 的 Rust toolchain。
+- native capability verifier 改为验证 buffer/async/resource protocol versions 和配套 free/release symbols；realization key/receipt 记录 protocol versions，并继续校验 artifact size/hash。
+- 更新 FFI bindings、async protocol、upgrade guide 与 quick reference，明确 C-safe v1 是唯一支持边界。
+- 明确 version、method、free 和 release 符号按模块实际能力要求；只实现异步 callback 的模块不导出 buffer protocol。
+- 真实验证：当前 debug Calcit host 加载 release calcit-paint dylib 的 macOS blocking GUI smoke 通过，paint 也通过 verifier；只导出 legacy symbol 的 C fixture 在 caps 和 sync/async/blocking runtime 都确定性拒绝，且不会进入 Rust symbol。
+
+## English
+
+- Sync, callback, and blocking calls now return migration errors naming the expected C-safe version/method/free symbols; they no longer look up or invoke Rust `Vec<Edn>`/trait-object function pointers.
+- Removed `EdnFfi`, `EdnFfiFn`, release-host legacy warnings, build-identity validation, and `abi_version`/`edn_version` probes.
+- Removed `--ffi-build-id` and build.rs rustc/target/debug/panic identity generation; the C-safe wire protocol no longer couples host and dylib Rust toolchains.
+- Native capability verification now checks buffer/async/resource protocol versions and matching free/release symbols. Realization keys/receipts record protocol versions while retaining artifact size/hash integrity checks.
+- Updated FFI bindings, async protocol, upgrade guide, and quick reference to make C-safe v1 the only supported boundary.
+- Clarified that required version, method, free, and release symbols are capability-specific; async-only modules do not export the buffer protocol.
+- Real validation: the current debug Calcit host passes a macOS blocking GUI smoke against the release calcit-paint dylib, which also passes verification; a C fixture exporting only a legacy symbol is deterministically rejected by caps and sync/async/blocking runtime paths without entering that Rust symbol.

package/editing-history/202608280655-release-0.13.57.md

@@ -0,0 +1,15 @@
+# Release 0.13.57 / 发布 0.13.57
+
+## 中文
+
+- 发布 C-safe FFI 迁移的最终阶段：删除 sync、async callback 和 blocking 调用的 Rust ABI fallback。
+- 缺失 C-safe protocol version、method、free 或 release symbol 时返回确定性迁移错误。
+- native capability verifier 和 realization receipt 直接校验 buffer、async 与 resource protocol versions。
+- 更新 FFI 文档，按模块能力区分必需导出符号。
+
+## English
+
+- Release the final C-safe FFI migration phase by removing Rust ABI fallback from sync, async callback, and blocking calls.
+- Return deterministic migration errors for missing C-safe protocol-version, method, free, or release symbols.
+- Make native capability verification and realization receipts validate buffer, async, and resource protocol versions directly.
+- Update FFI documentation to distinguish required exports by module capability.

package/lib/package.json

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

package/package.json

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