@saptools/service-flow 0.1.57 → 0.1.58

package/CHANGELOG.md

@@ -1,5 +1,11 @@
 # Changelog
 
+## 0.1.58
+
+- Completed RC5 with a deterministic link-phase workspace pass that resolves package-import symbol calls to uniquely matching exported symbols in uniquely identified indexed sibling packages, including package subpath imports and receiver-qualified member calls.
+- Kept external packages, same-repository imports, missing or non-exported names, unsafe aliases/default imports, deeper member chains, duplicate package mappings, and duplicate exported targets fail-closed as unresolved or ambiguous.
+- Recomputed owned package-import rows on every link without a schema, edge, trace-engine, or CLI output change, preserving bounded evidence and cross-package `local_symbol_call` trace descent across repeated link and force-index/relink runs.
+
 ## 0.1.57
 
 - Made local executable symbol-call resolution import-binding-aware: relative helper shadowing now bypasses same-file methods (RC1), namespace members resolve within their imported module (RC2), duplicate exports use fail-closed path disambiguation while barrels remain ambiguous (RC3), and singleton-accessor chains reach non-exported instance methods in the imported class module (RC4).

package/dist/{chunk-DCOFNDKS.js → chunk-CRSSXWQ2.js}

@@ -5277,12 +5277,160 @@ function isRecord3(value) {
   return Boolean(value && typeof value === "object" && !Array.isArray(value));
 }
 
