@calcit/procs 0.13.4 → 0.13.5

package/editing-history/202608082207-typed-js-field-access.md

@@ -0,0 +1,15 @@
+# Typed `js-get` and `js-set` fields
+
+- Added external-object-aware inference for static `js-get` field reads.
+- Added declared field validation for static `js-set` writes, including unknown-field and value-type diagnostics.
+- Lowered typed static reads and writes through dedicated AST method kinds so JavaScript codegen applies external trait `:names` overrides and default kebab-to-camel mapping.
+- Kept dynamic keys and `aget`/`aset` as explicit raw JavaScript escape hatches.
+- Migrated representative Respo DOM field writes and methods to the typed external-object path and verified add/remove behavior in a controlled browser.
+
+Validation:
+
+- `cargo test -q`
+- `cargo clippy --lib --bin cr -- -D warnings`
+- `yarn compile`
+- `cr docs check-md docs/features/js-interop.md --entry calcit/test.cirru`
+- Respo: `cr js`, `yarn test`, controlled Chrome add/remove regression

package/editing-history/202608082312-release-0.13.5.md

@@ -0,0 +1,10 @@
+# Release 0.13.5
+
+- Bumped the Calcit package versions in `Cargo.toml`, `package.json`, and
+  `Cargo.lock` from 0.13.4 to 0.13.5.
+- Releases typed static `js-get`/`js-set` field access with external-object
+  traits (PR #316) and the `unsafe-coerce` named-type preservation fix.
+- Consolidated redundant non-functional editing-history notes (release and
+  release-policy entries) into `ARCHIVE.md`.
+- Verified with formatting, tests, clippy, compilation, full checks, agent
+  interface smoke checks, and Markdown example checks.

package/editing-history/ARCHIVE.md

@@ -11,5 +11,32 @@ navigation layer.
 | Apr 2026 | Records/enums, type narrowing and generic dispatch; the WASM runtime gained collections, strings, methods, host imports, and multi-module tests. |
 | May–Jun 2026 | Weak-type analysis, data-definition bounds, markdown checking, compiled-runtime backfill, scoped type slots, effects graph, and Agent/CLI documentation. |
 
-For current behavior, prefer `docs/`, tests, and the retained July–August notes
-over this summary.
+## Release history (Jul–Aug 2026)
+
+Non-functional version-bump notes were consolidated here on 2026-08-08. Each
+release synchronizes `Cargo.toml` / `package.json` and refreshes the workspace
+lockfile with `cargo update --workspace`; the full note text remains recoverable
+from Git history.
+
+| Version | Durable context |
+| --- | --- |
+| 0.12.52 | Routine version bump with lockfile refresh. |
+| 0.12.53 | Routine version bump. |
+| 0.12.54 | Entry-level `:type-slots` configuration, CLI management, compile-time `with-type-slot` erasure, snapshot/config preservation. |
+| 0.12.55 | Semantic snapshot entry descriptions and canonical symbol storage for entry functions. |
+| 0.12.56 | Routine version bump after snapshot/entry work. |
+| 0.12.57 | CLI mutation, atomic staging, test deduplication (PR #284) plus Windows staged-file synchronization fixes. |
+| 0.13.0 | Concentrated breaking-change baseline for the Option/Result/Unit/JsNullish public contracts. |
+| 0.13.1 | Fixed recursive expansion of self-referential nominal struct type annotations. |
+| 0.13.2 | Struct/enum data model cleanup (PR #301), direct required Struct field access, symbol-based nominal formatting. |
+| 0.13.3 | Struct/Enum terminology migration, deprecated API analysis, cross-backend canonical EDN formatting. |
+| 0.13.4 | Typed host FFI (external-object traits) merged and released. |
+
+Also consolidated here: the 2026-08-01 ARCHIVE consolidation note, and the
+release main-branch policy note — `main` needs no pull-request protection for
+verified changes, the stable version commit runs a fresh main-branch CI run
+before tagging, and npm verification uses the published package name
+`@calcit/procs`.
+
+For current behavior, prefer `docs/`, tests, and the retained current-window
+notes over this summary.

package/lib/package.json

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

package/package.json

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

package/editing-history/2026-07-26-1244-release-0.12.52.md

@@ -1,12 +0,0 @@
-# 2026-07-26 12:44 Release 0.12.52
-
-## 修改概要
-
-- 将 Rust crate 和 npm package 版本同步升级到 `0.12.52`。
-- 执行 `cargo update --workspace` 更新锁文件元数据。
-
-## 发布前验证
-
-- `yarn compile`
-- `cargo test -q --bin cr`
-- `yarn try-js`

package/editing-history/20260728-1501-release-0.12.53.md

@@ -1,6 +0,0 @@
-# 2026-07-28 发布 0.12.53
-
-## 修改概要
-
-- 同步 `Cargo.toml` 和 `package.json` 版本号到 `0.12.53`。
-- 执行 `cargo update --workspace` 更新 `Cargo.lock`。

package/editing-history/202607301435-release-0.12.54.md

@@ -1,22 +0,0 @@
-# Release 0.12.54
-
-Date: 2026-07-30 14:35 +0800
-
-## Release scope
-
-- Entry-level `:type-slots` configuration and CLI management commands.
-- Compile-time-only `with-type-slot` erasure for single and multiple bodies.
-- Snapshot/config preservation, type-slot diagnostics, regression fixtures, and documentation.
-- The earlier PR 281 review fixes already carried by the same branch.
-
-## Pre-release evidence
-
-- Feature commit `5e180a2e` passed the repository Test workflow on PR #282.
-- Local validation passed `cargo fmt`, Clippy with warnings denied, all Rust tests, TypeScript compilation, Agent interface checks, and the full Rust/JS/WASM integration suite.
-- Respo passed check-only, JS codegen, Node tests, and all Markdown checks with the new CLI.
-
-## Version changes
-
-- `Cargo.toml`: `0.12.54`
-- `package.json`: `0.12.54`
-- `Cargo.lock`: refreshed with `cargo update --workspace`

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

@@ -1,5 +0,0 @@
-# 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/202608010111-release-0.12.56.md

@@ -1,15 +0,0 @@
-# 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/202608011908-consolidate-history.md

@@ -1,6 +0,0 @@
-# Consolidate historical editing notes
-
-- Replaced 142 individual notes from June 2026 and earlier with a compact topic index.
-- Retained all July–August notes for active maintenance context.
-- The removed notes remain recoverable through Git history; `editing-history/README.md` documents the retention rule.
-- Verification: reviewed the tracked path set and checked the resulting Git diff.

package/editing-history/202608012320-release-0.12.57.md

@@ -1,5 +0,0 @@
-# Release 0.12.57
-
-- Release the merged CLI mutation, atomic staging, and test deduplication work from PR #284.
-- Include the follow-up fixes for Windows staged-file synchronization, symlink destinations, query cloning, and cursor feedback.
-- Synchronize the Rust crate and npm package versions, then refresh the workspace lockfile before publishing.

package/editing-history/202608012344-release-main-policy.md

@@ -1,5 +0,0 @@
-# Release main-branch policy
-
-- Main no longer requires pull-request protection for verified changes.
-- The release flow now requires the stable version commit to be on `main`, followed by a fresh main-branch CI run before tagging and creating the release.
-- Corrected the npm verification command to use the published package name, `@calcit/procs`.

package/editing-history/202608060220-release-0.13.0.md

@@ -1,5 +0,0 @@
-# 发布 0.13.0
-
-- 将 Cargo crate 与 npm package 的版本同步升级到 0.13.0。
-- 该 minor 版本承载 Option、Result、Unit 与 JsNullish 公共契约的集中 breaking change，作为后续 nil 安全 API 的稳定基线。
-- 发布前后继续通过 Calcit 全量验证与 Respo 真实页面回归，避免将未被类型系统发现的 JS FFI 兼容问题带入后续版本。

package/editing-history/202608061340-release-0.13.1.md

@@ -1,6 +0,0 @@
-# 发布 0.13.1
-
-- 将 Cargo crate 与 npm package 的版本同步升级到 0.13.1。
-- 本 patch 修复自递归 nominal struct 的类型注解解析，避免 Optional 自引用在定义时递归展开。
-- record、struct 与 enum 的展示名称统一为 symbol；JS DevTools formatter 同步展示 nominal 定义与 enum payload。
-- 发布前通过 Rust、TypeScript 与全量集成验证。

package/editing-history/202608061731-release-0.13.2.md

@@ -1,18 +0,0 @@
-# Release 0.13.2
-
-## Scope
-
-- Release the struct / enum data model cleanup merged by PR #301.
-- Publish direct required Struct field access and migration diagnostics for removed record / tuple APIs.
-- Publish symbol-based nominal formatting and matching TypeScript runtime modules.
-
-## Version synchronization
-
-- `Cargo.toml`: `0.13.2`
-- `package.json`: `0.13.2`
-- `Cargo.lock`: refreshed with `cargo update --workspace`
-
-## Release gates
-
-- The feature PR passed Test and all CodeQL jobs before merge.
-- The release commit must pass the same GitHub Actions checks before tag `0.13.2` is created.

package/editing-history/20260808-1020-release-0.13.3.md

@@ -1,7 +0,0 @@
-# Release 0.13.3
-
-在合并 Struct/Enum terminology migration、deprecated API analysis 与跨后端
-canonical EDN formatting 修复后，将 Rust crate 与 npm package 版本从 `0.13.2`
-同步升级至 `0.13.3`。
-
-验证：`cargo update --workspace`、`cargo test`、`yarn compile`。

package/editing-history/20260808-1817-release-0.13.4.md

@@ -1,4 +0,0 @@
-# Release 0.13.4
-
-- Bumped the Calcit package versions in `Cargo.toml`, `package.json`, and `Cargo.lock` from 0.13.3 to 0.13.4 after merging the typed host FFI work.
-- Verified the release with formatting, tests, clippy, compilation, full checks, and the agent interface smoke checks.