diff --git a/.sampo/changesets/base-pipes.md b/.sampo/changesets/base-pipes.md
deleted file mode 100644
index a70b4854..00000000
--- a/.sampo/changesets/base-pipes.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-cargo/nash-driver: patch
----
-
-Use pipe operators for one-argument call chains across the base library.
diff --git a/.sampo/changesets/cardano-base.md b/.sampo/changesets/cardano-base.md
deleted file mode 100644
index d9b89e1a..00000000
--- a/.sampo/changesets/cardano-base.md
+++ /dev/null
@@ -1,6 +0,0 @@
----
-cargo/nash-driver: minor
-cargo/nash-can: minor
----
-
-Ship Cardano V3 context, address, governance, value, and interval modules in Base. Use native value builtins, explicit Nash wire validation, and Haskell-generated encoding and interval comparisons.
diff --git a/.sampo/changesets/data-conversion-traits.md b/.sampo/changesets/data-conversion-traits.md
deleted file mode 100644
index c038c128..00000000
--- a/.sampo/changesets/data-conversion-traits.md
+++ /dev/null
@@ -1,12 +0,0 @@
----
-cargo/nash-driver: minor
-cargo/nash-can: minor
-cargo/nash-plutus: patch
----
-
-Consolidate Data conversion and checking in traits. Allow explicit little-type
-ToData and FromData implementations alongside Big-only identity blankets. Add
-independent optional Decode instances, including Cardano V3 types, and remove
-the separate encoder and decoder combinator modules.
-
-Encode Flat terms iteratively so large context decoders do not exhaust the host stack.
diff --git a/.sampo/changesets/data-pipes.md b/.sampo/changesets/data-pipes.md
deleted file mode 100644
index 8c235a55..00000000
--- a/.sampo/changesets/data-pipes.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-cargo/nash-driver: patch
----
-
-Use pipe operators for list Data conversions and share their implementations through Function.
diff --git a/.sampo/changesets/function-default-import.md b/.sampo/changesets/function-default-import.md
deleted file mode 100644
index 03f91528..00000000
--- a/.sampo/changesets/function-default-import.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-cargo/nash-can: minor
----
-
-Add Function to the application default imports for qualified access to applyForward and applyBackward.
diff --git a/.sampo/changesets/int-power-table.md b/.sampo/changesets/int-power-table.md
deleted file mode 100644
index f283e1ea..00000000
--- a/.sampo/changesets/int-power-table.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-cargo/nash-driver: patch
----
-
-Use a compile-time constant array for small powers of two in Int.pow2 and the base-two Int.pow path. Budget snapshots compare runtime arrays, constant arrays and modular exponentiation; constant lookup uses less CPU and memory without runtime table construction.
diff --git a/.sampo/changesets/math-crypto-base.md b/.sampo/changesets/math-crypto-base.md
deleted file mode 100644
index 99aaeaee..00000000
--- a/.sampo/changesets/math-crypto-base.md
+++ /dev/null
@@ -1,9 +0,0 @@
----
-cargo/nash-driver: minor
-cargo/nash-can: minor
----
-
-Add integer gcd/lcm/square-root operations and result-checking predicates,
-normalized little rational arithmetic, and Big/little Crypto wrappers over
-Plutus hash and signature builtins. Move the Bytes hash helpers into Crypto. Embed Rational and Crypto with implicit
-qualified imports, exact reference snapshots and predicate budget comparisons.
diff --git a/.sampo/changesets/prop-generators.md b/.sampo/changesets/prop-generators.md
deleted file mode 100644
index 63e19b51..00000000
--- a/.sampo/changesets/prop-generators.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-cargo/nash-driver: minor
----
-
-Complete Prop generators with booleans, options, bounded and exact bytes, weighted alternatives, and arbitrary-precision integer generation. Normalize Big/little bounds and weights, preserve strict replay groups, and express tuple2 through generator do. Add source snapshots for range properties and reduced counterexamples.
diff --git a/.sampo/changesets/prop-small-offsets.md b/.sampo/changesets/prop-small-offsets.md
deleted file mode 100644
index 1d1beeff..00000000
--- a/.sampo/changesets/prop-small-offsets.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-cargo/nash-driver: minor
----
-
-Choose small-biased bit widths before generating Prop.intAtLeast offsets and wide Prop.int magnitudes. Preserve arbitrary precision while replacing the zero-or-huge distribution with useful small nonzero values. Use exact expModInteger powers within each eight-bit band, with CEK budget snapshots comparing CPU and memory. Expose Int.pow2 and use its exact modular fast path in Int.pow for base two.
diff --git a/.sampo/changesets/remove-prop-filtering.md b/.sampo/changesets/remove-prop-filtering.md
deleted file mode 100644
index 7834f636..00000000
--- a/.sampo/changesets/remove-prop-filtering.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-cargo/nash-driver: patch
----
-
-Remove predicate-filtered generators and their bounded retry loop, fixtures, and documentation. Build valid values directly through generator composition.
diff --git a/Cargo.lock b/Cargo.lock
index 2c874877..c8266845 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -242,9 +242,9 @@ checksum = "2af50177e190e07a26ab74f8b1efbfe2ef87da2116221318cb1c2e82baf7de06"
 
 [[package]]
 name = "bitcoin-consensus-encoding"
