Release v3.0.0

What's Changed

• perf(build): disable shared libs for 17% faster builds by @takoeight0821 in #289
• chore(deps): bump actions/upload-artifact from 6.0.0 to 7.0.0 by @dependabot[bot] in #281
• chore(deps): bump advanced-security/spdx-dependency-submission-action from 0.1.1 to 0.2.0 by @dependabot[bot] in #280
• chore(deps): bump actions/cache from 5.0.1 to 5.0.3 by @dependabot[bot] in #279
• perf(ci): cache GHCup to speed up GHC setup step by @takoeight0821 in #291
• chore(deps): bump actions/github-script from 7 to 8 by @dependabot[bot] in #275
• chore(deps): bump actions/checkout from 4 to 6 by @dependabot[bot] in #274
• fix(syntax): exclude copattern-bound variables from freevars by @takoeight0821 in #293
• docs: add GHC build speedup best practices research by @takoeight0821 in #295
• chore(deps): remove unused deps and upgrade GitHub Actions by @takoeight0821 in #296
• fix(ci): remove manual GHCup cache step causing utime errors by @takoeight0821 in #299
• feat: LSP server MVP and query-based compilation engine by @takoeight0821 in #298
• feat(tests): optimize test execution with parallel options by @takoeight0821 in #301
• fix(ci): close stale release PRs when version bumps by @takoeight0821 in #303
• refactor: split malgo-lsp package, reduce dependencies, optimize CI by @takoeight0821 in #302
• refactor: remove aeson dependency from malgo package by @takoeight0821 in #304
• chore(test): reduce golden file diff noise and fix Prelude flat bug by @takoeight0821 in #305
• feat(test): add IR validators and shape fingerprints for ToCore pipeline by @takoeight0821 in #308
• refactor(test): reduce ToCore golden files by removing core/flat variants by @takoeight0821 in #309
• feat(ci): cache GHC installation with custom setup action by @takoeight0821 in #310
• refactor(test): reduce Parser/Rename/Elaborate/ToFun golden to representatives by @takoeight0821 in #311
• feat(test): add elaborate-enabled eval tests and full-program inference tests by @takoeight0821 in #312
• chore(devcontainer): GHC 9.12.4 toolchain workarounds and GH_TOKEN passthrough by @takoeight0821 in #315
• feat(scripts): add cabal dependency graph tool by @takoeight0821 in #316
• docs(dep-upgrade): add user-approval gates to skill by @takoeight0821 in #318
• fix(infer): reduce InferSpec pending tests from 69 to 12 by @takoeight0821 in #319
• fix(module): replace pwdPath with parseArtifactPathFromPwd by @takoeight0821 in #325
• chore(deps): remove unused deps and bump dependencies by @takoeight0821 in #317
• conductor(setup): Add conductor setup files by @takoeight0821 in #326
• fix(infer): Relax occurs check for recursive/codata types (#320) by @takoeight0821 in #327
• fix(infer): propagate inferred types across modules via InferredModule query (#321) by @takoeight0821 in #332
• fix(infer): expand type synonyms eagerly and identify TVar by Id by @takoeight0821 in #334
• fix(infer): make constraint solving failure-atomic by @takoeight0821 in #335
• Add regression coverage for solvedSubst leakage across failed unification paths by @takoeight0821 with @Copilot in #336
• fix(devcontainer): force UTF-8 locale for postCreate setup by @takoeight0821 in #338
• fix(infer): make unifier cycle detection α-equivalence-aware for recursive types by @takoeight0821 with @Copilot in #337
• fix(infer): prevent infinite loop in composeSubst when TMu value gains free key by @takoeight0821 in #339
• fix(infer): resolve non-termination and RecordP unification regression by @takoeight0821 in #341
• feat(compiler): add self-hosted interpreter in Malgo by @takoeight0821 in #342
• fix(parser): tighten field access precedence in CStyle parser by @takoeight0821 in #345
• feat(examples): add Forth interpreter in Malgo by @takoeight0821 in #344
• feat(editors): add VS Code syntax highlighting extension by @takoeight0821 in #346
• test(forth): add test cases covering more words and behaviors by @takoeight0821 in #347
• feat(lint): add a Malgo style linter with malgo lint by @takoeight0821 in #348
• refactor(runtime): make the self-hosted compiler lint-clean + gate runtime in CI by @takoeight0821 in #349
• feat(backend): add a Zig code-generation backend (malgo compile) by @takoeight0821 in #351
• feat(zig): Perceus reference counting + leak-check gate (M9) by @takoeight0821 in #352
• feat(zig): allocation-reduction passes + FBIP-style reuse tokens (M10) by @takoeight0821 in #353
• fix(zig): address deferred cleanup findings from #351/#352/#353 reviews by @takoeight0821 in #355
• docs: add Zig backend, Perceus GC, and MET tool documentation by @takoeight0821 in #356
• fix(zig): address max-effort architecture review follow-ups by @takoeight0821 in #357
• feat(lean): full Haskell-to-Lean 4 port (M0-M9) by @takoeight0821 in #358
• feat(lean): first real theorems in the Lean port (IntMap) by @takoeight0821 in #362
• feat(lean): prove insert_wf for IntMap by @takoeight0821 in #363
• refactor(lean): de-partialize SExpr.lean's toInter/pp by @takoeight0821 in #364
• refactor(lean): de-partialize Rename/Pass.lean's 5 pure helpers by @takoeight0821 in #365
• refactor(lean): de-partialize Debug/DiffView.lean's Tier 3 items by @takoeight0821 in #366
• refactor(lean): de-partialize Debug/PrettyIR.lean by @takoeight0821 in #367
• refactor(lean): de-partialize Sequent/Core/Full.lean's toSExpr family (#359, Tier 3) by @takoeight0821 in #368
• refactor(lean): de-partialize Flat.lean and Join.lean's toSExpr families (#359, Tier 3) by @takoeight0821 in #369
• perf(ci): run selfhost-level2's 5 test cases in parallel by @takoeight0821 in #370
• refactor(lean): de-partialize Syntax.lean's dump/boundVars/freevars family (#359, Tier 3) by @takoeight0821 in #371
• refactor(lean): de-partialize Sequent/Core/Json.lean's toJson direction (#359, Tier 3) by @takoeight0821 in #372
• refactor(lean): de-partialize SaturateCtor.lean's peel/goExpr/goBranch (#359, Tier 2 prerequisite) by @takoeight0821 in #373
• feat(lean): prove SaturateCtor's no-remaining-saturated-spine invariant (#359, Tier 2) by @takoeight0821 in #374
• ci(actions): add actions-timeline job to build and lean workflows by @takoeight0821 in #375
• refactor(lean): de-partialize Normalize.lean's substStatement family (#359) by @takoeight0821 in #376
• feat(lean): give ModuleName a Std.TransCmp instance (#359, Tier 2 foundational gap) by @takoeight0821 in #377
• feat(lean): prove reverseDepClosureGo termination (#359, Tier 2) by @takoeight0821 in #378
• docs: レポート追加 issue #359 の証明導入 / Lean 4 移植 (M0-M9) 総括 by @takoeight0821 in #380

New Contributors

• @takoeight0821 with @Copilot made their first contribution in #336

Full Changelog: v2.3.0...v3.0.0