perf(lsp): eliminate the cross-LSP O(n²) — shared Java registry, own-file overlay, complexity guard (#1669) - #1681

Merged

DeusData merged 11 commits into

mainfrom

feat/scaling-probe

Aug 17, 2026

Commits on Aug 16, 2026

feat(diagnostics): make superlinear passes visible from an ordinary run
DeusData
committed
f6e3af4
style(diagnostics): clang-format the new scaling-probe and cross_lsp_cost lines
DeusData
committed
170590b
feat(diagnostics): report per-file cross-LSP registry cost
DeusData
committed
cffb4e3
perf(lsp): shared Java cross-registry + own-file overlay (#1669)
DeusData
committed
e24f0c6
test(complexity): deterministic O(n^2) guard on work-counter ratios
DeusData
committed
e700b62
perf(cs): eliminate the C# corpus-proportional scans — 1211s -> 450s, +37% edges
DeusData
committed
a4c0ffb
perf(store,ts): dedup coverage shadow-graph dirs; TS export re-export boundary
DeusData
committed
a412642
perf(ts): charge the type budget on expression-eval entries
DeusData
committed
f95fe55
fix(test): convert forbidden SKIP()s in the complexity suite to policy forms
DeusData
committed
ec16764
fix(lsp): build empty cross-registries for zero-def corpora
DeusData
committed
459be8b
perf(ts): memoize expression-type evaluation per node
DeusData
committed
51770de