GitNexus/gitnexus/test/integration/resolvers
Gergo Magyar e6b8edc1ac feat: Phase 9C unified fixpoint with field access and method-call-result binding
Replace the sequential Tier 2b/2a propagation with a unified fixpoint
loop that handles four binding kinds: callResult, copy, fieldAccess,
and methodCallResult. The loop iterates until no new bindings are
produced (max 10 iterations), enabling arbitrary-depth mixed chains:

  const user = getUser();       // callResult → User
  const addr = user.address;    // fieldAccess → Address
  const city = addr.getCity();  // methodCallResult → City
  city.save();                  // resolves to City#save

Infrastructure:
- PendingAssignment union extended with fieldAccess and methodCallResult
- resolveFieldType helper: typeName → class nodeId → lookupFieldByOwner
- resolveMethodReturnType helper: typeName → class nodeId → lookupFuzzyCallable filtered by ownerId
- Fixpoint also resolves reverse-order copy chains that single-pass missed

Languages: TS, JS, Java, Kotlin, C#, Go, Rust, Python, PHP, Ruby, C++.
Each gets field access and/or method-call-with-receiver detection in
extractPendingAssignment, plus method-chain-binding test fixtures.
2026-03-19 11:50:50 +00:00
..
cpp.test.ts feat: Phase 9C unified fixpoint with field access and method-call-result binding 2026-03-19 11:50:50 +00:00
csharp.test.ts feat: Phase 9C unified fixpoint with field access and method-call-result binding 2026-03-19 11:50:50 +00:00
go.test.ts feat: Phase 9C unified fixpoint with field access and method-call-result binding 2026-03-19 11:50:50 +00:00
helpers.ts feat: Phase 6 type resolution — for-loop Tier 1c, pattern matching, container descriptors, 10-language coverage (#318) 2026-03-17 17:10:22 +00:00
java.test.ts feat: Phase 9C unified fixpoint with field access and method-call-result binding 2026-03-19 11:50:50 +00:00
javascript.test.ts fix(tests): update property edge and write access expectations across multiple language tests 2026-03-18 22:25:30 +00:00
kotlin.test.ts feat: Phase 9C unified fixpoint with field access and method-call-result binding 2026-03-19 11:50:50 +00:00
php.test.ts feat: Phase 9C unified fixpoint with field access and method-call-result binding 2026-03-19 11:50:50 +00:00
python.test.ts feat: Phase 9C unified fixpoint with field access and method-call-result binding 2026-03-19 11:50:50 +00:00
ruby.test.ts feat: Phase 9C unified fixpoint with field access and method-call-result binding 2026-03-19 11:50:50 +00:00
rust.test.ts feat: Phase 9C unified fixpoint with field access and method-call-result binding 2026-03-19 11:50:50 +00:00
swift.test.ts feat: Phase 6 type resolution — for-loop Tier 1c, pattern matching, container descriptors, 10-language coverage (#318) 2026-03-17 17:10:22 +00:00
typescript.test.ts feat: Phase 9C unified fixpoint with field access and method-call-result binding 2026-03-19 11:50:50 +00:00