@calcit/procs 0.13.26 → 0.13.28

package/editing-history/20260821-1648-type-quality-and-ffi-doc-hints.md

@@ -0,0 +1,12 @@
+# Type quality and JS FFI documentation hints
+
+- Added a direct `cr docs read library-quality.md --full` hint when the native
+  `analyze quality` gate fails, so baseline regressions lead to the accepted
+  CI workflow rather than project-local report scripts.
+- Added a direct `cr docs read js-interop.md --full` hint to strict JS FFI
+  capability, target, and read-only external-field diagnostics.
+- Added regression assertions that the strict FFI errors retain their stable
+  diagnostic code and expose the documentation command.
+
+Validation: targeted Rust tests for the affected diagnostics, full Rust tests,
+Markdown documentation checks, and `git diff --check`.

package/editing-history/202608211958-calcit-command-alias.md

@@ -0,0 +1,6 @@
+# Calcit command migration
+
+- Make `calcit` the only compiled primary CLI binary; do not keep a second Rust `cr` artifact.
+- Keep old GitHub Actions workflows compatible in `setup-calcit` by creating a lightweight `cr` link beside the installed `calcit` binary.
+- Move repository scripts, CI, user-facing diagnostics, and documentation to canonical `calcit` command examples.
+- Refresh the agent-interface weak-type schema assertion from v2 to v3 so the renamed CLI continues to exercise the current machine protocol.

package/editing-history/202608212018-cli-review-followups.md

@@ -0,0 +1,4 @@
+# CLI migration review follow-ups
+
+- Pass binary arguments after `cargo run --bin calcit --` in test and release workflows.
+- Make the `try-ir` script exercise IR emission rather than duplicating JavaScript code generation.

package/editing-history/ARCHIVE.md

@@ -13,10 +13,10 @@ navigation layer.
 
 ## 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.
+Release and release-policy notes are consolidated here. 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 |
 | --- | --- |
@@ -31,6 +31,23 @@ from Git history.
 | 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. |
+| 0.12.58 | Receiver-first method inference and nominal trait identity fixes. |
+| 0.12.59 | Top-level nominal value schema fix. |
+| 0.13.5 | Typed `js-get` / `js-set` field access plus named-type preservation. |
+| 0.13.6 | Opt-in raw-JS-FFI warning and readable low-cost JS emission. |
+| 0.13.7 | Definition-attached core tests and safer, less noisy `cr` edits. |
+| 0.13.8 | Typed Struct field access and robust branch-ref resolution. |
+| 0.13.9 | Routine aligned Cargo/npm release. |
+| 0.13.10 | Agent migration convergence and quoted-Cirru edit reliability. |
+| 0.13.11 | Trailing `Option` parameters, typed Option/Struct handling, and terminating JS string replacement. |
+| 0.13.12 | Type guidance/Dynamic audits and typed Struct constructors with omitted Option fields. |
+| 0.13.13 | Project module-store and dependency-boundary work. |
+| 0.13.15 | `decode-map-as` runtime decoder and core metadata. |
+| 0.13.17 | Nested Struct context, migration diagnostics, and agent guidance. |
+| 0.13.18 | Correct source locations for macro-generated field warnings. |
+| 0.13.19 | Project-scoped module resolution, immutable cache visibility, and safe cleanup. |
+| 0.13.20 | Typed JavaScript FFI capability boundary and browser/Node validation. |
+| 0.13.21 | Typed JavaScript FFI follow-ups and `deps.cirru` version migration diagnostics. |
 
 Also consolidated here: the 2026-08-01 ARCHIVE consolidation note, and the
 release main-branch policy note — `main` needs no pull-request protection for
@@ -40,3 +57,27 @@ before tagging, and npm verification uses the published package name
 
 For current behavior, prefer `docs/`, tests, and the retained current-window
 notes over this summary.
