@calcit/procs 0.13.40 → 0.13.42

package/RFCs/08-05-systematic-nil-reduction-rfc.md

@@ -7,7 +7,7 @@
 
 在不掩盖现有运行时行为的前提下，让类型系统逐步阻止业务代码依赖 `nil`：
 
-- 无业务返回值使用 `Unit`（运行时暂仍由 `nil` 承载）；
+- 无业务返回值使用 `Unit`，新代码以独立的 `&unit` 值表示；
 - 正常的“可能缺失”最终使用名义类型 `Option<T>`；
 - 可恢复失败使用 `Result<T, E>`；
 - JavaScript `null`/`undefined` 只通过 `JsNullish<T>` 进入类型系统；
@@ -64,7 +64,7 @@
 
 ### Unit
 
-`Unit` 只用于副作用操作或明确没有有意义返回值的表达式，例如写文件、注册 watcher。运行时目前仍由 `nil` 承载 Unit，但源码不应因此显式返回 `nil` 或 `;nil`：空函数体直接声明 `Unit`，有副作用的函数让最后一个 Unit effect 自然成为返回项。只有语法必须提供占位节点时才保留 `;nil`，业务代码不得把它当缺失值容器。
+`Unit` 只用于副作用操作或明确没有有意义返回值的表达式，例如写文件、注册 watcher。新代码显式返回 `&unit`；它与 `nil` 不相等、不会通过 `nil?`，JavaScript 后端生成 `void 0`（而 `nil` 仍生成 `null`）。为了兼容既有代码，标注为 `Unit` 的位置仍可接受旧的 `nil`，而 `;nil` 也保留为旧的兼容宏；新业务代码不得把两者当 Unit 标记或缺失值容器。
 
 ### Optional<T>（遗留内部表示）
 

package/RFCs/08-18-calcit-typed-js-ffi-boundary-rfc.md

@@ -237,7 +237,7 @@ defstruct NodeProbe
 ```
 
 当前 probe 使用 `Map<Tag, Dynamic>`，应迁移成命名 Struct。Storage mutation、console、
-timer registration 等只有副作用的 wrapper 应显式以 `nil` 收尾并声明返回 `Unit`，不因
+timer registration 等只有副作用的 wrapper 应显式以 `&unit` 收尾并声明返回 `Unit`，不因
 JavaScript 返回 `undefined` 就暴露 `Dynamic`。
 
 ## 类型表达案例目录

package/editing-history/202608241218-explicit-unit-literal.md

@@ -0,0 +1,14 @@
+# Explicit Unit literal
+
+- Added `&unit` as a distinct runtime `Calcit::Unit` value. It is intentionally
+  not a bare `unit` identifier, so existing programs can continue to bind a
+  local named `unit`.
+- `&unit` has its own equality, hashing, display, parser/data conversion and
+  `type-of` result. JavaScript emits `void 0`, whereas legacy `nil` continues
+  to emit `null`.
+- Unit schemas accept both `&unit` and legacy `nil` to preserve existing source
+  compatibility. JSON refuses to encode `&unit` so it cannot silently become
+  a nullable application value.
+- Updated JS, IR and WASM code generation plus data-shape validation and
+  documentation. The parser/codegen tests cover the literal and the backend
+  suite passes.

package/editing-history/202608241240-release-01341.md

@@ -0,0 +1,5 @@
+# Release 0.13.41
+
+- Published the explicit `&unit` literal added in PR #402.
+- Kept the Cargo crate and `@calcit/procs` package versions aligned so projects
+  can compile and run code that returns the distinct Unit value.

package/editing-history/202608241335-skip-transitive-self-modules.md

@@ -0,0 +1,10 @@
+# Skip transitive copies of the project package
+
+- A project's direct dependency can reintroduce that same package through a
+  transitive dependency. Current namespace collision checks then rejected the
+  project source during normal compile and static-analysis commands.
+- Added a project-level merge path that drops only namespaces belonging to the
+  root package before applying the existing strict module merge. Direct module
+  conflict checks remain unchanged.
+- Added a regression test and verified the real respo-markdown project against
+  the current Respo dependency graph.

package/editing-history/202608241345-release-01342.md

@@ -0,0 +1,6 @@
+# Release 0.13.42
+
+- Publish the project-module merge fix from PR #404.
+- This permits a library to validate itself when a direct dependency includes
+  the same package transitively, while preserving strict cross-package module
+  conflicts.

package/lib/package.json

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

package/package.json

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