v2.0.0

What's Changed

• chore(deps): fix Dependabot for the pnpm workspace; bump extension deps by @ubugeeei in #208
• docs: README logo; deploy tnix.dev with the cf CLI and tokenless CI by @ubugeeei in #207
• chore(deps): Ox Content 3, vite-plus 1.0, @vscode/test-cli 0.0.15 by @ubugeeei in #210
• feat!: rename tnix to tynix (v2.0.0) by @ubugeeei in #211
• chore(zed): pin the tynix grammar to the renamed main by @ubugeeei in #212

Full Changelog: v1.0.0...v2.0.0

v1.0.0

What's Changed

• ci: lint/format/security hardening (fourmolu, hlint, CodeQL, typos, flake-update) by @ubugeeei in #118
• docs: issue/PR templates, troubleshooting + migration guides, hygiene fixes by @ubugeeei in #117
• fix(scripts): cross-platform tooling and release-target safety by @ubugeeei in #120
• ci(deps): bump the gh-actions group with 5 updates by @dependabot[bot] in #122
• feat(lsp): crash isolation, JSON-RPC errors, exit ordering, positionEncoding, logging (re-land) by @ubugeeei in #125
• fix(cli): write command output atomically by @ubugeeei in #124
• feat(editors): nix attach, version alignment, trace setting, Neovim/Zed READMEs by @ubugeeei in #119
• ci: migrate workflows to Blacksmith runners by @blacksmith-sh[bot] in #126
• feat(checker): not-callable diagnostic (TC0018) and codes for uncoded errors by @ubugeeei in #123
• ci: add Blacksmith sticky disk caching by @ubugeeei in #127
• fix(parser): cover reserved imports and numeric literals by @ubugeeei in #131
• fix(checker): tighten conditional and branch usage semantics by @ubugeeei in #132
• docs: add tnix logo asset by @ubugeeei in #128
• fix(lsp): make cache access LRU and guard incremental sync by @ubugeeei in #133
• feat(cli): add json version contract by @ubugeeei in #134
• docs: document unsupported nix surface by @ubugeeei in #138
• fix(lsp): evict cache on workspace changes by @ubugeeei in #136
• test(core): add property coverage by @ubugeeei in #135
• test(core): satisfy parser hlint functor law by @ubugeeei in #140
• feat(cli): add lsp subcommand by @ubugeeei in #137
• ci(deps): bump the gh-actions group with 3 updates by @dependabot[bot] in #144
• feat(parser): relational, equality, and boolean operators by @ubugeeei in #145
• feat(parser): subtraction and multiplication operators by @ubugeeei in #146
• feat(parser): list concatenation operator (++) by @ubugeeei in #147
• feat(parser): attribute-set update operator (//) by @ubugeeei in #148
• fix(parser): correct spelling in pathLiteral comment by @ubugeeei in #149
• feat(parser): attribute-presence operator (?) by @ubugeeei in #150
• feat(parser): assert expressions (assert cond; body) by @ubugeeei in #151
• feat(parser): recursive attribute sets (rec { ... }) by @ubugeeei in #152
• test(vscode): add @vscode/test-cli integration suite (stub LSP server) by @ubugeeei in #153
• feat(lsp): textDocument/signatureHelp provider by @ubugeeei in #154
• test(vscode): expand integration coverage (semantic tokens, inlay hints, links, sync) by @ubugeeei in #155
• fix(pretty): precedence-correct expression printing by @ubugeeei in #156
• feat(lsp): textDocument/formatting provider by @ubugeeei in #157
• feat(parser): string interpolation (antiquotation) by @ubugeeei in #158
• feat(parser): with expressions (with scope; body) by @ubugeeei in #159
• ci(deps): bump the gh-actions group with 2 updates by @dependabot[bot] in #165
• ci(deps): bump the gh-actions group with 12 updates by @dependabot[bot] in #182
• chore(deps)(deps-dev): bump mocha from 11.7.6 to 11.8.0 in /editors/vscode by @dependabot[bot] in #177
• chore(deps)(deps): bump vscode-languageclient from 9.0.1 to 10.1.0 in /editors/vscode by @dependabot[bot] in #178
• chore(deps)(deps-dev): bump typescript from 6.0.3 to 7.0.2 in /editors/vscode by @dependabot[bot] in #179
• chore(deps)(deps-dev): bump ovsx from 0.10.12 to 1.1.0 in /editors/vscode by @dependabot[bot] in #180
• chore(deps)(deps-dev): bump prettier from 3.8.3 to 3.9.6 in /editors/vscode by @dependabot[bot] in #181
• ci: keep flake update PR creation from failing on a missing label by @ubugeeei in #183
• fix: correct two miscompiles, cut the quadratic hot paths, and test both by @ubugeeei in #191
• ci(deps): bump the gh-actions group across 1 directory with 7 updates by @dependabot[bot] in #196
• v1: Nix parity, HM + row inference, rich LSP/editors, tnix.dev distribution by @ubugeeei in #198
• chore(deps)(deps-dev): bump VS Code extension dev dependencies by @ubugeeei in #199
• ci(deps): bump the gh-actions group across 1 directory with 5 updates by @dependabot[bot] in #200
• release: v1.0.0 by @ubugeeei in #201

New Contributors

• @blacksmith-sh[bot] made their first contribution in #126

Full Changelog: v0.5.0...v1.0.0

v0.5.0

What's Changed

• feat(lsp): handle textDocument/didSave and log JSON-RPC framing errors by @ubugeeei in #57
• chore(ci): add dependabot config and CODEOWNERS by @ubugeeei in #58
• ci: enforce prettier and rustfmt in a dedicated lint job by @ubugeeei in #59
• feat(core): render diagnostics through Pretty instead of show by @ubugeeei in #60
• fix(cli): make source-tree walks cycle-safe and depth-bounded by @ubugeeei in #62
• docs(governance): add GOVERNANCE.md and link it from README/CONTRIBUTING by @ubugeeei in #64
• docs(grammar): publish EBNF grammar for tnix and .d.tnix files by @ubugeeei in #78
• feat(core): expose structured parser error locations by @ubugeeei in #77
• ci(deps): bump the gh-actions group with 4 updates by @dependabot[bot] in #70
• chore(deps)(deps-dev): bump ovsx from 0.10.10 to 0.10.12 in /editors/vscode by @dependabot[bot] in #72
• chore(deps)(deps-dev): bump @types/node from 24.12.0 to 25.9.0 in /editors/vscode by @dependabot[bot] in #73
• ci(release): exercise CLI and LSP behaviour in the smoke step by @ubugeeei in #65
• ci(docs): lint markdown and verify relative links by @ubugeeei in #66
• test(core): add dedicated specs for Alias and Emit by @ubugeeei in #68
• docs(support-matrix): clarify per-platform support tiers by @ubugeeei in #69
• refactor(core): replace invariant-dependent partial functions with total forms by @ubugeeei in #61
• feat(editors/vscode): surface LSP startup failures and add a restart command by @ubugeeei in #63
• fix(cli): write scaffolded files atomically via tmp + rename by @ubugeeei in #67
• ci(release): publish and attest CycloneDX SBOMs for every release artifact by @ubugeeei in #76
• feat(core): tag every diagnostic with a stable code by @ubugeeei in #79
• refactor(lsp): extract workspace traversal into SessionWorkspace by @ubugeeei in #80
• refactor(lsp): extract text-span helpers into SessionText by @ubugeeei in #81
• refactor(lsp): move shared session data types to SessionTypes by @ubugeeei in #82
• refactor(lsp): extract symbol indexing into SessionSymbols by @ubugeeei in #83
• refactor(lsp): extract reference / definition resolution into SessionReferences by @ubugeeei in #84
• refactor(lsp): extract document cache into SessionDocuments by @ubugeeei in #85
• chore(deps)(deps-dev): bump prettier from 3.8.1 to 3.8.3 in /editors/vscode by @dependabot[bot] in #74
• chore(deps)(deps-dev): bump @vscode/vsce from 3.7.1 to 3.9.1 in /editors/vscode by @dependabot[bot] in #75
• chore(deps)(deps-dev): bump typescript from 5.9.3 to 6.0.3 in /editors/vscode by @dependabot[bot] in #71
• refactor(lsp): extract semantic-tokens provider into SessionSemanticTokens by @ubugeeei in #86
• refactor(lsp): extract diagnostic / quick-fix helpers into SessionDiagnostics by @ubugeeei in #87
• feat(lsp): cache workspace analysis results across requests by @ubugeeei in #88
• test(lsp): cover SessionText and SessionWorkspace with focused specs by @ubugeeei in #89
• test(lsp): cover SessionDiagnostics quick-fix machinery with focused spec by @ubugeeei in #90
• docs: consolidate Unreleased CHANGELOG and refresh LSP architecture map by @ubugeeei in #91
• refactor(lsp): extract URI helpers into ServerUri with focused spec by @ubugeeei in #92
• refactor(lsp): extract JSON-RPC framing into ServerProtocol by @ubugeeei in #93
• docs(grammar): escape pipe inside code spans so markdownlint accepts the tables by @ubugeeei in #94
• chore(deps): refresh pnpm-lock to match VS Code dependency bumps by @ubugeeei in #98
• feat(lsp): add textDocument/foldingRange provider by @ubugeeei in #95
• feat(lsp): add textDocument/documentHighlight provider by @ubugeeei in #96
• feat(lsp): add textDocument/documentLink provider by @ubugeeei in #97
• feat(lsp): add textDocument/inlayHint provider by @ubugeeei in #99
• chore(release): bump version to 0.5.0 by @ubugeeei in #100

New Contributors

• @dependabot[bot] made their first contribution in #70

Full Changelog: v0.4.0...v0.5.0

v0.4.0

What's Changed

• ci(release): verify release checksums by @ubugeeei in #6
• fix(lsp): honor utf-16 positions by @ubugeeei in #4
• fix(cli): avoid partial project outputs by @ubugeeei in #5
• [codex] production readiness hardening by @ubugeeei in #10
• fix(cli): emit json failures without die prefix by @ubugeeei in #23
• fix(cli): escape scaffolded string literals by @ubugeeei in #24
• fix(neovim): use tnix config as root marker by @ubugeeei in #25
• docs(project): add contribution and security policies by @ubugeeei in #27
• ci(deps): configure dependabot updates by @ubugeeei in #26
• chore(workspace): expose root pnpm scripts by @ubugeeei in #29
• docs(release): document support matrix by @ubugeeei in #28
• ci: harden workflows and release provenance by @ubugeeei in #30

New Contributors

• @ubugeeei made their first contribution in #6

Full Changelog: v0.3.1...v0.4.0

v0.3.1

Full Changelog: v0.3.0...v0.3.1

v0.3.0

Full Changelog: v0.2.0...v0.3.0

tnix v0.2.0

• Ship the first end-to-end tnix toolchain release with a Haskell core, CLI, LSP, and editor integrations for VS Code, Zed, and Neovim.
• Compile .tnix to .nix, type-check source files, and emit .d.tnix declaration files without adding any runtime layer.
• Add gradual typing primitives centered on dynamic, structural subtyping, ambient declarations for existing .nix, and declaration loading from workspace support files.
• Add type-level expressiveness including forall, conditional types, infer, higher-kinded aliases, and indexed container types for Vec, Matrix, Tensor, and Tuple.
• Infer exact container and sequence shapes from ordinary Nix list literals, including heterogeneous tuple inference and tensor widening back to structural list views when shapes diverge.
• Expand the regression suite across parser, checker, subtyping, compile/emit, CLI, LSP, VS Code, Zed, and Neovim validation.