fix(parity): resolve C# static receiver calls in WASM engine (#1372) (#1395)

* fix(parity): resolve C# static receiver calls in WASM engine (#1372)

The WASM resolver had no fallback for calls where the receiver is a class
name used directly (e.g. `Validators.IsValidEmail(...)`).  Static class names
never appear in variable declarations, so typeMap has no entry for them.
The old code fell through and returned an empty target set.

Add a fallback in resolveByMethodOrGlobal: when typeName is null (no typeMap
entry for the receiver), try looking up `${receiver}.${method}` directly in
the symbol DB.  This catches static dispatch where the receiver IS the class
name, matching what the native engine already produces.  The kind='method'
filter keeps it scoped to genuine method calls.

Fixes build-parity test failures for the csharp Repository fixture:
- Program.Main → Validators.IsValidEmail
- Program.RunWithValidation → Validators.ValidateUser
- UserService.AddUser → Validators.ValidateUser

* fix(resolver): use effectiveReceiver in static dispatch fallback (#1390)

* feat(resolver): resolve iteration-callback edges for for-of, Set, and Array.from (JS)

Fixes more1 jelly-micro benchmark from 0% → 100% recall (10/10 named edges).

The PTS resolution for for-of, Set+for-of, Array.from, and spread patterns was
already fully implemented. The 0% recall was caused by a naming mismatch in the
fixture: _iterPlain/_iterSet (underscore-prefixed) vs the expected-edges.json
which referenced iterPlain/iterSet (without prefix). Renaming the fixture
functions to match the expected edges exposes all four PTS patterns resolving
correctly.

Closes #1378

* Revert "feat(resolver): resolve iteration-callback edges for for-of, Set, and Array.from (JS)"

This reverts commit 70236a5.

* test(1372): initialise edges to [] for clearer assertion failures

* test(integration): pin prototype-method-resolution test to WASM engine

The test was using auto engine (native-preferred), causing it to pick the
published npm native binary which predates the prototype-method fixes.
WASM correctly extracts Dog.prototype.bark and resolves all call edges.

Fixes #1381

* fix: remove duplicate static-receiver fallback superseded by main's broader version

Author: carlos-alm

tests/integration/issue-1372-csharp-static-receiver.test.ts

@@ -0,0 +1,105 @@
+/**
+ * Regression test for #1372 — WASM engine missing C# static receiver call edges.
+ *
+ * The gap: the WASM resolver had no fallback for calls where the receiver is a
+ * class name used directly (e.g. `Validators.IsValidEmail(...)`).  The class name
+ * is never assigned to a local variable, so it has no typeMap entry, and the old
+ * code returned empty.  The fix adds a fallback that treats the receiver as a
+ * potential class name and looks up `Receiver.Method` directly in the symbol DB.
+ */
+
+import fs from 'node:fs';
+import os from 'node:os';
+import path from 'node:path';
+import Database from 'better-sqlite3';
+import { afterAll, beforeAll, describe, expect, it } from 'vitest';
+import { buildGraph } from '../../src/domain/graph/builder.js';
+
+// ── Fixture ──────────────────────────────────────────────────────────────────
+
+const FILES: Record<string, string> = {
+  // Static class with two public methods.
+  'Validators.cs': `
+namespace Demo;
+public static class Validators {
+  public static bool IsValidEmail(string email) {
+    return email.Contains("@");
+  }
+  public static bool IsValidName(string name) {
+    return name.Length >= 2;
+  }
+}
+`,
+  // Caller class that references Validators via explicit static receiver.
+  'Program.cs': `
+namespace Demo;
+public class Program {
+  public static void Main() {
+    bool ok = Validators.IsValidEmail("a@b.com");
+  }
+  public static void Run() {
+    bool ok2 = Validators.IsValidName("Alice");
+  }
+}
+`,
+};
+
+// ── Helpers ───────────────────────────────────────────────────────────────────
+
+function writeFixture(dir: string) {
+  for (const [rel, content] of Object.entries(FILES)) {
+    fs.writeFileSync(path.join(dir, rel), content.trimStart());
+  }
+}
+
+function readEdges(dbPath: string) {
+  const db = new Database(dbPath, { readonly: true });
+  try {
+    return db
+      .prepare(
+        `SELECT n1.name AS src, n2.name AS tgt, e.kind
+         FROM edges e
+         JOIN nodes n1 ON e.source_id = n1.id
+         JOIN nodes n2 ON e.target_id = n2.id
+         WHERE e.kind = 'calls'
+         ORDER BY n1.name, n2.name`,
+      )
+      .all() as Array<{ src: string; tgt: string; kind: string }>;
+  } finally {
+    db.close();
+  }
+}
+
+// ── Tests ─────────────────────────────────────────────────────────────────────
+
+describe('C# static receiver call resolution (#1372)', () => {
+  let tmpDir: string;
+  let edges: Array<{ src: string; tgt: string; kind: string }> = [];
+
+  beforeAll(async () => {
+    tmpDir = fs.mkdtempSync(path.join(os.tmpdir(), 'cg-1372-'));
+    writeFixture(tmpDir);
+    await buildGraph(tmpDir, { engine: 'wasm', incremental: false, skipRegistry: true });
+    edges = readEdges(path.join(tmpDir, '.codegraph', 'graph.db'));
+  }, 60_000);
+
+  afterAll(() => {
+    if (tmpDir) fs.rmSync(tmpDir, { recursive: true, force: true });
+  });
+
+  it('resolves static receiver call: Program.Main → Validators.IsValidEmail', () => {
+    expect(edges).toContainEqual(
+      expect.objectContaining({
+        src: 'Program.Main',
+        tgt: 'Validators.IsValidEmail',
+        kind: 'calls',
+      }),
+    );
+  });
+
+  it('resolves static receiver call: Program.Run → Validators.IsValidName', () => {
+    expect(edges).toContainEqual(
+      expect.objectContaining({ src: 'Program.Run', tgt: 'Validators.IsValidName', kind: 'calls' }),
+    );
+  });
+});

tests/integration/prototype-method-resolution.test.ts

@@ -48,7 +48,7 @@ beforeAll(async () => {
   for (const [rel, content] of Object.entries(FIXTURE)) {
     fs.writeFileSync(path.join(tmpDir, rel), content);
   }
-  await buildGraph(tmpDir, { incremental: false, skipRegistry: true });
+  await buildGraph(tmpDir, { incremental: false, skipRegistry: true, engine: 'wasm' });
 });
 
 afterAll(() => {