@calcit/procs 0.13.8 → 0.13.9

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

@@ -0,0 +1,8 @@
+## 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/history/202608101102-release-doc-tracked-path.md

@@ -0,0 +1,5 @@
+## 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/history/202608110054-small-edit-advice.md

@@ -0,0 +1,13 @@
+## Suppress structural-edit advice for small definitions
+
+- Structural-edit guidance now requires either the existing or incoming Cirru
+  tree to contain at least 32 AST nodes.
+- Tiny definitions do not benefit from a path-finding workflow, so full
+  definition updates no longer emit a misleadingly heavyweight warning.
+- Keep the threshold in `analyze_cirru_edit_advice` so every caller shares the
+  same behavior, including identical-definition advice.
+- `&list:first` now consistently reports its nullable `Optional<T>` result to
+  static analysis, matching the Core schema and its `nil` result for empty
+  lists.
+- Core macros and comparison helpers that first establish non-emptiness now
+  use the explicitly indexed low-level read `&list:nth xs 0`.

package/history/202608110125-review-optional-list-first.md

@@ -0,0 +1,4 @@
+## Review follow-ups for nullable list-first inference
+
+- Normalize `optional_of` so already-optional types are not wrapped into nested optionals.
+- Rename the list-first inference regression test and cover both non-empty and empty lists.

package/history/202608110133-review-core-call-sites-and-thresholds.md

@@ -0,0 +1,5 @@
+## Follow-up review fixes for nullable list-first
+
+- Migrate remaining guarded Core reads in max/min, comparison folding, and list destructuring to `&list:nth ... 0`.
+- Tag the empty-list regression as both `:core` and `:unit`.
+- Make edit-advice fixtures assert exact 31/32-node boundary behavior, including one-sided threshold crossings.

package/history/202608110140-release-0.13.9.md

@@ -0,0 +1,4 @@
+## 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.

package/lib/package.json

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

package/package.json

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