Gergo Magyar 6acca5a77b fix(ingestion): keep long ||/??/?: chains linear in callable-flow capture (#3354) ... Expanding value-selecting sources into per-branch flows made long chains super-linear and, past a few thousand operands, a stack overflow. A generated `w === "k0" || w === "k1" || ...` keyword table took 6.7 s at 1000 operands and 48 s at 2000, and threw RangeError at 8000. Two causes, both fixed without changing any emitted capture: - valueAlternatives recursed once per operator level and spread the partial results at every level. It is now an explicit stack that writes to one output array. The left-to-right order, the paren unwrapping, and the provider-hook contract (`[node]` means opaque) are unchanged. - Every alternative ran its visibility walks from its own leaf, which can be as deep as the chain is long, all the way to the root. Also, tree-sitter's `parent` re-descends from the root, so each step costs the node's depth. The walks now jump between "anchor" nodes, the only nodes any check can match: region ids and formal owners. The nearest anchor is memoized per node across the file, and parents come from a map recorded by the one DFS the synthesizer already does. After the fix: 0.34 s / 0.23 s / 1.6 s at 1000 / 2000 / 8000 operands. That is within about 1.2x of main without the expansion; what remains is tree-sitter query time. Capture fingerprints are byte-identical before and after the fix for all 16 scope-capture bench languages and for the Python harness. A `typescript-deep-chain` case added to the scope-capture bench guards the scaling: 1.11-1.22 now, 7.5-8.0 before. A unit test pins a 10000-operand chain: it must still yield the seed for a callable operand, the copy for a formal at the deepest leaf, and the invoke. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>		2026-09-25 14:29:31 +00:00
..
c	fix(scope-resolution): resolve callable reference flows (#2437) (#2522)	2026-07-17 17:20:02 +01:00
cpp	perf(cpp): index qualified namespace members once per pipeline run (#2788) (#2794)	2026-08-02 15:52:33 +01:00
csharp	fix: bind Razor ViewComponent names to in-repo classes (#3104)	2026-08-30 22:41:13 +00:00
go	fix(go, workspace): resolve test siblings and tighten package discovery (#3191)	2026-09-10 12:22:12 +01:00
java	fix(resolution): label fallback guesses and preserve export visibility (#3190)	2026-09-10 11:38:19 +01:00
javascript	feat(ingestion): add tRPC procedure detection and MCP chain/route surfacing (#3339)	2026-09-21 09:44:42 +01:00
objective-c	feat(indexing): add Objective-C semantic indexing support (#3179)	2026-09-09 09:40:21 +00:00
php	fix(php): gate imports by Composer autoload map (#2987)	2026-08-25 07:56:41 +01:00
python	fix(resolution): label fallback guesses and preserve export visibility (#3190)	2026-09-10 11:38:19 +01:00
ruby	fix(ruby): guard gem requires with dependency metadata (#3096)	2026-09-10 16:04:11 +01:00
rust	fix(rust): qualify items by their enclosing mod chain so same-named ones stay distinct (#2742) (#2745)	2026-07-30 17:08:00 +01:00
swift	fix(swift): resolve imports from Package.swift targets, not path segments (#3105)	2026-09-19 15:50:31 +01:00
typescript	feat(ingestion): add tRPC procedure detection and MCP chain/route surfacing (#3339)	2026-09-21 09:44:42 +01:00
callable-flow-captures.test.ts	fix(ingestion): keep long ||/??/?: chains linear in callable-flow capture (#3354)	2026-09-25 14:29:31 +00:00
callable-value-flow-env.test.ts	feat: make MAX_CALLABLE_VALUE_TARGETS configurable via env (#2725)	2026-08-01 12:42:36 +01:00
callable-value-flow-worklist.test.ts	perf(emit): drop six equivalent redundancies on Java-scale index path (#3129)	2026-09-01 11:22:55 +00:00
callable-value-target-index.test.ts	fix(scope-resolution): parse def coordinates after file paths (#2743)	2026-07-30 07:34:32 +01:00
cobol-import-target-parity.test.ts	fix(cobol): prefer copybook dirs so COPY EXTERNAL does not hit vendor decoys (#3240)	2026-09-10 15:42:59 +01:00
construction-syntax-wiring.test.ts	fix(resolution): type inline constructor receivers in every spelling (#2708) (#2737)	2026-07-29 16:19:53 +01:00
def-index.test.ts	feat(shared): DefIndex / ModuleScopeIndex / QualifiedNameIndex (#913, RFC #909 Ring 2 SHARED) (#958)	2026-04-18 15:59:34 +01:00
definition-id.test.ts	fix(scope-resolution): parse def coordinates after file paths (#2743)	2026-07-30 07:34:32 +01:00
emit-references.test.ts	feat(ingestion): emit-references drains ReferenceIndex to graph edges (#925, RFC #909 Ring 2 PKG) (#973)	2026-04-18 23:36:10 +01:00
esm-export-marker.test.ts	fix(resolution): label fallback guesses and preserve export visibility (#3190)	2026-09-10 11:38:19 +01:00
external-import-conformance.test.ts	fix(swift): resolve imports from Package.swift targets, not path segments (#3105)	2026-09-19 15:50:31 +01:00
finalize-algorithm.test.ts	fix(check): stop reporting erased and deferred imports as initialization cycles (#2934)	2026-08-12 17:09:32 +00:00
finalize-orchestrator.test.ts	fix(python): resolve classes through module imports (#2770)	2026-08-01 06:02:47 +01:00
free-call-fallback-guess-taint.test.ts	fix(resolution): label fallback guesses and preserve export visibility (#3190)	2026-09-10 11:38:19 +01:00
function-local-import-chain.test.ts	fix(check): stop reporting erased and deferred imports as initialization cycles (#2934)	2026-08-12 17:09:32 +00:00
generic-instantiation.test.ts	fix(scope-resolution): make interface dispatch generic-instantiation aware (#2912) (#2939)	2026-08-13 14:50:53 +01:00
graph-bridge-label-split.test.ts	fix: type an inference-typed class field so it can act as a call receiver (#2807) (#2810)	2026-08-04 19:31:25 +01:00
heritage-type-arguments.test.ts	fix(scope-resolution): make interface dispatch generic-instantiation aware (#2912) (#2939)	2026-08-13 14:50:53 +01:00
import-scope-provenance.test.ts	fix(resolution): label fallback guesses and preserve export visibility (#3190)	2026-09-10 11:38:19 +01:00
import-target-adapter.test.ts	feat(ingestion): per-language resolveImportTarget adapter (#922, RFC #909 Ring 2 PKG) (#971)	2026-04-18 21:11:24 +01:00
import-target-index-parity.test.ts	fix(kotlin): resolve imports from declared packages (#2990)	2026-08-18 20:47:30 -07:00
import-target-index-reuse.contract.test.ts	feat(indexing): add Objective-C semantic indexing support (#3179)	2026-09-09 09:40:21 +00:00
imported-return-types.test.ts	fix(ingestion): two-channel binding lifecycle (closes #1066) + scope-resolution I8 hardening (#1082)	2026-04-26 12:16:09 +01:00
imports-to-edges-deferred.test.ts	fix(check): stop reporting erased and deferred imports as initialization cycles (#2934)	2026-08-12 17:09:32 +00:00
imports-to-edges-type-only.test.ts	fix(check): stop reporting erased and deferred imports as initialization cycles (#2934)	2026-08-12 17:09:32 +00:00
method-dispatch-index.test.ts	chore(shared): apply Ring 2 SHARED review follow-ups in one diff (#964)	2026-04-18 18:40:29 +01:00
module-scope-index.test.ts	feat(shared): DefIndex / ModuleScopeIndex / QualifiedNameIndex (#913, RFC #909 Ring 2 SHARED) (#958)	2026-04-18 15:59:34 +01:00
name-fallback-summary.test.ts	fix(resolution): label fallback guesses and preserve export visibility (#3190)	2026-09-10 11:38:19 +01:00
name-fallback-visibility.test.ts	fix(rust): respect Cargo target boundaries in name fallback (#3294)	2026-09-16 11:36:07 +01:00
namespace-channel-lookup.test.ts	fix(csharp): eliminate global-namespace typeBindings O(files²) OOM (#1871) (#1954)	2026-05-31 18:21:07 +01:00
namespace-targets-import-path.test.ts	fix(python): resolve calls through an unaliased dotted namespace import (#2826) (#2828)	2026-08-05 11:35:27 +01:00
node-lookup-determinism.test.ts	perf(emit): drop six equivalent redundancies on Java-scale index path (#3129)	2026-09-01 11:22:55 +00:00
overload-narrowing.test.ts	feat(cpp): sfinae filter (#1623)	2026-05-16 20:23:13 +01:00
parse-worker-scope-integration.test.ts	fix(php): synthesize module scope for namespace-less PHP files (.phtml) (#1801)	2026-05-24 20:37:17 +01:00
php-import-target-parity.test.ts	fix(php): gate imports by Composer autoload map (#2987)	2026-08-25 07:56:41 +01:00
pick-implicit-this-overload.test.ts	fix(swift): resolve inherited protocol extension calls (#3309)	2026-09-19 07:44:35 +01:00
pick-unique-global-callable.test.ts	perf(ingestion): Linux-kernel-scale analysis — worker-pool parse + finalize O(n²) + scope-resolution memory wall (#1983) (#2038)	2026-06-06 22:46:34 +01:00
pick-unique-global-class.test.ts	feat(swift): migrate Swift to scope-based registry resolution (#937) (#1948)	2026-05-31 16:56:47 +01:00
position-index.test.ts	chore(shared): apply Ring 2 SHARED review follow-ups in one diff (#964)	2026-04-18 18:40:29 +01:00
property-dispatch-fanout-env.test.ts	feat: make MAX_PROPERTY_DISPATCH_FANOUT configurable via env (#2726)	2026-08-01 12:18:07 +01:00
property-name-index.test.ts	feat: close reported graph blind spots in reference resolution, analyze and storage (#2856)	2026-08-08 09:58:14 +01:00
qualified-name-index.test.ts	chore(shared): apply Ring 2 SHARED review follow-ups in one diff (#964)	2026-04-18 18:40:29 +01:00
receiver-chain-fold.test.ts	fix(resolution): resolve Go pointer-receiver calls, and report the program boundary instead of hedging (#2766) (#2782)	2026-08-01 22:42:18 +01:00
receiver-chain-wiring.test.ts	feat(resolution): type receiver chains from AST structure across all 14 languages (#2708) + epistemic lower-bound (#2744) (#2747)	2026-07-31 07:12:57 +01:00
reconcile-ownership.test.ts	fix(cpp): suppress deleted overload winners (#2094)	2026-06-10 18:41:30 +01:00
references-to-edges-call-form.test.ts	feat: add Zig language support (#1432)	2026-09-03 13:29:42 +01:00
registries.test.ts	perf(scope-resolution): use owner-keyed lookup for Step 2 member resolution (#1657)	2026-05-18 13:14:27 +01:00
resolve-ambiguous-inheritance-base.test.ts	fix(ingestion): migrate all languages' inheritance to scope-resolution on the worker path (#1951) (#1956)	2026-06-01 17:04:27 +01:00
resolve-references.test.ts	perf(scope-resolution): use owner-keyed lookup for Step 2 member resolution (#1657)	2026-05-18 13:14:27 +01:00
resolve-type-ref.test.ts	chore(shared): apply Ring 2 SHARED review follow-ups in one diff (#964)	2026-04-18 18:40:29 +01:00
resolved-callee-names.test.ts	fix(resolution): label fallback guesses and preserve export visibility (#3190)	2026-09-10 11:38:19 +01:00
run-progress.test.ts	fix(impact): report scope extraction omissions (#3071)	2026-08-29 08:38:20 +01:00
rust-cargo-targets.test.ts	fix(rust): respect Cargo target boundaries in name fallback (#3294)	2026-09-16 11:36:07 +01:00
scope-extractor.test.ts	fix(swift): resolve inherited protocol extension calls (#3309)	2026-09-19 07:44:35 +01:00
scope-id.test.ts	feat(shared): ScopeTree + PositionIndex + makeScopeId (#912, RFC #909 Ring 2 SHARED) (#961)	2026-04-18 16:41:38 +01:00
scope-source-content-policy.test.ts	feat(spring): build bean candidate inventory (#2494)	2026-07-20 09:28:23 +01:00
scope-tree.test.ts	fix(scope-resolution): allow same-range Module-as-parent for top-level scopes (closes #1086) (#1087)	2026-04-27 11:06:54 +01:00
strip-cast-wrappers.test.ts	fix: Java cast-wrapped and this.method() call edges (#2357)	2026-07-02 17:19:33 +01:00
swift-extension-owners.test.ts	fix(swift): resolve inherited protocol extension calls (#3309)	2026-09-19 07:44:35 +01:00
swift-target-grouping.test.ts	fix(swift): resolve imports from Package.swift targets, not path segments (#3105)	2026-09-19 15:50:31 +01:00
type-parameters.test.ts	fix(resolution): resolve calls through a generic-typed field receiver in every language (#2833) (#2855)	2026-08-07 17:14:13 +01:00
undecided-satisfaction.test.ts	fix(go): resolve out-of-repo package qualifiers, and stop reporting an undecided interface check as a decided negative (#2873) (#2921)	2026-08-11 10:36:59 +01:00
unresolved-receiver-files.test.ts	fix(go): scope and define each type_spec, not the type_declaration (#2837) (#2843)	2026-08-06 00:55:48 +01:00
unresolved-receivers.test.ts	fix(resolution): resolve Go pointer-receiver calls, and report the program boundary instead of hedging (#2766) (#2782)	2026-08-01 22:42:18 +01:00
validate-bindings-immutability.test.ts	fix(csharp): eliminate global-namespace typeBindings O(files²) OOM (#1871) (#1954)	2026-05-31 18:21:07 +01:00
value-ref-dispatchability.test.ts	fix(zig): model callable-value references, and stop reporting their absence as exact (#3219)	2026-09-09 20:12:17 +00:00
value-ref-namespace-precedence.test.ts	fix(zig): model callable-value references, and stop reporting their absence as exact (#3219)	2026-09-09 20:12:17 +00:00
walkers-augmentations.test.ts	fix(scope-resolution): gate C#/Kotlin free calls by instance ownership (#2563) (#2654)	2026-07-24 13:31:56 +01:00
wildcard-collision-export-evidence.test.ts	fix(resolution): label fallback guesses and preserve export visibility (#3190)	2026-09-10 11:38:19 +01:00
wildcard-topLevelOnly-gate.test.ts	fix(resolution): label fallback guesses and preserve export visibility (#3190)	2026-09-10 11:38:19 +01:00
workspace-index.test.ts	fix(swift): resolve inherited protocol extension calls (#3309)	2026-09-19 07:44:35 +01:00