@saptools/service-flow 0.1.9 → 0.1.11

package/dist/{chunk-HQMAFSRR.js → chunk-GG4XJGES.js}

@@ -524,6 +524,7 @@ function summarizeExpression(text) {
 // src/parsers/outbound-call-parser.ts
 import fs6 from "fs/promises";
 import path7 from "path";
+import ts4 from "typescript";
 function lineOf3(text, idx) {
   return text.slice(0, idx).split("\n").length;
 }
@@ -627,32 +628,63 @@ async function parseOutboundCalls(repoPath, filePath) {
       confidence: 0.7,
       unresolvedReason: "External HTTP destination is outside indexed CAP services"
     });
-  for (const m of text.matchAll(
-    /cds\.services(?:\[['"]([^'"]+)['"]\]|\.(\w+))\.(\w+)\s*\(/g
-  ))
-    out.push({
-      callType: "local_service_call",
-      operationPathExpr: `/${m[3] ?? ""}`,
-      payloadSummary: m[1] ?? m[2],
-      sourceFile: normalizePath(filePath),
-      sourceLine: lineOf3(text, m.index ?? 0),
-      confidence: 0.75
-    });
+  out.push(...parseLocalServiceCalls(text, filePath));
   return out;
 }
+function parseLocalServiceCalls(text, filePath) {
+  const source = ts4.createSourceFile(filePath, text, ts4.ScriptTarget.Latest, true, filePath.endsWith(".ts") ? ts4.ScriptKind.TS : ts4.ScriptKind.JS);
+  const aliases = /* @__PURE__ */ new Map();
+  const calls = [];
+  const visit = (node) => {
+    if (ts4.isVariableDeclaration(node) && ts4.isIdentifier(node.name) && node.initializer) {
+      const origin = serviceLookup(node.initializer, aliases);
+      if (origin) aliases.set(node.name.text, { ...origin, chain: [...origin.chain, node.name.text] });
+    }
+    if (ts4.isCallExpression(node)) {
+      const parsed = serviceOperationCall(node.expression, aliases);
+      if (parsed && parsed.operation !== "entities") calls.push({
+        callType: "local_service_call",
+        operationPathExpr: `/${parsed.operation}`,
+        payloadSummary: parsed.service,
+        localServiceName: parsed.service,
+        localServiceLookup: parsed.lookup,
+        aliasChain: parsed.chain,
+        sourceFile: normalizePath(filePath),
+        sourceLine: lineOf3(text, node.getStart(source)),
+        confidence: 0.9
+      });
+    }
+    ts4.forEachChild(node, visit);
+  };
+  visit(source);
+  return calls;
+}
+function serviceLookup(expr, aliases) {
+  if (ts4.isIdentifier(expr)) return aliases.get(expr.text);
+  if (ts4.isPropertyAccessExpression(expr) && expr.expression.getText() === "cds.services") return { service: expr.name.text, lookup: expr.getText(), chain: [expr.getText()] };
+  if (ts4.isElementAccessExpression(expr) && expr.expression.getText() === "cds.services" && ts4.isStringLiteral(expr.argumentExpression)) return { service: expr.argumentExpression.text, lookup: expr.getText(), chain: [expr.getText()] };
+  return void 0;
+}
+function serviceOperationCall(expr, aliases) {
+  if (!ts4.isPropertyAccessExpression(expr)) return void 0;
+  const operation = expr.name.text;
+  const origin = serviceLookup(expr.expression, aliases);
+  if (!origin) return void 0;
+  return { ...origin, operation };
+}
 
 // src/parsers/service-binding-parser.ts
 import fs7 from "fs/promises";
 import path8 from "path";
-import ts4 from "typescript";
+import ts5 from "typescript";
 function lineOf4(sf, node) {
   return sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
 }
 function stringValue(node) {
   if (!node) return void 0;
-  if (ts4.isStringLiteralLike(node) || ts4.isNoSubstitutionTemplateLiteral(node))
+  if (ts5.isStringLiteralLike(node) || ts5.isNoSubstitutionTemplateLiteral(node))
     return node.text;
-  if (ts4.isTemplateExpression(node))
+  if (ts5.isTemplateExpression(node))
     return node.getText().replace(/^`|`$/g, "");
   return node.getText();
 }
