@saptools/service-flow 0.1.44 → 0.1.45

package/dist/{chunk-UKNPHTUS.js → chunk-BXSCE5CR.js}

@@ -577,1518 +577,1716 @@ function summarizeExpression(text) {
   return redactText(text).slice(0, 240);
 }
 
-// src/parsers/outbound-call-parser.ts
+// src/parsers/service-binding-parser.ts
+import path8 from "path";
+import ts5 from "typescript";
+
+// src/parsers/service-binding-parser-helpers.ts
 import fs6 from "fs/promises";
 import path7 from "path";
 import ts4 from "typescript";
-
-// src/linker/external-http-target.ts
-import { createHash } from "crypto";
-var sensitiveKeys = /* @__PURE__ */ new Set(["token", "access_token", "id_token", "api_key", "apikey", "key", "password", "passwd", "pwd", "secret", "client_secret", "authorization", "cookie", "signature"]);
-function hash(value) {
-  return createHash("sha256").update(value).digest("hex").slice(0, 12);
+function lineOf3(sf, node) {
+  return sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
 }
-function methodPrefix(method) {
-  return typeof method === "string" && method.length > 0 ? `${method.toUpperCase()} ` : "";
+function stringValue(node) {
+  if (!node) return void 0;
+  if (ts4.isStringLiteralLike(node) || ts4.isNoSubstitutionTemplateLiteral(node)) return node.text;
+  if (ts4.isTemplateExpression(node)) return node.getText().replace(/^`|`$/g, "");
+  return node.getText();
 }
-function redactUrl(value) {
-  try {
-    const url = new URL(value, value.startsWith("/") ? "https://relative.invalid" : void 0);
-    url.username = "";
-    url.password = "";
-    for (const key of [...url.searchParams.keys()]) url.searchParams.set(key, sensitiveKeys.has(key.toLowerCase()) ? "<redacted>" : "<redacted>");
-    const path10 = `${url.pathname}${url.search ? url.search : ""}`;
-    return value.startsWith("/") ? path10 : `${url.origin}${path10}`;
-  } catch {
-    return value.replace(/([?&][^=;&]*(?:token|key|password|secret|cookie|authorization)[^=;&]*=)[^&]*/gi, "$1<redacted>");
+function placeholders(value) {
+  return [...(value ?? "").matchAll(/\$\{([^}]*)\}/g)].map((m) => (m[1] ?? "").trim()).filter(Boolean);
+}
+function connectFactFromCall(call) {
+  const expr = call.expression;
+  if (!ts4.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") 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;
+  let alias;
+  let aliasExpr;
+  if (ts4.isStringLiteralLike(first) || ts4.isNoSubstitutionTemplateLiteral(first)) alias = first.text;
+  else if (!ts4.isObjectLiteralExpression(first)) aliasExpr = stringValue(first);
+  if ((ts4.isStringLiteralLike(first) || ts4.isNoSubstitutionTemplateLiteral(first)) && !objectArg) return { alias: first.text, isDynamic: false, placeholders: [] };
+  if (!objectArg && aliasExpr) return { aliasExpr, isDynamic: true, placeholders: placeholders(aliasExpr) };
+  const expressions = objectArg ? objectExpressions(objectArg) : {};
+  const ph = [...placeholders(aliasExpr ?? alias), ...placeholders(expressions.destinationExpr), ...placeholders(expressions.servicePathExpr)];
+  return { alias, aliasExpr, ...expressions, isDynamic: ph.length > 0 || !expressions.destinationExpr && !expressions.servicePathExpr, placeholders: ph };
+}
+function objectExpressions(objectArg) {
+  const out = {};
+  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 (name === "destination") out.destinationExpr = stringValue(prop.initializer);
+      if (name === "path" || name === "servicePath") out.servicePathExpr = stringValue(prop.initializer);
+      if (ts4.isObjectLiteralExpression(prop.initializer)) visitObject(prop.initializer);
+    }
   }
+  visitObject(objectArg);
+  return out;
 }
-function externalHttpTarget(call) {
-  const evidence = typeof call.evidence_json === "string" ? safeParse(call.evidence_json) : {};
-  const target = evidence.externalTarget && typeof evidence.externalTarget === "object" && !Array.isArray(evidence.externalTarget) ? evidence.externalTarget : {};
-  const method = typeof call.method === "string" ? call.method : typeof target.method === "string" ? target.method : void 0;
-  const kind = typeof target.kind === "string" ? target.kind : "unknown";
-  const expression = typeof target.expression === "string" ? target.expression : void 0;
-  if (kind === "destination" && target.dynamic === true) {
-    const shape = typeof target.expressionShape === "string" ? target.expressionShape : "expression";
-    const candidates = Array.isArray(target.candidateLiterals) ? target.candidateLiterals.filter((item) => typeof item === "string") : [];
-    return { kind, toKind: "external_destination", toId: `destination:dynamic:${hash(`${shape}:${candidates.join("|")}`)}`, label: "External destination: dynamic destination", method, dynamic: true, expression: candidates.length ? `candidates:${candidates.join("|")}` : `shape:${shape}` };
+function unwrapCall(expr) {
+  if (ts4.isAwaitExpression(expr)) return unwrapCall(expr.expression);
+  if (ts4.isParenthesizedExpression(expr)) return unwrapCall(expr.expression);
+  if (ts4.isAsExpression(expr) || ts4.isSatisfiesExpression(expr)) return unwrapCall(expr.expression);
+  if (ts4.isTypeAssertionExpression(expr)) return unwrapCall(expr.expression);
+  if (ts4.isCallExpression(expr)) return expr;
+  return void 0;
+}
+function unwrapIdentityExpression(expr) {
+  if (ts4.isAwaitExpression(expr)) return unwrapIdentityExpression(expr.expression);
+  if (ts4.isParenthesizedExpression(expr)) return unwrapIdentityExpression(expr.expression);
+  if (ts4.isAsExpression(expr) || ts4.isSatisfiesExpression(expr)) return unwrapIdentityExpression(expr.expression);
+  if (ts4.isTypeAssertionExpression(expr)) return unwrapIdentityExpression(expr.expression);
+  return expr;
+}
+function transactionReceiverName(expr) {
+  const call = unwrapCall(expr);
+  if (call && ts4.isPropertyAccessExpression(call.expression) && ["tx", "transaction"].includes(call.expression.name.text) && ts4.isIdentifier(call.expression.expression)) return call.expression.expression.text;
+  const unwrapped = unwrapIdentityExpression(expr);
+  if (!ts4.isConditionalExpression(unwrapped)) return void 0;
+  const left = transactionReceiverName(unwrapped.whenTrue);
+  const right = transactionReceiverName(unwrapped.whenFalse);
+  return left && left === right ? left : void 0;
+}
+function findConnectInExpression(expr) {
+  const direct = unwrapCall(expr);
+  if (direct) {
+    const fact = connectFactFromCall(direct);
+    if (fact) return fact;
   }
-  if (kind === "destination" && expression) return { kind, toKind: "external_destination", toId: `destination:${expression}`, label: `External destination: ${expression}`, method, dynamic: false, expression };
-  if (kind === "static_url" && expression) {
-    const redacted = redactUrl(expression);
-    return { kind, toKind: "external_endpoint", toId: `endpoint:${hash(`${method ?? ""}:${redacted}`)}`, label: `External endpoint: ${methodPrefix(method)}${redacted}`, method, dynamic: false, expression: redacted };
+  let found;
+  function visit(node) {
+    if (found) return;
+    if (ts4.isCallExpression(node)) found = connectFactFromCall(node);
+    if (!found) ts4.forEachChild(node, visit);
   }
-  if (kind === "url_expression" && expression) return { kind, toKind: "external_endpoint", toId: `dynamic:${hash(expression)}`, label: `External endpoint: ${methodPrefix(method)}dynamic URL`, method, dynamic: true, expression: `expr:${hash(expression)}` };
-  return { kind: "unknown", toKind: "external_endpoint", toId: "unknown", label: "External endpoint: unknown", method, dynamic: false };
+  visit(expr);
+  return found;
 }
-function safeParse(value) {
+async function readSource(abs) {
   try {
-    const parsed = JSON.parse(value);
-    return parsed && typeof parsed === "object" && !Array.isArray(parsed) ? parsed : {};
+    const text = await fs6.readFile(abs, "utf8");
+    return ts4.createSourceFile(abs, text, ts4.ScriptTarget.Latest, true, ts4.ScriptKind.TS);
   } catch {
-    return {};
+    return void 0;
   }
 }
-
-// src/linker/odata-path-normalizer.ts
-function normalizeODataOperationInvocationPath(path10) {
-  if (path10 === void 0) return void 0;
-  const raw = path10.trim();
-  if (!raw) return void 0;
-  const rejected = (reason) => ({ rawOperationPath: raw, normalizedOperationPath: raw, wasInvocation: false, invocationArgumentPlaceholderKeys: [], normalizationRejectedReason: reason });
-  const open = raw.indexOf("(");
-  if (open < 0) return rejected("no_top_level_parenthesis");
-  const query = topLevelQueryIndex(raw);
-  if (query >= 0) return rejected("query_string_paths_are_not_operation_invocations");
-  if (!raw.startsWith("/")) return rejected("path_is_not_absolute");
-  if (raw.slice(1, open).includes("/")) return rejected("operation_segment_contains_navigation_separator");
-  const close = matchingClose(raw, open);
-  if (close === void 0) return rejected("top_level_invocation_parenthesis_is_unbalanced");
-  if (raw.slice(close + 1).trim().length > 0) return rejected("top_level_invocation_does_not_cover_remaining_path");
-  const operationSegment = raw.slice(0, open).trim();
-  if (operationSegment.length <= 1) return rejected("operation_segment_is_empty");
-  return {
-    rawOperationPath: raw,
-    normalizedOperationPath: operationSegment,
-    wasInvocation: true,
-    invocationArgumentPlaceholderKeys: [...new Set(extractTemplatePlaceholders(raw.slice(open + 1, close)))],
-    normalizationReason: "balanced_top_level_operation_invocation"
-  };
+async function resolveImport(repoPath, fromFile, spec) {
+  if (!spec.startsWith(".")) return void 0;
+  const rawBase = path7.resolve(repoPath, path7.dirname(fromFile), spec);
+  const parsed = path7.parse(rawBase);
+  const base = [".js", ".mjs", ".cjs", ".ts", ".mts", ".cts"].includes(parsed.ext) ? path7.join(parsed.dir, parsed.name) : rawBase;
+  for (const candidate of [base, `${base}.ts`, `${base}.js`, path7.join(base, "index.ts"), path7.join(base, "index.js")]) {
+    const stat = await fs6.stat(candidate).catch(() => void 0);
+    if (stat?.isFile()) return normalizePath(path7.relative(repoPath, candidate));
+  }
+  return void 0;
 }
-function classifyODataPathIntent(path10, method) {
-  const rawPath = (path10 ?? "").trim();
-  const normalizedMethod = (method ?? "GET").trim().toUpperCase() || "GET";
-  const queryIndex = rawPath.indexOf("?");
-  const pathWithoutQuery = queryIndex >= 0 ? rawPath.slice(0, queryIndex) : rawPath;
-  const queryString = queryIndex >= 0 ? rawPath.slice(queryIndex + 1) : void 0;
-  const segments = pathWithoutQuery.replace(/^\//, "").split("/").filter(Boolean);
-  const firstSegment = segments[0] ?? "";
-  const hasNavigationSegments = segments.length > 1;
-  const entitySegment = entitySegmentFromPath(pathWithoutQuery);
-  const placeholderKeys = [...new Set(extractTemplatePlaceholders(rawPath))];
-  const firstOpen = firstSegment.indexOf("(");
-  const firstClose = firstOpen >= 0 ? matchingClose(firstSegment, firstOpen) : void 0;
-  const keyPredicateText = firstOpen >= 0 && firstClose !== void 0 ? firstSegment.slice(firstOpen + 1, firstClose) : "";
-  const rawKeyPredicatePlaceholderKeys = [...new Set(extractTemplatePlaceholders(keyPredicateText))];
-  const navigationSuffix = hasNavigationSegments ? segments.slice(1).join("/") : void 0;
-  const lastSegment = segments.at(-1) ?? "";
-  const mediaOrPropertySuffix = hasNavigationSegments ? lastSegment : void 0;
-  const invocation = normalizeODataOperationInvocationPath(pathWithoutQuery);
-  const operationNameFromInvocation = invocation?.wasInvocation ? invocation.normalizedOperationPath.replace(/^\//, "").split(".").at(-1) : void 0;
-  const topLevelName = firstSegment.split("(")[0]?.replace(/^\//, "");
-  const topLevelOperationName = operationNameFromInvocation ?? (!hasNavigationSegments && !firstSegment.includes("(") ? topLevelName : void 0);
-  const topLevelOperationInvocation = Boolean(invocation?.wasInvocation && looksLikeLowerCamelInvocation(firstSegment));
-  const keyPredicatePlaceholderKeys = topLevelOperationInvocation ? [] : rawKeyPredicatePlaceholderKeys;
-  const topLevelOperationNameCandidate = Boolean(topLevelOperationName && !hasNavigationSegments && !firstSegment.includes("("));
-  const base = { rawPath, method: normalizedMethod, pathWithoutQuery, queryString, hasQueryString: queryIndex >= 0, entitySegment, placeholderKeys, keyPredicatePlaceholderKeys, invocationArgumentPlaceholderKeys: invocation?.invocationArgumentPlaceholderKeys ?? [], navigationSuffix, mediaOrPropertySuffix, hasEntityKeyPredicate: firstOpen >= 0 && firstClose !== void 0, hasNavigationSuffix: hasNavigationSegments, hasMediaOrPropertySuffix: Boolean(mediaOrPropertySuffix && isMediaOrPropertySuffix(mediaOrPropertySuffix)), topLevelOperationName, topLevelOperationNameCandidate, topLevelOperationInvocation };
-  if (!rawPath || !rawPath.startsWith("/")) return { ...base, kind: "unknown", reason: "path_missing_or_not_absolute" };
-  const upperEntityLike = /^[A-Z][A-Za-z0-9_]*$/.test(entitySegment ?? firstSegment);
-  const mediaLike = isMediaOrPropertySuffix(segments.at(-1) ?? "");
-  if (normalizedMethod !== "GET") {
-    if (invocation?.wasInvocation && looksLikeLowerCamelInvocation(firstSegment)) return { ...base, kind: "operation_invocation", reason: "non_get_balanced_top_level_operation_invocation" };
-    if (mediaLike) return { ...base, kind: "entity_media", reason: "non_get_entity_media_stream_path" };
-    if (hasNavigationSegments || firstSegment.includes("(")) return { ...base, kind: normalizedMethod === "DELETE" ? "entity_delete" : "entity_mutation", reason: firstSegment.includes("(") ? "non_get_entity_key_or_navigation_path_shape" : "non_get_entity_navigation_path_shape" };
-    if (upperEntityLike) return { ...base, kind: normalizedMethod === "DELETE" ? "entity_delete" : "entity_mutation", reason: "non_get_entity_path_shape" };
-    return { ...base, kind: "operation_invocation", reason: "non_get_lowercase_path_may_be_operation" };
+async function importsFor(repoPath, filePath, sf) {
+  const imports = [];
+  for (const stmt of sf.statements) {
+    if (!ts4.isImportDeclaration(stmt) || !ts4.isStringLiteralLike(stmt.moduleSpecifier)) continue;
+    const sourceFile = await resolveImport(repoPath, filePath, stmt.moduleSpecifier.text);
+    const clause = stmt.importClause;
+    if (!clause) continue;
+    if (clause.name) imports.push({ localName: clause.name.text, exportedName: "default", sourceFile });
+    const bindings = clause.namedBindings;
+    if (bindings && ts4.isNamedImports(bindings))
+      for (const el of bindings.elements) imports.push({ localName: el.name.text, exportedName: el.propertyName?.text ?? el.name.text, sourceFile });
   }
-  if (queryIndex >= 0) {
-    if (hasNavigationSegments) return { ...base, kind: "entity_navigation_query", reason: "get_path_has_navigation_and_query_string" };
-    if (looksLikeLowerCamelInvocation(firstSegment)) return { ...base, kind: "unknown", reason: "get_invocation_with_query_string_requires_indexed_operation_evidence" };
-    return { ...base, kind: "entity_query", reason: "get_collection_path_has_query_string" };
+  return imports;
+}
+
+// src/parsers/service-binding-parser.ts
+function collectLocalBindingFacts(fn) {
+  const bindings = /* @__PURE__ */ new Map();
+  function visit(node) {
+    if (node !== fn && (ts5.isFunctionDeclaration(node) || ts5.isArrowFunction(node) || ts5.isFunctionExpression(node)))
+      return;
+    if (ts5.isVariableDeclaration(node) && ts5.isIdentifier(node.name) && node.initializer) {
+      const fact = findConnectInExpression(node.initializer);
+      if (fact) bindings.set(node.name.text, fact);
+      const sourceName = transactionReceiverName(node.initializer);
+      if (sourceName) {
+        const source = bindings.get(sourceName);
+        if (source) bindings.set(node.name.text, { ...source, helperChain: [...source.helperChain ?? [], { aliasOf: sourceName, callerVariable: node.name.text, aliasKind: "transaction", transactionAliasSource: sourceName }] });
+      }
+    }
+    ts5.forEachChild(node, visit);
   }
-  if (hasNavigationSegments) return mediaLike ? { ...base, kind: "entity_media", reason: "get_entity_media_stream_path" } : { ...base, kind: "entity_navigation_query", reason: "get_path_has_navigation_segments" };
-  if (firstSegment.includes("(")) {
-    if (invocation?.wasInvocation && looksLikeLowerCamelInvocation(firstSegment)) return { ...base, kind: "operation_invocation", reason: "get_balanced_top_level_operation_invocation" };
-    return looksLikeLowerCamelInvocation(firstSegment) ? { ...base, kind: "operation_invocation", reason: "get_single_lower_camel_segment_has_top_level_invocation" } : { ...base, kind: "entity_key_read", reason: "get_entity_segment_has_key_predicate" };
+  visit(fn);
+  return bindings;
+}
+function collectReturnedObjectBindings(fn) {
+  const bindings = collectLocalBindingFacts(fn);
+  const returns = /* @__PURE__ */ new Map();
+  function visit(node) {
+    if (node !== fn && (ts5.isFunctionDeclaration(node) || ts5.isArrowFunction(node) || ts5.isFunctionExpression(node)))
+      return;
+    if (ts5.isReturnStatement(node) && node.expression && ts5.isObjectLiteralExpression(node.expression)) {
+      for (const prop of node.expression.properties) {
+        if (ts5.isShorthandPropertyAssignment(prop)) returns.set(prop.name.text, prop.name.text);
+        if (ts5.isPropertyAssignment(prop) && ts5.isIdentifier(prop.initializer)) {
+          const propertyName2 = ts5.isIdentifier(prop.name) || ts5.isStringLiteralLike(prop.name) ? prop.name.text : void 0;
+          if (propertyName2) returns.set(propertyName2, prop.initializer.text);
+        }
+      }
+    }
+    ts5.forEachChild(node, visit);
   }
-  if (/^[A-Z][A-Za-z0-9_]*$/.test(firstSegment)) return { ...base, kind: "entity_candidate", reason: "uppercase_collection_segment_without_indexed_entity_evidence" };
-  return { ...base, kind: "unknown", reason: "get_path_has_no_query_key_or_navigation_signal" };
+  visit(fn);
+  const out = /* @__PURE__ */ new Map();
+  for (const [propertyName2, variableName] of returns) {
+    const fact = bindings.get(variableName);
+    if (fact) out.set(propertyName2, fact);
+  }
+  return out;
 }
-function entitySegmentFromPath(path10) {
-  const first = path10.replace(/^\//, "").split("/")[0]?.trim();
-  if (!first) return void 0;
-  const open = first.indexOf("(");
-  const entity = (open >= 0 ? first.slice(0, open) : first).trim();
-  return entity || void 0;
+function functionLikeInitializer(expr) {
+  if (!expr) return void 0;
+  if (ts5.isArrowFunction(expr) || ts5.isFunctionExpression(expr)) return expr;
+  return void 0;
 }
-function isMediaOrPropertySuffix(segment) {
-  return ["file", "content", "$value", "metadata", "items"].includes(segment.toLowerCase());
+function directReturnConnectFact(fn) {
+  const localBindings = collectLocalBindingFacts(fn);
+  let returned;
+  function visit(node) {
+    if (node !== fn && (ts5.isFunctionDeclaration(node) || ts5.isArrowFunction(node) || ts5.isFunctionExpression(node)))
+      return;
+    if (!returned && ts5.isReturnStatement(node) && node.expression)
+      returned = node.expression;
+    if (!returned) ts5.forEachChild(node, visit);
+  }
+  visit(fn);
+  if (!returned) return void 0;
+  if (ts5.isIdentifier(returned)) return localBindings.get(returned.text);
+  return findConnectInExpression(returned);
 }
-function looksLikeLowerCamelInvocation(segment) {
-  const open = segment.indexOf("(");
-  if (open <= 0) return false;
-  const name = segment.slice(0, open).split(".").at(-1) ?? segment.slice(0, open);
-  return /^[a-z][A-Za-z0-9_]*$/.test(name);
+function directConnectFactFromFunctionLike(fn) {
+  if (ts5.isArrowFunction(fn) && fn.body && !ts5.isBlock(fn.body))
+    return findConnectInExpression(fn.body);
+  return directReturnConnectFact(fn);
 }
-function extractTemplatePlaceholders(text) {
-  const keys = [];
-  for (let index = 0; index < text.length - 1; index += 1) {
-    if (text[index] !== "$" || text[index + 1] !== "{") continue;
-    const close = matchingPlaceholderClose(text, index + 1);
-    if (close === void 0) continue;
-    const key = text.slice(index + 2, close).trim();
-    if (key) keys.push(key);
-    index = close;
+function exportedLocalNames(sf) {
+  const exports = /* @__PURE__ */ new Map();
+  for (const stmt of sf.statements) {
+    const direct = ts5.canHaveModifiers(stmt) ? ts5.getModifiers(stmt)?.some(
+      (m) => m.kind === ts5.SyntaxKind.ExportKeyword
+    ) ?? false : false;
+    if (direct && ts5.isFunctionDeclaration(stmt) && stmt.name)
+      exports.set(stmt.name.text, stmt.name.text);
+    if (direct && ts5.isVariableStatement(stmt)) {
+      for (const decl of stmt.declarationList.declarations)
+        if (ts5.isIdentifier(decl.name)) exports.set(decl.name.text, decl.name.text);
+    }
+    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);
   }
-  return keys;
+  return exports;
 }
-function matchingClose(text, openIndex) {
-  let depth = 0;
-  let quote;
-  for (let index = openIndex; index < text.length; index += 1) {
-    const char = text[index];
-    const prev = text[index - 1];
-    if (quote) {
-      if (prev === "\\") continue;
-      if (quote === "template" && char === "$" && text[index + 1] === "{") {
-        const close = matchingPlaceholderClose(text, index + 1);
-        if (close === void 0) return void 0;
-        index = close;
-        continue;
-      }
-      if (quote === "single" && char === "'" || quote === "double" && char === '"' || quote === "template" && char === "`") quote = void 0;
-      continue;
-    }
-    if (char === "$" && text[index + 1] === "{") {
-      const close = matchingPlaceholderClose(text, index + 1);
-      if (close === void 0) return void 0;
-      index = close;
-      continue;
-    }
-    if (char === "'") {
-      quote = "single";
-      continue;
-    }
-    if (char === '"') {
-      quote = "double";
-      continue;
-    }
-    if (char === "`") {
-      quote = "template";
-      continue;
-    }
-    if (char === "(") depth += 1;
-    if (char === ")") {
-      depth -= 1;
-      if (depth === 0) return index;
-      if (depth < 0) return void 0;
+async function helperBindings(repoPath, filePath) {
+  const sf = await readSource(path8.join(repoPath, filePath));
+  if (!sf) return [];
+  const sourceFileAst = sf;
+  const out = [];
+  const exportedLocals = exportedLocalNames(sf);
+  const factsByLocal = /* @__PURE__ */ new Map();
+  for (const stmt of sf.statements) {
+    if (ts5.isFunctionDeclaration(stmt) && stmt.name) {
+      const fact = directConnectFactFromFunctionLike(stmt);
+      if (fact) factsByLocal.set(stmt.name.text, { ...fact, sourceLine: lineOf3(sf, stmt) });
+      for (const [returnedProperty, objectFact] of collectReturnedObjectBindings(stmt))
+        factsByLocal.set(`${stmt.name.text}#${returnedProperty}`, { ...objectFact, returnedProperty, sourceLine: lineOf3(sf, stmt) });
     }
-  }
-  return void 0;
-}
-function matchingPlaceholderClose(text, openBraceIndex) {
-  let depth = 0;
-  let quote;
-  for (let index = openBraceIndex; index < text.length; index += 1) {
-    const char = text[index];
-    const prev = text[index - 1];
-    if (quote) {
-      if (prev === "\\") continue;
-      if (quote === "template" && char === "$" && text[index + 1] === "{") {
-        depth += 1;
-        index += 1;
-        continue;
+    if (ts5.isVariableStatement(stmt))
+      for (const decl of stmt.declarationList.declarations) {
+        if (!ts5.isIdentifier(decl.name) || !decl.initializer) continue;
+        const helper = functionLikeInitializer(decl.initializer);
+        if (helper) {
+          const directReturn = directConnectFactFromFunctionLike(helper);
+          if (directReturn)
+            factsByLocal.set(decl.name.text, {
+              ...directReturn,
+              sourceLine: lineOf3(sourceFileAst, decl)
+            });
+          for (const [returnedProperty, objectFact] of collectReturnedObjectBindings(helper))
+            factsByLocal.set(`${decl.name.text}#${returnedProperty}`, {
+              ...objectFact,
+              returnedProperty,
+              sourceLine: lineOf3(sourceFileAst, decl)
+            });
+          continue;
+        }
+        const fact = findConnectInExpression(decl.initializer);
+        if (fact)
+          factsByLocal.set(decl.name.text, {
+            ...fact,
+            sourceLine: lineOf3(sourceFileAst, decl)
+          });
       }
-      if (quote === "single" && char === "'" || quote === "double" && char === '"' || quote === "template" && char === "`") quote = void 0;
-      continue;
-    }
-    if (char === "'") {
-      quote = "single";
-      continue;
-    }
-    if (char === '"') {
-      quote = "double";
-      continue;
-    }
-    if (char === "`") {
-      quote = "template";
-      continue;
-    }
-    if (char === "{") depth += 1;
-    if (char === "}") {
-      depth -= 1;
-      if (depth === 0) return index;
-      if (depth < 0) return void 0;
+  }
+  for (const [exportedName, localName] of exportedLocals) {
+    const fact = factsByLocal.get(localName);
+    if (fact)
+      out.push({
+        ...fact,
+        exportedName,
+        sourceFile: normalizePath(filePath),
+        sourceLine: fact.sourceLine
+      });
+  }
+  for (const [key, fact] of factsByLocal) {
+    const [localName, returnedProperty] = key.split("#");
+    if (!returnedProperty) continue;
+    for (const [exportedName, exportedLocal] of exportedLocals) {
+      if (exportedLocal !== localName) continue;
+      out.push({ ...fact, exportedName, returnedProperty, sourceFile: normalizePath(filePath), sourceLine: fact.sourceLine });
     }
   }
-  return void 0;
+  return out;
 }
-function topLevelQueryIndex(text) {
-  let quote;
-  for (let index = 0; index < text.length; index += 1) {
-    const char = text[index];
-    const prev = text[index - 1];
-    if (quote) {
-      if (prev === "\\") continue;
-      if (quote === "template" && char === "$" && text[index + 1] === "{") {
-        const close = matchingPlaceholderClose(text, index + 1);
-        if (close === void 0) return -1;
-        index = close;
-        continue;
-      }
-      if (quote === "single" && char === "'" || quote === "double" && char === '"' || quote === "template" && char === "`") quote = void 0;
-      continue;
-    }
-    if (char === "$" && text[index + 1] === "{") {
-      const close = matchingPlaceholderClose(text, index + 1);
-      if (close === void 0) return -1;
-      index = close;
-      continue;
-    }
-    if (char === "'") {
-      quote = "single";
-      continue;
-    }
-    if (char === '"') {
-      quote = "double";
-      continue;
+async function parseServiceBindings(repoPath, filePath) {
+  const sf = await readSource(path8.join(repoPath, filePath));
+  if (!sf) return [];
+  const sourceFileAst = sf;
+  const out = [];
+  const imports = await importsFor(repoPath, filePath, sf);
+  const helperCache = /* @__PURE__ */ new Map();
+  const classHelpers = collectClassHelpers(sourceFileAst);
+  const localObjectHelpers = /* @__PURE__ */ new Map();
+  const localDirectHelpers = /* @__PURE__ */ new Map();
+  const objectHelperVariables = /* @__PURE__ */ new Map();
+  for (const stmt of sourceFileAst.statements) {
+    if (ts5.isFunctionDeclaration(stmt) && stmt.name) {
+      const directFact = directConnectFactFromFunctionLike(stmt);
+      if (directFact) localDirectHelpers.set(stmt.name.text, { ...directFact, exportedName: stmt.name.text, sourceFile: normalizePath(filePath), sourceLine: lineOf3(sourceFileAst, stmt) });
+      const rows2 = [];
+      for (const [returnedProperty, fact] of collectReturnedObjectBindings(stmt))
+        rows2.push({ ...fact, exportedName: stmt.name.text, returnedProperty, sourceFile: normalizePath(filePath), sourceLine: lineOf3(sourceFileAst, stmt) });
+      if (rows2.length > 0) localObjectHelpers.set(stmt.name.text, rows2);
     }
-    if (char === "`") {
-      quote = "template";
-      continue;
+    if (ts5.isVariableStatement(stmt)) {
+      for (const decl of stmt.declarationList.declarations) {
+        if (!ts5.isIdentifier(decl.name)) continue;
+        const helper = functionLikeInitializer(decl.initializer);
+        if (!helper) continue;
+        const directFact = directConnectFactFromFunctionLike(helper);
+        if (directFact) localDirectHelpers.set(decl.name.text, { ...directFact, exportedName: decl.name.text, sourceFile: normalizePath(filePath), sourceLine: lineOf3(sourceFileAst, decl) });
+        const rows2 = [];
+        for (const [returnedProperty, fact] of collectReturnedObjectBindings(helper))
+          rows2.push({ ...fact, exportedName: decl.name.text, returnedProperty, sourceFile: normalizePath(filePath), sourceLine: lineOf3(sourceFileAst, decl) });
+        if (rows2.length > 0) localObjectHelpers.set(decl.name.text, rows2);
+      }
     }
-    if (char === "?") return index;
   }
-  return -1;
-}
-
-// src/parsers/outbound-call-parser.ts
-function lineOf3(text, idx) {
-  return text.slice(0, idx).split("\n").length;
-}
-function entityFromExpression(expr) {
-  if (!expr) return void 0;
-  if (ts4.isIdentifier(expr) || ts4.isStringLiteral(expr) || ts4.isNoSubstitutionTemplateLiteral(expr)) return expr.text;
-  if (ts4.isPropertyAccessExpression(expr) && expr.expression.kind === ts4.SyntaxKind.ThisKeyword) return expr.name.text;
-  if (ts4.isElementAccessExpression(expr) && expr.argumentExpression && (ts4.isStringLiteral(expr.argumentExpression) || ts4.isNoSubstitutionTemplateLiteral(expr.argumentExpression))) return expr.argumentExpression.text;
-  return void 0;
-}
-function expressionName(expr) {
-  if (ts4.isIdentifier(expr)) return expr.text;
-  if (ts4.isPropertyAccessExpression(expr)) return `${expressionName(expr.expression)}.${expr.name.text}`;
-  return expr.getText();
-}
-function variableInitializers(source) {
-  const initializers = /* @__PURE__ */ new Map();
-  for (const statement of source.statements) {
-    if (!ts4.isVariableStatement(statement) || (statement.declarationList.flags & ts4.NodeFlags.Const) === 0) continue;
-    for (const declaration of statement.declarationList.declarations) {
-      if (ts4.isIdentifier(declaration.name) && declaration.initializer) initializers.set(declaration.name.text, declaration.initializer);
-    }
+  async function importedHelpers(localName) {
+    const imp = imports.find((i) => i.localName === localName && i.sourceFile);
+    if (!imp?.sourceFile) return [];
+    if (!helperCache.has(imp.sourceFile))
+      helperCache.set(
+        imp.sourceFile,
+        await helperBindings(repoPath, imp.sourceFile)
+      );
+    return (helperCache.get(imp.sourceFile) ?? []).filter((h) => h.exportedName === imp.exportedName).map((helper) => ({ imp, helper }));
   }
-  return initializers;
-}
-function queryEntityFromAst(expr, initializers = /* @__PURE__ */ new Map()) {
-  if (ts4.isParenthesizedExpression(expr) || ts4.isAwaitExpression(expr)) return queryEntityFromAst(expr.expression, initializers);
-  if (ts4.isIdentifier(expr) && initializers.has(expr.text)) return queryEntityFromAst(initializers.get(expr.text), initializers);
-  if (ts4.isCallExpression(expr)) {
-    const name = expressionName(expr.expression);
-    if (name === "cds.run") return queryEntityFromAst(expr.arguments[0], initializers);
-    if (["SELECT.one.from", "SELECT.from", "SELECT.one", "INSERT.into", "UPSERT.into", "DELETE.from", "UPDATE.entity"].includes(name)) return entityFromExpression(expr.arguments[0]);
-    if (name === "UPDATE") return entityFromExpression(expr.arguments[0]);
-    const receiver = ts4.isPropertyAccessExpression(expr.expression) ? expr.expression.expression : void 0;
-    if (receiver) return queryEntityFromAst(receiver, initializers);
+  async function importedHelper(localName) {
+    return (await importedHelpers(localName)).find((row) => !row.helper.returnedProperty);
   }
-  return void 0;
-}
-function extractQueryEntity(expr) {
-  const source = ts4.createSourceFile("query.ts", `const __query = (${expr});`, ts4.ScriptTarget.Latest, true, ts4.ScriptKind.TS);
-  const initializers = variableInitializers(source);
-  let found;
-  const visit = (node) => {
-    if (found) return;
-    if (ts4.isParenthesizedExpression(node)) found = queryEntityFromAst(node.expression, initializers);
-    ts4.forEachChild(node, visit);
-  };
-  visit(source);
-  return found;
-}
-function queryWarning(expr) {
-  if (/^\s*[`'"]/.test(expr)) return "raw_sql_or_cql_expression";
-  if (/^\s*\w+\s*$/.test(expr)) return "query_variable_without_static_initializer";
-  return "dynamic_entity_expression";
-}
-function parserEvidence(source, node, extra) {
-  return { parser: "typescript_ast", startOffset: node.getStart(source), endOffset: node.getEnd(), ...extra };
-}
-function isStringLike(expr) {
-  return Boolean(expr && (ts4.isStringLiteral(expr) || ts4.isNoSubstitutionTemplateLiteral(expr)));
-}
-function literalText(expr) {
-  if (isStringLike(expr)) return expr.text;
-  return void 0;
-}
-function objectPropertyText(object, key) {
-  const prop = object.properties.find(
-    (property) => ts4.isPropertyAssignment(property) && nameOfProperty(property.name) === key || ts4.isShorthandPropertyAssignment(property) && property.name.text === key
-  );
-  if (!prop) return void 0;
-  return ts4.isShorthandPropertyAssignment(prop) ? prop.name.text : prop.initializer.getText();
-}
-function objectPropertyIsShorthand(object, key) {
-  return object.properties.some((property) => ts4.isShorthandPropertyAssignment(property) && property.name.text === key);
-}
-function nameOfProperty(name) {
-  if (ts4.isIdentifier(name) || ts4.isStringLiteral(name) || ts4.isNumericLiteral(name)) return name.text;
-  return void 0;
-}
-var maxAliasDepth = 5;
-function safeRaw(expr) {
-  if (ts4.isStringLiteral(expr) || ts4.isNoSubstitutionTemplateLiteral(expr) || ts4.isIdentifier(expr) || ts4.isTemplateExpression(expr)) return expr.getText(expr.getSourceFile());
-  return void 0;
-}
-function placeholders(expr) {
-  return expr.templateSpans.map((span) => span.expression.getText(expr.getSourceFile()));
-}
-function isFunctionLikeScope(node) {
-  return ts4.isFunctionLike(node) || ts4.isSourceFile(node);
-}
-function nodeContains(parent, child) {
-  const source = child.getSourceFile();
-  return child.getStart(source) >= parent.getStart(source) && child.getEnd() <= parent.getEnd();
-}
-function declarationScope(node) {
-  if (ts4.isParameter(node)) return node.parent;
-  if (ts4.isCatchClause(node.parent) && node.parent.variableDeclaration === node) return node.parent;
-  const list = node.parent;
-  const blockScoped = (list.flags & (ts4.NodeFlags.Const | ts4.NodeFlags.Let)) !== 0;
-  let current = list.parent;
-  if (!blockScoped) {
-    while (current.parent && !isFunctionLikeScope(current)) current = current.parent;
-    return current;
+  function bindingForVariable(variableName) {
+    const sourceFile = normalizePath(filePath);
+    return [...out].reverse().find((row) => row.variableName === variableName && row.sourceFile === sourceFile);
   }
-  while (current.parent && !ts4.isBlock(current) && !ts4.isSourceFile(current) && !ts4.isModuleBlock(current) && !ts4.isCaseBlock(current) && !isLoopInitializerScope(node, current) && !isFunctionLikeScope(current)) current = current.parent;
-  return current;
-}
-function isLoopInitializerScope(declaration, scope) {
-  const list = declaration.parent;
-  return ts4.isForStatement(scope) && scope.initializer === list || (ts4.isForInStatement(scope) || ts4.isForOfStatement(scope)) && scope.initializer === list;
-}
-function catchBindingScope(declaration) {
-  if (ts4.isParameter(declaration)) return void 0;
-  return ts4.isCatchClause(declaration.parent) && declaration.parent.variableDeclaration === declaration ? declaration.parent : void 0;
-}
-function isAccessibleDeclaration(declaration, use) {
-  const source = use.getSourceFile();
-  if (declaration.name.getStart(source) >= use.getStart(source)) return false;
-  const catchScope = catchBindingScope(declaration);
-  if (catchScope) return nodeContains(catchScope.block, use);
-  const scope = declarationScope(declaration);
-  if (ts4.isForStatement(scope) || ts4.isForInStatement(scope) || ts4.isForOfStatement(scope)) return nodeContains(scope.statement, use);
-  return ts4.isSourceFile(scope) || nodeContains(scope, use);
-}
-function resolveBinding(identifier, use) {
-  const source = use.getSourceFile();
-  let best;
-  const visit = (node) => {
-    if (ts4.isVariableDeclaration(node) && ts4.isIdentifier(node.name) && node.name.text === identifier.text && isAccessibleDeclaration(node, use)) best = node;
-    if (ts4.isParameter(node) && ts4.isIdentifier(node.name) && node.name.text === identifier.text && isAccessibleDeclaration(node, use)) best = node;
-    ts4.forEachChild(node, visit);
-  };
-  visit(source);
-  if (!best) return { immutable: false, evidence: ["binding_not_found"] };
-  const immutable = ts4.isVariableDeclaration(best) && (best.parent.flags & ts4.NodeFlags.Const) !== 0;
-  return { declaration: best, initializer: ts4.isVariableDeclaration(best) ? best.initializer : void 0, immutable, evidence: [immutable ? "lexical_const_binding_before_use" : "lexical_mutable_or_parameter_binding"] };
-}
-function resolveExpression(expr, use, policy, depth = 0, seen = /* @__PURE__ */ new Set()) {
-  if (!expr) return { status: "unknown", sourceKind: "dynamic_expression", placeholderKeys: [], evidence: ["expression_missing"] };
-  if (ts4.isStringLiteral(expr)) return { status: "static", sourceKind: "string_literal", value: expr.text, rawExpression: safeRaw(expr), placeholderKeys: [], evidence: ["string_literal"] };
-  if (ts4.isNoSubstitutionTemplateLiteral(expr)) return { status: "static", sourceKind: "no_substitution_template", value: expr.text, rawExpression: safeRaw(expr), placeholderKeys: [], evidence: ["no_substitution_template"] };
-  if (ts4.isTemplateExpression(expr)) {
-    const keys = placeholders(expr);
-    if (policy === "operation_path") return { status: "dynamic", sourceKind: "template_with_substitutions", value: stripQuotes(expr.getText(expr.getSourceFile())), rawExpression: safeRaw(expr), placeholderKeys: keys, evidence: ["operation_path_template_placeholders_retained"] };
-    return { status: "dynamic", sourceKind: "template_with_substitutions", placeholderKeys: keys, evidence: ["template_substitutions_not_static_external_target"] };
+  function cloneAliasBinding(targetName, sourceName, aliasKind, node) {
+    const existing = bindingForVariable(sourceName);
+    if (!existing) return;
+    out.push({
+      ...existing,
+      variableName: targetName,
+      sourceLine: lineOf3(sourceFileAst, node),
+      helperChain: [
+        ...existing.helperChain ?? [],
+        {
+          callerVariable: targetName,
+          aliasOf: sourceName,
+          aliasKind,
+          scopeRule: "same-file-source-order",
+          ...aliasKind === "transaction" ? { transactionAliasSource: sourceName } : {}
+        }
+      ]
+    });
   }
-  if (ts4.isIdentifier(expr)) {
-    if (depth >= maxAliasDepth) return { status: "unknown", sourceKind: "const_alias", rawExpression: safeRaw(expr), placeholderKeys: [], evidence: ["alias_depth_exceeded"], constName: expr.text };
-    const binding = resolveBinding(expr, use);
-    if (!binding.declaration || !binding.initializer || !binding.immutable) return { status: "dynamic", sourceKind: "dynamic_expression", rawExpression: safeRaw(expr), placeholderKeys: [], evidence: binding.evidence, constName: expr.text };
-    if (seen.has(binding.declaration)) return { status: "unknown", sourceKind: "const_alias", rawExpression: safeRaw(expr), placeholderKeys: [], evidence: ["alias_cycle_detected"], constName: expr.text };
-    seen.add(binding.declaration);
-    const resolved2 = resolveExpression(binding.initializer, binding.declaration, policy, depth + 1, seen);
-    return { ...resolved2, sourceKind: "const_alias", rawExpression: safeRaw(expr), constName: expr.text, evidence: [...binding.evidence, ...resolved2.evidence] };
+  function recordIdentityAlias(decl) {
+    if (!ts5.isIdentifier(decl.name) || !decl.initializer) return;
+    const unwrapped = unwrapIdentityExpression(decl.initializer);
+    if (!ts5.isIdentifier(unwrapped)) return;
+    cloneAliasBinding(decl.name.text, unwrapped.text, "identity", decl);
   }
-  return { status: "dynamic", sourceKind: "dynamic_expression", rawExpression: safeRaw(expr), placeholderKeys: [], evidence: [`unsupported_${ts4.SyntaxKind[expr.kind] ?? "expression"}`] };
-}
-function staticExpressionText(expr, initializers) {
-  if (!expr) return void 0;
-  if (isStringLike(expr)) return expr.text;
-  if (ts4.isIdentifier(expr) && initializers.has(expr.text)) return staticExpressionText(initializers.get(expr.text), initializers);
-  return void 0;
-}
-function staticPathExpression(expr, use) {
-  const resolution = resolveExpression(expr, use, "operation_path");
-  const sourceKind = resolution.sourceKind === "const_alias" ? "const" : resolution.sourceKind === "template_with_substitutions" || resolution.sourceKind === "no_substitution_template" ? "template" : resolution.status === "static" ? "literal" : "dynamic";
-  return { text: resolution.value, sourceKind, rawExpression: resolution.rawExpression, constName: resolution.constName, resolution };
-}
-function operationPathFromStatic(text) {
-  return text ? `/${stripQuotes(text).replace(/^\//, "")}` : void 0;
-}
-function staticPathCandidates(identifier, call, method) {
-  const binding = resolveBinding(identifier, call);
-  const declaration = binding.declaration;
-  if (!declaration) return void 0;
-  const source = call.getSourceFile();
-  const paths = [];
-  let hasDynamicAssignments = false;
-  const addExpr = (expr, origin) => {
-    const resolved2 = staticPathExpression(expr, origin);
-    if (resolved2.text) paths.push(operationPathFromStatic(resolved2.text) ?? resolved2.text);
-    else hasDynamicAssignments = true;
-  };
-  if (ts4.isVariableDeclaration(declaration)) addExpr(declaration.initializer, declaration);
-  const visit = (node) => {
-    if (node !== source && isFunctionLikeScope(node) && !nodeContains(node, call)) return;
-    if (node.getStart(source) >= call.getStart(source)) return;
-    if (ts4.isBinaryExpression(node) && node.operatorToken.kind === ts4.SyntaxKind.EqualsToken && ts4.isIdentifier(node.left)) {
-      const target = resolveBinding(node.left, node);
-      if (target.declaration === declaration) addExpr(node.right, node);
+  async function recordBindingFromExpression(targetName, expr, node, aliasKind) {
+    const call = unwrapCall(expr);
+    if (!call) return;
+    const direct = connectFactFromCall(call);
+    if (direct)
+      out.push({
+        variableName: targetName,
+        ...direct,
+        sourceFile: normalizePath(filePath),
+        sourceLine: lineOf3(sourceFileAst, node),
+        helperChain: aliasKind === "assignment" ? [{ callerVariable: targetName, assignedFrom: call.expression.getText(sourceFileAst), aliasKind, scopeRule: "same-file-source-order" }] : void 0
+      });
+    else if (ts5.isIdentifier(call.expression)) {
+      const localDirect = localDirectHelpers.get(call.expression.text);
+      const resolved2 = localDirect ? { helper: localDirect, imp: void 0 } : await importedHelper(call.expression.text);
+      if (resolved2)
+        out.push({
+          variableName: targetName,
+          alias: resolved2.helper.alias,
+          aliasExpr: resolved2.helper.aliasExpr,
+          destinationExpr: resolved2.helper.destinationExpr,
+          servicePathExpr: resolved2.helper.servicePathExpr,
+          isDynamic: resolved2.helper.isDynamic,
+          placeholders: resolved2.helper.placeholders,
+          sourceFile: normalizePath(filePath),
+          sourceLine: lineOf3(sourceFileAst, node),
+          helperChain: [
+            ...resolved2.helper.helperChain ?? [],
+            {
+              callerVariable: targetName,
+              ...aliasKind === "assignment" ? { assignedFrom: call.expression.text, aliasKind, scopeRule: "same-file-source-order" } : {},
+              importedHelper: call.expression.text,
+              importSource: resolved2.imp?.sourceFile,
+              exportedSymbol: resolved2.imp?.exportedName ?? resolved2.helper.exportedName,
+              helperSourceFile: resolved2.helper.sourceFile,
+              helperSourceLine: resolved2.helper.sourceLine
+            }
+          ]
+        });
     }
-    ts4.forEachChild(node, visit);
-  };
-  visit(source);
-  const candidatePaths = [...new Set(paths)];
-  if (candidatePaths.length === 0) return void 0;
-  const normalizedCandidateOperations = [...new Set(candidatePaths.map((candidate) => classifyODataPathIntent(candidate, method).topLevelOperationName).filter((value) => Boolean(value)))];
-  return { candidatePaths, normalizedCandidateOperations, candidateSourceKind: "static candidates observed before call in lexical scope", candidateIdentifier: identifier.text, hasDynamicAssignments, conservativeReason: hasDynamicAssignments ? "dynamic_assignment_observed" : normalizedCandidateOperations.length > 1 ? "candidate_tie" : void 0 };
-}
-function destinationExpressionShape(expr) {
-  if (!expr) return void 0;
-  if (ts4.isIdentifier(expr)) return "identifier";
-  if (ts4.isPropertyAccessExpression(expr) || ts4.isElementAccessExpression(expr)) return "property_read";
-  if (ts4.isCallExpression(expr)) return "function_call";
-  if (ts4.isConditionalExpression(expr)) return "conditional";
-  if (ts4.isBinaryExpression(expr)) return "binary_expression";
-  if (ts4.isTemplateExpression(expr)) return "template_expression";
-  return ts4.SyntaxKind[expr.kind] ?? "expression";
-}
-function staticConditionalCandidates(expr, initializers) {
-  const resolved2 = expr && ts4.isIdentifier(expr) && initializers.has(expr.text) ? initializers.get(expr.text) : expr;
-  if (!resolved2 || !ts4.isConditionalExpression(resolved2)) return void 0;
-  const left = staticExpressionText(resolved2.whenTrue, initializers);
-  const right = staticExpressionText(resolved2.whenFalse, initializers);
-  if (!left || !right) return void 0;
-  return [.../* @__PURE__ */ new Set([left, right])];
-}
-function propertyInitializer(object, key) {
-  for (const property of object.properties) {
-    if (ts4.isPropertyAssignment(property) && nameOfProperty(property.name) === key) return property.initializer;
-    if (ts4.isShorthandPropertyAssignment(property) && property.name.text === key) return property.name;
   }
-  return void 0;
-}
-function httpMethodFromObject(object, use) {
-  const text = resolveExpression(propertyInitializer(object, "method"), use, "literal").value;
-  return text ? stripQuotes(text).toUpperCase() : void 0;
-}
-var supportedHttpMethods = /* @__PURE__ */ new Set(["GET", "POST", "PUT", "PATCH", "DELETE", "HEAD"]);
-function safeOperationName(value) {
-  if (!value || !/^[A-Za-z_$][\w$]*(?:[./][A-Za-z_$][\w$]*)*$/.test(value)) return void 0;
-  return operationPathFromStatic(value);
-}
-function hasTemplatePlaceholder(value) {
-  return /\$\{|%7B|%7D/i.test(value);
-}
-function urlTargetFromExpression(expr, use) {
-  const resolved2 = resolveExpression(expr, use, "external");
-  if (resolved2.status === "static" && resolved2.value && !hasTemplatePlaceholder(resolved2.value)) return { kind: "static_url", expression: resolved2.value, dynamic: false, sourceKind: resolved2.sourceKind };
-  if (expr) return { kind: "url_expression", dynamic: true, expression: `${resolved2.sourceKind}:${resolved2.placeholderKeys.join("|")}`, expressionShape: resolved2.sourceKind, placeholderKeys: resolved2.placeholderKeys };
-  return { kind: "unknown", dynamic: false };
-}
-function destinationTargetFromExpression(expr, use) {
-  const resolved2 = resolveExpression(expr, use, "external");
-  const text = resolved2.value;
-  if (resolved2.status === "static" && text && !hasTemplatePlaceholder(text)) return { kind: "destination", expression: text, dynamic: false, sourceKind: resolved2.sourceKind };
-  const candidates = staticConditionalCandidates(expr, /* @__PURE__ */ new Map());
-  if (candidates) return { kind: "destination", dynamic: true, expressionShape: "conditional", candidateLiterals: candidates };
-  const shape = destinationExpressionShape(expr);
-  if (shape) return { kind: "destination", dynamic: true, expressionShape: shape };
-  return void 0;
-}
-function externalHttpEvidence(node, source) {
-  const expr = node.expression;
-  const exprText = expr.getText(source);
-  if (exprText === "useOrFetchDestination") {
-    const objectArg = node.arguments[0];
-    if (objectArg && ts4.isObjectLiteralExpression(objectArg)) {
-      const destination = destinationTargetFromExpression(propertyInitializer(objectArg, "destinationName"), node);
-      return { externalTarget: destination ?? { kind: "unknown", dynamic: false }, classifier: "sap_destination_lookup", sourceCallShape: "useOrFetchDestination" };
-    }
+  async function recordVariable(decl) {
+    if (!ts5.isIdentifier(decl.name) || !decl.initializer) return;
+    await recordBindingFromExpression(decl.name.text, decl.initializer, decl, "declaration");
   }
-  if (exprText === "executeHttpRequest") {
-    const destination = destinationTargetFromExpression(node.arguments[0], node);
-    const config = node.arguments[1];
-    const method = config && ts4.isObjectLiteralExpression(config) ? httpMethodFromObject(config, node) : void 0;
-    const url = config && ts4.isObjectLiteralExpression(config) ? urlTargetFromExpression(propertyInitializer(config, "url"), node) : { kind: "unknown", dynamic: false };
-    return { method, externalTarget: destination ? { ...url, destination } : url, classifier: "sap_execute_http_request", sourceCallShape: "executeHttpRequest" };
+  async function helpersForCall(call) {
+    if (!ts5.isIdentifier(call.expression)) return [];
+    const local = localObjectHelpers.get(call.expression.text) ?? [];
+    const imported = await importedHelpers(call.expression.text);
+    return [...local.map((helper) => ({ helper })), ...imported];
   }
-  if (exprText === "axios") {
-    const config = node.arguments[0];
-    if (config && ts4.isObjectLiteralExpression(config)) {
-      const method = httpMethodFromObject(config, node);
-      return { method, externalTarget: urlTargetFromExpression(propertyInitializer(config, "url"), node), classifier: "axios_config_call", sourceCallShape: "axios(config)" };
-    }
-    return { externalTarget: { kind: "unknown", dynamic: false }, classifier: "axios_unknown_call", sourceCallShape: "axios(...)" };
+  async function rememberObjectHelperVariable(decl) {
+    if (!ts5.isIdentifier(decl.name) || !decl.initializer) return;
+    const call = unwrapCall(decl.initializer);
+    if (!call) return;
+    const helpers = (await helpersForCall(call)).filter((row) => row.helper.returnedProperty);
+    if (helpers.length > 0) objectHelperVariables.set(decl.name.text, helpers);
   }
-  if (exprText === "fetch") {
-    const init = node.arguments[1];
-    const method = init && ts4.isObjectLiteralExpression(init) ? httpMethodFromObject(init, node) : void 0;
-    return { method, externalTarget: urlTargetFromExpression(node.arguments[0], node), classifier: "fetch_call", sourceCallShape: "fetch" };
+  function recordObjectPropertyBinding(targetName, expr, node) {
+    const unwrapped = unwrapIdentityExpression(expr);
+    if (!ts5.isPropertyAccessExpression(unwrapped) || !ts5.isIdentifier(unwrapped.expression)) return false;
+    const helpers = objectHelperVariables.get(unwrapped.expression.text) ?? [];
+    const matches2 = helpers.filter((row) => row.helper.returnedProperty === unwrapped.name.text);
+    if (matches2.length !== 1) return false;
+    const resolved2 = matches2[0];
+    out.push({
+      variableName: targetName,
+      alias: resolved2.helper.alias,
+      aliasExpr: resolved2.helper.aliasExpr,
+      destinationExpr: resolved2.helper.destinationExpr,
+      servicePathExpr: resolved2.helper.servicePathExpr,
+      isDynamic: resolved2.helper.isDynamic,
+      placeholders: resolved2.helper.placeholders,
+      sourceFile: normalizePath(filePath),
+      sourceLine: lineOf3(sourceFileAst, node),
+      helperChain: [
+        ...resolved2.helper.helperChain ?? [],
+        {
+          callerVariable: targetName,
+          sourceVariable: unwrapped.expression.text,
+          returnedProperty: unwrapped.name.text,
+          assignedFromProperty: unwrapped.getText(sourceFileAst),
+          importSource: resolved2.imp?.sourceFile,
+          exportedSymbol: resolved2.imp?.exportedName,
+          helperSourceFile: resolved2.helper.sourceFile,
+          helperSourceLine: resolved2.helper.sourceLine
+        }
+      ]
+    });
+    return true;
   }
-  if (ts4.isPropertyAccessExpression(expr) && ["get", "post", "put", "patch", "delete", "head"].includes(expr.name.text) && expr.expression.getText(source) === "axios") {
-    return { method: expr.name.text.toUpperCase(), externalTarget: urlTargetFromExpression(node.arguments[0], node), classifier: "axios_member_call", sourceCallShape: `axios.${expr.name.text}` };
+  async function recordDestructuredHelper(decl) {
+    if (!ts5.isObjectBindingPattern(decl.name) || !decl.initializer) return;
+    const call = unwrapCall(decl.initializer);
+    if (!call) return;
+    const helpers = await helpersForCall(call);
+    if (helpers.length === 0) return;
+    for (const el of decl.name.elements) {
+      if (!ts5.isIdentifier(el.name)) continue;
+      const propertyName2 = el.propertyName && ts5.isIdentifier(el.propertyName) ? el.propertyName.text : el.name.text;
+      const matches2 = helpers.filter((row) => row.helper.returnedProperty === propertyName2);
+      if (matches2.length !== 1) continue;
+      const resolved2 = matches2[0];
+      out.push({
+        variableName: el.name.text,
+        alias: resolved2.helper.alias,
+        aliasExpr: resolved2.helper.aliasExpr,
+        destinationExpr: resolved2.helper.destinationExpr,
+        servicePathExpr: resolved2.helper.servicePathExpr,
+        isDynamic: resolved2.helper.isDynamic,
+        placeholders: resolved2.helper.placeholders,
+        sourceFile: normalizePath(filePath),
+        sourceLine: lineOf3(sourceFileAst, decl),
+        helperChain: [...resolved2.helper.helperChain ?? [], { callerVariable: el.name.text, helperFunction: call.expression.getText(sourceFileAst), returnedProperty: propertyName2, importSource: resolved2.imp?.sourceFile, exportedSymbol: resolved2.imp?.exportedName, helperSourceFile: resolved2.helper.sourceFile, helperSourceLine: resolved2.helper.sourceLine }]
+      });
+    }
   }
-  return void 0;
-}
-function collectServiceVariables(source) {
-  const vars = /* @__PURE__ */ new Set(["cds", "messaging", "messageClient", "eventClient"]);
-  const visit = (node) => {
-    if (ts4.isVariableDeclaration(node) && ts4.isIdentifier(node.name) && node.initializer) {
-      const text = node.initializer.getText(source);
-      if (/cds\.connect\.(to|messaging)\s*\(/.test(text)) vars.add(node.name.text);
-    }
-    ts4.forEachChild(node, visit);
-  };
-  visit(source);
-  return vars;
-}
-function receiverName(expr) {
-  if (ts4.isIdentifier(expr)) return expr.text;
-  if (ts4.isPropertyAccessExpression(expr)) return expr.getText(sourceOf(expr));
-  return void 0;
-}
-function sourceOf(node) {
-  return node.getSourceFile();
-}
-function rootReceiverName(expr) {
-  if (ts4.isIdentifier(expr)) return expr.text;
-  if (ts4.isPropertyAccessExpression(expr)) return rootReceiverName(expr.expression);
-  if (ts4.isCallExpression(expr)) return rootReceiverName(expr.expression);
-  return void 0;
-}
-function isSupportedEventReceiver(receiver, rootReceiver, serviceVariables) {
-  const candidate = rootReceiver ?? receiver;
-  if (!candidate) return false;
-  if (candidate === "cds") return true;
-  if (serviceVariables.has(candidate)) return true;
-  if (receiver && serviceVariables.has(receiver)) return true;
-  if (/^(srv|service|serviceClient|messaging|messageClient|eventClient)$/.test(candidate)) return true;
-  return false;
-}
-function collectWrapperSpecs(source) {
-  const specs = /* @__PURE__ */ new Map();
-  const serviceVariables = collectServiceVariables(source);
-  const calledNames = /* @__PURE__ */ new Set();
-  const collectCalls = (node) => {
-    if (ts4.isCallExpression(node)) {
-      if (ts4.isIdentifier(node.expression)) calledNames.add(node.expression.text);
-      if (ts4.isCallExpression(node.expression) && ts4.isIdentifier(node.expression.expression)) calledNames.add(node.expression.expression.text);
-    }
-    ts4.forEachChild(node, collectCalls);
-  };
-  collectCalls(source);
-  const scanFunction = (name, fn) => {
-    if (!calledNames.has(name)) return;
-    const params = fn.parameters.map((param) => ts4.isIdentifier(param.name) ? param.name.text : void 0);
-    const sends = [];
-    const visit = (node) => {
-      if (ts4.isCallExpression(node) && ts4.isPropertyAccessExpression(node.expression) && node.expression.name.text === "send" && ts4.isIdentifier(node.expression.expression)) {
-        const objectArg = node.arguments[0];
-        if (objectArg && ts4.isObjectLiteralExpression(objectArg)) {
-          const pathProp = propertyInitializer(objectArg, "path");
-          const methodProp = propertyInitializer(objectArg, "method");
-          const pathName = pathProp && ts4.isIdentifier(pathProp) ? pathProp.text : void 0;
-          const methodName = methodProp && ts4.isIdentifier(methodProp) ? methodProp.text : void 0;
-          const methodLiteral = resolveExpression(methodProp, node, "literal").value;
-          if (pathName) sends.push({ client: node.expression.expression.text, path: pathName, method: methodName, methodLiteral, start: node.getStart(source), end: node.getEnd() });
-        }
-      }
-      if (ts4.isCallExpression(node) && ts4.isIdentifier(node.expression) && specs.has(node.expression.text)) {
-        const nested = specs.get(node.expression.text);
-        const pathArg = nested ? node.arguments[nested.pathIndex] : void 0;
-        const clientArg = nested?.clientIndex === void 0 ? void 0 : node.arguments[nested.clientIndex];
-        const pathName = pathArg && ts4.isIdentifier(pathArg) ? pathArg.text : void 0;
-        const clientName = clientArg && ts4.isIdentifier(clientArg) ? clientArg.text : nested?.clientName;
-        if (nested && pathName && clientName) sends.push({ client: clientName, path: pathName, method: nested.methodName, methodLiteral: nested.methodLiteral, nestedWrapperFunction: node.expression.text, start: node.getStart(source), end: node.getEnd() });
-      }
-      ts4.forEachChild(node, visit);
-    };
-    visit(fn);
-    if (sends.length !== 1) return;
-    const found = sends[0];
-    const clientIndex = params.indexOf(found.client);
-    const pathIndex = params.indexOf(found.path);
-    const methodIndex = found.method ? params.indexOf(found.method) : -1;
-    const capturesKnownClient = serviceVariables.has(found.client) || /^(srv|service|serviceClient|client|.*Client)$/.test(found.client);
-    if (pathIndex >= 0 && (clientIndex >= 0 || capturesKnownClient)) specs.set(name, { clientIndex: clientIndex >= 0 ? clientIndex : void 0, clientName: clientIndex >= 0 ? void 0 : found.client, pathIndex, methodIndex: methodIndex >= 0 ? methodIndex : void 0, methodName: found.method, methodLiteral: found.methodLiteral, nestedWrapperFunction: found.nestedWrapperFunction, definitionLine: lineOf3(source.text, fn.getStart(source)), internalStart: found.start, internalEnd: found.end });
-  };
-  const visitTop = (node) => {
-    if (ts4.isFunctionDeclaration(node) && node.name) scanFunction(node.name.text, node);
-    if (ts4.isVariableDeclaration(node) && ts4.isIdentifier(node.name) && node.initializer && (ts4.isArrowFunction(node.initializer) || ts4.isFunctionExpression(node.initializer))) scanFunction(node.name.text, node.initializer);
-    ts4.forEachChild(node, visitTop);
-  };
-  visitTop(source);
-  return specs;
-}
-function classifyOutboundCallsInSource(source, filePath) {
-  const calls = [];
-  const sourceFile = normalizePath(filePath);
-  const initializers = variableInitializers(source);
-  const serviceVariables = collectServiceVariables(source);
-  const wrapperSpecs = collectWrapperSpecs(source);
-  const wrapperInternalRanges = [...wrapperSpecs.values()].map((spec) => ({ start: spec.internalStart, end: spec.internalEnd }));
-  const add = (node, fact, extra) => {
-    calls.push({ node, fact: { ...fact, sourceFile, sourceLine: lineOf3(source.text, node.getStart(source)), confidence: fact.confidence ?? 0.8, evidence: parserEvidence(source, node, extra) } });
-  };
-  const visit = (node) => {
-    if (ts4.isCallExpression(node)) {
-      if (wrapperInternalRanges.some((range) => node.getStart(source) >= range.start && node.getEnd() <= range.end)) {
-        return;
+  async function recordDestructuredAssignment(pattern, expr, node) {
+    const call = unwrapCall(expr);
+    if (!call) return;
+    const helpers = await helpersForCall(call);
+    if (helpers.length === 0) return;
+    for (const prop of pattern.properties) {
+      let propertyName2;
+      let targetName;
+      if (ts5.isShorthandPropertyAssignment(prop)) {
+        propertyName2 = prop.name.text;
+        targetName = prop.name.text;
+      } else if (ts5.isPropertyAssignment(prop)) {
+        propertyName2 = ts5.isIdentifier(prop.name) || ts5.isStringLiteralLike(prop.name) ? prop.name.text : void 0;
+        targetName = ts5.isIdentifier(prop.initializer) ? prop.initializer.text : void 0;
       }
-      const expr = node.expression;
-      const exprText = expr.getText(source);
-      if (exprText === "cds.run") {
-        const arg = node.arguments[0];
-        const entity = arg ? queryEntityFromAst(arg, initializers) : void 0;
-        const payload = arg?.getText(source) ?? "";
-        add(node, { callType: "local_db_query", queryEntity: entity, payloadSummary: summarizeExpression(payload), confidence: entity ? 0.9 : 0.55, unresolvedReason: entity ? void 0 : queryWarning(payload) });
-      } else if (ts4.isPropertyAccessExpression(expr) && expr.name.text === "send" && (ts4.isIdentifier(expr.expression) || ts4.isPropertyAccessExpression(expr.expression))) {
-        const objectArg = node.arguments[0];
-        if (objectArg && ts4.isObjectLiteralExpression(objectArg)) {
-          const receiver = receiverName(expr.expression);
-          const query = objectPropertyText(objectArg, "query");
-          const method = stripQuotes(resolveExpression(propertyInitializer(objectArg, "method"), node, "literal").value ?? objectPropertyText(objectArg, "method") ?? "POST");
-          const pathExpr = propertyInitializer(objectArg, "path") ?? propertyInitializer(objectArg, "event");
-          const resolvedPath = staticPathExpression(pathExpr, node);
-          const op = pathExpr ? resolvedPath.text ?? pathExpr.getText(source) : void 0;
-          const shorthandPath = objectPropertyIsShorthand(objectArg, "path");
-          const candidateEvidence2 = pathExpr && ts4.isIdentifier(pathExpr) && !resolvedPath.text ? staticPathCandidates(pathExpr, node, method) : void 0;
-          const candidateOperationPath = candidateEvidence2 && !candidateEvidence2.hasDynamicAssignments && candidateEvidence2.normalizedCandidateOperations.length === 1 && candidateEvidence2.candidatePaths.length > 0 ? candidateEvidence2.candidatePaths[0] : void 0;
-          const operationPathExpr = operationPathFromStatic(resolvedPath.text) ?? candidateOperationPath;
-          const intent = classifyODataPathIntent(operationPathExpr, method);
-          const entityCallTypes = { entity_mutation: "remote_entity_mutation", entity_delete: "remote_entity_delete", entity_media: "remote_entity_media", entity_candidate: "remote_entity_candidate" };
-          const entityCallType = entityCallTypes[intent.kind];
-          const isODataQueryRead = method.toUpperCase() === "GET" && ["entity_query", "entity_key_read", "entity_navigation_query"].includes(intent.kind);
-          add(node, { callType: query ? "remote_query" : entityCallType ?? (isODataQueryRead ? "remote_query" : "remote_action"), serviceVariableName: receiver, method, operationPathExpr, queryEntity: query ? extractQueryEntity(query) : isODataQueryRead ? intent.entitySegment : void 0, payloadSummary: summarizeExpression(objectArg.getText(source)), confidence: op || query ? 0.8 : 0.4, unresolvedReason: !query && pathExpr && !operationPathExpr ? "dynamic_operation_path_identifier" : void 0 }, { receiver, classifier: "service_client_send_object", operationPathExpression: shorthandPath ? op : void 0, rawPathExpression: resolvedPath.rawExpression, literalPathSource: resolvedPath.text ? resolvedPath.sourceKind === "const" ? "same_scope_const_initializer" : resolvedPath.sourceKind : void 0, odataPathIntent: operationPathExpr ? intent : void 0, staticPathCandidates: candidateEvidence2, parserWarning: !query && pathExpr && !operationPathExpr ? "dynamic_operation_path_identifier" : void 0 });
-        } else {
-          const receiver = receiverName(expr.expression);
-          const rootReceiver = rootReceiverName(expr.expression);
-          const firstArg2 = resolveExpression(node.arguments[0], node, "literal");
-          const method = firstArg2.value?.toUpperCase();
-          const pathArg = node.arguments[1];
-          const supported = method && supportedHttpMethods.has(method);
-          if (receiver && supported && serviceVariables.has(rootReceiver ?? receiver)) {
-            const resolvedPath = staticPathExpression(pathArg, node);
-            const operationPathExpr = operationPathFromStatic(resolvedPath.text);
-            const intent = classifyODataPathIntent(operationPathExpr, method);
-            add(node, { callType: "remote_action", serviceVariableName: rootReceiver ?? receiver, method, operationPathExpr, payloadSummary: summarizeExpression(node.getText(source)), confidence: operationPathExpr ? 0.8 : 0.45, unresolvedReason: operationPathExpr ? void 0 : "dynamic_operation_path_identifier" }, { receiver, rootReceiver, classifier: "service_client_send_method_path", rawPathExpression: resolvedPath.rawExpression, literalPathSource: resolvedPath.text ? resolvedPath.sourceKind === "const" ? "same_scope_const_initializer" : resolvedPath.sourceKind : void 0, odataPathIntent: operationPathExpr ? intent : void 0, parserWarning: operationPathExpr ? void 0 : "dynamic_operation_path_identifier" });
-          } else if (receiver && serviceVariables.has(rootReceiver ?? receiver)) {
-            const operationPathExpr = safeOperationName(firstArg2.value);
-            add(node, { callType: "remote_action", serviceVariableName: rootReceiver ?? receiver, operationPathExpr, payloadSummary: summarizeExpression(node.getText(source)), confidence: operationPathExpr ? 0.75 : 0.35, unresolvedReason: operationPathExpr ? void 0 : "unsupported_cap_send_signature" }, { receiver, rootReceiver, classifier: operationPathExpr ? "service_client_send_operation_event" : "service_client_send_unsupported_signature", rawOperationExpression: firstArg2.rawExpression, literalOperationSource: firstArg2.value ? firstArg2.sourceKind : void 0, parserWarning: operationPathExpr ? void 0 : "unsupported_cap_send_signature" });
+      if (!propertyName2 || !targetName) continue;
+      const matches2 = helpers.filter((row) => row.helper.returnedProperty === propertyName2);
+      if (matches2.length !== 1) continue;
+      const resolved2 = matches2[0];
+      out.push({
+        variableName: targetName,
+        alias: resolved2.helper.alias,
+        aliasExpr: resolved2.helper.aliasExpr,
+        destinationExpr: resolved2.helper.destinationExpr,
+        servicePathExpr: resolved2.helper.servicePathExpr,
+        isDynamic: resolved2.helper.isDynamic,
+        placeholders: resolved2.helper.placeholders,
+        sourceFile: normalizePath(filePath),
+        sourceLine: lineOf3(sourceFileAst, node),
+        helperChain: [...resolved2.helper.helperChain ?? [], { callerVariable: targetName, assignedFrom: call.expression.getText(sourceFileAst), aliasKind: "assignment", scopeRule: "same-file-source-order", returnedProperty: propertyName2, importSource: resolved2.imp?.sourceFile, exportedSymbol: resolved2.imp?.exportedName, helperSourceFile: resolved2.helper.sourceFile, helperSourceLine: resolved2.helper.sourceLine }]
+      });
+    }
+  }
+  function recordDestructuredClassHelper(decl) {
+    if (!ts5.isObjectBindingPattern(decl.name) || !decl.initializer) return;
+    const call = unwrapCall(decl.initializer);
+    if (!call || !ts5.isPropertyAccessExpression(call.expression)) return;
+    const target = call.expression;
+    if (target.expression.kind !== ts5.SyntaxKind.ThisKeyword) return;
+    for (const el of decl.name.elements) {
+      if (!ts5.isIdentifier(el.name)) continue;
+      const propertyName2 = el.propertyName && ts5.isIdentifier(el.propertyName) ? el.propertyName.text : el.name.text;
+      const helper = classHelpers.find(
+        (h) => h.helperName === target.name.text && h.propertyName === propertyName2
+      );
+      if (!helper) continue;
+      out.push({
+        variableName: el.name.text,
+        ...helper.fact,
+        sourceFile: normalizePath(filePath),
+        sourceLine: lineOf3(sourceFileAst, decl),
+        helperChain: [
+          {
+            callerVariable: el.name.text,
+            className: helper.className,
+            classHelper: helper.helperName,
+            returnedProperty: helper.propertyName,
+            helperVariable: helper.variableName,
+            helperSourceFile: normalizePath(filePath),
+            helperSourceLine: helper.sourceLine
           }
-        }
-      } else if (ts4.isCallExpression(expr) && ts4.isIdentifier(expr.expression) && wrapperSpecs.has(expr.expression.text) || ts4.isIdentifier(expr) && wrapperSpecs.has(expr.text)) {
-        const wrapperName = ts4.isIdentifier(expr) ? expr.text : ts4.isCallExpression(expr) && ts4.isIdentifier(expr.expression) ? expr.expression.text : "";
-        const wrapperArgs = ts4.isIdentifier(expr) ? node.arguments : ts4.isCallExpression(expr) ? expr.arguments : node.arguments;
-        const spec = wrapperSpecs.get(wrapperName);
-        const clientArg = spec?.clientIndex === void 0 ? void 0 : wrapperArgs[spec.clientIndex];
-        const pathArg = spec ? wrapperArgs[spec.pathIndex] : void 0;
-        const methodArg = spec?.methodIndex === void 0 ? void 0 : wrapperArgs[spec.methodIndex];
-        const receiver = clientArg && ts4.isIdentifier(clientArg) ? clientArg.text : spec?.clientName;
-        const method = stripQuotes(resolveExpression(methodArg, node, "literal").value ?? spec?.methodLiteral ?? "POST");
-        const resolvedPath = staticPathExpression(pathArg, node);
-        const operationPathExpr = operationPathFromStatic(resolvedPath.text);
-        const normalizedOperationPath = operationPathExpr ? classifyODataPathIntent(operationPathExpr, method).topLevelOperationName : void 0;
-        if (spec && receiver && operationPathExpr) {
-          add(node, { callType: "remote_action", serviceVariableName: receiver, method, operationPathExpr, payloadSummary: summarizeExpression(node.getText(source)), confidence: 0.75 }, { receiver, classifier: resolvedPath.sourceKind === "literal" ? "higher_order_wrapper_literal_path" : "higher_order_wrapper_static_path", wrapperFunction: wrapperName, nestedWrapperFunction: spec.nestedWrapperFunction, wrapperDefinitionLine: spec.definitionLine, callerLine: lineOf3(source.text, node.getStart(source)), wrapperPathSourceKind: resolvedPath.sourceKind, rawPathExpression: resolvedPath.rawExpression, normalizedOperationPath, literalPathSource: resolvedPath.sourceKind === "const" ? "same_scope_const_initializer" : `wrapper_call_${resolvedPath.sourceKind}`, literalCallerArgumentDetected: true });
-        } else if (spec && receiver) {
-          add(node, { callType: "remote_action", serviceVariableName: receiver, method, payloadSummary: summarizeExpression(node.getText(source)), confidence: 0.45, unresolvedReason: "dynamic_operation_path_identifier" }, { receiver, classifier: "higher_order_wrapper_dynamic_path", wrapperFunction: wrapperName, wrapperDefinitionLine: spec.definitionLine, callerLine: lineOf3(source.text, node.getStart(source)), wrapperPathSourceKind: resolvedPath.sourceKind, rawPathExpression: resolvedPath.rawExpression, parserWarning: "dynamic_operation_path_identifier" });
-        }
-      } else if (ts4.isPropertyAccessExpression(expr) && ["emit", "publish", "on"].includes(expr.name.text)) {
-        const receiver = receiverName(expr.expression);
-        const rootReceiver = rootReceiverName(expr.expression);
-        if (isSupportedEventReceiver(receiver, rootReceiver, serviceVariables)) {
-          const eventName = literalText(node.arguments[0]);
-          if (eventName) add(node, { callType: expr.name.text === "on" ? "async_subscribe" : "async_emit", serviceVariableName: rootReceiver ?? receiver, eventNameExpr: eventName }, { receiver, rootReceiver, classifier: expr.name.text === "on" ? "cap_service_event_subscription" : "cap_service_event_emit", receiverClassification: "cap_evidence" });
-        }
-      } else {
-        const external = externalHttpEvidence(node, source);
-        if (external) {
-          const evidenceTarget = { ...external.externalTarget, method: external.method, parserClassifier: external.classifier, sourceCallShape: external.sourceCallShape };
-          const safeTarget = externalHttpTarget({ method: external.method, evidence_json: JSON.stringify({ externalTarget: evidenceTarget }) });
-          add(node, { callType: "external_http", method: external.method, payloadSummary: void 0, confidence: 0.7, unresolvedReason: "External HTTP destination is outside indexed CAP services", externalTarget: { kind: safeTarget.kind, stableId: safeTarget.toId, label: safeTarget.label, dynamic: safeTarget.dynamic } }, { classifier: external.classifier, externalTarget: safeTarget, sourceCallShape: external.sourceCallShape });
-        }
-      }
+        ]
+      });
     }
-    ts4.forEachChild(node, visit);
-  };
-  visit(source);
-  return calls;
-}
-function containsSupportedOutboundCall(node) {
-  const source = node.getSourceFile();
-  const start = node.getFullStart();
-  const end = node.getEnd();
-  return classifyOutboundCallsInSource(source, source.fileName).some((call) => call.node.getStart(source) >= start && call.node.getEnd() <= end);
-}
-async function parseOutboundCalls(repoPath, filePath) {
-  const text = await fs6.readFile(path7.join(repoPath, filePath), "utf8");
-  const source = ts4.createSourceFile(filePath, text, ts4.ScriptTarget.Latest, true, filePath.endsWith(".ts") ? ts4.ScriptKind.TS : ts4.ScriptKind.JS);
-  return [...classifyOutboundCallsInSource(source, filePath).map((call) => call.fact), ...parseLocalServiceCalls(text, filePath)];
-}
-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] });
+  }
+  function arrayElementsFromExpression(expr) {
+    const unwrapped = unwrapIdentityExpression(expr);
+    if (ts5.isArrayLiteralExpression(unwrapped)) return { elements: unwrapped.elements, promiseAll: false };
+    const call = unwrapCall(expr);
+    if (!call) return void 0;
+    if (!ts5.isPropertyAccessExpression(call.expression) || call.expression.name.text !== "all" || call.expression.expression.getText(sourceFileAst) !== "Promise") return void 0;
+    const first = call.arguments[0];
+    if (!first) return void 0;
+    const container = unwrapIdentityExpression(first);
+    if (!ts5.isArrayLiteralExpression(container)) return void 0;
+    return { elements: container.elements, promiseAll: true };
+  }
+  async function recordArrayElementBinding(targetName, expr, node, arrayIndex, promiseAll) {
+    const before = out.length;
+    await recordBindingFromExpression(targetName, expr, node, "declaration");
+    if (out.length > before) {
+      const row = out[out.length - 1];
+      row.helperChain = [
+        ...row.helperChain ?? [],
+        { callerVariable: targetName, targetVariable: targetName, arrayIndex, promiseAll, arrayContainer: promiseAll ? "Promise.all" : "array_literal" }
+      ];
+      return;
     }
-    if (ts4.isCallExpression(node)) {
-      const parsed = serviceOperationCall(node, 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,
-        unresolvedReason: ["send", "emit", "publish", "on"].includes(parsed.operation) ? "transport_client_method" : void 0,
-        evidence: parserEvidence(source, node, {
-          classifier: parsed.classifier,
-          parserCallType: parsed.operation === "send" ? "transport_client_method" : parsed.classifier,
-          localServiceLookup: parsed.lookup,
-          localServiceName: parsed.service,
-          operation: parsed.operation,
-          aliasChain: parsed.chain
-        })
+    const unwrapped = unwrapIdentityExpression(expr);
+    if (ts5.isIdentifier(unwrapped)) {
+      const existing = bindingForVariable(unwrapped.text);
+      if (!existing) return;
+      out.push({
+        ...existing,
+        variableName: targetName,
+        sourceLine: lineOf3(sourceFileAst, node),
+        helperChain: [
+          ...existing.helperChain ?? [],
+          { callerVariable: targetName, targetVariable: targetName, sourceVariable: unwrapped.text, aliasKind: "array-destructuring", arrayIndex, promiseAll, arrayContainer: promiseAll ? "Promise.all" : "array_literal" }
+        ]
       });
     }
-    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;
+  }
+  async function recordArrayDestructuredVariable(decl) {
+    if (!ts5.isArrayBindingPattern(decl.name) || !decl.initializer) return;
+    const container = arrayElementsFromExpression(decl.initializer);
+    if (!container) return;
+    for (let index = 0; index < decl.name.elements.length; index += 1) {
+      const el = decl.name.elements[index];
+      if (!el || ts5.isOmittedExpression(el) || ts5.isBindingElement(el) && el.dotDotDotToken) continue;
+      if (!ts5.isBindingElement(el) || !ts5.isIdentifier(el.name)) continue;
+      const source = container.elements[index];
+      if (!source || ts5.isOmittedExpression(source)) continue;
+      await recordArrayElementBinding(el.name.text, source, decl, index, container.promiseAll);
+    }
+  }
+  async function recordArrayDestructuredAssignment(pattern, expr, node) {
+    const container = arrayElementsFromExpression(expr);
+    if (!container) return;
+    for (let index = 0; index < pattern.elements.length; index += 1) {
+      const el = pattern.elements[index];
+      if (!el || ts5.isOmittedExpression(el) || ts5.isSpreadElement(el) || !ts5.isIdentifier(el)) continue;
+      const source = container.elements[index];
+      if (!source || ts5.isOmittedExpression(source)) continue;
+      await recordArrayElementBinding(el.text, source, node, index, container.promiseAll);
+    }
+  }
+  const events = [];
+  function collectEvents(node) {
+    if (ts5.isVariableDeclaration(node)) events.push({ pos: node.getStart(sourceFileAst), node });
+    if (ts5.isBinaryExpression(node) && node.operatorToken.kind === ts5.SyntaxKind.EqualsToken)
+      events.push({ pos: node.getStart(sourceFileAst), node });
+    ts5.forEachChild(node, collectEvents);
+  }
+  collectEvents(sourceFileAst);
+  events.sort((a, b) => a.pos - b.pos);
+  for (const event of events) {
+    if (ts5.isVariableDeclaration(event.node)) {
+      const decl = event.node;
+      await recordDestructuredHelper(decl);
+      await recordArrayDestructuredVariable(decl);
+      recordDestructuredClassHelper(decl);
+      await rememberObjectHelperVariable(decl);
+      if (ts5.isIdentifier(decl.name) && decl.initializer) recordObjectPropertyBinding(decl.name.text, decl.initializer, decl);
+      await recordVariable(decl);
+      recordIdentityAlias(decl);
+      if (ts5.isIdentifier(decl.name) && decl.initializer) {
+        const sourceName = transactionReceiverName(decl.initializer);
+        if (sourceName) cloneAliasBinding(decl.name.text, sourceName, "transaction", decl);
+      }
+      continue;
+    }
+    const assignment = event.node;
+    if (ts5.isIdentifier(assignment.left)) {
+      const rhs = unwrapIdentityExpression(assignment.right);
+      if (ts5.isIdentifier(rhs)) {
+        cloneAliasBinding(assignment.left.text, rhs.text, "identity-assignment", assignment);
+        continue;
+      }
+      if (recordObjectPropertyBinding(assignment.left.text, assignment.right, assignment)) continue;
+      await recordBindingFromExpression(assignment.left.text, assignment.right, assignment, "assignment");
+      continue;
+    }
+    const left = ts5.isParenthesizedExpression(assignment.left) ? assignment.left.expression : assignment.left;
+    if (ts5.isObjectLiteralExpression(left))
+      await recordDestructuredAssignment(left, assignment.right, assignment);
+    if (ts5.isArrayLiteralExpression(left))
+      await recordArrayDestructuredAssignment(left, assignment.right, assignment);
+  }
+  return out;
 }
-function serviceOperationCall(node, aliases) {
-  const expr = node.expression;
-  if (!ts4.isPropertyAccessExpression(expr)) return void 0;
-  const origin = serviceLookup(expr.expression, aliases);
-  if (!origin) return void 0;
-  if (expr.name.text === "send") {
-    const first = literalText(node.arguments[0]);
-    const second = literalText(node.arguments[1]);
-    const method = first?.toUpperCase();
-    if (method && ["GET", "POST", "PUT", "PATCH", "DELETE", "HEAD"].includes(method) && second) return { ...origin, operation: second.replace(/^\//, ""), classifier: "cap_service_send_method_path" };
-    if (first) return { ...origin, operation: first.replace(/^\//, ""), classifier: "cap_service_send_local_dispatch" };
+function collectClassHelpers(sf) {
+  const helpers = [];
+  for (const stmt of sf.statements) {
+    if (!ts5.isClassDeclaration(stmt) || !stmt.name) continue;
+    for (const member of stmt.members) {
+      let visit2 = function(node) {
+        if (ts5.isVariableDeclaration(node) && ts5.isIdentifier(node.name) && node.initializer) {
+          const fact = findConnectInExpression(node.initializer);
+          if (fact) bindings.set(node.name.text, fact);
+        }
+        if (ts5.isReturnStatement(node) && node.expression && ts5.isObjectLiteralExpression(node.expression)) {
+          for (const prop of node.expression.properties) {
+            if (ts5.isShorthandPropertyAssignment(prop)) {
+              const fact = bindings.get(prop.name.text);
+              if (fact)
+                helpers.push({
+                  className,
+                  helperName,
+                  propertyName: prop.name.text,
+                  variableName: prop.name.text,
+                  fact,
+                  sourceLine: lineOf3(sf, prop)
+                });
+            }
+            if (ts5.isPropertyAssignment(prop) && ts5.isIdentifier(prop.initializer)) {
+              const propertyName2 = ts5.isIdentifier(prop.name) || ts5.isStringLiteralLike(prop.name) ? prop.name.text : void 0;
+              const fact = propertyName2 ? bindings.get(prop.initializer.text) : void 0;
+              if (propertyName2 && fact)
+                helpers.push({
+                  className,
+                  helperName,
+                  propertyName: propertyName2,
+                  variableName: prop.initializer.text,
+                  fact,
+                  sourceLine: lineOf3(sf, prop)
+                });
+            }
+          }
+        }
+        ts5.forEachChild(node, visit2);
+      };
+      var visit = visit2;
+      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 (!ts5.isArrowFunction(initializer) && !ts5.isFunctionExpression(initializer))
+        continue;
+      const bindings = /* @__PURE__ */ new Map();
+      visit2(initializer);
+    }
   }
-  return { ...origin, operation: expr.name.text, classifier: "local_cap_service_call" };
+  return helpers;
 }
 
-// src/parsers/service-binding-parser.ts
-import path9 from "path";
-import ts6 from "typescript";
-
-// src/parsers/service-binding-parser-helpers.ts
+// src/parsers/outbound-call-parser.ts
 import fs7 from "fs/promises";
-import path8 from "path";
-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 (ts5.isStringLiteralLike(node) || ts5.isNoSubstitutionTemplateLiteral(node)) return node.text;
-  if (ts5.isTemplateExpression(node)) return node.getText().replace(/^`|`$/g, "");
-  return node.getText();
-}
-function placeholders2(value) {
-  return [...(value ?? "").matchAll(/\$\{([^}]*)\}/g)].map((m) => (m[1] ?? "").trim()).filter(Boolean);
+import path10 from "path";
+import ts7 from "typescript";
+
+// src/linker/external-http-target.ts
+import { createHash } from "crypto";
+var sensitiveKeys = /* @__PURE__ */ new Set(["token", "access_token", "id_token", "api_key", "apikey", "key", "password", "passwd", "pwd", "secret", "client_secret", "authorization", "cookie", "signature"]);
+function hash(value) {
+  return createHash("sha256").update(value).digest("hex").slice(0, 12);
 }
-function connectFactFromCall(call) {
-  const expr = call.expression;
-  if (!ts5.isPropertyAccessExpression(expr) || expr.name.text !== "to") return void 0;
-  const inner = expr.expression;
-  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 = ts5.isObjectLiteralExpression(first) ? first : second && ts5.isObjectLiteralExpression(second) ? second : void 0;
-  let alias;
-  let aliasExpr;
-  if (ts5.isStringLiteralLike(first) || ts5.isNoSubstitutionTemplateLiteral(first)) alias = first.text;
-  else if (!ts5.isObjectLiteralExpression(first)) aliasExpr = stringValue(first);
-  if ((ts5.isStringLiteralLike(first) || ts5.isNoSubstitutionTemplateLiteral(first)) && !objectArg) return { alias: first.text, isDynamic: false, placeholders: [] };
-  if (!objectArg && aliasExpr) return { aliasExpr, isDynamic: true, placeholders: placeholders2(aliasExpr) };
-  const expressions = objectArg ? objectExpressions(objectArg) : {};
-  const ph = [...placeholders2(aliasExpr ?? alias), ...placeholders2(expressions.destinationExpr), ...placeholders2(expressions.servicePathExpr)];
-  return { alias, aliasExpr, ...expressions, isDynamic: ph.length > 0 || !expressions.destinationExpr && !expressions.servicePathExpr, placeholders: ph };
+function methodPrefix(method) {
+  return typeof method === "string" && method.length > 0 ? `${method.toUpperCase()} ` : "";
 }
-function objectExpressions(objectArg) {
-  const out = {};
-  function visitObject(obj) {
-    for (const prop of obj.properties) {
-      if (!ts5.isPropertyAssignment(prop)) continue;
-      const name = ts5.isIdentifier(prop.name) || ts5.isStringLiteralLike(prop.name) ? prop.name.text : void 0;
-      if (name === "destination") out.destinationExpr = stringValue(prop.initializer);
-      if (name === "path" || name === "servicePath") out.servicePathExpr = stringValue(prop.initializer);
-      if (ts5.isObjectLiteralExpression(prop.initializer)) visitObject(prop.initializer);
-    }
+function redactUrl(value) {
+  try {
+    const url = new URL(value, value.startsWith("/") ? "https://relative.invalid" : void 0);
+    url.username = "";
+    url.password = "";
+    for (const key of [...url.searchParams.keys()]) url.searchParams.set(key, sensitiveKeys.has(key.toLowerCase()) ? "<redacted>" : "<redacted>");
+    const path11 = `${url.pathname}${url.search ? url.search : ""}`;
+    return value.startsWith("/") ? path11 : `${url.origin}${path11}`;
+  } catch {
+    return value.replace(/([?&][^=;&]*(?:token|key|password|secret|cookie|authorization)[^=;&]*=)[^&]*/gi, "$1<redacted>");
   }
-  visitObject(objectArg);
-  return out;
-}
-function unwrapCall(expr) {
-  if (ts5.isAwaitExpression(expr)) return unwrapCall(expr.expression);
-  if (ts5.isParenthesizedExpression(expr)) return unwrapCall(expr.expression);
-  if (ts5.isAsExpression(expr) || ts5.isSatisfiesExpression(expr)) return unwrapCall(expr.expression);
-  if (ts5.isTypeAssertionExpression(expr)) return unwrapCall(expr.expression);
-  if (ts5.isCallExpression(expr)) return expr;
-  return void 0;
-}
-function unwrapIdentityExpression(expr) {
-  if (ts5.isAwaitExpression(expr)) return unwrapIdentityExpression(expr.expression);
-  if (ts5.isParenthesizedExpression(expr)) return unwrapIdentityExpression(expr.expression);
-  if (ts5.isAsExpression(expr) || ts5.isSatisfiesExpression(expr)) return unwrapIdentityExpression(expr.expression);
-  if (ts5.isTypeAssertionExpression(expr)) return unwrapIdentityExpression(expr.expression);
-  return expr;
-}
-function transactionReceiverName(expr) {
-  const call = unwrapCall(expr);
-  if (call && ts5.isPropertyAccessExpression(call.expression) && ["tx", "transaction"].includes(call.expression.name.text) && ts5.isIdentifier(call.expression.expression)) return call.expression.expression.text;
-  const unwrapped = unwrapIdentityExpression(expr);
-  if (!ts5.isConditionalExpression(unwrapped)) return void 0;
-  const left = transactionReceiverName(unwrapped.whenTrue);
-  const right = transactionReceiverName(unwrapped.whenFalse);
-  return left && left === right ? left : void 0;
 }
-function findConnectInExpression(expr) {
-  const direct = unwrapCall(expr);
-  if (direct) {
-    const fact = connectFactFromCall(direct);
-    if (fact) return fact;
+function externalHttpTarget(call) {
+  const evidence = typeof call.evidence_json === "string" ? safeParse(call.evidence_json) : {};
+  const target = evidence.externalTarget && typeof evidence.externalTarget === "object" && !Array.isArray(evidence.externalTarget) ? evidence.externalTarget : {};
+  const method = typeof call.method === "string" ? call.method : typeof target.method === "string" ? target.method : void 0;
+  const kind = typeof target.kind === "string" ? target.kind : "unknown";
+  const expression = typeof target.expression === "string" ? target.expression : void 0;
+  if (kind === "destination" && target.dynamic === true) {
+    const shape = typeof target.expressionShape === "string" ? target.expressionShape : "expression";
+    const candidates = Array.isArray(target.candidateLiterals) ? target.candidateLiterals.filter((item) => typeof item === "string") : [];
+    return { kind, toKind: "external_destination", toId: `destination:dynamic:${hash(`${shape}:${candidates.join("|")}`)}`, label: "External destination: dynamic destination", method, dynamic: true, expression: candidates.length ? `candidates:${candidates.join("|")}` : `shape:${shape}` };
   }
-  let found;
-  function visit(node) {
-    if (found) return;
-    if (ts5.isCallExpression(node)) found = connectFactFromCall(node);
-    if (!found) ts5.forEachChild(node, visit);
+  if (kind === "destination" && expression) return { kind, toKind: "external_destination", toId: `destination:${expression}`, label: `External destination: ${expression}`, method, dynamic: false, expression };
+  if (kind === "static_url" && expression) {
+    const redacted = redactUrl(expression);
+    return { kind, toKind: "external_endpoint", toId: `endpoint:${hash(`${method ?? ""}:${redacted}`)}`, label: `External endpoint: ${methodPrefix(method)}${redacted}`, method, dynamic: false, expression: redacted };
   }
-  visit(expr);
-  return found;
+  if (kind === "url_expression" && expression) return { kind, toKind: "external_endpoint", toId: `dynamic:${hash(expression)}`, label: `External endpoint: ${methodPrefix(method)}dynamic URL`, method, dynamic: true, expression: `expr:${hash(expression)}` };
+  return { kind: "unknown", toKind: "external_endpoint", toId: "unknown", label: "External endpoint: unknown", method, dynamic: false };
 }
-async function readSource(abs) {
+function safeParse(value) {
   try {
-    const text = await fs7.readFile(abs, "utf8");
-    return ts5.createSourceFile(abs, text, ts5.ScriptTarget.Latest, true, ts5.ScriptKind.TS);
+    const parsed = JSON.parse(value);
+    return parsed && typeof parsed === "object" && !Array.isArray(parsed) ? parsed : {};
   } catch {
-    return void 0;
-  }
-}
-async function resolveImport(repoPath, fromFile, spec) {
-  if (!spec.startsWith(".")) return void 0;
-  const rawBase = path8.resolve(repoPath, path8.dirname(fromFile), spec);
-  const parsed = path8.parse(rawBase);
-  const base = [".js", ".mjs", ".cjs", ".ts", ".mts", ".cts"].includes(parsed.ext) ? path8.join(parsed.dir, parsed.name) : rawBase;
-  for (const candidate of [base, `${base}.ts`, `${base}.js`, path8.join(base, "index.ts"), path8.join(base, "index.js")]) {
-    const stat = await fs7.stat(candidate).catch(() => void 0);
-    if (stat?.isFile()) return normalizePath(path8.relative(repoPath, candidate));
-  }
-  return void 0;
-}
-async function importsFor(repoPath, filePath, sf) {
-  const imports = [];
-  for (const stmt of sf.statements) {
-    if (!ts5.isImportDeclaration(stmt) || !ts5.isStringLiteralLike(stmt.moduleSpecifier)) continue;
-    const sourceFile = await resolveImport(repoPath, filePath, stmt.moduleSpecifier.text);
-    const clause = stmt.importClause;
-    if (!clause) continue;
-    if (clause.name) imports.push({ localName: clause.name.text, exportedName: "default", sourceFile });
-    const bindings = clause.namedBindings;
-    if (bindings && ts5.isNamedImports(bindings))
-      for (const el of bindings.elements) imports.push({ localName: el.name.text, exportedName: el.propertyName?.text ?? el.name.text, sourceFile });
+    return {};
   }
-  return imports;
 }
 
-// src/parsers/service-binding-parser.ts
-function collectLocalBindingFacts(fn) {
-  const bindings = /* @__PURE__ */ new Map();
-  function visit(node) {
-    if (node !== fn && (ts6.isFunctionDeclaration(node) || ts6.isArrowFunction(node) || ts6.isFunctionExpression(node)))
-      return;
-    if (ts6.isVariableDeclaration(node) && ts6.isIdentifier(node.name) && node.initializer) {
-      const fact = findConnectInExpression(node.initializer);
-      if (fact) bindings.set(node.name.text, fact);
-      const sourceName = transactionReceiverName(node.initializer);
-      if (sourceName) {
-        const source = bindings.get(sourceName);
-        if (source) bindings.set(node.name.text, { ...source, helperChain: [...source.helperChain ?? [], { aliasOf: sourceName, callerVariable: node.name.text, aliasKind: "transaction", transactionAliasSource: sourceName }] });
-      }
-    }
-    ts6.forEachChild(node, visit);
-  }
-  visit(fn);
-  return bindings;
+// src/linker/odata-path-normalizer.ts
+function normalizeODataOperationInvocationPath(path11) {
+  if (path11 === void 0) return void 0;
+  const raw = path11.trim();
+  if (!raw) return void 0;
+  const rejected = (reason) => ({ rawOperationPath: raw, normalizedOperationPath: raw, wasInvocation: false, invocationArgumentPlaceholderKeys: [], normalizationRejectedReason: reason });
+  const open = raw.indexOf("(");
+  if (open < 0) return rejected("no_top_level_parenthesis");
+  const query = topLevelQueryIndex(raw);
+  if (query >= 0) return rejected("query_string_paths_are_not_operation_invocations");
+  if (!raw.startsWith("/")) return rejected("path_is_not_absolute");
+  if (raw.slice(1, open).includes("/")) return rejected("operation_segment_contains_navigation_separator");
+  const close = matchingClose(raw, open);
+  if (close === void 0) return rejected("top_level_invocation_parenthesis_is_unbalanced");
+  if (raw.slice(close + 1).trim().length > 0) return rejected("top_level_invocation_does_not_cover_remaining_path");
+  const operationSegment = raw.slice(0, open).trim();
+  if (operationSegment.length <= 1) return rejected("operation_segment_is_empty");
+  return {
+    rawOperationPath: raw,
+    normalizedOperationPath: operationSegment,
+    wasInvocation: true,
+    invocationArguments: raw.slice(open + 1, close),
+    invocationArgumentPlaceholderKeys: [...new Set(extractTemplatePlaceholders(raw.slice(open + 1, close)))],
+    normalizationReason: "balanced_top_level_operation_invocation"
+  };
 }
-function collectReturnedObjectBindings(fn) {
-  const bindings = collectLocalBindingFacts(fn);
-  const returns = /* @__PURE__ */ new Map();
-  function visit(node) {
-    if (node !== fn && (ts6.isFunctionDeclaration(node) || ts6.isArrowFunction(node) || ts6.isFunctionExpression(node)))
-      return;
-    if (ts6.isReturnStatement(node) && node.expression && ts6.isObjectLiteralExpression(node.expression)) {
-      for (const prop of node.expression.properties) {
-        if (ts6.isShorthandPropertyAssignment(prop)) returns.set(prop.name.text, prop.name.text);
-        if (ts6.isPropertyAssignment(prop) && ts6.isIdentifier(prop.initializer)) {
-          const propertyName = ts6.isIdentifier(prop.name) || ts6.isStringLiteralLike(prop.name) ? prop.name.text : void 0;
-          if (propertyName) returns.set(propertyName, prop.initializer.text);
-        }
-      }
-    }
-    ts6.forEachChild(node, visit);
+function classifyODataPathIntent(path11, method) {
+  const rawPath = (path11 ?? "").trim();
+  const normalizedMethod = (method ?? "GET").trim().toUpperCase() || "GET";
+  const queryIndex = rawPath.indexOf("?");
+  const pathWithoutQuery = queryIndex >= 0 ? rawPath.slice(0, queryIndex) : rawPath;
+  const queryString = queryIndex >= 0 ? rawPath.slice(queryIndex + 1) : void 0;
+  const segments = pathWithoutQuery.replace(/^\//, "").split("/").filter(Boolean);
+  const firstSegment = segments[0] ?? "";
+  const hasNavigationSegments = segments.length > 1;
+  const entitySegment = entitySegmentFromPath(pathWithoutQuery);
+  const placeholderKeys2 = [...new Set(extractTemplatePlaceholders(rawPath))];
+  const firstOpen = firstSegment.indexOf("(");
+  const firstClose = firstOpen >= 0 ? matchingClose(firstSegment, firstOpen) : void 0;
+  const keyPredicateText = firstOpen >= 0 && firstClose !== void 0 ? firstSegment.slice(firstOpen + 1, firstClose) : "";
+  const rawKeyPredicatePlaceholderKeys = [...new Set(extractTemplatePlaceholders(keyPredicateText))];
+  const navigationSuffix = hasNavigationSegments ? segments.slice(1).join("/") : void 0;
+  const lastSegment = segments.at(-1) ?? "";
+  const mediaOrPropertySuffix = hasNavigationSegments ? lastSegment : void 0;
+  const invocation = normalizeODataOperationInvocationPath(pathWithoutQuery);
+  const operationNameFromInvocation = invocation?.wasInvocation ? invocation.normalizedOperationPath.replace(/^\//, "").split(".").at(-1) : void 0;
+  const topLevelName = firstSegment.split("(")[0]?.replace(/^\//, "");
+  const topLevelOperationName = operationNameFromInvocation ?? (!hasNavigationSegments && !firstSegment.includes("(") ? topLevelName : void 0);
+  const topLevelOperationInvocation = Boolean(invocation?.wasInvocation && looksLikeLowerCamelInvocation(firstSegment));
+  const keyPredicatePlaceholderKeys = topLevelOperationInvocation ? [] : rawKeyPredicatePlaceholderKeys;
+  const topLevelOperationNameCandidate = Boolean(topLevelOperationName && !hasNavigationSegments && !firstSegment.includes("("));
+  const base = { rawPath, method: normalizedMethod, pathWithoutQuery, queryString, hasQueryString: queryIndex >= 0, entitySegment, placeholderKeys: placeholderKeys2, keyPredicatePlaceholderKeys, invocationArguments: invocation?.invocationArguments, invocationArgumentPlaceholderKeys: invocation?.invocationArgumentPlaceholderKeys ?? [], navigationSuffix, mediaOrPropertySuffix, hasEntityKeyPredicate: firstOpen >= 0 && firstClose !== void 0, hasNavigationSuffix: hasNavigationSegments, hasMediaOrPropertySuffix: Boolean(mediaOrPropertySuffix && isMediaOrPropertySuffix(mediaOrPropertySuffix)), topLevelOperationName, topLevelOperationNameCandidate, topLevelOperationInvocation };
+  if (!rawPath || !rawPath.startsWith("/")) return { ...base, kind: "unknown", reason: "path_missing_or_not_absolute" };
+  const upperEntityLike = /^[A-Z][A-Za-z0-9_]*$/.test(entitySegment ?? firstSegment);
+  const mediaLike = isMediaOrPropertySuffix(segments.at(-1) ?? "");
+  if (normalizedMethod !== "GET") {
+    if (invocation?.wasInvocation && looksLikeLowerCamelInvocation(firstSegment)) return { ...base, kind: "operation_invocation", reason: "non_get_balanced_top_level_operation_invocation" };
+    if (mediaLike) return { ...base, kind: "entity_media", reason: "non_get_entity_media_stream_path" };
+    if (hasNavigationSegments || firstSegment.includes("(")) return { ...base, kind: normalizedMethod === "DELETE" ? "entity_delete" : "entity_mutation", reason: firstSegment.includes("(") ? "non_get_entity_key_or_navigation_path_shape" : "non_get_entity_navigation_path_shape" };
+    if (upperEntityLike) return { ...base, kind: normalizedMethod === "DELETE" ? "entity_delete" : "entity_mutation", reason: "non_get_entity_path_shape" };
+    return { ...base, kind: "operation_invocation", reason: "non_get_lowercase_path_may_be_operation" };
   }
-  visit(fn);
-  const out = /* @__PURE__ */ new Map();
-  for (const [propertyName, variableName] of returns) {
-    const fact = bindings.get(variableName);
-    if (fact) out.set(propertyName, fact);
+  if (queryIndex >= 0) {
+    if (hasNavigationSegments) return { ...base, kind: "entity_navigation_query", reason: "get_path_has_navigation_and_query_string" };
+    if (looksLikeLowerCamelInvocation(firstSegment)) return { ...base, kind: "unknown", reason: "get_invocation_with_query_string_requires_indexed_operation_evidence" };
+    return { ...base, kind: "entity_query", reason: "get_collection_path_has_query_string" };
+  }
+  if (hasNavigationSegments) return mediaLike ? { ...base, kind: "entity_media", reason: "get_entity_media_stream_path" } : { ...base, kind: "entity_navigation_query", reason: "get_path_has_navigation_segments" };
+  if (firstSegment.includes("(")) {
+    if (invocation?.wasInvocation && looksLikeLowerCamelInvocation(firstSegment)) return { ...base, kind: "operation_invocation", reason: "get_balanced_top_level_operation_invocation" };
+    return looksLikeLowerCamelInvocation(firstSegment) ? { ...base, kind: "operation_invocation", reason: "get_single_lower_camel_segment_has_top_level_invocation" } : { ...base, kind: "entity_key_read", reason: "get_entity_segment_has_key_predicate" };
   }
-  return out;
+  if (/^[A-Z][A-Za-z0-9_]*$/.test(firstSegment)) return { ...base, kind: "entity_candidate", reason: "uppercase_collection_segment_without_indexed_entity_evidence" };
+  return { ...base, kind: "unknown", reason: "get_path_has_no_query_key_or_navigation_signal" };
 }
-function functionLikeInitializer(expr) {
-  if (!expr) return void 0;
-  if (ts6.isArrowFunction(expr) || ts6.isFunctionExpression(expr)) return expr;
-  return void 0;
+function entitySegmentFromPath(path11) {
+  const first = path11.replace(/^\//, "").split("/")[0]?.trim();
+  if (!first) return void 0;
+  const open = first.indexOf("(");
+  const entity = (open >= 0 ? first.slice(0, open) : first).trim();
+  return entity || void 0;
 }
-function directReturnConnectFact(fn) {
-  const localBindings = collectLocalBindingFacts(fn);
-  let returned;
-  function visit(node) {
-    if (node !== fn && (ts6.isFunctionDeclaration(node) || ts6.isArrowFunction(node) || ts6.isFunctionExpression(node)))
-      return;
-    if (!returned && ts6.isReturnStatement(node) && node.expression)
-      returned = node.expression;
-    if (!returned) ts6.forEachChild(node, visit);
-  }
-  visit(fn);
-  if (!returned) return void 0;
-  if (ts6.isIdentifier(returned)) return localBindings.get(returned.text);
-  return findConnectInExpression(returned);
+function isMediaOrPropertySuffix(segment) {
+  return ["file", "content", "$value", "metadata", "items"].includes(segment.toLowerCase());
 }
-function directConnectFactFromFunctionLike(fn) {
-  if (ts6.isArrowFunction(fn) && fn.body && !ts6.isBlock(fn.body))
-    return findConnectInExpression(fn.body);
-  return directReturnConnectFact(fn);
+function looksLikeLowerCamelInvocation(segment) {
+  const open = segment.indexOf("(");
+  if (open <= 0) return false;
+  const name = segment.slice(0, open).split(".").at(-1) ?? segment.slice(0, open);
+  return /^[a-z][A-Za-z0-9_]*$/.test(name);
 }
-function exportedLocalNames(sf) {
-  const exports = /* @__PURE__ */ new Map();
-  for (const stmt of sf.statements) {
-    const direct = ts6.canHaveModifiers(stmt) ? ts6.getModifiers(stmt)?.some(
-      (m) => m.kind === ts6.SyntaxKind.ExportKeyword
-    ) ?? false : false;
-    if (direct && ts6.isFunctionDeclaration(stmt) && stmt.name)
-      exports.set(stmt.name.text, stmt.name.text);
-    if (direct && ts6.isVariableStatement(stmt)) {
-      for (const decl of stmt.declarationList.declarations)
-        if (ts6.isIdentifier(decl.name)) exports.set(decl.name.text, decl.name.text);
-    }
-    if (!ts6.isExportDeclaration(stmt) || !stmt.exportClause) continue;
-    if (!ts6.isNamedExports(stmt.exportClause)) continue;
-    for (const el of stmt.exportClause.elements)
-      exports.set(el.name.text, el.propertyName?.text ?? el.name.text);
+function extractTemplatePlaceholders(text) {
+  const keys = [];
+  for (let index = 0; index < text.length - 1; index += 1) {
+    if (text[index] !== "$" || text[index + 1] !== "{") continue;
+    const close = matchingPlaceholderClose(text, index + 1);
+    if (close === void 0) continue;
+    const key = text.slice(index + 2, close).trim();
+    if (key) keys.push(key);
+    index = close;
   }
-  return exports;
+  return keys;
 }
-async function helperBindings(repoPath, filePath) {
-  const sf = await readSource(path9.join(repoPath, filePath));
-  if (!sf) return [];
-  const sourceFileAst = sf;
-  const out = [];
-  const exportedLocals = exportedLocalNames(sf);
-  const factsByLocal = /* @__PURE__ */ new Map();
-  for (const stmt of sf.statements) {
-    if (ts6.isFunctionDeclaration(stmt) && stmt.name) {
-      const fact = directConnectFactFromFunctionLike(stmt);
-      if (fact) factsByLocal.set(stmt.name.text, { ...fact, sourceLine: lineOf4(sf, stmt) });
-      for (const [returnedProperty, objectFact] of collectReturnedObjectBindings(stmt))
-        factsByLocal.set(`${stmt.name.text}#${returnedProperty}`, { ...objectFact, returnedProperty, sourceLine: lineOf4(sf, stmt) });
-    }
-    if (ts6.isVariableStatement(stmt))
-      for (const decl of stmt.declarationList.declarations) {
-        if (!ts6.isIdentifier(decl.name) || !decl.initializer) continue;
-        const helper = functionLikeInitializer(decl.initializer);
-        if (helper) {
-          const directReturn = directConnectFactFromFunctionLike(helper);
-          if (directReturn)
-            factsByLocal.set(decl.name.text, {
-              ...directReturn,
-              sourceLine: lineOf4(sourceFileAst, decl)
-            });
-          for (const [returnedProperty, objectFact] of collectReturnedObjectBindings(helper))
-            factsByLocal.set(`${decl.name.text}#${returnedProperty}`, {
-              ...objectFact,
-              returnedProperty,
-              sourceLine: lineOf4(sourceFileAst, decl)
-            });
-          continue;
-        }
-        const fact = findConnectInExpression(decl.initializer);
-        if (fact)
-          factsByLocal.set(decl.name.text, {
-            ...fact,
-            sourceLine: lineOf4(sourceFileAst, decl)
-          });
+function matchingClose(text, openIndex) {
+  let depth = 0;
+  let quote;
+  for (let index = openIndex; index < text.length; index += 1) {
+    const char = text[index];
+    const prev = text[index - 1];
+    if (quote) {
+      if (prev === "\\") continue;
+      if (quote === "template" && char === "$" && text[index + 1] === "{") {
+        const close = matchingPlaceholderClose(text, index + 1);
+        if (close === void 0) return void 0;
+        index = close;
+        continue;
       }
-  }
-  for (const [exportedName, localName] of exportedLocals) {
-    const fact = factsByLocal.get(localName);
-    if (fact)
-      out.push({
-        ...fact,
-        exportedName,
-        sourceFile: normalizePath(filePath),
-        sourceLine: fact.sourceLine
-      });
-  }
-  for (const [key, fact] of factsByLocal) {
-    const [localName, returnedProperty] = key.split("#");
-    if (!returnedProperty) continue;
-    for (const [exportedName, exportedLocal] of exportedLocals) {
-      if (exportedLocal !== localName) continue;
-      out.push({ ...fact, exportedName, returnedProperty, sourceFile: normalizePath(filePath), sourceLine: fact.sourceLine });
+      if (quote === "single" && char === "'" || quote === "double" && char === '"' || quote === "template" && char === "`") quote = void 0;
+      continue;
+    }
+    if (char === "$" && text[index + 1] === "{") {
+      const close = matchingPlaceholderClose(text, index + 1);
+      if (close === void 0) return void 0;
+      index = close;
+      continue;
+    }
+    if (char === "'") {
+      quote = "single";
+      continue;
+    }
+    if (char === '"') {
+      quote = "double";
+      continue;
+    }
+    if (char === "`") {
+      quote = "template";
+      continue;
+    }
+    if (char === "(") depth += 1;
+    if (char === ")") {
+      depth -= 1;
+      if (depth === 0) return index;
+      if (depth < 0) return void 0;
     }
   }
-  return out;
+  return void 0;
 }
-async function parseServiceBindings(repoPath, filePath) {
-  const sf = await readSource(path9.join(repoPath, filePath));
-  if (!sf) return [];
-  const sourceFileAst = sf;
-  const out = [];
-  const imports = await importsFor(repoPath, filePath, sf);
-  const helperCache = /* @__PURE__ */ new Map();
-  const classHelpers = collectClassHelpers(sourceFileAst);
-  const localObjectHelpers = /* @__PURE__ */ new Map();
-  const localDirectHelpers = /* @__PURE__ */ new Map();
-  const objectHelperVariables = /* @__PURE__ */ new Map();
-  for (const stmt of sourceFileAst.statements) {
-    if (ts6.isFunctionDeclaration(stmt) && stmt.name) {
-      const directFact = directConnectFactFromFunctionLike(stmt);
-      if (directFact) localDirectHelpers.set(stmt.name.text, { ...directFact, exportedName: stmt.name.text, sourceFile: normalizePath(filePath), sourceLine: lineOf4(sourceFileAst, stmt) });
-      const rows2 = [];
-      for (const [returnedProperty, fact] of collectReturnedObjectBindings(stmt))
-        rows2.push({ ...fact, exportedName: stmt.name.text, returnedProperty, sourceFile: normalizePath(filePath), sourceLine: lineOf4(sourceFileAst, stmt) });
-      if (rows2.length > 0) localObjectHelpers.set(stmt.name.text, rows2);
-    }
-    if (ts6.isVariableStatement(stmt)) {
-      for (const decl of stmt.declarationList.declarations) {
-        if (!ts6.isIdentifier(decl.name)) continue;
-        const helper = functionLikeInitializer(decl.initializer);
-        if (!helper) continue;
-        const directFact = directConnectFactFromFunctionLike(helper);
-        if (directFact) localDirectHelpers.set(decl.name.text, { ...directFact, exportedName: decl.name.text, sourceFile: normalizePath(filePath), sourceLine: lineOf4(sourceFileAst, decl) });
-        const rows2 = [];
-        for (const [returnedProperty, fact] of collectReturnedObjectBindings(helper))
-          rows2.push({ ...fact, exportedName: decl.name.text, returnedProperty, sourceFile: normalizePath(filePath), sourceLine: lineOf4(sourceFileAst, decl) });
-        if (rows2.length > 0) localObjectHelpers.set(decl.name.text, rows2);
+function matchingPlaceholderClose(text, openBraceIndex) {
+  let depth = 0;
+  let quote;
+  for (let index = openBraceIndex; index < text.length; index += 1) {
+    const char = text[index];
+    const prev = text[index - 1];
+    if (quote) {
+      if (prev === "\\") continue;
+      if (quote === "template" && char === "$" && text[index + 1] === "{") {
+        depth += 1;
+        index += 1;
+        continue;
       }
+      if (quote === "single" && char === "'" || quote === "double" && char === '"' || quote === "template" && char === "`") quote = void 0;
+      continue;
+    }
+    if (char === "'") {
+      quote = "single";
+      continue;
+    }
+    if (char === '"') {
+      quote = "double";
+      continue;
+    }
+    if (char === "`") {
+      quote = "template";
+      continue;
+    }
+    if (char === "{") depth += 1;
+    if (char === "}") {
+      depth -= 1;
+      if (depth === 0) return index;
+      if (depth < 0) return void 0;
     }
   }
-  async function importedHelpers(localName) {
-    const imp = imports.find((i) => i.localName === localName && i.sourceFile);
-    if (!imp?.sourceFile) return [];
-    if (!helperCache.has(imp.sourceFile))
-      helperCache.set(
-        imp.sourceFile,
-        await helperBindings(repoPath, imp.sourceFile)
-      );
-    return (helperCache.get(imp.sourceFile) ?? []).filter((h) => h.exportedName === imp.exportedName).map((helper) => ({ imp, helper }));
-  }
-  async function importedHelper(localName) {
-    return (await importedHelpers(localName)).find((row) => !row.helper.returnedProperty);
-  }
-  function bindingForVariable(variableName) {
-    const sourceFile = normalizePath(filePath);
-    return [...out].reverse().find((row) => row.variableName === variableName && row.sourceFile === sourceFile);
-  }
-  function cloneAliasBinding(targetName, sourceName, aliasKind, node) {
-    const existing = bindingForVariable(sourceName);
-    if (!existing) return;
-    out.push({
-      ...existing,
-      variableName: targetName,
-      sourceLine: lineOf4(sourceFileAst, node),
-      helperChain: [
-        ...existing.helperChain ?? [],
-        {
-          callerVariable: targetName,
-          aliasOf: sourceName,
-          aliasKind,
-          scopeRule: "same-file-source-order",
-          ...aliasKind === "transaction" ? { transactionAliasSource: sourceName } : {}
-        }
-      ]
-    });
+  return void 0;
+}
+function topLevelQueryIndex(text) {
+  let quote;
+  for (let index = 0; index < text.length; index += 1) {
+    const char = text[index];
+    const prev = text[index - 1];
+    if (quote) {
+      if (prev === "\\") continue;
+      if (quote === "template" && char === "$" && text[index + 1] === "{") {
+        const close = matchingPlaceholderClose(text, index + 1);
+        if (close === void 0) return -1;
+        index = close;
+        continue;
+      }
+      if (quote === "single" && char === "'" || quote === "double" && char === '"' || quote === "template" && char === "`") quote = void 0;
+      continue;
+    }
+    if (char === "$" && text[index + 1] === "{") {
+      const close = matchingPlaceholderClose(text, index + 1);
+      if (close === void 0) return -1;
+      index = close;
+      continue;
+    }
+    if (char === "'") {
+      quote = "single";
+      continue;
+    }
+    if (char === '"') {
+      quote = "double";
+      continue;
+    }
+    if (char === "`") {
+      quote = "template";
+      continue;
+    }
+    if (char === "?") return index;
   }
-  function recordIdentityAlias(decl) {
-    if (!ts6.isIdentifier(decl.name) || !decl.initializer) return;
-    const unwrapped = unwrapIdentityExpression(decl.initializer);
-    if (!ts6.isIdentifier(unwrapped)) return;
-    cloneAliasBinding(decl.name.text, unwrapped.text, "identity", decl);
+  return -1;
+}
+
+// src/parsers/imported-wrapper-parser.ts
+import path9 from "path";
+import ts6 from "typescript";
+async function parseImportedWrapperCalls(repoPath, filePath, source, serviceBindings) {
+  const imports = await importsFor(repoPath, filePath, source);
+  const importedByLocal = new Map(imports.filter((item) => item.sourceFile).map((item) => [item.localName, item]));
+  const calls = collectImportedCalls(source, importedByLocal);
+  const out = [];
+  const cache = /* @__PURE__ */ new Map();
+  for (const call of calls) {
+    if (!ts6.isIdentifier(call.expression)) continue;
+    const imported = importedByLocal.get(call.expression.text);
+    if (!imported?.sourceFile) continue;
+    const spec = await loadWrapperSpec(repoPath, imported, cache, 0);
+    const fact = spec ? wrapperCallFact(source, filePath, call, spec, serviceBindings) : void 0;
+    if (fact) out.push(fact);
   }
-  async function recordBindingFromExpression(targetName, expr, node, aliasKind) {
-    const call = unwrapCall(expr);
-    if (!call) return;
-    const direct = connectFactFromCall(call);
-    if (direct)
-      out.push({
-        variableName: targetName,
-        ...direct,
-        sourceFile: normalizePath(filePath),
-        sourceLine: lineOf4(sourceFileAst, node),
-        helperChain: aliasKind === "assignment" ? [{ callerVariable: targetName, assignedFrom: call.expression.getText(sourceFileAst), aliasKind, scopeRule: "same-file-source-order" }] : void 0
-      });
-    else if (ts6.isIdentifier(call.expression)) {
-      const localDirect = localDirectHelpers.get(call.expression.text);
-      const resolved2 = localDirect ? { helper: localDirect, imp: void 0 } : await importedHelper(call.expression.text);
-      if (resolved2)
-        out.push({
-          variableName: targetName,
-          alias: resolved2.helper.alias,
-          aliasExpr: resolved2.helper.aliasExpr,
-          destinationExpr: resolved2.helper.destinationExpr,
-          servicePathExpr: resolved2.helper.servicePathExpr,
-          isDynamic: resolved2.helper.isDynamic,
-          placeholders: resolved2.helper.placeholders,
-          sourceFile: normalizePath(filePath),
-          sourceLine: lineOf4(sourceFileAst, node),
-          helperChain: [
-            ...resolved2.helper.helperChain ?? [],
-            {
-              callerVariable: targetName,
-              ...aliasKind === "assignment" ? { assignedFrom: call.expression.text, aliasKind, scopeRule: "same-file-source-order" } : {},
-              importedHelper: call.expression.text,
-              importSource: resolved2.imp?.sourceFile,
-              exportedSymbol: resolved2.imp?.exportedName ?? resolved2.helper.exportedName,
-              helperSourceFile: resolved2.helper.sourceFile,
-              helperSourceLine: resolved2.helper.sourceLine
-            }
-          ]
-        });
+  return out;
+}
+function collectImportedCalls(source, imports) {
+  const calls = [];
+  const visit = (node) => {
+    if (ts6.isCallExpression(node) && ts6.isIdentifier(node.expression) && imports.has(node.expression.text)) calls.push(node);
+    ts6.forEachChild(node, visit);
+  };
+  visit(source);
+  return calls;
+}
+async function loadWrapperSpec(repoPath, imported, cache, depth) {
+  if (!imported.sourceFile || depth > 5) return void 0;
+  const key = `${imported.sourceFile}#${imported.exportedName}`;
+  const existing = cache.get(key);
+  if (existing) return existing;
+  const pending = inspectWrapper(repoPath, imported.sourceFile, imported.exportedName, cache, depth);
+  cache.set(key, pending);
+  return pending;
+}
+async function inspectWrapper(repoPath, sourceFile, exportedName, cache, depth) {
+  const source = await readSource(path9.join(repoPath, sourceFile));
+  if (!source) return void 0;
+  const named = findFunction(source, exportedName);
+  if (!named) return void 0;
+  const direct = directSendSpec(source, sourceFile, named.name, named.fn);
+  if (direct) return direct;
+  return nestedSendSpec(repoPath, sourceFile, source, named.name, named.fn, cache, depth);
+}
+function directSendSpec(source, sourceFile, name, fn) {
+  const params = parameterNames(fn);
+  const sends = [];
+  visitFunctionBody(fn, (node) => {
+    if (ts6.isCallExpression(node) && ts6.isPropertyAccessExpression(node.expression) && node.expression.name.text === "send") sends.push(node);
+  });
+  if (sends.length !== 1) return void 0;
+  const send = sends[0];
+  const receiver = send && ts6.isPropertyAccessExpression(send.expression) && ts6.isIdentifier(send.expression.expression) ? send.expression.expression.text : void 0;
+  const object = send?.arguments[0];
+  if (!receiver || !object || !ts6.isObjectLiteralExpression(object)) return void 0;
+  const pathExpr = propertyExpression(object, "path");
+  const methodExpr = propertyExpression(object, "method");
+  const pathName = pathExpr && ts6.isIdentifier(pathExpr) ? pathExpr.text : void 0;
+  const clientIndex = params.indexOf(receiver);
+  const pathIndex = pathName ? params.indexOf(pathName) : -1;
+  if (clientIndex < 0 || pathIndex < 0) return void 0;
+  const methodName = methodExpr && ts6.isIdentifier(methodExpr) ? methodExpr.text : void 0;
+  const methodIndex = methodName ? params.indexOf(methodName) : -1;
+  return { clientIndex, pathIndex, methodIndex: methodIndex >= 0 ? methodIndex : void 0, methodLiteral: literal(methodExpr), sourceFile, sourceLine: lineOf3(source, fn), chain: [name] };
+}
+async function nestedSendSpec(repoPath, sourceFile, source, name, fn, cache, depth) {
+  const imports = await importsFor(repoPath, sourceFile, source);
+  const byLocal = new Map(imports.filter((item) => item.sourceFile).map((item) => [item.localName, item]));
+  const calls = [];
+  visitFunctionBody(fn, (node) => {
+    if (ts6.isCallExpression(node) && ts6.isIdentifier(node.expression) && byLocal.has(node.expression.text)) calls.push(node);
+  });
+  if (calls.length !== 1) return void 0;
+  const call = calls[0];
+  const imported = call && ts6.isIdentifier(call.expression) ? byLocal.get(call.expression.text) : void 0;
+  const nested = imported ? await loadWrapperSpec(repoPath, imported, cache, depth + 1) : void 0;
+  if (!call || !nested) return void 0;
+  const params = parameterNames(fn);
+  const clientIndex = mappedParameterIndex(call.arguments[nested.clientIndex], params);
+  const pathIndex = mappedParameterIndex(call.arguments[nested.pathIndex], params);
+  if (clientIndex < 0 || pathIndex < 0) return void 0;
+  const methodIndex = nested.methodIndex === void 0 ? void 0 : mappedParameterIndex(call.arguments[nested.methodIndex], params);
+  return { clientIndex, pathIndex, methodIndex: methodIndex !== void 0 && methodIndex >= 0 ? methodIndex : void 0, methodLiteral: nested.methodLiteral, sourceFile, sourceLine: lineOf3(source, fn), chain: [name, ...nested.chain] };
+}
+function wrapperCallFact(source, filePath, call, spec, serviceBindings) {
+  const client = call.arguments[spec.clientIndex];
+  if (!client || !ts6.isIdentifier(client) || !serviceBindings.has(client.text)) return void 0;
+  const pathValue = resolveCallerPath(call.arguments[spec.pathIndex], call);
+  const methodValue = spec.methodIndex === void 0 ? spec.methodLiteral : literal(call.arguments[spec.methodIndex]);
+  const method = (methodValue ?? "POST").toUpperCase();
+  const rawPath = pathValue.rawExpression;
+  const operationPathExpr = pathValue.value ? normalizeOperationPath(pathValue.value) : runtimePathExpression(rawPath);
+  return {
+    callType: "remote_action",
+    serviceVariableName: client.text,
+    method,
+    operationPathExpr,
+    payloadSummary: call.getText(source),
+    sourceFile: normalizePath(filePath),
+    sourceLine: lineOf3(source, call),
+    confidence: operationPathExpr ? 0.85 : 0.5,
+    unresolvedReason: pathValue.value ? void 0 : "dynamic_operation_path_identifier",
+    evidence: {
+      parser: "typescript_ast",
+      classifier: pathValue.value ? "imported_wrapper_literal_path" : "imported_wrapper_dynamic_path",
+      receiver: client.text,
+      wrapperFunction: spec.chain[0],
+      wrapperChain: spec.chain,
+      callerSite: { sourceFile: normalizePath(filePath), sourceLine: lineOf3(source, call) },
+      calleeSite: { sourceFile: spec.sourceFile, sourceLine: spec.sourceLine },
+      rawPathExpression: rawPath,
+      missingPathIdentifier: pathValue.value ? void 0 : rawPath,
+      odataPathIntent: pathValue.value ? classifyODataPathIntent(operationPathExpr, method) : void 0
+    }
+  };
+}
+function resolveCallerPath(expr, use) {
+  if (!expr) return { sourceKind: "missing", rawExpression: "" };
+  if (ts6.isStringLiteralLike(expr) || ts6.isNoSubstitutionTemplateLiteral(expr)) return { value: expr.text, sourceKind: "literal", rawExpression: expr.getText() };
+  if (ts6.isTemplateExpression(expr)) return { value: expr.getText().slice(1, -1), sourceKind: "template", rawExpression: expr.getText() };
+  if (ts6.isIdentifier(expr)) {
+    const initializer = constInitializer(expr.text, use);
+    if (initializer) {
+      const resolved2 = resolveCallerPath(initializer, initializer);
+      return { ...resolved2, sourceKind: "const", rawExpression: expr.text };
     }
   }
-  async function recordVariable(decl) {
-    if (!ts6.isIdentifier(decl.name) || !decl.initializer) return;
-    await recordBindingFromExpression(decl.name.text, decl.initializer, decl, "declaration");
-  }
-  async function helpersForCall(call) {
-    if (!ts6.isIdentifier(call.expression)) return [];
-    const local = localObjectHelpers.get(call.expression.text) ?? [];
-    const imported = await importedHelpers(call.expression.text);
-    return [...local.map((helper) => ({ helper })), ...imported];
+  return { sourceKind: "dynamic", rawExpression: expr.getText() };
+}
+function constInitializer(name, use) {
+  let found;
+  const source = use.getSourceFile();
+  const visit = (node) => {
+    if (node.getStart(source) >= use.getStart(source)) return;
+    if (ts6.isVariableDeclaration(node) && ts6.isIdentifier(node.name) && node.name.text === name && node.initializer && (node.parent.flags & ts6.NodeFlags.Const) !== 0) found = node.initializer;
+    ts6.forEachChild(node, visit);
+  };
+  visit(source);
+  return found;
+}
+function findFunction(source, exportedName) {
+  const localName = exportedLocalName(source, exportedName);
+  for (const statement of source.statements) {
+    if (ts6.isFunctionDeclaration(statement) && statement.name?.text === localName) return { name: exportedName, fn: statement };
+    if (!ts6.isVariableStatement(statement)) continue;
+    for (const declaration of statement.declarationList.declarations) {
+      if (ts6.isIdentifier(declaration.name) && declaration.name.text === localName && declaration.initializer && (ts6.isArrowFunction(declaration.initializer) || ts6.isFunctionExpression(declaration.initializer))) return { name: exportedName, fn: declaration.initializer };
+    }
   }
-  async function rememberObjectHelperVariable(decl) {
-    if (!ts6.isIdentifier(decl.name) || !decl.initializer) return;
-    const call = unwrapCall(decl.initializer);
-    if (!call) return;
-    const helpers = (await helpersForCall(call)).filter((row) => row.helper.returnedProperty);
-    if (helpers.length > 0) objectHelperVariables.set(decl.name.text, helpers);
+  return void 0;
+}
+function exportedLocalName(source, exportedName) {
+  for (const statement of source.statements) {
+    if (!ts6.isExportDeclaration(statement) || !statement.exportClause || !ts6.isNamedExports(statement.exportClause)) continue;
+    const match = statement.exportClause.elements.find((item) => item.name.text === exportedName);
+    if (match) return match.propertyName?.text ?? match.name.text;
   }
-  function recordObjectPropertyBinding(targetName, expr, node) {
-    const unwrapped = unwrapIdentityExpression(expr);
-    if (!ts6.isPropertyAccessExpression(unwrapped) || !ts6.isIdentifier(unwrapped.expression)) return false;
-    const helpers = objectHelperVariables.get(unwrapped.expression.text) ?? [];
-    const matches = helpers.filter((row) => row.helper.returnedProperty === unwrapped.name.text);
-    if (matches.length !== 1) return false;
-    const resolved2 = matches[0];
-    out.push({
-      variableName: targetName,
-      alias: resolved2.helper.alias,
-      aliasExpr: resolved2.helper.aliasExpr,
-      destinationExpr: resolved2.helper.destinationExpr,
-      servicePathExpr: resolved2.helper.servicePathExpr,
-      isDynamic: resolved2.helper.isDynamic,
-      placeholders: resolved2.helper.placeholders,
-      sourceFile: normalizePath(filePath),
-      sourceLine: lineOf4(sourceFileAst, node),
-      helperChain: [
-        ...resolved2.helper.helperChain ?? [],
-        {
-          callerVariable: targetName,
-          sourceVariable: unwrapped.expression.text,
-          returnedProperty: unwrapped.name.text,
-          assignedFromProperty: unwrapped.getText(sourceFileAst),
-          importSource: resolved2.imp?.sourceFile,
-          exportedSymbol: resolved2.imp?.exportedName,
-          helperSourceFile: resolved2.helper.sourceFile,
-          helperSourceLine: resolved2.helper.sourceLine
-        }
-      ]
-    });
-    return true;
+  return exportedName;
+}
+function visitFunctionBody(fn, visitor) {
+  const visit = (node) => {
+    if (node !== fn && ts6.isFunctionLike(node)) return;
+    visitor(node);
+    ts6.forEachChild(node, visit);
+  };
+  if (fn.body) visit(fn.body);
+}
+function parameterNames(fn) {
+  return fn.parameters.map((parameter) => ts6.isIdentifier(parameter.name) ? parameter.name.text : "");
+}
+function mappedParameterIndex(expr, parameters) {
+  return expr && ts6.isIdentifier(expr) ? parameters.indexOf(expr.text) : -1;
+}
+function propertyExpression(object, key) {
+  for (const property of object.properties) {
+    if (ts6.isPropertyAssignment(property) && propertyName(property.name) === key) return property.initializer;
+    if (ts6.isShorthandPropertyAssignment(property) && property.name.text === key) return property.name;
   }
-  async function recordDestructuredHelper(decl) {
-    if (!ts6.isObjectBindingPattern(decl.name) || !decl.initializer) return;
-    const call = unwrapCall(decl.initializer);
-    if (!call) return;
-    const helpers = await helpersForCall(call);
-    if (helpers.length === 0) return;
-    for (const el of decl.name.elements) {
-      if (!ts6.isIdentifier(el.name)) continue;
-      const propertyName = el.propertyName && ts6.isIdentifier(el.propertyName) ? el.propertyName.text : el.name.text;
-      const matches = helpers.filter((row) => row.helper.returnedProperty === propertyName);
-      if (matches.length !== 1) continue;
-      const resolved2 = matches[0];
-      out.push({
-        variableName: el.name.text,
-        alias: resolved2.helper.alias,
-        aliasExpr: resolved2.helper.aliasExpr,
-        destinationExpr: resolved2.helper.destinationExpr,
-        servicePathExpr: resolved2.helper.servicePathExpr,
-        isDynamic: resolved2.helper.isDynamic,
-        placeholders: resolved2.helper.placeholders,
-        sourceFile: normalizePath(filePath),
-        sourceLine: lineOf4(sourceFileAst, decl),
-        helperChain: [...resolved2.helper.helperChain ?? [], { callerVariable: el.name.text, helperFunction: call.expression.getText(sourceFileAst), returnedProperty: propertyName, importSource: resolved2.imp?.sourceFile, exportedSymbol: resolved2.imp?.exportedName, helperSourceFile: resolved2.helper.sourceFile, helperSourceLine: resolved2.helper.sourceLine }]
-      });
+  return void 0;
+}
+function propertyName(name) {
+  return ts6.isIdentifier(name) || ts6.isStringLiteralLike(name) ? name.text : void 0;
+}
+function literal(expr) {
+  return expr && (ts6.isStringLiteralLike(expr) || ts6.isNoSubstitutionTemplateLiteral(expr)) ? expr.text : void 0;
+}
+function normalizeOperationPath(value) {
+  return value.startsWith("/") ? value : `/${value}`;
+}
+function runtimePathExpression(value) {
+  return value ? `\${${value}}` : void 0;
+}
+
+// src/parsers/outbound-call-parser.ts
+function lineOf4(text, idx) {
+  return text.slice(0, idx).split("\n").length;
+}
+function entityFromExpression(expr) {
+  if (!expr) return void 0;
+  if (ts7.isIdentifier(expr) || ts7.isStringLiteral(expr) || ts7.isNoSubstitutionTemplateLiteral(expr)) return expr.text;
+  if (ts7.isPropertyAccessExpression(expr) && expr.expression.kind === ts7.SyntaxKind.ThisKeyword) return expr.name.text;
+  if (ts7.isElementAccessExpression(expr) && expr.argumentExpression && (ts7.isStringLiteral(expr.argumentExpression) || ts7.isNoSubstitutionTemplateLiteral(expr.argumentExpression))) return expr.argumentExpression.text;
+  return void 0;
+}
+function expressionName(expr) {
+  if (ts7.isIdentifier(expr)) return expr.text;
+  if (ts7.isPropertyAccessExpression(expr)) return `${expressionName(expr.expression)}.${expr.name.text}`;
+  return expr.getText();
+}
+function variableInitializers(source) {
+  const initializers = /* @__PURE__ */ new Map();
+  for (const statement of source.statements) {
+    if (!ts7.isVariableStatement(statement) || (statement.declarationList.flags & ts7.NodeFlags.Const) === 0) continue;
+    for (const declaration of statement.declarationList.declarations) {
+      if (ts7.isIdentifier(declaration.name) && declaration.initializer) initializers.set(declaration.name.text, declaration.initializer);
     }
   }
-  async function recordDestructuredAssignment(pattern, expr, node) {
-    const call = unwrapCall(expr);
-    if (!call) return;
-    const helpers = await helpersForCall(call);
-    if (helpers.length === 0) return;
-    for (const prop of pattern.properties) {
-      let propertyName;
-      let targetName;
-      if (ts6.isShorthandPropertyAssignment(prop)) {
-        propertyName = prop.name.text;
-        targetName = prop.name.text;
-      } else if (ts6.isPropertyAssignment(prop)) {
-        propertyName = ts6.isIdentifier(prop.name) || ts6.isStringLiteralLike(prop.name) ? prop.name.text : void 0;
-        targetName = ts6.isIdentifier(prop.initializer) ? prop.initializer.text : void 0;
-      }
-      if (!propertyName || !targetName) continue;
-      const matches = helpers.filter((row) => row.helper.returnedProperty === propertyName);
-      if (matches.length !== 1) continue;
-      const resolved2 = matches[0];
-      out.push({
-        variableName: targetName,
-        alias: resolved2.helper.alias,
-        aliasExpr: resolved2.helper.aliasExpr,
-        destinationExpr: resolved2.helper.destinationExpr,
-        servicePathExpr: resolved2.helper.servicePathExpr,
-        isDynamic: resolved2.helper.isDynamic,
-        placeholders: resolved2.helper.placeholders,
-        sourceFile: normalizePath(filePath),
-        sourceLine: lineOf4(sourceFileAst, node),
-        helperChain: [...resolved2.helper.helperChain ?? [], { callerVariable: targetName, assignedFrom: call.expression.getText(sourceFileAst), aliasKind: "assignment", scopeRule: "same-file-source-order", returnedProperty: propertyName, importSource: resolved2.imp?.sourceFile, exportedSymbol: resolved2.imp?.exportedName, helperSourceFile: resolved2.helper.sourceFile, helperSourceLine: resolved2.helper.sourceLine }]
-      });
-    }
+  return initializers;
+}
+function queryEntityFromAst(expr, initializers = /* @__PURE__ */ new Map()) {
+  if (ts7.isParenthesizedExpression(expr) || ts7.isAwaitExpression(expr)) return queryEntityFromAst(expr.expression, initializers);
+  if (ts7.isIdentifier(expr) && initializers.has(expr.text)) return queryEntityFromAst(initializers.get(expr.text), initializers);
+  if (ts7.isCallExpression(expr)) {
+    const name = expressionName(expr.expression);
+    if (name === "cds.run") return queryEntityFromAst(expr.arguments[0], initializers);
+    if (["SELECT.one.from", "SELECT.from", "SELECT.one", "INSERT.into", "UPSERT.into", "DELETE.from", "UPDATE.entity"].includes(name)) return entityFromExpression(expr.arguments[0]);
+    if (name === "UPDATE") return entityFromExpression(expr.arguments[0]);
+    const receiver = ts7.isPropertyAccessExpression(expr.expression) ? expr.expression.expression : void 0;
+    if (receiver) return queryEntityFromAst(receiver, initializers);
+  }
+  return void 0;
+}
+function extractQueryEntity(expr) {
+  const source = ts7.createSourceFile("query.ts", `const __query = (${expr});`, ts7.ScriptTarget.Latest, true, ts7.ScriptKind.TS);
+  const initializers = variableInitializers(source);
+  let found;
+  const visit = (node) => {
+    if (found) return;
+    if (ts7.isParenthesizedExpression(node)) found = queryEntityFromAst(node.expression, initializers);
+    ts7.forEachChild(node, visit);
+  };
+  visit(source);
+  return found;
+}
+function queryWarning(expr) {
+  if (/^\s*[`'"]/.test(expr)) return "raw_sql_or_cql_expression";
+  if (/^\s*\w+\s*$/.test(expr)) return "query_variable_without_static_initializer";
+  return "dynamic_entity_expression";
+}
+function parserEvidence(source, node, extra) {
+  return { parser: "typescript_ast", startOffset: node.getStart(source), endOffset: node.getEnd(), ...extra };
+}
+function isStringLike(expr) {
+  return Boolean(expr && (ts7.isStringLiteral(expr) || ts7.isNoSubstitutionTemplateLiteral(expr)));
+}
+function literalText(expr) {
+  if (isStringLike(expr)) return expr.text;
+  return void 0;
+}
+function objectPropertyText(object, key) {
+  const prop = object.properties.find(
+    (property) => ts7.isPropertyAssignment(property) && nameOfProperty(property.name) === key || ts7.isShorthandPropertyAssignment(property) && property.name.text === key
+  );
+  if (!prop) return void 0;
+  return ts7.isShorthandPropertyAssignment(prop) ? prop.name.text : prop.initializer.getText();
+}
+function objectPropertyIsShorthand(object, key) {
+  return object.properties.some((property) => ts7.isShorthandPropertyAssignment(property) && property.name.text === key);
+}
+function nameOfProperty(name) {
+  if (ts7.isIdentifier(name) || ts7.isStringLiteral(name) || ts7.isNumericLiteral(name)) return name.text;
+  return void 0;
+}
+var maxAliasDepth = 5;
+function safeRaw(expr) {
+  if (ts7.isStringLiteral(expr) || ts7.isNoSubstitutionTemplateLiteral(expr) || ts7.isIdentifier(expr) || ts7.isTemplateExpression(expr)) return expr.getText(expr.getSourceFile());
+  return void 0;
+}
+function placeholders2(expr) {
+  return expr.templateSpans.map((span) => span.expression.getText(expr.getSourceFile()));
+}
+function isFunctionLikeScope(node) {
+  return ts7.isFunctionLike(node) || ts7.isSourceFile(node);
+}
+function nodeContains(parent, child) {
+  const source = child.getSourceFile();
+  return child.getStart(source) >= parent.getStart(source) && child.getEnd() <= parent.getEnd();
+}
+function declarationScope(node) {
+  if (ts7.isParameter(node)) return node.parent;
+  if (ts7.isCatchClause(node.parent) && node.parent.variableDeclaration === node) return node.parent;
+  const list = node.parent;
+  const blockScoped = (list.flags & (ts7.NodeFlags.Const | ts7.NodeFlags.Let)) !== 0;
+  let current = list.parent;
+  if (!blockScoped) {
+    while (current.parent && !isFunctionLikeScope(current)) current = current.parent;
+    return current;
   }
-  function recordDestructuredClassHelper(decl) {
-    if (!ts6.isObjectBindingPattern(decl.name) || !decl.initializer) return;
-    const call = unwrapCall(decl.initializer);
-    if (!call || !ts6.isPropertyAccessExpression(call.expression)) return;
-    const target = call.expression;
-    if (target.expression.kind !== ts6.SyntaxKind.ThisKeyword) return;
-    for (const el of decl.name.elements) {
-      if (!ts6.isIdentifier(el.name)) continue;
-      const propertyName = el.propertyName && ts6.isIdentifier(el.propertyName) ? el.propertyName.text : el.name.text;
-      const helper = classHelpers.find(
-        (h) => h.helperName === target.name.text && h.propertyName === propertyName
-      );
-      if (!helper) continue;
-      out.push({
-        variableName: el.name.text,
-        ...helper.fact,
-        sourceFile: normalizePath(filePath),
-        sourceLine: lineOf4(sourceFileAst, decl),
-        helperChain: [
-          {
-            callerVariable: el.name.text,
-            className: helper.className,
-            classHelper: helper.helperName,
-            returnedProperty: helper.propertyName,
-            helperVariable: helper.variableName,
-            helperSourceFile: normalizePath(filePath),
-            helperSourceLine: helper.sourceLine
-          }
-        ]
-      });
-    }
+  while (current.parent && !ts7.isBlock(current) && !ts7.isSourceFile(current) && !ts7.isModuleBlock(current) && !ts7.isCaseBlock(current) && !isLoopInitializerScope(node, current) && !isFunctionLikeScope(current)) current = current.parent;
+  return current;
+}
+function isLoopInitializerScope(declaration, scope) {
+  const list = declaration.parent;
+  return ts7.isForStatement(scope) && scope.initializer === list || (ts7.isForInStatement(scope) || ts7.isForOfStatement(scope)) && scope.initializer === list;
+}
+function catchBindingScope(declaration) {
+  if (ts7.isParameter(declaration)) return void 0;
+  return ts7.isCatchClause(declaration.parent) && declaration.parent.variableDeclaration === declaration ? declaration.parent : void 0;
+}
+function isAccessibleDeclaration(declaration, use) {
+  const source = use.getSourceFile();
+  if (declaration.name.getStart(source) >= use.getStart(source)) return false;
+  const catchScope = catchBindingScope(declaration);
+  if (catchScope) return nodeContains(catchScope.block, use);
+  const scope = declarationScope(declaration);
+  if (ts7.isForStatement(scope) || ts7.isForInStatement(scope) || ts7.isForOfStatement(scope)) return nodeContains(scope.statement, use);
+  return ts7.isSourceFile(scope) || nodeContains(scope, use);
+}
+function resolveBinding(identifier, use) {
+  const source = use.getSourceFile();
+  let best;
+  const visit = (node) => {
+    if (ts7.isVariableDeclaration(node) && ts7.isIdentifier(node.name) && node.name.text === identifier.text && isAccessibleDeclaration(node, use)) best = node;
+    if (ts7.isParameter(node) && ts7.isIdentifier(node.name) && node.name.text === identifier.text && isAccessibleDeclaration(node, use)) best = node;
+    ts7.forEachChild(node, visit);
+  };
+  visit(source);
+  if (!best) return { immutable: false, evidence: ["binding_not_found"] };
+  const immutable = ts7.isVariableDeclaration(best) && (best.parent.flags & ts7.NodeFlags.Const) !== 0;
+  return { declaration: best, initializer: ts7.isVariableDeclaration(best) ? best.initializer : void 0, immutable, evidence: [immutable ? "lexical_const_binding_before_use" : "lexical_mutable_or_parameter_binding"] };
+}
+function resolveExpression(expr, use, policy, depth = 0, seen = /* @__PURE__ */ new Set()) {
+  if (!expr) return { status: "unknown", sourceKind: "dynamic_expression", placeholderKeys: [], evidence: ["expression_missing"] };
+  if (ts7.isStringLiteral(expr)) return { status: "static", sourceKind: "string_literal", value: expr.text, rawExpression: safeRaw(expr), placeholderKeys: [], evidence: ["string_literal"] };
+  if (ts7.isNoSubstitutionTemplateLiteral(expr)) return { status: "static", sourceKind: "no_substitution_template", value: expr.text, rawExpression: safeRaw(expr), placeholderKeys: [], evidence: ["no_substitution_template"] };
+  if (ts7.isTemplateExpression(expr)) {
+    const keys = placeholders2(expr);
+    if (policy === "operation_path") return { status: "dynamic", sourceKind: "template_with_substitutions", value: stripQuotes(expr.getText(expr.getSourceFile())), rawExpression: safeRaw(expr), placeholderKeys: keys, evidence: ["operation_path_template_placeholders_retained"] };
+    return { status: "dynamic", sourceKind: "template_with_substitutions", placeholderKeys: keys, evidence: ["template_substitutions_not_static_external_target"] };
   }
-  function arrayElementsFromExpression(expr) {
-    const unwrapped = unwrapIdentityExpression(expr);
-    if (ts6.isArrayLiteralExpression(unwrapped)) return { elements: unwrapped.elements, promiseAll: false };
-    const call = unwrapCall(expr);
-    if (!call) return void 0;
-    if (!ts6.isPropertyAccessExpression(call.expression) || call.expression.name.text !== "all" || call.expression.expression.getText(sourceFileAst) !== "Promise") return void 0;
-    const first = call.arguments[0];
-    if (!first) return void 0;
-    const container = unwrapIdentityExpression(first);
-    if (!ts6.isArrayLiteralExpression(container)) return void 0;
-    return { elements: container.elements, promiseAll: true };
+  if (ts7.isIdentifier(expr)) {
+    if (depth >= maxAliasDepth) return { status: "unknown", sourceKind: "const_alias", rawExpression: safeRaw(expr), placeholderKeys: [], evidence: ["alias_depth_exceeded"], constName: expr.text };
+    const binding = resolveBinding(expr, use);
+    if (!binding.declaration || !binding.initializer || !binding.immutable) return { status: "dynamic", sourceKind: "dynamic_expression", rawExpression: safeRaw(expr), placeholderKeys: [], evidence: binding.evidence, constName: expr.text };
+    if (seen.has(binding.declaration)) return { status: "unknown", sourceKind: "const_alias", rawExpression: safeRaw(expr), placeholderKeys: [], evidence: ["alias_cycle_detected"], constName: expr.text };
+    seen.add(binding.declaration);
+    const resolved2 = resolveExpression(binding.initializer, binding.declaration, policy, depth + 1, seen);
+    return { ...resolved2, sourceKind: "const_alias", rawExpression: safeRaw(expr), constName: expr.text, evidence: [...binding.evidence, ...resolved2.evidence] };
   }
-  async function recordArrayElementBinding(targetName, expr, node, arrayIndex, promiseAll) {
-    const before = out.length;
-    await recordBindingFromExpression(targetName, expr, node, "declaration");
-    if (out.length > before) {
-      const row = out[out.length - 1];
-      row.helperChain = [
-        ...row.helperChain ?? [],
-        { callerVariable: targetName, targetVariable: targetName, arrayIndex, promiseAll, arrayContainer: promiseAll ? "Promise.all" : "array_literal" }
-      ];
-      return;
-    }
-    const unwrapped = unwrapIdentityExpression(expr);
-    if (ts6.isIdentifier(unwrapped)) {
-      const existing = bindingForVariable(unwrapped.text);
-      if (!existing) return;
-      out.push({
-        ...existing,
-        variableName: targetName,
-        sourceLine: lineOf4(sourceFileAst, node),
-        helperChain: [
-          ...existing.helperChain ?? [],
-          { callerVariable: targetName, targetVariable: targetName, sourceVariable: unwrapped.text, aliasKind: "array-destructuring", arrayIndex, promiseAll, arrayContainer: promiseAll ? "Promise.all" : "array_literal" }
-        ]
-      });
+  return { status: "dynamic", sourceKind: "dynamic_expression", rawExpression: safeRaw(expr), placeholderKeys: [], evidence: [`unsupported_${ts7.SyntaxKind[expr.kind] ?? "expression"}`] };
+}
+function staticExpressionText(expr, initializers) {
+  if (!expr) return void 0;
+  if (isStringLike(expr)) return expr.text;
+  if (ts7.isIdentifier(expr) && initializers.has(expr.text)) return staticExpressionText(initializers.get(expr.text), initializers);
+  return void 0;
+}
+function staticPathExpression(expr, use) {
+  const resolution = resolveExpression(expr, use, "operation_path");
+  const sourceKind = resolution.sourceKind === "const_alias" ? "const" : resolution.sourceKind === "template_with_substitutions" || resolution.sourceKind === "no_substitution_template" ? "template" : resolution.status === "static" ? "literal" : "dynamic";
+  return { text: resolution.value, sourceKind, rawExpression: resolution.rawExpression, constName: resolution.constName, resolution };
+}
+function operationPathFromStatic(text) {
+  return text ? `/${stripQuotes(text).replace(/^\//, "")}` : void 0;
+}
+function staticPathCandidates(identifier, call, method) {
+  const binding = resolveBinding(identifier, call);
+  const declaration = binding.declaration;
+  if (!declaration) return void 0;
+  const source = call.getSourceFile();
+  const paths = [];
+  let hasDynamicAssignments = false;
+  const addExpr = (expr, origin) => {
+    const resolved2 = staticPathExpression(expr, origin);
+    if (resolved2.text) paths.push(operationPathFromStatic(resolved2.text) ?? resolved2.text);
+    else hasDynamicAssignments = true;
+  };
+  if (ts7.isVariableDeclaration(declaration)) addExpr(declaration.initializer, declaration);
+  const visit = (node) => {
+    if (node !== source && isFunctionLikeScope(node) && !nodeContains(node, call)) return;
+    if (node.getStart(source) >= call.getStart(source)) return;
+    if (ts7.isBinaryExpression(node) && node.operatorToken.kind === ts7.SyntaxKind.EqualsToken && ts7.isIdentifier(node.left)) {
+      const target = resolveBinding(node.left, node);
+      if (target.declaration === declaration) addExpr(node.right, node);
     }
+    ts7.forEachChild(node, visit);
+  };
+  visit(source);
+  const candidatePaths = [...new Set(paths)];
+  if (candidatePaths.length === 0) return void 0;
+  const normalizedCandidateOperations = [...new Set(candidatePaths.map((candidate) => classifyODataPathIntent(candidate, method).topLevelOperationName).filter((value) => Boolean(value)))];
+  return { candidatePaths, normalizedCandidateOperations, candidateSourceKind: "static candidates observed before call in lexical scope", candidateIdentifier: identifier.text, hasDynamicAssignments, conservativeReason: hasDynamicAssignments ? "dynamic_assignment_observed" : normalizedCandidateOperations.length > 1 ? "candidate_tie" : void 0 };
+}
+function destinationExpressionShape(expr) {
+  if (!expr) return void 0;
+  if (ts7.isIdentifier(expr)) return "identifier";
+  if (ts7.isPropertyAccessExpression(expr) || ts7.isElementAccessExpression(expr)) return "property_read";
+  if (ts7.isCallExpression(expr)) return "function_call";
+  if (ts7.isConditionalExpression(expr)) return "conditional";
+  if (ts7.isBinaryExpression(expr)) return "binary_expression";
+  if (ts7.isTemplateExpression(expr)) return "template_expression";
+  return ts7.SyntaxKind[expr.kind] ?? "expression";
+}
+function staticConditionalCandidates(expr, initializers) {
+  const resolved2 = expr && ts7.isIdentifier(expr) && initializers.has(expr.text) ? initializers.get(expr.text) : expr;
+  if (!resolved2 || !ts7.isConditionalExpression(resolved2)) return void 0;
+  const left = staticExpressionText(resolved2.whenTrue, initializers);
+  const right = staticExpressionText(resolved2.whenFalse, initializers);
+  if (!left || !right) return void 0;
+  return [.../* @__PURE__ */ new Set([left, right])];
+}
+function propertyInitializer(object, key) {
+  for (const property of object.properties) {
+    if (ts7.isPropertyAssignment(property) && nameOfProperty(property.name) === key) return property.initializer;
+    if (ts7.isShorthandPropertyAssignment(property) && property.name.text === key) return property.name;
   }
-  async function recordArrayDestructuredVariable(decl) {
-    if (!ts6.isArrayBindingPattern(decl.name) || !decl.initializer) return;
-    const container = arrayElementsFromExpression(decl.initializer);
-    if (!container) return;
-    for (let index = 0; index < decl.name.elements.length; index += 1) {
-      const el = decl.name.elements[index];
-      if (!el || ts6.isOmittedExpression(el) || ts6.isBindingElement(el) && el.dotDotDotToken) continue;
-      if (!ts6.isBindingElement(el) || !ts6.isIdentifier(el.name)) continue;
-      const source = container.elements[index];
-      if (!source || ts6.isOmittedExpression(source)) continue;
-      await recordArrayElementBinding(el.name.text, source, decl, index, container.promiseAll);
+  return void 0;
+}
+function httpMethodFromObject(object, use) {
+  const text = resolveExpression(propertyInitializer(object, "method"), use, "literal").value;
+  return text ? stripQuotes(text).toUpperCase() : void 0;
+}
+var supportedHttpMethods = /* @__PURE__ */ new Set(["GET", "POST", "PUT", "PATCH", "DELETE", "HEAD"]);
+function safeOperationName(value) {
+  if (!value || !/^[A-Za-z_$][\w$]*(?:[./][A-Za-z_$][\w$]*)*$/.test(value)) return void 0;
+  return operationPathFromStatic(value);
+}
+function hasTemplatePlaceholder(value) {
+  return /\$\{|%7B|%7D/i.test(value);
+}
+function urlTargetFromExpression(expr, use) {
+  const resolved2 = resolveExpression(expr, use, "external");
+  if (resolved2.status === "static" && resolved2.value && !hasTemplatePlaceholder(resolved2.value)) return { kind: "static_url", expression: resolved2.value, dynamic: false, sourceKind: resolved2.sourceKind };
+  if (expr) return { kind: "url_expression", dynamic: true, expression: `${resolved2.sourceKind}:${resolved2.placeholderKeys.join("|")}`, expressionShape: resolved2.sourceKind, placeholderKeys: resolved2.placeholderKeys };
+  return { kind: "unknown", dynamic: false };
+}
+function destinationTargetFromExpression(expr, use) {
+  const resolved2 = resolveExpression(expr, use, "external");
+  const text = resolved2.value;
+  if (resolved2.status === "static" && text && !hasTemplatePlaceholder(text)) return { kind: "destination", expression: text, dynamic: false, sourceKind: resolved2.sourceKind };
+  const candidates = staticConditionalCandidates(expr, /* @__PURE__ */ new Map());
+  if (candidates) return { kind: "destination", dynamic: true, expressionShape: "conditional", candidateLiterals: candidates };
+  const shape = destinationExpressionShape(expr);
+  if (shape) return { kind: "destination", dynamic: true, expressionShape: shape };
+  return void 0;
+}
+function externalHttpEvidence(node, source) {
+  const expr = node.expression;
+  const exprText = expr.getText(source);
+  if (exprText === "useOrFetchDestination") {
+    const objectArg = node.arguments[0];
+    if (objectArg && ts7.isObjectLiteralExpression(objectArg)) {
+      const destination = destinationTargetFromExpression(propertyInitializer(objectArg, "destinationName"), node);
+      return { externalTarget: destination ?? { kind: "unknown", dynamic: false }, classifier: "sap_destination_lookup", sourceCallShape: "useOrFetchDestination" };
     }
   }
-  async function recordArrayDestructuredAssignment(pattern, expr, node) {
-    const container = arrayElementsFromExpression(expr);
-    if (!container) return;
-    for (let index = 0; index < pattern.elements.length; index += 1) {
-      const el = pattern.elements[index];
-      if (!el || ts6.isOmittedExpression(el) || ts6.isSpreadElement(el) || !ts6.isIdentifier(el)) continue;
-      const source = container.elements[index];
-      if (!source || ts6.isOmittedExpression(source)) continue;
-      await recordArrayElementBinding(el.text, source, node, index, container.promiseAll);
+  if (exprText === "executeHttpRequest") {
+    const destination = destinationTargetFromExpression(node.arguments[0], node);
+    const config = node.arguments[1];
+    const method = config && ts7.isObjectLiteralExpression(config) ? httpMethodFromObject(config, node) : void 0;
+    const url = config && ts7.isObjectLiteralExpression(config) ? urlTargetFromExpression(propertyInitializer(config, "url"), node) : { kind: "unknown", dynamic: false };
+    return { method, externalTarget: destination ? { ...url, destination } : url, classifier: "sap_execute_http_request", sourceCallShape: "executeHttpRequest" };
+  }
+  if (exprText === "axios") {
+    const config = node.arguments[0];
+    if (config && ts7.isObjectLiteralExpression(config)) {
+      const method = httpMethodFromObject(config, node);
+      return { method, externalTarget: urlTargetFromExpression(propertyInitializer(config, "url"), node), classifier: "axios_config_call", sourceCallShape: "axios(config)" };
     }
+    return { externalTarget: { kind: "unknown", dynamic: false }, classifier: "axios_unknown_call", sourceCallShape: "axios(...)" };
   }
-  const events = [];
-  function collectEvents(node) {
-    if (ts6.isVariableDeclaration(node)) events.push({ pos: node.getStart(sourceFileAst), node });
-    if (ts6.isBinaryExpression(node) && node.operatorToken.kind === ts6.SyntaxKind.EqualsToken)
-      events.push({ pos: node.getStart(sourceFileAst), node });
-    ts6.forEachChild(node, collectEvents);
+  if (exprText === "fetch") {
+    const init = node.arguments[1];
+    const method = init && ts7.isObjectLiteralExpression(init) ? httpMethodFromObject(init, node) : void 0;
+    return { method, externalTarget: urlTargetFromExpression(node.arguments[0], node), classifier: "fetch_call", sourceCallShape: "fetch" };
   }
-  collectEvents(sourceFileAst);
-  events.sort((a, b) => a.pos - b.pos);
-  for (const event of events) {
-    if (ts6.isVariableDeclaration(event.node)) {
-      const decl = event.node;
-      await recordDestructuredHelper(decl);
-      await recordArrayDestructuredVariable(decl);
-      recordDestructuredClassHelper(decl);
-      await rememberObjectHelperVariable(decl);
-      if (ts6.isIdentifier(decl.name) && decl.initializer) recordObjectPropertyBinding(decl.name.text, decl.initializer, decl);
-      await recordVariable(decl);
-      recordIdentityAlias(decl);
-      if (ts6.isIdentifier(decl.name) && decl.initializer) {
-        const sourceName = transactionReceiverName(decl.initializer);
-        if (sourceName) cloneAliasBinding(decl.name.text, sourceName, "transaction", decl);
-      }
-      continue;
+  if (ts7.isPropertyAccessExpression(expr) && ["get", "post", "put", "patch", "delete", "head"].includes(expr.name.text) && expr.expression.getText(source) === "axios") {
+    return { method: expr.name.text.toUpperCase(), externalTarget: urlTargetFromExpression(node.arguments[0], node), classifier: "axios_member_call", sourceCallShape: `axios.${expr.name.text}` };
+  }
+  return void 0;
+}
+function collectServiceVariables(source) {
+  const vars = /* @__PURE__ */ new Set(["cds", "messaging", "messageClient", "eventClient"]);
+  const visit = (node) => {
+    if (ts7.isVariableDeclaration(node) && ts7.isIdentifier(node.name) && node.initializer) {
+      const text = node.initializer.getText(source);
+      if (/cds\.connect\.(to|messaging)\s*\(/.test(text)) vars.add(node.name.text);
+    }
+    ts7.forEachChild(node, visit);
+  };
+  visit(source);
+  return vars;
+}
+function receiverName(expr) {
+  if (ts7.isIdentifier(expr)) return expr.text;
+  if (ts7.isPropertyAccessExpression(expr)) return expr.getText(sourceOf(expr));
+  return void 0;
+}
+function sourceOf(node) {
+  return node.getSourceFile();
+}
+function rootReceiverName(expr) {
+  if (ts7.isIdentifier(expr)) return expr.text;
+  if (ts7.isPropertyAccessExpression(expr)) return rootReceiverName(expr.expression);
+  if (ts7.isCallExpression(expr)) return rootReceiverName(expr.expression);
+  return void 0;
+}
+function isSupportedEventReceiver(receiver, rootReceiver, serviceVariables) {
+  const candidate = rootReceiver ?? receiver;
+  if (!candidate) return false;
+  if (candidate === "cds") return true;
+  if (serviceVariables.has(candidate)) return true;
+  if (receiver && serviceVariables.has(receiver)) return true;
+  if (/^(srv|service|serviceClient|messaging|messageClient|eventClient)$/.test(candidate)) return true;
+  return false;
+}
+function collectWrapperSpecs(source) {
+  const specs = /* @__PURE__ */ new Map();
+  const serviceVariables = collectServiceVariables(source);
+  const calledNames = /* @__PURE__ */ new Set();
+  const collectCalls = (node) => {
+    if (ts7.isCallExpression(node)) {
+      if (ts7.isIdentifier(node.expression)) calledNames.add(node.expression.text);
+      if (ts7.isCallExpression(node.expression) && ts7.isIdentifier(node.expression.expression)) calledNames.add(node.expression.expression.text);
     }
-    const assignment = event.node;
-    if (ts6.isIdentifier(assignment.left)) {
-      const rhs = unwrapIdentityExpression(assignment.right);
-      if (ts6.isIdentifier(rhs)) {
-        cloneAliasBinding(assignment.left.text, rhs.text, "identity-assignment", assignment);
-        continue;
+    ts7.forEachChild(node, collectCalls);
+  };
+  collectCalls(source);
+  const scanFunction = (name, fn) => {
+    if (!calledNames.has(name)) return;
+    const params = fn.parameters.map((param) => ts7.isIdentifier(param.name) ? param.name.text : void 0);
+    const sends = [];
+    const visit = (node) => {
+      if (ts7.isCallExpression(node) && ts7.isPropertyAccessExpression(node.expression) && node.expression.name.text === "send" && ts7.isIdentifier(node.expression.expression)) {
+        const objectArg = node.arguments[0];
+        if (objectArg && ts7.isObjectLiteralExpression(objectArg)) {
+          const pathProp = propertyInitializer(objectArg, "path");
+          const methodProp = propertyInitializer(objectArg, "method");
+          const pathName = pathProp && ts7.isIdentifier(pathProp) ? pathProp.text : void 0;
+          const methodName = methodProp && ts7.isIdentifier(methodProp) ? methodProp.text : void 0;
+          const methodLiteral = resolveExpression(methodProp, node, "literal").value;
+          if (pathName) sends.push({ client: node.expression.expression.text, path: pathName, method: methodName, methodLiteral, start: node.getStart(source), end: node.getEnd() });
+        }
       }
-      if (recordObjectPropertyBinding(assignment.left.text, assignment.right, assignment)) continue;
-      await recordBindingFromExpression(assignment.left.text, assignment.right, assignment, "assignment");
-      continue;
-    }
-    const left = ts6.isParenthesizedExpression(assignment.left) ? assignment.left.expression : assignment.left;
-    if (ts6.isObjectLiteralExpression(left))
-      await recordDestructuredAssignment(left, assignment.right, assignment);
-    if (ts6.isArrayLiteralExpression(left))
-      await recordArrayDestructuredAssignment(left, assignment.right, assignment);
-  }
-  return out;
+      if (ts7.isCallExpression(node) && ts7.isIdentifier(node.expression) && specs.has(node.expression.text)) {
+        const nested = specs.get(node.expression.text);
+        const pathArg = nested ? node.arguments[nested.pathIndex] : void 0;
+        const clientArg = nested?.clientIndex === void 0 ? void 0 : node.arguments[nested.clientIndex];
+        const pathName = pathArg && ts7.isIdentifier(pathArg) ? pathArg.text : void 0;
+        const clientName = clientArg && ts7.isIdentifier(clientArg) ? clientArg.text : nested?.clientName;
+        if (nested && pathName && clientName) sends.push({ client: clientName, path: pathName, method: nested.methodName, methodLiteral: nested.methodLiteral, nestedWrapperFunction: node.expression.text, start: node.getStart(source), end: node.getEnd() });
+      }
+      ts7.forEachChild(node, visit);
+    };
+    visit(fn);
+    if (sends.length !== 1) return;
+    const found = sends[0];
+    const clientIndex = params.indexOf(found.client);
+    const pathIndex = params.indexOf(found.path);
+    const methodIndex = found.method ? params.indexOf(found.method) : -1;
+    const capturesKnownClient = serviceVariables.has(found.client) || /^(srv|service|serviceClient|client|.*Client)$/.test(found.client);
+    if (pathIndex >= 0 && (clientIndex >= 0 || capturesKnownClient)) specs.set(name, { clientIndex: clientIndex >= 0 ? clientIndex : void 0, clientName: clientIndex >= 0 ? void 0 : found.client, pathIndex, methodIndex: methodIndex >= 0 ? methodIndex : void 0, methodName: found.method, methodLiteral: found.methodLiteral, nestedWrapperFunction: found.nestedWrapperFunction, definitionLine: lineOf4(source.text, fn.getStart(source)), internalStart: found.start, internalEnd: found.end });
+  };
+  const visitTop = (node) => {
+    if (ts7.isFunctionDeclaration(node) && node.name) scanFunction(node.name.text, node);
+    if (ts7.isVariableDeclaration(node) && ts7.isIdentifier(node.name) && node.initializer && (ts7.isArrowFunction(node.initializer) || ts7.isFunctionExpression(node.initializer))) scanFunction(node.name.text, node.initializer);
+    ts7.forEachChild(node, visitTop);
+  };
+  visitTop(source);
+  return specs;
 }
-function collectClassHelpers(sf) {
-  const helpers = [];
-  for (const stmt of sf.statements) {
-    if (!ts6.isClassDeclaration(stmt) || !stmt.name) continue;
-    for (const member of stmt.members) {
-      let visit2 = function(node) {
-        if (ts6.isVariableDeclaration(node) && ts6.isIdentifier(node.name) && node.initializer) {
-          const fact = findConnectInExpression(node.initializer);
-          if (fact) bindings.set(node.name.text, fact);
-        }
-        if (ts6.isReturnStatement(node) && node.expression && ts6.isObjectLiteralExpression(node.expression)) {
-          for (const prop of node.expression.properties) {
-            if (ts6.isShorthandPropertyAssignment(prop)) {
-              const fact = bindings.get(prop.name.text);
-              if (fact)
-                helpers.push({
-                  className,
-                  helperName,
-                  propertyName: prop.name.text,
-                  variableName: prop.name.text,
-                  fact,
-                  sourceLine: lineOf4(sf, prop)
-                });
-            }
-            if (ts6.isPropertyAssignment(prop) && ts6.isIdentifier(prop.initializer)) {
-              const propertyName = ts6.isIdentifier(prop.name) || ts6.isStringLiteralLike(prop.name) ? prop.name.text : void 0;
-              const fact = propertyName ? bindings.get(prop.initializer.text) : void 0;
-              if (propertyName && fact)
-                helpers.push({
-                  className,
-                  helperName,
-                  propertyName,
-                  variableName: prop.initializer.text,
-                  fact,
-                  sourceLine: lineOf4(sf, prop)
-                });
-            }
+function classifyOutboundCallsInSource(source, filePath) {
+  const calls = [];
+  const sourceFile = normalizePath(filePath);
+  const initializers = variableInitializers(source);
+  const serviceVariables = collectServiceVariables(source);
+  const wrapperSpecs = collectWrapperSpecs(source);
+  const wrapperInternalRanges = [...wrapperSpecs.values()].map((spec) => ({ start: spec.internalStart, end: spec.internalEnd }));
+  const add = (node, fact, extra) => {
+    calls.push({ node, fact: { ...fact, sourceFile, sourceLine: lineOf4(source.text, node.getStart(source)), confidence: fact.confidence ?? 0.8, evidence: parserEvidence(source, node, extra) } });
+  };
+  const visit = (node) => {
+    if (ts7.isCallExpression(node)) {
+      if (wrapperInternalRanges.some((range) => node.getStart(source) >= range.start && node.getEnd() <= range.end)) {
+        return;
+      }
+      const expr = node.expression;
+      const exprText = expr.getText(source);
+      if (exprText === "cds.run") {
+        const arg = node.arguments[0];
+        const entity = arg ? queryEntityFromAst(arg, initializers) : void 0;
+        const payload = arg?.getText(source) ?? "";
+        add(node, { callType: "local_db_query", queryEntity: entity, payloadSummary: summarizeExpression(payload), confidence: entity ? 0.9 : 0.55, unresolvedReason: entity ? void 0 : queryWarning(payload) });
+      } else if (ts7.isPropertyAccessExpression(expr) && expr.name.text === "send" && (ts7.isIdentifier(expr.expression) || ts7.isPropertyAccessExpression(expr.expression))) {
+        const objectArg = node.arguments[0];
+        if (objectArg && ts7.isObjectLiteralExpression(objectArg)) {
+          const receiver = receiverName(expr.expression);
+          const query = objectPropertyText(objectArg, "query");
+          const method = stripQuotes(resolveExpression(propertyInitializer(objectArg, "method"), node, "literal").value ?? objectPropertyText(objectArg, "method") ?? "POST");
+          const pathExpr = propertyInitializer(objectArg, "path") ?? propertyInitializer(objectArg, "event");
+          const resolvedPath = staticPathExpression(pathExpr, node);
+          const op = pathExpr ? resolvedPath.text ?? pathExpr.getText(source) : void 0;
+          const shorthandPath = objectPropertyIsShorthand(objectArg, "path");
+          const candidateEvidence2 = pathExpr && ts7.isIdentifier(pathExpr) && !resolvedPath.text ? staticPathCandidates(pathExpr, node, method) : void 0;
+          const candidateOperationPath = candidateEvidence2 && !candidateEvidence2.hasDynamicAssignments && candidateEvidence2.normalizedCandidateOperations.length === 1 && candidateEvidence2.candidatePaths.length > 0 ? candidateEvidence2.candidatePaths[0] : void 0;
+          const operationPathExpr = operationPathFromStatic(resolvedPath.text) ?? candidateOperationPath;
+          const intent = classifyODataPathIntent(operationPathExpr, method);
+          const entityCallTypes = { entity_mutation: "remote_entity_mutation", entity_delete: "remote_entity_delete", entity_media: "remote_entity_media", entity_candidate: "remote_entity_candidate" };
+          const entityCallType = entityCallTypes[intent.kind];
+          const isODataQueryRead = method.toUpperCase() === "GET" && ["entity_query", "entity_key_read", "entity_navigation_query"].includes(intent.kind);
+          add(node, { callType: query ? "remote_query" : entityCallType ?? (isODataQueryRead ? "remote_query" : "remote_action"), serviceVariableName: receiver, method, operationPathExpr, queryEntity: query ? extractQueryEntity(query) : isODataQueryRead ? intent.entitySegment : void 0, payloadSummary: summarizeExpression(objectArg.getText(source)), confidence: op || query ? 0.8 : 0.4, unresolvedReason: !query && pathExpr && !operationPathExpr ? "dynamic_operation_path_identifier" : void 0 }, { receiver, classifier: "service_client_send_object", operationPathExpression: shorthandPath ? op : void 0, rawPathExpression: resolvedPath.rawExpression, literalPathSource: resolvedPath.text ? resolvedPath.sourceKind === "const" ? "same_scope_const_initializer" : resolvedPath.sourceKind : void 0, odataPathIntent: operationPathExpr ? intent : void 0, staticPathCandidates: candidateEvidence2, parserWarning: !query && pathExpr && !operationPathExpr ? "dynamic_operation_path_identifier" : void 0 });
+        } else {
+          const receiver = receiverName(expr.expression);
+          const rootReceiver = rootReceiverName(expr.expression);
+          const firstArg2 = resolveExpression(node.arguments[0], node, "literal");
+          const method = firstArg2.value?.toUpperCase();
+          const pathArg = node.arguments[1];
+          const supported = method && supportedHttpMethods.has(method);
+          if (receiver && supported && serviceVariables.has(rootReceiver ?? receiver)) {
+            const resolvedPath = staticPathExpression(pathArg, node);
+            const operationPathExpr = operationPathFromStatic(resolvedPath.text);
+            const intent = classifyODataPathIntent(operationPathExpr, method);
+            add(node, { callType: "remote_action", serviceVariableName: rootReceiver ?? receiver, method, operationPathExpr, payloadSummary: summarizeExpression(node.getText(source)), confidence: operationPathExpr ? 0.8 : 0.45, unresolvedReason: operationPathExpr ? void 0 : "dynamic_operation_path_identifier" }, { receiver, rootReceiver, classifier: "service_client_send_method_path", rawPathExpression: resolvedPath.rawExpression, literalPathSource: resolvedPath.text ? resolvedPath.sourceKind === "const" ? "same_scope_const_initializer" : resolvedPath.sourceKind : void 0, odataPathIntent: operationPathExpr ? intent : void 0, parserWarning: operationPathExpr ? void 0 : "dynamic_operation_path_identifier" });
+          } else if (receiver && serviceVariables.has(rootReceiver ?? receiver)) {
+            const operationPathExpr = safeOperationName(firstArg2.value);
+            add(node, { callType: "remote_action", serviceVariableName: rootReceiver ?? receiver, operationPathExpr, payloadSummary: summarizeExpression(node.getText(source)), confidence: operationPathExpr ? 0.75 : 0.35, unresolvedReason: operationPathExpr ? void 0 : "unsupported_cap_send_signature" }, { receiver, rootReceiver, classifier: operationPathExpr ? "service_client_send_operation_event" : "service_client_send_unsupported_signature", rawOperationExpression: firstArg2.rawExpression, literalOperationSource: firstArg2.value ? firstArg2.sourceKind : void 0, parserWarning: operationPathExpr ? void 0 : "unsupported_cap_send_signature" });
           }
         }
-        ts6.forEachChild(node, visit2);
-      };
-      var visit = visit2;
-      if (!ts6.isPropertyDeclaration(member) || !member.initializer) continue;
-      if (!ts6.isIdentifier(member.name)) continue;
-      const className = stmt.name.text;
-      const helperName = member.name.text;
-      const initializer = member.initializer;
-      if (!ts6.isArrowFunction(initializer) && !ts6.isFunctionExpression(initializer))
-        continue;
-      const bindings = /* @__PURE__ */ new Map();
-      visit2(initializer);
+      } else if (ts7.isCallExpression(expr) && ts7.isIdentifier(expr.expression) && wrapperSpecs.has(expr.expression.text) || ts7.isIdentifier(expr) && wrapperSpecs.has(expr.text)) {
+        const wrapperName = ts7.isIdentifier(expr) ? expr.text : ts7.isCallExpression(expr) && ts7.isIdentifier(expr.expression) ? expr.expression.text : "";
+        const wrapperArgs = ts7.isIdentifier(expr) ? node.arguments : ts7.isCallExpression(expr) ? expr.arguments : node.arguments;
+        const spec = wrapperSpecs.get(wrapperName);
+        const clientArg = spec?.clientIndex === void 0 ? void 0 : wrapperArgs[spec.clientIndex];
+        const pathArg = spec ? wrapperArgs[spec.pathIndex] : void 0;
+        const methodArg = spec?.methodIndex === void 0 ? void 0 : wrapperArgs[spec.methodIndex];
+        const receiver = clientArg && ts7.isIdentifier(clientArg) ? clientArg.text : spec?.clientName;
+        const method = stripQuotes(resolveExpression(methodArg, node, "literal").value ?? spec?.methodLiteral ?? "POST");
+        const resolvedPath = staticPathExpression(pathArg, node);
+        const operationPathExpr = operationPathFromStatic(resolvedPath.text);
+        const normalizedOperationPath = operationPathExpr ? classifyODataPathIntent(operationPathExpr, method).topLevelOperationName : void 0;
+        if (spec && receiver && operationPathExpr) {
+          add(node, { callType: "remote_action", serviceVariableName: receiver, method, operationPathExpr, payloadSummary: summarizeExpression(node.getText(source)), confidence: 0.75 }, { receiver, classifier: resolvedPath.sourceKind === "literal" ? "higher_order_wrapper_literal_path" : "higher_order_wrapper_static_path", wrapperFunction: wrapperName, nestedWrapperFunction: spec.nestedWrapperFunction, wrapperDefinitionLine: spec.definitionLine, callerLine: lineOf4(source.text, node.getStart(source)), wrapperPathSourceKind: resolvedPath.sourceKind, rawPathExpression: resolvedPath.rawExpression, normalizedOperationPath, literalPathSource: resolvedPath.sourceKind === "const" ? "same_scope_const_initializer" : `wrapper_call_${resolvedPath.sourceKind}`, literalCallerArgumentDetected: true });
+        } else if (spec && receiver) {
+          add(node, { callType: "remote_action", serviceVariableName: receiver, method, payloadSummary: summarizeExpression(node.getText(source)), confidence: 0.45, unresolvedReason: "dynamic_operation_path_identifier" }, { receiver, classifier: "higher_order_wrapper_dynamic_path", wrapperFunction: wrapperName, wrapperDefinitionLine: spec.definitionLine, callerLine: lineOf4(source.text, node.getStart(source)), wrapperPathSourceKind: resolvedPath.sourceKind, rawPathExpression: resolvedPath.rawExpression, parserWarning: "dynamic_operation_path_identifier" });
+        }
+      } else if (ts7.isPropertyAccessExpression(expr) && ["emit", "publish", "on"].includes(expr.name.text)) {
+        const receiver = receiverName(expr.expression);
+        const rootReceiver = rootReceiverName(expr.expression);
+        if (isSupportedEventReceiver(receiver, rootReceiver, serviceVariables)) {
+          const eventName = literalText(node.arguments[0]);
+          if (eventName) add(node, { callType: expr.name.text === "on" ? "async_subscribe" : "async_emit", serviceVariableName: rootReceiver ?? receiver, eventNameExpr: eventName }, { receiver, rootReceiver, classifier: expr.name.text === "on" ? "cap_service_event_subscription" : "cap_service_event_emit", receiverClassification: "cap_evidence" });
+        }
+      } else {
+        const external = externalHttpEvidence(node, source);
+        if (external) {
+          const evidenceTarget = { ...external.externalTarget, method: external.method, parserClassifier: external.classifier, sourceCallShape: external.sourceCallShape };
+          const safeTarget = externalHttpTarget({ method: external.method, evidence_json: JSON.stringify({ externalTarget: evidenceTarget }) });
+          add(node, { callType: "external_http", method: external.method, payloadSummary: void 0, confidence: 0.7, unresolvedReason: "External HTTP destination is outside indexed CAP services", externalTarget: { kind: safeTarget.kind, stableId: safeTarget.toId, label: safeTarget.label, dynamic: safeTarget.dynamic } }, { classifier: external.classifier, externalTarget: safeTarget, sourceCallShape: external.sourceCallShape });
+        }
+      }
+    }
+    ts7.forEachChild(node, visit);
+  };
+  visit(source);
+  return calls;
+}
+function containsSupportedOutboundCall(node) {
+  const source = node.getSourceFile();
+  const start = node.getFullStart();
+  const end = node.getEnd();
+  return classifyOutboundCallsInSource(source, source.fileName).some((call) => call.node.getStart(source) >= start && call.node.getEnd() <= end);
+}
+async function parseOutboundCalls(repoPath, filePath) {
+  const text = await fs7.readFile(path10.join(repoPath, filePath), "utf8");
+  const source = ts7.createSourceFile(filePath, text, ts7.ScriptTarget.Latest, true, filePath.endsWith(".ts") ? ts7.ScriptKind.TS : ts7.ScriptKind.JS);
+  const bindingNames = new Set((await parseServiceBindings(repoPath, filePath)).map((binding) => binding.variableName));
+  const importedWrappers = await parseImportedWrapperCalls(repoPath, filePath, source, bindingNames);
+  return [...classifyOutboundCallsInSource(source, filePath).map((call) => call.fact), ...importedWrappers, ...parseLocalServiceCalls(text, filePath)];
+}
+function parseLocalServiceCalls(text, filePath) {
+  const source = ts7.createSourceFile(filePath, text, ts7.ScriptTarget.Latest, true, filePath.endsWith(".ts") ? ts7.ScriptKind.TS : ts7.ScriptKind.JS);
+  const aliases = /* @__PURE__ */ new Map();
+  const calls = [];
+  const visit = (node) => {
+    if (ts7.isVariableDeclaration(node) && ts7.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 (ts7.isCallExpression(node)) {
+      const parsed = serviceOperationCall(node, 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: lineOf4(text, node.getStart(source)),
+        confidence: 0.9,
+        unresolvedReason: ["send", "emit", "publish", "on"].includes(parsed.operation) ? "transport_client_method" : void 0,
+        evidence: parserEvidence(source, node, {
+          classifier: parsed.classifier,
+          parserCallType: parsed.operation === "send" ? "transport_client_method" : parsed.classifier,
+          localServiceLookup: parsed.lookup,
+          localServiceName: parsed.service,
+          operation: parsed.operation,
+          aliasChain: parsed.chain
+        })
+      });
     }
+    ts7.forEachChild(node, visit);
+  };
+  visit(source);
+  return calls;
+}
+function serviceLookup(expr, aliases) {
+  if (ts7.isIdentifier(expr)) return aliases.get(expr.text);
+  if (ts7.isPropertyAccessExpression(expr) && expr.expression.getText() === "cds.services") return { service: expr.name.text, lookup: expr.getText(), chain: [expr.getText()] };
+  if (ts7.isElementAccessExpression(expr) && expr.expression.getText() === "cds.services" && ts7.isStringLiteral(expr.argumentExpression)) return { service: expr.argumentExpression.text, lookup: expr.getText(), chain: [expr.getText()] };
+  return void 0;
+}
+function serviceOperationCall(node, aliases) {
+  const expr = node.expression;
+  if (!ts7.isPropertyAccessExpression(expr)) return void 0;
+  const origin = serviceLookup(expr.expression, aliases);
+  if (!origin) return void 0;
+  if (expr.name.text === "send") {
+    const first = literalText(node.arguments[0]);
+    const second = literalText(node.arguments[1]);
+    const method = first?.toUpperCase();
+    if (method && ["GET", "POST", "PUT", "PATCH", "DELETE", "HEAD"].includes(method) && second) return { ...origin, operation: second.replace(/^\//, ""), classifier: "cap_service_send_method_path" };
+    if (first) return { ...origin, operation: first.replace(/^\//, ""), classifier: "cap_service_send_local_dispatch" };
   }
-  return helpers;
+  return { ...origin, operation: expr.name.text, classifier: "local_cap_service_call" };
 }
 
 // src/linker/dynamic-edge-resolver.ts
@@ -2364,9 +2562,9 @@ function generatedFromConstantName(value) {
   return void 0;
 }
 function resolved(value, raw) {
-  const literal = clean(value);
-  const generated = generatedFromConstantName(literal);
-  return { status: "resolved", operationName: generated ?? normalizedOperationName(literal), raw };
+  const literal2 = clean(value);
+  const generated = generatedFromConstantName(literal2);
+  return { status: "resolved", operationName: generated ?? normalizedOperationName(literal2), raw };
 }
 function normalizeDecoratorOperationSignal(value, raw, candidateOperation) {
   if (value) return resolved(value, raw);
@@ -2512,7 +2710,25 @@ function objectJson(value) {
 }
 function callEvidence(call, resolution, servicePath, op, destination, normalized, odataPathIntent) {
   const bindingHasDynamicExpression = Boolean(Number(call.isDynamic ?? 0));
-  return { sourceFile: call.source_file, sourceLine: call.source_line, file: call.source_file, line: call.source_line, callId: call.id, repo: call.repoName, serviceAlias: call.alias, serviceAliasExpr: call.aliasExpr, destination, servicePath, operationPath: op, rawOperationPath: normalized?.wasInvocation ? normalized.rawOperationPath : odataPathIntent?.rawPath, normalizedOperationPath: normalized?.wasInvocation ? normalized.normalizedOperationPath : void 0, invocationArgumentPlaceholderKeys: normalized?.invocationArgumentPlaceholderKeys.length ? normalized.invocationArgumentPlaceholderKeys : void 0, odataOperationNormalizationReason: normalized?.normalizationReason, odataOperationNormalizationRejectedReason: normalized?.normalizationRejectedReason, localServiceName: call.local_service_name, localServiceLookup: call.local_service_lookup, aliasChain: parseJson(call.alias_chain_json), transport: call.call_type === "local_service_call" ? "local" : void 0, targetRepo: resolution.target?.repoName, targetServicePath: resolution.target?.servicePath, targetOperationPath: resolution.target?.operationPath, targetOperation: resolution.target?.operationName, helperChain: parseJson(call.helperChainJson), candidates: resolution.candidates, candidateCount: resolution.candidates.length, resolutionStatus: resolution.status, resolutionReasons: resolution.reasons, odataPathIntent, queryStringPresent: odataPathIntent?.hasQueryString || void 0, queryPlaceholderKeys: odataPathIntent?.placeholderKeys.length ? odataPathIntent.placeholderKeys : void 0, bindingHasDynamicExpression: bindingHasDynamicExpression || void 0, outboundEvidence: objectJson(call.evidence_json), analysisCompleteness: call.unresolved_reason ? "partial" : "complete", parserWarning: call.unresolved_reason ? { code: "parser_warning", message: call.unresolved_reason } : void 0 };
+  const routingPlaceholderKeys = placeholderKeys([servicePath, destination, stringValue2(call.aliasExpr), stringValue2(call.alias)]);
+  return { sourceFile: call.source_file, sourceLine: call.source_line, file: call.source_file, line: call.source_line, callId: call.id, repo: call.repoName, serviceAlias: call.alias, serviceAliasExpr: call.aliasExpr, destination, servicePath, operationPath: op, rawOperationPath: normalized?.wasInvocation ? normalized.rawOperationPath : odataPathIntent?.rawPath, normalizedOperationPath: normalized?.wasInvocation ? normalized.normalizedOperationPath : void 0, invocationArguments: normalized?.wasInvocation ? normalized.invocationArguments : void 0, invocationArgumentPlaceholderKeys: normalized?.invocationArgumentPlaceholderKeys.length ? normalized.invocationArgumentPlaceholderKeys : void 0, routingPlaceholderKeys: routingPlaceholderKeys.length ? routingPlaceholderKeys : void 0, odataOperationNormalizationReason: normalized?.normalizationReason, odataOperationNormalizationRejectedReason: normalized?.normalizationRejectedReason, localServiceName: call.local_service_name, localServiceLookup: call.local_service_lookup, aliasChain: parseJson(call.alias_chain_json), transport: call.call_type === "local_service_call" ? "local" : void 0, targetRepo: resolution.target?.repoName, targetServicePath: resolution.target?.servicePath, targetOperationPath: resolution.target?.operationPath, targetOperation: resolution.target?.operationName, helperChain: parseJson(call.helperChainJson), candidates: resolution.candidates, candidateScores: compactCandidateScores(resolution.candidates), candidateCount: resolution.candidates.length, resolutionStatus: resolution.status, resolutionReasons: resolution.reasons, odataPathIntent, queryStringPresent: odataPathIntent?.hasQueryString || void 0, queryPlaceholderKeys: odataPathIntent?.placeholderKeys.length ? odataPathIntent.placeholderKeys : void 0, bindingHasDynamicExpression: bindingHasDynamicExpression || void 0, outboundEvidence: objectJson(call.evidence_json), analysisCompleteness: call.unresolved_reason ? "partial" : "complete", parserWarning: call.unresolved_reason ? { code: "parser_warning", message: call.unresolved_reason } : void 0 };
+}
+function compactCandidateScores(candidates) {
+  return candidates.flatMap((candidate) => {
+    const row = objectValue(candidate);
+    if (!row) return [];
+    return [{ repo: row.repoName, servicePath: row.servicePath, operationPath: row.operationPath, score: row.score, reasons: row.reasons }];
+  });
+}
+function placeholderKeys(values) {
+  const keys = values.flatMap((value) => [...(value ?? "").matchAll(/\$\{([^}]*)\}/g)].map((match) => (match[1] ?? "").trim()).filter(Boolean));
+  return [...new Set(keys)].sort();
+}
+function objectValue(value) {
+  return value && typeof value === "object" && !Array.isArray(value) ? value : void 0;
+}
+function stringValue2(value) {
+  return typeof value === "string" ? value : void 0;
 }
 function linkImplementations(db, workspaceId, generation) {
   const operations = db.prepare(`SELECT o.id operationId,o.operation_path operationPath,o.operation_name operationName,o.provenance provenance,o.base_operation_id baseOperationId,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);
@@ -2789,6 +3005,112 @@ function normalizedOperation(value) {
   return value.startsWith("/") ? value.slice(1) : value;
 }
 
+// src/trace/implementation-hints.ts
+function parseImplementationHint(value) {
+  const hint = {};
+  for (const part of value.split(",")) {
+    const separator = part.indexOf("=");
+    if (separator <= 0 || separator === part.length - 1) throw new Error(`Invalid implementation hint field: ${part}`);
+    assignHintField(hint, part.slice(0, separator).trim(), part.slice(separator + 1).trim());
+  }
+  if (!hint.implementationRepo) throw new Error("Scoped implementation hint requires an implementation repo selection");
+  return { ...hint, implementationRepo: hint.implementationRepo };
+}
+function selectImplementation(rawEvidence, hints, legacyRepo) {
+  const evidence = asEvidence(rawEvidence);
+  const scoped = hints ?? [];
+  const matchingHints = scoped.filter((hint2) => hintMatchesEdge(hint2, evidence));
+  if (matchingHints.length === 0) {
+    if (legacyRepo) return selectCandidate(evidence, legacyHint(legacyRepo), "implementation_repo_hint");
+    const reason = scoped.length > 0 ? "no_scoped_hint_matched_edge" : "no_implementation_hint_supplied";
+    return { blocksAutomatic: false, evidence: { status: "not_matched", reason, strategy: "scoped_implementation_hint" } };
+  }
+  if (matchingHints.length > 1) {
+    return {
+      blocksAutomatic: true,
+      evidence: {
+        status: "tied",
+        reason: "multiple_scoped_hints_matched_edge",
+        strategy: "scoped_implementation_hint",
+        matchedHints: matchingHints,
+        candidateCount: matchingHints.length
+      }
+    };
+  }
+  const hint = matchingHints[0];
+  return hint ? selectCandidate(evidence, hint, "scoped_implementation_hint") : { blocksAutomatic: false, evidence: { status: "not_matched" } };
+}
+function implementationHintDiagnostic(selection) {
+  if (!selection.blocksAutomatic || selection.methodId) return void 0;
+  return {
+    severity: "warning",
+    code: "implementation_hint_mismatch",
+    message: "Implementation hint did not select exactly one viable candidate",
+    hintStatus: selection.evidence.status,
+    candidateCount: selection.evidence.candidateCount,
+    implementationSelection: selection.evidence
+  };
+}
+function assignHintField(hint, key, value) {
+  if (key === "service" || key === "servicePath") hint.servicePath = value;
+  else if (key === "operation" || key === "operationPath") hint.operationPath = value;
+  else if (key === "package" || key === "packageName") hint.packageName = value;
+  else if (key === "repository" || key === "repositoryName") hint.repositoryName = value;
+  else if (key === "family" || key === "candidateFamily") hint.candidateFamily = value;
+  else if (key === "repo" || key === "implementationRepo" || key === "select") hint.implementationRepo = value;
+  else throw new Error(`Unknown implementation hint field: ${key}`);
+}
+function selectCandidate(evidence, hint, strategy) {
+  const matches2 = (evidence.candidates ?? []).filter((candidate) => candidate.accepted && candidateMatchesRepo(candidate, hint.implementationRepo));
+  const selected = matches2.length === 1 ? matches2[0] : void 0;
+  if (!selected || selected.methodId === void 0) {
+    return {
+      blocksAutomatic: true,
+      evidence: {
+        status: matches2.length > 1 ? "tied" : "not_matched",
+        reason: matches2.length > 1 ? "hint_matched_multiple_candidates" : "hint_matched_zero_candidates",
+        strategy,
+        matchedHint: hint,
+        selectedRepo: hint.implementationRepo,
+        candidateCount: matches2.length
+      }
+    };
+  }
+  return {
+    methodId: String(selected.methodId),
+    blocksAutomatic: false,
+    evidence: {
+      status: "selected",
+      guided: true,
+      strategy,
+      matchedHint: hint,
+      selectedRepo: hint.implementationRepo,
+      selectedMethodId: selected.methodId,
+      ambiguityReason: evidence.ambiguityReasons?.[0]
+    }
+  };
+}
+function hintMatchesEdge(hint, evidence) {
+  const model = evidence.modelPackage ?? evidence.candidates?.[0]?.modelPackage;
+  const familyNames = /* @__PURE__ */ new Set([
+    ...(evidence.candidateFamilies ?? []).flatMap((family) => family.packageName ? [family.packageName] : []),
+    ...(evidence.candidates ?? []).flatMap((candidate) => candidate.handlerPackage?.packageName ? [candidate.handlerPackage.packageName] : [])
+  ]);
+  return matches(hint.servicePath, evidence.servicePath ?? evidence.candidates?.[0]?.servicePath) && matches(hint.operationPath, evidence.operationPath ?? evidence.candidates?.[0]?.operationPath) && matches(hint.packageName, model?.packageName) && matches(hint.repositoryName, model?.name) && (!hint.candidateFamily || familyNames.has(hint.candidateFamily));
+}
+function candidateMatchesRepo(candidate, value) {
+  return candidate.handlerPackage?.name === value || candidate.handlerPackage?.packageName === value || candidate.sourceFile?.startsWith(value) === true;
+}
+function matches(expected, actual) {
+  return expected === void 0 || expected === actual;
+}
+function legacyHint(implementationRepo) {
+  return { implementationRepo };
+}
+function asEvidence(value) {
+  return value;
+}
+
 // src/trace/evidence.ts
 function baseTraceEvidence(row, call, persistedEvidence, contextualEvidence) {
   const evidence = { ...persistedEvidence, ...contextualEvidence ?? {} };
@@ -2841,20 +3163,20 @@ function runtimeVariableDiagnostic(edges) {
 }
 function edgeTarget(row, evidence) {
   const effective = parseObject(evidence.effectiveResolution);
-  const targetServicePath = stringValue2(effective.targetServicePath ?? evidence.targetServicePath);
-  const targetOperationPath = stringValue2(effective.targetOperationPath ?? evidence.targetOperationPath);
+  const targetServicePath = stringValue3(effective.targetServicePath ?? evidence.targetServicePath);
+  const targetOperationPath = stringValue3(effective.targetOperationPath ?? evidence.targetOperationPath);
   if (targetServicePath && targetOperationPath) return `${targetServicePath}${targetOperationPath}`;
   const runtimeCandidate = evidence.runtimeResolvedCandidate;
   if (runtimeCandidate?.servicePath && runtimeCandidate.operationPath) return `${runtimeCandidate.servicePath}${runtimeCandidate.operationPath}`;
-  const servicePath = stringValue2(evidence.servicePath);
-  const operationPath = stringValue2(evidence.operationPath);
-  const targetOperation = stringValue2(evidence.targetOperation);
-  const targetRepo = stringValue2(evidence.targetRepo) ?? "";
+  const servicePath = stringValue3(evidence.servicePath);
+  const operationPath = stringValue3(evidence.operationPath);
+  const targetOperation = stringValue3(evidence.targetOperation);
+  const targetRepo = stringValue3(evidence.targetRepo) ?? "";
   if (row.edge_type === "HANDLER_RUNS_DB_QUERY") return `Entity: ${row.to_id || "unknown"}`;
-  if (row.edge_type === "HANDLER_RUNS_REMOTE_QUERY") return stringValue2(evidence.remoteQueryTarget) ?? `Remote query: ${row.to_id || "unknown"}`;
+  if (row.edge_type === "HANDLER_RUNS_REMOTE_QUERY") return stringValue3(evidence.remoteQueryTarget) ?? `Remote query: ${row.to_id || "unknown"}`;
   if (row.edge_type === "HANDLER_CALLS_EXTERNAL_HTTP") {
     const target = parseObject(evidence.externalTarget);
-    return stringValue2(target.label) ?? `External endpoint: ${row.to_id || "unknown"}`;
+    return stringValue3(target.label) ?? `External endpoint: ${row.to_id || "unknown"}`;
   }
   if (servicePath && operationPath) return `${servicePath}${operationPath}`;
   return targetOperation ? `${targetRepo}:${targetOperation}` : row.to_id;
@@ -2893,10 +3215,12 @@ function withEffectiveResolution(evidence, row, unresolvedReason, resolution) {
   return { ...rest, effectiveResolution: current, linker: { status: current.status, confidence: current.confidence, reason: unresolvedReason, edgeType: current.edgeType } };
 }
 function resolveRuntimeOperation(db, evidence, workspaceId) {
-  const servicePath = stringValue2(evidence.servicePath);
-  const operationPath = stringValue2(evidence.normalizedOperationPath ?? evidence.operationPath);
-  const alias = stringValue2(evidence.serviceAliasExpr ?? evidence.serviceAlias);
-  const destination = stringValue2(evidence.destination);
+  const servicePath = stringValue3(evidence.servicePath);
+  const rawOperationPath = stringValue3(evidence.operationPath);
+  const normalized = normalizeODataOperationInvocationPath(rawOperationPath);
+  const operationPath = normalized?.wasInvocation ? normalized.normalizedOperationPath : stringValue3(evidence.normalizedOperationPath) ?? rawOperationPath;
+  const alias = stringValue3(evidence.serviceAliasExpr ?? evidence.serviceAlias);
+  const destination = stringValue3(evidence.destination);
   return resolveOperation(db, { servicePath, operationPath, alias, destination, hasExplicitOverride: true, isDynamic: true }, workspaceId);
 }
 function evidenceWithRuntimeVariables(evidence, vars) {
@@ -2911,7 +3235,7 @@ function evidenceWithRuntimeVariables(evidence, vars) {
 function runtimeSubstitutions(evidence, vars) {
   const substitutions = {};
   for (const key of ["servicePath", "operationPath", "serviceAliasExpr", "serviceAlias", "destination"]) {
-    const substitution = substituteVariables(stringValue2(evidence[key]), vars);
+    const substitution = substituteVariables(stringValue3(evidence[key]), vars);
     if (substitution.placeholders.length > 0) substitutions[key] = substitution;
   }
   return substitutions;
@@ -2933,7 +3257,7 @@ function runtimeUnresolvedReason(resolution) {
 function parseObject(value) {
   return value && typeof value === "object" && !Array.isArray(value) ? value : {};
 }
-function stringValue2(value) {
+function stringValue3(value) {
   return typeof value === "string" ? value : void 0;
 }
 
@@ -2945,7 +3269,7 @@ function normalizeOperation(value) {
 function positiveDepth(value) {
   return Number.isFinite(value) && value > 0 ? Math.floor(value) : 25;
 }
-function operationStartScope(db, repoId, start, implementationRepo) {
+function operationStartScope(db, repoId, start, hintOptions) {
   const requested = normalizeOperation(start.operationPath ?? start.operation);
   if (!requested) return void 0;
   const rows2 = db.prepare(`SELECT o.id operationId,o.operation_name operationName,o.operation_path operationPath,s.service_path servicePath,r.id repoId,r.name repoName
@@ -2961,14 +3285,16 @@ function operationStartScope(db, repoId, start, implementationRepo) {
   const operationId = String(rows2[0]?.operationId);
   const impl = implementationScope(db, operationId);
   if (impl.edge?.status === "resolved" && impl.files.size > 0) return { files: impl.files, symbols: impl.symbolId ? /* @__PURE__ */ new Set([impl.symbolId]) : void 0, operationId, diagnostics: [] };
-  const hinted = implementationMethodIdFromHint(impl.edge, implementationRepo);
+  const hinted = implementationMethodIdFromHint(impl.edge, hintOptions);
   if (hinted.methodId) {
     const hintedScope = handlerScope(db, hinted.methodId);
     if (hintedScope?.files.size) return { files: hintedScope.files, symbols: hintedScope.symbolId ? /* @__PURE__ */ new Set([hintedScope.symbolId]) : void 0, operationId, diagnostics: [] };
   }
   if (impl.edge) {
     const evidence = parseEvidence(impl.edge.evidence_json);
-    return { operationId, diagnostics: [{ severity: "warning", code: impl.edge.status === "ambiguous" ? "trace_start_ambiguous" : "trace_start_implementation_unresolved", message: `Indexed operation matched but implementation edge is ${String(impl.edge.status ?? "unresolved")}`, resolutionStage: "implementation", resolutionStatus: impl.edge.status === "ambiguous" ? "ambiguous_implementation" : "rejected_implementation", implementationEdgeId: impl.edge.id, implementationStatus: impl.edge.status, implementationAmbiguityReasons: evidence.ambiguityReasons, candidates: evidence.candidates }] };
+    const hintDiagnostic = implementationHintDiagnostic(hinted);
+    const diagnostics = [{ severity: "warning", code: impl.edge.status === "ambiguous" ? "trace_start_ambiguous" : "trace_start_implementation_unresolved", message: `Indexed operation matched but implementation edge is ${String(impl.edge.status ?? "unresolved")}`, resolutionStage: "implementation", resolutionStatus: impl.edge.status === "ambiguous" ? "ambiguous_implementation" : "rejected_implementation", implementationEdgeId: impl.edge.id, implementationStatus: impl.edge.status, implementationAmbiguityReasons: evidence.ambiguityReasons, candidates: evidence.candidates }];
+    return { operationId, diagnostics: hintDiagnostic ? [hintDiagnostic, ...diagnostics] : diagnostics };
   }
   return { operationId, diagnostics: [{ severity: "warning", code: "trace_start_implementation_unresolved", message: "Indexed operation matched but no implementation candidate exists", resolutionStage: "implementation", resolutionStatus: "operation_without_implementation" }] };
 }
@@ -3012,12 +3338,12 @@ function sourceFilesForStart(db, repoId, start) {
   }
   return void 0;
 }
-function startScope(db, start, implementationRepo) {
+function startScope(db, start, hintOptions) {
   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 operationScope = operationStartScope(db, repo?.id, start, implementationRepo);
+  const operationScope = operationStartScope(db, repo?.id, start, hintOptions);
   const terminalOperationScope = operationScope && !operationScope.files && (operationScope.diagnostics ?? []).some((d) => d.resolutionStage === "operation" || d.resolutionStage === "implementation");
   const sourceScope = operationScope?.files || terminalOperationScope ? operationScope : sourceFilesForStart(db, repo?.id, start);
   const sourceFiles = sourceScope?.files;
@@ -3064,27 +3390,15 @@ function implementationScope(db, operationId) {
   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 implementationMethodIdFromHint(edge, implementationRepo) {
-  if (!edge || edge.status !== "ambiguous" || !implementationRepo) return { evidence: { status: "not_applicable" } };
-  const evidence = parseEvidence(edge.evidence_json);
-  const matches = (evidence.candidates ?? []).filter((item) => item.accepted && (item.handlerPackage?.name === implementationRepo || item.handlerPackage?.packageName === implementationRepo || item.sourceFile?.startsWith(implementationRepo)));
-  if (matches.length !== 1 || matches[0]?.methodId === void 0) return { evidence: { status: matches.length > 1 ? "tied" : "not_matched", strategy: "implementation_repo_hint", selectedRepo: implementationRepo, candidateCount: matches.length } };
-  return {
-    methodId: String(matches[0].methodId),
-    evidence: {
-      status: "selected",
-      guided: true,
-      strategy: "implementation_repo_hint",
-      selectedRepo: implementationRepo,
-      selectedMethodId: matches[0].methodId,
-      ambiguityReason: evidence.ambiguityReasons?.[0]
-    }
-  };
+function implementationMethodIdFromHint(edge, options) {
+  if (!edge || edge.status !== "ambiguous") return { blocksAutomatic: false, evidence: { status: "not_applicable" } };
+  return selectImplementation(parseEvidence(edge.evidence_json), options.implementationHints, options.implementationRepo);
 }
-function contextImplementationMethodId(edge, callerRepoId, remoteEvidence = {}, implementationRepo) {
-  const hinted = implementationMethodIdFromHint(edge, implementationRepo);
+function contextImplementationMethodId(edge, callerRepoId, remoteEvidence, hintOptions) {
+  const hinted = implementationMethodIdFromHint(edge, hintOptions);
   if (hinted.methodId) return hinted;
-  if (!edge || edge.status !== "ambiguous" || callerRepoId === void 0) return { evidence: { status: "not_applicable" } };
+  if (hinted.blocksAutomatic) return hinted;
+  if (!edge || edge.status !== "ambiguous" || callerRepoId === void 0) return hinted;
   const evidence = JSON.parse(String(edge.evidence_json || "{}"));
   const scores = (evidence.candidates ?? []).filter((item) => item.accepted).map((item) => {
     const reasons = [];
@@ -3103,10 +3417,10 @@ function contextImplementationMethodId(edge, callerRepoId, remoteEvidence = {},
     }
     return { methodId: item.methodId, score, reasons, handlerPackage: item.handlerPackage, applicationPackage: item.applicationPackage };
   }).sort((a, b) => b.score - a.score);
-  if (scores.length === 0) return { evidence: { status: "not_applicable", candidateScores: [] } };
+  if (scores.length === 0) return { blocksAutomatic: false, evidence: { status: "not_applicable", candidateScores: [] } };
   const [first, second] = scores;
-  if (first && first.methodId !== void 0 && first.score > 0 && (!second || first.score > second.score)) return { methodId: String(first.methodId), evidence: { status: "selected", selectedMethodId: first.methodId, candidateScores: scores } };
-  return { evidence: { status: "tied", tieReason: scores.length > 1 ? "duplicate_helper_implementation_candidates" : "no_unique_materially_stronger_candidate", candidateScores: scores } };
+  if (first && first.methodId !== void 0 && first.score > 0 && (!second || first.score > second.score)) return { methodId: String(first.methodId), blocksAutomatic: false, evidence: { status: "selected", selectedMethodId: first.methodId, candidateScores: scores } };
+  return { blocksAutomatic: false, evidence: hinted.evidence.reason === "no_scoped_hint_matched_edge" ? hinted.evidence : { status: "tied", tieReason: scores.length > 1 ? "duplicate_helper_implementation_candidates" : "no_unique_materially_stronger_candidate", candidateScores: scores } };
 }
 function handlerScope(db, methodId) {
   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(methodId);
@@ -3204,18 +3518,22 @@ function contextForSymbolCall(db, symbolCall, callerBindings) {
   const next = /* @__PURE__ */ new Map();
   if (callerBindings.size === 0) return next;
   const callEvidence2 = parseEvidence(symbolCall.evidence_json);
-  const callee = db.prepare("SELECT evidence_json evidenceJson FROM symbols WHERE id=?").get(symbolCall.callee_symbol_id);
+  const callee = db.prepare("SELECT evidence_json evidenceJson,source_file sourceFile,start_line startLine FROM symbols WHERE id=?").get(symbolCall.callee_symbol_id);
   const calleeEvidence = parseEvidence(callee?.evidenceJson);
   const params = Array.isArray(calleeEvidence.parameters) ? calleeEvidence.parameters.filter((item) => typeof item === "string") : [];
   const parameterBindings = Array.isArray(calleeEvidence.parameterBindings) ? calleeEvidence.parameterBindings.filter((item) => Boolean(item && typeof item === "object" && !Array.isArray(item))) : [];
   const parameterPropertyAliases = Array.isArray(calleeEvidence.parameterPropertyAliases) ? calleeEvidence.parameterPropertyAliases.filter((item) => Boolean(item && typeof item === "object" && !Array.isArray(item))) : [];
   const args = Array.isArray(callEvidence2.callArguments) ? callEvidence2.callArguments : [];
+  const provenance = {
+    callerSite: { sourceFile: String(symbolCall.source_file ?? ""), sourceLine: Number(symbolCall.source_line ?? 0) },
+    calleeSite: { sourceFile: callee?.sourceFile, sourceLine: callee?.startLine }
+  };
   args.forEach((arg, index) => {
     const paramBinding = parameterBindings.find((binding) => binding.index === index);
     const param = paramBinding?.kind === "identifier" && typeof paramBinding.name === "string" ? paramBinding.name : params[index];
     if (arg.kind === "identifier" && typeof arg.name === "string") {
       const binding = callerBindings.get(arg.name);
-      if (binding && param) next.set(param, { ...binding, source: "local_symbol_argument", callerArgument: arg.name, calleeParameter: param, calleeReceiver: param });
+      if (binding && param) next.set(param, { ...binding, ...provenance, source: "local_symbol_argument", callerArgument: arg.name, calleeParameter: param, calleeReceiver: param });
     }
     if (arg.kind === "object_literal" && Array.isArray(arg.properties)) {
       for (const prop of arg.properties) {
@@ -3223,15 +3541,23 @@ function contextForSymbolCall(db, symbolCall, callerBindings) {
         const binding = callerBindings.get(prop.argument);
         if (!binding) continue;
         const destructured = paramBinding?.kind === "object_pattern" && Array.isArray(paramBinding.properties) ? paramBinding.properties.find((item) => item.property === prop.property && typeof item.local === "string") : void 0;
-        if (destructured && typeof destructured.local === "string") next.set(destructured.local, { ...binding, source: "local_symbol_destructured_object_argument", callerProperty: prop.property, callerArgument: prop.argument, calleeParameter: String(index), calleeReceiver: destructured.local });
+        if (destructured && typeof destructured.local === "string") next.set(destructured.local, { ...binding, ...provenance, source: "local_symbol_destructured_object_argument", callerProperty: prop.property, callerArgument: prop.argument, calleeParameter: String(index), calleeReceiver: destructured.local });
         else if (param) {
-          next.set(`${param}.${prop.property}`, { ...binding, source: "local_symbol_object_argument", callerProperty: prop.property, callerArgument: prop.argument, calleeParameter: param, calleeReceiver: `${param}.${prop.property}` });
+          next.set(`${param}.${prop.property}`, { ...binding, ...provenance, source: "local_symbol_object_argument", callerProperty: prop.property, callerArgument: prop.argument, calleeParameter: param, calleeReceiver: `${param}.${prop.property}` });
           for (const alias of parameterPropertyAliases) {
-            if (alias.parameter === param && alias.property === prop.property && typeof alias.local === "string") next.set(alias.local, { ...binding, source: "local_symbol_object_parameter_destructure", callerProperty: prop.property, callerArgument: prop.argument, calleeParameter: param, calleeObjectProperty: `${param}.${prop.property}`, calleeReceiver: alias.local, calleeLocalDestructuredIdentifier: alias.local, parameterPropertyAliasKind: alias.kind, parameterPropertyAliasLine: alias.line });
+            if (alias.parameter === param && alias.property === prop.property && typeof alias.local === "string") next.set(alias.local, { ...binding, ...provenance, source: "local_symbol_object_parameter_destructure", callerProperty: prop.property, callerArgument: prop.argument, calleeParameter: param, calleeObjectProperty: `${param}.${prop.property}`, calleeReceiver: alias.local, calleeLocalDestructuredIdentifier: alias.local, parameterPropertyAliasKind: alias.kind, parameterPropertyAliasLine: alias.line });
           }
         }
       }
     }
+    if (arg.kind === "array_literal" && Array.isArray(arg.elements) && paramBinding?.kind === "array_pattern" && Array.isArray(paramBinding.elements)) {
+      for (const element of arg.elements) {
+        const target = paramBinding.elements.find((item) => item.index === element.index);
+        if (element.kind !== "identifier" || typeof element.name !== "string" || typeof target?.local !== "string") continue;
+        const binding = callerBindings.get(element.name);
+        if (binding) next.set(target.local, { ...binding, ...provenance, source: "local_symbol_destructured_array_argument", callerArgument: element.name, calleeParameter: String(index), calleeReceiver: target.local });
+      }
+    }
   });
   return next;
 }
@@ -3242,7 +3568,7 @@ function contextualRuntimeResolution(db, call, binding, workspaceId, persistedRo
   const servicePath = binding.effectiveServicePath ?? binding.servicePathExpr ?? binding.requireServicePath;
   const destination = binding.effectiveDestination ?? binding.destinationExpr ?? binding.requireDestination;
   const resolution = resolveOperation(db, { servicePath, operationPath: op, alias: binding.aliasExpr ?? binding.alias, destination, hasExplicitOverride: true, isDynamic: false }, workspaceId);
-  const evidence = { contextualServiceBindingAttempted: true, contextualBinding: { source: binding.source, callerArgument: binding.callerArgument, callerProperty: binding.callerProperty, calleeParameter: binding.calleeParameter, calleeReceiver: binding.calleeReceiver, bindingSourceFile: binding.sourceFile, bindingSourceLine: binding.sourceLine, alias: binding.alias, aliasExpr: binding.aliasExpr, requireServicePath: binding.requireServicePath, requireDestination: binding.requireDestination, effectiveServicePath: binding.effectiveServicePath, effectiveDestination: binding.effectiveDestination }, operationPath: op, rawOperationPath: normalized?.rawOperationPath, normalizedOperationPath: normalized?.wasInvocation ? normalized.normalizedOperationPath : void 0, invocationArgumentPlaceholderKeys: normalized?.invocationArgumentPlaceholderKeys.length ? normalized.invocationArgumentPlaceholderKeys : void 0, servicePath, serviceAlias: binding.alias, serviceAliasExpr: binding.aliasExpr, destination, requireServicePath: binding.requireServicePath, requireDestination: binding.requireDestination, effectiveServicePath: binding.effectiveServicePath, effectiveDestination: binding.effectiveDestination, contextualResolutionStatus: resolution.status, contextualCandidateCount: resolution.candidates.length, candidates: resolution.candidates, contextualResolutionReasons: resolution.reasons, resolutionReasons: resolution.reasons };
+  const evidence = { contextualServiceBindingAttempted: true, contextualBinding: { source: binding.source, callerArgument: binding.callerArgument, callerProperty: binding.callerProperty, calleeParameter: binding.calleeParameter, calleeReceiver: binding.calleeReceiver, callerSite: binding.callerSite, calleeSite: binding.calleeSite, bindingSourceFile: binding.sourceFile, bindingSourceLine: binding.sourceLine, alias: binding.alias, aliasExpr: binding.aliasExpr, requireServicePath: binding.requireServicePath, requireDestination: binding.requireDestination, effectiveServicePath: binding.effectiveServicePath, effectiveDestination: binding.effectiveDestination }, operationPath: op, rawOperationPath: normalized?.rawOperationPath, normalizedOperationPath: normalized?.wasInvocation ? normalized.normalizedOperationPath : void 0, invocationArgumentPlaceholderKeys: normalized?.invocationArgumentPlaceholderKeys.length ? normalized.invocationArgumentPlaceholderKeys : void 0, servicePath, serviceAlias: binding.alias, serviceAliasExpr: binding.aliasExpr, destination, requireServicePath: binding.requireServicePath, requireDestination: binding.requireDestination, effectiveServicePath: binding.effectiveServicePath, effectiveDestination: binding.effectiveDestination, contextualResolutionStatus: resolution.status, contextualCandidateCount: resolution.candidates.length, candidates: resolution.candidates, contextualResolutionReasons: resolution.reasons, resolutionReasons: resolution.reasons };
   if (!resolution.target) return { evidence, unresolvedReason: resolution.status === "ambiguous" ? "Ambiguous contextual operation candidates" : resolution.status === "dynamic" ? `Dynamic contextual target is missing runtime variables: ${resolution.reasons.join(", ")}` : "No contextual operation candidate matched" };
   const resolvedEvidence = { ...evidence, contextualServiceBindingSelected: true, targetRepo: resolution.target.repoName, targetServicePath: resolution.target.servicePath, targetOperationPath: resolution.target.operationPath, targetOperation: resolution.target.operationName };
   const persistedResolved = persistedRows.find((item) => item.status === "resolved");
@@ -3250,7 +3576,8 @@ function contextualRuntimeResolution(db, call, binding, workspaceId, persistedRo
   return { row: { id: -Number(call.id), edge_type: "REMOTE_CALL_RESOLVES_TO_OPERATION", from_id: String(call.id), to_kind: "operation", to_id: String(resolution.target.operationId), confidence: resolution.target.score, evidence_json: JSON.stringify(resolvedEvidence), status: "resolved" }, evidence: resolvedEvidence, unresolvedReason: void 0 };
 }
 function trace(db, start, options) {
-  const scope = startScope(db, start, options.implementationRepo);
+  const hintOptions = { implementationRepo: options.implementationRepo, implementationHints: options.implementationHints };
+  const scope = startScope(db, start, hintOptions);
   const diagnostics = db.prepare(
     "SELECT severity,code,message,source_file sourceFile,source_line sourceLine FROM diagnostics WHERE (? IS NULL OR repo_id=?)"
   ).all(scope.repo?.id, scope.repo?.id);
@@ -3273,7 +3600,7 @@ function trace(db, start, options) {
     const op = operationNode(db, scope.startOperationId);
     const impl = implementationScope(db, scope.startOperationId);
     if (op) nodes.set(String(op.id), op);
-    const startSelection = implementationMethodIdFromHint(impl.edge, options.implementationRepo);
+    const startSelection = implementationMethodIdFromHint(impl.edge, hintOptions);
     if (impl.edge && (impl.edge.status === "resolved" || startSelection.methodId)) {
       const selectedMethodId = impl.edge.status === "resolved" ? impl.edge.to_id : startSelection.methodId;
       const implEvidence = { ...parseEvidence(impl.edge.evidence_json), startResolution: { strategy: "indexed_operation_graph", matchedOperationId: scope.startOperationId, implementationEdgeId: impl.edge.id, implementationStatus: impl.edge.status, selectedHandlerMethodId: selectedMethodId }, implementationSelection: startSelection.methodId ? startSelection.evidence : void 0 };
@@ -3360,10 +3687,12 @@ function trace(db, start, options) {
         });
         if (effectiveRow.to_kind === "operation") {
           const implementation = implementationScope(db, effectiveRow.to_id);
-          const contextSelection = contextImplementationMethodId(implementation.edge, current.repoId, evidence, options.implementationRepo);
+          const contextSelection = contextImplementationMethodId(implementation.edge, current.repoId, evidence, hintOptions);
           const contextMethodId = contextSelection.methodId;
           const contextNode = contextMethodId ? handlerMethodNode(db, contextMethodId) : void 0;
           if (implementation.edge) {
+            const hintDiagnostic = implementationHintDiagnostic(contextSelection);
+            if (hintDiagnostic) diagnostics.unshift(hintDiagnostic);
             const implEvidence = JSON.parse(String(implementation.edge.evidence_json || "{}"));
             const handlerNode = implementation.edge.status === "resolved" ? handlerMethodNode(db, implementation.edge.to_id) : contextNode;
             const implTo = handlerNode?.label ? String(handlerNode.label) : `${implementation.edge.to_kind}:${implementation.edge.to_id}`;
@@ -3373,7 +3702,7 @@ function trace(db, start, options) {
               type: "operation_implemented_by_handler",
               from: to,
               to: implTo,
-              evidence: contextMethodId ? { ...implEvidence, contextualImplementationSelected: contextSelection.evidence.strategy !== "implementation_repo_hint", contextualImplementation: contextSelection.evidence, implementationSelection: contextSelection.evidence } : { ...implEvidence, contextualImplementation: contextSelection.evidence },
+              evidence: contextMethodId ? { ...implEvidence, contextualImplementationSelected: contextSelection.evidence.strategy !== "implementation_repo_hint", contextualImplementation: contextSelection.evidence, implementationSelection: contextSelection.evidence } : { ...implEvidence, contextualImplementation: contextSelection.evidence, implementationSelection: contextSelection.evidence },
               confidence: Number(implementation.edge.confidence ?? 0),
               unresolvedReason: implementation.edge.status === "resolved" || contextMethodId ? void 0 : String(implementation.edge.unresolved_reason ?? implementation.edge.status)
             });
@@ -3426,13 +3755,14 @@ export {
   redactValue,
   normalizeODataOperationInvocationPath,
   classifyODataPathIntent,
+  parseServiceBindings,
   containsSupportedOutboundCall,
   parseOutboundCalls,
-  parseServiceBindings,
   applyVariables,
   extractPlaceholders,
   substituteVariables,
   linkWorkspace,
+  parseImplementationHint,
   trace
 };
-//# sourceMappingURL=chunk-UKNPHTUS.js.map
+//# sourceMappingURL=chunk-BXSCE5CR.js.map