diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -9,6 +9,15 @@
 ## [Unreleased]
 
 
+## [0.7.0.0] — 2026-08-01
+
+### Changed
+
+- Co-released with `keiki-0.7.0.0`; internal dependency bounds now target the
+  `^>=0.7` PVP range containing the corrected projection-exactness and
+  `symSatExt` witness semantics. The JSON wire format is unchanged.
+
+
 ## [0.6.0.0] — 2026-07-31
 
 ### 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.6.0.0
+version:            0.7.0.0
 synopsis:           Optional JSON codec for keiki's RegFile.
 description:
   Sibling package to keiki providing a JSON encoder, decoder, and
@@ -81,7 +81,7 @@
     , aeson             ^>=2.2
     , base              ^>=4.21
     , containers        ^>=0.7
-    , keiki             ^>=0.6
+    , keiki             ^>=0.7
     , scientific        ^>=0.3
     , template-haskell  ^>=2.23
     , text              ^>=2.1
@@ -96,8 +96,8 @@
     , base              ^>=4.21
     , bytestring        ^>=0.12
     , deepseq           ^>=1.5
-    , keiki             ^>=0.6
-    , keiki-codec-json  ^>=0.6
+    , keiki             ^>=0.7
+    , keiki-codec-json  ^>=0.7
     , tasty-bench       ^>=0.4  || ^>=0.5
     , text              ^>=2.1
 
@@ -124,8 +124,8 @@
     , bytestring            ^>=0.12
     , containers            ^>=0.7
     , hspec                 ^>=2.11
-    , keiki                 ^>=0.6
-    , keiki-codec-json      ^>=0.6
+    , keiki                 ^>=0.7
+    , keiki-codec-json      ^>=0.7
     , QuickCheck            ^>=2.15
     , quickcheck-instances  ^>=0.3
     , text                  ^>=2.1