@calcit/procs 0.13.27 → 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/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.27",
+    "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.27",
+  "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",

package/editing-history/2026-07-28-1346-edit-transaction.md

@@ -1,27 +0,0 @@
-# `cr edit transaction` 第一版
-
-## 概要
-
-- 在既有 `cr edit` 命令组中增加 `transaction`，输入复用现有 `edit`、`tree`、`config` 参数序列。
-- 以 Cirru EDN argument lists 为主输入，并允许在 `--code` 后直接嵌入 quoted AST；JSON 作为兼容格式保留。支持 `--dry-run`、`--expect-revision` 和 human/JSON 输出。
-- 所有 operation 只修改同目录 staged snapshot；全部成功、snapshot 可重新加载/序列化且原文件 revision 未变化后，才通过 rename 一次提交。
-- staged 文件保留原 snapshot 权限；失败、stale revision 与 dry-run 都由 guard 清理，不修改原文件。
-- transaction 会捕获每个子命令的 stdout/stderr，保证成功时 JSON stdout 仍是单个可解析值。
-
-## 关键取舍
-
-- 没有立即把全部 handler 重构成新的内存 mutation API，因为这会同时改变大量稳定的 `edit/tree/config` 路径。
-- 第一版通过 staged snapshot 调用当前 `cr` 子命令，直接复用参数解析、namespace 边界、tree path、schema 和保存校验。
-- transaction 仅允许 `edit`、`tree`、`config`，拒绝嵌套 transaction 和只读/执行类命令。
-- snapshot revision 当前是原文件内容的 MD5 opaque ID；执行前和最终 rename 前都会检查，避免 stale write。
-
-## 验证
-
-- 新增 JSON/Cirru 解析、Cirru EDN 内嵌 quoted code、非法 command、nested transaction、stale revision、dry-run、operation failure rollback、成功提交测试。
-- 真实临时 snapshot 验证了 `config version`、`edit doc` 与 `tree replace` 的组合提交及失败回滚。
-- `cargo fmt --all`
-- `cargo clippy -- -D warnings`
-- `cargo test`
-- `yarn compile`
-- `yarn check-agent-interface`（新增 staged transaction 场景，12/12）
-- `yarn check-all`

package/editing-history/2026-07-28-1454-persistent-tree-cursor.md

@@ -1,30 +0,0 @@
-# 可持续迁移的 tree cursor
-
-## 概要
-
-- 新增 `07-28-persistent-tree-cursor-rfc.md`，将 cursor 定义为 CLI 跨调用维护的树形选择状态，而不是 snapshot 中的源码身份。
-- 新增 `cr cursor set/show/clear/parent/child/next/prev`，状态以 Cirru EDN 保存到 snapshot 同目录的 `.calcit-cursor.cirru`。
-- path-based tree 命令可通过 `--path @cursor` 引用 active cursor，显式 definition target 必须匹配。
-- `cursor show` 在展示副本中用 `CURSOR` 包裹目标；JSON 输出仍返回真实 subtree 与独立 cursor 元数据。
-- 直接 tree mutation 成功后会刷新 cursor fingerprint、preview 与 definition revision，并对插入、删除、swap、unwrap、raise、wrap、replace 等操作执行确定性 path 迁移。
-
-## 安全边界
-
-- cursor 文件是本地状态，已加入 `.gitignore`，不会写进 snapshot 或模块内容。
-- 外部修改导致 path fingerprint 不匹配时，只允许通过唯一 fingerprint 命中自动重定位；零命中或多命中拒绝猜测。
-- snapshot 已保存但 cursor 写入失败时，错误会明确说明源码 mutation 已成功，避免误认为整体回滚。
-- transaction staged 子命令暂时禁用真实 cursor 写入；transaction 内 cursor 演化留到下一阶段实现。
-
-## 验证
-
-- cursor path transform 单元测试覆盖前方插入、前方删除、删除目标、swap 与 unwrap。
-- Cursor Cirru EDN 文件 round-trip 测试。
-- 临时 snapshot 集成测试覆盖源码插入后持久化 cursor 从 `@48.1` 迁移到 `@48.2`，且 preview 仍为原来的 `true` 节点。
-- 手工 CLI smoke 覆盖 `cursor set/show --format json`、`tree show --path @cursor` 和 `tree insert-before --path @cursor`。
-- `cargo fmt --all`
-- `cargo clippy -- -D warnings`
-- `cargo test`（256 lib + 147 cr）
-- `yarn compile`
-- `yarn check-agent-interface`（12/12）
-- `yarn check-all`
-- `cr docs check-md` 验证 `docs/run/edit-tree.md` 与 `docs/CalcitAgent.md`

