Fix cancellation, heartbeat, and LSP symbol budget issues - #3854

Merged

Widthdom merged 13 commits into

mainfrom

fix-issue3658-3760-3705-3758-3743-latest

Jun 20, 2026

Commits on Jun 20, 2026

Honor observer shutdown cancellation (#3760)
Widthdom
committed
18d9c29
Observe index heartbeat tasks (#3705)
Widthdom
committed
65b9eea
Route cancellation through status update checks (#3658)
Widthdom
committed
281310e
Avoid repeated document symbol serialization (#3743)
Widthdom
committed
2fa7c8b
Cap document symbol materialization (#3758)
Widthdom
committed
a572681
Stabilize timeout diagnostics test (#3658)
Widthdom
committed
ee5eba1
Honor pretty JSON document symbol budgets (#3743)
Widthdom
committed
a0caf9c
Merge origin/main into issue fixes (#3658, #3705, #3743, #3758, #3760)
Widthdom
committed
56b3d15
Merge origin/main into issue fixes (#3658, #3705, #3743, #3758, #3760)
Widthdom
committed
3b7e40a
Harden observed HTTP handler scheduling (#3705)
Widthdom
committed
773025e
Document HTTP handler scheduling fix (#3705)
Widthdom
committed
a43816e
Merge remote-tracking branch 'origin/main' into fix-issue3658-3760-3705-3758-3743-latest
Widthdom
committed
b009afa
Merge branch 'main' into fix-issue3658-3760-3705-3758-3743-latest
Widthdom
authored
9c26503