@suss/adapter-typescript 0.15.0 → 0.17.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);
@@ -5848,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;
     }
   };
@@ -6377,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;
@@ -6392,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) {
@@ -6416,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 {
@@ -8334,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();
@@ -8366,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);
@@ -9379,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();
@@ -9389,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) {
@@ -9480,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
     };
@@ -9657,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) {
@@ -9917,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 = [];
@@ -10304,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 {
@@ -10333,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();
@@ -10342,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++) {
@@ -10352,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)) {
@@ -10530,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;
@@ -10696,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;
@@ -10717,8 +10763,8 @@ 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
@@ -10841,7 +10887,7 @@ function bodyCallsOn(loop, routables) {
 }
 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) {
@@ -10859,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)) {
@@ -10897,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);
@@ -10911,7 +10957,7 @@ function discoverRegistrationTemplates(sourceFile, match, kind, resolution) {
         name: handler.name,
         routeInfo: {
           method: reg.method.toUpperCase(),
-          path: path12
+          path: path13
         }
       });
     }
@@ -11237,7 +11283,8 @@ function runPattern(sourceFile, pattern, resolution, mountPrefixes) {
       sourceFile,
       pattern.match,
       pattern.kind,
-      resolution
+      resolution,
+      pattern.binding
     );
   }
   if (pattern.match.type === "jsxElementRoute") {
@@ -12437,19 +12484,35 @@ function resolveCallee(call, calleeName, scan) {
     }
   };
 }
+function resolveJsxReference(node) {
+  if (!import_ts_morph56.Node.isJsxOpeningElement(node) && !import_ts_morph56.Node.isJsxSelfClosingElement(node)) {
+    return null;
+  }
+  const tag = node.getTagNameNode();
+  if (!import_ts_morph56.Node.isIdentifier(tag) || !/^[A-Z]/.test(tag.getText())) {
+    return null;
+  }
+  const name = tag.getText();
+  const declarations = declarationsBehind(tag.getSymbol());
+  for (const decl of declarations) {
+    const resolved = resolveDecl(decl, name);
+    if (resolved !== null) {
+      return { tag: name, outcome: { kind: "followed", candidate: resolved } };
+    }
+  }
+  return {
+    tag: name,
+    outcome: {
+      kind: "stopped",
+      stop: { callee: name, reason: classifyStop(declarations) }
+    }
+  };
+}
 function collectReachable(func, scan) {
   const candidates = [];
   const stops = [];
   const seen = /* @__PURE__ */ new Set();
-  func.forEachDescendant((node) => {
-    if (!import_ts_morph56.Node.isCallExpression(node)) {
-      return;
-    }
-    const calleeText = normalizeCallee(node.getExpression().getText());
-    const outcome = resolveCallee(node, calleeText, scan);
-    if (outcome === null) {
-      return;
-    }
+  const record = (outcome) => {
     if (outcome.kind === "stopped") {
       const stopKey = `${outcome.stop.reason}:${outcome.stop.callee}`;
       if (!seen.has(stopKey) && worthRecording(outcome.stop.reason)) {
@@ -12464,6 +12527,22 @@ function collectReachable(func, scan) {
     }
     seen.add(key);
     candidates.push(outcome.candidate);
+  };
+  func.forEachDescendant((node) => {
+    const jsx = resolveJsxReference(node);
+    if (jsx !== null) {
+      record(jsx.outcome);
+      return;
+    }
+    if (!import_ts_morph56.Node.isCallExpression(node)) {
+      return;
+    }
+    const calleeText = normalizeCallee(node.getExpression().getText());
+    const outcome = resolveCallee(node, calleeText, scan);
+    if (outcome === null) {
+      return;
+    }
+    record(outcome);
   });
   return { candidates, stops };
 }
@@ -12502,7 +12581,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();
@@ -12522,6 +12632,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);
@@ -13583,6 +13700,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);
@@ -13993,11 +14289,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
   });
 }
@@ -14122,8 +14418,8 @@ function collectAccessRecognizers(frameworks, tallies) {
   }
   return out;
 }