+// src/linker/003-package-import-symbol-resolver.ts
+var unresolvedRepositoryReason = "Package import target resolution requires a post-publication workspace pass";
+var unresolvedSymbolReason = "Sibling package indexed but no matching exported symbol; the target may be a re-export, barrel, type-only export, or unindexed Receiver.member";
+var ambiguousSymbolReason = "Multiple exported sibling-package symbol targets matched exactly";
+var stripExt2 = (value) => value.replace(/\.(ts|tsx|js|jsx|cds)$/, "");
+function push(map, key, id) {
+  const existing = map.get(key);
+  if (existing) existing.push(id);
+  else map.set(key, [id]);
+}
+function nullableString2(value) {
+  return typeof value === "string" ? value : void 0;
+}
+function evidenceObject(value) {
+  if (typeof value !== "string" || value.length === 0) return {};
+  try {
+    const parsed = JSON.parse(value);
+    return parsed && typeof parsed === "object" && !Array.isArray(parsed) ? parsed : {};
+  } catch {
+    return {};
+  }
+}
+function repoByPackageName(db, workspaceId) {
+  const result = /* @__PURE__ */ new Map();
+  const rows2 = db.prepare(`SELECT id,package_name packageName FROM repositories
+    WHERE workspace_id=? AND package_name IS NOT NULL ORDER BY package_name,id`).all(workspaceId);
+  for (const row of rows2) {
+    const packageName = nullableString2(row.packageName);
+    if (!packageName || typeof row.id !== "number") continue;
+    result.set(packageName, result.has(packageName) ? null : row.id);
+  }
+  return result;
+}
+function packagePrefix(importSource) {
+  const parts = importSource.split("/");
+  if (importSource.startsWith("@")) return parts.length >= 2 ? parts.slice(0, 2).join("/") : importSource;
+  return parts[0] ?? importSource;
+}
+function packageRepoId(repos, importSource) {
+  const packageName = repos.has(importSource) ? importSource : packagePrefix(importSource);
+  return repos.get(packageName) ?? null;
+}
+function emptyRepoExports() {
+  return { publicName: /* @__PURE__ */ new Map(), qualified: /* @__PURE__ */ new Map(), fileById: /* @__PURE__ */ new Map() };
+}
+function exportsByRepo(db, workspaceId) {
+  const result = /* @__PURE__ */ new Map();
+  const rows2 = db.prepare(`SELECT s.id,s.repo_id repoId,s.name,s.exported_name exportedName,
+      s.qualified_name qualifiedName,s.source_file sourceFile
+    FROM symbols s JOIN repositories r ON r.id=s.repo_id
+    WHERE r.workspace_id=? AND s.exported=1 ORDER BY s.repo_id,s.id`).all(workspaceId);
+  for (const row of rows2) addExportRow(result, row);
+  return result;
+}
+function addExportRow(result, row) {
+  if (typeof row.id !== "number" || typeof row.repoId !== "number") return;
+  const exports = result.get(row.repoId) ?? emptyRepoExports();
+  result.set(row.repoId, exports);
+  const publicName = nullableString2(row.exportedName) ?? nullableString2(row.name);
+  const qualifiedName = nullableString2(row.qualifiedName);
+  const sourceFile = nullableString2(row.sourceFile);
+  if (publicName) push(exports.publicName, publicName, row.id);
+  if (qualifiedName) push(exports.qualified, qualifiedName, row.id);
+  if (sourceFile) exports.fileById.set(row.id, stripExt2(sourceFile));
+}
+function packageCallRows(db, workspaceId) {
+  const rows2 = db.prepare(`SELECT sc.id,sc.repo_id callerRepoId,
+      sc.callee_expression calleeExpression,sc.import_source importSource,
+      sc.evidence_json evidenceJson
+    FROM symbol_calls sc JOIN repositories r ON r.id=sc.repo_id
+    WHERE r.workspace_id=? AND sc.import_source IS NOT NULL
+      AND sc.import_source NOT LIKE './%' AND sc.import_source NOT LIKE '../%'
+      AND json_extract(sc.evidence_json,'$.relation')='package_import'
+      AND json_extract(sc.evidence_json,'$.candidateStrategy') IN
+        ('package_import_unresolved','package_import_workspace_resolved','package_import_ambiguous')
+    ORDER BY sc.id`).all(workspaceId);
+  return rows2.flatMap((row) => packageCallRow(row));
+}
+function packageCallRow(row) {
+  const calleeExpression = nullableString2(row.calleeExpression);
+  const importSource = nullableString2(row.importSource);
+  if (typeof row.id !== "number" || typeof row.callerRepoId !== "number" || !calleeExpression || !importSource) return [];
+  return [{
+    id: row.id,
+    callerRepoId: row.callerRepoId,
+    calleeExpression,
+    importSource,
+    evidence: evidenceObject(row.evidenceJson)
+  }];
+}
+function candidatesForCall(call, exports) {
+  if (!exports) return [];
+  const dotCount = [...call.calleeExpression].filter((character) => character === ".").length;
+  if (dotCount === 0) {
+    const targetName = nullableString2(call.evidence.targetName);
+    return targetName ? exports.publicName.get(targetName) ?? [] : [];
+  }
+  return dotCount === 1 ? exports.qualified.get(call.calleeExpression) ?? [] : [];
+}
+function resolvePackageCall(call, repos, exports) {
+  const targetRepoId = packageRepoId(repos, call.importSource);
+  if (targetRepoId === null || targetRepoId === call.callerRepoId) return unresolvedResolution(unresolvedRepositoryReason);
+  const repoExports = exports.get(targetRepoId);
+  const candidates2 = candidatesForCall(call, repoExports);
+  const [id] = candidates2;
+  if (candidates2.length === 1 && id !== void 0) {
+    return {
+      id,
+      status: "resolved",
+      reason: null,
+      strategy: "package_import_workspace_resolved",
+      candidateCount: 1,
+      resolvedModulePath: repoExports?.fileById.get(id)
+    };
+  }
+  if (candidates2.length > 1) {
+    return { id: null, status: "ambiguous", reason: ambiguousSymbolReason, strategy: "package_import_ambiguous", candidateCount: candidates2.length };
+  }
+  return unresolvedResolution(unresolvedSymbolReason);
+}
+function unresolvedResolution(reason) {
+  return { id: null, status: "unresolved", reason, strategy: "package_import_unresolved", candidateCount: 0 };
+}
+function resolutionEvidence(call, resolution) {
+  const evidence = {
+    ...call.evidence,
+    candidateStrategy: resolution.strategy,
+    candidateCount: resolution.candidateCount
+  };
+  if (resolution.resolvedModulePath) evidence.resolvedModulePath = resolution.resolvedModulePath;
+  else delete evidence.resolvedModulePath;
+  return JSON.stringify(evidence);
+}
+function linkPackageImportSymbolCalls(db, workspaceId) {
+  const repos = repoByPackageName(db, workspaceId);
+  const exports = exportsByRepo(db, workspaceId);
+  const update = db.prepare(`UPDATE symbol_calls SET callee_symbol_id=?,status=?,
+    unresolved_reason=?,evidence_json=? WHERE id=?`);
+  const summary = { resolved: 0, ambiguous: 0, unresolved: 0 };
+  for (const call of packageCallRows(db, workspaceId)) {
+    const resolution = resolvePackageCall(call, repos, exports);
+    update.run(resolution.id, resolution.status, resolution.reason, resolutionEvidence(call, resolution), call.id);
+    summary[resolution.status] += 1;
+  }
+  return summary;
+}
+
 // src/linker/cross-repo-linker.ts
 function linkWorkspace(db, workspaceId, vars = {}) {
   return db.transaction(() => {
     const generation = nextGraphGeneration(db, workspaceId);
     db.prepare("DELETE FROM graph_edges WHERE workspace_id=?").run(workspaceId);
     const deps = linkHelperPackages(db, workspaceId, generation);
+    linkPackageImportSymbolCalls(db, workspaceId);
     const impl = linkImplementations(db, workspaceId, generation);
     const callSummary = linkCalls(db, workspaceId, vars, generation);
     db.prepare("UPDATE repositories SET graph_generation=?, graph_stale_reason=NULL, graph_stale_at=NULL WHERE workspace_id=?").run(generation, workspaceId);
@@ -8544,4 +8692,4 @@ export {
   selectorRepoAmbiguousDiagnostic,
   trace
 };
-//# sourceMappingURL=chunk-DCOFNDKS.js.map
+//# sourceMappingURL=chunk-CRSSXWQ2.js.map