0.6.3 — 2026-09-26

Released: nash-cli 0.6.3, nash-can 0.12.0, nash-codegen 0.4.2, nash-constrain 0.8.2, nash-driver 0.11.0, nash-ir 0.3.3, nash-language-server 0.4.5, nash-plutus 0.3.2, nash-report 0.5.3, nash-solve 0.9.1, nash-test 0.4.1

Minor changes

• nash-can, nash-driver, nash-plutus — d7301b1f 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!

• nash-can, nash-driver — bec1d2ac 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!

• nash-can, nash-driver — 6c489a62 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!

• nash-can — 4c3c9dbb Add Function to the application default imports for qualified access to applyForward and applyBackward. — Thanks @MicroProofs!

• nash-driver — 4f8f3a68 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!

• nash-driver — 594d180d 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!

Patch changes

• nash-driver — 09ca8317 Use pipe operators for list Data conversions and share their implementations through Function. — Thanks @MicroProofs!
• nash-driver — 80fbf743 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!
• nash-driver — 80fbf743 Remove predicate-filtered generators and their bounded retry loop, fixtures, and documentation. Build valid values directly through generator composition. — Thanks @MicroProofs!
• nash-driver — 100e54a5 Use pipe operators for one-argument call chains across the base library. — Thanks @MicroProofs!

Dependency updates

• nash-cli: 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
• nash-codegen: 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
• nash-constrain: nash-can@0.12.0
• nash-driver: 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
• nash-ir: nash-plutus@0.3.2
• nash-language-server: nash-driver@0.11.0, nash-report@0.5.3
• nash-report: nash-can@0.12.0, nash-constrain@0.8.2
• nash-solve: nash-can@0.12.0, nash-constrain@0.8.2
• nash-test: nash-plutus@0.3.2