Files

T

History

pbednarcik 9c3ffa919e csharp: pin argument-shape coverage for arity narrowing

Nested invocations, lambdas, and out-of-order named arguments each
count as one ordinary argument; an empty call fits only a params
overload (required 0); an explicit <A, B> spelling splits generic
overloads by type-parameter arity. Every pin targets the
second-declared overload so declaration order would fail it.

2026-08-18 20:05:57 +02:00

testdata/redis_cmdtable

…

attribution_census_bench_test.go

…

attribution_census_sqlite_test.go

…

attribution_census_test.go

…

attribution_census.go

…

attribution_identity_projection_test.go

…

attribution_reindex_batch_test.go

…

attribution_reindex_batch.go

…

attribution_target_paging_test.go

…

backend_resolver.go

…

bare_name_scope_bind_test.go

…

bare_name_scope_bind.go

…

batch_hotpaths_test.go

…

bench_test.go

…

builtins.go

…

c_cmdtable_test.go

…

c_fnaddr_test.go

…

canonical_type_pick_test.go

…

celery_calls_test.go

…

celery_calls.go

…

chain_factory_test.go

…

chain_factory.go

…

churn_shape_test.go

…

churn_shape.go

…

closure_collection_test.go

…

closure_collection.go

…

concurrent_test.go

…

cpp_overload_test.go

…

cpp_overload.go

…

cpp_stdlib_headers_test.go

…

cpp_stdlib_headers.go

…

cross_pkg_call_guard_test.go

…

cross_pkg_guard.go

…

cross_repo_concurrent_test.go

…

cross_repo_edges_test.go

…

cross_repo_edges.go

…

cross_repo_incremental_test.go

…

cross_repo_incremental.go

…

cross_repo_stitch_test.go

…

cross_repo_stream_test.go

…

cross_repo_synthetic_target_test.go

…

cross_repo_test.go

…

cross_repo_worktree_test.go

…

cross_repo.go

…

csharp_applicability.go

…

csharp_awaited_spec_test.go

…

csharp_di_ifaces_test.go

…

csharp_di_ifaces.go

…

csharp_extension_overload_test.go

…

csharp_extension_precision_test.go

…

csharp_extension_spec_test.go

…

csharp_extension_test.go

…

csharp_extension.go

…

csharp_facade_self_steal_test.go

…

csharp_hangfire_spawn_test.go

…

csharp_iface_dispatch_projection_test.go

…

csharp_iface_dispatch_targeted_test.go

…

csharp_iface_dispatch_test.go

…

csharp_iface_dispatch.go

…

csharp_iface_projection_test.go

…

csharp_lone_member_ns_gate_test.go

…

csharp_member_access_spec_test.go

…

csharp_ns_narrow_test.go

…

csharp_ns_narrow.go

…

csharp_overload_arity_test.go

…

csharp_params_applicability_test.go

…

csharp_partial_merge_test.go

…

csharp_partial_merge.go

…

csharp_receiver_gate_test.go

…

csharp_receiver_gate.go

…

csharp_record_members_spec_test.go

…

csharp_static_form_qualified_test.go

…

csharp_this_base_spec_test.go

…

csharp_visibility_cache_test.go

…

dart_ctor_receiver_test.go

…

dataflow_callee_bind.go

…

dep_module_test.go

…

dir_preferred_storepath_test.go

…

dir_preferred_test.go

…

dir_preferred.go

…

dispatch_scope.go

…

django_descriptor_test.go

…

django_descriptor.go

…

doc.go

…

edge_liveness_test.go

…

event_channel_calls_test.go

…

event_channel_calls.go

…

expo_module_bridge_test.go

…

expo_module_bridge.go

…

express_resolve_test.go

…

express_resolve.go

…

external_call_attribution_test.go

…

external_call_attribution.go

…

external_calls_incremental_test.go

…

external_calls_stdlib_test.go

…

external_calls_test.go

…

external_calls.go

…

fabric_components_test.go

…

fabric_components.go

…

fastapi_resolve_test.go

…

fastapi_resolve.go

…

federation_stitch.go

…

file_suffix_match.go

…

flutter_setstate_test.go

…

flutter_setstate.go

…

fn_pointer_dispatch_test.go

…

fn_pointer_dispatch.go

…

fn_value_gate_batch_test.go

…

fn_value_gate_test.go

