@saptools/service-flow 0.1.13 → 0.1.15

package/dist/cli.js

@@ -10,7 +10,7 @@ import {
   parsePackageJson,
   parseServiceBindings,
   trace
-} from "./chunk-Q7W7TE3W.js";
+} from "./chunk-ZSUL2X77.js";
 
 // src/cli.ts
 import { Command } from "commander";
@@ -185,7 +185,7 @@ function migrate(db) {
 // package.json
 var package_default = {
   name: "@saptools/service-flow",
-  version: "0.1.13",
+  version: "0.1.15",
   description: "Trace SAP CAP service-to-service flows across multi-repository workspaces with runtime-aware graph resolution",
   type: "module",
   publishConfig: {
@@ -543,9 +543,25 @@ function insertExecutableSymbols(db, repoId, rows) {
   for (const r of rows) stmt.run(repoId, repoId, r.sourceFile, r.kind, r.localName, r.qualifiedName, r.exported ? 1 : 0, r.startLine, r.endLine, r.startOffset, r.endOffset, r.sourceFile, r.exportedName, r.importExportEvidence ? JSON.stringify(r.importExportEvidence) : null);
 }
 function insertSymbolCalls(db, repoId, rows) {
-  const stmt = db.prepare(`INSERT INTO symbol_calls(repo_id,caller_symbol_id,callee_symbol_id,callee_expression,import_source,source_file,source_line,status,confidence,evidence_json,unresolved_reason) VALUES(?,(SELECT id FROM symbols WHERE repo_id=? AND source_file=? AND qualified_name=? ORDER BY id LIMIT 1),(SELECT id FROM symbols WHERE repo_id=? AND ((source_file=? AND (name=? OR qualified_name=?)) OR (source_file<>? AND exported=1 AND (exported_name=? OR name=? OR qualified_name=?))) ORDER BY CASE WHEN source_file=? THEN 0 ELSE 1 END,id LIMIT 1),?,?,?,?,?,0.8,?,CASE WHEN (SELECT id FROM symbols WHERE repo_id=? AND ((source_file=? AND (name=? OR qualified_name=?)) OR (source_file<>? AND exported=1 AND (exported_name=? OR name=? OR qualified_name=?))) ORDER BY CASE WHEN source_file=? THEN 0 ELSE 1 END,id LIMIT 1) IS NULL THEN 'No local symbol target matched exactly' ELSE NULL END)`);
-  for (const r of rows) stmt.run(repoId, repoId, r.sourceFile, r.callerQualifiedName, repoId, r.sourceFile, r.calleeLocalName, r.calleeLocalName, r.sourceFile, r.calleeLocalName, r.calleeLocalName, r.calleeLocalName, r.sourceFile, r.calleeExpression, r.importSource, r.sourceFile, r.sourceLine, JSON.stringify(r.evidence), repoId, r.sourceFile, r.calleeLocalName, r.calleeLocalName, r.sourceFile, r.calleeLocalName, r.calleeLocalName, r.calleeLocalName, r.sourceFile);
-  db.prepare("UPDATE symbol_calls SET status=CASE WHEN callee_symbol_id IS NULL THEN 'unresolved' ELSE 'resolved' END, unresolved_reason=CASE WHEN callee_symbol_id IS NULL THEN COALESCE(unresolved_reason,'No local symbol target matched exactly') ELSE NULL END WHERE repo_id=?").run(repoId);
+  const findTarget = `(SELECT id FROM symbols WHERE repo_id=? AND ((source_file=? AND (name=? OR qualified_name=?)) OR (source_file<>? AND exported=1 AND (exported_name=? OR name=? OR qualified_name=?))) ORDER BY CASE WHEN source_file=? THEN 0 ELSE 1 END,id LIMIT 1)`;
+  const stmt = db.prepare(`INSERT INTO symbol_calls(repo_id,caller_symbol_id,callee_symbol_id,callee_expression,import_source,source_file,source_line,status,confidence,evidence_json,unresolved_reason) VALUES(?,(SELECT id FROM symbols WHERE repo_id=? AND source_file=? AND qualified_name=? ORDER BY id LIMIT 1),${findTarget},?,?,?,?,CASE WHEN ${findTarget} IS NULL THEN 'unresolved' ELSE 'resolved' END,0.8,?,CASE WHEN ${findTarget} IS NULL THEN 'No local symbol target matched exactly' ELSE NULL END)`);
+  for (const r of rows) {
+    const targetArgs = [repoId, r.sourceFile, r.calleeLocalName, r.calleeLocalName, r.sourceFile, r.calleeLocalName, r.calleeLocalName, r.calleeLocalName, r.sourceFile];
+    stmt.run(
+      repoId,
+      repoId,
+      r.sourceFile,
+      r.callerQualifiedName,
+      ...targetArgs,
+      r.calleeExpression,
+      r.importSource,
+      r.sourceFile,
+      r.sourceLine,
+      ...targetArgs,
+      JSON.stringify(r.evidence),
+      ...targetArgs
+    );
+  }
 }
 function insertCalls(db, repoId, rows) {
   const stmt = db.prepare(
@@ -643,6 +659,10 @@ function isFunctionLike(node) {
 function exported(node) {
   return Boolean(ts.getCombinedModifierFlags(node) & ts.ModifierFlags.Export);
 }
+function isPublicStaticMethod(node) {
+  const flags = ts.getCombinedModifierFlags(node);
+  return (flags & ts.ModifierFlags.Static) !== 0 && (flags & ts.ModifierFlags.Private) === 0 && (flags & ts.ModifierFlags.Protected) === 0;
+}
 function exportDeclarations(source) {
   const exports = /* @__PURE__ */ new Map();
   const visit = (node) => {
@@ -663,14 +683,32 @@ function isObjectFunction(node) {
 var commonTerminalMembers = /* @__PURE__ */ new Set(["push", "includes", "find", "findIndex", "map", "filter", "reduce", "forEach", "some", "every", "toUpperCase", "toLowerCase", "trim", "split", "join", "get", "set", "has"]);
 var loggerMembers = /* @__PURE__ */ new Set(["trace", "debug", "info", "warn", "error", "fatal", "log"]);
 var globalObjects = /* @__PURE__ */ new Set(["JSON", "Object", "Array", "String", "Number", "Boolean", "Math", "Date", "Promise", "Reflect"]);
+var capDslRoots = /* @__PURE__ */ new Set(["SELECT", "INSERT", "UPSERT", "UPDATE", "DELETE"]);
+var requestHelpers = /* @__PURE__ */ new Set(["reject", "error", "info", "warn", "notify"]);
+var transportMembers = /* @__PURE__ */ new Set(["emit", "publish", "send", "on"]);
 function callName(expr) {
   if (ts.isIdentifier(expr)) return { expression: expr.text, local: expr.text };
   if (ts.isPropertyAccessExpression(expr)) {
     const left = expr.expression.getText();
-    return { expression: expr.getText(), local: left === "this" ? void 0 : left, member: expr.name.text, receiver: left };
+    const root = left.split(".")[0];
+    return { expression: expr.getText(), local: left === "this" ? void 0 : root, member: expr.name.text, receiver: left };
   }
   return { expression: expr.getText() };
 }
+function requireSource(expr) {
+  if (!ts.isCallExpression(expr) || !ts.isIdentifier(expr.expression) || expr.expression.text !== "require") return void 0;
+  const first = expr.arguments[0];
+  return first && ts.isStringLiteral(first) ? first.text : void 0;
+}
+function ignoredFrameworkCall(callee) {
+  if (callee.local && capDslRoots.has(callee.local)) return true;
+  if (callee.expression === "cds.run" || callee.expression.startsWith("cds.connect.") || callee.expression.startsWith("cds.services.") || callee.expression.startsWith("cds.parse.")) return true;
+  if (callee.local === "req" && callee.member && requestHelpers.has(callee.member)) return true;
+  if (callee.member && transportMembers.has(callee.member)) return true;
+  if (callee.local && globalObjects.has(callee.local)) return true;
+  if (callee.expression.startsWith("new Date().")) return true;
+  return false;
+}
 function nearest(symbols, line) {
   return symbols.filter((s) => s.startLine <= line && s.endLine >= line).sort((a, b) => a.endLine - a.startLine - (b.endLine - b.startLine))[0];
 }
@@ -683,11 +721,20 @@ async function parseExecutableSymbols(repoPath, filePath) {
   const imports = /* @__PURE__ */ new Map();
   const exportNames = exportDeclarations(source);
   const objectExports = /* @__PURE__ */ new Set();
-  const addSymbol = (kind, localName, node, parentName, exportedName) => {
-    const declaredExportName = exportedName ?? exportNames.get(parentName ? parentName.split(".")[0] ?? localName : localName);
+  const exportedClasses = /* @__PURE__ */ new Set();
+  const proxyVariables = /* @__PURE__ */ new Map();
+  const addSymbol = (kind, localName, node, parentName, exportedName, evidence) => {
+    const parentRoot = parentName?.split(".")[0] ?? "";
+    const declaredExportName = exportedName ?? exportNames.get(parentName ? parentRoot : localName);
     const qualifiedName = parentName ? `${parentName}.${localName}` : localName;
-    const objectExported = parentName ? objectExports.has(parentName.split(".")[0] ?? "") : false;
-    symbols.push({ kind, localName: kind === "object_method" ? qualifiedName : localName, exportedName: objectExported ? qualifiedName : declaredExportName, qualifiedName, sourceFile, startLine: lineOf(source, node.getStart(source)), endLine: lineOf(source, node.getEnd()), startOffset: node.getStart(source), endOffset: node.getEnd(), exported: exported(node) || Boolean(declaredExportName) || objectExported, importExportEvidence: declaredExportName ? { exportedName: declaredExportName, source: "export_declaration" } : objectExported ? { exportedName: qualifiedName, source: "exported_object_literal" } : void 0 });
+    const objectExported = parentName ? objectExports.has(parentRoot) : false;
+    const classMemberExported = kind === "method" && parentName ? exportedClasses.has(parentRoot) && ts.isMethodDeclaration(node) && isPublicStaticMethod(node) : false;
+    const effectiveExportedName = classMemberExported || objectExported ? qualifiedName : declaredExportName;
+    const sourceEvidence = evidence ?? (classMemberExported ? { source: "exported_class_member", exportedClass: parentRoot, memberKind: "static_method" } : declaredExportName ? { exportedName: declaredExportName, source: "export_declaration" } : objectExported ? { exportedName: qualifiedName, source: "exported_object_literal" } : void 0);
+    symbols.push({ kind, localName: kind === "object_method" ? qualifiedName : localName, exportedName: effectiveExportedName, qualifiedName, sourceFile, startLine: lineOf(source, node.getStart(source)), endLine: lineOf(source, node.getEnd()), startOffset: node.getStart(source), endOffset: node.getEnd(), exported: exported(node) || Boolean(effectiveExportedName), importExportEvidence: sourceEvidence });
+  };
+  const addAliasSymbol = (objectName, propertyName, node, targetImportSource) => {
+    symbols.push({ kind: "object_alias", localName: propertyName, exportedName: propertyName, qualifiedName: `${objectName}.${propertyName}`, sourceFile, startLine: lineOf(source, node.getStart(source)), endLine: lineOf(source, node.getEnd()), startOffset: node.getStart(source), endOffset: node.getEnd(), exported: true, importExportEvidence: { source: "exported_object_shorthand", objectName, propertyName, targetImportSource } });
   };
   const visitImports = (node) => {
     if (ts.isImportDeclaration(node) && ts.isStringLiteral(node.moduleSpecifier)) {
@@ -698,11 +745,21 @@ async function parseExecutableSymbols(repoPath, filePath) {
       if (named && ts.isNamedImports(named)) for (const el of named.elements) imports.set(el.name.text, sourceText);
       if (named && ts.isNamespaceImport(named)) imports.set(named.name.text, sourceText);
     }
+    if (ts.isVariableStatement(node)) {
+      for (const declaration of node.declarationList.declarations) {
+        const requiredSource = declaration.initializer ? requireSource(declaration.initializer) : void 0;
+        if (ts.isIdentifier(declaration.name) && requiredSource) imports.set(declaration.name.text, requiredSource);
+        if (ts.isObjectBindingPattern(declaration.name) && requiredSource) {
+          for (const element of declaration.name.elements) if (ts.isIdentifier(element.name)) imports.set(element.name.text, requiredSource);
+        }
+      }
+    }
     ts.forEachChild(node, visitImports);
   };
   visitImports(source);
   const visitSymbols = (node, parentClass) => {
     if (ts.isClassDeclaration(node) && node.name) {
+      if (exported(node) || exportNames.has(node.name.text)) exportedClasses.add(node.name.text);
       for (const member of node.members) visitSymbols(member, node.name.text);
       return;
     }
@@ -716,8 +773,10 @@ async function parseExecutableSymbols(repoPath, filePath) {
         if (!localName || !d.initializer) continue;
         if (isFunctionLike(d.initializer)) addSymbol("function", localName, d.initializer, void 0, exported(node) ? localName : exportNames.get(localName));
         if (ts.isObjectLiteralExpression(d.initializer)) {
-          if (exported(node) || exportNames.has(localName)) objectExports.add(localName);
+          const objectIsExported = exported(node) || exportNames.has(localName);
+          if (objectIsExported) objectExports.add(localName);
           for (const prop of d.initializer.properties) {
+            if (objectIsExported && ts.isShorthandPropertyAssignment(prop)) addAliasSymbol(localName, prop.name.text, prop.name, imports.get(prop.name.text));
             if (ts.isPropertyAssignment(prop) && isObjectFunction(prop.initializer)) {
               const propName = nameOf(prop.name);
               if (propName) addSymbol("object_method", propName, prop.initializer, localName);
@@ -731,6 +790,15 @@ async function parseExecutableSymbols(repoPath, filePath) {
     } else ts.forEachChild(node, (child) => visitSymbols(child, parentClass));
   };
   visitSymbols(source);
+  const visitProxyVariables = (node) => {
+    if (ts.isVariableDeclaration(node) && ts.isIdentifier(node.name) && node.initializer && ts.isCallExpression(node.initializer) && ts.isPropertyAccessExpression(node.initializer.expression)) {
+      const callee = callName(node.initializer.expression);
+      const importSource = callee.local ? imports.get(callee.local) : void 0;
+      if (callee.member && importSource && isRelativeImport(importSource)) proxyVariables.set(node.name.text, { importSource, factory: callee.expression });
+    }
+    ts.forEachChild(node, visitProxyVariables);
+  };
+  visitProxyVariables(source);
   const localCallables = new Set(symbols.flatMap((sym) => [sym.localName, sym.qualifiedName]));
   const visitCalls = (node) => {
     if (ts.isCallExpression(node)) {
@@ -738,19 +806,21 @@ async function parseExecutableSymbols(repoPath, filePath) {
       const caller = nearest(symbols, line);
       if (caller) {
         const callee = callName(node.expression);
-        const importSource = (callee.local ? imports.get(callee.local) : void 0) ?? (callee.member && callee.local ? imports.get(callee.local) : void 0);
-        const targetName = callee.expression.startsWith("this.") ? callee.member : callee.member && callee.local ? `${callee.local}.${callee.member}` : callee.local;
+        const proxy = callee.local ? proxyVariables.get(callee.local) : void 0;
+        const importSource = proxy?.importSource ?? (callee.local ? imports.get(callee.local) : void 0) ?? (callee.member && callee.local ? imports.get(callee.local) : void 0);
+        const targetName = proxy && callee.member ? callee.member : callee.expression.startsWith("this.") ? callee.member : callee.member && callee.local ? `${callee.local}.${callee.member}` : callee.local;
         const className = caller.qualifiedName.includes(".") ? caller.qualifiedName.split(".")[0] : void 0;
         const thisTarget = className && callee.member ? `${className}.${callee.member}` : void 0;
         const loggerLike = callee.receiver?.endsWith(".logger") || callee.local === "logger" || (callee.expression.startsWith("this.logger.") && callee.member ? loggerMembers.has(callee.member) : false);
         const terminalMember = callee.member ? commonTerminalMembers.has(callee.member) || loggerMembers.has(callee.member) : false;
         const provenLocal = Boolean(targetName) && localCallables.has(String(targetName));
         const provenThisMethod = Boolean(thisTarget && localCallables.has(thisTarget));
-        const provenRelativeImport = Boolean(isRelativeImport(importSource));
-        const globalLike = callee.local ? globalObjects.has(callee.local) : false;
+        const provenRelativeImport = Boolean(isRelativeImport(importSource) && targetName);
         const importedFromPackage = Boolean(importSource && !isRelativeImport(importSource));
-        const keep = Boolean(targetName) && !loggerLike && !globalLike && !importedFromPackage && (provenLocal || provenThisMethod || provenRelativeImport || !terminalMember && !callee.expression.startsWith("this."));
-        if (keep) calls.push({ callerQualifiedName: caller.qualifiedName, calleeExpression: callee.expression, calleeLocalName: provenThisMethod ? thisTarget : targetName, receiverLocalName: callee.member ? callee.local : void 0, importSource, sourceFile, sourceLine: line, evidence: { relation: importSource ? "relative_import" : provenThisMethod ? "indexed_this_method" : provenLocal ? "indexed_local_symbol" : "unresolved_actionable_property_call", caller: caller.qualifiedName, targetName: provenThisMethod ? thisTarget : targetName } });
+        const ignored = loggerLike || terminalMember || importedFromPackage || ignoredFrameworkCall(callee);
+        const resolvedTarget = provenThisMethod ? thisTarget : targetName;
+        const keep = Boolean(resolvedTarget) && !ignored && (provenLocal || provenThisMethod || provenRelativeImport);
+        if (keep) calls.push({ callerQualifiedName: caller.qualifiedName, calleeExpression: callee.expression, calleeLocalName: resolvedTarget, receiverLocalName: callee.member ? callee.local : void 0, importSource, sourceFile, sourceLine: line, evidence: { relation: proxy ? "relative_import_proxy_member" : importSource ? "relative_import" : provenThisMethod ? "indexed_this_method" : "indexed_local_symbol", caller: caller.qualifiedName, targetName: resolvedTarget, factory: proxy?.factory } });
       }
     }
     ts.forEachChild(node, visitCalls);
@@ -905,14 +975,10 @@ function location(evidence) {
   }
   return ":";
 }
-function displayTarget(value, evidence) {
-  if (/^\d+$/.test(value) && evidence.parserWarning) return "Entity: unknown";
-  return value;
-}
 function renderTraceTable(result) {
   const lines = ["Step  Type                 From                                To                                  Evidence"];
   for (const e of result.edges) {
-    lines.push(`${String(e.step).padEnd(5)} ${e.type.padEnd(20)} ${e.from.slice(0, 34).padEnd(35)} ${displayTarget(e.to, e.evidence).slice(0, 35).padEnd(36)} ${location(e.evidence)}`);
+    lines.push(`${String(e.step).padEnd(5)} ${e.type.padEnd(20)} ${e.from.slice(0, 34).padEnd(35)} ${e.to.slice(0, 35).padEnd(36)} ${location(e.evidence)}`);
   }
   if (result.diagnostics.length > 0) lines.push("", "Diagnostics:", ...result.diagnostics.map((d) => `${String(d.severity ?? "info")} ${String(d.code ?? "diagnostic")} ${String(d.message ?? "")}`));
   return `${lines.join("\n")}
@@ -933,8 +999,6 @@ function safe(value) {
   return value.replace(/[^\w-]/g, "_").slice(0, 60);
 }
 function label(trace2, idOrLabel) {
-  const edge = trace2.edges.find((item) => item.to === idOrLabel);
-  if (/^\d+$/.test(idOrLabel) && edge?.evidence.parserWarning) return "Entity: unknown";
   const node = trace2.nodes.find((item) => item.id === idOrLabel || item.label === idOrLabel);
   return String(node?.label ?? idOrLabel);
 }
@@ -1007,7 +1071,15 @@ function localServiceDiagnostics(db, strict) {
   const implementationContext = rows.filter((row) => row.status === "resolved" && String(row.evidenceJson ?? "").includes("implementation_context_caller_ownership")).length;
   const withoutOwnership = rows.filter((row) => row.reason === "local_service_candidate_without_caller_ownership" || String(row.evidenceJson ?? "").includes("local_service_candidate_without_caller_ownership")).length;
   const unresolved = rows.filter((row) => row.status === "unresolved").length;
-  const outsideScope = rows.filter((row) => row.status === "unresolved" && String(row.evidenceJson ?? "").includes("candidateCount")).length;
+  const outsideScope = rows.filter((row) => {
+    if (row.status !== "unresolved") return false;
+    try {
+      const evidence = JSON.parse(String(row.evidenceJson ?? "{}"));
+      return Number(evidence.candidateCount ?? 0) > 0;
+    } catch {
+      return false;
+    }
+  }).length;
   const out = [];
   if (withoutOwnership > 0) out.push({ severity: "warning", code: "local_service_candidate_without_caller_ownership", message: `Local service calls have operation candidates but no caller ownership evidence: ${withoutOwnership}` });
   if (outsideScope > 0) out.push({ severity: "warning", code: "local_service_candidates_outside_local_scope", message: `Local service calls found candidates outside same-repository scope: ${outsideScope}` });
@@ -1015,6 +1087,32 @@ function localServiceDiagnostics(db, strict) {
   if (strict && implementationContext > 0) out.push({ severity: "info", code: "local_service_calls_resolved_by_implementation_context", message: `Local service calls resolved by implementation-context ownership: ${implementationContext}` });
   return out;
 }
+function parserQualityDiagnostics(db, strict) {
+  if (!strict) return [];
+  const symbolUnresolvedThreshold = 0.05;
+  const dbUnknownThreshold = 0.25;
+  const outboundUnownedThreshold = 0.01;
+  const symbol = db.prepare("SELECT COUNT(*) total, SUM(CASE WHEN status='resolved' THEN 1 ELSE 0 END) resolved, SUM(CASE WHEN status='unresolved' THEN 1 ELSE 0 END) unresolved FROM symbol_calls").get();
+  const top = db.prepare("SELECT callee_expression calleeExpression,COUNT(*) count FROM symbol_calls WHERE status='unresolved' GROUP BY callee_expression ORDER BY count DESC,callee_expression LIMIT 5").all();
+  const evidence = db.prepare("SELECT COUNT(*) total, SUM(CASE WHEN json_valid(evidence_json)=0 OR json_type(evidence_json) <> 'object' THEN 1 ELSE 0 END) nonObject FROM symbol_calls").get();
+  const dbq = db.prepare("SELECT COUNT(*) total, SUM(CASE WHEN query_entity IS NOT NULL THEN 1 ELSE 0 END) known, SUM(CASE WHEN query_entity IS NULL THEN 1 ELSE 0 END) unknown FROM outbound_calls WHERE call_type='local_db_query'").get();
+  const outbound = db.prepare("SELECT COUNT(*) total, SUM(CASE WHEN source_symbol_id IS NULL THEN 1 ELSE 0 END) withoutOwnership FROM outbound_calls").get();
+  const symbolTotal = Number(symbol.total ?? 0);
+  const symbolUnresolved = Number(symbol.unresolved ?? 0);
+  const symbolUnresolvedRatio = symbolTotal === 0 ? 0 : Number((symbolUnresolved / symbolTotal).toFixed(4));
+  const queryTotal = Number(dbq.total ?? 0);
+  const queryUnknown = Number(dbq.unknown ?? 0);
+  const queryUnknownRatio = queryTotal === 0 ? 0 : Number((queryUnknown / queryTotal).toFixed(4));
+  const outboundTotal = Number(outbound.total ?? 0);
+  const outboundWithoutOwnership = Number(outbound.withoutOwnership ?? 0);
+  const outboundWithoutOwnershipRatio = outboundTotal === 0 ? 0 : Number((outboundWithoutOwnership / outboundTotal).toFixed(4));
+  return [
+    { severity: Number(evidence.nonObject ?? 0) > 0 ? "warning" : "info", code: "strict_symbol_call_evidence_quality", message: "Symbol-call evidence JSON object aggregate", total: Number(evidence.total ?? 0), nonObject: Number(evidence.nonObject ?? 0) },
+    { severity: symbolUnresolvedRatio > symbolUnresolvedThreshold ? "warning" : "info", code: "strict_symbol_call_quality", message: "Symbol-call quality aggregate", total: symbolTotal, resolved: Number(symbol.resolved ?? 0), unresolved: symbolUnresolved, unresolvedRatio: symbolUnresolvedRatio, unresolvedRatioThreshold: symbolUnresolvedThreshold, topUnresolvedCallees: top },
+    { severity: queryUnknownRatio > dbUnknownThreshold ? "warning" : "info", code: "strict_db_query_quality", message: "Local DB query quality aggregate", total: queryTotal, known: Number(dbq.known ?? 0), unknown: queryUnknown, unknownRatio: queryUnknownRatio, unknownRatioThreshold: dbUnknownThreshold },
+    { severity: outboundWithoutOwnershipRatio > outboundUnownedThreshold ? "warning" : "info", code: "strict_outbound_source_ownership_quality", message: "Outbound call source-symbol ownership aggregate", total: outboundTotal, withoutOwnership: outboundWithoutOwnership, withoutOwnershipRatio: outboundWithoutOwnershipRatio, withoutOwnershipRatioThreshold: outboundUnownedThreshold }
+  ];
+}
 function createProgram() {
   const program = new Command();
   program.name("service-flow").description(
@@ -1225,7 +1323,8 @@ function createProgram() {
                FROM index_runs WHERE status='running' AND datetime(started_at) < datetime('now','-60 minutes')`
       ).all(Boolean(opts.strict), Boolean(opts.strict), Boolean(opts.strict), Boolean(opts.strict), Boolean(opts.strict), Boolean(opts.strict), Boolean(opts.strict), Boolean(opts.strict));
       const localServiceHealth = localServiceDiagnostics(db, Boolean(opts.strict));
-      const allDiagnostics = [...diagnostics, ...health, ...localServiceHealth];
+      const parserQualityHealth = parserQualityDiagnostics(db, Boolean(opts.strict));
+      const allDiagnostics = [...diagnostics, ...health, ...localServiceHealth, ...parserQualityHealth];
       process.stdout.write(
         allDiagnostics.length ? renderJson(allDiagnostics) : `${pc.green("No diagnostics recorded")}
 `