0.6.2 — 2026-09-25

Released: nash-cli 0.6.2, nash-ast 0.11.0, nash-can 0.11.0, nash-codegen 0.4.1, nash-constrain 0.8.1, nash-driver 0.10.0, nash-ir 0.3.2, nash-language-server 0.4.4, nash-nitpick 0.3.2, nash-parse 0.8.0, nash-report 0.5.2, nash-solve 0.9.0, nash-source 0.9.0, nash-test 0.4.0

Minor changes

• nash-ast, nash-can, nash-codegen, nash-parse, nash-report, nash-solve, nash-source — 95d828a2 Distinguish implementation heads by compiler-owned representation classes. Allow disjoint Big and Little blankets, preserve representation bounds during selection and evidence resolution, and accept inline Little bounds. — Thanks @MicroProofs!
• nash-can, nash-driver, nash-solve — 9cc6614c Infer missing components of multi-parameter constraints from unique compatible implementations or supplied dictionaries. Retain connected hidden variables in generic signatures, account for identity Lift, and reject ambiguous conversions. Map.keys and Map.values now accept Big maps or little pair lists and return little lists with unchanged element types. — Thanks @MicroProofs!
• nash-can, nash-driver — 2ebeab1f Add composable Data decoders, encoders, and Map helpers to bundled Base. Embed nested Base modules with implicit qualified imports. Make Data.tag and Data.fields direct constructor accessors. — Thanks @MicroProofs!
• nash-codegen, nash-driver, nash-test — feeb1edb Use nested Choice/Group traces for property generation, strict replay, and reduction. Compose generator functions through ordinary Functor, Applicative, and Monad instances in Nash. Preserve reduced replay trees in runner outcomes. Retain concrete little type layouts when specializing generic trait helpers. — Thanks @MicroProofs!
• nash-driver, nash-test — 04cb160c Use consumed-draw feedback to repair unsuccessful property reductions. Reconstruct boundary proposals in Nash and validate them with strict replay. Add adaptive draw deletion, joint numeric reduction, whole-draw reordering, and coordinated decrement/deletion passes. — Thanks @MicroProofs!

Patch changes

• nash-driver — 22000039 Use Monad and Functor operations in property list and byte generators while preserving replay group boundaries. — Thanks @MicroProofs!
• nash-driver — 1a46ff5a Exercise nested little choice traces through compiled Nash generators and the
  CEK, including Rust-side group deletion, strict replay boundaries, dependent
  bounds, and consumed-trace normalization. — Thanks @MicroProofs!
• nash-driver, nash-test — 940d8d58 Evaluate rebuilt property candidates without regenerating them through replay, cache their complete outcomes, and express list element grouping through Monad.bind. — Thanks @MicroProofs!
• nash-driver, nash-test — 661376a3 Normalize recorded property traces in Rust instead of reversing groups during Nash execution. Remove the unused Test.assertFailed helper. — Thanks @MicroProofs!

Dependency updates

• nash-cli: nash-codegen@0.4.1, nash-driver@0.10.0, nash-language-server@0.4.4, nash-report@0.5.2, nash-test@0.4.0
• nash-ast: nash-source@0.9.0
• nash-can: nash-ast@0.11.0, nash-source@0.9.0
• nash-codegen: nash-ast@0.11.0, nash-can@0.11.0, nash-ir@0.3.2, nash-solve@0.9.0, nash-test@0.4.0
• nash-constrain: nash-ast@0.11.0, nash-can@0.11.0
• nash-driver: nash-ast@0.11.0, nash-can@0.11.0, nash-codegen@0.4.1, nash-constrain@0.8.1, nash-nitpick@0.3.2, nash-parse@0.8.0, nash-report@0.5.2, nash-solve@0.9.0, nash-source@0.9.0, nash-test@0.4.0
• nash-ir: nash-ast@0.11.0
• nash-language-server: nash-driver@0.10.0, nash-report@0.5.2
• nash-nitpick: nash-ast@0.11.0
• nash-parse: nash-source@0.9.0
• nash-report: nash-ast@0.11.0, nash-can@0.11.0, nash-constrain@0.8.1, nash-nitpick@0.3.2, nash-parse@0.8.0, nash-source@0.9.0
• nash-solve: nash-ast@0.11.0, nash-can@0.11.0, nash-constrain@0.8.1
• nash-test: nash-source@0.9.0