0.5.0 — 2026-09-18

Released: nash-cli 0.5.0, nash-codegen 0.2.0, nash-driver 0.7.0, nash-language-server 0.4.1, nash-report 0.4.0, nash-solve 0.6.0

Minor changes

• nash-cli, nash-driver, nash-report — 1650217 Add validator entry-point diagnostics and build solved modules into Plutus V3 scripts with nash build output in UPLC, Flat, and single-wrapped CBOR formats. — Thanks @MicroProofs!
• nash-cli, nash-codegen, nash-driver — bf78f35 Complete validator builds with project and CLI target/trace settings, production
  test-block exclusion, protocol-10 target validation, and verified script hashes.
  Write single-wrapped CBOR as hex text instead of binary and track generated
  artifacts for safe stale-output cleanup. Existing output directories without an
  ownership manifest must be cleared of colliding artifacts or replaced with a
  fresh output directory. Optimizer settings remain unavailable. — Thanks @MicroProofs!
• nash-codegen — ca0a5ee Compile reachable solved definitions with static trait specialization, scoped field-access sharing, checked program assembly, and bounded comptime evaluation. Add exhaustive Core traversal helpers, single-wrapped CBOR encoding, and executable Vesting budget baselines. — Thanks @MicroProofs!
• nash-codegen, nash-driver — 9440314 Add Core IR with explicit representations, UPLC text printing and checked DeBruijn conversion, executable structural lowering, recursion rewriting, complete builtin mapping, and lazy canonical type conversion for code generation. Add checked Data casts, shared pattern decision trees, evidence normalization, layout-demand analysis, and a driver callback retaining solved build state. — Thanks @MicroProofs!
• nash-solve — fb37ab1 Canonicalize and type-check assertions, aborts, traces, and compile-time expressions while preserving source locations, dependency tracking, solved node types, and pattern coverage checks. — Thanks @MicroProofs!
• nash-solve — c064513 Publish solved types for every canonical expression and pattern in the owning scheme's type-variable scope for code generation. — Thanks @MicroProofs!

Patch changes

• nash-cli, nash-report — 6a9afd5 Display diagnostic source paths relative to the loaded workspace or package root, with absolute file hyperlinks on supported terminals, including related diagnostics. Preserve miette diagnostic-code headers and severity markers, and retain absolute source identities for JSON and editor clients. — Thanks @MicroProofs!

• nash-cli, nash-codegen, nash-driver, nash-report, nash-solve — 3cb7a0f Preserve miette diagnostic codes and error/warning markers in terminal output. Show source paths relative to the project root while keeping file hyperlinks absolute.

  Expand colorless rendered diagnostic snapshot coverage across parser, canonicalizer, solver, driver, and CLI tests. Record Nash source instead of Rust assertion expressions in source-driven snapshots, move codegen snapshots to source-compilation tests, and check snapshot metadata for regressions. Keep direct assertions for internal error values and hand-built Core behavior. — Thanks @MicroProofs!

• nash-codegen — 4d27cd2 Add Nash source-to-UPLC snapshot tests for collections, pattern matching,
  data conversions, traces, and validators. — Thanks @MicroProofs!

Dependency updates

• nash-cli: nash-codegen@0.2.0, nash-config@0.4.0, nash-driver@0.7.0, nash-language-server@0.4.1, nash-plutus@0.2.0, nash-report@0.4.0
• nash-codegen: nash-ast@0.8.0, nash-can@0.8.0, nash-constrain@0.6.0, nash-ir@0.2.0, nash-nitpick@0.2.2, nash-parse@0.6.1, nash-plutus@0.2.0, nash-solve@0.6.0
• nash-driver: nash-ast@0.8.0, nash-can@0.8.0, nash-codegen@0.2.0, nash-config@0.4.0, nash-constrain@0.6.0, nash-nitpick@0.2.2, nash-parse@0.6.1, nash-plutus@0.2.0, nash-report@0.4.0, nash-solve@0.6.0
• nash-language-server: nash-driver@0.7.0, nash-report@0.4.0
• nash-report: nash-ast@0.8.0, nash-can@0.8.0, nash-constrain@0.6.0, nash-nitpick@0.2.2, nash-parse@0.6.1, nash-solve@0.6.0
• nash-solve: nash-ast@0.8.0, nash-can@0.8.0, nash-constrain@0.6.0, nash-parse@0.6.1, nash-report@0.4.0