[colbymchenry]

Problem

VB.NET linked a member read only through a type or module name (#2355). A read or write through an instance — a parameter x.Normal = 3, a local h.Normal, a field _h.Title, Me._h.Normal — produced no edge, so codegraph callers on an instance field or property listed almost none of its uses. #2355 left these out explicitly ("reads through Me / MyBase, … instance reads through a typed variable, … and With blocks").

Repro (Holder with Shared SharedCache, Normal, Property Title, Sub EndSession; User.Run(x As Holder) reading and writing them through x, _h, Me._h and a local h): on main only x.EndSession() links, and codegraph callers Normal finds nothing.

Fix

Extraction (src/extraction/tree-sitter.ts, TS only — VB.NET is not kernel-routed). Every member read or write is sent as one references ref carrying its receiver as a path, whatever the receiver's case:

• x.Normal, Me._h.Normal, MyBase.Count, user.Settings.Value
• .Value inside With x (nested With .Inner included), and .Switch in an object initializer New BoolParam With {.Switch = …}
• {T}.X for a value whose type the code writes: DirectCast(o, T).X, New T().X

A With block's .Run() call, which recorded nothing before, is sent the same way. Not sent: the grammar's split of New System.Drawing.Size(…) into members read through New System, an anonymous type's New With {.X = 1}, and paths that start with System, Microsoft or My.

Resolution (src/resolution/vbnet-receivers.ts). Each link of the path is typed by the rules calls already use (#2351): declarations, casts, For Each over a typed collection, call results, type-parameter constraints, Module variables, namespaces, Imports and aliases. The read links the member the type declares or inherits.

• A method named without parentheses is a call, unless AddressOf or NameOf only names it.
• x.Items(0), an index that VB.NET writes as a call, reads Items.
• An outside, Object-typed, ambiguous or untyped receiver links nothing. Nothing is guessed by name.

"Color Color" (theme As Theme): following the VB.NET spec, an instance member is read through the value, so only the member is linked. A Shared member, a Const (read from its declaration, as a VB.NET field node doesn't record it) or an Enum case still links the type too. #2355 linked the type for every such read.

membersNamed now finds a type's members through its parts' files instead of one SQLite query per member name. The graph is byte-identical on SCrawler. On staxrip, whose AutoCrop tool redeclares ServerInfo, 35 reads that main typed through the other project's field (and so left unlinked) now link, adding 70 edges.

Verification

• New __tests__/vbnet-instance-member-refs.test.ts (11 tests): fails 9/11 on main; the 2 that pass only assert that nothing is linked. Passes with the fix.
• vbnet-shared-member-refs.test.ts: one assertion now expects OtherSession::SessionId from Shadowed(ByVal appSession As OtherSession), which reads the parameter's Shared field through the instance. It still never links AppSession::SessionId.
• All VB.NET suites, tsc, and the full suite pass: 462 files, 5,859 tests (22 native-kernel / platform-gated files skipped).
• On the built CLI, the repro links every read and write, and codegraph callers lists Run for SharedCache, Normal and Title.

Validation (main → this branch)

	SCrawler	staxrip
nodes	identical	identical
edges	17,437 → 31,344	32,569 → 71,362
removed edges	1	585
self-loops	101 → 101	87 → 87
index CPU (5-run medians)	16.1 → 19.3 s	20.2 → 25.4 s
index wall	5.2 → 5.7 s	5.6 → 7.2 s
DB	28.1 → 43.2 MB	34.9 → 59.0 MB

• Removed edges, each triaged against source. 319 are the same site and target with new metadata: Color Color reads of instance members, qualified-name → instance-method. The other 267 (staxrip) are the class links of those reads. A check of each member's declaration confirmed all 267 sat beside instance members (228 properties, 39 fields), none Shared or Const.
• Added edges.
  • About 42k added two-link reads were re-derived from the source text by a separate check. Its 837 disagreements were all its own blind spots: type-parameter constraints, Imports aliases (TDJob, PKV), the nearest of two Dim param in sibling blocks, call-result and For Each typing, and staxrip's global Public p As New Project. None of the 705 p reads has a shadowing binding in its member.
  • No added edge crosses between staxrip and its AutoCrop tool.
  • With-block calls and methods run without parentheses were spot-checked against their declarations.
• Cost. Profiling puts it in resolution, which now handles roughly twice the refs. The DB growth is the new edges plus reads through outside types (WinForms controls, String), kept as failed refs for re-resolution like failed calls (Incremental sync misses cross-file relations after a new export is added #1240).

Not covered

• Unqualified reads (Normal alone inside the class).
• Reads through an index or a call result (list(0).X).
• Handles clauses.
• Calls through a chained receiver written directly (g.MainForm.Update()), which still resolve by name: 24 / 178 such edges on main, and the samples checked were correct.

🤖 Generated with Claude Code