@@ -661,22 +693,22 @@ function placeholders(value) {
 }
 function connectFactFromCall(call) {
   const expr = call.expression;
-  if (!ts4.isPropertyAccessExpression(expr) || expr.name.text !== "to")
+  if (!ts5.isPropertyAccessExpression(expr) || expr.name.text !== "to")
     return void 0;
   const inner = expr.expression;
-  if (!ts4.isPropertyAccessExpression(inner) || inner.name.text !== "connect" || inner.expression.getText() !== "cds")
+  if (!ts5.isPropertyAccessExpression(inner) || inner.name.text !== "connect" || inner.expression.getText() !== "cds")
     return void 0;
   const first = call.arguments[0];
   if (!first) return void 0;
   const second = call.arguments[1];
-  const objectArg = ts4.isObjectLiteralExpression(first) ? first : second && ts4.isObjectLiteralExpression(second) ? second : void 0;
+  const objectArg = ts5.isObjectLiteralExpression(first) ? first : second && ts5.isObjectLiteralExpression(second) ? second : void 0;
   let alias;
   let aliasExpr;
-  if (ts4.isStringLiteralLike(first) || ts4.isNoSubstitutionTemplateLiteral(first))
+  if (ts5.isStringLiteralLike(first) || ts5.isNoSubstitutionTemplateLiteral(first))
     alias = first.text;
-  else if (!ts4.isObjectLiteralExpression(first))
+  else if (!ts5.isObjectLiteralExpression(first))
     aliasExpr = stringValue(first);
-  if ((ts4.isStringLiteralLike(first) || ts4.isNoSubstitutionTemplateLiteral(first)) && !objectArg)
+  if ((ts5.isStringLiteralLike(first) || ts5.isNoSubstitutionTemplateLiteral(first)) && !objectArg)
     return { alias: first.text, isDynamic: false, placeholders: [] };
   if (!objectArg && aliasExpr)
     return {
@@ -688,13 +720,13 @@ function connectFactFromCall(call) {
   let servicePathExpr;
   function visitObject(obj) {
     for (const prop of obj.properties) {
-      if (!ts4.isPropertyAssignment(prop)) continue;
-      const name = ts4.isIdentifier(prop.name) || ts4.isStringLiteralLike(prop.name) ? prop.name.text : void 0;
+      if (!ts5.isPropertyAssignment(prop)) continue;
+      const name = ts5.isIdentifier(prop.name) || ts5.isStringLiteralLike(prop.name) ? prop.name.text : void 0;
       if (name === "destination")
         destinationExpr = stringValue(prop.initializer);
       if (name === "path" || name === "servicePath")
         servicePathExpr = stringValue(prop.initializer);
-      if (ts4.isObjectLiteralExpression(prop.initializer))
+      if (ts5.isObjectLiteralExpression(prop.initializer))
         visitObject(prop.initializer);
     }
   }
@@ -714,8 +746,8 @@ function connectFactFromCall(call) {
   };
 }
 function unwrapCall(expr) {
-  if (ts4.isAwaitExpression(expr)) return unwrapCall(expr.expression);
-  if (ts4.isCallExpression(expr)) return expr;
+  if (ts5.isAwaitExpression(expr)) return unwrapCall(expr.expression);
+  if (ts5.isCallExpression(expr)) return expr;
   return void 0;
 }
 function findConnectInExpression(expr) {
@@ -727,8 +759,8 @@ function findConnectInExpression(expr) {
   let found;
   function visit(node) {
     if (found) return;
-    if (ts4.isCallExpression(node)) found = connectFactFromCall(node);
-    if (!found) ts4.forEachChild(node, visit);
+    if (ts5.isCallExpression(node)) found = connectFactFromCall(node);
+    if (!found) ts5.forEachChild(node, visit);
   }
   visit(expr);
   return found;
@@ -736,12 +768,12 @@ function findConnectInExpression(expr) {
 async function readSource(abs) {
   try {
     const text = await fs7.readFile(abs, "utf8");
-    return ts4.createSourceFile(
+    return ts5.createSourceFile(
       abs,
       text,
-      ts4.ScriptTarget.Latest,
+      ts5.ScriptTarget.Latest,
       true,
-      ts4.ScriptKind.TS
+      ts5.ScriptKind.TS
     );
   } catch {
     return void 0;
@@ -770,7 +802,7 @@ async function resolveImport(repoPath, fromFile, spec) {
 async function importsFor(repoPath, filePath, sf) {
   const imports = [];
   for (const stmt of sf.statements) {
-    if (!ts4.isImportDeclaration(stmt) || !ts4.isStringLiteralLike(stmt.moduleSpecifier))
+    if (!ts5.isImportDeclaration(stmt) || !ts5.isStringLiteralLike(stmt.moduleSpecifier))
       continue;
     const sourceFile = await resolveImport(
       repoPath,
@@ -786,7 +818,7 @@ async function importsFor(repoPath, filePath, sf) {
         sourceFile
       });
     const bindings = clause.namedBindings;
-    if (bindings && ts4.isNamedImports(bindings))
+    if (bindings && ts5.isNamedImports(bindings))
       for (const el of bindings.elements)
         imports.push({
           localName: el.name.text,
@@ -799,17 +831,17 @@ async function importsFor(repoPath, filePath, sf) {
 function exportedLocalNames(sf) {
   const exports = /* @__PURE__ */ new Map();
   for (const stmt of sf.statements) {
-    const direct = ts4.canHaveModifiers(stmt) ? ts4.getModifiers(stmt)?.some(
-      (m) => m.kind === ts4.SyntaxKind.ExportKeyword
+    const direct = ts5.canHaveModifiers(stmt) ? ts5.getModifiers(stmt)?.some(
+      (m) => m.kind === ts5.SyntaxKind.ExportKeyword
     ) ?? false : false;
-    if (direct && ts4.isFunctionDeclaration(stmt) && stmt.name)
+    if (direct && ts5.isFunctionDeclaration(stmt) && stmt.name)
       exports.set(stmt.name.text, stmt.name.text);
-    if (direct && ts4.isVariableStatement(stmt)) {
+    if (direct && ts5.isVariableStatement(stmt)) {
       for (const decl of stmt.declarationList.declarations)
-        if (ts4.isIdentifier(decl.name)) exports.set(decl.name.text, decl.name.text);
+        if (ts5.isIdentifier(decl.name)) exports.set(decl.name.text, decl.name.text);
     }
-    if (!ts4.isExportDeclaration(stmt) || !stmt.exportClause) continue;
-    if (!ts4.isNamedExports(stmt.exportClause)) continue;
+    if (!ts5.isExportDeclaration(stmt) || !stmt.exportClause) continue;
+    if (!ts5.isNamedExports(stmt.exportClause)) continue;
     for (const el of stmt.exportClause.elements)
       exports.set(el.name.text, el.propertyName?.text ?? el.name.text);
   }
@@ -823,18 +855,18 @@ async function helperBindings(repoPath, filePath) {
   const exportedLocals = exportedLocalNames(sf);
   const factsByLocal = /* @__PURE__ */ new Map();
   for (const stmt of sf.statements) {
-    if (ts4.isFunctionDeclaration(stmt) && stmt.name) {
+    if (ts5.isFunctionDeclaration(stmt) && stmt.name) {
       let fact;
       stmt.forEachChild(function visit(node) {
-        if (!fact && ts4.isReturnStatement(node) && node.expression)
+        if (!fact && ts5.isReturnStatement(node) && node.expression)
           fact = findConnectInExpression(node.expression);
-        if (!fact) ts4.forEachChild(node, visit);
+        if (!fact) ts5.forEachChild(node, visit);
       });
       if (fact) factsByLocal.set(stmt.name.text, { ...fact, sourceLine: lineOf4(sf, stmt) });
     }
-    if (ts4.isVariableStatement(stmt))
+    if (ts5.isVariableStatement(stmt))
       for (const decl of stmt.declarationList.declarations) {
-        if (!ts4.isIdentifier(decl.name) || !decl.initializer) continue;
+        if (!ts5.isIdentifier(decl.name) || !decl.initializer) continue;
         const fact = findConnectInExpression(decl.initializer);
         if (fact)
           factsByLocal.set(decl.name.text, {
@@ -875,7 +907,7 @@ async function parseServiceBindings(repoPath, filePath) {
     return helper ? { imp, helper } : void 0;
   }
   async function recordVariable(decl) {
-    if (!ts4.isIdentifier(decl.name) || !decl.initializer) return;
+    if (!ts5.isIdentifier(decl.name) || !decl.initializer) return;
     const call = unwrapCall(decl.initializer);
     if (!call) return;
     const direct = connectFactFromCall(call);
@@ -886,7 +918,7 @@ async function parseServiceBindings(repoPath, filePath) {
         sourceFile: normalizePath(filePath),
         sourceLine: lineOf4(sourceFileAst, decl)
       });
-    else if (ts4.isIdentifier(call.expression)) {
+    else if (ts5.isIdentifier(call.expression)) {
       const resolved = await importedHelper(call.expression.text);
       if (resolved)
         out.push({
@@ -913,14 +945,14 @@ async function parseServiceBindings(repoPath, filePath) {
     }
   }
   function recordDestructuredClassHelper(decl) {
-    if (!ts4.isObjectBindingPattern(decl.name) || !decl.initializer) return;
+    if (!ts5.isObjectBindingPattern(decl.name) || !decl.initializer) return;
     const call = unwrapCall(decl.initializer);
-    if (!call || !ts4.isPropertyAccessExpression(call.expression)) return;
+    if (!call || !ts5.isPropertyAccessExpression(call.expression)) return;
     const target = call.expression;
-    if (target.expression.kind !== ts4.SyntaxKind.ThisKeyword) return;
+    if (target.expression.kind !== ts5.SyntaxKind.ThisKeyword) return;
     for (const el of decl.name.elements) {
-      if (!ts4.isIdentifier(el.name)) continue;
-      const propertyName = el.propertyName && ts4.isIdentifier(el.propertyName) ? el.propertyName.text : el.name.text;
+      if (!ts5.isIdentifier(el.name)) continue;
+      const propertyName = el.propertyName && ts5.isIdentifier(el.propertyName) ? el.propertyName.text : el.name.text;
       const helper = classHelpers.find(
         (h) => h.helperName === target.name.text && h.propertyName === propertyName
       );
@@ -946,8 +978,8 @@ async function parseServiceBindings(repoPath, filePath) {
   }
   const declarations = [];
   function collectDeclarations(node) {
-    if (ts4.isVariableDeclaration(node)) declarations.push(node);
-    ts4.forEachChild(node, collectDeclarations);
+    if (ts5.isVariableDeclaration(node)) declarations.push(node);
+    ts5.forEachChild(node, collectDeclarations);
   }
   collectDeclarations(sourceFileAst);
   for (const decl of declarations) {
@@ -959,16 +991,16 @@ async function parseServiceBindings(repoPath, filePath) {
 function collectClassHelpers(sf) {
   const helpers = [];
   for (const stmt of sf.statements) {
-    if (!ts4.isClassDeclaration(stmt) || !stmt.name) continue;
+    if (!ts5.isClassDeclaration(stmt) || !stmt.name) continue;
     for (const member of stmt.members) {
       let visit2 = function(node) {
-        if (ts4.isVariableDeclaration(node) && ts4.isIdentifier(node.name) && node.initializer) {
+        if (ts5.isVariableDeclaration(node) && ts5.isIdentifier(node.name) && node.initializer) {
           const fact = findConnectInExpression(node.initializer);
           if (fact) bindings.set(node.name.text, fact);
         }
-        if (ts4.isReturnStatement(node) && node.expression && ts4.isObjectLiteralExpression(node.expression)) {
+        if (ts5.isReturnStatement(node) && node.expression && ts5.isObjectLiteralExpression(node.expression)) {
           for (const prop of node.expression.properties) {
-            if (ts4.isShorthandPropertyAssignment(prop)) {
+            if (ts5.isShorthandPropertyAssignment(prop)) {
               const fact = bindings.get(prop.name.text);
               if (fact)
                 helpers.push({
@@ -980,8 +1012,8 @@ function collectClassHelpers(sf) {
                   sourceLine: lineOf4(sf, prop)
                 });
             }
-            if (ts4.isPropertyAssignment(prop) && ts4.isIdentifier(prop.initializer)) {
-              const propertyName = ts4.isIdentifier(prop.name) || ts4.isStringLiteralLike(prop.name) ? prop.name.text : void 0;
+            if (ts5.isPropertyAssignment(prop) && ts5.isIdentifier(prop.initializer)) {
+              const propertyName = ts5.isIdentifier(prop.name) || ts5.isStringLiteralLike(prop.name) ? prop.name.text : void 0;
               const fact = propertyName ? bindings.get(prop.initializer.text) : void 0;
               if (propertyName && fact)
                 helpers.push({
@@ -995,15 +1027,15 @@ function collectClassHelpers(sf) {
             }
           }
         }
-        ts4.forEachChild(node, visit2);
+        ts5.forEachChild(node, visit2);
       };
       var visit = visit2;
-      if (!ts4.isPropertyDeclaration(member) || !member.initializer) continue;
-      if (!ts4.isIdentifier(member.name)) continue;
+      if (!ts5.isPropertyDeclaration(member) || !member.initializer) continue;
+      if (!ts5.isIdentifier(member.name)) continue;
       const className = stmt.name.text;
       const helperName = member.name.text;
       const initializer = member.initializer;
-      if (!ts4.isArrowFunction(initializer) && !ts4.isFunctionExpression(initializer))
+      if (!ts5.isArrowFunction(initializer) && !ts5.isFunctionExpression(initializer))
         continue;
       const bindings = /* @__PURE__ */ new Map();
       visit2(initializer);
@@ -1066,7 +1098,7 @@ function resolveOperation(db, signals, workspaceId) {
       candidates: [],
       reasons: ["missing_operation_path"]
     };
-  const candidates = rows(db, signals.operationPath, workspaceId).map((c) => ({
+  const candidates = rows(db, signals.operationPath, workspaceId).filter((c) => matchesLocalRepo(db, c.operationId, signals.repoId)).map((c) => ({
     ...c,
     score: 0.2,
     reasons: ["operation_path_match"]
@@ -1089,6 +1121,11 @@ function resolveOperation(db, signals, workspaceId) {
       c.score -= 0.1;
       c.reasons.push("service_path_mismatch");
     }
+    if (signals.serviceName && (c.servicePath === `/${signals.serviceName}` || c.servicePath.endsWith(`/${signals.serviceName}`))) {
+      c.score += 0.7;
+      c.reasons.push("exact_local_service_name");
+    }
+    if (signals.serviceName && c.servicePath !== `/${signals.serviceName}` && !c.servicePath.endsWith(`/${signals.serviceName}`)) c.reasons.push("local_service_name_mismatch");
     if (signals.hasExplicitOverride) {
       c.score += 0.2;
       c.reasons.push("explicit_dynamic_override");
@@ -1112,7 +1149,7 @@ function resolveOperation(db, signals, workspaceId) {
       candidates,
       reasons: ["operation_path_only_has_no_strong_target_signal"]
     };
-  if (best && best.score >= 0.9 && best.servicePath === signals.servicePath && (best.operationPath === signals.operationPath || best.operationName === signals.operationPath.replace(/^\//, "")) && (!second || best.score - second.score >= 0.25))
+  if (best && best.score >= 0.9 && (best.servicePath === signals.servicePath || Boolean(signals.serviceName && (best.servicePath === `/${signals.serviceName}` || best.servicePath.endsWith(`/${signals.serviceName}`)))) && (best.operationPath === signals.operationPath || best.operationName === signals.operationPath.replace(/^\//, "")) && (!second || best.score - second.score >= 0.25))
     return {
       status: "resolved",
       target: best,
@@ -1125,6 +1162,11 @@ function resolveOperation(db, signals, workspaceId) {
     reasons: ["candidate_score_below_resolution_threshold"]
   };
 }
+function matchesLocalRepo(db, operationId, repoId) {
+  if (repoId === void 0) return true;
+  const row = db.prepare("SELECT s.repo_id repoId FROM cds_operations o JOIN cds_services s ON s.id=o.service_id WHERE o.id=?").get(operationId);
+  return row?.repoId === repoId;
+}
 
 // src/linker/helper-package-linker.ts
 function normalizeName(value) {
@@ -1177,7 +1219,7 @@ function linkWorkspace(db, workspaceId, vars = {}) {
     const callSummary = linkCalls(db, workspaceId, vars, generation);
     const impl = linkImplementations(db, workspaceId, generation);
     db.prepare("UPDATE repositories SET graph_generation=?, graph_stale_reason=NULL, graph_stale_at=NULL WHERE workspace_id=?").run(generation, workspaceId);
-    return { ...callSummary, edgeCount: deps.edgeCount + callSummary.edgeCount + impl.edgeCount, dependencyResolvedCount: deps.resolvedCount, dependencyAmbiguousCount: deps.ambiguousCount, implementationResolvedCount: impl.resolvedCount, implementationAmbiguousCount: impl.ambiguousCount };
+    return { ...callSummary, edgeCount: deps.edgeCount + callSummary.edgeCount + impl.edgeCount, dependencyResolvedCount: deps.resolvedCount, dependencyAmbiguousCount: deps.ambiguousCount, implementationResolvedCount: impl.resolvedCount, implementationAmbiguousCount: impl.ambiguousCount, implementationUnresolvedCount: impl.unresolvedCount };
   });
 }
 function nextGraphGeneration(db, workspaceId) {
@@ -1209,10 +1251,11 @@ function insertCallEdge(db, workspaceId, call, vars, generation) {
   const servicePath = applyVariables(call.servicePathExpr ?? call.requireServicePath, vars);
   const destination = call.destinationExpr ?? call.requireDestination;
   const isDynamic = Boolean(Number(call.isDynamic ?? 0));
-  const resolution = callType.startsWith("remote") ? resolveOperation(db, { servicePath, operationPath: op, alias: applyVariables(call.aliasExpr ?? call.alias, vars), destination: destination ? applyVariables(destination, vars) : void 0, isDynamic, hasExplicitOverride: Object.keys(vars).length > 0 }, workspaceId) : { status: "unresolved", candidates: [], reasons: [] };
+  const isOperationCall = callType.startsWith("remote") || callType === "local_service_call";
+  const resolution = isOperationCall ? resolveOperation(db, { servicePath, operationPath: op, serviceName: call.local_service_name, repoId: callType === "local_service_call" ? Number(call.repo_id) : void 0, alias: applyVariables(call.aliasExpr ?? call.alias, vars), destination: destination ? applyVariables(destination, vars) : void 0, isDynamic, hasExplicitOverride: Object.keys(vars).length > 0 || callType === "local_service_call" }, workspaceId) : { status: "unresolved", candidates: [], reasons: [] };
   const evidence = callEvidence(call, resolution, servicePath, op, destination ? applyVariables(destination, vars) : void 0);
   if (resolution.target) {
-    db.prepare("INSERT INTO graph_edges(workspace_id,edge_type,status,from_kind,from_id,to_kind,to_id,confidence,evidence_json,is_dynamic,generation) VALUES(?,?,?,?,?,?,?,?,?,?,?)").run(workspaceId, "REMOTE_CALL_RESOLVES_TO_OPERATION", "resolved", "call", String(call.id), "operation", String(resolution.target.operationId), resolution.target.score, JSON.stringify(evidence), isDynamic ? 1 : 0, generation);
+    db.prepare("INSERT INTO graph_edges(workspace_id,edge_type,status,from_kind,from_id,to_kind,to_id,confidence,evidence_json,is_dynamic,generation) VALUES(?,?,?,?,?,?,?,?,?,?,?)").run(workspaceId, callType === "local_service_call" ? "LOCAL_CALL_RESOLVES_TO_OPERATION" : "REMOTE_CALL_RESOLVES_TO_OPERATION", "resolved", "call", String(call.id), "operation", String(resolution.target.operationId), resolution.target.score, JSON.stringify(evidence), isDynamic ? 1 : 0, generation);
     return { status: "resolved" };
   }
   const edgeType = callType === "local_db_query" ? "HANDLER_RUNS_DB_QUERY" : callType === "external_http" ? "HANDLER_CALLS_EXTERNAL_HTTP" : callType === "async_emit" ? "HANDLER_EMITS_EVENT" : callType === "async_subscribe" ? "EVENT_CONSUMED_BY_HANDLER" : resolution.status === "dynamic" ? "DYNAMIC_EDGE_CANDIDATE" : "UNRESOLVED_EDGE";
@@ -1222,17 +1265,18 @@ function insertCallEdge(db, workspaceId, call, vars, generation) {
   return { status };
 }
 function callEvidence(call, resolution, servicePath, op, destination) {
-  return { sourceFile: call.source_file, sourceLine: call.source_line, file: call.source_file, line: call.source_line, repo: call.repoName, serviceAlias: call.alias, serviceAliasExpr: call.aliasExpr, destination, servicePath, operationPath: op, targetRepo: resolution.target?.repoName, targetOperation: resolution.target?.operationName, helperChain: call.helperChainJson ? JSON.parse(String(call.helperChainJson)) : void 0, candidates: resolution.candidates, candidateCount: resolution.candidates.length, resolutionStatus: resolution.status, resolutionReasons: resolution.reasons, analysisCompleteness: call.unresolved_reason ? "partial" : "complete", parserWarning: call.unresolved_reason ? { code: "parser_warning", message: call.unresolved_reason } : void 0 };
+  return { sourceFile: call.source_file, sourceLine: call.source_line, file: call.source_file, line: call.source_line, repo: call.repoName, serviceAlias: call.alias, serviceAliasExpr: call.aliasExpr, destination, servicePath, operationPath: op, localServiceName: call.local_service_name, localServiceLookup: call.local_service_lookup, aliasChain: call.alias_chain_json ? JSON.parse(String(call.alias_chain_json)) : void 0, transport: call.call_type === "local_service_call" ? "local" : void 0, targetRepo: resolution.target?.repoName, targetOperation: resolution.target?.operationName, helperChain: call.helperChainJson ? JSON.parse(String(call.helperChainJson)) : void 0, candidates: resolution.candidates, candidateCount: resolution.candidates.length, resolutionStatus: resolution.status, resolutionReasons: resolution.reasons, analysisCompleteness: call.unresolved_reason ? "partial" : "complete", parserWarning: call.unresolved_reason ? { code: "parser_warning", message: call.unresolved_reason } : void 0 };
 }
 function linkImplementations(db, workspaceId, generation) {
-  const operations = db.prepare(`SELECT o.id operationId,o.operation_path operationPath,o.operation_name operationName,s.service_path servicePath,s.repo_id modelRepoId,r.name modelRepo,r.package_name modelPackage FROM cds_operations o JOIN cds_services s ON s.id=o.service_id JOIN repositories r ON r.id=s.repo_id WHERE r.workspace_id=?`).all(workspaceId);
+  const operations = db.prepare(`SELECT o.id operationId,o.operation_path operationPath,o.operation_name operationName,s.service_path servicePath,s.repo_id modelRepoId,r.name modelRepo,r.package_name modelPackage,r.kind modelKind FROM cds_operations o JOIN cds_services s ON s.id=o.service_id JOIN repositories r ON r.id=s.repo_id WHERE r.workspace_id=?`).all(workspaceId);
   let edgeCount = 0;
   let resolvedCount = 0;
   let ambiguousCount = 0;
+  let unresolvedCount = 0;
   for (const operation of operations) {
     const candidates = rankedImplementationCandidates(db, workspaceId, operation);
+    if (candidates.length === 0) continue;
     const accepted = candidates.filter((candidate) => candidate.accepted);
-    if (accepted.length === 0) continue;
     const topScore = accepted[0]?.score ?? 0;
     const winners = accepted.filter((candidate) => candidate.score === topScore);
     const unique = winners.length === 1 ? winners[0] : void 0;
@@ -1243,16 +1287,49 @@ function linkImplementations(db, workspaceId, generation) {
       modelPackage: { id: operation.modelRepoId, name: operation.modelRepo, packageName: operation.modelPackage },
       candidates: candidates.map((candidate, index) => candidateEvidence(candidate, index + 1))
     };
+    if (accepted.length === 0) {
+      db.prepare("INSERT INTO graph_edges(workspace_id,edge_type,status,from_kind,from_id,to_kind,to_id,confidence,evidence_json,is_dynamic,unresolved_reason,generation) VALUES(?,?,?,?,?,?,?,?,?,?,?,?)").run(workspaceId, "OPERATION_IMPLEMENTED_BY_HANDLER", "unresolved", "operation", graphId(operation.operationId), "handler_method_candidates", candidates.map((row) => graphId(row.methodId)).join(","), 0, JSON.stringify(evidence), 0, "No implementation candidate passed policy", generation);
+      edgeCount += 1;
+      unresolvedCount += 1;
+      continue;
+    }
     db.prepare("INSERT INTO graph_edges(workspace_id,edge_type,status,from_kind,from_id,to_kind,to_id,confidence,evidence_json,is_dynamic,unresolved_reason,generation) VALUES(?,?,?,?,?,?,?,?,?,?,?,?)").run(workspaceId, "OPERATION_IMPLEMENTED_BY_HANDLER", unique ? "resolved" : "ambiguous", "operation", graphId(operation.operationId), unique ? "handler_method" : "handler_method_candidates", unique ? graphId(unique.methodId) : winners.map((row) => graphId(row.methodId)).join(","), unique ? 0.95 : 0.5, JSON.stringify(evidence), 0, unique ? null : "Ambiguous registered handler implementation candidates", generation);
     edgeCount += 1;
     if (unique) resolvedCount += 1;
     else ambiguousCount += 1;
   }
-  return { edgeCount, resolvedCount, ambiguousCount };
+  return { edgeCount, resolvedCount, ambiguousCount, unresolvedCount };
 }
 function rankedImplementationCandidates(db, workspaceId, operation) {
   const rows2 = implementationCandidates(db, workspaceId, operation);
-  return rows2.map((row) => scoreImplementationCandidate(row, operation)).sort((a, b) => b.score - a.score || String(a.className).localeCompare(String(b.className)) || a.methodId - b.methodId);
+  return deduplicateCandidates(rows2.map((row) => scoreImplementationCandidate(row, operation))).sort((a, b) => b.score - a.score || String(a.className).localeCompare(String(b.className)) || a.methodId - b.methodId);
+}
+function deduplicateCandidates(rows2) {
+  const merged = /* @__PURE__ */ new Map();
+  for (const row of rows2) {
+    const key = [row.methodId, row.classId, row.applicationRepoId, row.importSource ?? "", row.registrationKind ?? ""].join(":");
+    const registration = { file: row.registrationFile, line: row.registrationLine, kind: row.registrationKind, importSource: row.importSource };
+    const existing = merged.get(key);
+    if (!existing) {
+      merged.set(key, { ...row, registrations: [registration] });
+      continue;
+    }
+    existing.registrations = uniqueRegistrations([...existing.registrations ?? [], registration]);
+    existing.score = Math.max(existing.score, row.score);
+    existing.accepted = existing.accepted || row.accepted;
+    existing.acceptedReasons = [.../* @__PURE__ */ new Set([...existing.acceptedReasons, ...row.acceptedReasons])];
+    existing.rejectedReasons = [.../* @__PURE__ */ new Set([...existing.rejectedReasons, ...row.rejectedReasons])];
+  }
+  return [...merged.values()];
+}
+function uniqueRegistrations(rows2) {
+  const seen = /* @__PURE__ */ new Set();
+  return rows2.filter((row) => {
+    const key = JSON.stringify(row);
+    if (seen.has(key)) return false;
+    seen.add(key);
+    return true;
+  });
 }
 function implementationCandidates(db, workspaceId, operation) {
   const modelRepoGraphId = graphId(operation.modelRepoId);
@@ -1275,6 +1352,7 @@ function implementationCandidates(db, workspaceId, operation) {
       ? modelRepoId,
       ? modelRepo,
       ? modelPackage,
+      ? modelKind,
       ? servicePath,
       ? operationPath,
       ? operationName,
@@ -1283,6 +1361,7 @@ function implementationCandidates(db, workspaceId, operation) {
       CASE WHEN appRepo.id=handlerRepo.id THEN 1 ELSE 0 END sameRepoRegistration,
       CASE WHEN EXISTS (SELECT 1 FROM cds_services localService WHERE localService.repo_id=appRepo.id AND localService.service_path=?) THEN 1 ELSE 0 END localServicePathMatch,
       CASE WHEN EXISTS (SELECT 1 FROM cds_services localService WHERE localService.repo_id=appRepo.id) THEN 1 ELSE 0 END applicationHasLocalServices,
+      CASE WHEN EXISTS (SELECT 1 FROM handler_registrations localReg JOIN handler_classes localClass ON (localClass.id=localReg.handler_class_id OR localClass.class_name=localReg.class_name) JOIN handler_methods localMethod ON localMethod.handler_class_id=localClass.id WHERE localReg.repo_id=appRepo.id AND (localMethod.decorator_value=? OR localMethod.decorator_value=? OR localMethod.method_name=?)) THEN 1 ELSE 0 END applicationHasLocalRegistrationForOperation,
       CASE WHEN EXISTS (SELECT 1 FROM graph_edges dep WHERE dep.edge_type='REPO_IMPORTS_HELPER_PACKAGE' AND dep.status='resolved' AND dep.from_kind='repo' AND dep.from_id=CAST(appRepo.id AS TEXT) AND dep.to_id=?) THEN 1 ELSE 0 END appDependsOnModel,
       CASE WHEN EXISTS (SELECT 1 FROM graph_edges dep WHERE dep.edge_type='REPO_IMPORTS_HELPER_PACKAGE' AND dep.status='resolved' AND dep.from_kind='repo' AND dep.from_id=CAST(appRepo.id AS TEXT) AND dep.to_id=CAST(handlerRepo.id AS TEXT)) THEN 1 ELSE 0 END appDependsOnHandler,
       CASE WHEN EXISTS (SELECT 1 FROM graph_edges dep WHERE dep.edge_type='REPO_IMPORTS_HELPER_PACKAGE' AND dep.status='resolved' AND dep.from_kind='repo' AND dep.from_id=CAST(handlerRepo.id AS TEXT) AND dep.to_id=?) THEN 1 ELSE 0 END handlerDependsOnModel
@@ -1296,12 +1375,16 @@ function implementationCandidates(db, workspaceId, operation) {
     operation.modelRepoId,
     operation.modelRepo,
     operation.modelPackage,
+    operation.modelKind,
     operation.servicePath,
     operation.operationPath,
     operation.operationName,
     operation.modelRepoId,
     operation.modelRepoId,
     operation.servicePath,
+    normalizedOperation(String(operation.operationPath ?? "")),
+    operation.operationName,
+    operation.operationName,
     modelRepoGraphId,
     modelRepoGraphId,
     workspaceId,
@@ -1319,9 +1402,15 @@ function scoreImplementationCandidate(row, operation) {
   const localServicePathMatch = flag(row.localServicePathMatch);
   const applicationHasLocalServices = flag(row.applicationHasLocalServices);
   const appDependsOnModel = flag(row.appDependsOnModel);
+  const applicationHasLocalRegistrationForOperation = flag(row.applicationHasLocalRegistrationForOperation);
   const appDependsOnHandler = flag(row.appDependsOnHandler);
   const handlerDependsOnModel = flag(row.handlerDependsOnModel);
   const importSource = typeof row.importSource === "string" && row.importSource.length > 0;
+  const sameRepoRegistration = flag(row.sameRepoRegistration);
+  const modelOriented = row.modelKind === "cap-db-model" || !applicationHasLocalRegistrationForOperation;
+  const methodMatches = true;
+  const registeredAndLinked = sameRepoRegistration && importSource;
+  const helperOwned = modelOriented && methodMatches && registeredAndLinked && sameRepoRegistration && !applicationHasLocalServices && !modelIsApplicationRepo && !modelIsHandlerRepo && !localServicePathMatch && !appDependsOnModel && !appDependsOnHandler && !handlerDependsOnModel;
   if (modelIsApplicationRepo) {
     score += 100;
     acceptedReasons.push("model package equals registration package");
@@ -1348,6 +1437,10 @@ function scoreImplementationCandidate(row, operation) {
     score += 20;
     acceptedReasons.push("handler package depends on model package");
   }
+  if (helperOwned) {
+    score += 60;
+    acceptedReasons.push("unique registered helper implementation for model-only operation");
+  }
   if (importSource) {
     score += 10;
     acceptedReasons.push("registration imports handler class");
@@ -1355,8 +1448,8 @@ function scoreImplementationCandidate(row, operation) {
   const hasOwnership = modelIsApplicationRepo || modelIsHandlerRepo;
   const hasCrossPackage = appDependsOnModel && (modelIsHandlerRepo || appDependsOnHandler || !importSource);
   const contradicted = applicationHasLocalServices && !localServicePathMatch && !appDependsOnModel && !hasOwnership;
-  if (!hasOwnership && !localServicePathMatch && !hasCrossPackage) rejectedReasons.push("missing direct ownership, exact local service path, or validated cross-package dependency evidence");
-  const accepted = !contradicted && (hasOwnership || localServicePathMatch || hasCrossPackage || handlerDependsOnModel);
+  if (!hasOwnership && !localServicePathMatch && !hasCrossPackage && !helperOwned) rejectedReasons.push("missing direct ownership, exact local service path, or validated cross-package dependency evidence");
+  const accepted = !contradicted && (hasOwnership || localServicePathMatch || hasCrossPackage || handlerDependsOnModel || helperOwned);
   if (!accepted && rejectedReasons.length === 0) rejectedReasons.push("candidate did not meet implementation ownership policy");
   return { ...row, methodId: Number(row.methodId), score, accepted, acceptedReasons, rejectedReasons };
 }
@@ -1373,6 +1466,7 @@ function candidateEvidence(candidate, rank) {
     sourceFile: candidate.sourceFile,
     sourceLine: candidate.sourceLine,
     registration: { file: candidate.registrationFile, line: candidate.registrationLine, kind: candidate.registrationKind, importSource: candidate.importSource },
+    registrations: candidate.registrations ?? [],
     applicationPackage: { id: candidate.applicationRepoId, name: candidate.applicationRepo, packageName: candidate.applicationPackage },
     handlerPackage: { id: candidate.handlerRepoId, name: candidate.handlerRepo, packageName: candidate.handlerPackage },
     modelPackage: { id: candidate.modelRepoId, name: candidate.modelRepo, packageName: candidate.modelPackage },
@@ -1383,6 +1477,7 @@ function candidateEvidence(candidate, rank) {
       directOwnership: { modelIsApplicationRepo: flag(candidate.modelIsApplicationRepo), modelIsHandlerRepo: flag(candidate.modelIsHandlerRepo) },
       localServicePathMatch: flag(candidate.localServicePathMatch),
       applicationHasLocalServices: flag(candidate.applicationHasLocalServices),
+      applicationHasLocalRegistrationForOperation: flag(candidate.applicationHasLocalRegistrationForOperation),
       appDependsOnModel: flag(candidate.appDependsOnModel),
       appDependsOnHandler: flag(candidate.appDependsOnHandler),
       handlerDependsOnModel: flag(candidate.handlerDependsOnModel),
@@ -1413,8 +1508,8 @@ function sourceFilesForStart(db, repoId, start) {
   const operation = normalizeOperation(start.operation ?? start.operationPath);
   if (!handler && !operation) return void 0;
   const rows2 = db.prepare(
-    `SELECT DISTINCT hc.source_file sourceFile
-       FROM handler_classes hc LEFT JOIN handler_methods hm ON hm.handler_class_id=hc.id
+    `SELECT DISTINCT hc.source_file sourceFile,s.id symbolId
+       FROM handler_classes hc LEFT JOIN handler_methods hm ON hm.handler_class_id=hc.id LEFT JOIN symbols s ON s.repo_id=hc.repo_id AND s.source_file=hc.source_file AND s.name=hm.method_name
        WHERE (? IS NULL OR hc.repo_id=?) AND (? IS NULL OR hc.class_name=? OR hm.method_name=?)
          AND (? IS NULL OR hm.decorator_value=? OR hm.method_name=?)
          AND (? IS NULL OR EXISTS (SELECT 1 FROM cds_services s JOIN cds_operations o ON o.service_id=s.id WHERE s.repo_id=hc.repo_id AND s.service_path=? AND (? IS NULL OR o.operation_path=? OR o.operation_name=? OR hm.decorator_value=? OR hm.method_name=?)))`
@@ -1435,16 +1530,26 @@ function sourceFilesForStart(db, repoId, start) {
     operation,
     operation
   );
-  if (start.servicePath && rows2.length === 0) return void 0;
-  if (rows2.length === 0) return void 0;
-  return new Set(rows2.map((row) => row.sourceFile).filter(Boolean));
+  if (rows2.length > 0) return { files: new Set(rows2.map((row) => row.sourceFile).filter(Boolean)), symbols: new Set(rows2.map((row) => Number(row.symbolId)).filter(Boolean)) };
+  if (start.servicePath && operation) {
+    const implRows = db.prepare(`SELECT DISTINCT hc.source_file sourceFile,sym.id symbolId
+      FROM cds_services s JOIN cds_operations o ON o.service_id=s.id
+      JOIN graph_edges e ON e.edge_type='OPERATION_IMPLEMENTED_BY_HANDLER' AND e.status='resolved' AND e.from_kind='operation' AND e.from_id=CAST(o.id AS TEXT)
+      JOIN handler_methods hm ON hm.id=CAST(e.to_id AS INTEGER)
+      JOIN handler_classes hc ON hc.id=hm.handler_class_id
+      LEFT JOIN symbols sym ON sym.repo_id=hc.repo_id AND sym.source_file=hc.source_file AND sym.name=hm.method_name
+      WHERE (? IS NULL OR s.repo_id=?) AND s.service_path=? AND (o.operation_path=? OR o.operation_name=?)`).all(repoId, repoId, start.servicePath, operation, operation);
+    if (implRows.length > 0) return { files: new Set(implRows.map((row) => row.sourceFile).filter(Boolean)), symbols: new Set(implRows.map((row) => Number(row.symbolId)).filter(Boolean)) };
+  }
+  return void 0;
 }
 function startScope(db, start) {
   const repo = start.repo ? db.prepare(
     "SELECT id,name FROM repositories WHERE name=? OR package_name=?"
   ).get(start.repo, start.repo) : void 0;
   if (start.repo && !repo) return { repo, selectorMatched: false };
-  const sourceFiles = sourceFilesForStart(db, repo?.id, start);
+  const sourceScope = sourceFilesForStart(db, repo?.id, start);
+  const sourceFiles = sourceScope?.files;
   const hasSelector = Boolean(
     start.handler ?? start.operation ?? start.operationPath ?? start.servicePath
   );
@@ -1453,6 +1558,7 @@ function startScope(db, start) {
   return {
     repo,
     sourceFiles,
+    symbolIds: sourceScope?.symbols,
     selectorMatched: !hasSelector || sourceFiles !== void 0
   };
 }
@@ -1464,17 +1570,26 @@ function handlerFilesForOperation(db, operationId) {
   if (!op) return /* @__PURE__ */ new Set();
   const operation = normalizeOperation(op.operationPath ?? op.operationName);
   const rows2 = db.prepare(
-    `SELECT DISTINCT hc.source_file sourceFile FROM handler_classes hc
+    `SELECT DISTINCT hc.source_file sourceFile,sym.id symbolId FROM handler_classes hc
     JOIN handler_methods hm ON hm.handler_class_id=hc.id
+    LEFT JOIN symbols sym ON sym.repo_id=hc.repo_id AND sym.source_file=hc.source_file AND sym.name=hm.method_name
     WHERE hc.repo_id=? AND (hm.decorator_value=? OR hm.method_name=? OR hm.decorator_value=?)`
   ).all(op.repoId, operation, operation, op.operationName);
   return new Set(rows2.map((row) => row.sourceFile).filter(Boolean));
 }
+function implementationEdge(db, operationId) {
+  return db.prepare("SELECT * FROM graph_edges WHERE edge_type='OPERATION_IMPLEMENTED_BY_HANDLER' AND from_kind='operation' AND from_id=? ORDER BY CASE status WHEN 'resolved' THEN 0 WHEN 'ambiguous' THEN 1 ELSE 2 END,id LIMIT 1").get(operationId);
+}
+function handlerMethodNode(db, methodId) {
+  const row = db.prepare(`SELECT hm.id methodId,hm.method_name methodName,hm.decorator_value decoratorValue,hm.source_line sourceLine,hc.class_name className,hc.source_file sourceFile,r.name repoName,r.id repoId FROM handler_methods hm JOIN handler_classes hc ON hc.id=hm.handler_class_id JOIN repositories r ON r.id=hc.repo_id WHERE hm.id=?`).get(methodId);
+  if (!row) return void 0;
+  return { id: `handler_method:${methodId}`, kind: "handler_method", label: `${String(row.repoName)}:${String(row.className)}.${String(row.methodName)}`, ...row };
+}
 function implementationScope(db, operationId) {
-  const edge = db.prepare("SELECT * FROM graph_edges WHERE edge_type='OPERATION_IMPLEMENTED_BY_HANDLER' AND status='resolved' AND from_kind='operation' AND from_id=? ORDER BY id LIMIT 1").get(operationId);
-  if (!edge) return { files: /* @__PURE__ */ new Set() };
-  const row = db.prepare("SELECT hc.repo_id repoId,hc.source_file sourceFile FROM handler_methods hm JOIN handler_classes hc ON hc.id=hm.handler_class_id WHERE hm.id=?").get(edge.to_id);
-  return { repoId: row?.repoId, files: new Set(row?.sourceFile ? [row.sourceFile] : []) };
+  const edge = implementationEdge(db, operationId);
+  if (!edge || edge.status !== "resolved") return { files: /* @__PURE__ */ new Set(), edge };
+  const row = db.prepare("SELECT hc.repo_id repoId,hc.source_file sourceFile,s.id symbolId FROM handler_methods hm JOIN handler_classes hc ON hc.id=hm.handler_class_id LEFT JOIN symbols s ON s.repo_id=hc.repo_id AND s.source_file=hc.source_file AND s.name=hm.method_name WHERE hm.id=?").get(edge.to_id);
+  return { repoId: row?.repoId, files: new Set(row?.sourceFile ? [row.sourceFile] : []), symbolId: row?.symbolId, edge };
 }
 function includeCall(type, options) {
   if (!options.includeDb && type === "local_db_query") return false;
@@ -1572,21 +1687,52 @@ function trace(db, start, options) {
   const maxDepth = positiveDepth(options.depth);
   const edges = [];
   const nodes = /* @__PURE__ */ new Map();
-  const queue = scope.selectorMatched ? [{ repoId: scope.repo?.id, files: scope.sourceFiles, depth: 1 }] : [];
+  const queue = scope.selectorMatched ? [{ repoId: scope.repo?.id, files: scope.sourceFiles, symbolIds: scope.symbolIds, depth: 1 }] : [];
+  if (start.servicePath && (start.operation ?? start.operationPath)) {
+    const startOperation = normalizeOperation(start.operation ?? start.operationPath);
+    const startRows = db.prepare(`SELECT o.id operationId,r.name repoName,s.service_path servicePath,o.operation_path operationPath,o.operation_name operationName,o.source_file sourceFile,o.source_line sourceLine FROM cds_operations o JOIN cds_services s ON s.id=o.service_id JOIN repositories r ON r.id=s.repo_id WHERE (? IS NULL OR s.repo_id=?) AND s.service_path=? AND (o.operation_path=? OR o.operation_name=?) ORDER BY r.name,o.id LIMIT 2`).all(scope.repo?.id, scope.repo?.id, start.servicePath, startOperation, startOperation);
+    if (!scope.repo && startRows.length > 1) diagnostics.unshift({ severity: "warning", code: "trace_start_ambiguous", message: "Service/path trace start matched multiple repositories; add --repo to disambiguate", candidates: startRows });
+    const row = startRows.length === 1 ? startRows[0] : void 0;
+    if (row?.operationId !== void 0) {
+      const opId = String(row.operationId);
+      const op = operationNode(db, opId);
+      const impl = implementationScope(db, opId);
+      if (op) nodes.set(String(op.id), op);
+      if (impl.edge) {
+        const implEvidence = JSON.parse(String(impl.edge.evidence_json || "{}"));
+        const handlerNode = impl.edge.status === "resolved" ? handlerMethodNode(db, impl.edge.to_id) : void 0;
+        if (handlerNode) nodes.set(String(handlerNode.id), handlerNode);
+        edges.push({ step: 1, type: "operation_implemented_by_handler", from: op?.label ? String(op.label) : `${start.servicePath}/${startOperation ?? ""}`, to: handlerNode?.label ? String(handlerNode.label) : `${impl.edge.to_kind}:${impl.edge.to_id}`, evidence: implEvidence, confidence: Number(impl.edge.confidence ?? 0), unresolvedReason: impl.edge.status === "resolved" ? void 0 : String(impl.edge.unresolved_reason ?? impl.edge.status) });
+      }
+    }
+  }
   const seenScopes = /* @__PURE__ */ new Set();
   const seenEdges = /* @__PURE__ */ new Set();
   while (queue.length > 0) {
     const current = queue.shift();
     if (!current || current.depth > maxDepth) continue;
-    const key = `${current.repoId ?? "*"}:${[...current.files ?? /* @__PURE__ */ new Set(["*"])].sort().join(",")}`;
+    const key = `${current.repoId ?? "*"}:${[...current.symbolIds ?? /* @__PURE__ */ new Set(["*"])].sort().join(",")}:${[...current.files ?? /* @__PURE__ */ new Set(["*"])].sort().join(",")}`;
     if (seenScopes.has(key)) continue;
     seenScopes.add(key);
     const calls = db.prepare(
       `SELECT c.*,r.name repoName FROM outbound_calls c JOIN repositories r ON r.id=c.repo_id WHERE (? IS NULL OR c.repo_id=?) ORDER BY c.source_file,c.source_line`
     ).all(current.repoId, current.repoId);
     const filtered = calls.filter(
-      (c) => (!current.files || current.files.has(String(c.source_file))) && includeCall(String(c.call_type), options)
+      (c) => (!current.symbolIds || current.symbolIds.has(Number(c.source_symbol_id))) && (!current.files || current.files.has(String(c.source_file))) && includeCall(String(c.call_type), options)
     );
+    if (current.symbolIds && current.symbolIds.size > 0 && current.depth < maxDepth) {
+      const symbolRows = db.prepare(`SELECT sc.*,s.repo_id calleeRepoId,s.source_file calleeFile FROM symbol_calls sc LEFT JOIN symbols s ON s.id=sc.callee_symbol_id WHERE sc.caller_symbol_id IN (${[...current.symbolIds].map(() => "?").join(",")}) ORDER BY sc.source_file,sc.source_line`).all(...current.symbolIds);
+      for (const symbolCall of symbolRows) {
+        if (!symbolCall.callee_symbol_id) continue;
+        const nextSymbols = /* @__PURE__ */ new Set([Number(symbolCall.callee_symbol_id)]);
+        const nextFiles = /* @__PURE__ */ new Set([String(symbolCall.calleeFile)]);
+        const nextRepoId = Number(symbolCall.calleeRepoId);
+        const nextKey = `${nextRepoId}:${[...nextSymbols].join(",")}:${[...nextFiles].join(",")}`;
+        edges.push({ step: current.depth, type: "local_symbol_call", from: String(symbolCall.callee_expression), to: `symbol:${String(symbolCall.callee_symbol_id)}`, evidence: JSON.parse(String(symbolCall.evidence_json || "{}")), confidence: Number(symbolCall.confidence ?? 0.8), unresolvedReason: symbolCall.unresolved_reason ? String(symbolCall.unresolved_reason) : void 0 });
+        if (seenScopes.has(nextKey)) edges.push({ step: current.depth, type: "cycle", from: String(symbolCall.callee_expression), to: nextKey, evidence: { cycle: true, symbolCallId: symbolCall.id }, confidence: 1, unresolvedReason: "Cycle detected; downstream symbol already visited" });
+        else queue.push({ repoId: nextRepoId, files: nextFiles, symbolIds: nextSymbols, depth: current.depth + 1 });
+      }
+    }
     const graph = graphForCalls(
       db,
       filtered.map((c) => Number(c.id))
@@ -1622,23 +1768,40 @@ function trace(db, start, options) {
         edges.push({
           step: current.depth,
           type: String(call.call_type),
-          from: `${call.repoName}:${call.source_file}`,
+          from: `${call.repoName}:${call.source_file}:${call.source_line}`,
           to,
           evidence,
           confidence: Number(effectiveRow.confidence ?? call.confidence),
           unresolvedReason: effective.unresolvedReason
         });
-        if (effectiveRow.to_kind === "operation" && current.depth < maxDepth) {
+        if (effectiveRow.to_kind === "operation") {
           const implementation = implementationScope(db, effectiveRow.to_id);
+          if (implementation.edge) {
+            const implEvidence = JSON.parse(String(implementation.edge.evidence_json || "{}"));
+            const handlerNode = implementation.edge.status === "resolved" ? handlerMethodNode(db, implementation.edge.to_id) : void 0;
+            const implTo = handlerNode?.label ? String(handlerNode.label) : `${implementation.edge.to_kind}:${implementation.edge.to_id}`;
+            if (handlerNode) nodes.set(String(handlerNode.id), handlerNode);
+            edges.push({
+              step: current.depth,
+              type: "operation_implemented_by_handler",
+              from: to,
+              to: implTo,
+              evidence: implEvidence,
+              confidence: Number(implementation.edge.confidence ?? 0),
+              unresolvedReason: implementation.edge.status === "resolved" ? void 0 : String(implementation.edge.unresolved_reason ?? implementation.edge.status)
+            });
+          }
+          if (current.depth >= maxDepth) continue;
           const files = implementation.files.size > 0 ? implementation.files : handlerFilesForOperation(db, effectiveRow.to_id);
-          if (files.size > 0) {
+          const symbolIds = implementation.symbolId ? /* @__PURE__ */ new Set([implementation.symbolId]) : void 0;
+          if (implementation.edge?.status === "resolved" && files.size > 0) {
             const targetRepoId = implementation.repoId ?? db.prepare(
               "SELECT s.repo_id repoId FROM cds_operations o JOIN cds_services s ON s.id=o.service_id WHERE o.id=?"
             ).get(effectiveRow.to_id)?.repoId;
-            const nextKey = `${targetRepoId ?? "*"}:${[...files].sort().join(",")}`;
+            const nextKey = `${targetRepoId ?? "*"}:${[...symbolIds ?? /* @__PURE__ */ new Set(["*"])].sort().join(",")}:${[...files].sort().join(",")}`;
             if (seenScopes.has(nextKey))
               edges.push({
-                step: current.depth + 1,
+                step: current.depth,
                 type: "cycle",
                 from: to,
                 to: nextKey,
@@ -1650,6 +1813,7 @@ function trace(db, start, options) {
               queue.push({
                 repoId: targetRepoId,
                 files,
+                symbolIds,
                 depth: current.depth + 1
               });
           }
@@ -1678,4 +1842,4 @@ export {
   linkWorkspace,
   trace
 };
-//# sourceMappingURL=chunk-HQMAFSRR.js.map
+//# sourceMappingURL=chunk-GG4XJGES.js.map