v0.28.0

What's Changed

• ci: scope publish.yml tag filter to v[0-9]* (avoid vscode-v* collision) by @RaghavChamadiya in #663
• fix(health): resolve code-health false-flag presentation (grouping, dominant cause, floor magnitude) by @swati510 in #700
• feat: Add Lean 4 language support (lightweight regex tier) by @mvanhorn in #600
• docs: publish verified no-key quickstart (README + repowise.dev) by @RaghavChamadiya in #627
• feat(api-client): add fetchAllPaginated pagination helper by @Ayush7614 in #682
• fix(go): rescue same-file type references from unused_export false po… by @crizah in #629
• fix(contributors): fold GitHub noreply emails so one person isn't two contributors by @swati510 in #701
• fix(update): rebuild the knowledge graph on incremental updates by @RaghavChamadiya in #702
• refactor(update): reconcile the workspace and single-repo update paths by @RaghavChamadiya in #703
• fix(update): atomic persistence, atomic locking, and honest failure reporting by @RaghavChamadiya in #706
• test(update): end-to-end and reliability coverage for repowise update by @RaghavChamadiya in #707
• release: v0.28.0 — reliable incremental updates, Lean 4 support by @RaghavChamadiya in #709

New Contributors

• @mvanhorn made their first contribution in #600
• @crizah made their first contribution in #629

Full Changelog: v0.27.0...v0.28.0