@suss/adapter-typescript 0.14.1 → 0.16.0

package/dist/index.cjs

@@ -67,7 +67,7 @@ __export(index_exports, {
 module.exports = __toCommonJS(index_exports);
 
 // src/adapter.ts
-var import_node_path9 = __toESM(require("path"), 1);
+var import_node_path10 = __toESM(require("path"), 1);
 var import_ts_morph60 = require("ts-morph");
 var import_behavioral_ir8 = require("@suss/behavioral-ir");
 var import_datalog6 = require("@suss/datalog");
@@ -1864,8 +1864,8 @@ function loadImportGraphsDepthFirstFromPaths(project, rootPaths) {
       stack.pop();
       loadOrder.push(top.path);
       let deepest = 0;
-      for (const path12 of top.deps) {
-        deepest = Math.max(deepest, chainDepth.get(path12) ?? 0);
+      for (const path13 of top.deps) {
+        deepest = Math.max(deepest, chainDepth.get(path13) ?? 0);
       }
       chainDepth.set(top.path, deepest + 1);
     }
@@ -2210,11 +2210,11 @@ function walkAndWarm(root, reach) {
       if (warmedFiles.get(target) !== void 0) {
         continue;
       }
-      const path12 = target.getFilePath();
-      if (visited.has(path12)) {
+      const path13 = target.getFilePath();
+      if (visited.has(path13)) {
         continue;
       }
-      visited.add(path12);
+      visited.add(path13);
       stack.push(frameOf(target, reach));
       continue;
     }
@@ -2231,7 +2231,7 @@ function sitsOnWarmChains(file) {
     return false;
   }
   const imported = importedFilePathsOf(project, file.getFilePath());
-  return imported.length > 0 && imported.every((path12) => warmed.has(path12));
+  return imported.length > 0 && imported.every((path13) => warmed.has(path13));
 }
 function markWarmed(file) {
   warmedFiles.set(file, true);
@@ -2688,7 +2688,7 @@ var ORIGIN = {
   declaredBy: (origin, receiver) => receiver.callee !== null && origin.importedFrom.some(
     (module2) => methodDeclaredIn(receiver.callee, module2, receiver.resolve)
   ),
-  constructed: (origin, receiver) => madeFromNamed(origin, madeBy(receiver)) && origin.importedFrom.some(
+  constructed: (origin, receiver) => madeFromNamed(origin, madeExpression(receiver)) && origin.importedFrom.some(
     (module2) => isImportedFrom(madeBy(receiver), module2)
   )
 };
@@ -2696,14 +2696,15 @@ function madeFromNamed(origin, made) {
   if (origin.origin !== "constructed" || origin.named === void 0) {
     return true;
   }
-  return origin.named.includes(made.getText());
+  return origin.named.includes(constructorName(made));
+}
+function constructorName(made) {
+  const expression = import_ts_morph14.Node.isNewExpression(made) || import_ts_morph14.Node.isCallExpression(made) ? made.getExpression() : made;
+  return import_ts_morph14.Node.isPropertyAccessExpression(expression) ? expression.getName() : expression.getText();
 }
 var CALL_ORIGIN = {
   declaredBy: ORIGIN.declaredBy,
-  constructed: (origin, receiver) => madeFromNamed(
-    origin,
-    rootIdentifier(receiver.expression) ?? receiver.expression
-  ) && origin.importedFrom.some(
+  constructed: (origin, receiver) => madeFromNamed(origin, receiver.expression) && origin.importedFrom.some(
     (module2) => isImportedFrom(
       rootIdentifier(receiver.expression) ?? receiver.expression,
       module2
@@ -2711,14 +2712,19 @@ var CALL_ORIGIN = {
   )
 };
 function madeBy(receiver) {
+  const made = madeExpression(receiver);
+  const expression = import_ts_morph14.Node.isNewExpression(made) || import_ts_morph14.Node.isCallExpression(made) ? made.getExpression() : made;
+  return rootIdentifier(expression) ?? expression;
+}
+function madeExpression(receiver) {
   if (receiver.callee === null) {
-    return rootIdentifier(receiver.expression) ?? receiver.expression;
+    return receiver.expression;
   }
   const written = receiver.resolve(receiver.callee.getExpression());
   if (written === null || !import_ts_morph14.Node.isNewExpression(written) && !import_ts_morph14.Node.isCallExpression(written)) {
     return receiver.callee;
   }
-  return rootIdentifier(written.getExpression()) ?? receiver.callee;
+  return written;
 }
 function callOpsFor(call, resolveWrittenValue) {
   const resolve2 = resolveWrittenValue ?? (() => null);
@@ -2759,6 +2765,7 @@ function valueOpsFor(value, resolve2) {
     flag: () => literalFlag(written()),
     entries: (unsettled) => entriesOf(written(), unsettled, resolve2),
     items: () => itemsOf(written(), resolve2),
+    asArg: () => effectArgOf(written()),
     property: (name) => {
       const object = written();
       const inside = import_ts_morph14.Node.isObjectLiteralExpression(object) ? initializerOf(object, name) : null;
@@ -3246,6 +3253,9 @@ var MAX_ARG_DEPTH = 8;
 function extractArgs(call) {
   return call.getArguments().map((arg) => extractArg(arg, MAX_ARG_DEPTH));
 }
+function effectArgOf(node) {
+  return extractArg(node, MAX_ARG_DEPTH);
+}
 function extractArg(node, depth) {
   if (import_ts_morph15.Node.isAsExpression(node) || import_ts_morph15.Node.isTypeAssertion(node) || import_ts_morph15.Node.isSatisfiesExpression(node) || import_ts_morph15.Node.isNonNullExpression(node)) {
     return extractArg(node.getExpression(), depth);
@@ -5838,9 +5848,9 @@ function createSourceFileLookup(project) {
       if (sf === null) {
         return null;
       }
-      const path12 = sf.getFilePath();
-      const index = functionsByFile.get(path12) ?? indexFunctions(sf);
-      functionsByFile.set(path12, index);
+      const path13 = sf.getFilePath();
+      const index = functionsByFile.get(path13) ?? indexFunctions(sf);
+      functionsByFile.set(path13, index);
       return index.get(rangeKey(location.range)) ?? null;
     }
   };
@@ -6367,7 +6377,7 @@ function extractEndpointContract(endpointNode, pattern, framework) {
   }
   const responses = [];
   let method;
-  let path12;
+  let path13;
   for (const prop of endpointNode.getProperties()) {
     if (!import_ts_morph28.Node.isPropertyAssignment(prop)) {
       continue;
@@ -6382,7 +6392,7 @@ function extractEndpointContract(endpointNode, pattern, framework) {
     if (propName === pattern.pathProperty) {
       const val = prop.getInitializer();
       if (val !== void 0 && import_ts_morph28.Node.isStringLiteral(val)) {
-        path12 = val.getLiteralValue();
+        path13 = val.getLiteralValue();
       }
     }
     if (propName === pattern.responseExtraction.property) {
@@ -6406,10 +6416,10 @@ function extractEndpointContract(endpointNode, pattern, framework) {
   if (responses.length === 0) {
     return null;
   }
-  const boundaryBinding = method !== void 0 || path12 !== void 0 ? (0, import_behavioral_ir2.restBinding)({
+  const boundaryBinding = method !== void 0 || path13 !== void 0 ? (0, import_behavioral_ir2.restBinding)({
     transport: "http",
     method: method ?? null,
-    path: path12 ?? null,
+    path: path13 ?? null,
     recognition: framework
   }) : null;
   return {
@@ -7871,6 +7881,31 @@ function constructionRef(node, localNames, resolution) {
 // src/discovery/clientCall.ts
 var import_node_path4 = __toESM(require("path"), 1);
 var import_ts_morph34 = require("ts-morph");
+
+// src/discovery/resolveImport.ts
+function resolveImportedLocalName(sourceFile, importModule, importName) {
+  for (const importDecl of sourceFile.getImportDeclarations()) {
+    if (importDecl.getModuleSpecifierValue() !== importModule) {
+      continue;
+    }
+    for (const named2 of importDecl.getNamedImports()) {
+      if (named2.getName() === importName || named2.getAliasNode()?.getText() === importName) {
+        return named2.getAliasNode()?.getText() ?? named2.getName();
+      }
+    }
+    const defaultImport = importDecl.getDefaultImport();
+    if (defaultImport !== void 0 && defaultImport.getText() === importName) {
+      return defaultImport.getText();
+    }
+    const namespaceImport = importDecl.getNamespaceImport();
+    if (namespaceImport !== void 0 && namespaceImport.getText() === importName) {
+      return namespaceImport.getText();
+    }
+  }
+  return null;
+}
+
+// src/discovery/clientCall.ts
 function discoverClientCalls(sourceFile, match, kind, resolution) {
   const results = [];
   const isGlobal = match.importModule === "global";
@@ -7889,7 +7924,7 @@ function discoverClientCalls(sourceFile, match, kind, resolution) {
   if (!isGlobal && importedLocalName !== null) {
     for (const varDecl of sourceFile.getVariableDeclarations()) {
       const init = varDecl.getInitializer();
-      if (init !== void 0 && import_ts_morph34.Node.isCallExpression(init) && isInstanceCreationCall(init, importedLocalName, match.factoryMethods)) {
+      if (init !== void 0 && (import_ts_morph34.Node.isCallExpression(init) || import_ts_morph34.Node.isNewExpression(init)) && isInstanceCreationCall(init, importedLocalName, match.factoryMethods)) {
         clientVarNames.add(varDecl.getName());
       }
     }
@@ -7934,12 +7969,50 @@ function discoverClientCalls(sourceFile, match, kind, resolution) {
   });
   return results;
 }
+function clientReceiverCheckFor(sourceFile, match, resolution) {
+  const localName = resolveImportedLocalName(
+    sourceFile,
+    match.importModule,
+    match.importName
+  );
+  const constructedHere = /* @__PURE__ */ new Set();
+  if (localName !== null) {
+    sourceFile.forEachDescendant((node) => {
+      if (import_ts_morph34.Node.isVariableDeclaration(node)) {
+        const init = node.getInitializer();
+        if (init !== void 0 && (import_ts_morph34.Node.isCallExpression(init) || import_ts_morph34.Node.isNewExpression(init)) && isInstanceCreationCall(init, localName, match.factoryMethods) || typedAsClient(node.getTypeNode(), localName)) {
+          constructedHere.add(node.getName());
+        }
+        return;
+      }
+      if (import_ts_morph34.Node.isParameterDeclaration(node) && typedAsClient(node.getTypeNode(), localName)) {
+        const written = node.getNameNode();
+        if (import_ts_morph34.Node.isIdentifier(written)) {
+          constructedHere.add(written.getText());
+        }
+      }
+    });
+  }
+  const full = {
+    type: "clientCall",
+    importModule: match.importModule,
+    importName: match.importName,
+    ...match.factoryMethods === void 0 ? {} : { factoryMethods: match.factoryMethods }
+  };
+  return (subject) => localName !== null && import_ts_morph34.Node.isIdentifier(subject) && subject.getText() === localName || import_ts_morph34.Node.isIdentifier(subject) && constructedHere.has(subject.getText()) || resolvesToKnownInstance(subject, full, resolution);
+}
+function typedAsClient(typeNode, localName) {
+  if (typeNode === void 0 || !import_ts_morph34.Node.isTypeReference(typeNode)) {
+    return false;
+  }
+  return typeNode.getTypeName().getText() === localName;
+}
 function resolvesToKnownInstance(subject, match, resolution) {
   if (resolution === void 0 || match.importModule === "global") {
     return false;
   }
   const written = writtenNodeOf(subject, resolution);
-  if (written === null || !import_ts_morph34.Node.isCallExpression(written)) {
+  if (written === null || !import_ts_morph34.Node.isCallExpression(written) && !import_ts_morph34.Node.isNewExpression(written)) {
     return false;
   }
   const writtenLocalName = resolvedImportLocalName(
@@ -8261,7 +8334,34 @@ function joinRoutePath(prefix, suffix) {
   }
   return `/${segments.join("/")}`;
 }
-function discoverDecoratedRoutes(sourceFile, match, kind, resolution) {
+function declaredChannelOf(source, decorator, resolution) {
+  if (source.from === "literal") {
+    return source.value;
+  }
+  if (source.from === "unstated") {
+    return null;
+  }
+  if (!import_ts_morph38.Node.isDecorator(decorator)) {
+    return null;
+  }
+  const arg = decorator.getArguments()[source.position];
+  if (arg === void 0) {
+    return null;
+  }
+  const text = literalStringOf(arg, resolution);
+  return text === null || text === "" ? null : text;
+}
+function literalStringOf(node, resolution) {
+  if (import_ts_morph38.Node.isStringLiteral(node) || import_ts_morph38.Node.isNoSubstitutionTemplateLiteral(node)) {
+    return node.getLiteralValue();
+  }
+  const written = resolution?.resolveWrittenValue(node) ?? null;
+  if (written === null || written === node) {
+    return null;
+  }
+  return literalStringOf(written, resolution);
+}
+function discoverDecoratedRoutes(sourceFile, match, kind, resolution, binding) {
   const acceptedModules = Array.isArray(match.importModule) ? match.importModule : [match.importModule];
   const routeDecoratorNames = Object.keys(match.methodDecoratorRouteMap);
   const importedRouteDecorators = /* @__PURE__ */ new Set();
@@ -8293,6 +8393,22 @@ function discoverDecoratedRoutes(sourceFile, match, kind, resolution) {
     const pathPrefix = routePathOf(marker.args, resolution);
     const className = cls.getName() ?? "<anon-class>";
     for (const handler of decoratedCallablesOf(cls, routeDecoratorNames)) {
+      if (binding !== void 0) {
+        results.push({
+          func: handler.func,
+          kind,
+          name: `${className}.${handler.name}`,
+          channelInfo: {
+            messageBus: binding.messageBus,
+            channel: declaredChannelOf(
+              binding.channel,
+              handler.decorator,
+              resolution
+            )
+          }
+        });
+        continue;
+      }
       const httpMethod = match.methodDecoratorRouteMap[handler.standsFor];
       const pathSuffix = resolveRoutePathArg(handler.decorator, resolution);
       const routePath = joinRoutePath(pathPrefix, pathSuffix);
@@ -9134,40 +9250,8 @@ function discoverGraphqlHookCalls(sourceFile, match, kind, resolution) {
 
 // src/discovery/graphqlImperativeCall.ts
 var import_ts_morph42 = require("ts-morph");
-
-// src/discovery/resolveImport.ts
-function resolveImportedLocalName(sourceFile, importModule, importName) {
-  for (const importDecl of sourceFile.getImportDeclarations()) {
-    if (importDecl.getModuleSpecifierValue() !== importModule) {
-      continue;
-    }
-    for (const named2 of importDecl.getNamedImports()) {
-      if (named2.getName() === importName || named2.getAliasNode()?.getText() === importName) {
-        return named2.getAliasNode()?.getText() ?? named2.getName();
-      }
-    }
-    const defaultImport = importDecl.getDefaultImport();
-    if (defaultImport !== void 0 && defaultImport.getText() === importName) {
-      return defaultImport.getText();
-    }
-    const namespaceImport = importDecl.getNamespaceImport();
-    if (namespaceImport !== void 0 && namespaceImport.getText() === importName) {
-      return namespaceImport.getText();
-    }
-  }
-  return null;
-}
-
-// src/discovery/graphqlImperativeCall.ts
 function discoverGraphqlImperativeCalls(sourceFile, match, kind, resolution) {
-  const localName = resolveImportedLocalName(
-    sourceFile,
-    match.importModule,
-    match.importName
-  );
-  if (localName === null) {
-    return [];
-  }
+  const isTheClient = clientReceiverCheckFor(sourceFile, match, resolution);
   const methodSpec = /* @__PURE__ */ new Map();
   for (const method of match.methods) {
     methodSpec.set(method.methodName, {
@@ -9189,6 +9273,9 @@ function discoverGraphqlImperativeCalls(sourceFile, match, kind, resolution) {
     if (spec === void 0) {
       return;
     }
+    if (!isTheClient(callee.getExpression())) {
+      return;
+    }
     const args = node.getArguments();
     if (args.length === 0 || !import_ts_morph42.Node.isObjectLiteralExpression(args[0])) {
       return;
@@ -9335,7 +9422,7 @@ function attributeValueOf(node, name) {
   }
   return null;
 }
-function literalStringOf(value) {
+function literalStringOf2(value) {
   const unwrapped2 = import_ts_morph43.Node.isJsxExpression(value) ? value.getExpression() ?? value : value;
   if (import_ts_morph43.Node.isStringLiteral(unwrapped2) || import_ts_morph43.Node.isNoSubstitutionTemplateLiteral(unwrapped2)) {
     return unwrapped2.getLiteralValue();
@@ -9345,7 +9432,7 @@ function literalStringOf(value) {
 function ownPathOfJsx(node, match) {
   const pathValue = attributeValueOf(node, match.pathAttribute);
   if (pathValue !== null) {
-    const literal = literalStringOf(pathValue);
+    const literal = literalStringOf2(pathValue);
     return literal !== null ? { kind: "literal", value: literal } : { kind: "unreadable" };
   }
   if (match.indexAttribute !== void 0 && attributeValueOf(node, match.indexAttribute) !== null) {
@@ -9436,14 +9523,14 @@ function unitForJsxRoute(node, match, routeNames, kind, resolution) {
   }
   return routeUnit(node, kind, match.method, resolved.path, target, resolution);
 }
-function routeUnit(at, kind, method, path12, target, resolution) {
-  const routeInfo = { method, path: path12 };
+function routeUnit(at, kind, method, path13, target, resolution) {
+  const routeInfo = { method, path: path13 };
   if (target.kind === "unreadable") {
     return {
       func: null,
       announcedAt: at,
       kind,
-      name: path12,
+      name: path13,
       nameKind: "label",
       routeInfo
     };
@@ -9613,7 +9700,7 @@ function unitsUnderRouteObject(object, match, kind, resolution, prefix, ancestry
 function ownPathOfObject(object, match) {
   const pathValue = routePropertyOf(object, match.pathAttribute);
   if (pathValue !== null) {
-    const literal = literalStringOf(pathValue);
+    const literal = literalStringOf2(pathValue);
     return literal !== null ? { kind: "literal", value: literal } : { kind: "unreadable" };
   }
   if (match.indexAttribute !== void 0) {
@@ -9873,6 +9960,9 @@ function resolvePackageExportsCached(packageJsonPath) {
   return fresh;
 }
 function discoverPackageExports(sourceFile, match, kind) {
+  if (match.packageJsonPath === void 0) {
+    return [];
+  }
   const { entries } = resolvePackageExportsCached(match.packageJsonPath);
   const filePath = sourceFile.getFilePath();
   const matching = [];
@@ -10260,12 +10350,12 @@ function originEndOf(flattened) {
   const slash = flattened.indexOf("/", opener[0].length);
   return slash === -1 ? flattened.length : slash;
 }
-function appendPathText(path12, text) {
+function appendPathText(path13, text) {
   const idx = text.search(/[?#]/);
   if (idx === -1) {
-    return { path: path12 + text, stop: false };
+    return { path: path13 + text, stop: false };
   }
-  return { path: path12 + text.slice(0, idx), stop: true };
+  return { path: path13 + text.slice(0, idx), stop: true };
 }
 function parseAbsoluteUrl(text) {
   try {
@@ -10289,8 +10379,8 @@ function pathnameOfAbsoluteLiteral(text) {
   return stripQueryAndFragment(stripOriginManually(text));
 }
 function pathFromLiteralUrl(text) {
-  const path12 = isAbsoluteUrlLiteral(text) ? pathnameOfAbsoluteLiteral(text) : stripQueryAndFragment(text);
-  return path12 === "" ? void 0 : path12;
+  const path13 = isAbsoluteUrlLiteral(text) ? pathnameOfAbsoluteLiteral(text) : stripQueryAndFragment(text);
+  return path13 === "" ? void 0 : path13;
 }
 function pathFromTemplateUrl(arg, resolution) {
   const headText = arg.getHead().getLiteralText();
@@ -10298,7 +10388,7 @@ function pathFromTemplateUrl(arg, resolution) {
   const tails = spans.map((span) => span.getLiteral().getLiteralText());
   const originEnd = originEndOf([headText, ...tails].join(SUBSTITUTION));
   const head = appendPathText("", headText.slice(originEnd));
-  let path12 = head.path;
+  let path13 = head.path;
   let stop = head.stop;
   let at = headText.length;
   for (let i = 0; i < spans.length && !stop; i++) {
@@ -10308,18 +10398,18 @@ function pathFromTemplateUrl(arg, resolution) {
       continue;
     }
     if (at >= originEnd) {
-      path12 += holeText(span.getExpression(), resolution);
+      path13 += holeText(span.getExpression(), resolution);
     }
     at += SUBSTITUTION.length;
     const appended = appendPathText(
-      path12,
+      path13,
       tailText.slice(Math.max(0, originEnd - at))
     );
-    path12 = appended.path;
+    path13 = appended.path;
     stop = appended.stop;
     at += tailText.length;
   }
-  return path12 === "" ? void 0 : path12;
+  return path13 === "" ? void 0 : path13;
 }
 function pathFromUrlNode(node, resolution) {
   if (import_ts_morph48.Node.isStringLiteral(node)) {
@@ -10331,8 +10421,24 @@ function pathFromUrlNode(node, resolution) {
   if (import_ts_morph48.Node.isTemplateExpression(node)) {
     return pathFromTemplateUrl(node, resolution);
   }
+  if (import_ts_morph48.Node.isBinaryExpression(node)) {
+    const joined = joinedStringOf(node, resolution);
+    return joined === void 0 ? void 0 : pathFromLiteralUrl(joined);
+  }
   return void 0;
 }
+function joinedStringOf(node, resolution) {
+  if (import_ts_morph48.Node.isStringLiteral(node) || import_ts_morph48.Node.isNoSubstitutionTemplateLiteral(node)) {
+    return node.getLiteralValue();
+  }
+  if (import_ts_morph48.Node.isBinaryExpression(node) && node.getOperatorToken().getText() === "+") {
+    const left = joinedStringOf(node.getLeft(), resolution);
+    const right = joinedStringOf(node.getRight(), resolution);
+    return left === void 0 || right === void 0 ? void 0 : left + right;
+  }
+  const written = resolution?.resolveWrittenValue(node) ?? null;
+  return written === null || written === node ? void 0 : joinedStringOf(written, resolution);
+}
 function placeholderName(expr) {
   if (import_ts_morph48.Node.isIdentifier(expr)) {
     return expr.getText();
@@ -10470,9 +10576,9 @@ function withMountPrefix(routeInfo, subjectNode, mountPrefixes) {
   const prefix = mountPrefixes.effectivePrefixFor(subjectNode);
   return prefix === "" ? routeInfo : { ...routeInfo, path: joinMountedPath(prefix, routeInfo.path) };
 }
-function joinMountedPath(prefix, path12) {
+function joinMountedPath(prefix, path13) {
   const trimmed = prefix.endsWith("/") ? prefix.slice(0, -1) : prefix;
-  return trimmed === "" ? path12 : trimmed + path12;
+  return trimmed === "" ? path13 : trimmed + path13;
 }
 function registrationSubjectsOf(sourceFile, importModule, importName) {
   let importedLocalName = null;
@@ -10636,11 +10742,11 @@ function extractRouteInfoFromBinding(call, methodName, binding, resolution) {
       return null;
     }
     const method2 = stringProperty(routeObject, binding.method.property);
-    const path13 = stringProperty(routeObject, binding.path.property);
-    if (method2 === null || path13 === null) {
+    const path14 = stringProperty(routeObject, binding.path.property);
+    if (method2 === null || path14 === null) {
       return null;
     }
-    return { method: method2.toUpperCase(), path: path13 };
+    return { method: method2.toUpperCase(), path: path14 };
   }
   if (binding.method.type !== "fromRegistration" || binding.path.type !== "fromArgument") {
     return null;
@@ -10657,26 +10763,46 @@ function extractRouteInfoFromBinding(call, methodName, binding, resolution) {
     method = arg.getLiteralValue().toUpperCase();
   }
   const pathArg = call.getArguments()[binding.path.position];
-  const path12 = pathArg === void 0 ? void 0 : pathFromArgument(pathArg, resolution);
-  return path12 === void 0 ? null : { method, path: path12 };
+  const path13 = pathArg === void 0 ? void 0 : pathFromArgument(pathArg, resolution);
+  return path13 === void 0 ? null : { method, path: path13 };
 }
 
 // src/discovery/registrationLoop.ts
 var import_ts_morph50 = require("ts-morph");
 function discoverRegistrationLoops(sourceFile, match, kind, resolution) {
   const results = [];
+  const routables = routableNames(sourceFile, match);
+  if (routables !== null && routables.size === 0) {
+    return results;
+  }
   sourceFile.forEachDescendant((node) => {
     if (!import_ts_morph50.Node.isForOfStatement(node)) {
       return;
     }
-    const expanded = tryExpandLoop(node, match, kind, resolution);
+    const expanded = tryExpandLoop(node, match, kind, resolution, routables);
     if (expanded !== null) {
       results.push(...expanded);
     }
   });
   return results;
 }
-function tryExpandLoop(loop, match, kind, resolution) {
+function routableNames(sourceFile, match) {
+  if (match.receiver === void 0) {
+    return null;
+  }
+  const names = /* @__PURE__ */ new Set();
+  for (const importName of match.receiver.importNames) {
+    for (const name of registrationSubjectsOf(
+      sourceFile,
+      match.receiver.importModule,
+      importName
+    ).keys()) {
+      names.add(name);
+    }
+  }
+  return names;
+}
+function tryExpandLoop(loop, match, kind, resolution, routables) {
   const loopVar = loopVariableName(loop);
   if (loopVar === null) {
     return null;
@@ -10684,6 +10810,9 @@ function tryExpandLoop(loop, match, kind, resolution) {
   if (!bodyReferencesLoopVar(loop, loopVar)) {
     return null;
   }
+  if (routables !== null && !bodyCallsOn(loop, routables)) {
+    return null;
+  }
   const arrayLit = arrayLiteralOf(loop.getExpression(), resolution);
   if (arrayLit === null) {
     return null;
@@ -10742,9 +10871,23 @@ function bodyReferencesLoopVar(loop, name) {
   });
   return referenced;
 }
+function bodyCallsOn(loop, routables) {
+  let found = false;
+  loop.getStatement().forEachDescendant((node) => {
+    if (found || !import_ts_morph50.Node.isCallExpression(node)) {
+      return;
+    }
+    const callee = node.getExpression();
+    const subject = import_ts_morph50.Node.isPropertyAccessExpression(callee) || import_ts_morph50.Node.isElementAccessExpression(callee) ? callee.getExpression() : null;
+    if (subject !== null && import_ts_morph50.Node.isIdentifier(subject) && routables.has(subject.getText())) {
+      found = true;
+    }
+  });
+  return found;
+}
 function readRouteSpec(element, shape, resolution) {
   let method = null;
-  let path12 = null;
+  let path13 = null;
   let handler = null;
   for (const prop of element.getProperties()) {
     if (import_ts_morph50.Node.isMethodDeclaration(prop) && prop.getName() === shape.handlerKey) {
@@ -10762,16 +10905,16 @@ function readRouteSpec(element, shape, resolution) {
     if (name === shape.methodKey) {
       method = readStringLiteralValue(init);
     } else if (name === shape.pathKey) {
-      path12 = readStringLiteralValue(init);
+      path13 = readStringLiteralValue(init);
     } else if (name === shape.handlerKey) {
       const func = functionValueOf(init, resolution);
       handler = func === null ? null : { func, name: handlerName(init) };
     }
   }
-  if (method === null || path12 === null || handler === null) {
+  if (method === null || path13 === null || handler === null) {
     return null;
   }
-  return { method, path: path12, handler: handler.func, handlerName: handler.name };
+  return { method, path: path13, handler: handler.func, handlerName: handler.name };
 }
 function readStringLiteralValue(node) {
   if (import_ts_morph50.Node.isStringLiteral(node) || import_ts_morph50.Node.isNoSubstitutionTemplateLiteral(node)) {
@@ -10800,8 +10943,8 @@ function discoverRegistrationTemplates(sourceFile, match, kind, resolution) {
     }
     const args = node.getArguments();
     for (const reg of match.registrations) {
-      const path12 = substitutePath(reg.pathTemplate, args);
-      if (path12 === null) {
+      const path13 = substitutePath(reg.pathTemplate, args);
+      if (path13 === null) {
         continue;
       }
       const handler = resolveHandler(reg.handlerArg, args, resolution);
@@ -10814,7 +10957,7 @@ function discoverRegistrationTemplates(sourceFile, match, kind, resolution) {
         name: handler.name,
         routeInfo: {
           method: reg.method.toUpperCase(),
-          path: path12
+          path: path13
         }
       });
     }
@@ -11140,7 +11283,8 @@ function runPattern(sourceFile, pattern, resolution, mountPrefixes) {
       sourceFile,
       pattern.match,
       pattern.kind,
-      resolution
+      resolution,
+      pattern.binding
     );
   }
   if (pattern.match.type === "jsxElementRoute") {
@@ -12405,7 +12549,38 @@ var REACHABLE_RULES = [
   )
 ];
 var NO_RECOGNIZERS = { invocation: [], access: [] };
-function expandReachableClosure(seeds, project, options, projectFileSet, facts, recognizers = NO_RECOGNIZERS, alreadySummarized = []) {
+function recognizerOnlyRoots(packsByFile) {
+  const roots = [];
+  for (const [sourceFile, packs] of packsByFile) {
+    const recognizerOnly = packs.some(
+      (pack) => pack.discovery.length === 0 && pack.discoverUnits === void 0 && ((pack.invocationRecognizers?.length ?? 0) > 0 || (pack.accessRecognizers?.length ?? 0) > 0)
+    );
+    if (!recognizerOnly) {
+      continue;
+    }
+    for (const declaration of sourceFile.getFunctions()) {
+      if (declaration.isExported() && hasBody(declaration)) {
+        roots.push({
+          func: declaration,
+          name: declaration.getName() ?? "<anon>"
+        });
+      }
+    }
+    for (const variableStatement of sourceFile.getVariableStatements()) {
+      if (!variableStatement.isExported()) {
+        continue;
+      }
+      for (const declaration of variableStatement.getDeclarations()) {
+        const init = declaration.getInitializer();
+        if (init !== void 0 && (import_ts_morph56.Node.isArrowFunction(init) || import_ts_morph56.Node.isFunctionExpression(init)) && hasBody(init)) {
+          roots.push({ func: init, name: declaration.getName() });
+        }
+      }
+    }
+  }
+  return roots;
+}
+function expandReachableClosure(seeds, project, options, projectFileSet, facts, recognizers = NO_RECOGNIZERS, alreadySummarized = [], extraRoots = []) {
   const lookup = createSourceFileLookup(project);
   const db = facts?.db ?? new import_datalog4.Database();
   const functionByKey = /* @__PURE__ */ new Map();
@@ -12425,6 +12600,13 @@ function expandReachableClosure(seeds, project, options, projectFileSet, facts,
       db.add("entry", [key]);
     }
   }
+  for (const root of extraRoots) {
+    const key = nodeKey2(root.func);
+    if (!functionByKey.has(key)) {
+      functionByKey.set(key, root);
+    }
+    db.add("entry", [key]);
+  }
   const knownKeys = /* @__PURE__ */ new Set();
   for (const summary of alreadySummarized) {
     const func = lookup.functionAt(summary.location);
@@ -13486,6 +13668,185 @@ function computeAdapterPacksDigest(packVersions) {
   return `${adapterStamp}|${sortedPacks.join(",")}`;
 }
 
+// src/workspacePatterns.ts
+var import_node_crypto4 = require("crypto");
+var import_node_fs6 = __toESM(require("fs"), 1);
+var import_node_path9 = __toESM(require("path"), 1);
+function readJson(filePath) {
+  try {
+    return JSON.parse(import_node_fs6.default.readFileSync(filePath, "utf8"));
+  } catch {
+    return void 0;
+  }
+}
+function pnpmWorkspaceGlobs(yamlText) {
+  const globs = [];
+  let inPackages = false;
+  for (const line of yamlText.split("\n")) {
+    if (/^packages\s*:/.test(line)) {
+      inPackages = true;
+      continue;
+    }
+    if (inPackages) {
+      const item = line.match(/^\s+-\s+["']?([^"'#\s]+)["']?/);
+      if (item !== null) {
+        globs.push(item[1]);
+        continue;
+      }
+      if (/^\S/.test(line)) {
+        inPackages = false;
+      }
+    }
+  }
+  return globs;
+}
+function workspaceGlobsAt(dir) {
+  const pkg = readJson(import_node_path9.default.join(dir, "package.json"));
+  if (typeof pkg === "object" && pkg !== null && "workspaces" in pkg) {
+    const ws = pkg.workspaces;
+    if (Array.isArray(ws)) {
+      return ws.filter((g) => typeof g === "string");
+    }
+    if (typeof ws === "object" && ws !== null && Array.isArray(ws.packages)) {
+      return ws.packages.filter(
+        (g) => typeof g === "string"
+      );
+    }
+  }
+  const pnpmPath = import_node_path9.default.join(dir, "pnpm-workspace.yaml");
+  if (import_node_fs6.default.existsSync(pnpmPath)) {
+    try {
+      return pnpmWorkspaceGlobs(import_node_fs6.default.readFileSync(pnpmPath, "utf8"));
+    } catch {
+      return null;
+    }
+  }
+  return null;
+}
+function isDirectory(candidate) {
+  try {
+    return import_node_fs6.default.statSync(candidate).isDirectory();
+  } catch {
+    return false;
+  }
+}
+function subdirectoriesOf(dir) {
+  try {
+    return import_node_fs6.default.readdirSync(dir, { withFileTypes: true }).filter((e) => e.isDirectory()).map((e) => e.name).filter((name) => !name.startsWith(".") && name !== "node_modules");
+  } catch {
+    return [];
+  }
+}
+function segmentToRegExp(segment) {
+  const escaped = segment.replace(/[.+^${}()|[\]\\]/g, "\\$&");
+  return new RegExp(`^${escaped.replace(/\*/g, "[^/]*")}$`);
+}
+function directoriesMatchingGlob(root, glob) {
+  let current2 = [root];
+  for (const segment of glob.split("/").filter((s) => s.length > 0)) {
+    const next = [];
+    if (segment.includes("*")) {
+      const pattern = segmentToRegExp(segment);
+      for (const dir of current2) {
+        for (const entry of subdirectoriesOf(dir)) {
+          if (pattern.test(entry)) {
+            next.push(import_node_path9.default.join(dir, entry));
+          }
+        }
+      }
+    } else {
+      for (const dir of current2) {
+        next.push(import_node_path9.default.join(dir, segment));
+      }
+    }
+    current2 = next.filter(isDirectory);
+  }
+  return current2;
+}
+function packageAt(dir) {
+  const packageJsonPath = import_node_path9.default.join(dir, "package.json");
+  const pkg = readJson(packageJsonPath);
+  if (typeof pkg === "object" && pkg !== null && typeof pkg.name === "string") {
+    return { name: pkg.name, packageJsonPath };
+  }
+  return null;
+}
+function workspacePackagesFrom(anchor) {
+  let dir = import_node_path9.default.resolve(anchor);
+  for (; ; ) {
+    const globs = workspaceGlobsAt(dir);
+    if (globs !== null) {
+      const found = /* @__PURE__ */ new Map();
+      for (const glob of globs) {
+        if (glob.startsWith("!")) {
+          continue;
+        }
+        for (const match of directoriesMatchingGlob(dir, glob)) {
+          const pkg = packageAt(match);
+          if (pkg !== null) {
+            found.set(pkg.packageJsonPath, pkg);
+          }
+        }
+      }
+      return [...found.values()].sort(
+        (a, b) => a.packageJsonPath.localeCompare(b.packageJsonPath)
+      );
+    }
+    const parent = import_node_path9.default.dirname(dir);
+    if (parent === dir) {
+      return [];
+    }
+    dir = parent;
+  }
+}
+function isWorkspaceMarked(pattern) {
+  const match = pattern.match;
+  return (match.type === "packageExports" || match.type === "packageImport") && match.workspaces === true;
+}
+function expandPattern(pattern, packages) {
+  const match = pattern.match;
+  if (match.type === "packageExports" && match.workspaces === true) {
+    const { workspaces: _workspaces, ...rest } = match;
+    return packages.map((pkg) => ({
+      ...pattern,
+      match: { ...rest, packageJsonPath: pkg.packageJsonPath }
+    }));
+  }
+  if (match.type === "packageImport" && match.workspaces === true) {
+    const listed = match.packages ?? [];
+    const names = [.../* @__PURE__ */ new Set([...listed, ...packages.map((p) => p.name)])];
+    if (names.length === 0) {
+      return [];
+    }
+    return [{ ...pattern, match: { type: "packageImport", packages: names } }];
+  }
+  return [pattern];
+}
+function workspaceExpansionStamp(frameworks) {
+  const paths = frameworks.flatMap((pack) => pack.discovery).flatMap(
+    (pattern) => pattern.match.type === "packageExports" && pattern.match.packageJsonPath !== void 0 ? [pattern.match.packageJsonPath] : []
+  ).sort();
+  if (paths.length === 0) {
+    return "none";
+  }
+  return (0, import_node_crypto4.createHash)("sha256").update(paths.join("\n")).digest("hex").slice(0, 12);
+}
+function expandWorkspacePatterns(frameworks, anchor) {
+  const marked = frameworks.some(
+    (pack) => pack.discovery.some(isWorkspaceMarked)
+  );
+  if (!marked) {
+    return frameworks;
+  }
+  const packages = anchor !== void 0 ? workspacePackagesFrom(anchor) : [];
+  return frameworks.map((pack) => ({
+    ...pack,
+    discovery: pack.discovery.flatMap(
+      (pattern) => expandPattern(pattern, packages)
+    )
+  }));
+}
+
 // src/adapter.ts
 var raise = (msg) => {
   throw new Error(msg);
@@ -13896,11 +14257,11 @@ function extractConsumerBinding(unit, pattern, pack, resolution) {
     return null;
   }
   const method = extractBindingMethod(binding, callSite, pack, resolution);
-  const path12 = extractBindingPath(binding, callSite, pack, resolution);
+  const path13 = extractBindingPath(binding, callSite, pack, resolution);
   return (0, import_behavioral_ir8.restBinding)({
     transport: pack.protocol,
     method: method ?? null,
-    path: path12 ?? null,
+    path: path13 ?? null,
     recognition: pack.name
   });
 }
@@ -14512,8 +14873,8 @@ function synthesizeCallerSummaries(wrapper, _project, options, resolution) {
     if (pathArg === void 0) {
       continue;
     }
-    const path12 = pathFromArgument(pathArg, resolution);
-    if (path12 === void 0) {
+    const path13 = pathFromArgument(pathArg, resolution);
+    if (path13 === void 0) {
       continue;
     }
     const callerFunc = enclosingFunction(callExpr);
@@ -14525,7 +14886,7 @@ function synthesizeCallerSummaries(wrapper, _project, options, resolution) {
       continue;
     }
     seen.add(dedupKey);
-    out.push(buildCallerSummary(wrapper, callerFunc, callExpr, path12, options));
+    out.push(buildCallerSummary(wrapper, callerFunc, callExpr, path13, options));
   }
   return out;
 }
@@ -14582,7 +14943,7 @@ function callerName(func) {
   }
   return "anonymous";
 }
-function buildCallerSummary(wrapper, callerFunc, callExpr, path12, options) {
+function buildCallerSummary(wrapper, callerFunc, callExpr, path13, options) {
   const wrapperBinding = wrapper.summary.identity.boundaryBinding;
   const wrapperRest = wrapperBinding?.semantics.name === "rest" ? wrapperBinding.semantics : null;
   const syntheticPack = {
@@ -14614,7 +14975,7 @@ function buildCallerSummary(wrapper, callerFunc, callExpr, path12, options) {
   raw.boundaryBinding = (0, import_behavioral_ir8.restBinding)({
     transport: wrapperBinding?.transport ?? "http",
     method: wrapperRest?.method ?? null,
-    path: path12,
+    path: path13,
     recognition: wrapperBinding?.recognition ?? "unknown"
   });
   const summary = (0, import_extractor5.assembleSummary)(raw, options);
@@ -14680,25 +15041,32 @@ function loadRunFiles(project, candidatePaths, timer) {
   );
   return { sourceFiles, deep };
 }
-function createTypeScriptAdapter(config) {
+function createTypeScriptAdapter(suppliedConfig) {
+  const config = {
+    ...suppliedConfig,
+    frameworks: expandWorkspacePatterns(
+      suppliedConfig.frameworks,
+      suppliedConfig.projectRoot ?? (suppliedConfig.tsConfigFilePath !== void 0 ? import_node_path10.default.dirname(suppliedConfig.tsConfigFilePath) : void 0)
+    )
+  };
   const project = config.project ?? new import_ts_morph60.Project(
     config.tsConfigFilePath !== void 0 ? {
       tsConfigFilePath: config.tsConfigFilePath,
       skipAddingFilesFromTsConfig: true
     } : { skipAddingFilesFromTsConfig: true }
   );
-  const runRoot = config.projectRoot ?? (config.tsConfigFilePath !== void 0 ? workspaceRootFor(import_node_path9.default.dirname(config.tsConfigFilePath)) : void 0);
+  const runRoot = config.projectRoot ?? (config.tsConfigFilePath !== void 0 ? workspaceRootFor(import_node_path10.default.dirname(config.tsConfigFilePath)) : void 0);
   let lazyBootstrapped = false;
   let projectFileSet;
   const cacheDir = declineWhenRunFromSource(
-    config.cacheDir === null ? null : config.cacheDir ?? (config.tsConfigFilePath !== void 0 ? import_node_path9.default.join(import_node_path9.default.dirname(config.tsConfigFilePath), ".suss", "cache") : null)
+    config.cacheDir === null ? null : config.cacheDir ?? (config.tsConfigFilePath !== void 0 ? import_node_path10.default.join(import_node_path10.default.dirname(config.tsConfigFilePath), ".suss", "cache") : null)
   );
   const cache = createCacheLayer(cacheDir);
   const adapterPacksDigest = `${computeAdapterPacksDigest(
     config.frameworks.map(
       (p) => p.version !== void 0 ? { name: p.name, version: p.version } : { name: p.name }
     )
-  )}|${extractionConfigStamp(config)}`;
+  )}|${extractionConfigStamp(config)}|ws:${workspaceExpansionStamp(config.frameworks)}`;
   const packWrappers = config.frameworks.flatMap(
     (pack) => pack.transparentWrappers ?? []
   );
@@ -14934,7 +15302,12 @@ function createTypeScriptAdapter(config) {
           },
           // Reached units the cache already serves emit nothing,
           // the way a cold run's seeds do not.
-          reused?.summaries ?? []
+          reused?.summaries ?? [],
+          // A recognizer-only pack's effects need a function to
+          // live on even when nothing discovers units in its
+          // files, so those files' exports join the walk as
+          // roots.
+          recognizerOnlyRoots(packsByFile)
         )
       ) : withSubUnits;
       const closureOwnership = caching && config.includeReachable !== false ? timer.time(
@@ -15331,8 +15704,8 @@ function buildSubUnitSummary(subUnit, parent, invocationRecognizers, accessRecog
 }
 
 // src/bootstrap/noTsconfigProject.ts
-var import_node_fs6 = __toESM(require("fs"), 1);
-var import_node_path10 = __toESM(require("path"), 1);
+var import_node_fs7 = __toESM(require("fs"), 1);
+var import_node_path11 = __toESM(require("path"), 1);
 var import_ts_morph61 = require("ts-morph");
 var SOURCE_EXTENSIONS = /* @__PURE__ */ new Set([
   ".ts",
@@ -15363,7 +15736,7 @@ function findSourceFiles(rootDir, depth = 0) {
   const found = [];
   let entries;
   try {
-    entries = import_node_fs6.default.readdirSync(rootDir, { withFileTypes: true });
+    entries = import_node_fs7.default.readdirSync(rootDir, { withFileTypes: true });
   } catch {
     return [];
   }
@@ -15371,10 +15744,10 @@ function findSourceFiles(rootDir, depth = 0) {
     if (entry.name.startsWith(".") || SKIP_DIRECTORIES.has(entry.name)) {
       continue;
     }
-    const full = import_node_path10.default.join(rootDir, entry.name);
+    const full = import_node_path11.default.join(rootDir, entry.name);
     if (entry.isDirectory()) {
       found.push(...findSourceFiles(full, depth + 1));
-    } else if (SOURCE_EXTENSIONS.has(import_node_path10.default.extname(entry.name)) && !entry.name.endsWith(".d.ts")) {
+    } else if (SOURCE_EXTENSIONS.has(import_node_path11.default.extname(entry.name)) && !entry.name.endsWith(".d.ts")) {
       found.push(full);
     }
   }
@@ -15409,15 +15782,15 @@ function createProjectWithoutTsconfig(rootDir) {
   return { project, files };
 }
 function findNearestTsconfig(startDir) {
-  let dir = import_node_path10.default.resolve(startDir);
+  let dir = import_node_path11.default.resolve(startDir);
   while (true) {
     for (const name of ["tsconfig.json", "jsconfig.json"]) {
-      const candidate = import_node_path10.default.join(dir, name);
-      if (import_node_fs6.default.existsSync(candidate)) {
+      const candidate = import_node_path11.default.join(dir, name);
+      if (import_node_fs7.default.existsSync(candidate)) {
         return candidate;
       }
     }
-    const parent = import_node_path10.default.dirname(dir);
+    const parent = import_node_path11.default.dirname(dir);
     if (parent === dir) {
       return null;
     }
@@ -15426,7 +15799,7 @@ function findNearestTsconfig(startDir) {
 }
 
 // src/facts/why.ts
-var import_node_path11 = __toESM(require("path"), 1);
+var import_node_path12 = __toESM(require("path"), 1);
 var import_ts_morph62 = require("ts-morph");
 var import_resolution2 = require("@suss/resolution");
 var JS_PHRASES = {
@@ -15439,7 +15812,7 @@ var WhySession = class {
   store;
   root;
   constructor(options) {
-    this.root = import_node_path11.default.resolve(options.dir);
+    this.root = import_node_path12.default.resolve(options.dir);
     const tsconfig = findNearestTsconfig(this.root);
     this.project = tsconfig === null ? createProjectWithoutTsconfig(this.root).project : new import_ts_morph62.Project({ tsConfigFilePath: tsconfig });
     this.store = new ResolutionStore();
@@ -15528,7 +15901,7 @@ var WhySession = class {
     };
   }
   sourceFileAt(file) {
-    const absolute = import_node_path11.default.resolve(this.root, file);
+    const absolute = import_node_path12.default.resolve(this.root, file);
     const loaded = this.project.getSourceFile(absolute);
     if (loaded !== void 0) {
       return loaded;
@@ -15542,7 +15915,7 @@ var WhySession = class {
   /** A module key: a file path said relative to the root, or a package name. */
   displayPath(key) {
     if (key.startsWith(this.root)) {
-      return import_node_path11.default.relative(this.root, key);
+      return import_node_path12.default.relative(this.root, key);
     }
     return key;
   }
@@ -15613,6 +15986,17 @@ function funnelDrops(packs) {
   }
   return violations;
 }
+function recognizersWithNoUnits(packs) {
+  return packs.filter(
+    (funnel) => funnel.recognizes && !funnel.discovers && funnel.gates.length > 0 && funnel.unresolvedGates.length === 0 && funnel.candidateFiles > 0 && funnel.unitsInGatedFiles === 0 && // The closure walks a recognizer-only pack's gated exports as
+    // roots, so effects recognized there mean the run worked and
+    // the missing framework pack costs attribution, not existence.
+    funnel.effectsRecognized === 0
+  ).map((funnel) => ({
+    label: funnel.pack,
+    detail: `${funnel.candidateFiles} gated files, and no pack in this run discovered a unit in them. ${funnel.pack} reads calls inside units another pack finds, so add the pack that finds this project's handlers (-f express, -f fastify, ...), or run suss init to work out which.`
+  }));
+}
 function unversionedPacks(packs) {
   return packs.filter((funnel) => funnel.version === null).map((funnel) => ({
     label: funnel.pack,
@@ -15707,6 +16091,12 @@ function evaluatePackHealth(report) {
       audience: "run",
       violations: selfCollisions(report.packs)
     },
+    {
+      name: "every recognizer had units to look inside",
+      code: "no-units",
+      audience: "run",
+      violations: recognizersWithNoUnits(report.packs)
+    },
     {
       name: "every pack declares a version",
       code: "no-version",