+
+## Consolidated development topics (Jul–Aug 2026)
+
+### Cursor and transactional structural editing (Jul 28–29)
+
+The CLI gained a project-local persistent cursor for safe, multi-command tree
+editing. It supports navigation/history, selection search, clipboard actions,
+focus previews, depth-first movement, symmetric slurp/barf operations, and
+duplication. `@cursor` may resolve a definition target and tree path, but
+two-target edits retain explicit destinations and transaction files remain
+self-contained. Snapshot and cursor-sidecar writes are staged and report
+partial success explicitly; a cursor is navigation state, never a concurrency
+primitive or source identity. The authoritative interface and examples are in
+`docs/run/edit-tree.md`, `docs/CalcitAgent.md`, and the cursor RFC.
+
+### Project module cache hardening (Aug 17)
+
+Runtime package-style module resolution is restricted to a project's
+`.calcit/modules/` view, while immutable revisions live in the global
+`module-caches/` store. Cache metadata preserves the highest observed SemVer
+reference; `caps clean` retains the newest revision and every revision still
+linked by a registered project. Cache and project-view updates are serialized
+with OS-managed locks and installation is transactional. Current operational
+details live in `docs/run/load-deps.md` and `docs/run/upgrade.md`.

package/editing-history/README.md

@@ -7,7 +7,9 @@ history after they leave this directory.
 ## Retention
 
 - Keep individual notes for the current development window (normally the most
-  recent 45 days).
+  recent 45 days), unless a completed topic has produced several overlapping
+  notes. Consolidate those clusters promptly; recency alone is not a reason to
+  retain duplicate implementation checkpoints.
 - Periodically replace older clusters with a concise topic summary in
   [ARCHIVE.md](ARCHIVE.md), then remove their individual files.
 - Each code commit still adds one timestamped note, but it should capture only

package/history/202608191628-revert-transparent-union-types.md

@@ -0,0 +1,5 @@
+# Revert transparent union types
+
+- Removed the experimental `deftype (or ...)` transparent-union implementation, including its `struct-match` narrowing, type matching, runtime validation, core macro, RFC, Snapshot coverage, and Rust regression tests.
+- Kept unrelated release-version and test-only visibility cleanup changes from follow-up commits.
+- The experiment showed that collection and recursive boundaries still lose useful member-type evidence, causing consumer code to require additional assertions instead of becoming simpler.

package/history/202608191741-release-01327.md

@@ -0,0 +1,4 @@
+# Release 0.13.27
+
+- Released the patch version after reverting the experimental transparent union type implementation.
+- The language returns to nominal Struct, Enum, and trait-based composition; future dynamic polymorphism should prefer explicit `dyn` trait boundaries.

package/history/202608212020-release-01328.md

@@ -0,0 +1,5 @@
+# Release 0.13.28
+
+- Publish `calcit` as the primary CLI asset.
+- Keep `caps` and `cr-wasm` release assets.
+- Let setup-calcit v1 supply the workflow-only CLI compatibility links.

