@calcit/procs 0.13.27 → 0.13.29

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/202608212200-review-followups.md

@@ -0,0 +1,11 @@
+# Review follow-ups from recent PRs
+
+- Preserved unresolved type-slot occurrences while applying intentional
+  Dynamic and JS FFI intents through nested annotations.
+- Corrected the maintenance record's Markdown validation commands and restored
+  ascending order for the 0.12.58 and 0.12.59 archive entries.
+- Documented the local `git diff` trade-off of the `.gitattributes` `-diff`
+  attribute for generated quality baselines.
+
+Validation: `cargo fmt --check`, targeted type-coverage tests, and the required
+repository checks after the follow-up changes.

package/editing-history/202608212232-unsafe-coerce-inventory.md

@@ -0,0 +1,25 @@
+# Unsafe-coerce inventory
+
+## Summary
+
+- Extended `calcit analyze weak-types` with the closed `unsafe-coerce` kind and
+  the `explicit-unsafe` intent.
+- Every executable assertion now reports its exact `code@...` Snapshot path and
+  declared target schema, without classifying it as unresolved Dynamic debt.
+- Bumped the JSON protocol to v4 and added `W_JS_FFI_UNCHECKED_COERCE` so
+  tooling can turn the inventory into a runtime-contract test checklist.
+- Kept the existing eight-metric `analyze quality` baseline stable; the new
+  inventory is deliberately visible but not budgeted until a versioned baseline
+  migration is introduced.
+
+## Validation
+
+- `cargo fmt`
+- `cargo clippy -- -D warnings`
+- `cargo test`
+- `yarn compile`
+- `yarn check-agent-interface` (13/13 scenarios)
+- `yarn check-all`
+- New debug CLI against `../respo-calcit-workflow/calcit.cirru` with
+  `analyze weak-types --only unsafe-coerce --format json --summary-only`
+  (4 inventory hits, JSON protocol v4)

package/editing-history/202608212243-unsafe-coerce-boundary-evidence.md

@@ -0,0 +1,27 @@
+# Unsafe-coerce boundary evidence
+
+## Summary
+
+- Extended the `unsafe-coerce` inventory with an explicit static `evidence`
+  object: input source form, target schema, declared `:js-ffi` capability, and
+  `js-ffi.raw.*` adapter-namespace convention.
+- Kept the evidence honest: it describes Snapshot source only and never claims
+  to have observed or validated a JavaScript runtime value.
+- Bumped `analyze.weak-types` JSON protocol to v5 and added tests for raw JS,
+  host-member, ordinary-expression, and adapter namespace classification.
+- Applied #378 review feedback before merging this follow-up: quoted and
+  quasiquoted descendants no longer create unsafe inventory debt, while `~` /
+  `~@` expressions remain executable; unsafe diagnostics now describe generic
+  runtime values rather than assuming every assertion is JavaScript-backed.
+
+## Validation
+
+- `cargo fmt`
+- `cargo clippy -- -D warnings`
+- `cargo test`
+- `yarn compile`
+- `yarn check-agent-interface` (13/13 scenarios)
+- `yarn check-all`
+- New debug CLI against `../respo-calcit-workflow/calcit.cirru`; it surfaced
+  four assertions and accurately identifies two definitions without a declared
+  `:js-ffi` capability.

package/editing-history/202608212305-quality-unsafe-boundary-gate.md

@@ -0,0 +1,13 @@
+# Quality baseline v2: explicit unsafe boundary budget
+
+- `analyze quality` now collects explicit `unsafe-coerce` occurrences as the
+  independent `unsafeCoerce` metric instead of folding them into Dynamic debt.
+- Newly written native baseline files use schema version 2 and preserve the
+  metric per definition, so an adapter moved to another definition cannot hide
+  a regression.
+- Native v1 and legacy flat eight-metric baselines remain readable and retain
+  their original enforcement. Maintainers must review and regenerate a v2
+  baseline before the new metric becomes a gate.
+- Static quality only counts visible assertions. It does not claim that a
+  Node/browser runtime contract test has executed; those remain an explicit Q3
+  requirement.

package/editing-history/202608212327-quality-agent-protocol-v2.md

@@ -0,0 +1,7 @@
+# Quality agent protocol v2 assertion
+
+- The Agent CLI smoke check now expects `analyze.quality` protocol v2 and
+  asserts that the newly versioned `unsafeCoerce` metric is present.
+- This keeps the development-process check aligned with the public JSON
+  contract, preventing a future accidental downgrade or silent omission of the
+  new boundary budget.

package/editing-history/202608212330-release-asset-manifest.md

@@ -0,0 +1,9 @@
+# Versioned release asset manifest
+
+- The release workflow now publishes `calcit-release-manifest.json` alongside
+  `calcit`, `caps`, and `cr-wasm`.
+- Manifest schema v1 records release version, filename, byte size, and SHA-256
+  for each asset. Setup tooling can verify a downloaded binary before adding it
+  to `PATH`, without trusting a successful HTTP response alone.
+- The generator uses Node standard-library APIs and has a focused fixture test
+  so the release file remains deterministic and machine-readable.

package/editing-history/202608212334-quality-v1-reporting.md

@@ -0,0 +1,10 @@
+# Honest v1 quality-baseline reporting
+
+- Native quality baseline v1 intentionally lacks the later `unsafeCoerce`
+  budget. It still enforces its original eight metrics.
+- The report now labels this mode `native-baseline-v1` and normalizes the
+  unenforced metric to the current count, preventing a positive delta from
+  being mistaken for a rejected regression.
+- This supports staged ecosystem upgrades: old released CLIs can keep their
+  accepted baseline while a reviewed v2 migration starts enforcing explicit
+  host-boundary inventory.

package/editing-history/202608212344-quality-metric-name-comparison.md

@@ -0,0 +1,5 @@
+# Quality metric name comparison
+
+The static-quality gate compares each metric to its limit by its stable wire name,
+rather than relying on the parallel ordering of two metric arrays. This keeps new
+or reordered metrics from silently being compared with a different budget.

package/editing-history/202608212345-release-manifest-review.md

@@ -0,0 +1,6 @@
+# Release manifest review follow-up
+
+The release-manifest helper now emits a single-line usage error instead of a
+stack trace. The publishing workflow passes the release tag through an
+environment variable, preventing release metadata from being interpolated into
+shell source.

package/editing-history/202608212346-quality-baseline-migration-docs.md

@@ -0,0 +1,5 @@
+# Quality baseline migration wording
+
+The upgrade guide now states that `unsafe-coerce` occurrence comparison applies
+to native v2 or regenerated quality baselines only. Existing native v1 and
+flat baselines retain their eight-metric compatibility behavior.

package/editing-history/202608220012-release-0-13-29.md

@@ -0,0 +1,5 @@
+# Release 0.13.29
+
+This release ships the static-quality unsafe-boundary gate, JS FFI contract
+workflow improvements, and the release asset manifest consumed by
+setup-calcit 1.3.0. Cargo and npm package versions advance together.

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 |
 | --- | --- |
@@ -26,11 +26,28 @@ from Git history.
 | 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.12.58 | Receiver-first method inference and nominal trait identity fixes. |
+| 0.12.59 | Top-level nominal value schema fix. |
 | 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. |
+| 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.29",
     "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.29",
   "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`.