package/editing-history/2026-07-28-1651-cursor-focus-stack-clipboard.md

@@ -1,30 +0,0 @@
-# Cursor focus、导航栈与结构化 clipboard
-
-## 概要
-
-- `cursor show` 基于 Cirru Parser 0.2.15 `focus_cirru_preview_with_options` 展示 definition 上下文，由 parser 直接保留 definition 签名并生成展示态 `CURSOR`。
-- 精确锁定 `cirru_parser = 0.2.15`。原因是 `cargo install --path` 不保证沿用仓库 lockfile；若只使用兼容版本范围，本地测试与全局安装可能获得不同的 focus marker 语义。
-- `.calcit-cursor.cirru` 升级到 schema v2，继续兼容读取 v1；新增普通导航 history、显式 `push/pop` stack 与保存 Cirru tree 的 clipboard。
-- 新增 `cursor back/push/pop/copy/cut/paste/clipboard/clear-clipboard`。cut 后选择 parent，paste 后选择新节点，clipboard 保留以支持重复粘贴。
-- 顶层 `--cursor-after none|summary|focus` 控制 mutation 后的 stderr 回显；默认 summary，不影响实际 cursor 维护。
-- `edit cp/mv/split-def` 支持 `@cursor`；definition overwrite/rename/move/delete、namespace delete 与 transaction 提交后验证会更新或明确提示 cursor 状态。
-
-## 准确性要点
-
-- `edit mv` 按插入路径、源删除后的 index 漂移和 cursor 在源 subtree 内的相对路径做确定性迁移，不依赖可能多命中的 fingerprint 搜索。
-- focus、full 和 node 都只构造 presentation tree；真实 snapshot、path、fingerprint 与 JSON `tree` 不包含 `CURSOR`。
-- JSON `cursor.show` 分开返回真实 `tree` 和展示用 `preview_tree`，并报告 `exact`、`verified-at-path` 或 `relocated`。
-- sidecar 不在 `.gitignore` 时只提示建议，不自动修改用户项目。
-
-## 验证
-
-- cursor 单元测试覆盖 v1→v2 兼容、history/stack/clipboard round-trip、focus 签名与 marker、cut/paste、前方增删、swap/unwrap，以及重复 fingerprint 下的确定性 move。
-- 临时 Calcit snapshot 手工验证 `cursor show --view focus`、`--cursor-after focus`、back/push/pop、copy/cut/paste 和 `edit cp/mv/split-def/rename/mv-def`。
-- 全局安装后的 `cr` 在 `respo-calcit-workflow` 临时副本中完成深层 cursor focus、cut/paste 原位恢复、`tree replace --path @cursor` 与 `cr js` 编译。
-- `cargo fmt`
-- `cargo clippy -- -D warnings`
-- `cargo test`
-- `yarn compile`
-- `yarn check-agent-interface`（12/12）
-- `yarn check-all`
-- `cr docs check-md` 验证 `docs/run/edit-tree.md` 与 `docs/CalcitAgent.md`

package/editing-history/2026-07-28-1719-cursor-navigation-search-selection.md

@@ -1,21 +0,0 @@
-# Cursor 多步导航与搜索选取
-
-## 概要
-
-- `cursor child` 省略 index 时进入首子节点，`cursor child --last` 按当前树进入末子节点。
-- `cursor next`、`cursor prev` 与 `cursor back` 支持 `--count N`；多步移动只产生一次 history transition，参数为零或越界时不写 cursor。
-- `query search` 与 `query search-expr` 的每个结果获得稳定的全局 cursor index：human 输出为 `[#N]`，JSON 字段为 `cursor_index`。
-- 搜索命令新增 `--set-cursor N`，直接将对应结果写入项目 cursor。确认信息走 stderr，保持 JSON stdout 为单个可解析对象。
-- dependency-only 搜索结果不能映射到当前可编辑 snapshot 时明确报错，不将 cursor 猜测性落到同名定义。
-
-## 验证关注点
-
-- `child --last` 必须读取当前 node 的 child count，不能把 `-1` 或陈旧 index 写入 sidecar。
-- sibling skip 和 multi-back 必须预先验证完整步数；失败后 active cursor 与 history 均保持不变。
-- human 与 JSON 的结果编号必须共享同一排序和扁平化顺序。
-
-## 验证结果
-
-- `cargo fmt`、`cargo clippy --all-targets -- -D warnings`、`cargo test`、`yarn compile` 与 `yarn check-all` 通过。
-- Agent interface smoke 12/12，`docs/run/edit-tree.md` 与 `docs/CalcitAgent.md` 的可执行代码块检查通过。
-- 全局安装 `cr 0.12.53` 后，在 `respo-calcit-workflow` 临时副本以 `query search --set-cursor 0` 定位 `comp-runs`，随后验证 `child --last`、`prev --count 1`、`back --count 2`、focus 展示，并完成 `cr calcit.cirru js` 编译。

