diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,6 +6,24 @@
 
 ## [Unreleased]
 
+## 0.7.0.0 — 2026-08-01
+
+### Breaking Changes
+
+- Requires the conservative-projection Keiki releases (`keiki >=0.7 && <0.8`,
+  `keiki-codec-json >=0.7 && <0.8`), replacing the previous `>=0.6 && <0.7`
+  bounds. Keiki 0.7 treats a predicate that crosses a one-way generated
+  projection as opaque to symbolic proof, so verification may return
+  `UnverifiedOpaque` where an earlier release reported a `Verified*` result.
+  Command execution and replay behavior are unchanged.
+- Requires `keiro-core ^>=0.7.0.0`.
+
+### New Features
+
+- Re-exports `Keiro.Codec.IdDomain` from `keiro-core`, so generated version-3
+  identifier bindings and harnesses keep a single direct `keiro` dependency
+  alongside the existing structural and nominal binding re-exports.
+
 ## 0.6.0.0 — 2026-07-31
 
 ### Breaking Changes
diff --git a/keiro.cabal b/keiro.cabal
--- a/keiro.cabal
+++ b/keiro.cabal
@@ -1,6 +1,6 @@
 cabal-version:   3.0
 name:            keiro
-version:         0.6.0.0
+version:         0.7.0.0
 synopsis:        Event sourcing framework and workflow engine
 description:
   A library that composes kiroku, keiki, and shibuya into an
@@ -89,6 +89,7 @@
   other-modules:      Keiro.ReplayDigest
   reexported-modules:
     keiro-core:Keiro.Codec,
+    keiro-core:Keiro.Codec.IdDomain,
     keiro-core:Keiro.Codec.Structural,
     keiro-core:Keiro.Codec.Structural.Generic,
     keiro-core:Keiro.Codec.Nominal,
@@ -119,9 +120,9 @@
     , hs-opentelemetry-api                   >=1.0      && <1.1
     , hs-opentelemetry-propagator-w3c        >=1.0      && <1.1
     , hs-opentelemetry-semantic-conventions  >=1.40     && <2
-    , keiki                                  >=0.6      && <0.7
-    , keiki-codec-json                       >=0.6      && <0.7
-    , keiro-core                             ^>=0.6.0.0
+    , keiki                                  >=0.7      && <0.8
+    , keiki-codec-json                       >=0.7      && <0.8
+    , keiro-core                             ^>=0.7.0.0
     , kiroku-store                           >=0.3      && <0.4
     , lens                                   >=5.2      && <5.4
     , mmzk-typeid                            >=0.7      && <0.8
@@ -189,7 +190,7 @@
     , hs-opentelemetry-api  >=1.0      && <1.1
     , hs-opentelemetry-sdk  >=1.0      && <1.1
     , keiro
-    , keiro-core            ^>=0.6.0.0
+    , keiro-core            ^>=0.7.0.0
     , keiro-test-support
     , kiroku-store          >=0.3      && <0.4
     , tasty-bench           >=0.4