Release (main)

[rvcas]

This PR was generated by Sampo GitHub Action. When you're ready to do a release, you can merge this and the packages will be published automatically. Not ready yet? Just keep adding changesets to the default branch, and this PR will stay up to date.

nash-ast 0.10.0 -> 0.11.0

Minor changes

• 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!

Patch changes

• Updated dependencies: nash-source@0.9.0

nash-can 0.10.0 -> 0.11.0

Minor changes

• 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!
• 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!

Patch changes

• 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!
• Updated dependencies: nash-ast@0.11.0, nash-source@0.9.0

nash-cli 0.6.1 -> 0.6.2

Patch changes

• Updated dependencies: 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-codegen 0.4.0 -> 0.4.1

Patch changes

• 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!
• 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!
• Updated dependencies: 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 0.8.0 -> 0.8.1

Patch changes

• Updated dependencies: nash-ast@0.11.0, nash-can@0.11.0

nash-driver 0.9.0 -> 0.10.0

Minor changes

• 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!
• 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!
• 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!
• 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!

Patch changes

• 22000039 Use Monad and Functor operations in property list and byte generators while preserving replay group boundaries. — Thanks @MicroProofs!
• 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!
• 940d8d58 Evaluate rebuilt property candidates without regenerating them through replay, cache their complete outcomes, and express list element grouping through Monad.bind. — Thanks @MicroProofs!
• 661376a3 Normalize recorded property traces in Rust instead of reversing groups during Nash execution. Remove the unused Test.assertFailed helper. — Thanks @MicroProofs!
• Updated dependencies: 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 0.3.1 -> 0.3.2

Patch changes

• Updated dependencies: nash-ast@0.11.0

nash-language-server 0.4.3 -> 0.4.4

Patch changes

• Updated dependencies: nash-driver@0.10.0, nash-report@0.5.2

nash-nitpick 0.3.1 -> 0.3.2

Patch changes

• Updated dependencies: nash-ast@0.11.0

nash-parse 0.7.1 -> 0.8.0

Minor changes

• 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!

Patch changes

• Updated dependencies: nash-source@0.9.0

nash-report 0.5.1 -> 0.5.2

Patch changes

• 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!
• Updated dependencies: 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 0.8.0 -> 0.9.0

Minor changes

• 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!
• 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!

Patch changes

• Updated dependencies: nash-ast@0.11.0, nash-can@0.11.0, nash-constrain@0.8.1

nash-source 0.8.1 -> 0.9.0

Minor changes

• 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-test 0.3.0 -> 0.4.0

Minor changes

• 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!
• 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!

Patch changes

• 940d8d58 Evaluate rebuilt property candidates without regenerating them through replay, cache their complete outcomes, and express list element grouping through Monad.bind. — Thanks @MicroProofs!
• 661376a3 Normalize recorded property traces in Rust instead of reversing groups during Nash execution. Remove the unused Test.assertFailed helper. — Thanks @MicroProofs!
• Updated dependencies: nash-source@0.9.0