…

fn_value_gate.go

…

fn_value_projection_test.go

…

framework_census_probe_test.go

…

framework_edge_batch_test.go

…

framework_edge_batch.go

…

framework_edge_identity_lookup_test.go

…

framework_full_coverage_execution_test.go

…

framework_full_read_cache_test.go

…

framework_full_read_cache.go

…

framework_partial_scope_test.go

…

framework_scope_test.go

…

framework_scope.go

…

framework_scoped_store_test.go

…

framework_scoped_store.go

…

framework_stream_mux_test.go

…

framework_stream_mux.go

…

framework_synth_census_eligible_test.go

…

framework_synth_edge_preflight_test.go

…

framework_synth_preflight_test.go

…

framework_synth_test.go

…

framework_synth.go

…

frontier_telemetry_test.go

…

frontier_telemetry.go

…

gdscript_autoload_test.go

…

gdscript_autoload.go

…

gdscript_preload_alias_test.go

…

gdscript_preload_alias.go

…

gdscript_receiver_gate_test.go

…

gdscript_receiver_gate.go

…

generic_param_bind_test.go

…

generic_param_bind.go

…

gin_middleware_test.go

…

gin_middleware.go

…

go_builtins_attribution_test.go

…

go_builtins_attribution.go

…

go_builtins_projection_test.go

…

go_generic_call_ambiguity_test.go

…

godot_res_paths_test.go

…

godot_res_paths.go

…

godot_scene_connections.go

…

goframe_route_calls_test.go

…

goframe_route_calls.go

…

grpc_stub_calls_test.go

…

grpc_stub_calls.go

…

import_evidence_test.go

…

import_evidence.go

…

incremental_attribution_cache.go

…

incremental.go

…

infer_scoped_test.go

…

inference_projection_test.go

…

inference_scale_test.go

…

inference_scale.go

…

java_ctorcall_test.go

…

java_difield_test.go

…

java_override_dispatch_test.go

…

java_override_dispatch.go

…

java_selector_receiver_test.go

…

jsts_bare_specifier_test.go

…

jsts_imports.go

…

kmp_expect_actual_test.go

…

kmp_expect_actual.go

…

language_family_test.go

…

language_family.go

…

language_gate.go

…

laravel_event_calls_test.go

…

laravel_event_calls.go

…

lsp_budget_test.go

…

lsp_cutoff_test.go

…

lsp_helper.go

…

lsp_resolve_test.go

…

lsp_resolve.go

…

lsp_spool.go

…

lua_imports_test.go

…

lua_imports.go

…

macro_expansion_calls_test.go

…

macro_expansion_calls.go

…

master_concurrent_test.go

…

mediatr_calls_test.go

…

mediatr_calls.go

…

method_receiver_rebind_test.go

…

method_receiver_rebind.go

…

module_attribution_test.go

…

module_attribution.go

…

mybatis_calls_test.go

…

mybatis_calls.go

…

ngrx_effects_test.go

…

ngrx_effects.go

…

no_global_snapshots_test.go

…

npm_alias.go

…

npm_dependency.go

…

object_registry_calls_test.go

…

object_registry_calls.go

…

observer_channel_test.go

…

observer_channel.go

…

optional_pass_batch_test.go

…

override_dispatch_projection_test.go

…

override_dispatch_projection.go

…

overrides_test.go

…

pascal_form_test.go

…

pascal_form.go

…

pending_frontier_test.go

…

php_override_dispatch_test.go

…

php_override_dispatch.go

…

placeholder_sources_test.go

…

placeholder_sources.go

…

qual_name_candidates.go

…

rails_resolve_test.go

…

rails_resolve.go

…

razor_using_test.go

…

razor_using.go

…

reachability_projection_test.go

…

react_native_bridge_test.go

…

react_native_bridge.go

…

react_native_native_pairing_test.go

…

react_native_native_pairing.go

…

react_resolve_test.go

…

react_resolve.go

…

react_setstate_test.go

…

react_setstate.go

…

README.md

…

redux_thunk_calls_test.go

…

redux_thunk_calls.go

…

relative_imports_test.go

…

relative_imports.go

…

renders_child_test.go

…

repo_language_lookup_test.go

…

repo_language_lookup.go

…

repo_scope_tail_test.go

…

repo_scope_test.go

…

resolve_all_pending_test.go

