@calcit/procs 0.12.53 → 0.12.54

package/editing-history/2026-07-29-1242-cirru-quote-input-errors.md

@@ -0,0 +1,13 @@
+# Cirru quote input diagnostics
+
+- Clarified CLI errors for missing or malformed `quote` transport wrappers.
+- Distinguished symbol, string, and expression payload examples in parser hints.
+- Added coverage for ambiguous bare forms and multi-payload quote input.
+
+Validation:
+
+- `cargo fmt`
+- `cargo clippy -- -D warnings`
+- `cargo test`
+- `yarn check-all`
+

package/editing-history/2026-07-29-1242-internal-wasm-doc-boundary.md

@@ -0,0 +1,13 @@
+# Internal WASM documentation boundary
+
+- Removed `cr-wasm` from installation, quick-reference, feature, and public CLI documentation.
+- Kept the WASM backend implementation and validation workflow unchanged.
+- Moved the detailed backend notes under `scripts/` and reframed them as repository-internal validation documentation.
+- Reduced `cr ir` coverage to a short compiler-debugging note instead of presenting it as a normal project workflow.
+
+Validation:
+
+- `bash scripts/check-docs-md.sh`
+- `yarn check-all`
+- `git diff --check`
+

package/editing-history/2026-07-30-1130-pr-281-review-fixes.md

@@ -0,0 +1,5 @@
+# PR 281 review fixes
+
+- Guard recursive static definition inference, falling back to `:dynamic` for cycles.
+- Validate dependency module paths before filesystem or Git operations and avoid reporting a reset for untracked-only changes.
+- Correct JS FFI intent classification, bounded cursor state recovery, and CLI/documentation consistency.

package/editing-history/20260729-1421-consolidate-local-state-and-cursor-tools.md

@@ -0,0 +1,22 @@
+# Consolidate local state and cursor tools
+
+## Summary
+
+- Consolidated project-local sidecar files under `.calcit/`: cursor state now uses `.calcit/cursor.cirru`, and persisted runtime errors use `.calcit/error.cirru`.
+- Added one-time migration from `.calcit-cursor.cirru` and `.calcit-error.cirru` without dual writes.
+- Kept state paths relative to the selected snapshot, including commands invoked from another working directory.
+- Extended cursor schema v4 with one region anchor, up to 16 named marks, and a compact last-query descriptor.
+- Added `cursor anchor`, `clear-anchor`, `region`, `mark`, `goto`, `marks`, and `rm-mark`, plus `query next` and `query prev`.
+- Applied the same path transforms to the active cursor, anchor, and marks during structural edits; stale query continuation is rejected after a snapshot revision change.
+- Bounded the complete cursor file to 64 KiB and retained existing history, stack, and mark count limits.
+
+## Validation
+
+- `cargo fmt`
+- `cargo clippy --all-targets -- -D warnings`
+- `cargo test`
+- `yarn compile`
+- `yarn check-all`
+- `yarn check-agent-interface`
+- Real-project regression on a temporary Respo workflow copy, including legacy migration, region/marks/query continuation, and successful `cr js` compilation.
+- Release binary changed from 8,196,752 bytes to 8,280,352 bytes on the same arm64 build environment (about 1.02%).

package/editing-history/20260729-1422-document-calcit-local-state.md

@@ -0,0 +1,15 @@
+# Document Calcit local state
+
+## Summary
+
+- Documented `.calcit/` as the bounded project-local state directory and recommended ignoring the directory as a unit.
+- Updated cursor RFC and Agent guidance for anchor/region, named marks, query continuation, migration behavior, and state-size limits.
+- Moved the recommended multiline snippet location to `.calcit/snippets/`.
+- Updated error-stack references to `.calcit/error.cirru` while preserving historical editing records.
+- Clarified that `.compact-inc.cirru` remains the existing watcher protocol rather than project-local diagnostic state.
+- Corrected repository-local Agent examples and replaced the obsolete binary-size threshold with a same-platform exact-byte baseline comparison.
+
+## Validation
+
+- `target/debug/cr docs check-md docs/CalcitAgent.md --entry calcit/test.cirru` (4/4 blocks passed)
+- `git diff --check`

package/editing-history/20260729-1952-strengthen-polymorphism-diagnostics.md

@@ -0,0 +1,21 @@
+# Strengthen polymorphism diagnostics
+
+## Summary
+
+- Clarified the static-semantics RFC around parametric generics, trait bounds, applied data types, callback contracts, enums, optionals, and type slots.
+- Restored the intended compatibility rule that legacy `:any` is parsed and serialized as `:dynamic`, rather than acting as a separate static top type.
+- Added generic and trait-bound evidence to type-coverage reports.
+- Added stable aggregate diagnostics for coverage gaps and unresolved dynamic debt, including per-occurrence impact and relationship-aware suggestions for Agents.
+- Reduced false positives from generated metadata namespaces, `defimpl` declarations, and singleton-list wrappers around Cirru data declarations.
+- Updated Agent and feature documentation with a concise workflow for replacing accidental dynamic types with concrete types, type variables, trait bounds, parameterized containers, or enums.
+
+## Validation
+
+- `cargo fmt`
+- `cargo clippy -- -D warnings`
+- `cargo test`
+- `yarn compile`
+- `yarn check-agent-interface` (12/12 scenarios)
+- `yarn check-all`
+- `cr docs check-md` for `docs/CalcitAgent.md`, `docs/features/static-analysis.md`, and `docs/features/polymorphism.md`
+- Real-project regression on a temporary Respo workflow copy, including type reports and successful `cr js` compilation.

package/editing-history/202607301429-entry-type-slots.md

@@ -0,0 +1,29 @@
+# Entry-level type slots
+
+Date: 2026-07-30 14:29 +0800
+
+## Context
+
+`with-type-slot` represented a build-wide type choice as a body wrapper. Its single-body and multi-body preprocessing paths diverged, so adding an otherwise meaningless `do` could decide whether a runtime `with-type-slot` call leaked into generated code. Respo also needs the same dispatch `Op` type across a large component call graph without passing generics through every API.
+
+## Changes
+
+- Added optional `:type-slots` maps to default and named entry configurations.
+- Added `cr config type-slots`, `set-type-slot`, and `rm-type-slot` commands.
+- Installed the selected entry's bindings before preprocessing and validated configured full type paths after module loading.
+- Kept named entry configurations independent instead of inheriting default bindings.
+- Made `with-type-slot` compile-time-only for both single and multiple bodies; codegen now rejects leaked forms.
+- Preserved unrelated raw Snapshot EDN when a type-slot config command writes its map.
+- Migrated type-slot fixtures and added round-trip, entry isolation, diagnostic, and multi-body erasure coverage.
+- Updated the static-analysis, entry, project-structure, core API, and RFC documentation.
+
+## Validation
+
+- `cargo fmt --all`
+- `cargo clippy -- -D warnings`
+- `cargo test`
+- `yarn compile`
+- `yarn check-agent-interface`
+- `yarn check-all`
+- Calcit Markdown checks for the updated static-analysis and entry documentation
+- Respo main/test entry regression, JS codegen, Node tests, and all Markdown code blocks with the new CLI

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

@@ -0,0 +1,22 @@
+# 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/lib/package.json

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

package/package.json

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