diff --git a/.changeset/effect-rc116.md b/.changeset/effect-rc116.md
deleted file mode 100644
index 7ab874a..0000000
--- a/.changeset/effect-rc116.md
+++ /dev/null
@@ -1,11 +0,0 @@
----
-"@typeonce/effect-machine": minor
-"@typeonce/effect-machine-react": minor
-"@typeonce/effect-machine-devtools": minor
----
-
-Upgrade Effect and companion packages to `4.0.0-rc.116`. Install matching Effect packages when upgrading.
-
-`MachineTest.scenarios`, `finiteModels`, and `runtimeCommands` now produce native `Arbitrary` values from `effect/unstable/arbitrary/Arbitrary`. Custom input, event, and command generators must use that module instead of FastCheck. Use `Arbitrary.schema(schema)` for schema-derived generators, `Arbitrary.array` for sequences, and `Arbitrary.sampleEffect` or `Arbitrary.checkEffect` to sample and check them. In `@effect/vitest`, replace `fastCheck: { numRuns }` with `arbitrary: { runs }`. Generate new replay tokens; earlier FastCheck seeds and paths do not reproduce the same cases.
-
-Command sequences shrink by removing irrelevant commands while retaining the remaining values. Fix finite-model verification of exit and entry paths when an ancestor's initial choice resolves inside an active compound state.
diff --git a/packages/devtools/CHANGELOG.md b/packages/devtools/CHANGELOG.md
index 35b38fa..71f6468 100644
--- a/packages/devtools/CHANGELOG.md
+++ b/packages/devtools/CHANGELOG.md
@@ -1,5 +1,20 @@
 # @typeonce/effect-machine-devtools
 
+## 0.38.0
+
+### Minor Changes
+
+- 36dde0f: Upgrade Effect and companion packages to `4.0.0-rc.116`. Install matching Effect packages when upgrading.
+
+  `MachineTest.scenarios`, `finiteModels`, and `runtimeCommands` now produce native `Arbitrary` values from `effect/unstable/arbitrary/Arbitrary`. Custom input, event, and command generators must use that module instead of FastCheck. Use `Arbitrary.schema(schema)` for schema-derived generators, `Arbitrary.array` for sequences, and `Arbitrary.sampleEffect` or `Arbitrary.checkEffect` to sample and check them. In `@effect/vitest`, replace `fastCheck: { numRuns }` with `arbitrary: { runs }`. Generate new replay tokens; earlier FastCheck seeds and paths do not reproduce the same cases.
+
+  Command sequences shrink by removing irrelevant commands while retaining the remaining values. Fix finite-model verification of exit and entry paths when an ancestor's initial choice resolves inside an active compound state.
+
+### Patch Changes
+
+- Updated dependencies [36dde0f]
+  - @typeonce/effect-machine@0.38.0
+
 ## 0.37.0
 
 ### Patch Changes
