v1.16.0

What's Changed

• fix: 一次收口 1000+ 条缺陷（族 01–69）+ 引擎/CLI/LSP 单体拆分重构 by @wmzy in #191
• chore(deps): bump the actions group with 2 updates by @dependabot[bot] in #189
• chore(deps): bump the deps group with 6 updates by @dependabot[bot] in #190
• Version Packages by @github-actions[bot] in #192

Full Changelog: v1.15.2...v1.16.0

v1.15.2

What's Changed

• Engine soundness wave, @nudo:invariant, nudo init, CI + benchmark noise by @wmzy in #186
• Version Packages by @github-actions[bot] in #187
• Version Packages by @github-actions[bot] in #188

Full Changelog: v1.15.0...v1.15.2

v1.15.0

What's Changed

• core/lsp: diag-code registry, Node 22 smoke CI, lsp-surface split by @wmzy in #182
• fix: strict-endpoint soundness, silent-failure surfaces, engines >=22 by @wmzy in #183
• Version Packages by @github-actions[bot] in #184

Full Changelog: v1.14.1...v1.15.0

v1.14.1

What's Changed

• fix-12: core domain split, nudo init, DX polish, host-accessor hygiene by @wmzy in #180
• Version Packages by @github-actions[bot] in #181
• chore(deps): bump the actions group with 3 updates by @dependabot[bot] in #177

Full Changelog: v1.14.0...v1.14.1

v1.14.0

What's Changed

• Add @nudo:invariant, sub reflexive folding, skip×case decoupling by @wmzy in #178
• Version Packages by @github-actions[bot] in #179

Full Changelog: v1.13.0...v1.14.0

v1.13.0

What's Changed

• perf(ci): main push to full sharded tests, nightly-only coverage by @wmzy in #171
• feat(core): guard-equality facts & sum anchoring for similarity (#170) by @wmzy in #172
• Version Packages by @github-actions[bot] in #173

Full Changelog: v1.12.0...v1.13.0

v1.12.0

What's Changed

• test: share callLit/l2Count harness; drop covered duplicate cases by @wmzy in #166
• Add @nudo:assume lemmas, fix 38 differential bugs, P4 class diagnostics by @wmzy in #167
• Fix/issue 129 by @wmzy in #168
• Version Packages by @github-actions[bot] in #169

Full Changelog: v1.11.3...v1.12.0

v1.11.3

What's Changed

• feat(core): @nudo:assume, coverage floor, exec-surface fixes by @wmzy in #162
• Version Packages by @github-actions[bot] in #164

Full Changelog: v1.11.2...v1.11.3

v1.11.2

What's Changed

• recursion-truncated: attribute cycle vs budget; expose B-path stats by @wmzy in #161
• Version Packages by @github-actions[bot] in #163

Full Changelog: v1.11.1...v1.11.2

v1.11.1

What's Changed

• fix(core): loop-widen array elements; assume×adoption soundness by @wmzy in #157
• Refactor tests: extract shared per-package test harnesses by @wmzy in #159
• chore(deps-dev): bump the deps group across 1 directory with 2 updates by @dependabot[bot] in #146
• Version Packages by @github-actions[bot] in #160

Full Changelog: v1.11.0...v1.11.1