-version = "1.2.0"
+version = "1.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6712f9c6fd6785b3b270884e57c441c403dc5d7e19ca45368c97c7a1de3000ec"
+checksum = "9daa31138eb443d5751b207f3f64154e2bb09cd59960562ccc7a7112be38147f"
 dependencies = [
  "bitcoin-internals",
  "hex-conservative 1.3.0",
@@ -253,9 +253,9 @@ dependencies = [
 
 [[package]]
 name = "bitcoin-internals"
-version = "0.6.0"
+version = "0.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d573f4cf32996a8dce612e4348cece65a241f1882ed594047c9ba348e8869fa5"
+checksum = "e8bea3a9f0cfece4564e37cb49a38cc245ca5184719e50d7d0dda3268722c4e2"
 
 [[package]]
 name = "bitcoin-io"
@@ -1893,7 +1893,7 @@ dependencies = [
 
 [[package]]
 name = "nash-can"
-version = "0.11.0"
+version = "0.12.0"
 dependencies = [
  "bumpalo",
  "indoc",
@@ -1909,7 +1909,7 @@ dependencies = [
 
 [[package]]
 name = "nash-cli"
-version = "0.6.2"
+version = "0.6.3"
 dependencies = [
  "clap",
  "color-print",
@@ -1939,7 +1939,7 @@ dependencies = [
 
 [[package]]
 name = "nash-codegen"
-version = "0.4.1"
+version = "0.4.2"
 dependencies = [
  "bumpalo",
  "indoc",
@@ -1977,7 +1977,7 @@ dependencies = [
 
 [[package]]
 name = "nash-constrain"
-version = "0.8.1"
+version = "0.8.2"
 dependencies = [
  "bumpalo",
  "insta",
@@ -1988,7 +1988,7 @@ dependencies = [
 
 [[package]]
 name = "nash-driver"
-version = "0.10.0"
+version = "0.11.0"
 dependencies = [
  "async-trait",
  "bumpalo",
@@ -2017,7 +2017,7 @@ dependencies = [
 
 [[package]]
 name = "nash-ir"
-version = "0.3.2"
+version = "0.3.3"
 dependencies = [
  "insta",
  "nash-ast",
@@ -2026,7 +2026,7 @@ dependencies = [
 
 [[package]]
 name = "nash-language-server"
-version = "0.4.4"
+version = "0.4.5"
 dependencies = [
  "insta",
  "nash-driver",
@@ -2065,7 +2065,7 @@ dependencies = [
 
 [[package]]
 name = "nash-plutus"
-version = "0.3.1"
+version = "0.3.2"
 dependencies = [
  "append-only-vec",
  "blst",
@@ -2095,7 +2095,7 @@ version = "0.3.0"
 
 [[package]]
 name = "nash-report"
-version = "0.5.2"
+version = "0.5.3"
 dependencies = [
  "bumpalo",
  "indoc",
@@ -2116,7 +2116,7 @@ dependencies = [
 
 [[package]]
 name = "nash-solve"
-version = "0.9.0"
+version = "0.9.1"
 dependencies = [
  "bumpalo",
  "indoc",
@@ -2140,7 +2140,7 @@ dependencies = [
 
 [[package]]
 name = "nash-test"
-version = "0.4.0"
+version = "0.4.1"
 dependencies = [
  "cryptoxide",
  "insta",
@@ -4040,18 +4040,18 @@ dependencies = [
 
 [[package]]
 name = "zerocopy"
-version = "0.8.58"
+version = "0.8.59"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "c17e8fafad82b542ff3717217ecdc736231b59e387768c9630123b4ce4d2db44"
+checksum = "6df92bf3d9227be3d53173901ddbffac2babc27ae50f397776ffd6dc33f800cb"
 dependencies = [
  "zerocopy-derive",
 ]
 
 [[package]]
 name = "zerocopy-derive"
-version = "0.8.58"
+version = "0.8.59"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "595f56e044df4f46a0c9a626f65c3d99eb8488f7e8a8baa12dd76326d9710bf2"
+checksum = "ac4f328cf2f05d084e496c3e9c3f33ed0a183656a16e1fcec4d464d8373aec82"
 dependencies = [
  "proc-macro2",
  "quote",
diff --git a/crates/nash-can/CHANGELOG.md b/crates/nash-can/CHANGELOG.md
index 846d387d..71779625 100644
--- a/crates/nash-can/CHANGELOG.md
+++ b/crates/nash-can/CHANGELOG.md
@@ -1,5 +1,22 @@
 # nash-can
 
+## 0.12.0 — 2026-09-26
+
+### Minor changes
+
+- [d7301b1f](https://github.com/orbistry/nash/commit/d7301b1f5d833f84301bfdc7e58345701f2c2fd9) Consolidate Data conversion and checking in traits. Allow explicit little-type
+  ToData and FromData implementations alongside Big-only identity blankets. Add
+  independent optional Decode instances, including Cardano V3 types, and remove
+  the separate encoder and decoder combinator modules.
+  
+  Encode Flat terms iteratively so large context decoders do not exhaust the host stack. — Thanks @MicroProofs!
+- [bec1d2ac](https://github.com/orbistry/nash/commit/bec1d2accff3476ada1195d93c473f68f5434a08) Add integer gcd/lcm/square-root operations and result-checking predicates,
+  normalized little rational arithmetic, and Big/little Crypto wrappers over
+  Plutus hash and signature builtins. Move the Bytes hash helpers into Crypto. Embed Rational and Crypto with implicit
+  qualified imports, exact reference snapshots and predicate budget comparisons. — Thanks @MicroProofs!
+- [6c489a62](https://github.com/orbistry/nash/commit/6c489a62742bd1fb4a64d5f3e9ab51c075785988) Ship Cardano V3 context, address, governance, value, and interval modules in Base. Use native value builtins, explicit Nash wire validation, and Haskell-generated encoding and interval comparisons. — Thanks @MicroProofs!
+- [4c3c9dbb](https://github.com/orbistry/nash/commit/4c3c9dbb0e0e7cc077e113e9d4e31fa0e3ab9a72) Add Function to the application default imports for qualified access to applyForward and applyBackward. — Thanks @MicroProofs!
+
 ## 0.11.0 — 2026-09-25
 
 ### Minor changes
diff --git a/crates/nash-can/Cargo.toml b/crates/nash-can/Cargo.toml
index 8233eaa3..bb2694bc 100644
--- a/crates/nash-can/Cargo.toml
+++ b/crates/nash-can/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "nash-can"
-version = "0.11.0"
+version = "0.12.0"
 edition.workspace = true
 description = "Canonicalize a nash source tree, resolving symbols, re-ordering definitions, and preparing a module for type inference."
 homepage.workspace = true
diff --git a/crates/nash-cli/CHANGELOG.md b/crates/nash-cli/CHANGELOG.md
index d70b50bc..345f102d 100644
--- a/crates/nash-cli/CHANGELOG.md
+++ b/crates/nash-cli/CHANGELOG.md
@@ -1,5 +1,11 @@
 # nash-cli
 
+## 0.6.3 — 2026-09-26
+
+### Patch changes
+
+- Updated dependencies: nash-codegen@0.4.2, nash-driver@0.11.0, nash-language-server@0.4.5, nash-report@0.5.3, nash-test@0.4.1
+
 ## 0.6.2 — 2026-09-25
 
 ### Patch changes
diff --git a/crates/nash-cli/Cargo.toml b/crates/nash-cli/Cargo.toml
index d6a540a5..03b1e65d 100644
--- a/crates/nash-cli/Cargo.toml
+++ b/crates/nash-cli/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "nash-cli"
-version = "0.6.2"
+version = "0.6.3"
 edition.workspace = true
 description = "The Nash programming language"
 homepage.workspace = true
@@ -16,7 +16,7 @@ name = "nash"
 path = "src/main.rs"
 
 [dependencies]
-nash-codegen = { path = "../nash-codegen", version = "0.4.1" }
+nash-codegen = { path = "../nash-codegen", version = "0.4.2" }
 clap.workspace = true
 color-print.workspace = true
 dirs.workspace = true
@@ -24,11 +24,11 @@ futures.workspace = true
 hex.workspace = true
 miette.workspace = true
 serde_json.workspace = true
-nash-test = { path = "../nash-test", version = "0.4.0" }
+nash-test = { path = "../nash-test", version = "0.4.1" }
 nash-config = { path = "../nash-config", version = "0.5.0" }
-nash-report = { path = "../nash-report", version = "0.5.2" }
-nash-driver = { path = "../nash-driver", version = "0.10.0" }
-nash-language-server = { path = "../nash-language-server", version = "0.4.4" }
+nash-report = { path = "../nash-report", version = "0.5.3" }
+nash-driver = { path = "../nash-driver", version = "0.11.0" }
+nash-language-server = { path = "../nash-language-server", version = "0.4.5" }
 octocrab.workspace = true
 tar.workspace = true
 tokio = { workspace = true, features = ["rt-multi-thread", "macros", "io-std"] }
diff --git a/crates/nash-codegen/CHANGELOG.md b/crates/nash-codegen/CHANGELOG.md
index 583aac9d..399fce3c 100644
--- a/crates/nash-codegen/CHANGELOG.md
+++ b/crates/nash-codegen/CHANGELOG.md
@@ -1,5 +1,11 @@
 # nash-codegen
 
+## 0.4.2 — 2026-09-26
+
+### Patch changes
+
+- Updated dependencies: nash-can@0.12.0, nash-ir@0.3.3, nash-plutus@0.3.2, nash-solve@0.9.1, nash-test@0.4.1
+
 ## 0.4.1 — 2026-09-25
 
 ### Patch changes
diff --git a/crates/nash-codegen/Cargo.toml b/crates/nash-codegen/Cargo.toml
index 531125df..32c31c0d 100644
--- a/crates/nash-codegen/Cargo.toml
+++ b/crates/nash-codegen/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "nash-codegen"
-version = "0.4.1"
+version = "0.4.2"
 edition.workspace = true
 description = "Nash specialization and lowering to Untyped Plutus Core"
 homepage.workspace = true
@@ -10,12 +10,12 @@ license.workspace = true
 [dependencies]
 nash-ast = { path = "../nash-ast", version = "0.11.0" }
 nash-region = { path = "../nash-region", version = "0.3.0" }
-nash-can = { path = "../nash-can", version = "0.11.0" }
-nash-solve = { path = "../nash-solve", version = "0.9.0" }
+nash-can = { path = "../nash-can", version = "0.12.0" }
+nash-solve = { path = "../nash-solve", version = "0.9.1" }
 bumpalo.workspace = true
-nash-ir = { path = "../nash-ir", version = "0.3.2" }
-nash-plutus = { path = "../nash-plutus", version = "0.3.1" }
-nash-test = { path = "../nash-test", version = "0.4.0" }
+nash-ir = { path = "../nash-ir", version = "0.3.3" }
+nash-plutus = { path = "../nash-plutus", version = "0.3.2" }
+nash-test = { path = "../nash-test", version = "0.4.1" }
 nash-config = { path = "../nash-config", version = "0.5.0" }
 thiserror.workspace = true
 
diff --git a/crates/nash-constrain/CHANGELOG.md b/crates/nash-constrain/CHANGELOG.md
index 5de32dde..0a263631 100644
--- a/crates/nash-constrain/CHANGELOG.md
+++ b/crates/nash-constrain/CHANGELOG.md
@@ -1,5 +1,11 @@
 # nash-constrain
 
+## 0.8.2 — 2026-09-26
+
+### Patch changes
+
+- Updated dependencies: nash-can@0.12.0
+
 ## 0.8.1 — 2026-09-25
 
 ### Patch changes
diff --git a/crates/nash-constrain/Cargo.toml b/crates/nash-constrain/Cargo.toml
index dfd38080..9ccfcd73 100644
--- a/crates/nash-constrain/Cargo.toml
+++ b/crates/nash-constrain/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "nash-constrain"
-version = "0.8.1"
+version = "0.8.2"
 edition.workspace = true
 description = """
 Shared union-find types, canonical type instantiation, and diagnostics \
@@ -14,7 +14,7 @@ license.workspace = true
 bumpalo.workspace = true
 nash-ast = { path = "../nash-ast", version = "0.11.0" }
 nash-region = { path = "../nash-region", version = "0.3.0" }
-nash-can = { path = "../nash-can", version = "0.11.0" }
+nash-can = { path = "../nash-can", version = "0.12.0" }
 
 [dev-dependencies]
 insta.workspace = true
diff --git a/crates/nash-driver/CHANGELOG.md b/crates/nash-driver/CHANGELOG.md
index bb42de49..d1cffb39 100644
--- a/crates/nash-driver/CHANGELOG.md
+++ b/crates/nash-driver/CHANGELOG.md
@@ -1,5 +1,31 @@
 # nash-driver
 
+## 0.11.0 — 2026-09-26
+
+### Minor changes
+
+- [d7301b1f](https://github.com/orbistry/nash/commit/d7301b1f5d833f84301bfdc7e58345701f2c2fd9) Consolidate Data conversion and checking in traits. Allow explicit little-type
+  ToData and FromData implementations alongside Big-only identity blankets. Add
+  independent optional Decode instances, including Cardano V3 types, and remove
+  the separate encoder and decoder combinator modules.
+  
+  Encode Flat terms iteratively so large context decoders do not exhaust the host stack. — Thanks @MicroProofs!
+- [4f8f3a68](https://github.com/orbistry/nash/commit/4f8f3a685a4888df37e3b0f8e283aba390756c31) Choose small-biased bit widths before generating Prop.intAtLeast offsets and wide Prop.int magnitudes. Preserve arbitrary precision while replacing the zero-or-huge distribution with useful small nonzero values. Use exact expModInteger powers within each eight-bit band, with CEK budget snapshots comparing CPU and memory. Expose Int.pow2 and use its exact modular fast path in Int.pow for base two. — Thanks @MicroProofs!
+- [594d180d](https://github.com/orbistry/nash/commit/594d180dd1fc5cbdf5803713296fc80d18575aa2) Complete Prop generators with booleans, options, bounded and exact bytes, weighted alternatives, and arbitrary-precision integer generation. Normalize Big/little bounds and weights, preserve strict replay groups, and express tuple2 through generator do. Add source snapshots for range properties and reduced counterexamples. — Thanks @MicroProofs!
+- [bec1d2ac](https://github.com/orbistry/nash/commit/bec1d2accff3476ada1195d93c473f68f5434a08) Add integer gcd/lcm/square-root operations and result-checking predicates,
+  normalized little rational arithmetic, and Big/little Crypto wrappers over
+  Plutus hash and signature builtins. Move the Bytes hash helpers into Crypto. Embed Rational and Crypto with implicit
+  qualified imports, exact reference snapshots and predicate budget comparisons. — Thanks @MicroProofs!
+- [6c489a62](https://github.com/orbistry/nash/commit/6c489a62742bd1fb4a64d5f3e9ab51c075785988) Ship Cardano V3 context, address, governance, value, and interval modules in Base. Use native value builtins, explicit Nash wire validation, and Haskell-generated encoding and interval comparisons. — Thanks @MicroProofs!
+
+### Patch changes
+
+- [09ca8317](https://github.com/orbistry/nash/commit/09ca8317595c7afd41a9f55394da9c5ba95e5280) Use pipe operators for list Data conversions and share their implementations through Function. — Thanks @MicroProofs!
+- [80fbf743](https://github.com/orbistry/nash/commit/80fbf7435cec0556f21ca503218e5bf208adabf0) Use a compile-time constant array for small powers of two in Int.pow2 and the base-two Int.pow path. Budget snapshots compare runtime arrays, constant arrays and modular exponentiation; constant lookup uses less CPU and memory without runtime table construction. — Thanks @MicroProofs!
+- [80fbf743](https://github.com/orbistry/nash/commit/80fbf7435cec0556f21ca503218e5bf208adabf0) Remove predicate-filtered generators and their bounded retry loop, fixtures, and documentation. Build valid values directly through generator composition. — Thanks @MicroProofs!
+- [100e54a5](https://github.com/orbistry/nash/commit/100e54a54c302182d405a473cd794a40240a9d68) Use pipe operators for one-argument call chains across the base library. — Thanks @MicroProofs!
+- Updated dependencies: nash-can@0.12.0, nash-codegen@0.4.2, nash-constrain@0.8.2, nash-plutus@0.3.2, nash-report@0.5.3, nash-solve@0.9.1, nash-test@0.4.1
+
 ## 0.10.0 — 2026-09-25
 
 ### Minor changes
diff --git a/crates/nash-driver/Cargo.toml b/crates/nash-driver/Cargo.toml
index 3cd785fd..21c81a94 100644
--- a/crates/nash-driver/Cargo.toml
+++ b/crates/nash-driver/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "nash-driver"
-version = "0.10.0"
+version = "0.11.0"
 edition.workspace = true
 description = "Build system and driver for Nash projects"
 homepage.workspace = true
@@ -8,9 +8,9 @@ repository.workspace = true
 license.workspace = true
 
 [dependencies]
-nash-test = { path = "../nash-test", version = "0.4.0" }
-nash-codegen = { path = "../nash-codegen", version = "0.4.1" }
-nash-plutus = { path = "../nash-plutus", version = "0.3.1" }
+nash-test = { path = "../nash-test", version = "0.4.1" }
+nash-codegen = { path = "../nash-codegen", version = "0.4.2" }
+nash-plutus = { path = "../nash-plutus", version = "0.3.2" }
 async-trait.workspace = true
 bumpalo.workspace = true
 glob.workspace = true
@@ -23,12 +23,12 @@ url.workspace = true
 nash-config = { path = "../nash-config", version = "0.5.0" }
 nash-nitpick = { path = "../nash-nitpick", version = "0.3.2" }
 nash-ast = { path = "../nash-ast", version = "0.11.0" }
-nash-can = { path = "../nash-can", version = "0.11.0" }
-nash-constrain = { path = "../nash-constrain", version = "0.8.1" }
+nash-can = { path = "../nash-can", version = "0.12.0" }
+nash-constrain = { path = "../nash-constrain", version = "0.8.2" }
 nash-parse = { path = "../nash-parse", version = "0.8.0" }
-nash-report = { path = "../nash-report", version = "0.5.2" }
+nash-report = { path = "../nash-report", version = "0.5.3" }
 nash-region = { path = "../nash-region", version = "0.3.0" }
-nash-solve = { path = "../nash-solve", version = "0.9.0" }
+nash-solve = { path = "../nash-solve", version = "0.9.1" }
 nash-source = { path = "../nash-source", version = "0.9.0" }
 
 [dev-dependencies]
diff --git a/crates/nash-ir/CHANGELOG.md b/crates/nash-ir/CHANGELOG.md
index 98a8efb4..22f0bb26 100644
--- a/crates/nash-ir/CHANGELOG.md
+++ b/crates/nash-ir/CHANGELOG.md
@@ -1,5 +1,11 @@
 # nash-ir
 
+## 0.3.3 — 2026-09-26
+
+### Patch changes
+
+- Updated dependencies: nash-plutus@0.3.2
+
 ## 0.3.2 — 2026-09-25
 
 ### Patch changes
diff --git a/crates/nash-ir/Cargo.toml b/crates/nash-ir/Cargo.toml
index c7ecaef3..98efa253 100644
--- a/crates/nash-ir/Cargo.toml
+++ b/crates/nash-ir/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "nash-ir"
-version = "0.3.2"
+version = "0.3.3"
 edition.workspace = true
 description = "Nash Core IR with explicit runtime representations"
 homepage.workspace = true
@@ -9,7 +9,7 @@ license.workspace = true
 
 [dependencies]
 nash-ast = { path = "../nash-ast", version = "0.11.0" }
-nash-plutus = { path = "../nash-plutus", version = "0.3.1" }
+nash-plutus = { path = "../nash-plutus", version = "0.3.2" }
 
 [dev-dependencies]
 insta.workspace = true
diff --git a/crates/nash-language-server/CHANGELOG.md b/crates/nash-language-server/CHANGELOG.md
index b04a825f..2a8b8bae 100644
--- a/crates/nash-language-server/CHANGELOG.md
+++ b/crates/nash-language-server/CHANGELOG.md
@@ -1,5 +1,11 @@
 # nash-language-server
 
+## 0.4.5 — 2026-09-26
+
+### Patch changes
+
+- Updated dependencies: nash-driver@0.11.0, nash-report@0.5.3
+
 ## 0.4.4 — 2026-09-25
 
 ### Patch changes
diff --git a/crates/nash-language-server/Cargo.toml b/crates/nash-language-server/Cargo.toml
index 10e57fa9..d6fcc891 100644
--- a/crates/nash-language-server/Cargo.toml
+++ b/crates/nash-language-server/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "nash-language-server"
-version = "0.4.4"
+version = "0.4.5"
 edition.workspace = true
 description = "Language server for the nash programming language"
 homepage.workspace = true
@@ -9,8 +9,8 @@ license.workspace = true
 
 [dependencies]
 tower-lsp-server.workspace = true
-nash-driver = { path = "../nash-driver", version = "0.10.0" }
-nash-report = { path = "../nash-report", version = "0.5.2" }
+nash-driver = { path = "../nash-driver", version = "0.11.0" }
+nash-report = { path = "../nash-report", version = "0.5.3" }
 nash-region = { path = "../nash-region", version = "0.3.0" }
 serde_json.workspace = true
 tokio.workspace = true
diff --git a/crates/nash-plutus/CHANGELOG.md b/crates/nash-plutus/CHANGELOG.md
index eb021fc1..d9a7c021 100644
--- a/crates/nash-plutus/CHANGELOG.md
+++ b/crates/nash-plutus/CHANGELOG.md
@@ -1,5 +1,16 @@
 # nash-plutus
 
+## 0.3.2 — 2026-09-26
+
+### Patch changes
+
+- [d7301b1f](https://github.com/orbistry/nash/commit/d7301b1f5d833f84301bfdc7e58345701f2c2fd9) Consolidate Data conversion and checking in traits. Allow explicit little-type
+  ToData and FromData implementations alongside Big-only identity blankets. Add
+  independent optional Decode instances, including Cardano V3 types, and remove
+  the separate encoder and decoder combinator modules.
+  
+  Encode Flat terms iteratively so large context decoders do not exhaust the host stack. — Thanks @MicroProofs!
+
 ## 0.3.1 — 2026-09-22
 
 ### Patch changes
diff --git a/crates/nash-plutus/Cargo.toml b/crates/nash-plutus/Cargo.toml
index 984254df..1ffba932 100644
--- a/crates/nash-plutus/Cargo.toml
+++ b/crates/nash-plutus/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "nash-plutus"
-version = "0.3.1"
+version = "0.3.2"
 edition.workspace = true
 description = "Untyped Plutus Core CEK Machine"
 homepage.workspace = true
diff --git a/crates/nash-report/CHANGELOG.md b/crates/nash-report/CHANGELOG.md
index e06da2a6..cb34fa93 100644
--- a/crates/nash-report/CHANGELOG.md
+++ b/crates/nash-report/CHANGELOG.md
@@ -1,5 +1,11 @@
 # nash-report
 
+## 0.5.3 — 2026-09-26
+
+### Patch changes
+
+- Updated dependencies: nash-can@0.12.0, nash-constrain@0.8.2
+
 ## 0.5.2 — 2026-09-25
 
 ### Patch changes
diff --git a/crates/nash-report/Cargo.toml b/crates/nash-report/Cargo.toml
index beb6ba89..2b0aa352 100644
--- a/crates/nash-report/Cargo.toml
+++ b/crates/nash-report/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "nash-report"
-version = "0.5.2"
+version = "0.5.3"
 edition.workspace = true
 description = "Error reports for the Nash compiler: Elm's prose rendered with miette"
 homepage.workspace = true
@@ -13,8 +13,8 @@ unicode-width = "0.1.14"
 serde.workspace = true
 serde_json.workspace = true
 nash-ast = { path = "../nash-ast", version = "0.11.0" }
-nash-can = { path = "../nash-can", version = "0.11.0" }
-nash-constrain = { path = "../nash-constrain", version = "0.8.1" }
+nash-can = { path = "../nash-can", version = "0.12.0" }
+nash-constrain = { path = "../nash-constrain", version = "0.8.2" }
 nash-nitpick = { path = "../nash-nitpick", version = "0.3.2" }
 nash-parse = { path = "../nash-parse", version = "0.8.0" }
 nash-region = { path = "../nash-region", version = "0.3.0" }
diff --git a/crates/nash-solve/CHANGELOG.md b/crates/nash-solve/CHANGELOG.md
index e351184e..185041bb 100644
--- a/crates/nash-solve/CHANGELOG.md
+++ b/crates/nash-solve/CHANGELOG.md
@@ -1,5 +1,11 @@
 # nash-solve
 
+## 0.9.1 — 2026-09-26
+
+### Patch changes
+
+- Updated dependencies: nash-can@0.12.0, nash-constrain@0.8.2
+
 ## 0.9.0 — 2026-09-25
 
 ### Minor changes
diff --git a/crates/nash-solve/Cargo.toml b/crates/nash-solve/Cargo.toml
index d63566ce..342101ca 100644
--- a/crates/nash-solve/Cargo.toml
+++ b/crates/nash-solve/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "nash-solve"
-version = "0.9.0"
+version = "0.9.1"
 edition.workspace = true
 description = "The entry point of nash's type inference system. Implements type inference and specialization of traits."
 homepage.workspace = true
@@ -10,8 +10,8 @@ license.workspace = true
 [dependencies]
 bumpalo.workspace = true
 nash-ast = { path = "../nash-ast", version = "0.11.0" }
-nash-can = { path = "../nash-can", version = "0.11.0" }
-nash-constrain = { path = "../nash-constrain", version = "0.8.1" }
+nash-can = { path = "../nash-can", version = "0.12.0" }
+nash-constrain = { path = "../nash-constrain", version = "0.8.2" }
 nash-region = { path = "../nash-region", version = "0.3.0" }
 
 [dev-dependencies]
diff --git a/crates/nash-test/CHANGELOG.md b/crates/nash-test/CHANGELOG.md
index c88df02b..4ed16b98 100644
--- a/crates/nash-test/CHANGELOG.md
+++ b/crates/nash-test/CHANGELOG.md
@@ -1,5 +1,11 @@
 # nash-test
 
+## 0.4.1 — 2026-09-26
+
+### Patch changes
+
+- Updated dependencies: nash-plutus@0.3.2
+
 ## 0.4.0 — 2026-09-25
 
 ### Minor changes
diff --git a/crates/nash-test/Cargo.toml b/crates/nash-test/Cargo.toml
index 74fef391..ffdc6b3a 100644
--- a/crates/nash-test/Cargo.toml
+++ b/crates/nash-test/Cargo.toml
@@ -1,12 +1,12 @@
 [package]
 name = "nash-test"
-version = "0.4.0"
+version = "0.4.1"
 edition.workspace = true
 license.workspace = true
 description = "Deterministic Nash test and property runner"
 
 [dependencies]
-nash-plutus = { path = "../nash-plutus", version = "0.3.1" }
+nash-plutus = { path = "../nash-plutus", version = "0.3.2" }
 nash-source = { path = "../nash-source", version = "0.9.0" }
 nash-region = { path = "../nash-region", version = "0.3.0" }
 nash-config = { path = "../nash-config", version = "0.5.0" }