-function computeSubUnitBarriers(unit, pack, ctx, tally, file) {
-  if (pack.subUnits === void 0 || unit.func === null) {
+function computeSubUnitBarriers(unit, packs, ctx, tallies, file) {
+  if (unit.func === null) {
     return NO_BARRIERS;
   }
   const parentHandle = {
@@ -14131,27 +14427,27 @@ function computeSubUnitBarriers(unit, pack, ctx, tally, file) {
     name: unit.name,
     kind: unit.kind
   };
-  try {
-    const subUnits = pack.subUnits(parentHandle, ctx);
-    if (subUnits.length === 0) {
-      return NO_BARRIERS;
+  const barriers = /* @__PURE__ */ new Set();
+  for (const pack of packs) {
+    if (pack.subUnits === void 0) {
+      continue;
     }
-    const barriers = /* @__PURE__ */ new Set();
-    for (const su of subUnits) {
-      barriers.add(su.func);
+    try {
+      for (const su of pack.subUnits(parentHandle, ctx)) {
+        barriers.add(su.func);
+      }
+    } catch (err) {
+      process.stderr.write(
+        recordPackFailure(tallies?.get(pack.name), {
+          pack: pack.name,
+          hook: "subUnits",
+          file,
+          error: err
+        })
+      );
     }
-    return barriers;
-  } catch (err) {
-    process.stderr.write(
-      recordPackFailure(tally, {
-        pack: pack.name,
-        hook: "subUnits",
-        file,
-        error: err
-      })
-    );
-    return NO_BARRIERS;
   }
+  return barriers.size === 0 ? NO_BARRIERS : barriers;
 }
 function extractFromSourceFile(sourceFile, frameworks, claimedUnits, options, tallies, resolution, mountPrefixes) {
   const summaries = [];
@@ -14233,9 +14529,9 @@ function extractFromSourceFile(sourceFile, frameworks, claimedUnits, options, ta
       }
       const barriers = computeSubUnitBarriers(
         unit,
-        pack,
+        frameworks,
         subUnitCtx,
-        tally,
+        tallies,
         sourceFile.getFilePath()
       );
       const raw = extractCodeStructure(
@@ -14609,8 +14905,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);
@@ -14622,7 +14918,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;
 }
@@ -14679,7 +14975,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 = {
@@ -14711,7 +15007,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);
@@ -14777,25 +15073,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 ?? []
   );
@@ -14997,6 +15300,7 @@ function createTypeScriptAdapter(config) {
           pipeline,
           project,
           config.frameworks,
+          packsByFile,
           config.extractorOptions,
           tallies,
           (created, parent) => {
@@ -15031,7 +15335,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(
@@ -15332,11 +15641,15 @@ function buildCacheAttribution(args) {
   ];
   return { roots, owners };
 }
-function synthesizeSubUnits(summaries, project, frameworks, options, tallies, onCreated) {
+function synthesizeSubUnits(summaries, project, frameworks, packsByFile, options, tallies, onCreated) {
   const packByRecognition = /* @__PURE__ */ new Map();
   for (const pack of frameworks) {
     packByRecognition.set(pack.name, pack);
   }
+  const packsByPath = /* @__PURE__ */ new Map();
+  for (const [sf, packs] of packsByFile) {
+    packsByPath.set(sf.getFilePath(), packs);
+  }
   const allInvocationRecognizers = collectInvocationRecognizers(
     frameworks,
     tallies
@@ -15350,8 +15663,15 @@ function synthesizeSubUnits(summaries, project, frameworks, options, tallies, on
     if (binding === null) {
       continue;
     }
-    const pack = packByRecognition.get(binding.recognition);
-    if (pack?.subUnits === void 0) {
+    const discovering = packByRecognition.get(binding.recognition);
+    const applicable = packsByPath.get(parent.location.file) ?? (discovering !== void 0 ? [discovering] : []);
+    const hooked = [
+      ...discovering?.subUnits !== void 0 ? [discovering] : [],
+      ...applicable.filter(
+        (one) => one.subUnits !== void 0 && one !== discovering
+      )
+    ];
+    if (hooked.length === 0) {
       continue;
     }
     lookup ??= createSourceFileLookup(project);
@@ -15364,7 +15684,17 @@ function synthesizeSubUnits(summaries, project, frameworks, options, tallies, on
       name: parent.identity.name,
       kind: parent.kind
     };
-    const subUnits = pack.subUnits(parentHandle, subUnitCtx);
+    const claimedFuncs = /* @__PURE__ */ new Set();
+    const subUnits = [];
+    for (const pack of hooked) {
+      for (const subUnit of pack.subUnits?.(parentHandle, subUnitCtx) ?? []) {
+        if (claimedFuncs.has(subUnit.func)) {
+          continue;
+        }
+        claimedFuncs.add(subUnit.func);
+        subUnits.push(subUnit);
+      }
+    }
     for (const subUnit of subUnits) {
       const summary = buildSubUnitSummary(
         subUnit,
@@ -15428,8 +15758,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",
@@ -15460,7 +15790,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 [];
   }
@@ -15468,10 +15798,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);
     }
   }
@@ -15506,15 +15836,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;
     }
@@ -15523,7 +15853,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 = {
@@ -15536,7 +15866,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();
@@ -15625,7 +15955,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;
@@ -15639,7 +15969,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;
   }
@@ -15710,6 +16040,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,
@@ -15804,6 +16145,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",