package/editing-history/2026-07-28-1958-agent-rfc-split.md

@@ -1,14 +0,0 @@
-# Agent 工具链 RFC 拆分
-
-## 概要
-
-- 移除体量过大的 `07-26-agent-semantic-interface-roadmap-rfc.md`，按紧密关联的功能边界拆分为文档与评估、机器协议、安全结构化编辑、静态语义分析等 RFC。
-- 补充单项目工具契约、Git 模块存储与持久树形 cursor RFC，明确 Calcit 继续以 EDN/Cirru 树形源码、结构化文档和既有 `cr` 子命令为中心。
-- Git 模块仍以 tag 为最佳实践、允许分支名，不引入 registry、workspace 或 lockfile；依赖冲突采用最高版本并输出 warning。
-- LSP 延后到一次性解析接口足够稳定且维护成本可接受之后，不把行号作为源码或诊断的核心身份。
-
-## 文档边界
-
-- 新 RFC 各自描述一块可独立评审和实施的能力，避免实现状态、长期设想和不适用于 Calcit 的 Cargo 风格命令混在同一文件中。
-- `RFCs/README.md` 更新索引，后续实现和验收可直接引用对应 RFC。
-

package/editing-history/2026-07-28-2004-cursor-editing-docs.md

@@ -1,14 +0,0 @@
-# Cursor 与 transaction 使用文档
-
-## 概要
-
-- 在 Agent 指南中补充通过搜索结果设置 cursor、用 `@cursor` 进行连续树形编辑、导航栈与结构化 clipboard 的推荐流程。
-- 在结构化编辑参考中完整记录 cursor sidecar、focus/node/full 展示、mutation 后坐标维护与 `--cursor-after` 回显控制。
-- 记录 Cirru EDN transaction 的主要输入形式、quoted code、dry-run、revision 检查与 JSON 兼容边界。
-- 将新增命令加入 Agent 能力地图和文档 frontmatter，便于结构化文档查询定位。
-
-## 一致性
-
-- 文档示例沿用既有 `cr` 子命令风格，不引入 Cargo 风格命令。
-- 所有路径仍指向 Snapshot 中的 Cirru tree，展示用 `CURSOR` 不改变真实源码与 path。
-

package/editing-history/2026-07-28-2132-cursor-recoverable-clipboard.md

@@ -1,18 +0,0 @@
-# Cursor clipboard 可恢复提交与精简状态
-
-## 概要
-
-- `.calcit-cursor.cirru` 升级到 schema v3，继续读取 v1/v2；active、history 与 stack 不再重复保存完整 subtree preview，展示时从当前 Snapshot 重建。
-- `cursor cut` 和 `cursor paste` 在修改任何目标文件前先生成 Snapshot 与 sidecar staged 文件，避免序列化或临时文件失败造成半成品。
-- cut 按 sidecar→Snapshot 顺序提交，确保 Snapshot 提交失败时完整表达式已经存在于结构化 clipboard。
-- paste 按 Snapshot→sidecar 顺序提交；若第二步失败，错误明确说明源码已经修改并禁止盲目重试。
-- `cursor show` 构造真实节点和 focus preview 时复用同一次 Snapshot 读取，减少重复解析。
-
-## 验证
-
-- 新增 cut 第二阶段失败时 clipboard 已持久化的故障注入测试。
-- 新增 paste cursor 提交失败时 Snapshot 已提交且错误包含 partial-success 指引的测试。
-- sidecar round-trip 断言 schema v3 且不包含 `:preview`。
-- `cargo test --bin cr cursor`
-- `cargo clippy --bin cr -- -D warnings`
-

package/editing-history/2026-07-28-2151-cursor-native-structural-editing.md