diff --git a/packages/devtools/package.json b/packages/devtools/package.json
index b9b8889..f7be02e 100644
--- a/packages/devtools/package.json
+++ b/packages/devtools/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@typeonce/effect-machine-devtools",
-  "version": "0.37.0",
+  "version": "0.38.0",
   "description": "Local development tools for Effect Machine",
   "author": "Sandro Maglione",
   "repository": {
diff --git a/packages/effect-machine-react/CHANGELOG.md b/packages/effect-machine-react/CHANGELOG.md
index ba917c8..d73a701 100644
--- a/packages/effect-machine-react/CHANGELOG.md
+++ b/packages/effect-machine-react/CHANGELOG.md
@@ -1,5 +1,20 @@
 # @typeonce/effect-machine-react
 
+## 0.38.0
+
+### Minor Changes
+
+- 36dde0f: Upgrade Effect and companion packages to `4.0.0-rc.116`. Install matching Effect packages when upgrading.
+
+  `MachineTest.scenarios`, `finiteModels`, and `runtimeCommands` now produce native `Arbitrary` values from `effect/unstable/arbitrary/Arbitrary`. Custom input, event, and command generators must use that module instead of FastCheck. Use `Arbitrary.schema(schema)` for schema-derived generators, `Arbitrary.array` for sequences, and `Arbitrary.sampleEffect` or `Arbitrary.checkEffect` to sample and check them. In `@effect/vitest`, replace `fastCheck: { numRuns }` with `arbitrary: { runs }`. Generate new replay tokens; earlier FastCheck seeds and paths do not reproduce the same cases.
+
+  Command sequences shrink by removing irrelevant commands while retaining the remaining values. Fix finite-model verification of exit and entry paths when an ancestor's initial choice resolves inside an active compound state.
+
+### Patch Changes
+
+- Updated dependencies [36dde0f]
+  - @typeonce/effect-machine@0.38.0
+
 ## 0.37.0
 
 ### Patch Changes
diff --git a/packages/effect-machine-react/package.json b/packages/effect-machine-react/package.json
index 80182e8..d8644b4 100644
--- a/packages/effect-machine-react/package.json
+++ b/packages/effect-machine-react/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@typeonce/effect-machine-react",
-  "version": "0.37.0",
+  "version": "0.38.0",
   "description": "React ownership hooks for Effect Machine atoms",
   "author": "Sandro Maglione",
   "repository": {
diff --git a/packages/effect-machine/CHANGELOG.md b/packages/effect-machine/CHANGELOG.md
index 9877cd9..0b83cbd 100644
--- a/packages/effect-machine/CHANGELOG.md
+++ b/packages/effect-machine/CHANGELOG.md
@@ -1,5 +1,15 @@
 # @typeonce/effect-machine
 
+## 0.38.0
+
+### Minor Changes
+
+- 36dde0f: Upgrade Effect and companion packages to `4.0.0-rc.116`. Install matching Effect packages when upgrading.
+
+  `MachineTest.scenarios`, `finiteModels`, and `runtimeCommands` now produce native `Arbitrary` values from `effect/unstable/arbitrary/Arbitrary`. Custom input, event, and command generators must use that module instead of FastCheck. Use `Arbitrary.schema(schema)` for schema-derived generators, `Arbitrary.array` for sequences, and `Arbitrary.sampleEffect` or `Arbitrary.checkEffect` to sample and check them. In `@effect/vitest`, replace `fastCheck: { numRuns }` with `arbitrary: { runs }`. Generate new replay tokens; earlier FastCheck seeds and paths do not reproduce the same cases.
+
+  Command sequences shrink by removing irrelevant commands while retaining the remaining values. Fix finite-model verification of exit and entry paths when an ancestor's initial choice resolves inside an active compound state.
+
 ## 0.37.0
 
 ### Minor Changes
diff --git a/packages/effect-machine/package.json b/packages/effect-machine/package.json
index def9e2a..56ff4ce 100644
--- a/packages/effect-machine/package.json
+++ b/packages/effect-machine/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@typeonce/effect-machine",
-  "version": "0.37.0",
+  "version": "0.38.0",
   "description": "Schema-first state machines and statecharts for Effect",
   "author": "Sandro Maglione",
   "repository": {
diff --git a/packages/oxlint-plugin/CHANGELOG.md b/packages/oxlint-plugin/CHANGELOG.md
index a01d4b0..850f862 100644
--- a/packages/oxlint-plugin/CHANGELOG.md
+++ b/packages/oxlint-plugin/CHANGELOG.md
@@ -1,5 +1,7 @@
 # @typeonce/oxlint-plugin-effect-machine
 
+## 0.38.0
+
 ## 0.37.0
 
 ## 0.36.0
diff --git a/packages/oxlint-plugin/package.json b/packages/oxlint-plugin/package.json
index cbe2316..94ad36f 100644
--- a/packages/oxlint-plugin/package.json
+++ b/packages/oxlint-plugin/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@typeonce/oxlint-plugin-effect-machine",
-  "version": "0.37.0",
+  "version": "0.38.0",
   "description": "Oxlint rules for Effect Machine models",
   "author": "Sandro Maglione",
   "repository": {