diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,91 @@
 
 ## [Unreleased]
 
+## [baikai 0.9.0.0] - 2026-10-25
+
+### Added
+
+- `Baikai.Judgment` compiles closed-set schemas into ordered questions, refuses
+  generation controls and validates neutral answers without normalizing provider
+  probabilities or deriving confidence and expected scores.
+- `UserData`, `AssistantData`/`DataContent`, user-data message helpers, atomic
+  data events, and named full-response JSON codecs preserve structured answers.
+- `TypeSafeSystemOne`, catalog-owned `OutputKind`/`isJudgmentOnly`, `InputData`,
+  and `typesafe_jev_latest`/`typesafe_jev_preview`. Legacy model JSON defaults to
+  generative output. Register the new `baikai-typesafe` provider explicitly.
+
+### Changed (breaking)
+
+- Public content/event sums and model, error, trace and log records gain fields
+  or constructors. Update exhaustive matches and record construction on upgrade.
+- Terminal traces and both call-log paths preserve structured answer payloads.
+  Evidence schema 2.6 includes structured response commitments and typed request
+  problems; existing digest rules are unchanged.
+
+## [baikai-typesafe 0.1.0.0] - 2026-10-25
+
+### Added
+
+- Initial explicitly registered TypeSafe System One provider using the released
+  `typesafe-hs ^>=0.1.0.0` wire client. Strict request and response validation,
+  atomic synthetic streaming, truthful call evidence, bounded HTTP calls and an
+  opt-in live test. No retry policy is embedded.
+- Installation, schema, refusal and consumer migration guide, plus CAP-27.
+
+## [baikai-claude 0.7.2.0] - 2026-10-25
+
+### Changed
+
+- Require `baikai ^>=0.9.0`, encode user data as canonical JSON text, and refuse
+  structured assistant history before dispatch with a typed field path.
+
+### Fixed
+
+- The offline cancellation fixture waits until the response reader is active
+  before cancelling, eliminating a fixed-startup-delay race under build load.
+
+## [baikai-openai 0.7.2.0] - 2026-10-25
+
+### Changed
+
+- Require `baikai ^>=0.9.0`, encode user data as canonical JSON text, and refuse
+  structured assistant history before dispatch with a typed field path across
+  Chat Completions, Responses and batch CLI calls.
+
+### Fixed
+
+- The offline cancellation fixture waits until the response reader is active
+  before cancelling, eliminating a fixed-startup-delay race under build load.
+
+## [baikai-trace-otel 0.4.1.0] - 2026-10-25
+
+### Added
+
+- Export structured answer data as canonical JSON under
+  `baikai.response.structured_data`, on success and failure terminals.
+
+### Changed
+
+- Require `baikai ^>=0.9.0` for the expanded trace protocol.
+
+## [baikai-effectful 0.4.0.4] - 2026-10-25
+
+### Changed
+
+- Require `baikai ^>=0.9.0`. Dependency-only update; no package API change.
+
+## [baikai-kit 0.4.0.2] - 2026-10-25
+
+### Changed
+
+- Require `baikai ^>=0.9.0`. Dependency-only update; no package API change.
+
+## [baikai-agent 0.2.0.3] - 2026-10-25
+
+### Changed
+
+- Require `baikai ^>=0.9.0`. Dependency-only update; no package API change.
+
 ## [baikai 0.8.0.0] - 2026-10-10
 
 ### Added
diff --git a/baikai-effectful.cabal b/baikai-effectful.cabal
--- a/baikai-effectful.cabal
+++ b/baikai-effectful.cabal
@@ -1,6 +1,6 @@
 cabal-version: 3.4
 name: baikai-effectful
-version: 0.4.0.3
+version: 0.4.0.4
 synopsis: effectful binding for the baikai AI-provider transport
 description:
   A thin, policy-free effectful binding over baikai's transport. Provides the dynamic
@@ -60,7 +60,7 @@
   hs-source-dirs: src
   exposed-modules: Baikai.Effectful
   build-depends:
-    baikai ^>=0.8.0,
+    baikai ^>=0.9.0,
     base >=4.20 && <5,
     effectful-core ^>=2.7,
     streamly-core >=0.3 && <0.5,