@@ -1,20 +0,0 @@
-# Cursor 原生结构编辑与跨层导航
-
-## 概要
-
-- 新增 `cursor apply <operation>`，由 active cursor 推导 definition target 与 tree path，再复用既有 tree handler，避免 Agent 在连续操作中重复传递坐标。
-- 新增 `cursor slurp-next` 与 `cursor barf-last`，通过已有 `edit mv` 完成跨 parent 的 Paredit 风格节点移动，cursor 始终跟随原先选中的 list。
-- 新增 `cursor forward/backward --count N`，按 definition 的深度优先结构顺序跨 list 边界移动，并把整次多步移动记录为一条 history。
-- 当顶层使用 `--cursor-after focus` 时，set、search 选中、普通导航与 history/stack 恢复会立即输出 focus preview。
-- 非法 root、leaf、空 list、缺少 sibling、零步和越界操作均在写 Snapshot 前失败。
-
-## 验证
-
-- `cargo fmt`
-- `cargo clippy -- -D warnings`
-- `cargo test`
-- `yarn compile`
-- `yarn check-agent-interface`
-- `yarn check-all`
-- `cr docs check-md` 检查 Agent 指南和 tree editing 文档。
-- 全局安装当前 `cr` 后，在 Respo workflow 临时副本往返执行 depth-first navigation、swap、slurp/barf；Snapshot 与原文件逐字节一致，`cr js` 成功。

package/editing-history/2026-07-28-2158-document-cursor-native-workflows.md

@@ -1,13 +0,0 @@
-# 补充 Cursor 原生工作流文档
-
-## 概要
-
-- RFC 增加 `cursor apply`、`slurp-next`、`barf-last`、`forward/backward` 的命令契约、复用边界和验收项。
-- Agent 快速指南说明同级导航与跨 list 深度优先导航的区别，并加入 cursor 原生 mutation 的选择建议。
-- tree editing 指南补充完整命令示例、`--cursor-after focus` 的导航反馈，以及 `unwrap` 并非任意 wrapper 的严格逆操作这一边界。
-
-## 验证
-
-- `target/debug/cr calcit/test.cirru docs check-md docs/CalcitAgent.md --entry calcit/test.cirru`
-- `target/debug/cr calcit/test.cirru docs check-md docs/run/edit-tree.md --entry calcit/test.cirru`
-- `git diff --check`

package/editing-history/2026-07-29-0022-add-cursor-cli-options.md

@@ -1,7 +0,0 @@
-# Cursor CLI surface
-
-- Added symmetric `slurp-prev` and `barf-first` cursor commands.
-- Added `cursor duplicate --at before|after`.
-- Added `--start-path` to structural expression search.
-
-Validation for the complete change set: `cargo fmt`, `cargo clippy -- -D warnings`, `cargo test`, `yarn compile`, `yarn check-agent-interface`, and `yarn check-all`.

package/editing-history/2026-07-29-0022-audit-cursor-development-scenarios.md

@@ -1,6 +0,0 @@
-# Audit cursor development scenarios
-
-- Mapped the cursor contract to high-frequency development workflows.
-- Specified symmetric Paredit operations, duplication, target aliases, and subtree search.
-- Clarified transaction, source-undo, and concurrent-agent boundaries.
-- Kept workspace, module, and project-wide operations explicit rather than cursor-dependent.

package/editing-history/2026-07-29-0022-complete-cursor-structural-edits.md

@@ -1,8 +0,0 @@
-# Complete cursor structural edits
-
-- Implemented leftward slurp/barf operations and clipboard-preserving duplication.
-- Used staged Snapshot and sidecar writes with explicit partial-success diagnostics.
-- Added reusable active target/path resolution for `@cursor` aliases.
-- Covered selection tracking, invalid boundaries, and parallel-test temporary-directory collisions.
-
-The operations were round-trip tested on a temporary copy of `respo-calcit-workflow` with the globally installed `cr`.

package/editing-history/2026-07-29-0022-document-cursor-edit-recipes.md

@@ -1,8 +0,0 @@
-# Document cursor edit recipes
-
-- Added concrete recipes for cursor-aware query, tree, and edit commands.
-- Documented symmetric slurp/barf and clipboard-preserving duplicate operations.
-- Added cursor-scoped leaf and structural searches.
-- Clarified navigation history and multi-agent boundaries.
-
-The documented workflow was exercised against a temporary Respo project and finished with a successful JS build.

package/editing-history/2026-07-29-0022-edit-target-cursor-alias.md

@@ -1,6 +0,0 @@
-# Edit target cursor alias
-
-- Added `@cursor` definition targets to definition, metadata, copy/move, rename, and split operations.
-- Defined the alias as the source for two-target commands while keeping destinations explicit.
-- Reused a single active target/path resolution when an edit references both.
-- Left transaction operation files self-contained with concrete targets and paths.

package/editing-history/2026-07-29-0022-guide-agents-through-cursor-workflows.md