…

resolve_all_pending.go

…

resolve_cache_generation_test.go

…

resolve_exact_identity_liveness_test.go

…

resolve_guard_spool_test.go

…

resolve_guard_spool.go

…

resolve_hot_cache_test.go

…

resolve_hot_cache.go

…

resolve_hotpage_test.go

…

resolve_interleave_test.go

…

resolve_job_liveness.go

…

resolve_liveness_generation_test.go

…

resolve_payload_liveness_test.go

…

resolve_stream_test.go

…

resolver_cache_routing_test.go

…

resolver_incremental_bench_test.go

…

resolver_intra_repo_test.go

…

resolver_test.go

…

resolver.go

…

rtk_query_calls_test.go

…

rtk_query_calls.go

…

rust_aliases.go

…

rust_bounds_test.go

…

rust_bounds.go

…

rust_cross_file_test.go

…

rust_extractor_integration_test.go

…

rust_field_receiver_test.go

…

rust_generic_bounds_test.go

…

rust_module_imports_test.go

…

rust_module_imports.go

…

rust_override_test.go

…

rust_owner_alias_test.go

…

rust_receiver_selector_test.go

…

rust_samecrate_test.go

…

rust_scope_test.go

…

rust_scope.go

…

scope_test.go

…

scope.go

…

scoped_global_passes_test.go

…

setstate_projection_test.go

…

sidekiq_calls_test.go

…

sidekiq_calls.go

…

speculative_dispatch_test.go

…

speculative_dispatch.go

…

spring_event_calls_test.go

…

spring_event_calls.go

…

sql_callsites_test.go

…

sql_callsites.go

…

startup_bulk_apply_bench_test.go

…

startup_bulk_apply_test.go

…

store_factory_calls_test.go

…

store_factory_calls.go

…

sveltekit_load_test.go

…

sveltekit_load.go

…

swift_objc_bridge_test.go

…

swift_objc_bridge.go

…

swift_objc_candidates.go

…

swiftui_resolve_test.go

…

swiftui_resolve.go

…

temporal_calls_test.go

…

temporal_calls.go

…

temporal_orphans_test.go

…

temporal_orphans_testfilter_test.go

…

temporal_orphans.go

…

temporal_verify_test.go

…

temporal_verify.go

…

terminal_persistence_test.go

…

terminal_test.go

…

terminal.go

…

testpath.go

…

ts_typeuse_e2e_test.go

…

uikit_projection_test.go

…

uikit_resolve_test.go

…

uikit_resolve.go

…

unresolved_legacy_spool.go

…

value_refs_dart_pascal_test.go

…

value_refs_test.go

…

value_refs.go

…

vapor_resolve_test.go

…

vapor_resolve.go

…

vuex_dispatch_calls_test.go

…

vuex_dispatch_calls.go

…

warm_cache_parallel_test.go

…

workspace_membership_test.go

…

workspace_membership.go

…

README.md

`internal/resolver`

Resolves unresolved edges in the graph — symbol references and imports recorded as unresolved::... placeholders by the per-language extractors get rewritten to point at real graph nodes once those nodes exist.

Cross-repo + cross-workspace boundary

CrossRepoResolver searches across repository boundaries when no same-repo candidate exists. With a CrossWorkspaceDepLookup wired via SetCrossWorkspaceDepLookup, candidates from a different workspace are accepted only when:

The source workspace declares the target workspace in its cross_workspace_deps, AND
For import edges, the import path matches a declared module prefix (longest match wins).

For function/method-call edges (no import path available) the workspace-pair declaration alone is sufficient. The whole point of this layer is that an unresolved call into another workspace silently fails to resolve unless the user opted in.

When the lookup is unset (legacy callers), the resolver falls back to permissive cross-repo lookup: any cross-repo candidate is fair game. This keeps existing tests and single-workspace setups working without code changes.

Wiring

The internal/indexer.MultiIndexer builds the lookup from each tracked repo's .gortex.yaml::cross_workspace_deps and sets it on the resolver in two places:

MultiWatcher.NewMultiWatcher for live-edit re-resolution.
MultiIndexer.IndexAll after the per-repo indexing loop completes. Also re-run by MultiIndexer.RunGlobalResolve after warmup.

If neither path runs (e.g. a single-repo Indexer.ResolveAll), the boundary is permissive.