fix(cha): skip CHA expansion for super-dispatch edges in runChaPostPass and runPostNativeCha

When a method calls super.method(), the resolver creates an edge from the
subclass method to the parent class method (e.g. PostMixin.m → A.m).
runChaPostPass and runPostNativeCha then incorrectly CHA-expanded this edge
to all sibling subclasses of A (e.g. B from other files that also extend A),
producing false PostMixin.m → B.m edges across unrelated files.

Fix: before BFS-expanding a caller→type.method edge, check whether the
caller's class is itself a direct child of the target type. If so, the edge
was produced by a super.method() call (going up the hierarchy) and must not
be expanded downward to sibling subclasses. This applies to both runChaPostPass
(WASM path) and runPostNativeCha (native orchestrator path), which share the
same CHA expansion loop structure.

Verified by node scripts/parity-compare.mjs --langs jelly-micro: the 6
PostMixin super4 false edges are eliminated; all 3048 tests pass.

Author: carlos-alm

src/domain/graph/builder/helpers.ts

@@ -464,13 +464,14 @@ export function runChaPostPass(db: BetterSqlite3Database): number {
 
   const callToMethods = db
     .prepare(
-      `SELECT e.source_id, tgt.name AS method_name
+      `SELECT e.source_id, src.name AS caller_name, tgt.name AS method_name
        FROM edges e
        JOIN nodes tgt ON e.target_id = tgt.id
+       JOIN nodes src ON e.source_id = src.id
        WHERE e.kind = 'calls' AND tgt.kind = 'method'
        AND INSTR(tgt.name, '.') > 0`,
     )
-    .all() as Array<{ source_id: number; method_name: string }>;
+    .all() as Array<{ source_id: number; caller_name: string; method_name: string }>;
 
   const seen = new Set<string>();
   // Scope deduplication to only the source_ids we are about to expand, avoiding
@@ -497,12 +498,25 @@ export function runChaPostPass(db: BetterSqlite3Database): number {
   const findMethodStmt = db.prepare(`SELECT id FROM nodes WHERE name = ? AND kind = 'method'`);
   const newEdges: Array<[number, number, string, number, number, string]> = [];
 
-  for (const { source_id, method_name } of callToMethods) {
+  for (const { source_id, caller_name, method_name } of callToMethods) {
     const dotIdx = method_name.indexOf('.');
     if (dotIdx === -1) continue;
     const typeName = method_name.slice(0, dotIdx);
     const methodSuffix = method_name.slice(dotIdx + 1);
 
+    // Super-dispatch guard: if the caller's class is itself a direct child of
+    // typeName (i.e. callerClass extends typeName), the existing edge is a
+    // super.method() call going up the hierarchy — not an interface dispatch.
+    // Expanding it to sibling subclasses of typeName would produce false edges:
+    // those siblings are unrelated to the caller and would never be invoked by
+    // that super call. Skip CHA expansion entirely for super-dispatch edges.
+    const callerDotIdx = caller_name.indexOf('.');
+    if (callerDotIdx !== -1) {
+      const callerClass = caller_name.slice(0, callerDotIdx);
+      const directChildrenOfType = implementors.get(typeName);
+      if (directChildrenOfType?.includes(callerClass)) continue;
+    }
+
     // BFS over the implementors map — handles multi-level hierarchies where
     // abstract/non-instantiated classes sit between the call-site type and
     // the concrete leaf implementations (matches runPostNativeCha, issue #1311).

src/domain/graph/builder/stages/native-orchestrator.ts

@@ -572,16 +572,26 @@ function runPostNativeCha(
   // incremental role reclassification; confidence uses CHA_TYPED_DISPATCH_CONFIDENCE matching runChaPostPass.
   // When scopeToChangedFiles is true, restrict to call sites in the changed files
   // (safe because no hierarchy or RTA evidence changed outside those files).
-  let callToMethods: Array<{ source_id: number; method_name: string; caller_file: string | null }>;
+  let callToMethods: Array<{
+    source_id: number;
+    caller_name: string;
+    method_name: string;
+    caller_file: string | null;
+  }>;
   if (scopeToChangedFiles && changedFiles && changedFiles.length > 0) {
     const CHUNK_SIZE = 500;
-    const rows: Array<{ source_id: number; method_name: string; caller_file: string | null }> = [];
+    const rows: Array<{
+      source_id: number;
+      caller_name: string;
+      method_name: string;
+      caller_file: string | null;
+    }> = [];
     for (let i = 0; i < changedFiles.length; i += CHUNK_SIZE) {
       const chunk = changedFiles.slice(i, i + CHUNK_SIZE);
       const ph = chunk.map(() => '?').join(',');
       const chunkRows = db
         .prepare(
-          `SELECT e.source_id, tgt.name AS method_name, src.file AS caller_file
+          `SELECT e.source_id, src.name AS caller_name, tgt.name AS method_name, src.file AS caller_file
            FROM edges e
            JOIN nodes tgt ON e.target_id = tgt.id
            JOIN nodes src ON e.source_id = src.id
@@ -591,6 +601,7 @@ function runPostNativeCha(
         )
         .all(...chunk) as Array<{
         source_id: number;
+        caller_name: string;
         method_name: string;
         caller_file: string | null;
       }>;
@@ -600,14 +611,19 @@ function runPostNativeCha(
   } else {
     callToMethods = db
       .prepare(`
-        SELECT e.source_id, tgt.name AS method_name, src.file AS caller_file
+        SELECT e.source_id, src.name AS caller_name, tgt.name AS method_name, src.file AS caller_file
         FROM edges e
         JOIN nodes tgt ON e.target_id = tgt.id
         JOIN nodes src ON e.source_id = src.id
         WHERE e.kind = 'calls' AND tgt.kind = 'method'
         AND INSTR(tgt.name, '.') > 0
       `)
-      .all() as Array<{ source_id: number; method_name: string; caller_file: string | null }>;
+      .all() as Array<{
+      source_id: number;
+      caller_name: string;
+      method_name: string;
+      caller_file: string | null;
+    }>;
   }
 
   // Seed seen-pairs only from the source_ids we'll be expanding — avoids loading every
@@ -635,12 +651,25 @@ function runPostNativeCha(
   const newEdges: Array<[number, number, string, number, number, string]> = [];
   let newEdgeCount = 0;
 
-  for (const { source_id, method_name, caller_file } of callToMethods) {
+  for (const { source_id, caller_name, method_name, caller_file } of callToMethods) {
     const dotIdx = method_name.indexOf('.');
     if (dotIdx === -1) continue;
     const typeName = method_name.slice(0, dotIdx);
     const methodSuffix = method_name.slice(dotIdx + 1);
 
+    // Super-dispatch guard: if the caller's class is itself a direct child of
+    // typeName (i.e. callerClass extends typeName), the existing edge is a
+    // super.method() call going up the hierarchy — not an interface dispatch.
+    // Expanding it to sibling subclasses of typeName would produce false edges:
+    // those siblings are unrelated to the caller and would never be invoked by
+    // that super call. Skip CHA expansion entirely for super-dispatch edges.
+    const callerDotIdx = caller_name.indexOf('.');
+    if (callerDotIdx !== -1) {
+      const callerClass = caller_name.slice(0, callerDotIdx);
+      const directChildrenOfType = implementors.get(typeName);
+      if (directChildrenOfType?.includes(callerClass)) continue;
+    }
+
     // BFS over the implementors map — handles multi-level hierarchies where
     // abstract/non-instantiated classes sit between the call-site type and
     // the concrete leaf implementations (issue #1311).