orbistry · MicroProofs · Sep 26, 2026 · Sep 26, 2026
diff --git a/.sampo/changesets/base-pipes.md b/.sampo/changesets/base-pipes.md
diff --git a/.sampo/changesets/cardano-base.md b/.sampo/changesets/cardano-base.md
diff --git a/.sampo/changesets/data-conversion-traits.md b/.sampo/changesets/data-conversion-traits.md
diff --git a/.sampo/changesets/data-pipes.md b/.sampo/changesets/data-pipes.md
diff --git a/.sampo/changesets/function-default-import.md b/.sampo/changesets/function-default-import.md
diff --git a/.sampo/changesets/int-power-table.md b/.sampo/changesets/int-power-table.md
diff --git a/.sampo/changesets/math-crypto-base.md b/.sampo/changesets/math-crypto-base.md
diff --git a/.sampo/changesets/prop-generators.md b/.sampo/changesets/prop-generators.md
diff --git a/.sampo/changesets/prop-small-offsets.md b/.sampo/changesets/prop-small-offsets.md
diff --git a/.sampo/changesets/remove-prop-filtering.md b/.sampo/changesets/remove-prop-filtering.md
diff --git a/Cargo.lock b/Cargo.lock
diff --git 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
@@ -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
@@ -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
@@ -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,19 +16,19 @@ 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
 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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