mirror of
https://github.com/abhigyanpatwari/GitNexus.git
synced 2026-10-27 06:12:20 +00:00
36141609a1
Review follow-up for the namespace factory return lookup (#3498). Each case below either resolved to the wrong class or crashed; each now types the receiver correctly or records a receiver-unresolved drop. - Disk mode: the namespace-name set walked `scopeTree.byId`, which throws after the out-of-core seal, so an inline-only `rp.make().m()` partition aborted analyze under GITNEXUS_DISK_SCOPE_INDEX=1. It is now built from the finalized `scopes.imports` edges, resolved namespace edges only. This also removes the run-to-run edge/drop drift the lazy build caused. - Hoisted method returns: TS and Dart hoist a method's return annotation to the module under the method name, and Go binds receiver methods at package scope, so `m.create()` could take `WidgetFactory.create(): Widget`. The return binding must now start where a module-local `Function` of that name is declared. - `import pkg.sub` binds `pkg` but targets `pkg/sub.py`; such an edge only counts when its target file is the module the local name binds. - A dotted return (`-> models.Order`) is not followed further: the next step would read `models` in the caller's namespace map, not the producer's. - Zig: the `const x = rp.make()` binding decided namespace-vs-file-struct from the filename's case and lost `list.push`-style edges on lowercase file-structs. That binding form is reverted; the inline form is unaffected. - Shared-position drops: a site's identity is now `receiver.member`, so `rp.untyped().untyped()` records its outer drop while a call and its own callee read still count once. Tests: temp-repo regression rows for each case in the TypeScript, Go and Python suites, a lowercase file-struct row in Zig, an awaited Dart row (an awaited Future is not unwrapped yet, so it records a drop), and data-driven unit cases for recordSiteMember. Corpus A/B against origin/main: identical CALLS/ACCESSES edges outside the new fixtures; the drop set outside them is unchanged from the previous head. Receiver bench: +1 call drop (the awaited Dart row). Dart scope-capture fingerprint moves for the same fixture row only. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> |
||
|---|---|---|
| .. | ||
| cobol | ||
| cross-file-binding | ||
| csharp-captures-golden | ||
| data-route-table-app | ||
| dispatch-guard-app/src/server | ||
| django-subdir-app/backend | ||
| expo-app | ||
| fastapi-composed-app | ||
| fastapi-prefix-app | ||
| go-captures-golden | ||
| go-cross-file-struct-owner | ||
| go-gin-route-app | ||
| group | ||
| kotlin-spring-route-app/src/main/kotlin/com/example | ||
| lang-resolution | ||
| mini-repo/src | ||
| multi-verb-route-app | ||
| nest-route-app/src | ||
| objective-c | ||
| orm-repo/src | ||
| pdg-explicit-owner | ||
| php-captures-golden | ||
| pipeline-golden/mini-repo | ||
| python-captures-golden | ||
| python-scope-integration | ||
| rename-integration | ||
| rename-planning-safety | ||
| ruby-captures-golden | ||
| rust-captures-golden | ||
| sample-code | ||
| spring-bean-app/src/main | ||
| spring-config-app/src/main | ||
| spring-config-shadow-app/src/main | ||
| spring-destination-app/src/main | ||
| spring-non-http-handler-app/src/main | ||
| spring-route-app/src/main/java/com/example/controller | ||
| staged-embedding-recovery | ||
| swift-captures-golden | ||
| vue-scope | ||
| api-impact-seed.ts | ||
| group-sync-lock-child.mjs | ||
| index-lock-child.mjs | ||
| local-backend-seed.ts | ||
| search-seed.ts | ||