diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -9,6 +9,16 @@
 ## [Unreleased]
 
 
+## [0.9.1.0] — 2026-08-20
+
+### Changed
+
+- Co-released with `keiki-0.9.1.0`; internal dependency bounds continue to
+  target the `^>=0.9` PVP range, which now contains the exact `Bool`
+  finite-domain disjointness proof in the default inversion-ambiguity pass.
+  The JSON wire format and this package's API are unchanged.
+
+
 ## [0.9.0.0] — 2026-08-04
 
 ### Changed
diff --git a/keiki-codec-json.cabal b/keiki-codec-json.cabal
--- a/keiki-codec-json.cabal
+++ b/keiki-codec-json.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               keiki-codec-json
-version:            0.9.0.0
+version:            0.9.1.0
 synopsis:           Optional JSON codec for keiki's RegFile.
 description:
   Sibling package to keiki providing a JSON encoder, decoder, and