package/lib/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@calcit/procs",
-    "version": "0.13.26",
+    "version": "0.13.28",
     "main": "./lib/calcit.procs.mjs",
     "devDependencies": {
         "@types/node": "^25.7.0",
@@ -10,24 +10,24 @@
         "compile": "rm -rf lib && tsc",
         "procs-link": "ln -sfn ../../ node_modules/@calcit/procs",
         "cp-mac": "cargo build --release && rm -rfv builds/* && node scripts/cp-version.js && scp builds/* rsync-user@calcit-lang.org:/web-assets/repo/calcit-lang/binaries/macos/",
-        "eval": "cargo run --bin cr -- eval",
+        "eval": "cargo run --bin calcit -- eval",
         "fmt-rs": "cargo fmt --all",
         "lint-rs": "cargo clippy --all-targets -- -D warnings",
         "test-rs": "cargo test -q",
-        "test-fail": "cargo test -q --bin cr type_fail_",
+        "test-fail": "cargo test -q --bin calcit type_fail_",
         "test-snippets": "cargo test -q snippets::tests",
         "check-js-runtime": "node scripts/check-js-runtime-identity.mjs",
-        "bench-recur-smoke": "cargo run --bin cr -- calcit/test.cirru js && node --input-type=module -e \"import { test_loop } from './js-out/test-recursion.main.mjs'; const n=3000; const t0=process.hrtime.bigint(); for(let i=0;i<n;i++) test_loop(); const dt=Number(process.hrtime.bigint()-t0)/1e6; console.log('test_loop_ms='+dt.toFixed(3));\"",
+        "bench-recur-smoke": "cargo run --bin calcit -- calcit/test.cirru js && node --input-type=module -e \"import { test_loop } from './js-out/test-recursion.main.mjs'; const n=3000; const t0=process.hrtime.bigint(); for(let i=0;i<n;i++) test_loop(); const dt=Number(process.hrtime.bigint()-t0)/1e6; console.log('test_loop_ms='+dt.toFixed(3));\"",
         "check-smooth": "yarn fmt-rs && yarn lint-rs && yarn test-rs && yarn check-all",
         "check-all": "yarn compile && yarn check-js-runtime && yarn check-agent-interface && yarn try-core-tests && yarn try-rs && yarn try-js && yarn try-ir && yarn try-wasm",
-        "check-agent-interface": "cargo build --bin cr && node scripts/check-agent-interface.mjs",
+        "check-agent-interface": "cargo build --bin calcit && node scripts/check-agent-interface.mjs",
         "try-all": "yarn check-all",
-        "try-core-tests": "cargo run --bin cr -- src/cirru/calcit-core.cirru test --tag unit --summary-only",
-        "try-rs": "cargo run --bin cr -- calcit/test.cirru",
-        "warn-dyn-method": "cargo run --bin cr -- calcit/test.cirru --warn-dyn-method",
-        "try-js-brk": "cargo run --bin cr -- calcit/test.cirru js && node --inspect-brk js-out/main.mjs",
-        "try-js": "cargo run --bin cr -- calcit/test.cirru js && node js-out/main.mjs",
-        "try-ir": "cargo run --bin cr -- calcit/test.cirru js",
+        "try-core-tests": "cargo run --bin calcit -- src/cirru/calcit-core.cirru test --tag unit --summary-only",
+        "try-rs": "cargo run --bin calcit -- calcit/test.cirru",
+        "warn-dyn-method": "cargo run --bin calcit -- calcit/test.cirru --warn-dyn-method",
+        "try-js-brk": "cargo run --bin calcit -- calcit/test.cirru js && node --inspect-brk js-out/main.mjs",
+        "try-js": "cargo run --bin calcit -- calcit/test.cirru js && node js-out/main.mjs",
+        "try-ir": "cargo run --bin calcit -- calcit/test.cirru ir",
         "try-wasm": "bash scripts/test-wasm.sh"
     },
     "repository": {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@calcit/procs",
-  "version": "0.13.26",
+  "version": "0.13.28",
   "main": "./lib/calcit.procs.mjs",
   "devDependencies": {
     "@types/node": "^25.7.0",
@@ -10,24 +10,24 @@
     "compile": "rm -rf lib && tsc",
     "procs-link": "ln -sfn ../../ node_modules/@calcit/procs",
     "cp-mac": "cargo build --release && rm -rfv builds/* && node scripts/cp-version.js && scp builds/* rsync-user@calcit-lang.org:/web-assets/repo/calcit-lang/binaries/macos/",
-    "eval": "cargo run --bin cr -- eval",
+    "eval": "cargo run --bin calcit -- eval",
     "fmt-rs": "cargo fmt --all",
     "lint-rs": "cargo clippy --all-targets -- -D warnings",
     "test-rs": "cargo test -q",
-    "test-fail": "cargo test -q --bin cr type_fail_",
+    "test-fail": "cargo test -q --bin calcit type_fail_",
     "test-snippets": "cargo test -q snippets::tests",
     "check-js-runtime": "node scripts/check-js-runtime-identity.mjs",
-    "bench-recur-smoke": "cargo run --bin cr -- calcit/test.cirru js && node --input-type=module -e \"import { test_loop } from './js-out/test-recursion.main.mjs'; const n=3000; const t0=process.hrtime.bigint(); for(let i=0;i<n;i++) test_loop(); const dt=Number(process.hrtime.bigint()-t0)/1e6; console.log('test_loop_ms='+dt.toFixed(3));\"",
+    "bench-recur-smoke": "cargo run --bin calcit -- calcit/test.cirru js && node --input-type=module -e \"import { test_loop } from './js-out/test-recursion.main.mjs'; const n=3000; const t0=process.hrtime.bigint(); for(let i=0;i<n;i++) test_loop(); const dt=Number(process.hrtime.bigint()-t0)/1e6; console.log('test_loop_ms='+dt.toFixed(3));\"",
     "check-smooth": "yarn fmt-rs && yarn lint-rs && yarn test-rs && yarn check-all",
     "check-all": "yarn compile && yarn check-js-runtime && yarn check-agent-interface && yarn try-core-tests && yarn try-rs && yarn try-js && yarn try-ir && yarn try-wasm",
-    "check-agent-interface": "cargo build --bin cr && node scripts/check-agent-interface.mjs",
+    "check-agent-interface": "cargo build --bin calcit && node scripts/check-agent-interface.mjs",
     "try-all": "yarn check-all",
-    "try-core-tests": "cargo run --bin cr -- src/cirru/calcit-core.cirru test --tag unit --summary-only",
-    "try-rs": "cargo run --bin cr -- calcit/test.cirru",
-    "warn-dyn-method": "cargo run --bin cr -- calcit/test.cirru --warn-dyn-method",
-    "try-js-brk": "cargo run --bin cr -- calcit/test.cirru js && node --inspect-brk js-out/main.mjs",
-    "try-js": "cargo run --bin cr -- calcit/test.cirru js && node js-out/main.mjs",
-    "try-ir": "cargo run --bin cr -- calcit/test.cirru js",
+    "try-core-tests": "cargo run --bin calcit -- src/cirru/calcit-core.cirru test --tag unit --summary-only",
+    "try-rs": "cargo run --bin calcit -- calcit/test.cirru",
+    "warn-dyn-method": "cargo run --bin calcit -- calcit/test.cirru --warn-dyn-method",
+    "try-js-brk": "cargo run --bin calcit -- calcit/test.cirru js && node --inspect-brk js-out/main.mjs",
+    "try-js": "cargo run --bin calcit -- calcit/test.cirru js && node js-out/main.mjs",
+    "try-ir": "cargo run --bin calcit -- calcit/test.cirru ir",
     "try-wasm": "bash scripts/test-wasm.sh"
   },
   "repository": {

package/profiling/README.md

@@ -56,13 +56,13 @@ profiling/samply-once.sh calcit/fibo.cirru --release --top 20 --include 'calcit:
 ### 仅汇总已有 `.samply`
 
 ```bash
-python3 profiling/samply-summary.py --input .tmp-profiles/fibo-debug-xxxx.samply --binary target/debug/cr --top 30
+python3 profiling/samply-summary.py --input .tmp-profiles/fibo-debug-xxxx.samply --binary target/debug/calcit --top 30
 ```
 
 release 对应：
 
 ```bash
-python3 profiling/samply-summary.py --input .tmp-profiles/fibo-release-xxxx.samply --binary target/release/cr --top 30
+python3 profiling/samply-summary.py --input .tmp-profiles/fibo-release-xxxx.samply --binary target/release/calcit --top 30
 ```
 
 常用参数：
@@ -80,5 +80,5 @@ python3 profiling/samply-summary.py --input .tmp-profiles/fibo-release-xxxx.samp
 
 ## 说明
 
-- `samply-once.sh` 会先 `cargo build`，再直接对 `target/debug/cr` 或 `target/release/cr` 录制，避免把 `rustc` 编译过程混入热点。
+- `samply-once.sh` 会先 `cargo build`，再直接对 `target/debug/calcit` 或 `target/release/calcit` 录制，避免把 `rustc` 编译过程混入热点。
 - 临时产物位于 `.tmp-profiles/`，可按需清理。

package/profiling/profile-once.sh

@@ -34,7 +34,7 @@ xctrace record \
   --template "Time Profiler" \
   --output "$trace_path" \
   --launch -- \
-  cargo run --release --bin cr -- "$entry"
+  cargo run --release --bin calcit -- "$entry"
 
 echo
 echo "Summarizing hotspots..."

package/profiling/samply-once.sh

@@ -37,11 +37,11 @@ stamp="$(date +%Y%m%d-%H%M%S)"
 samply_path=".tmp-profiles/${entry_name}-${mode}-${stamp}.samply"
 
 if [[ "$mode" == "release" ]]; then
-  build_args=(build --release --bin cr)
-  binary="target/release/cr"
+  build_args=(build --release --bin calcit)
+  binary="target/release/calcit"
 else
-  build_args=(build --bin cr)
-  binary="target/debug/cr"
+  build_args=(build --bin calcit)
+  binary="target/debug/calcit"
 fi
 
 echo "Building binary: $binary"

package/profiling/samply-summary.py

@@ -34,7 +34,7 @@ def parse_args() -> argparse.Namespace:
   parser.add_argument(
     "--binary",
     type=Path,
-    help="Mach-O binary for atos symbolization fallback (e.g. target/debug/cr)",
+    help="Mach-O binary for atos symbolization fallback (e.g. target/debug/calcit)",
   )
   parser.add_argument(
     "--image-base",