diff --git a/.changeset/pre.json b/.changeset/pre.json
index dc13dc09..8a140a99 100644
--- a/.changeset/pre.json
+++ b/.changeset/pre.json
@@ -12,6 +12,7 @@
     "adopt-unthrown-v5-beta",
     "bump-unthrown-beta-5",
     "bump-unthrown-beta-6",
+    "bump-unthrown-beta-7",
     "contract-types-node",
     "technical-errors-to-defect"
   ]
diff --git a/packages/client/CHANGELOG.md b/packages/client/CHANGELOG.md
index ca9d39b0..c847eace 100644
--- a/packages/client/CHANGELOG.md
+++ b/packages/client/CHANGELOG.md
@@ -1,5 +1,27 @@
 # @temporal-contract/client
 
+## 8.0.0-beta.2
+
+### Patch Changes
+
+- a54a2f3: Bump `unthrown` to `5.0.0-beta.7` and raise the peer range to `^5.0.0-beta.7`.
+
+  Two changes come with it, neither requiring code changes here:
+
+  - **`returnType<R>()` on the built-in matcher** — pins a match's output type so
+    every branch is checked against it, instead of the result being the union of
+    the branch returns. Available on all five `*ErrCases` combinators, `match`'s
+    `errCases` handler, and standalone `match(value)`.
+  - **`tapErrCases` no longer silently drops a `defect(…)` branch.** Such a branch
+    now produces a `Defect` whose cause is an `AggregateError` of the branch's
+    cause and the observed error, matching what a `throw` in the same position
+    already did. Only a breaking change for code that relied on the value being
+    discarded — this package's single `tapErrCases` call site logs and does not
+    use the `defect` marker.
+
+- Updated dependencies [a54a2f3]
+  - @temporal-contract/contract@8.0.0-beta.2
+
 ## 8.0.0-beta.1
 
 ### Patch Changes
diff --git a/packages/client/package.json b/packages/client/package.json
index a1b3e288..68910ecb 100644
--- a/packages/client/package.json
+++ b/packages/client/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@temporal-contract/client",
-  "version": "8.0.0-beta.1",
+  "version": "8.0.0-beta.2",
   "description": "Client utilities with unthrown Result/AsyncResult for consuming temporal-contract workflows",
   "keywords": [
     "client",
diff --git a/packages/contract/CHANGELOG.md b/packages/contract/CHANGELOG.md
index 5614d39e..22c038a8 100644
--- a/packages/contract/CHANGELOG.md
+++ b/packages/contract/CHANGELOG.md
@@ -1,5 +1,24 @@
 # @temporal-contract/contract
 
+## 8.0.0-beta.2
+
+### Patch Changes
+
+- a54a2f3: Bump `unthrown` to `5.0.0-beta.7` and raise the peer range to `^5.0.0-beta.7`.
+
+  Two changes come with it, neither requiring code changes here:
+
+  - **`returnType<R>()` on the built-in matcher** — pins a match's output type so
+    every branch is checked against it, instead of the result being the union of
+    the branch returns. Available on all five `*ErrCases` combinators, `match`'s
+    `errCases` handler, and standalone `match(value)`.
+  - **`tapErrCases` no longer silently drops a `defect(…)` branch.** Such a branch
+    now produces a `Defect` whose cause is an `AggregateError` of the branch's
+    cause and the observed error, matching what a `throw` in the same position
+    already did. Only a breaking change for code that relied on the value being
+    discarded — this package's single `tapErrCases` call site logs and does not
+    use the `defect` marker.
+
 ## 8.0.0-beta.1
 
 ### Patch Changes
diff --git a/packages/contract/package.json b/packages/contract/package.json
index ca5c4348..bac66712 100644
--- a/packages/contract/package.json
+++ b/packages/contract/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@temporal-contract/contract",
-  "version": "8.0.0-beta.1",
+  "version": "8.0.0-beta.2",
   "description": "Contract builder for temporal-contract",
   "keywords": [
     "contract",
diff --git a/packages/testing/CHANGELOG.md b/packages/testing/CHANGELOG.md
index a565148b..9b2d85e7 100644
--- a/packages/testing/CHANGELOG.md
+++ b/packages/testing/CHANGELOG.md
@@ -1,5 +1,7 @@
 # @temporal-contract/testing
 
+## 8.0.0-beta.2
+
 ## 8.0.0-beta.1
 
 ## 8.0.0-beta.0
diff --git a/packages/testing/package.json b/packages/testing/package.json
index 985913d3..08d23a0d 100644
--- a/packages/testing/package.json
+++ b/packages/testing/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@temporal-contract/testing",
-  "version": "8.0.0-beta.1",
+  "version": "8.0.0-beta.2",
   "description": "Temporal testing utilities",
   "keywords": [
     "contract",
diff --git a/packages/worker/CHANGELOG.md b/packages/worker/CHANGELOG.md
index 80c05d84..37562b8d 100644
--- a/packages/worker/CHANGELOG.md
+++ b/packages/worker/CHANGELOG.md
@@ -1,5 +1,27 @@
 # @temporal-contract/worker
 
+## 8.0.0-beta.2
+
+### Patch Changes
+
+- a54a2f3: Bump `unthrown` to `5.0.0-beta.7` and raise the peer range to `^5.0.0-beta.7`.
+
+  Two changes come with it, neither requiring code changes here:
+
+  - **`returnType<R>()` on the built-in matcher** — pins a match's output type so
+    every branch is checked against it, instead of the result being the union of
+    the branch returns. Available on all five `*ErrCases` combinators, `match`'s
+    `errCases` handler, and standalone `match(value)`.
+  - **`tapErrCases` no longer silently drops a `defect(…)` branch.** Such a branch
+    now produces a `Defect` whose cause is an `AggregateError` of the branch's
+    cause and the observed error, matching what a `throw` in the same position
+    already did. Only a breaking change for code that relied on the value being
+    discarded — this package's single `tapErrCases` call site logs and does not
+    use the `defect` marker.
+
+- Updated dependencies [a54a2f3]
+  - @temporal-contract/contract@8.0.0-beta.2
+
 ## 8.0.0-beta.1
 
 ### Patch Changes
diff --git a/packages/worker/package.json b/packages/worker/package.json
index f8ad5ee5..db2e4fb4 100644
--- a/packages/worker/package.json
+++ b/packages/worker/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@temporal-contract/worker",
-  "version": "8.0.0-beta.1",
+  "version": "8.0.0-beta.2",
   "description": "Worker utilities with unthrown Result/AsyncResult for implementing temporal-contract workflows and activities",
   "keywords": [
     "contract",