@@ -1,7 +0,0 @@
-# Guide agents through cursor workflows
-
-- Documented cursor target aliases and subtree-scoped search for agents.
-- Added symmetric structural editing and duplication guidance.
-- Clarified that cursor history is navigation-only and the sidecar is not a concurrency primitive.
-
-All executable Markdown blocks passed `cr docs check-md`.

package/editing-history/2026-07-29-0022-query-from-active-cursor.md

@@ -1,8 +0,0 @@
-# Query from the active cursor
-
-- Allowed definition-oriented queries to use `@cursor` as their target.
-- Added cursor-scoped structural expression search with absolute result paths.
-- Made `query type-at @cursor --path @cursor` resolve one validated cursor state.
-- Rejected conflicting explicit filters for cursor-scoped searches.
-
-Real-project checks covered search selection, type evidence, and bounded semantic context.

package/editing-history/2026-07-29-0022-tree-target-cursor-alias.md

@@ -1,5 +0,0 @@
-# Tree target cursor alias
-
-- Allowed every target-bearing `cr tree` command to resolve `@cursor` as both definition target and structural path.
-- Reused one validated active cursor when both aliases occur in the same command.
-- Preserved target mismatch rejection for explicit definitions.

package/editing-history/202608021730-release-0.12.58.md

@@ -1,5 +0,0 @@
-# Release 0.12.58
-
-- Release the receiver-first method inference and trait nominal-identity fixes merged in PR #288.
-- Synchronize the crate, npm package, and Cargo lockfile versions at `0.12.58`.
-- The merge commit passed the main Test and CodeQL workflows before this release commit.

package/editing-history/202608021928-release-0.12.59.md

@@ -1,5 +0,0 @@
-# Release 0.12.59
-
-- Release the top-level nominal value schema fix from PR #291.
-- Synchronize the crate, npm package, and Cargo lockfile versions at `0.12.59`.
-- The merged main commit passed Test and CodeQL before this release preparation.

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

@@ -1,10 +0,0 @@
-# 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/202608090107-release-0.13.6.md

@@ -1,10 +0,0 @@
-# Release 0.13.6
-
-- Bumped the Calcit package versions in `Cargo.toml`, `package.json`, and
-  `Cargo.lock` from 0.13.5 to 0.13.6.
-- Releases the opt-in `W_JS_FFI_UNTYPED_ACCESS` warning (behind
-  `--warn-dyn-method`) for untyped raw JS FFI access on bare `JsObject`, plus
-  the cheap JS codegen readability improvements (line-based indentation, blank
-  lines between top-level functions, verbatim `&raw-code` preservation).
-- Verified with formatting, tests, clippy, compilation, full checks, agent
-  interface smoke checks, and Markdown example checks.

package/editing-history/202608091812-release-0.13.7.md

@@ -1,8 +0,0 @@
-# Release 0.13.7
-
-Released the merged definition-attached core test and `cr` CLI accuracy work.
-
-- Bumped the Rust crate and npm package versions from `0.13.6` to `0.13.7`.
-- Updated `Cargo.lock` with the workspace version through `cargo update --workspace`.
-- Release validation covers the merged PR's core tests, native/JS/WASM targets,
-  Agent CLI interface, and the repository test workflow before tagging.

package/editing-history/202608101042-release-0.13.8.md

@@ -1,6 +0,0 @@
-## Release 0.13.8
-
-- Publishes the typed Struct field-access and collection path-boundary work
-  merged through PR #327.
-- Keeps module branch resolution robust by fetching and pruning remote branch
-  refs before checkout.

package/editing-history/202608101101-release-pr-workflow.md

@@ -1,8 +0,0 @@
-## Release PR workflow
-
-- `main` is protected by a pull-request requirement, including release version
-  changes; release commits must be created on a dedicated release branch.
-- A release tag is created only after the release PR is green, merged, and
-  fetched back onto local `main`.
-- Publication verification uses non-interactive `gh pr checks` and `gh run
-  list` polling, then confirms matching crates.io and npm versions.

package/editing-history/202608101102-release-doc-tracked-path.md

@@ -1,5 +0,0 @@
-## Release documentation tracked path
-
-- The repository tracks its agent instructions as `Agents.md`; release-flow
-  documentation updates must stage that exact path so the release PR includes
-  the operational guidance as well as its history record.

package/editing-history/202608110140-release-0.13.9.md

@@ -1,4 +0,0 @@
-## Release 0.13.9
-
-- Bump the Cargo and npm package versions together after merging PR #331.
-- Refresh the workspace lockfile before creating the release PR and tag.