0.2.4 — 2026-09-05

Released: nash-cli 0.2.4, nash-ast 0.5.0, nash-can 0.4.0, nash-constrain 0.2.3, nash-driver 0.2.3, nash-solve 0.2.3

Minor changes

• nash-ast, nash-can, nash-constrain, nash-solve — 5875804 Infer kind schemes across recursive type declarations and preserve them through canonical interfaces. Check constructor and record fields, retain applied type variables, and report unsupported higher-kinded value unification explicitly until plan 03. — Thanks @MicroProofs!
• nash-ast, nash-can — d69e330 Define kind schemes and representation bounds for builtin types and seed the canonical kind environment. — Thanks @MicroProofs!
• nash-ast, nash-can — 6bc70fe Relax the pair kind to Storable -> Storable -> Const so unConstrData : Data -> pair int (list Data) kind-checks; construction stays restricted to mkPairData. — Thanks @MicroProofs!
• nash-ast — a15a3b7 Add Big, Const, Term, arrow kinds, bounded kind sets, and quantified kind schemes. — Thanks @MicroProofs!
• nash-ast, nash-can, nash-constrain, nash-driver — 00ebcaa Check value annotations, including nested lets, while preserving original alias kind contracts. Include kind schemes and bounds in interface fingerprints and serialized interfaces. — Thanks @MicroProofs!
• nash-can — 7d82f03 Add bounded kind unification with occurs checks, fresh instantiation, and generalization. — Thanks @MicroProofs!
• nash-can — 4cf4ffb Enforce explicit Big, Const, Term, Storable, and arrow annotations on type parameters after recursive-group inference. Report mismatches at the parameter annotation. — Thanks @MicroProofs!

Patch changes

• nash-can, nash-constrain, nash-driver — 9c0692f Serialize interface caches directly without a version marker or older-format handling. Use the nash/core Builtin.List identity consistently for annotations, literals, and patterns, removing the alternate List.List kind scheme and import replacement. — Thanks @MicroProofs!

Dependency updates

• nash-cli: nash-driver@0.2.3
• nash-can: nash-ast@0.5.0
• nash-constrain: nash-ast@0.5.0
• nash-driver: nash-ast@0.5.0, nash-can@0.4.0, nash-constrain@0.2.3, nash-solve@0.2.3
• nash-solve: nash-ast@0.5.0, nash-can@0.4.0, nash-constrain@0.2.3