0.6.1 — 2026-09-22

Released: nash-cli 0.6.1, nash-ast 0.10.0, nash-can 0.10.0, nash-codegen 0.4.0, nash-constrain 0.8.0, nash-driver 0.9.0, nash-ir 0.3.1, nash-language-server 0.4.3, nash-nitpick 0.3.1, nash-parse 0.7.1, nash-plutus 0.3.1, nash-report 0.5.1, nash-solve 0.8.0, nash-source 0.8.1, nash-test 0.3.0

Minor changes

• nash-ast, nash-can, nash-codegen, nash-constrain, nash-driver, nash-nitpick, nash-solve — aee8c3d2 Overload bare boolean and unit expressions through FromBool and FromUnit, with
  little defaults and bundled implementations for bool, Bool, unit, and Unit.
  Like integer literals, unannotated values retain their literal constraints;
  annotate concrete entry points where needed. Qualified constructors and patterns
  retain their declared types. Add source snapshots for inference, diagnostics,
  custom conversions, and execution. — Thanks @MicroProofs!
• nash-ast, nash-can, nash-codegen, nash-driver, nash-nitpick, nash-parse, nash-report, nash-solve, nash-source, nash-test — 3f9188b0 Name property generation Prop throughout the compiler, Base, diagnostics and
  examples. Use direct draws returning values and PRNG states. Remove the identity
  run helper, generator map/bind functions and generator trait instances; ordinary
  Option do notation remains available for explicit state-threaded draws. — Thanks @MicroProofs!
• nash-can, nash-codegen, nash-driver, nash-report, nash-solve — 402557e5 Complete Base type helpers with Big or little inputs and little outer results.
  Preserve payload types in Lift conversions, support identity conversion for all
  types, and keep mixed-representation boolean calls lazy. Add source snapshots
  for helper behavior and rejected recursive conversions. — Thanks @MicroProofs!
• nash-can, nash-driver — afaa06a4 Keep computation trait instances on little representations. Add mixed Big/little
  integer arithmetic and ordering helpers, byte append/ordering helpers, Map.union,
  and Option.apply; return little outer representations without converting payloads.
  Remove Result/result, its implicit import, and Option.toResult from bundled Base. — Thanks @MicroProofs!
• nash-codegen, nash-driver, nash-plutus, nash-solve, nash-test — dccae3df Use a function alias for generators, returning value and next PRNG state per draw.
  Remove the redundant replay count. Prepare properties once and retain their
  state, body function, and deferred display function without rerunning generators.
  Preserve function aliases in typed definitions and captured variables inside
  native constructor and case nodes when returning CEK closures. — Thanks @MicroProofs!
• nash-codegen, nash-driver, nash-parse — 9a7fe0ec Move property sampling, rejection, tuple preparation and deferred body/display
  functions into Nash Test helpers. Keep codegen responsible for source callbacks
  and pattern binding. Compose assertion capture traces through Nash helpers while
  preserving failure-only evaluation and compiler trace settings. Base Test uses
  Builtin.trace directly. Allow keyword-named qualified references in source,
  removing the compiler special case for Test-module traces. — Thanks @MicroProofs!
• nash-driver, nash-test — 1d057156 Use little prng state with native bytes, integers, and lists for property testing.
  Pass native constructor terms between generators and the runner, removing Data
  wrapping from seeded draws and replay. — Thanks @MicroProofs!
• nash-driver — e4abaade Add List.isLength for Big or little lists and integer counts, using dropList
  and a singleton pattern rather than traversing the full list to count it. — Thanks @MicroProofs!
• nash-solve — 76a7a02e Allow record updates on visible single-constructor labeled types. Preserve
  constructor encoding, declared field order, and existing field type checking. — Thanks @MicroProofs!

Patch changes

• nash-codegen — 24a661d6 Reuse list tails across Big field projections and preserve unchanged suffixes when updating Big records. — Thanks @MicroProofs!
• nash-codegen — 4bdf1519 Use declared Big record field counts to reuse adjacent tails without requiring earlier field reads. — Thanks @MicroProofs!
• nash-codegen, nash-driver — b3699dba Use shared native list and pair cases for field extraction and Base traversal.
  Reuse case-bound tails across adjacent accesses and use dropList for remaining
  gaps of two or more, preserving evaluation order and record update suffixes. — Thanks @MicroProofs!
• nash-codegen — 737b7237 Trust solved constructor layouts when compiling patterns. Remove Data variant
  checks for typed Big unions, omit dispatch for single-constructor types, and use
  native integer case dispatch for dense constructor tags. Preserve strict
  scrutinee evaluation and explicit matches on unrestricted Data. Add Nash source,
  Core, UPLC, and execution snapshots for Bool, Unit, and nested constructors. — Thanks @MicroProofs!
• nash-codegen, nash-driver — 76a7a02e Skip payload decoding for ignored Data-pattern fields. Use direct Data
  unwrappers in Base validation implementations, preserving their failure behavior
  and existing element validation without redundant Data variant dispatch. — Thanks @MicroProofs!
• nash-codegen, nash-driver — ba13694e Preserve short-circuiting for fully applied Bool.and and Bool.or calls, including assertions. Correct Show Data constructor formatting and add executable snapshots for bundled Base traits and operators. — Thanks @MicroProofs!
• nash-codegen — 4243f95b Skip ignored Big constructor and record field projections during pattern
  lowering. Reuse list tails between required fields and avoid reconstructing
  unused Big-list tails while preserving strict scrutinee evaluation. — Thanks @MicroProofs!

Dependency updates

• nash-cli: nash-codegen@0.4.0, nash-driver@0.9.0, nash-language-server@0.4.3, nash-report@0.5.1, nash-test@0.3.0
• nash-ast: nash-source@0.8.1
• nash-can: nash-ast@0.10.0, nash-source@0.8.1
• nash-codegen: nash-ast@0.10.0, nash-can@0.10.0, nash-ir@0.3.1, nash-plutus@0.3.1, nash-solve@0.8.0, nash-test@0.3.0
• nash-constrain: nash-ast@0.10.0, nash-can@0.10.0
• nash-driver: nash-ast@0.10.0, nash-can@0.10.0, nash-codegen@0.4.0, nash-constrain@0.8.0, nash-nitpick@0.3.1, nash-parse@0.7.1, nash-plutus@0.3.1, nash-report@0.5.1, nash-solve@0.8.0, nash-source@0.8.1, nash-test@0.3.0
• nash-ir: nash-ast@0.10.0, nash-plutus@0.3.1
• nash-language-server: nash-driver@0.9.0, nash-report@0.5.1
• nash-nitpick: nash-ast@0.10.0
• nash-parse: nash-source@0.8.1
• nash-report: nash-ast@0.10.0, nash-can@0.10.0, nash-constrain@0.8.0, nash-nitpick@0.3.1, nash-parse@0.7.1, nash-source@0.8.1
• nash-solve: nash-ast@0.10.0, nash-can@0.10.0, nash-constrain@0.8.0
• nash-test: nash-plutus@0.3.1, nash-source@0.8.1