btravstack · btravers · Aug 17, 2026
diff --git a/.changeset/catch-all-single-type-exemption.md b/.changeset/catch-all-single-type-exemption.md
diff --git a/packages/boxed/CHANGELOG.md b/packages/boxed/CHANGELOG.md
@@ -1,5 +1,11 @@
 # @unthrown/boxed
 
+## 5.6.0
+
+### Patch Changes
+
+- unthrown@5.6.0
+
 ## 5.5.0
 
 ### Patch Changes

diff --git a/packages/boxed/package.json b/packages/boxed/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@unthrown/boxed",
-  "version": "5.5.0",
+  "version": "5.6.0",
   "description": "Boxed interop for unthrown",
   "keywords": [
     "boxed",

diff --git a/packages/core/CHANGELOG.md b/packages/core/CHANGELOG.md
@@ -1,5 +1,7 @@
 # unthrown
 
+## 5.6.0
+
 ## 5.5.0
 
 ## 5.4.0

diff --git a/packages/core/package.json b/packages/core/package.json
@@ -1,6 +1,6 @@
 {
   "name": "unthrown",
-  "version": "5.5.0",
+  "version": "5.6.0",
   "description": "Explicit errors as values, with a separate defect (panic) channel",
   "keywords": [
     "defect",

diff --git a/packages/effect/CHANGELOG.md b/packages/effect/CHANGELOG.md
@@ -1,5 +1,11 @@
 # @unthrown/effect
 
+## 5.6.0
+
+### Patch Changes
+
+- unthrown@5.6.0
+
 ## 5.5.0
 
 ### Patch Changes

diff --git a/packages/effect/package.json b/packages/effect/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@unthrown/effect",
-  "version": "5.5.0",
+  "version": "5.6.0",
   "description": "Effect interop for unthrown",
   "keywords": [
     "effect",

diff --git a/packages/neverthrow/CHANGELOG.md b/packages/neverthrow/CHANGELOG.md
@@ -1,5 +1,11 @@
 # @unthrown/neverthrow
 
+## 5.6.0
+
+### Patch Changes
+
+- unthrown@5.6.0
+
 ## 5.5.0
 
 ### Patch Changes

diff --git a/packages/neverthrow/package.json b/packages/neverthrow/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@unthrown/neverthrow",
-  "version": "5.5.0",
+  "version": "5.6.0",
   "description": "neverthrow interop for unthrown",
   "keywords": [
     "errors-as-values",

diff --git a/packages/oxlint/CHANGELOG.md b/packages/oxlint/CHANGELOG.md
@@ -1,5 +1,19 @@
 # @unthrown/oxlint
 
+## 5.6.0
+
+### Minor Changes
+
+- 75aa13a: `no-catch-all-pattern` now exempts the two sanctioned `P._` uses itself when
+  the file proves them (#230): the matcher is traced to its receiver, and when an
+  in-file `Result` / `AsyncResult` annotation (variable, parameter, or in-file
+  function return annotation) shows `E` to be a single non-union type — or an
+  unresolved type parameter — the catch-all is the legitimate single arm and
+  nothing is reported. In-file type aliases are seen through; an imported named
+  type counts as the single abstraction it names. Where no annotation is in reach
+  (a receiver imported from another module), the rule reports as before and the
+  targeted `oxlint-disable` remains the escape hatch.
+
 ## 5.5.0
 
 ### Minor Changes

diff --git a/packages/oxlint/package.json b/packages/oxlint/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@unthrown/oxlint",
-  "version": "5.5.0",
+  "version": "5.6.0",
   "description": "oxlint plugin enforcing unthrown's conventions",
   "keywords": [
     "errors-as-values",

diff --git a/packages/standard-schema/CHANGELOG.md b/packages/standard-schema/CHANGELOG.md
@@ -1,5 +1,11 @@
 # @unthrown/standard-schema
 
+## 5.6.0
+
+### Patch Changes
+
+- unthrown@5.6.0
+
 ## 5.5.0
 
 ### Patch Changes

diff --git a/packages/standard-schema/package.json b/packages/standard-schema/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@unthrown/standard-schema",
-  "version": "5.5.0",
+  "version": "5.6.0",
   "description": "Standard Schema (Zod, Valibot, ArkType, …) interop for unthrown",
   "keywords": [
     "arktype",

diff --git a/packages/vitest/CHANGELOG.md b/packages/vitest/CHANGELOG.md
@@ -1,5 +1,7 @@
 # @unthrown/vitest
 
+## 5.6.0
+
 ## 5.5.0
 
 ## 5.4.0

diff --git a/packages/vitest/package.json b/packages/vitest/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@unthrown/vitest",
-  "version": "5.5.0",
+  "version": "5.6.0",
   "description": "Vitest matchers for unthrown",
   "keywords": [
     "errors-as-values",